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/e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/debian-dudf//e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/e8a3eb4c-4c81-11df-8b8c-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.91 0.99 0.99 2/33 17157 /proc/meminfo: memFree=923892/1048576 swapFree=2094592/2097144 [pid=17157] ppid=17156 vsize=2884 CPUtime=0 /proc/17157/stat : 17157 (runsolver) D 17156 17157 3447 769 3447 4202560 73 0 0 0 0 0 0 0 25 0 1 0 528808085 2953216 93 1283457024 134512640 134586868 4287544016 18446744073709551615 4158186538 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/17157/statm: 721 93 62 19 0 53 0 [startup+0.113612 s] /proc/loadavg: 0.91 0.99 0.99 2/33 17157 /proc/meminfo: memFree=923892/1048576 swapFree=2094592/2097144 [pid=17157] ppid=17156 vsize=4432 CPUtime=0 /proc/17157/stat : 17157 (python) R 17156 17157 3447 769 3447 4202496 960 0 1 0 0 0 0 0 25 0 1 0 528808085 4538368 729 1283457024 134512640 135539072 4290326112 18446744073709551615 4159294358 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/17157/statm: 1108 729 364 251 0 399 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4432 [startup+0.20563 s] /proc/loadavg: 0.91 0.99 0.99 2/33 17157 /proc/meminfo: memFree=923892/1048576 swapFree=2094592/2097144 [pid=17157] ppid=17156 vsize=4704 CPUtime=0 /proc/17157/stat : 17157 (python) S 17156 17157 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 24 0 1 0 528808085 4816896 833 1283457024 134512640 135539072 4290326112 18446744073709551615 4160377774 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17157/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4704 [startup+0.305614 s] /proc/loadavg: 0.91 0.99 0.99 2/33 17157 /proc/meminfo: memFree=923892/1048576 swapFree=2094592/2097144 [pid=17157] ppid=17156 vsize=4704 CPUtime=0 /proc/17157/stat : 17157 (python) S 17156 17157 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 24 0 1 0 528808085 4816896 833 1283457024 134512640 135539072 4290326112 18446744073709551615 4160377774 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17157/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4704 [startup+0.70293 s] /proc/loadavg: 0.91 0.99 0.99 2/33 17157 /proc/meminfo: memFree=923892/1048576 swapFree=2094592/2097144 [pid=17157] ppid=17156 vsize=4704 CPUtime=0 /proc/17157/stat : 17157 (python) S 17156 17157 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 24 0 1 0 528808085 4816896 833 1283457024 134512640 135539072 4290326112 18446744073709551615 4160377774 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17157/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4704 [startup+1.50314 s] /proc/loadavg: 0.91 0.99 0.99 2/35 17159 /proc/meminfo: memFree=912988/1048576 swapFree=2094592/2097144 [pid=17157] ppid=17156 vsize=4704 CPUtime=0 /proc/17157/stat : 17157 (python) S 17156 17157 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 24 0 1 0 528808085 4816896 833 1283457024 134512640 135539072 4290326112 18446744073709551615 4160377774 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17157/statm: 1176 833 400 251 0 434 0 [pid=17159] ppid=17157 vsize=12424 CPUtime=1.26 /proc/17159/stat : 17159 (cudf2lp) R 17157 17157 3447 769 3447 4202496 3209 0 18 0 126 0 0 0 25 0 1 0 528808099 12722176 2754 1283457024 134512640 135993029 4293750688 18446744073709551615 134566521 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/17159/statm: 3106 2754 110 362 0 2688 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 17128 [startup+3.10362 s] /proc/loadavg: 0.91 0.99 0.99 2/35 17159 /proc/meminfo: memFree=903936/1048576 swapFree=2094592/2097144 [pid=17157] ppid=17156 vsize=4704 CPUtime=0 /proc/17157/stat : 17157 (python) S 17156 17157 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 24 0 1 0 528808085 4816896 833 1283457024 134512640 135539072 4290326112 18446744073709551615 4160377774 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17157/statm: 1176 833 400 251 0 434 0 [pid=17159] ppid=17157 vsize=25204 CPUtime=2.86 /proc/17159/stat : 17159 (cudf2lp) R 17157 17157 3447 769 3447 4202496 6378 0 18 0 284 2 0 0 25 0 1 0 528808099 25808896 5923 1283457024 134512640 135993029 4293750688 18446744073709551615 134609190 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/17159/statm: 6301 5923 110 362 0 5883 0 Current children cumulated CPU time (s) 2.86 Current children cumulated vsize (KiB) 29908 [startup+6.31434 s] /proc/loadavg: 0.92 0.99 0.99 2/35 17159 /proc/meminfo: memFree=877896/1048576 swapFree=2094592/2097144 [pid=17157] ppid=17156 vsize=4704 CPUtime=0 /proc/17157/stat : 17157 (python) S 17156 17157 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 24 0 1 0 528808085 4816896 833 1283457024 134512640 135539072 4290326112 18446744073709551615 4160377774 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17157/statm: 1176 833 400 251 0 434 0 [pid=17159] ppid=17157 vsize=50132 CPUtime=6.07 /proc/17159/stat : 17159 (cudf2lp) R 17157 17157 3447 769 3447 4202496 12454 0 18 0 602 5 0 0 25 0 1 0 528808099 51335168 11999 1283457024 134512640 135993029 4293750688 18446744073709551615 134570516 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/17159/statm: 12533 11999 110 362 0 12115 0 Current children cumulated CPU time (s) 6.07 Current children cumulated vsize (KiB) 54836 [startup+12.7158 s] /proc/loadavg: 0.93 0.99 0.99 2/35 17159 /proc/meminfo: memFree=777460/1048576 swapFree=2094592/2097144 [pid=17157] ppid=17156 vsize=4704 CPUtime=0 /proc/17157/stat : 17157 (python) S 17156 17157 3447 769 3447 4202496 1127 0 1 0 0 0 0 0 24 0 1 0 528808085 4816896 833 1283457024 134512640 135539072 4290326112 18446744073709551615 4160377774 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17157/statm: 1176 833 400 251 0 434 0 [pid=17159] ppid=17157 vsize=155360 CPUtime=12.44 /proc/17159/stat : 17159 (cudf2lp) R 17157 17157 3447 769 3447 4202496 38688 0 20 0 1128 116 0 0 25 0 1 0 528808099 159088640 38202 1283457024 134512640 135993029 4293750688 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/17159/statm: 38840 38202 135 362 0 38422 0 Current children cumulated CPU time (s) 12.44 Current children cumulated vsize (KiB) 160064 [startup+25.5062 s] /proc/loadavg: 0.94 0.99 0.99 3/37 17162 /proc/meminfo: memFree=405160/1048576 swapFree=2094592/2097144 [pid=17157] ppid=17156 vsize=4704 CPUtime=13.96 /proc/17157/stat : 17157 (python) S 17156 17157 3447 769 3447 4202496 1215 48168 1 20 0 0 1216 180 18 0 1 0 528808085 4816896 835 1283457024 134512640 135539072 4290326112 18446744073709551615 4160377774 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17157/statm: 1176 835 402 251 0 434 0 [pid=17160] ppid=17157 vsize=2392 CPUtime=0 /proc/17160/stat : 17160 (sh) S 17157 17157 3447 769 3447 4194304 442 0 0 0 0 0 0 0 18 0 1 0 528809507 2449408 254 1283457024 134512640 135191968 4286823136 18446744073709551615 4159519134 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17160/statm: 598 254 214 166 0 30 0 [pid=17161] ppid=17160 vsize=427552 CPUtime=9.34 /proc/17161/stat : 17161 (bingo) R 17160 17157 3447 769 3447 4202496 127380 0 21 0 895 39 0 0 25 0 1 0 528809507 437813248 82917 1283457024 134512640 136195415 4293639872 18446744073709551615 134610679 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/17161/statm: 106888 82917 220 411 0 106475 0 [pid=17162] ppid=17160 vsize=172968 CPUtime=1.75 /proc/17162/stat : 17162 (clasp) S 17160 17157 3447 769 3447 4202496 48974 0 16 0 165 10 0 0 18 0 1 0 528809507 177119232 42218 1283457024 134512640 136080129 4292694928 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/17162/statm: 43242 42218 147 383 0 42857 0 Current children cumulated CPU time (s) 25.05 Current children cumulated vsize (KiB) 607616 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+31.108 s] /proc/loadavg: 0.95 0.99 0.99 2/37 17162 /proc/meminfo: memFree=4364/1048576 swapFree=2094592/2097144 [pid=17157] ppid=17156 vsize=4704 CPUtime=13.96 /proc/17157/stat : 17157 (python) S 17156 17157 3447 769 3447 4202496 1215 48168 1 20 0 0 1216 180 18 0 1 0 528808085 4816896 835 1283457024 134512640 135539072 4290326112 18446744073709551615 4160377774 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17157/statm: 1176 835 402 251 0 434 0 [pid=17160] ppid=17157 vsize=2392 CPUtime=0 /proc/17160/stat : 17160 (sh) S 17157 17157 3447 769 3447 4194304 442 0 0 0 0 0 0 0 18 0 1 0 528809507 2449408 254 1283457024 134512640 135191968 4286823136 18446744073709551615 4159519134 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17160/statm: 598 254 214 166 0 30 0 [pid=17161] ppid=17160 vsize=950192 CPUtime=14.19 /proc/17161/stat : 17161 (bingo) R 17160 17157 3447 769 3447 4204544 269192 0 21 0 1330 89 0 0 25 0 1 0 528809507 972996608 180507 1283457024 134512640 136195415 4293639872 18446744073709551615 134597967 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/17161/statm: 237548 180507 220 411 0 237135 0 [pid=17162] ppid=17160 vsize=202020 CPUtime=2.5 /proc/17162/stat : 17162 (clasp) S 17160 17157 3447 769 3447 4202496 57576 0 16 0 236 14 0 0 18 0 1 0 528809507 206868480 49173 1283457024 134512640 136080129 4292694928 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/17162/statm: 50505 49173 147 383 0 50120 0 Current children cumulated CPU time (s) 30.65 Current children cumulated vsize (KiB) 1159308 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.108 s] /proc/loadavg: 0.95 0.99 0.99 2/37 17162 /proc/meminfo: memFree=4364/1048576 swapFree=2094592/2097144 [pid=17157] ppid=17156 vsize=4704 CPUtime=13.96 /proc/17157/stat : 17157 (python) S 17156 17157 3447 769 3447 4202496 1215 48168 1 20 0 0 1216 180 18 0 1 0 528808085 4816896 835 1283457024 134512640 135539072 4290326112 18446744073709551615 4160377774 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17157/statm: 1176 835 402 251 0 434 0 [pid=17160] ppid=17157 vsize=2392 CPUtime=0 /proc/17160/stat : 17160 (sh) S 17157 17157 3447 769 3447 4194304 442 0 0 0 0 0 0 0 18 0 1 0 528809507 2449408 254 1283457024 134512640 135191968 4286823136 18446744073709551615 4159519134 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17160/statm: 598 254 214 166 0 30 0 [pid=17161] ppid=17160 vsize=950192 CPUtime=14.19 /proc/17161/stat : 17161 (bingo) R 17160 17157 3447 769 3447 4204544 269192 0 21 0 1330 89 0 0 25 0 1 0 528809507 972996608 180507 1283457024 134512640 136195415 4293639872 18446744073709551615 134597967 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/17161/statm: 237548 180507 220 411 0 237135 0 [pid=17162] ppid=17160 vsize=202020 CPUtime=2.5 /proc/17162/stat : 17162 (clasp) S 17160 17157 3447 769 3447 4202496 57576 0 16 0 236 14 0 0 18 0 1 0 528809507 206868480 49173 1283457024 134512640 136080129 4292694928 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/17162/statm: 50505 49173 147 383 0 50120 0 Current children cumulated CPU time (s) 30.65 Current children cumulated vsize (KiB) 1159308 Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17157 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=520907 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=964122 # CPU time returned by wait4() is 16.485 # while last known CPU time is 30.65 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 31.1647 CPU time (s): 30.65 CPU user time (s): 27.82 CPU system time (s): 2.83 CPU usage (%): 98.3483 Max. virtual memory (cumulated for all children) (KiB): 1159308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.5209 system time used= 1.96412 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107483 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= 7838 involuntary context switches= 523 runsolver used 0 second user time and 0 second system time The end