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/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/debian-dudf//9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/aspcud-trendy-1.2/9bb87ab4-4c36-11df-bc1e-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 0.99 0.99 2/33 15211 /proc/meminfo: memFree=757708/1048576 swapFree=2094592/2097144 [pid=15211] ppid=15210 vsize=2880 CPUtime=0 /proc/15211/stat : 15211 (runsolver) R 15210 15211 3447 769 3447 4202560 74 0 0 0 0 0 0 0 25 0 1 0 528549341 2949120 93 1283457024 134512640 134586868 4287201920 18446744073709551615 4158092330 0 0 0 24578 0 0 0 17 0 0 0 0 /proc/15211/statm: 720 93 62 19 0 52 0 [startup+0.133581 s] /proc/loadavg: 1.00 0.99 0.99 2/33 15211 /proc/meminfo: memFree=757708/1048576 swapFree=2094592/2097144 [pid=15211] ppid=15210 vsize=3992 CPUtime=0 /proc/15211/stat : 15211 (aspcud-trendy-1) D 15210 15211 3447 769 3447 4202496 755 0 13 0 0 0 0 0 24 0 1 0 528549341 4087808 646 1283457024 134512640 135539072 4291831168 18446744073709551615 4159635102 0 0 16781312 2 18446744071564252162 0 0 17 0 0 0 0 /proc/15211/statm: 998 646 345 251 0 299 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 3992 [startup+0.205576 s] /proc/loadavg: 1.00 0.99 0.99 2/33 15211 /proc/meminfo: memFree=757708/1048576 swapFree=2094592/2097144 [pid=15211] ppid=15210 vsize=5620 CPUtime=0 /proc/15211/stat : 15211 (aspcud-trendy-1) S 15210 15211 3447 769 3447 4202496 1001 0 17 0 0 0 0 0 24 0 1 0 528549341 5754880 841 1283457024 134512640 135539072 4291831168 18446744073709551615 4160410958 0 0 16781312 2 18446744071564457842 0 0 17 0 0 0 0 /proc/15211/statm: 1405 841 400 251 0 663 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5620 [startup+0.305573 s] /proc/loadavg: 1.00 0.99 0.99 2/33 15211 /proc/meminfo: memFree=757708/1048576 swapFree=2094592/2097144 [pid=15211] ppid=15210 vsize=4592 CPUtime=0 /proc/15211/stat : 15211 (aspcud-trendy-1) S 15210 15211 3447 769 3447 4202496 1018 0 17 0 0 0 0 0 24 0 1 0 528549341 4702208 840 1283457024 134512640 135539072 4291831168 18446744073709551615 4160414638 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15211/statm: 1148 840 401 251 0 406 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4592 [startup+0.713697 s] /proc/loadavg: 1.00 0.99 0.99 2/33 15211 /proc/meminfo: memFree=757708/1048576 swapFree=2094592/2097144 [pid=15211] ppid=15210 vsize=4592 CPUtime=0 /proc/15211/stat : 15211 (aspcud-trendy-1) S 15210 15211 3447 769 3447 4202496 1018 0 17 0 0 0 0 0 24 0 1 0 528549341 4702208 840 1283457024 134512640 135539072 4291831168 18446744073709551615 4160414638 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15211/statm: 1148 840 401 251 0 406 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4592 [startup+1.51383 s] /proc/loadavg: 1.00 0.99 0.99 2/35 15213 /proc/meminfo: memFree=745608/1048576 swapFree=2094592/2097144 [pid=15211] ppid=15210 vsize=4592 CPUtime=0 /proc/15211/stat : 15211 (aspcud-trendy-1) S 15210 15211 3447 769 3447 4202496 1018 0 17 0 0 0 0 0 24 0 1 0 528549341 4702208 840 1283457024 134512640 135539072 4291831168 18446744073709551615 4160414638 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15211/statm: 1148 840 401 251 0 406 0 [pid=15213] ppid=15211 vsize=12176 CPUtime=1.23 /proc/15213/stat : 15213 (cudf2lp) R 15211 15211 3447 769 3447 4202496 2860 0 17 0 123 0 0 0 25 0 1 0 528549361 12468224 2672 1283457024 134512640 135993029 4287660992 18446744073709551615 134609423 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15213/statm: 3044 2672 110 362 0 2626 0 Current children cumulated CPU time (s) 1.23 Current children cumulated vsize (KiB) 16768 [startup+3.11421 s] /proc/loadavg: 1.00 0.99 0.99 2/35 15213 /proc/meminfo: memFree=736680/1048576 swapFree=2094592/2097144 [pid=15211] ppid=15210 vsize=4592 CPUtime=0 /proc/15211/stat : 15211 (aspcud-trendy-1) S 15210 15211 3447 769 3447 4202496 1018 0 17 0 0 0 0 0 24 0 1 0 528549341 4702208 840 1283457024 134512640 135539072 4291831168 18446744073709551615 4160414638 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15211/statm: 1148 840 401 251 0 406 0 [pid=15213] ppid=15211 vsize=25204 CPUtime=2.82 /proc/15213/stat : 15213 (cudf2lp) R 15211 15211 3447 769 3447 4202496 6111 0 17 0 278 4 0 0 25 0 1 0 528549361 25808896 5923 1283457024 134512640 135993029 4287660992 18446744073709551615 134567550 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15213/statm: 6301 5923 110 362 0 5883 0 Current children cumulated CPU time (s) 2.82 Current children cumulated vsize (KiB) 29796 [startup+6.31503 s] /proc/loadavg: 1.00 0.99 0.99 2/35 15213 /proc/meminfo: memFree=710268/1048576 swapFree=2094592/2097144 [pid=15211] ppid=15210 vsize=4592 CPUtime=0 /proc/15211/stat : 15211 (aspcud-trendy-1) S 15210 15211 3447 769 3447 4202496 1018 0 17 0 0 0 0 0 24 0 1 0 528549341 4702208 840 1283457024 134512640 135539072 4291831168 18446744073709551615 4160414638 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15211/statm: 1148 840 401 251 0 406 0 [pid=15213] ppid=15211 vsize=49884 CPUtime=6.01 /proc/15213/stat : 15213 (cudf2lp) R 15211 15211 3447 769 3447 4202496 12157 0 17 0 594 7 0 0 25 0 1 0 528549361 51081216 11969 1283457024 134512640 135993029 4287660992 18446744073709551615 134569986 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15213/statm: 12471 11969 110 362 0 12053 0 Current children cumulated CPU time (s) 6.01 Current children cumulated vsize (KiB) 54476 [startup+12.7086 s] /proc/loadavg: 1.00 0.99 0.99 2/35 15213 /proc/meminfo: memFree=609708/1048576 swapFree=2094592/2097144 [pid=15211] ppid=15210 vsize=4592 CPUtime=0 /proc/15211/stat : 15211 (aspcud-trendy-1) S 15210 15211 3447 769 3447 4202496 1018 0 17 0 0 0 0 0 24 0 1 0 528549341 4702208 840 1283457024 134512640 135539072 4291831168 18446744073709551615 4160414638 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/15211/statm: 1148 840 401 251 0 406 0 [pid=15213] ppid=15211 vsize=155756 CPUtime=12.39 /proc/15213/stat : 15213 (cudf2lp) R 15211 15211 3447 769 3447 4202496 38501 0 19 0 1131 108 0 0 25 0 1 0 528549361 159494144 38282 1283457024 134512640 135993029 4287660992 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15213/statm: 38939 38282 135 362 0 38521 0 Current children cumulated CPU time (s) 12.39 Current children cumulated vsize (KiB) 160348 [startup+25.5132 s] /proc/loadavg: 1.00 0.99 0.99 2/36 15215 /proc/meminfo: memFree=234820/1048576 swapFree=2094592/2097144 [pid=15211] ppid=15210 vsize=4592 CPUtime=13.86 /proc/15211/stat : 15211 (aspcud-trendy-1) S 15210 15211 3447 769 3447 4202496 1211 47901 17 19 0 0 1208 178 20 0 1 0 528549341 4702208 843 1283457024 134512640 135539072 4291831168 18446744073709551615 4160414638 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/15211/statm: 1148 843 404 251 0 406 0 [pid=15214] ppid=15211 vsize=427556 CPUtime=9.46 /proc/15214/stat : 15214 (bingo) R 15211 15211 3447 769 3447 4202496 127455 0 20 0 910 36 0 0 25 0 1 0 528550760 437817344 82919 1283457024 134512640 136195415 4289091072 18446744073709551615 134631506 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15214/statm: 106889 82919 220 411 0 106476 0 [pid=15215] ppid=15211 vsize=175480 CPUtime=1.68 /proc/15215/stat : 15215 (clasp) S 15211 15211 3447 769 3447 4202496 49688 0 16 0 151 17 0 0 18 0 1 0 528550761 179691520 42862 1283457024 134512640 136080129 4293242880 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/15215/statm: 43870 42862 144 383 0 43485 0 Current children cumulated CPU time (s) 25 Current children cumulated vsize (KiB) 607628 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+31.3133 s] /proc/loadavg: 1.00 0.99 0.99 3/36 15215 /proc/meminfo: memFree=4112/1048576 swapFree=2094592/2097144 [pid=15211] ppid=15210 vsize=4592 CPUtime=13.86 /proc/15211/stat : 15211 (aspcud-trendy-1) S 15210 15211 3447 769 3447 4202496 1211 47901 17 19 0 0 1208 178 20 0 1 0 528549341 4702208 843 1283457024 134512640 135539072 4291831168 18446744073709551615 4160414638 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/15211/statm: 1148 843 404 251 0 406 0 [pid=15214] ppid=15211 vsize=951024 CPUtime=14.4 /proc/15214/stat : 15214 (bingo) R 15211 15211 3447 769 3447 4204544 269431 0 20 0 1332 108 0 0 25 0 1 0 528550760 973848576 180673 1283457024 134512640 136195415 4289091072 18446744073709551615 134659635 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/15214/statm: 237756 180673 220 411 0 237343 0 [pid=15215] ppid=15211 vsize=202024 CPUtime=2.25 /proc/15215/stat : 15215 (clasp) S 15211 15211 3447 769 3447 4202496 57644 0 16 0 204 21 0 0 18 0 1 0 528550761 206872576 49171 1283457024 134512640 136080129 4293242880 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/15215/statm: 50506 49171 144 383 0 50121 0 Current children cumulated CPU time (s) 30.51 Current children cumulated vsize (KiB) 1157640 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 status: 1 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 15211 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=132883 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=24126 # CPU time returned by wait4() is 16.157 # while last known CPU time is 30.51 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 31.3947 CPU time (s): 30.51 CPU user time (s): 27.44 CPU system time (s): 3.07 CPU usage (%): 97.1819 Max. virtual memory (cumulated for all children) (KiB): 1157640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.1329 system time used= 2.02413 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107531 page faults= 53 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8270 involuntary context switches= 216 runsolver used 0 second user time and 0 second system time The end