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/2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/debian-dudf//2f690324-4939-11df-9e6e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/aspcud-trendy-1.2/2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.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 0.99 2/36 8235 /proc/meminfo: memFree=746432/1048576 swapFree=2092224/2097144 [pid=8235] ppid=8234 vsize=2884 CPUtime=0 /proc/8235/stat : 8235 (runsolver) R 8234 8235 3447 769 3447 4202560 74 0 0 0 0 0 0 0 25 0 1 0 527228732 2953216 93 1283457024 134512640 134586868 4288742384 18446744073709551615 4158571562 0 0 0 24578 0 0 0 17 0 0 0 0 /proc/8235/statm: 721 93 62 19 0 53 0 [startup+0.202805 s] /proc/loadavg: 1.00 1.00 0.99 2/36 8235 /proc/meminfo: memFree=746432/1048576 swapFree=2092224/2097144 [pid=8235] ppid=8234 vsize=4576 CPUtime=0 /proc/8235/stat : 8235 (aspcud-trendy-1) R 8234 8235 3447 769 3447 4202496 948 0 17 0 0 0 0 0 24 0 1 0 527228732 4685824 827 1283457024 134512640 135539072 4293920928 18446744073709551615 4159694686 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/8235/statm: 1144 827 393 251 0 406 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4576 [startup+0.306799 s] /proc/loadavg: 1.00 1.00 0.99 2/36 8235 /proc/meminfo: memFree=746432/1048576 swapFree=2092224/2097144 [pid=8235] ppid=8234 vsize=4596 CPUtime=0 /proc/8235/stat : 8235 (aspcud-trendy-1) S 8234 8235 3447 769 3447 4202496 1018 0 17 0 0 0 0 0 24 0 1 0 527228732 4706304 840 1283457024 134512640 135539072 4293920928 18446744073709551615 4160476078 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8235/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4596 [startup+0.413674 s] /proc/loadavg: 1.00 1.00 0.99 2/36 8235 /proc/meminfo: memFree=746432/1048576 swapFree=2092224/2097144 [pid=8235] ppid=8234 vsize=4596 CPUtime=0 /proc/8235/stat : 8235 (aspcud-trendy-1) S 8234 8235 3447 769 3447 4202496 1018 0 17 0 0 0 0 0 24 0 1 0 527228732 4706304 840 1283457024 134512640 135539072 4293920928 18446744073709551615 4160476078 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8235/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4596 [startup+0.703741 s] /proc/loadavg: 1.00 1.00 0.99 2/36 8235 /proc/meminfo: memFree=746432/1048576 swapFree=2092224/2097144 [pid=8235] ppid=8234 vsize=4596 CPUtime=0 /proc/8235/stat : 8235 (aspcud-trendy-1) S 8234 8235 3447 769 3447 4202496 1018 0 17 0 0 0 0 0 24 0 1 0 527228732 4706304 840 1283457024 134512640 135539072 4293920928 18446744073709551615 4160476078 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8235/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4596 [startup+1.50392 s] /proc/loadavg: 1.00 1.00 0.99 2/38 8237 /proc/meminfo: memFree=733472/1048576 swapFree=2092224/2097144 [pid=8235] ppid=8234 vsize=4596 CPUtime=0 /proc/8235/stat : 8235 (aspcud-trendy-1) S 8234 8235 3447 769 3447 4202496 1018 0 17 0 0 0 0 0 24 0 1 0 527228732 4706304 840 1283457024 134512640 135539072 4293920928 18446744073709551615 4160476078 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8235/statm: 1149 840 401 251 0 407 0 [pid=8237] ppid=8235 vsize=12176 CPUtime=1.22 /proc/8237/stat : 8237 (cudf2lp) R 8235 8235 3447 769 3447 4202496 2863 0 17 0 122 0 0 0 25 0 1 0 527228752 12468224 2676 1283457024 134512640 135993029 4287278912 18446744073709551615 134566720 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/8237/statm: 3044 2676 110 362 0 2626 0 Current children cumulated CPU time (s) 1.22 Current children cumulated vsize (KiB) 16772 [startup+3.10425 s] /proc/loadavg: 1.00 1.00 0.99 2/38 8237 /proc/meminfo: memFree=725040/1048576 swapFree=2092224/2097144 [pid=8235] ppid=8234 vsize=4596 CPUtime=0 /proc/8235/stat : 8235 (aspcud-trendy-1) S 8234 8235 3447 769 3447 4202496 1018 0 17 0 0 0 0 0 24 0 1 0 527228732 4706304 840 1283457024 134512640 135539072 4293920928 18446744073709551615 4160476078 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8235/statm: 1149 840 401 251 0 407 0 [pid=8237] ppid=8235 vsize=24700 CPUtime=2.81 /proc/8237/stat : 8237 (cudf2lp) R 8235 8235 3447 769 3447 4202496 5956 0 17 0 281 0 0 0 25 0 1 0 527228752 25292800 5769 1283457024 134512640 135993029 4287278912 18446744073709551615 134570851 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/8237/statm: 6175 5769 111 362 0 5757 0 Current children cumulated CPU time (s) 2.81 Current children cumulated vsize (KiB) 29296 [startup+6.30495 s] /proc/loadavg: 1.00 1.00 0.99 2/38 8237 /proc/meminfo: memFree=698876/1048576 swapFree=2092224/2097144 [pid=8235] ppid=8234 vsize=4596 CPUtime=0 /proc/8235/stat : 8235 (aspcud-trendy-1) S 8234 8235 3447 769 3447 4202496 1018 0 17 0 0 0 0 0 24 0 1 0 527228732 4706304 840 1283457024 134512640 135539072 4293920928 18446744073709551615 4160476078 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8235/statm: 1149 840 401 251 0 407 0 [pid=8237] ppid=8235 vsize=49956 CPUtime=6 /proc/8237/stat : 8237 (cudf2lp) R 8235 8235 3447 769 3447 4202496 12169 0 17 0 598 2 0 0 25 0 1 0 527228752 51154944 11976 1283457024 134512640 135993029 4287278912 18446744073709551615 134536160 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/8237/statm: 12489 11976 111 362 0 12071 0 Current children cumulated CPU time (s) 6 Current children cumulated vsize (KiB) 54552 [startup+12.7065 s] /proc/loadavg: 1.00 1.00 0.99 2/38 8237 /proc/meminfo: memFree=595524/1048576 swapFree=2092224/2097144 [pid=8235] ppid=8234 vsize=4596 CPUtime=0 /proc/8235/stat : 8235 (aspcud-trendy-1) S 8234 8235 3447 769 3447 4202496 1018 0 17 0 0 0 0 0 24 0 1 0 527228732 4706304 840 1283457024 134512640 135539072 4293920928 18446744073709551615 4160476078 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/8235/statm: 1149 840 401 251 0 407 0 [pid=8237] ppid=8235 vsize=154672 CPUtime=12.38 /proc/8237/stat : 8237 (cudf2lp) R 8235 8235 3447 769 3447 4202496 38282 0 19 0 1131 107 0 0 25 0 1 0 527228752 158384128 38058 1283457024 134512640 135993029 4287278912 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/8237/statm: 38668 38058 135 362 0 38250 0 Current children cumulated CPU time (s) 12.38 Current children cumulated vsize (KiB) 159268 [startup+25.5126 s] /proc/loadavg: 1.00 1.00 0.99 2/39 8239 /proc/meminfo: memFree=222868/1048576 swapFree=2092224/2097144 [pid=8235] ppid=8234 vsize=4596 CPUtime=13.92 /proc/8235/stat : 8235 (aspcud-trendy-1) S 8234 8235 3447 769 3447 4202496 1211 47890 17 19 0 0 1216 176 20 0 1 0 527228732 4706304 843 1283457024 134512640 135539072 4293920928 18446744073709551615 4160476078 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/8235/statm: 1149 843 404 251 0 407 0 [pid=8238] ppid=8235 vsize=427108 CPUtime=9.28 /proc/8238/stat : 8238 (bingo) R 8235 8235 3447 769 3447 4202496 127326 0 20 0 880 48 0 0 25 0 1 0 527230158 437358592 82791 1283457024 134512640 136195415 4291136576 18446744073709551615 135663438 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/8238/statm: 106777 82791 220 411 0 106364 0 [pid=8239] ppid=8235 vsize=174296 CPUtime=1.76 /proc/8239/stat : 8239 (clasp) R 8235 8235 3447 769 3447 4202496 49378 0 16 0 158 18 0 0 18 0 1 0 527230159 178479104 42553 1283457024 134512640 136080129 4293435904 18446744073709551615 134670112 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/8239/statm: 43574 42553 144 383 0 43189 0 Current children cumulated CPU time (s) 24.96 Current children cumulated vsize (KiB) 606000 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+31.3129 s] /proc/loadavg: 1.00 1.00 0.99 2/39 8239 /proc/meminfo: memFree=4348/1048576 swapFree=2092224/2097144 [pid=8235] ppid=8234 vsize=4596 CPUtime=13.92 /proc/8235/stat : 8235 (aspcud-trendy-1) S 8234 8235 3447 769 3447 4202496 1211 47890 17 19 0 0 1216 176 20 0 1 0 527228732 4706304 843 1283457024 134512640 135539072 4293920928 18446744073709551615 4160476078 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/8235/statm: 1149 843 404 251 0 407 0 [pid=8238] ppid=8235 vsize=948736 CPUtime=14.25 /proc/8238/stat : 8238 (bingo) R 8235 8235 3447 769 3447 4202496 268795 0 20 0 1315 110 0 0 25 0 1 0 527230158 971505664 180038 1283457024 134512640 136195415 4291136576 18446744073709551615 135586765 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/8238/statm: 237184 180038 220 411 0 236771 0 [pid=8239] ppid=8235 vsize=201756 CPUtime=2.32 /proc/8239/stat : 8239 (clasp) S 8235 8235 3447 769 3447 4202496 57538 0 16 0 210 22 0 0 18 0 1 0 527230159 206598144 49066 1283457024 134512640 136080129 4293435904 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/8239/statm: 50439 49066 144 383 0 50054 0 Current children cumulated CPU time (s) 30.49 Current children cumulated vsize (KiB) 1155088 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+31.3129 s] /proc/loadavg: 1.00 1.00 0.99 2/39 8239 /proc/meminfo: memFree=4348/1048576 swapFree=2092224/2097144 [pid=8235] ppid=8234 vsize=4596 CPUtime=13.92 /proc/8235/stat : 8235 (aspcud-trendy-1) S 8234 8235 3447 769 3447 4202496 1211 47890 17 19 0 0 1216 176 20 0 1 0 527228732 4706304 843 1283457024 134512640 135539072 4293920928 18446744073709551615 4160476078 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/8235/statm: 1149 843 404 251 0 407 0 [pid=8238] ppid=8235 vsize=948736 CPUtime=14.25 /proc/8238/stat : 8238 (bingo) R 8235 8235 3447 769 3447 4202496 268795 0 20 0 1315 110 0 0 25 0 1 0 527230158 971505664 180038 1283457024 134512640 136195415 4291136576 18446744073709551615 135586765 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/8238/statm: 237184 180038 220 411 0 236771 0 [pid=8239] ppid=8235 vsize=201756 CPUtime=2.32 /proc/8239/stat : 8239 (clasp) S 8235 8235 3447 769 3447 4202496 57538 0 16 0 210 22 0 0 18 0 1 0 527230159 206598144 49066 1283457024 134512640 136080129 4293435904 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/8239/statm: 50439 49066 144 383 0 50054 0 Current children cumulated CPU time (s) 30.49 Current children cumulated vsize (KiB) 1155088 Child status: 1 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8235 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=280892 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=4125 # CPU time returned by wait4() is 16.285 # while last known CPU time is 30.49 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 31.4006 CPU time (s): 30.49 CPU user time (s): 27.41 CPU system time (s): 3.08 CPU usage (%): 97.1 Max. virtual memory (cumulated for all children) (KiB): 1155088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.2809 system time used= 2.00413 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107412 page faults= 55 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8211 involuntary context switches= 238 runsolver used 0 second user time and 0.004 second system time The end