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/apt-pbo-paranoid-1.0.5/eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/debian-dudf//eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/apt-pbo-paranoid-1.0.5/eeee44ce-5407-11df-b11f-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.97 0.98 4/34 17561 /proc/meminfo: memFree=874560/1048576 swapFree=2094592/2097144 [pid=17560] ppid=17559 vsize=2384 CPUtime=0 /proc/17560/stat : 17560 (sh) S 17559 17560 3447 769 3447 4194304 358 0 0 0 0 0 0 0 25 0 1 0 528845547 2441216 264 1283457024 134512640 135191968 4291129120 18446744073709551615 4159078046 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/17560/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17560 vsize=164 CPUtime=0 /proc/17561/stat : 17561 (dirname) R 17560 17560 3447 769 3447 4194304 216 0 0 0 0 0 0 0 25 0 1 0 528845547 167936 20 1283457024 134512640 134534096 4293835328 18446744073709551615 4160096398 0 0 0 0 0 0 0 17 0 0 0 0 /proc/17561/statm: 41 20 14 6 0 6 0 [startup+0.134513 s] /proc/loadavg: 1.00 0.97 0.98 4/34 17561 /proc/meminfo: memFree=874560/1048576 swapFree=2094592/2097144 [pid=17560] ppid=17559 vsize=2384 CPUtime=0 /proc/17560/stat : 17560 (sh) S 17559 17560 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528845547 2441216 265 1283457024 134512640 135191968 4291129120 18446744073709551615 4158917022 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17560/statm: 596 265 227 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.204557 s] /proc/loadavg: 1.00 0.97 0.98 4/34 17561 /proc/meminfo: memFree=874560/1048576 swapFree=2094592/2097144 [pid=17560] ppid=17559 vsize=2384 CPUtime=0 /proc/17560/stat : 17560 (sh) S 17559 17560 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528845547 2441216 265 1283457024 134512640 135191968 4291129120 18446744073709551615 4158917022 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17560/statm: 596 265 227 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.304553 s] /proc/loadavg: 1.00 0.97 0.98 4/34 17561 /proc/meminfo: memFree=874560/1048576 swapFree=2094592/2097144 [pid=17560] ppid=17559 vsize=2384 CPUtime=0 /proc/17560/stat : 17560 (sh) S 17559 17560 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528845547 2441216 265 1283457024 134512640 135191968 4291129120 18446744073709551615 4158917022 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17560/statm: 596 265 227 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.704638 s] /proc/loadavg: 1.00 0.97 0.98 4/34 17561 /proc/meminfo: memFree=874560/1048576 swapFree=2094592/2097144 [pid=17560] ppid=17559 vsize=2384 CPUtime=0 /proc/17560/stat : 17560 (sh) S 17559 17560 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528845547 2441216 265 1283457024 134512640 135191968 4291129120 18446744073709551615 4158917022 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17560/statm: 596 265 227 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+1.50474 s] /proc/loadavg: 1.08 0.99 0.99 2/35 17565 /proc/meminfo: memFree=860400/1048576 swapFree=2094592/2097144 [pid=17560] ppid=17559 vsize=2384 CPUtime=0 /proc/17560/stat : 17560 (sh) S 17559 17560 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528845547 2441216 265 1283457024 134512640 135191968 4291129120 18446744073709551615 4158917022 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17560/statm: 596 265 227 166 0 28 0 [pid=17563] ppid=17560 vsize=16844 CPUtime=1.47 /proc/17563/stat : 17563 (apt-pbo) R 17560 17560 3447 769 3447 4202496 4048 722 0 0 143 4 0 0 25 0 1 0 528845547 17248256 3585 1283457024 134512640 135758360 4291788560 18446744073709551615 134873789 0 0 128 0 0 0 0 17 0 0 0 0 /proc/17563/statm: 4211 3585 630 305 0 2984 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 19228 [startup+3.105 s] /proc/loadavg: 1.08 0.99 0.99 2/35 17565 /proc/meminfo: memFree=847544/1048576 swapFree=2094592/2097144 [pid=17560] ppid=17559 vsize=2384 CPUtime=0 /proc/17560/stat : 17560 (sh) S 17559 17560 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528845547 2441216 265 1283457024 134512640 135191968 4291129120 18446744073709551615 4158917022 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17560/statm: 596 265 227 166 0 28 0 [pid=17563] ppid=17560 vsize=27092 CPUtime=3.06 /proc/17563/stat : 17563 (apt-pbo) R 17560 17560 3447 769 3447 4202496 6608 722 0 0 298 8 0 0 25 0 1 0 528845547 27742208 6137 1283457024 134512640 135758360 4291788560 18446744073709551615 135046004 0 0 128 0 0 0 0 17 0 0 0 0 /proc/17563/statm: 6773 6137 630 305 0 5546 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 29476 [startup+6.30518 s] /proc/loadavg: 1.07 0.99 0.99 2/36 17579 /proc/meminfo: memFree=803888/1048576 swapFree=2094592/2097144 [pid=17560] ppid=17559 vsize=2384 CPUtime=0 /proc/17560/stat : 17560 (sh) S 17559 17560 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528845547 2441216 265 1283457024 134512640 135191968 4291129120 18446744073709551615 4158917022 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17560/statm: 596 265 227 166 0 28 0 [pid=17563] ppid=17560 vsize=45084 CPUtime=5.94 /proc/17563/stat : 17563 (apt-pbo) R 17560 17560 3447 769 3447 4202496 11708 12774 0 168 448 11 117 18 19 0 1 0 528845547 46166016 10550 1283457024 134512640 135758360 4291788560 18446744073709551615 135518081 0 0 128 0 0 0 0 17 0 0 0 0 /proc/17563/statm: 11271 10550 3510 305 0 7069 0 [pid=17579] ppid=17563 vsize=0 CPUtime=0.17 /proc/17579/stat : 17579 (wbo) Z 17563 17560 3447 769 3447 4202508 817 0 13 0 17 0 0 0 19 0 1 0 528846056 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/17579/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.11 Current children cumulated vsize (KiB) 47468 Solver just ended. Dumping a history of the last processes samples [startup+6.4052 s] /proc/loadavg: 1.07 0.99 0.99 2/36 17579 /proc/meminfo: memFree=803888/1048576 swapFree=2094592/2097144 [pid=17560] ppid=17559 vsize=2384 CPUtime=0 /proc/17560/stat : 17560 (sh) S 17559 17560 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528845547 2441216 265 1283457024 134512640 135191968 4291129120 18446744073709551615 4158917022 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17560/statm: 596 265 227 166 0 28 0 [pid=17563] ppid=17560 vsize=45084 CPUtime=6.04 /proc/17563/stat : 17563 (apt-pbo) R 17560 17560 3447 769 3447 4202496 11708 12774 0 168 458 11 117 18 19 0 1 0 528845547 46166016 10550 1283457024 134512640 135758360 4291788560 18446744073709551615 135136853 0 0 128 0 0 0 0 17 0 0 0 0 /proc/17563/statm: 11271 10550 3510 305 0 7069 0 [pid=17579] ppid=17563 vsize=0 CPUtime=0.17 /proc/17579/stat : 17579 (wbo) Z 17563 17560 3447 769 3447 4202508 817 0 13 0 17 0 0 0 19 0 1 0 528846056 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/17579/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 47468 [startup+9.60591 s] /proc/loadavg: 1.07 0.99 0.99 2/36 17584 /proc/meminfo: memFree=801284/1048576 swapFree=2094592/2097144 [pid=17560] ppid=17559 vsize=2384 CPUtime=0 /proc/17560/stat : 17560 (sh) S 17559 17560 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528845547 2441216 265 1283457024 134512640 135191968 4291129120 18446744073709551615 4158917022 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17560/statm: 596 265 227 166 0 28 0 [pid=17563] ppid=17560 vsize=45484 CPUtime=7.94 /proc/17563/stat : 17563 (apt-pbo) S 17560 17560 3447 769 3447 4202496 12775 18525 0 181 547 12 209 26 18 0 1 0 528845547 46575616 10650 1283457024 134512640 135758360 4291788560 18446744073709551615 4159505742 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17563/statm: 11371 10650 3511 305 0 7169 0 [pid=17584] ppid=17563 vsize=0 CPUtime=0.96 /proc/17584/stat : 17584 (wbo) Z 17563 17560 3447 769 3447 4202508 1507 0 0 0 94 2 0 0 21 0 1 0 528846315 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/17584/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 8.9 Current children cumulated vsize (KiB) 47868 [startup+10.4061 s] /proc/loadavg: 1.07 0.99 0.99 2/38 17588 /proc/meminfo: memFree=800012/1048576 swapFree=2094592/2097144 [pid=17560] ppid=17559 vsize=2384 CPUtime=0 /proc/17560/stat : 17560 (sh) S 17559 17560 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528845547 2441216 265 1283457024 134512640 135191968 4291129120 18446744073709551615 4158917022 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17560/statm: 596 265 227 166 0 28 0 [pid=17563] ppid=17560 vsize=45488 CPUtime=9.75 /proc/17563/stat : 17563 (apt-pbo) S 17560 17560 3447 769 3447 4202496 13551 24974 0 181 547 14 380 34 18 0 1 0 528845547 46579712 10651 1283457024 134512640 135758360 4291788560 18446744073709551615 4159505742 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17563/statm: 11372 10651 3511 305 0 7170 0 Current children cumulated CPU time (s) 9.75 Current children cumulated vsize (KiB) 47872 [startup+10.8062 s] /proc/loadavg: 1.07 0.99 0.99 2/38 17588 /proc/meminfo: memFree=800012/1048576 swapFree=2094592/2097144 [pid=17560] ppid=17559 vsize=2384 CPUtime=0 /proc/17560/stat : 17560 (sh) S 17559 17560 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528845547 2441216 265 1283457024 134512640 135191968 4291129120 18446744073709551615 4158917022 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17560/statm: 596 265 227 166 0 28 0 [pid=17563] ppid=17560 vsize=45488 CPUtime=9.75 /proc/17563/stat : 17563 (apt-pbo) S 17560 17560 3447 769 3447 4202496 13551 24974 0 181 547 14 380 34 18 0 1 0 528845547 46579712 10651 1283457024 134512640 135758360 4291788560 18446744073709551615 4159505742 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17563/statm: 11372 10651 3511 305 0 7170 0 Current children cumulated CPU time (s) 9.75 Current children cumulated vsize (KiB) 47872 [startup+11.2062 s] /proc/loadavg: 1.07 0.99 0.99 2/36 17589 /proc/meminfo: memFree=800168/1048576 swapFree=2094592/2097144 [pid=17560] ppid=17559 vsize=2384 CPUtime=0 /proc/17560/stat : 17560 (sh) S 17559 17560 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528845547 2441216 265 1283457024 134512640 135191968 4291129120 18446744073709551615 4158917022 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17560/statm: 596 265 227 166 0 28 0 [pid=17563] ppid=17560 vsize=45624 CPUtime=9.95 /proc/17563/stat : 17563 (apt-pbo) R 17560 17560 3447 769 3447 4202496 14624 24974 0 181 567 14 380 34 18 0 1 0 528845547 46718976 10667 1283457024 134512640 135758360 4291788560 18446744073709551615 134962245 0 0 128 0 0 0 0 17 0 0 0 0 /proc/17563/statm: 11406 10667 3511 305 0 7204 0 [pid=17589] ppid=17563 vsize=0 CPUtime=1.04 /proc/17589/stat : 17589 (wbo) Z 17563 17560 3447 769 3447 4202508 1571 0 0 0 104 0 0 0 25 0 1 0 528846542 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/17589/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 10.99 Current children cumulated vsize (KiB) 48008 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17560 and gives # childrusage.ru_utime.tv_sec=9 # childrusage.ru_utime.tv_usec=556597 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=504031 # CPU time returned by wait4() is 10.0606 # while last known CPU time is 10.99 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 11.2814 CPU time (s): 10.99 CPU user time (s): 10.51 CPU system time (s): 0.48 CPU usage (%): 97.4166 Max. virtual memory (cumulated for all children) (KiB): 67908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.5566 system time used= 0.504031 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42935 page faults= 181 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3200 involuntary context switches= 2715 runsolver used 0 second user time and 0 second system time The end