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/218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/debian-dudf//218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/aspcud-trendy-1.2/218091ce-4bcc-11df-bc4e-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.03 1.00 1/36 6328 /proc/meminfo: memFree=738396/1048576 swapFree=2092220/2097144 [pid=6328] ppid=6327 vsize=2884 CPUtime=0 /proc/6328/stat : 6328 (runsolver) D 6327 6328 3447 769 3447 4202560 74 0 0 0 0 0 0 0 25 0 1 0 526826154 2953216 93 1283457024 134512640 134586868 4288258944 18446744073709551615 4158415914 0 0 0 24578 18446744071564252162 0 0 17 0 0 0 0 /proc/6328/statm: 721 93 62 19 0 53 0 [startup+0.16074 s] /proc/loadavg: 1.00 1.03 1.00 1/36 6328 /proc/meminfo: memFree=738396/1048576 swapFree=2092220/2097144 [pid=6328] ppid=6327 vsize=4276 CPUtime=0 /proc/6328/stat : 6328 (aspcud-trendy-1) D 6327 6328 3447 769 3447 4202496 797 0 14 0 0 0 0 0 24 0 1 0 526826154 4378624 683 1283457024 134512640 135539072 4290563712 18446744073709551615 4159769150 0 0 16781312 2 18446744071564252162 0 0 17 0 0 0 0 /proc/6328/statm: 1069 683 354 251 0 370 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4276 [startup+0.204746 s] /proc/loadavg: 1.00 1.03 1.00 1/36 6328 /proc/meminfo: memFree=738396/1048576 swapFree=2092220/2097144 [pid=6328] ppid=6327 vsize=4304 CPUtime=0 /proc/6328/stat : 6328 (aspcud-trendy-1) D 6327 6328 3447 769 3447 4202496 816 0 15 0 0 0 0 0 24 0 1 0 526826154 4407296 701 1283457024 134512640 135539072 4290563712 18446744073709551615 4159774366 0 0 16781312 2 18446744071564332000 0 0 17 0 0 0 0 /proc/6328/statm: 1076 701 361 251 0 371 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4304 [startup+0.304734 s] /proc/loadavg: 1.00 1.03 1.00 1/36 6328 /proc/meminfo: memFree=738396/1048576 swapFree=2092220/2097144 [pid=6328] ppid=6327 vsize=4592 CPUtime=0 /proc/6328/stat : 6328 (aspcud-trendy-1) S 6327 6328 3447 769 3447 4202496 1017 0 17 0 0 0 0 0 24 0 1 0 526826154 4702208 839 1283457024 134512640 135539072 4290563712 18446744073709551615 4160553902 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6328/statm: 1148 839 401 251 0 406 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4592 [startup+0.713199 s] /proc/loadavg: 1.00 1.03 1.00 1/36 6328 /proc/meminfo: memFree=738396/1048576 swapFree=2092220/2097144 [pid=6328] ppid=6327 vsize=4592 CPUtime=0 /proc/6328/stat : 6328 (aspcud-trendy-1) S 6327 6328 3447 769 3447 4202496 1017 0 17 0 0 0 0 0 24 0 1 0 526826154 4702208 839 1283457024 134512640 135539072 4290563712 18446744073709551615 4160553902 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6328/statm: 1148 839 401 251 0 406 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4592 [startup+1.51341 s] /proc/loadavg: 1.00 1.03 1.00 2/38 6330 /proc/meminfo: memFree=727688/1048576 swapFree=2092220/2097144 [pid=6328] ppid=6327 vsize=4592 CPUtime=0 /proc/6328/stat : 6328 (aspcud-trendy-1) S 6327 6328 3447 769 3447 4202496 1017 0 17 0 0 0 0 0 24 0 1 0 526826154 4702208 839 1283457024 134512640 135539072 4290563712 18446744073709551615 4160553902 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6328/statm: 1148 839 401 251 0 406 0 [pid=6330] ppid=6328 vsize=11928 CPUtime=1.24 /proc/6330/stat : 6330 (cudf2lp) R 6328 6328 3447 769 3447 4202496 2810 0 4 0 124 0 0 0 25 0 1 0 526826179 12214272 2609 1283457024 134512640 135993029 4287929584 18446744073709551615 134567897 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6330/statm: 2982 2609 110 362 0 2564 0 Current children cumulated CPU time (s) 1.24 Current children cumulated vsize (KiB) 16520 [startup+3.11377 s] /proc/loadavg: 1.00 1.03 1.00 2/38 6330 /proc/meminfo: memFree=718884/1048576 swapFree=2092220/2097144 [pid=6328] ppid=6327 vsize=4592 CPUtime=0 /proc/6328/stat : 6328 (aspcud-trendy-1) S 6327 6328 3447 769 3447 4202496 1017 0 17 0 0 0 0 0 24 0 1 0 526826154 4702208 839 1283457024 134512640 135539072 4290563712 18446744073709551615 4160553902 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6328/statm: 1148 839 401 251 0 406 0 [pid=6330] ppid=6328 vsize=24956 CPUtime=2.83 /proc/6330/stat : 6330 (cudf2lp) R 6328 6328 3447 769 3447 4202496 6020 0 4 0 283 0 0 0 25 0 1 0 526826179 25554944 5819 1283457024 134512640 135993029 4287929584 18446744073709551615 134566525 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6330/statm: 6239 5819 110 362 0 5821 0 Current children cumulated CPU time (s) 2.83 Current children cumulated vsize (KiB) 29548 [startup+6.30522 s] /proc/loadavg: 1.00 1.03 1.00 2/38 6330 /proc/meminfo: memFree=693216/1048576 swapFree=2092220/2097144 [pid=6328] ppid=6327 vsize=4592 CPUtime=0 /proc/6328/stat : 6328 (aspcud-trendy-1) S 6327 6328 3447 769 3447 4202496 1017 0 17 0 0 0 0 0 24 0 1 0 526826154 4702208 839 1283457024 134512640 135539072 4290563712 18446744073709551615 4160553902 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6328/statm: 1148 839 401 251 0 406 0 [pid=6330] ppid=6328 vsize=48516 CPUtime=6.03 /proc/6330/stat : 6330 (cudf2lp) R 6328 6328 3447 769 3447 4202496 11830 0 4 0 600 3 0 0 25 0 1 0 526826179 49680384 11629 1283457024 134512640 135993029 4287929584 18446744073709551615 134570516 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6330/statm: 12129 11629 110 362 0 11711 0 Current children cumulated CPU time (s) 6.03 Current children cumulated vsize (KiB) 53108 [startup+12.7094 s] /proc/loadavg: 1.00 1.03 1.00 2/38 6330 /proc/meminfo: memFree=600160/1048576 swapFree=2092220/2097144 [pid=6328] ppid=6327 vsize=4592 CPUtime=0 /proc/6328/stat : 6328 (aspcud-trendy-1) S 6327 6328 3447 769 3447 4202496 1017 0 17 0 0 0 0 0 24 0 1 0 526826154 4702208 839 1283457024 134512640 135539072 4290563712 18446744073709551615 4160553902 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6328/statm: 1148 839 401 251 0 406 0 [pid=6330] ppid=6328 vsize=147968 CPUtime=12.39 /proc/6330/stat : 6330 (cudf2lp) R 6328 6328 3447 769 3447 4202496 36559 0 6 0 1156 83 0 0 25 0 1 0 526826179 151519232 36327 1283457024 134512640 135993029 4287929584 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6330/statm: 36992 36327 135 362 0 36574 0 Current children cumulated CPU time (s) 12.39 Current children cumulated vsize (KiB) 152560 [startup+25.5044 s] /proc/loadavg: 1.08 1.05 1.01 3/39 6332 /proc/meminfo: memFree=220332/1048576 swapFree=2092220/2097144 [pid=6328] ppid=6327 vsize=4592 CPUtime=14.15 /proc/6328/stat : 6328 (aspcud-trendy-1) S 6327 6328 3447 769 3447 4202496 1208 47913 17 6 0 0 1258 157 18 0 1 0 526826154 4702208 842 1283457024 134512640 135539072 4290563712 18446744073709551615 4160553902 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6328/statm: 1148 842 404 251 0 406 0 [pid=6331] ppid=6328 vsize=427552 CPUtime=9.18 /proc/6331/stat : 6331 (bingo) R 6328 6328 3447 769 3447 4202496 127474 0 0 0 877 41 0 0 25 0 1 0 526827603 437813248 82918 1283457024 134512640 136195415 4290764624 18446744073709551615 135663438 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6331/statm: 106888 82918 220 411 0 106475 0 [pid=6332] ppid=6328 vsize=175216 CPUtime=1.81 /proc/6332/stat : 6332 (clasp) R 6328 6328 3447 769 3447 4202496 49635 0 0 0 166 15 0 0 18 0 1 0 526827605 179421184 42793 1283457024 134512640 136080129 4290658096 18446744073709551615 135505028 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/6332/statm: 43804 42793 144 383 0 43419 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 607360 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+31.5147 s] /proc/loadavg: 1.15 1.06 1.01 1/39 6332 /proc/meminfo: memFree=5968/1048576 swapFree=2079996/2097144 [pid=6328] ppid=6327 vsize=4592 CPUtime=14.15 /proc/6328/stat : 6328 (aspcud-trendy-1) S 6327 6328 3447 769 3447 4202496 1208 47913 17 6 0 0 1258 157 18 0 1 0 526826154 4702208 842 1283457024 134512640 135539072 4290563712 18446744073709551615 4160553902 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/6328/statm: 1148 842 404 251 0 406 0 [pid=6331] ppid=6328 vsize=1020560 CPUtime=14.71 /proc/6331/stat : 6331 (bingo) D 6328 6328 3447 769 3447 4202496 288793 0 0 0 1358 113 0 0 24 0 1 0 526827603 1045053440 192774 1283457024 134512640 136195415 4290764624 18446744073709551615 134926080 0 0 16781312 0 18446744071564252162 0 0 17 0 0 0 0 /proc/6331/statm: 255140 192774 220 411 0 254727 0 [pid=6332] ppid=6328 vsize=205452 CPUtime=2.42 /proc/6332/stat : 6332 (clasp) S 6328 6328 3447 769 3447 4202496 58742 0 0 0 223 19 0 0 18 0 1 0 526827605 210382848 48665 1283457024 134512640 136080129 4290658096 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/6332/statm: 51363 48665 144 383 0 50978 0 Current children cumulated CPU time (s) 31.28 Current children cumulated vsize (KiB) 1230604 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+33.0028 s] /proc/loadavg: 1.15 1.06 1.01 1/39 6332 /proc/meminfo: memFree=5968/1048576 swapFree=2079996/2097144 [pid=6328] ppid=6327 vsize=4596 CPUtime=16.6 /proc/6328/stat : 6328 (aspcud-trendy-1) R 6327 6328 3447 769 3447 4202496 1332 107011 17 9 0 0 1482 178 17 0 1 0 526826154 4706304 843 1283457024 134512640 135539072 4290563712 18446744073709551615 4159774366 0 0 16781312 514 0 0 0 17 0 0 0 0 /proc/6328/statm: 1149 843 404 251 0 407 0 [pid=6331] ppid=6328 vsize=0 CPUtime=14.8 /proc/6331/stat : 6331 (bingo) Z 6328 6328 3447 769 3447 4203532 288793 0 1 0 1358 122 0 0 21 0 1 0 526827603 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/6331/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 31.4 Current children cumulated vsize (KiB) 4596 Child status: 1 Real time (s): 33.0127 CPU time (s): 31.434 CPU user time (s): 28.4218 CPU system time (s): 3.01219 CPU usage (%): 95.2179 Max. virtual memory (cumulated for all children) (KiB): 1230604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 28.4218 system time used= 3.01219 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 397429 page faults= 27 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8597 involuntary context switches= 9106 runsolver used 0 second user time and 0.004 second system time The end