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/8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/debian-dudf//8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/aspcud-trendy-1.2/8ad21cec-4b22-11df-b280-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.99 0.99 0.99 2/33 14572 /proc/meminfo: memFree=749152/1048576 swapFree=2094600/2097144 [pid=14572] ppid=14571 vsize=2884 CPUtime=0 /proc/14572/stat : 14572 (runsolver) R 14571 14572 3447 769 3447 4202560 74 0 0 0 0 0 0 0 25 0 1 0 528410061 2953216 93 1283457024 134512640 134586868 4292978688 18446744073709551615 4158284842 0 0 0 24578 0 0 0 17 0 0 0 0 /proc/14572/statm: 721 93 62 19 0 53 0 [startup+0.139047 s] /proc/loadavg: 0.99 0.99 0.99 2/33 14572 /proc/meminfo: memFree=749152/1048576 swapFree=2094600/2097144 [pid=14572] ppid=14571 vsize=4276 CPUtime=0 /proc/14572/stat : 14572 (aspcud-trendy-1) D 14571 14572 3447 769 3447 4202496 798 0 15 0 0 0 0 0 24 0 1 0 528410061 4378624 685 1283457024 134512640 135539072 4291747760 18446744073709551615 4159709444 0 0 16781312 2 18446744071564332000 0 0 17 0 0 0 0 /proc/14572/statm: 1069 685 355 251 0 370 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4276 [startup+0.207035 s] /proc/loadavg: 0.99 0.99 0.99 2/33 14572 /proc/meminfo: memFree=749152/1048576 swapFree=2094600/2097144 [pid=14572] ppid=14571 vsize=4592 CPUtime=0 /proc/14572/stat : 14572 (aspcud-trendy-1) S 14571 14572 3447 769 3447 4202496 1017 0 18 0 0 0 0 0 24 0 1 0 528410061 4702208 840 1283457024 134512640 135539072 4291747760 18446744073709551615 4159554478 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/14572/statm: 1148 840 401 251 0 406 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4592 [startup+0.307019 s] /proc/loadavg: 0.99 0.99 0.99 2/33 14572 /proc/meminfo: memFree=749152/1048576 swapFree=2094600/2097144 [pid=14572] ppid=14571 vsize=4592 CPUtime=0 /proc/14572/stat : 14572 (aspcud-trendy-1) S 14571 14572 3447 769 3447 4202496 1017 0 18 0 0 0 0 0 24 0 1 0 528410061 4702208 840 1283457024 134512640 135539072 4291747760 18446744073709551615 4159554478 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/14572/statm: 1148 840 401 251 0 406 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4592 [startup+0.709812 s] /proc/loadavg: 0.99 0.99 0.99 2/33 14572 /proc/meminfo: memFree=749152/1048576 swapFree=2094600/2097144 [pid=14572] ppid=14571 vsize=4592 CPUtime=0 /proc/14572/stat : 14572 (aspcud-trendy-1) S 14571 14572 3447 769 3447 4202496 1017 0 18 0 0 0 0 0 24 0 1 0 528410061 4702208 840 1283457024 134512640 135539072 4291747760 18446744073709551615 4159554478 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/14572/statm: 1148 840 401 251 0 406 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4592 [startup+1.50997 s] /proc/loadavg: 0.99 0.99 0.99 2/35 14574 /proc/meminfo: memFree=737104/1048576 swapFree=2094600/2097144 [pid=14572] ppid=14571 vsize=4592 CPUtime=0 /proc/14572/stat : 14572 (aspcud-trendy-1) S 14571 14572 3447 769 3447 4202496 1017 0 18 0 0 0 0 0 24 0 1 0 528410061 4702208 840 1283457024 134512640 135539072 4291747760 18446744073709551615 4159554478 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/14572/statm: 1148 840 401 251 0 406 0 [pid=14574] ppid=14572 vsize=12420 CPUtime=1.24 /proc/14574/stat : 14574 (cudf2lp) R 14572 14572 3447 769 3447 4202496 2943 0 17 0 122 2 0 0 25 0 1 0 528410079 12718080 2755 1283457024 134512640 135993029 4291877264 18446744073709551615 134566531 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/14574/statm: 3105 2755 110 362 0 2687 0 Current children cumulated CPU time (s) 1.24 Current children cumulated vsize (KiB) 17012 [startup+3.11034 s] /proc/loadavg: 0.99 0.99 0.99 2/35 14574 /proc/meminfo: memFree=728052/1048576 swapFree=2094600/2097144 [pid=14572] ppid=14571 vsize=4592 CPUtime=0 /proc/14572/stat : 14572 (aspcud-trendy-1) S 14571 14572 3447 769 3447 4202496 1017 0 18 0 0 0 0 0 24 0 1 0 528410061 4702208 840 1283457024 134512640 135539072 4291747760 18446744073709551615 4159554478 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/14572/statm: 1148 840 401 251 0 406 0 [pid=14574] ppid=14572 vsize=24944 CPUtime=2.85 /proc/14574/stat : 14574 (cudf2lp) R 14572 14572 3447 769 3447 4202496 6035 0 17 0 281 4 0 0 25 0 1 0 528410079 25542656 5847 1283457024 134512640 135993029 4291877264 18446744073709551615 134567160 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/14574/statm: 6236 5847 111 362 0 5818 0 Current children cumulated CPU time (s) 2.85 Current children cumulated vsize (KiB) 29536 [startup+6.31116 s] /proc/loadavg: 0.99 0.99 0.99 2/35 14574 /proc/meminfo: memFree=701888/1048576 swapFree=2094600/2097144 [pid=14572] ppid=14571 vsize=4592 CPUtime=0 /proc/14572/stat : 14572 (aspcud-trendy-1) S 14571 14572 3447 769 3447 4202496 1017 0 18 0 0 0 0 0 24 0 1 0 528410061 4702208 840 1283457024 134512640 135539072 4291747760 18446744073709551615 4159554478 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/14572/statm: 1148 840 401 251 0 406 0 [pid=14574] ppid=14572 vsize=50932 CPUtime=6.04 /proc/14574/stat : 14574 (cudf2lp) R 14572 14572 3447 769 3447 4202496 12362 0 17 0 600 4 0 0 25 0 1 0 528410079 52154368 12174 1283457024 134512640 135993029 4291877264 18446744073709551615 134567163 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/14574/statm: 12733 12174 111 362 0 12315 0 Current children cumulated CPU time (s) 6.04 Current children cumulated vsize (KiB) 55524 [startup+12.704 s] /proc/loadavg: 0.99 0.99 0.99 2/35 14574 /proc/meminfo: memFree=597420/1048576 swapFree=2094600/2097144 [pid=14572] ppid=14571 vsize=4592 CPUtime=0 /proc/14572/stat : 14572 (aspcud-trendy-1) S 14571 14572 3447 769 3447 4202496 1017 0 18 0 0 0 0 0 24 0 1 0 528410061 4702208 840 1283457024 134512640 135539072 4291747760 18446744073709551615 4159554478 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/14572/statm: 1148 840 401 251 0 406 0 [pid=14574] ppid=14572 vsize=159188 CPUtime=12.42 /proc/14574/stat : 14574 (cudf2lp) R 14572 14572 3447 769 3447 4202496 39393 0 19 0 1126 116 0 0 25 0 1 0 528410079 163008512 39174 1283457024 134512640 135993029 4291877264 18446744073709551615 135400975 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/14574/statm: 39797 39174 135 362 0 39379 0 Current children cumulated CPU time (s) 12.42 Current children cumulated vsize (KiB) 163780 [startup+25.5122 s] /proc/loadavg: 1.14 1.02 1.00 2/36 14576 /proc/meminfo: memFree=225260/1048576 swapFree=2094600/2097144 [pid=14572] ppid=14571 vsize=4592 CPUtime=13.79 /proc/14572/stat : 14572 (aspcud-trendy-1) S 14571 14572 3447 769 3447 4202496 1208 48007 18 19 0 0 1200 179 20 0 1 0 528410061 4702208 843 1283457024 134512640 135539072 4291747760 18446744073709551615 4159554478 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/14572/statm: 1148 843 404 251 0 406 0 [pid=14575] ppid=14572 vsize=427364 CPUtime=9.42 /proc/14575/stat : 14575 (bingo) R 14572 14572 3447 769 3447 4202496 127403 0 20 0 902 40 0 0 25 0 1 0 528411469 437620736 82867 1283457024 134512640 136195415 4294013984 18446744073709551615 135663438 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/14575/statm: 106841 82867 220 411 0 106428 0 [pid=14576] ppid=14572 vsize=176432 CPUtime=1.77 /proc/14576/stat : 14576 (clasp) R 14572 14572 3447 769 3447 4202496 49944 0 16 0 154 23 0 0 18 0 1 0 528411470 180666368 43118 1283457024 134512640 136080129 4289397424 18446744073709551615 135505028 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/14576/statm: 44108 43118 144 383 0 43723 0 Current children cumulated CPU time (s) 24.98 Current children cumulated vsize (KiB) 608388 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+31.213 s] /proc/loadavg: 1.20 1.04 1.01 2/36 14576 /proc/meminfo: memFree=4308/1048576 swapFree=2094600/2097144 [pid=14572] ppid=14571 vsize=4592 CPUtime=13.79 /proc/14572/stat : 14572 (aspcud-trendy-1) S 14571 14572 3447 769 3447 4202496 1208 48007 18 19 0 0 1200 179 20 0 1 0 528410061 4702208 843 1283457024 134512640 135539072 4291747760 18446744073709551615 4159554478 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/14572/statm: 1148 843 404 251 0 406 0 [pid=14575] ppid=14572 vsize=946432 CPUtime=14.22 /proc/14575/stat : 14575 (bingo) R 14572 14572 3447 769 3447 4204544 268224 0 20 0 1330 92 0 0 25 0 1 0 528411469 969146368 179788 1283457024 134512640 136195415 4294013984 18446744073709551615 135588468 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/14575/statm: 236608 179788 220 411 0 236195 0 [pid=14576] ppid=14572 vsize=202208 CPUtime=2.41 /proc/14576/stat : 14576 (clasp) S 14572 14572 3447 769 3447 4202496 57674 0 16 0 215 26 0 0 18 0 1 0 528411470 207060992 49201 1283457024 134512640 136080129 4289397424 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/14576/statm: 50552 49201 144 383 0 50167 0 Current children cumulated CPU time (s) 30.42 Current children cumulated vsize (KiB) 1153232 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.213 s] /proc/loadavg: 1.20 1.04 1.01 2/36 14576 /proc/meminfo: memFree=4308/1048576 swapFree=2094600/2097144 [pid=14572] ppid=14571 vsize=4592 CPUtime=13.79 /proc/14572/stat : 14572 (aspcud-trendy-1) S 14571 14572 3447 769 3447 4202496 1208 48007 18 19 0 0 1200 179 20 0 1 0 528410061 4702208 843 1283457024 134512640 135539072 4291747760 18446744073709551615 4159554478 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/14572/statm: 1148 843 404 251 0 406 0 [pid=14575] ppid=14572 vsize=946432 CPUtime=14.22 /proc/14575/stat : 14575 (bingo) R 14572 14572 3447 769 3447 4204544 268224 0 20 0 1330 92 0 0 25 0 1 0 528411469 969146368 179788 1283457024 134512640 136195415 4294013984 18446744073709551615 135588468 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/14575/statm: 236608 179788 220 411 0 236195 0 [pid=14576] ppid=14572 vsize=202208 CPUtime=2.41 /proc/14576/stat : 14576 (clasp) S 14572 14572 3447 769 3447 4202496 57674 0 16 0 215 26 0 0 18 0 1 0 528411470 207060992 49201 1283457024 134512640 136080129 4289397424 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/14576/statm: 50552 49201 144 383 0 50167 0 Current children cumulated CPU time (s) 30.42 Current children cumulated vsize (KiB) 1153232 Child status: 1 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14572 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=160885 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=88130 # CPU time returned by wait4() is 16.249 # while last known CPU time is 30.42 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 31.2928 CPU time (s): 30.42 CPU user time (s): 27.45 CPU system time (s): 2.97 CPU usage (%): 97.211 Max. virtual memory (cumulated for all children) (KiB): 1153232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.1609 system time used= 2.08813 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107664 page faults= 54 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8146 involuntary context switches= 220 runsolver used 0 second user time and 0.004 second system time The end