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-paranoid-1.0/58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/debian-dudf//58a4a468-38a5-11df-a561-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/58a4a468-38a5-11df-a561-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: 0.88 0.99 0.99 1/33 12043 /proc/meminfo: memFree=915504/1048576 swapFree=2094592/2097144 [pid=12043] ppid=12042 vsize=2876 CPUtime=0 /proc/12043/stat : 12043 (runsolver) D 12042 12043 3447 769 3447 4202560 73 0 0 0 0 0 0 0 25 0 1 0 527887213 2945024 92 1283457024 134512640 134586868 4291526288 18446744073709551615 4157969450 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/12043/statm: 719 92 62 19 0 51 0 [startup+0.196695 s] /proc/loadavg: 0.88 0.99 0.99 1/33 12043 /proc/meminfo: memFree=915504/1048576 swapFree=2094592/2097144 [pid=12043] ppid=12042 vsize=4712 CPUtime=0 /proc/12043/stat : 12043 (python) S 12042 12043 3447 769 3447 4202496 1129 0 1 0 0 0 0 0 25 0 1 0 527887213 4825088 834 1283457024 134512640 135539072 4294441552 18446744073709551615 4159857582 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12043/statm: 1178 834 400 251 0 436 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4712 [startup+0.211312 s] /proc/loadavg: 0.88 0.99 0.99 1/33 12043 /proc/meminfo: memFree=915504/1048576 swapFree=2094592/2097144 [pid=12043] ppid=12042 vsize=4712 CPUtime=0 /proc/12043/stat : 12043 (python) S 12042 12043 3447 769 3447 4202496 1129 0 1 0 0 0 0 0 25 0 1 0 527887213 4825088 834 1283457024 134512640 135539072 4294441552 18446744073709551615 4159857582 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12043/statm: 1178 834 400 251 0 436 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4712 [startup+0.311352 s] /proc/loadavg: 0.88 0.99 0.99 1/33 12043 /proc/meminfo: memFree=915504/1048576 swapFree=2094592/2097144 [pid=12043] ppid=12042 vsize=4712 CPUtime=0 /proc/12043/stat : 12043 (python) S 12042 12043 3447 769 3447 4202496 1129 0 1 0 0 0 0 0 25 0 1 0 527887213 4825088 834 1283457024 134512640 135539072 4294441552 18446744073709551615 4159857582 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12043/statm: 1178 834 400 251 0 436 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4712 [startup+0.711439 s] /proc/loadavg: 0.88 0.99 0.99 1/33 12043 /proc/meminfo: memFree=915504/1048576 swapFree=2094592/2097144 [pid=12043] ppid=12042 vsize=4712 CPUtime=0 /proc/12043/stat : 12043 (python) S 12042 12043 3447 769 3447 4202496 1129 0 1 0 0 0 0 0 25 0 1 0 527887213 4825088 834 1283457024 134512640 135539072 4294441552 18446744073709551615 4159857582 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12043/statm: 1178 834 400 251 0 436 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4712 [startup+1.5116 s] /proc/loadavg: 0.88 0.99 0.99 2/35 12045 /proc/meminfo: memFree=904220/1048576 swapFree=2094592/2097144 [pid=12043] ppid=12042 vsize=4712 CPUtime=0 /proc/12043/stat : 12043 (python) S 12042 12043 3447 769 3447 4202496 1129 0 1 0 0 0 0 0 25 0 1 0 527887213 4825088 834 1283457024 134512640 135539072 4294441552 18446744073709551615 4159857582 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12043/statm: 1178 834 400 251 0 436 0 [pid=12045] ppid=12043 vsize=12920 CPUtime=1.37 /proc/12045/stat : 12045 (cudf2lp) R 12043 12043 3447 769 3447 4202496 3310 0 18 0 136 1 0 0 25 0 1 0 527887217 13230080 2856 1283457024 134512640 135993029 4288127184 18446744073709551615 134566541 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12045/statm: 3230 2856 110 362 0 2812 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 17632 [startup+3.11189 s] /proc/loadavg: 0.88 0.99 0.99 2/35 12045 /proc/meminfo: memFree=895664/1048576 swapFree=2094592/2097144 [pid=12043] ppid=12042 vsize=4712 CPUtime=0 /proc/12043/stat : 12043 (python) S 12042 12043 3447 769 3447 4202496 1129 0 1 0 0 0 0 0 25 0 1 0 527887213 4825088 834 1283457024 134512640 135539072 4294441552 18446744073709551615 4159857582 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12043/statm: 1178 834 400 251 0 436 0 [pid=12045] ppid=12043 vsize=25452 CPUtime=2.97 /proc/12045/stat : 12045 (cudf2lp) R 12043 12043 3447 769 3447 4202496 6421 0 18 0 295 2 0 0 25 0 1 0 527887217 26062848 5967 1283457024 134512640 135993029 4288127184 18446744073709551615 134572536 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12045/statm: 6363 5967 110 362 0 5945 0 Current children cumulated CPU time (s) 2.97 Current children cumulated vsize (KiB) 30164 [startup+6.31269 s] /proc/loadavg: 0.89 0.99 0.99 2/35 12045 /proc/meminfo: memFree=870988/1048576 swapFree=2094592/2097144 [pid=12043] ppid=12042 vsize=4712 CPUtime=0 /proc/12043/stat : 12043 (python) S 12042 12043 3447 769 3447 4202496 1129 0 1 0 0 0 0 0 25 0 1 0 527887213 4825088 834 1283457024 134512640 135539072 4294441552 18446744073709551615 4159857582 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12043/statm: 1178 834 400 251 0 436 0 [pid=12045] ppid=12043 vsize=48268 CPUtime=6.17 /proc/12045/stat : 12045 (cudf2lp) R 12043 12043 3447 769 3447 4202496 12065 0 18 0 614 3 0 0 25 0 1 0 527887217 49426432 11611 1283457024 134512640 135993029 4288127184 18446744073709551615 134579373 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12045/statm: 12067 11611 110 362 0 11649 0 Current children cumulated CPU time (s) 6.17 Current children cumulated vsize (KiB) 52980 [startup+12.7139 s] /proc/loadavg: 0.90 0.99 0.99 2/35 12045 /proc/meminfo: memFree=775016/1048576 swapFree=2094592/2097144 [pid=12043] ppid=12042 vsize=4712 CPUtime=0 /proc/12043/stat : 12043 (python) S 12042 12043 3447 769 3447 4202496 1129 0 1 0 0 0 0 0 25 0 1 0 527887213 4825088 834 1283457024 134512640 135539072 4294441552 18446744073709551615 4159857582 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12043/statm: 1178 834 400 251 0 436 0 [pid=12045] ppid=12043 vsize=149908 CPUtime=12.55 /proc/12045/stat : 12045 (cudf2lp) R 12043 12043 3447 769 3447 4202496 37315 0 20 0 1148 107 0 0 25 0 1 0 527887217 153505792 36830 1283457024 134512640 135993029 4288127184 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12045/statm: 37477 36830 135 362 0 37059 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 154620 [startup+25.5042 s] /proc/loadavg: 0.99 1.01 0.99 2/37 12048 /proc/meminfo: memFree=403212/1048576 swapFree=2094592/2097144 [pid=12043] ppid=12042 vsize=4712 CPUtime=14.1 /proc/12043/stat : 12043 (python) S 12042 12043 3447 769 3447 4202496 1217 47128 1 20 0 1 1230 179 18 0 1 0 527887213 4825088 836 1283457024 134512640 135539072 4294441552 18446744073709551615 4159857582 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12043/statm: 1178 836 402 251 0 436 0 [pid=12046] ppid=12043 vsize=2384 CPUtime=0 /proc/12046/stat : 12046 (sh) S 12043 12043 3447 769 3447 4194304 439 0 0 0 0 0 0 0 18 0 1 0 527888639 2441216 252 1283457024 134512640 135191968 4292804768 18446744073709551615 4159441310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12046/statm: 596 252 214 166 0 28 0 [pid=12047] ppid=12046 vsize=424980 CPUtime=9.15 /proc/12047/stat : 12047 (bingo) R 12046 12043 3447 769 3447 4202496 126030 0 21 0 864 51 0 0 25 0 1 0 527888639 435179520 81438 1283457024 134512640 136195415 4286940192 18446744073709551615 135663438 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12047/statm: 106245 81438 220 411 0 105832 0 [pid=12048] ppid=12046 vsize=173220 CPUtime=1.86 /proc/12048/stat : 12048 (clasp) R 12046 12043 3447 769 3447 4202496 48998 0 16 0 162 24 0 0 18 0 1 0 527888639 177377280 42242 1283457024 134512640 136080129 4294136480 18446744073709551615 134670132 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/12048/statm: 43305 42242 147 383 0 42920 0 Current children cumulated CPU time (s) 25.11 Current children cumulated vsize (KiB) 605296 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+30.9063 s] /proc/loadavg: 0.99 1.01 0.99 2/37 12048 /proc/meminfo: memFree=4216/1048576 swapFree=2094592/2097144 [pid=12043] ppid=12042 vsize=4712 CPUtime=14.1 /proc/12043/stat : 12043 (python) S 12042 12043 3447 769 3447 4202496 1217 47128 1 20 0 1 1230 179 18 0 1 0 527887213 4825088 836 1283457024 134512640 135539072 4294441552 18446744073709551615 4159857582 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12043/statm: 1178 836 402 251 0 436 0 [pid=12046] ppid=12043 vsize=2384 CPUtime=0 /proc/12046/stat : 12046 (sh) S 12043 12043 3447 769 3447 4194304 439 0 0 0 0 0 0 0 18 0 1 0 527888639 2441216 252 1283457024 134512640 135191968 4292804768 18446744073709551615 4159441310 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/12046/statm: 596 252 214 166 0 28 0 [pid=12047] ppid=12046 vsize=955104 CPUtime=13.91 /proc/12047/stat : 12047 (bingo) R 12046 12043 3447 769 3447 4202496 269113 0 21 0 1292 99 0 0 25 0 1 0 527888639 978026496 179591 1283457024 134512640 136195415 4286940192 18446744073709551615 134780496 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/12047/statm: 238776 179591 220 411 0 238363 0 [pid=12048] ppid=12046 vsize=195916 CPUtime=2.49 /proc/12048/stat : 12048 (clasp) S 12046 12043 3447 769 3447 4202496 55403 0 16 0 220 29 0 0 18 0 1 0 527888639 200617984 48140 1283457024 134512640 136080129 4294136480 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/12048/statm: 48979 48140 147 383 0 48594 0 Current children cumulated CPU time (s) 30.5 Current children cumulated vsize (KiB) 1158116 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 ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 12043 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=516907 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=124132 # CPU time returned by wait4() is 16.641 # while last known CPU time is 30.5 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 30.962 CPU time (s): 30.5 CPU user time (s): 27.42 CPU system time (s): 3.08 CPU usage (%): 98.5077 Max. virtual memory (cumulated for all children) (KiB): 1158116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.5169 system time used= 2.12413 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104269 page faults= 37 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7607 involuntary context switches= 524 runsolver used 0.004 second user time and 0 second system time The end