runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/aspcud-trendy-1.2/large1.cudf.cudf_set.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/cudf_set/large1.cudf /home/misc2010/tmp/201007051233/aspcud-trendy-1.2/large1.cudf.cudf_set.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 6/37 6951 /proc/meminfo: memFree=862464/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.01 /proc/6950/stat : 6950 (aspcud-trendy-1) R 6949 6950 3447 769 3447 4202496 976 0 0 0 1 0 0 0 25 0 1 0 526924914 4702208 838 1283457024 134512640 135539072 4294617776 18446744073709551615 4158611872 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/6950/statm: 1148 838 399 251 0 406 0 [pid=6951] ppid=6950 vsize=4592 CPUtime=0 /proc/6951/stat : 6951 (aspcud-trendy-1) R 6950 6950 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 1 0 526924916 4702208 447 1283457024 134512640 135539072 4294617776 18446744073709551615 4158611872 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/6951/statm: 1148 447 8 251 0 406 0 [startup+0.163204 s] /proc/loadavg: 1.00 1.00 1.00 6/37 6951 /proc/meminfo: memFree=862464/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.12 /proc/6950/stat : 6950 (aspcud-trendy-1) S 6949 6950 3447 769 3447 4202496 1218 743 0 0 1 0 10 1 24 0 1 0 526924914 4702208 843 1283457024 134512640 135539072 4294617776 18446744073709551615 4159550382 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6950/statm: 1148 843 404 251 0 406 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 4592 [startup+0.205854 s] /proc/loadavg: 1.00 1.00 1.00 6/37 6951 /proc/meminfo: memFree=862464/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.12 /proc/6950/stat : 6950 (aspcud-trendy-1) S 6949 6950 3447 769 3447 4202496 1218 743 0 0 1 0 10 1 24 0 1 0 526924914 4702208 843 1283457024 134512640 135539072 4294617776 18446744073709551615 4159550382 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6950/statm: 1148 843 404 251 0 406 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 4592 [startup+0.305886 s] /proc/loadavg: 1.00 1.00 1.00 6/37 6951 /proc/meminfo: memFree=862464/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.12 /proc/6950/stat : 6950 (aspcud-trendy-1) S 6949 6950 3447 769 3447 4202496 1218 743 0 0 1 0 10 1 24 0 1 0 526924914 4702208 843 1283457024 134512640 135539072 4294617776 18446744073709551615 4159550382 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6950/statm: 1148 843 404 251 0 406 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 4592 [startup+0.705966 s] /proc/loadavg: 1.00 1.00 1.00 6/37 6951 /proc/meminfo: memFree=862464/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.12 /proc/6950/stat : 6950 (aspcud-trendy-1) S 6949 6950 3447 769 3447 4202496 1218 743 0 0 1 0 10 1 24 0 1 0 526924914 4702208 843 1283457024 134512640 135539072 4294617776 18446744073709551615 4159550382 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6950/statm: 1148 843 404 251 0 406 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 4592 [startup+1.50616 s] /proc/loadavg: 1.16 1.03 1.01 2/39 6954 /proc/meminfo: memFree=859008/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.12 /proc/6950/stat : 6950 (aspcud-trendy-1) S 6949 6950 3447 769 3447 4202496 1218 743 0 0 1 0 10 1 24 0 1 0 526924914 4702208 843 1283457024 134512640 135539072 4294617776 18446744073709551615 4159550382 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6950/statm: 1148 843 404 251 0 406 0 [pid=6953] ppid=6950 vsize=4360 CPUtime=1.38 /proc/6953/stat : 6953 (bingo) R 6950 6950 3447 769 3447 4202496 1027 0 0 0 138 0 0 0 25 0 1 0 526924928 4464640 729 1283457024 134512640 136195415 4290709344 18446744073709551615 135604619 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6953/statm: 1090 729 220 411 0 677 0 [pid=6954] ppid=6950 vsize=2536 CPUtime=0 /proc/6954/stat : 6954 (clasp) S 6950 6950 3447 769 3447 4202496 548 0 0 0 0 0 0 0 24 0 1 0 526924930 2596864 384 1283457024 134512640 136080129 4289418752 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/6954/statm: 634 384 144 383 0 249 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 11488 [startup+3.1066 s] /proc/loadavg: 1.16 1.03 1.01 2/39 6954 /proc/meminfo: memFree=859008/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.12 /proc/6950/stat : 6950 (aspcud-trendy-1) S 6949 6950 3447 769 3447 4202496 1218 743 0 0 1 0 10 1 24 0 1 0 526924914 4702208 843 1283457024 134512640 135539072 4294617776 18446744073709551615 4159550382 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6950/statm: 1148 843 404 251 0 406 0 [pid=6953] ppid=6950 vsize=4360 CPUtime=2.98 /proc/6953/stat : 6953 (bingo) R 6950 6950 3447 769 3447 4202496 1027 0 0 0 298 0 0 0 25 0 1 0 526924928 4464640 729 1283457024 134512640 136195415 4290709344 18446744073709551615 134775395 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6953/statm: 1090 729 220 411 0 677 0 [pid=6954] ppid=6950 vsize=2536 CPUtime=0 /proc/6954/stat : 6954 (clasp) S 6950 6950 3447 769 3447 4202496 548 0 0 0 0 0 0 0 24 0 1 0 526924930 2596864 384 1283457024 134512640 136080129 4289418752 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/6954/statm: 634 384 144 383 0 249 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 11488 [startup+6.30734 s] /proc/loadavg: 1.15 1.03 1.01 2/39 6954 /proc/meminfo: memFree=858884/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.12 /proc/6950/stat : 6950 (aspcud-trendy-1) S 6949 6950 3447 769 3447 4202496 1218 743 0 0 1 0 10 1 24 0 1 0 526924914 4702208 843 1283457024 134512640 135539072 4294617776 18446744073709551615 4159550382 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6950/statm: 1148 843 404 251 0 406 0 [pid=6953] ppid=6950 vsize=4360 CPUtime=6.17 /proc/6953/stat : 6953 (bingo) R 6950 6950 3447 769 3447 4202496 1027 0 0 0 617 0 0 0 25 0 1 0 526924928 4464640 729 1283457024 134512640 136195415 4290709344 18446744073709551615 134775349 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6953/statm: 1090 729 220 411 0 677 0 [pid=6954] ppid=6950 vsize=2536 CPUtime=0 /proc/6954/stat : 6954 (clasp) S 6950 6950 3447 769 3447 4202496 548 0 0 0 0 0 0 0 24 0 1 0 526924930 2596864 384 1283457024 134512640 136080129 4289418752 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/6954/statm: 634 384 144 383 0 249 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11488 [startup+12.7087 s] /proc/loadavg: 1.13 1.03 1.01 2/39 6954 /proc/meminfo: memFree=858884/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.12 /proc/6950/stat : 6950 (aspcud-trendy-1) S 6949 6950 3447 769 3447 4202496 1218 743 0 0 1 0 10 1 24 0 1 0 526924914 4702208 843 1283457024 134512640 135539072 4294617776 18446744073709551615 4159550382 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6950/statm: 1148 843 404 251 0 406 0 [pid=6953] ppid=6950 vsize=4360 CPUtime=12.57 /proc/6953/stat : 6953 (bingo) R 6950 6950 3447 769 3447 4202496 1027 0 0 0 1257 0 0 0 25 0 1 0 526924928 4464640 729 1283457024 134512640 136195415 4290709344 18446744073709551615 135604571 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6953/statm: 1090 729 220 411 0 677 0 [pid=6954] ppid=6950 vsize=2536 CPUtime=0 /proc/6954/stat : 6954 (clasp) S 6950 6950 3447 769 3447 4202496 548 0 0 0 0 0 0 0 24 0 1 0 526924930 2596864 384 1283457024 134512640 136080129 4289418752 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/6954/statm: 634 384 144 383 0 249 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11488 [startup+25.5117 s] /proc/loadavg: 1.10 1.03 1.01 2/39 6954 /proc/meminfo: memFree=858884/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.12 /proc/6950/stat : 6950 (aspcud-trendy-1) S 6949 6950 3447 769 3447 4202496 1218 743 0 0 1 0 10 1 24 0 1 0 526924914 4702208 843 1283457024 134512640 135539072 4294617776 18446744073709551615 4159550382 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6950/statm: 1148 843 404 251 0 406 0 [pid=6953] ppid=6950 vsize=4360 CPUtime=25.41 /proc/6953/stat : 6953 (bingo) R 6950 6950 3447 769 3447 4202496 1027 0 0 0 2541 0 0 0 25 0 1 0 526924928 4464640 729 1283457024 134512640 136195415 4290709344 18446744073709551615 134652770 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6953/statm: 1090 729 220 411 0 677 0 [pid=6954] ppid=6950 vsize=2536 CPUtime=0 /proc/6954/stat : 6954 (clasp) S 6950 6950 3447 769 3447 4202496 548 0 0 0 0 0 0 0 24 0 1 0 526924930 2596864 384 1283457024 134512640 136080129 4289418752 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/6954/statm: 634 384 144 383 0 249 0 Current children cumulated CPU time (s) 25.53 Current children cumulated vsize (KiB) 11488 [startup+51.1064 s] /proc/loadavg: 1.07 1.03 1.01 2/39 6954 /proc/meminfo: memFree=858760/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.12 /proc/6950/stat : 6950 (aspcud-trendy-1) S 6949 6950 3447 769 3447 4202496 1218 743 0 0 1 0 10 1 24 0 1 0 526924914 4702208 843 1283457024 134512640 135539072 4294617776 18446744073709551615 4159550382 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6950/statm: 1148 843 404 251 0 406 0 [pid=6953] ppid=6950 vsize=4360 CPUtime=50.99 /proc/6953/stat : 6953 (bingo) R 6950 6950 3447 769 3447 4202496 1028 0 0 0 5099 0 0 0 25 0 1 0 526924928 4464640 730 1283457024 134512640 136195415 4290709344 18446744073709551615 134830701 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6953/statm: 1090 730 220 411 0 677 0 [pid=6954] ppid=6950 vsize=2536 CPUtime=0 /proc/6954/stat : 6954 (clasp) S 6950 6950 3447 769 3447 4202496 548 0 0 0 0 0 0 0 24 0 1 0 526924930 2596864 384 1283457024 134512640 136080129 4289418752 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/6954/statm: 634 384 144 383 0 249 0 Current children cumulated CPU time (s) 51.11 Current children cumulated vsize (KiB) 11488 [startup+102.315 s] /proc/loadavg: 1.03 1.02 1.00 2/39 6954 /proc/meminfo: memFree=858760/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.12 /proc/6950/stat : 6950 (aspcud-trendy-1) S 6949 6950 3447 769 3447 4202496 1218 743 0 0 1 0 10 1 24 0 1 0 526924914 4702208 843 1283457024 134512640 135539072 4294617776 18446744073709551615 4159550382 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6950/statm: 1148 843 404 251 0 406 0 [pid=6953] ppid=6950 vsize=4360 CPUtime=102.13 /proc/6953/stat : 6953 (bingo) R 6950 6950 3447 769 3447 4202496 1029 0 0 0 10213 0 0 0 25 0 1 0 526924928 4464640 731 1283457024 134512640 136195415 4290709344 18446744073709551615 135604544 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6953/statm: 1090 731 220 411 0 677 0 [pid=6954] ppid=6950 vsize=2668 CPUtime=0 /proc/6954/stat : 6954 (clasp) S 6950 6950 3447 769 3447 4202496 555 0 0 0 0 0 0 0 18 0 1 0 526924930 2732032 391 1283457024 134512640 136080129 4289418752 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/6954/statm: 667 391 144 383 0 282 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 11620 [startup+162.315 s] /proc/loadavg: 1.01 1.02 1.00 2/39 6954 /proc/meminfo: memFree=857528/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.12 /proc/6950/stat : 6950 (aspcud-trendy-1) S 6949 6950 3447 769 3447 4202496 1218 743 0 0 1 0 10 1 18 0 1 0 526924914 4702208 843 1283457024 134512640 135539072 4294617776 18446744073709551615 4159550382 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6950/statm: 1148 843 404 251 0 406 0 [pid=6953] ppid=6950 vsize=0 CPUtime=136.67 /proc/6953/stat : 6953 (bingo) Z 6950 6950 3447 769 3447 4202508 4257 0 0 0 13663 4 0 0 25 0 1 0 526924928 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/6953/statm: 0 0 0 0 0 0 0 [pid=6954] ppid=6950 vsize=5940 CPUtime=25.45 /proc/6954/stat : 6954 (clasp) R 6950 6950 3447 769 3447 4202496 1434 0 0 0 2543 2 0 0 25 0 1 0 526924930 6082560 1269 1283457024 134512640 136080129 4289418752 18446744073709551615 134849991 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/6954/statm: 1485 1269 187 383 0 1100 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 10532 [startup+222.309 s] /proc/loadavg: 1.00 1.01 1.00 2/39 6954 /proc/meminfo: memFree=855916/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.12 /proc/6950/stat : 6950 (aspcud-trendy-1) S 6949 6950 3447 769 3447 4202496 1218 743 0 0 1 0 10 1 18 0 1 0 526924914 4702208 843 1283457024 134512640 135539072 4294617776 18446744073709551615 4159550382 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6950/statm: 1148 843 404 251 0 406 0 [pid=6953] ppid=6950 vsize=0 CPUtime=136.67 /proc/6953/stat : 6953 (bingo) Z 6950 6950 3447 769 3447 4202508 4257 0 0 0 13663 4 0 0 25 0 1 0 526924928 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/6953/statm: 0 0 0 0 0 0 0 [pid=6954] ppid=6950 vsize=7556 CPUtime=85.43 /proc/6954/stat : 6954 (clasp) R 6950 6950 3447 769 3447 4202496 1839 0 0 0 8540 3 0 0 25 0 1 0 526924930 7737344 1674 1283457024 134512640 136080129 4289418752 18446744073709551615 134588723 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/6954/statm: 1889 1674 187 383 0 1504 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 12148 [startup+282.311 s] /proc/loadavg: 1.00 1.00 1.00 2/39 6954 /proc/meminfo: memFree=854924/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.12 /proc/6950/stat : 6950 (aspcud-trendy-1) S 6949 6950 3447 769 3447 4202496 1218 743 0 0 1 0 10 1 18 0 1 0 526924914 4702208 843 1283457024 134512640 135539072 4294617776 18446744073709551615 4159550382 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6950/statm: 1148 843 404 251 0 406 0 [pid=6953] ppid=6950 vsize=0 CPUtime=136.67 /proc/6953/stat : 6953 (bingo) Z 6950 6950 3447 769 3447 4202508 4257 0 0 0 13663 4 0 0 25 0 1 0 526924928 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/6953/statm: 0 0 0 0 0 0 0 [pid=6954] ppid=6950 vsize=8484 CPUtime=145.36 /proc/6954/stat : 6954 (clasp) R 6950 6950 3447 769 3447 4202496 2068 0 0 0 14532 4 0 0 25 0 1 0 526924930 8687616 1903 1283457024 134512640 136080129 4289418752 18446744073709551615 134716422 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/6954/statm: 2121 1903 187 383 0 1736 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 13076 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.203 s] /proc/loadavg: 1.00 1.00 1.00 2/39 6954 /proc/meminfo: memFree=854924/1048576 swapFree=2092216/2097144 [pid=6950] ppid=6949 vsize=4592 CPUtime=0.12 /proc/6950/stat : 6950 (aspcud-trendy-1) S 6949 6950 3447 769 3447 4202496 1218 743 0 0 1 0 10 1 18 0 1 0 526924914 4702208 843 1283457024 134512640 135539072 4294617776 18446744073709551615 4159550382 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6950/statm: 1148 843 404 251 0 406 0 [pid=6953] ppid=6950 vsize=0 CPUtime=136.67 /proc/6953/stat : 6953 (bingo) Z 6950 6950 3447 769 3447 4202508 4257 0 0 0 13663 4 0 0 25 0 1 0 526924928 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/6953/statm: 0 0 0 0 0 0 0 [pid=6954] ppid=6950 vsize=8616 CPUtime=153.25 /proc/6954/stat : 6954 (clasp) R 6950 6950 3447 769 3447 4202496 2078 0 0 0 15321 4 0 0 25 0 1 0 526924930 8822784 1913 1283457024 134512640 136080129 4289418752 18446744073709551615 134588617 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/6954/statm: 2154 1913 187 383 0 1769 0 Current children cumulated CPU time (s) 290.04 Current children cumulated vsize (KiB) 13208 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child status: 1 Real time (s): 290.235 CPU time (s): 290.074 CPU user time (s): 289.974 CPU system time (s): 0.100006 CPU usage (%): 99.9447 Max. virtual memory (cumulated for all children) (KiB): 21980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 289.974 system time used= 0.100006 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8730 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 92 involuntary context switches= 3641 runsolver used 0 second user time and 0 second system time The end