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/7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/debian-dudf//7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/7e7e0b16-38a5-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: 1.03 1.01 1.00 1/33 13955 /proc/meminfo: memFree=914780/1048576 swapFree=2094600/2097144 [pid=13955] ppid=13954 vsize=2884 CPUtime=0 /proc/13955/stat : 13955 (runsolver) D 13954 13955 3447 769 3447 4202560 74 0 0 0 0 0 0 0 25 0 1 0 528276112 2953216 93 1283457024 134512640 134586868 4287529664 18446744073709551615 4158325802 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/13955/statm: 721 93 62 19 0 53 0 [startup+0.131455 s] /proc/loadavg: 1.03 1.01 1.00 1/33 13955 /proc/meminfo: memFree=914780/1048576 swapFree=2094600/2097144 [pid=13955] ppid=13954 vsize=4712 CPUtime=0 /proc/13955/stat : 13955 (python) S 13954 13955 3447 769 3447 4202496 1130 0 1 0 0 0 0 0 25 0 1 0 528276112 4825088 834 1283457024 134512640 135539072 4293069056 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13955/statm: 1178 834 400 251 0 436 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4712 [startup+0.207415 s] /proc/loadavg: 1.03 1.01 1.00 1/33 13955 /proc/meminfo: memFree=914780/1048576 swapFree=2094600/2097144 [pid=13955] ppid=13954 vsize=4712 CPUtime=0 /proc/13955/stat : 13955 (python) S 13954 13955 3447 769 3447 4202496 1130 0 1 0 0 0 0 0 25 0 1 0 528276112 4825088 834 1283457024 134512640 135539072 4293069056 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13955/statm: 1178 834 400 251 0 436 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4712 [startup+0.317264 s] /proc/loadavg: 1.03 1.01 1.00 1/33 13955 /proc/meminfo: memFree=914780/1048576 swapFree=2094600/2097144 [pid=13955] ppid=13954 vsize=4712 CPUtime=0 /proc/13955/stat : 13955 (python) S 13954 13955 3447 769 3447 4202496 1130 0 1 0 0 0 0 0 25 0 1 0 528276112 4825088 834 1283457024 134512640 135539072 4293069056 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13955/statm: 1178 834 400 251 0 436 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4712 [startup+0.707321 s] /proc/loadavg: 1.03 1.01 1.00 1/33 13955 /proc/meminfo: memFree=914780/1048576 swapFree=2094600/2097144 [pid=13955] ppid=13954 vsize=4712 CPUtime=0 /proc/13955/stat : 13955 (python) S 13954 13955 3447 769 3447 4202496 1130 0 1 0 0 0 0 0 25 0 1 0 528276112 4825088 834 1283457024 134512640 135539072 4293069056 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13955/statm: 1178 834 400 251 0 436 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4712 [startup+1.50744 s] /proc/loadavg: 1.03 1.01 1.00 2/35 13957 /proc/meminfo: memFree=903604/1048576 swapFree=2094600/2097144 [pid=13955] ppid=13954 vsize=4712 CPUtime=0 /proc/13955/stat : 13955 (python) S 13954 13955 3447 769 3447 4202496 1130 0 1 0 0 0 0 0 25 0 1 0 528276112 4825088 834 1283457024 134512640 135539072 4293069056 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13955/statm: 1178 834 400 251 0 436 0 [pid=13957] ppid=13955 vsize=12916 CPUtime=1.3 /proc/13957/stat : 13957 (cudf2lp) R 13955 13955 3447 769 3447 4202496 3312 0 18 0 130 0 0 0 25 0 1 0 528276123 13225984 2859 1283457024 134512640 135993029 4289425696 18446744073709551615 134566689 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13957/statm: 3229 2859 110 362 0 2811 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 17628 [startup+3.10774 s] /proc/loadavg: 1.03 1.01 1.00 2/35 13957 /proc/meminfo: memFree=894552/1048576 swapFree=2094600/2097144 [pid=13955] ppid=13954 vsize=4712 CPUtime=0 /proc/13955/stat : 13955 (python) S 13954 13955 3447 769 3447 4202496 1130 0 1 0 0 0 0 0 25 0 1 0 528276112 4825088 834 1283457024 134512640 135539072 4293069056 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13955/statm: 1178 834 400 251 0 436 0 [pid=13957] ppid=13955 vsize=25696 CPUtime=2.9 /proc/13957/stat : 13957 (cudf2lp) R 13955 13955 3447 769 3447 4202496 6497 0 18 0 290 0 0 0 25 0 1 0 528276123 26312704 6044 1283457024 134512640 135993029 4289425696 18446744073709551615 134570492 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13957/statm: 6424 6044 110 362 0 6006 0 Current children cumulated CPU time (s) 2.9 Current children cumulated vsize (KiB) 30408 [startup+6.3082 s] /proc/loadavg: 1.02 1.01 1.00 2/35 13957 /proc/meminfo: memFree=868388/1048576 swapFree=2094600/2097144 [pid=13955] ppid=13954 vsize=4712 CPUtime=0 /proc/13955/stat : 13955 (python) S 13954 13955 3447 769 3447 4202496 1130 0 1 0 0 0 0 0 25 0 1 0 528276112 4825088 834 1283457024 134512640 135539072 4293069056 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13955/statm: 1178 834 400 251 0 436 0 [pid=13957] ppid=13955 vsize=50624 CPUtime=6.1 /proc/13957/stat : 13957 (cudf2lp) R 13955 13955 3447 769 3447 4202496 12610 0 18 0 606 4 0 0 25 0 1 0 528276123 51838976 12157 1283457024 134512640 135993029 4289425696 18446744073709551615 134536164 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13957/statm: 12656 12157 110 362 0 12238 0 Current children cumulated CPU time (s) 6.1 Current children cumulated vsize (KiB) 55336 [startup+12.7092 s] /proc/loadavg: 1.02 1.01 1.00 2/35 13957 /proc/meminfo: memFree=758404/1048576 swapFree=2094600/2097144 [pid=13955] ppid=13954 vsize=4712 CPUtime=0 /proc/13955/stat : 13955 (python) S 13954 13955 3447 769 3447 4202496 1130 0 1 0 0 0 0 0 25 0 1 0 528276112 4825088 834 1283457024 134512640 135539072 4293069056 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13955/statm: 1178 834 400 251 0 436 0 [pid=13957] ppid=13955 vsize=164160 CPUtime=12.49 /proc/13957/stat : 13957 (cudf2lp) R 13955 13955 3447 769 3447 4202496 40869 0 20 0 1128 121 0 0 25 0 1 0 528276123 168099840 40385 1283457024 134512640 135993029 4289425696 18446744073709551615 135023033 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13957/statm: 41040 40385 135 362 0 40622 0 Current children cumulated CPU time (s) 12.49 Current children cumulated vsize (KiB) 168872 [startup+25.5135 s] /proc/loadavg: 1.16 1.04 1.01 2/37 13960 /proc/meminfo: memFree=372960/1048576 swapFree=2094600/2097144 [pid=13955] ppid=13954 vsize=4712 CPUtime=13.53 /proc/13955/stat : 13955 (python) S 13954 13955 3447 769 3447 4202496 1218 47126 1 20 0 0 1183 170 18 0 1 0 528276112 4825088 836 1283457024 134512640 135539072 4293069056 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13955/statm: 1178 836 402 251 0 436 0 [pid=13958] ppid=13955 vsize=2388 CPUtime=0 /proc/13958/stat : 13958 (sh) S 13955 13955 3447 769 3447 4194304 441 0 0 0 0 0 0 0 18 0 1 0 528277488 2445312 254 1283457024 134512640 135191968 4287654832 18446744073709551615 4158998942 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13958/statm: 597 254 214 166 0 29 0 [pid=13959] ppid=13958 vsize=463136 CPUtime=9.65 /proc/13959/stat : 13959 (bingo) R 13958 13955 3447 769 3447 4202496 136252 0 21 0 908 57 0 0 25 0 1 0 528277488 474251264 88570 1283457024 134512640 136195415 4289053936 18446744073709551615 134652996 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13959/statm: 115784 88570 220 411 0 115371 0 [pid=13960] ppid=13958 vsize=183824 CPUtime=1.87 /proc/13960/stat : 13960 (clasp) S 13958 13955 3447 769 3447 4202496 51957 0 16 0 166 21 0 0 18 0 1 0 528277488 188235776 44998 1283457024 134512640 136080129 4292772176 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/13960/statm: 45956 44998 147 383 0 45571 0 Current children cumulated CPU time (s) 25.05 Current children cumulated vsize (KiB) 654060 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+30.1161 s] /proc/loadavg: 1.15 1.04 1.01 2/37 13960 /proc/meminfo: memFree=4444/1048576 swapFree=2094600/2097144 [pid=13955] ppid=13954 vsize=4712 CPUtime=13.53 /proc/13955/stat : 13955 (python) S 13954 13955 3447 769 3447 4202496 1218 47126 1 20 0 0 1183 170 18 0 1 0 528276112 4825088 836 1283457024 134512640 135539072 4293069056 18446744073709551615 4159677358 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13955/statm: 1178 836 402 251 0 436 0 [pid=13958] ppid=13955 vsize=2388 CPUtime=0 /proc/13958/stat : 13958 (sh) S 13955 13955 3447 769 3447 4194304 441 0 0 0 0 0 0 0 18 0 1 0 528277488 2445312 254 1283457024 134512640 135191968 4287654832 18446744073709551615 4158998942 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13958/statm: 597 254 214 166 0 29 0 [pid=13959] ppid=13958 vsize=958596 CPUtime=13.76 /proc/13959/stat : 13959 (bingo) R 13958 13955 3447 769 3447 4202496 269760 0 21 0 1274 102 0 0 25 0 1 0 528277488 981602304 179981 1283457024 134512640 136195415 4289053936 18446744073709551615 135604619 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13959/statm: 239649 179981 220 411 0 239236 0 [pid=13960] ppid=13958 vsize=195916 CPUtime=2.34 /proc/13960/stat : 13960 (clasp) S 13958 13955 3447 769 3447 4202496 55403 0 16 0 212 22 0 0 18 0 1 0 528277488 200617984 48140 1283457024 134512640 136080129 4292772176 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/13960/statm: 48979 48140 147 383 0 48594 0 Current children cumulated CPU time (s) 29.63 Current children cumulated vsize (KiB) 1161612 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 13955 and gives # childrusage.ru_utime.tv_sec=13 # childrusage.ru_utime.tv_usec=960872 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=960122 # CPU time returned by wait4() is 15.921 # while last known CPU time is 29.63 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 30.1718 CPU time (s): 29.63 CPU user time (s): 26.69 CPU system time (s): 2.94 CPU usage (%): 98.2044 Max. virtual memory (cumulated for all children) (KiB): 1161612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.9609 system time used= 1.96012 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104270 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= 7587 involuntary context switches= 530 runsolver used 0 second user time and 0 second system time The end