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/201007051419/aspcud-trendy-1.2/randfa4522.cudf.impossible.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/impossible//randfa4522.cudf /home/misc2010/tmp/201007051419/aspcud-trendy-1.2/randfa4522.cudf.impossible.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.03 1.00 2/95 30469 /proc/meminfo: memFree=1125864/2097152 swapFree=2055620/2097144 [pid=30469] ppid=30468 vsize=1312 CPUtime=0 /proc/30469/stat : 30469 (aspcud-trendy-1) S 30468 30469 13759 34823 13904 4194304 102 0 0 0 0 0 0 0 23 0 1 0 418610742 1343488 28 1283457024 134512640 135539072 4286869680 18446744073709551615 4160168068 0 2147483391 0 0 18446744071697298955 0 0 17 1 0 0 0 /proc/30469/statm: 328 28 20 251 0 12 0 [startup+0.116448 s] /proc/loadavg: 1.00 1.03 1.00 2/95 30469 /proc/meminfo: memFree=1125864/2097152 swapFree=2055620/2097144 [pid=30469] ppid=30468 vsize=4712 CPUtime=0.01 /proc/30469/stat : 30469 (aspcud-trendy-1) S 30468 30469 13759 34823 13904 4202496 1053 0 0 0 0 1 0 0 18 0 1 0 418610742 4825088 838 1283457024 134512640 135539072 4286869680 18446744073709551615 4160009134 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30469/statm: 1178 838 399 251 0 436 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4712 [startup+0.204444 s] /proc/loadavg: 1.00 1.03 1.00 2/95 30469 /proc/meminfo: memFree=1125864/2097152 swapFree=2055620/2097144 [pid=30469] ppid=30468 vsize=4712 CPUtime=0.01 /proc/30469/stat : 30469 (aspcud-trendy-1) S 30468 30469 13759 34823 13904 4202496 1053 0 0 0 0 1 0 0 18 0 1 0 418610742 4825088 838 1283457024 134512640 135539072 4286869680 18446744073709551615 4160009134 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30469/statm: 1178 838 399 251 0 436 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4712 [startup+0.304472 s] /proc/loadavg: 1.00 1.03 1.00 2/95 30469 /proc/meminfo: memFree=1125864/2097152 swapFree=2055620/2097144 [pid=30469] ppid=30468 vsize=4712 CPUtime=0.01 /proc/30469/stat : 30469 (aspcud-trendy-1) S 30468 30469 13759 34823 13904 4202496 1053 0 0 0 0 1 0 0 18 0 1 0 418610742 4825088 838 1283457024 134512640 135539072 4286869680 18446744073709551615 4160009134 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30469/statm: 1178 838 399 251 0 436 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4712 [startup+0.704467 s] /proc/loadavg: 1.00 1.03 1.00 2/95 30469 /proc/meminfo: memFree=1125864/2097152 swapFree=2055620/2097144 [pid=30469] ppid=30468 vsize=4712 CPUtime=0.01 /proc/30469/stat : 30469 (aspcud-trendy-1) S 30468 30469 13759 34823 13904 4202496 1053 0 0 0 0 1 0 0 18 0 1 0 418610742 4825088 838 1283457024 134512640 135539072 4286869680 18446744073709551615 4160009134 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30469/statm: 1178 838 399 251 0 436 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4712 [startup+1.5045 s] /proc/loadavg: 1.00 1.03 1.00 2/97 30471 /proc/meminfo: memFree=1114696/2097152 swapFree=2055620/2097144 [pid=30469] ppid=30468 vsize=4712 CPUtime=0.01 /proc/30469/stat : 30469 (aspcud-trendy-1) S 30468 30469 13759 34823 13904 4202496 1053 0 0 0 0 1 0 0 18 0 1 0 418610742 4825088 838 1283457024 134512640 135539072 4286869680 18446744073709551615 4160009134 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30469/statm: 1178 838 399 251 0 436 0 [pid=30471] ppid=30469 vsize=15152 CPUtime=1.44 /proc/30471/stat : 30471 (cudf2lp) R 30469 30469 13759 34823 13904 4202496 3633 0 0 0 144 0 0 0 19 0 1 0 418610746 15515648 3432 1283457024 134512640 135993029 4291089664 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/30471/statm: 3788 3432 110 362 0 3370 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 19864 [startup+3.10462 s] /proc/loadavg: 1.00 1.03 1.00 2/97 30471 /proc/meminfo: memFree=1104776/2097152 swapFree=2055620/2097144 [pid=30469] ppid=30468 vsize=4712 CPUtime=0.01 /proc/30469/stat : 30469 (aspcud-trendy-1) S 30468 30469 13759 34823 13904 4202496 1053 0 0 0 0 1 0 0 18 0 1 0 418610742 4825088 838 1283457024 134512640 135539072 4286869680 18446744073709551615 4160009134 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30469/statm: 1178 838 399 251 0 436 0 [pid=30471] ppid=30469 vsize=29420 CPUtime=3.03 /proc/30471/stat : 30471 (cudf2lp) R 30469 30469 13759 34823 13904 4202496 7158 0 0 0 303 0 0 0 24 0 1 0 418610746 30126080 6957 1283457024 134512640 135993029 4291089664 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/30471/statm: 7355 6957 110 362 0 6937 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 34132 [startup+6.30469 s] /proc/loadavg: 1.00 1.03 1.00 2/96 30472 /proc/meminfo: memFree=1076016/2097152 swapFree=2055620/2097144 [pid=30469] ppid=30468 vsize=4712 CPUtime=0.01 /proc/30469/stat : 30469 (aspcud-trendy-1) S 30468 30469 13759 34823 13904 4202496 1053 0 0 0 0 1 0 0 18 0 1 0 418610742 4825088 838 1283457024 134512640 135539072 4286869680 18446744073709551615 4160009134 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30469/statm: 1178 838 399 251 0 436 0 [pid=30471] ppid=30469 vsize=57820 CPUtime=6.23 /proc/30471/stat : 30471 (cudf2lp) R 30469 30469 13759 34823 13904 4202496 14117 0 0 0 622 1 0 0 25 0 1 0 418610746 59207680 13916 1283457024 134512640 135993029 4291089664 18446744073709551615 134537802 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/30471/statm: 14455 13916 110 362 0 14037 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 62532 [startup+12.705 s] /proc/loadavg: 1.00 1.02 1.00 2/96 30472 /proc/meminfo: memFree=1012180/2097152 swapFree=2055620/2097144 [pid=30469] ppid=30468 vsize=4712 CPUtime=0.01 /proc/30469/stat : 30469 (aspcud-trendy-1) S 30468 30469 13759 34823 13904 4202496 1053 0 0 0 0 1 0 0 18 0 1 0 418610742 4825088 838 1283457024 134512640 135539072 4286869680 18446744073709551615 4160009134 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/30469/statm: 1178 838 399 251 0 436 0 [pid=30471] ppid=30469 vsize=130528 CPUtime=12.63 /proc/30471/stat : 30471 (cudf2lp) R 30469 30469 13759 34823 13904 4202496 32093 0 0 0 1225 38 0 0 25 0 1 0 418610746 133660672 31892 1283457024 134512640 135993029 4291089664 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/30471/statm: 32632 31892 134 362 0 32214 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 135240 [startup+25.5097 s] /proc/loadavg: 1.00 1.02 1.00 2/97 30475 /proc/meminfo: memFree=730800/2097152 swapFree=2055620/2097144 [pid=30469] ppid=30468 vsize=4712 CPUtime=16.57 /proc/30469/stat : 30469 (aspcud-trendy-1) S 30468 30469 13759 34823 13904 4202496 1236 56189 0 0 0 1 1476 180 18 0 1 0 418610742 4825088 841 1283457024 134512640 135539072 4286869680 18446744073709551615 4160009134 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/30469/statm: 1178 841 402 251 0 436 0 [pid=30473] ppid=30469 vsize=284740 CPUtime=8.82 /proc/30473/stat : 30473 (bingo) R 30469 30469 13759 34823 13904 4202496 94783 0 0 0 847 35 0 0 25 0 1 0 418612406 291573760 55084 1283457024 134512640 136195415 4288891664 18446744073709551615 134631972 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/30473/statm: 71185 55084 220 411 0 70772 0 [pid=30474] ppid=30469 vsize=169284 CPUtime=0.54 /proc/30474/stat : 30474 (clasp) R 30469 30469 13759 34823 13904 4202496 48831 0 0 0 49 5 0 0 18 0 1 0 418612406 173346816 41529 1283457024 134512640 136080129 4289819632 18446744073709551615 135505028 0 0 16781312 16386 0 0 0 17 1 0 0 0 /proc/30474/statm: 42321 41529 144 383 0 41936 0 Current children cumulated CPU time (s) 25.93 Current children cumulated vsize (KiB) 458736 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+36.0061 s] /proc/loadavg: 1.00 1.02 1.00 2/99 30478 /proc/meminfo: memFree=89076/2097152 swapFree=2055620/2097144 [pid=30469] ppid=30468 vsize=4712 CPUtime=16.57 /proc/30469/stat : 30469 (aspcud-trendy-1) S 30468 30469 13759 34823 13904 4202496 1236 56189 0 0 0 1 1476 180 18 0 1 0 418610742 4825088 841 1283457024 134512640 135539072 4286869680 18446744073709551615 4160009134 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/30469/statm: 1178 841 402 251 0 436 0 [pid=30473] ppid=30469 vsize=848280 CPUtime=19.28 /proc/30473/stat : 30473 (bingo) R 30469 30469 13759 34823 13904 4202496 267891 0 0 0 1818 110 0 0 25 0 1 0 418612406 868638720 178785 1283457024 134512640 136195415 4288891664 18446744073709551615 134655122 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/30473/statm: 212070 178785 220 411 0 211657 0 [pid=30474] ppid=30469 vsize=301412 CPUtime=2.52 /proc/30474/stat : 30474 (clasp) S 30469 30469 13759 34823 13904 4202496 86624 0 0 0 234 18 0 0 18 0 1 0 418612406 308645888 73531 1283457024 134512640 136080129 4289819632 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/30474/statm: 75353 73531 144 383 0 74968 0 Current children cumulated CPU time (s) 38.37 Current children cumulated vsize (KiB) 1154404 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples [startup+36.0061 s] /proc/loadavg: 1.00 1.02 1.00 2/99 30478 /proc/meminfo: memFree=89076/2097152 swapFree=2055620/2097144 [pid=30469] ppid=30468 vsize=4712 CPUtime=16.57 /proc/30469/stat : 30469 (aspcud-trendy-1) S 30468 30469 13759 34823 13904 4202496 1236 56189 0 0 0 1 1476 180 18 0 1 0 418610742 4825088 841 1283457024 134512640 135539072 4286869680 18446744073709551615 4160009134 0 0 16781312 514 18446744071564329979 0 0 17 1 0 0 0 /proc/30469/statm: 1178 841 402 251 0 436 0 [pid=30473] ppid=30469 vsize=848280 CPUtime=19.28 /proc/30473/stat : 30473 (bingo) R 30469 30469 13759 34823 13904 4202496 267891 0 0 0 1818 110 0 0 25 0 1 0 418612406 868638720 178785 1283457024 134512640 136195415 4288891664 18446744073709551615 134655122 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/30473/statm: 212070 178785 220 411 0 211657 0 [pid=30474] ppid=30469 vsize=301412 CPUtime=2.52 /proc/30474/stat : 30474 (clasp) S 30469 30469 13759 34823 13904 4202496 86624 0 0 0 234 18 0 0 18 0 1 0 418612406 308645888 73531 1283457024 134512640 136080129 4289819632 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 1 0 0 0 /proc/30474/statm: 75353 73531 144 383 0 74968 0 Current children cumulated CPU time (s) 38.37 Current children cumulated vsize (KiB) 1154404 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30469 and gives # childrusage.ru_utime.tv_sec=17 # childrusage.ru_utime.tv_usec=137071 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=76129 # CPU time returned by wait4() is 19.2132 # while last known CPU time is 38.37 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 36.1133 CPU time (s): 38.37 CPU user time (s): 35.28 CPU system time (s): 3.09 CPU usage (%): 106.249 Max. virtual memory (cumulated for all children) (KiB): 1154404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.1371 system time used= 2.07613 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 145913 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= 11495 involuntary context switches= 323 runsolver used 0.004 second user time and 0.028001 second system time The end