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: runsolver -W 300 -M 1124 -w /home/cbse/results/sarge-etch-lenny-squeeze/logs/110.runsolver.aptget apt-get -s -y --no-install-recommends remove libvorbis-ocaml sed libgnomeprintui2.2-0 quanta-data libsvn0 Enforcing wall clock limit (soft limit, will send signal-name then SIGKILL): 300 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 [startup+0 s] /proc/loadavg: 0.97 0.82 0.43 2/53 5562 /proc/meminfo: memFree=596116/1022884 swapFree=0/0 [pid=5562] ppid=5561 vsize=3152 CPUtime=0 /proc/5562/stat : 5562 (runsolver) R 5561 1893 1893 34817 1893 4202560 0 0 0 0 0 0 0 0 20 0 1 0 171818 3227648 32 18446744073709551615 134512640 134586868 4291930864 4291928912 4151202864 0 0 0 24578 0 0 0 17 0 0 0 0 0 0 /proc/5562/statm: 788 32 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.127575 s] /proc/loadavg: 0.97 0.82 0.43 2/53 5562 /proc/meminfo: memFree=596116/1022884 swapFree=0/0 [pid=5562] ppid=5561 vsize=60660 CPUtime=0.11 /proc/5562/stat : 5562 (apt-get) R 5561 5562 1893 34817 1893 4202496 9933 1662 0 0 10 1 0 0 20 0 1 0 171818 62115840 9774 18446744073709551615 4194304 4387536 140736232584816 140736232580056 4322368 0 0 4096 134217728 0 0 0 17 0 0 0 0 0 0 /proc/5562/statm: 15165 9774 8711 48 0 1080 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 60660 [startup+0.200231 s] /proc/loadavg: 0.97 0.82 0.43 2/53 5562 /proc/meminfo: memFree=596116/1022884 swapFree=0/0 [pid=5562] ppid=5561 vsize=60660 CPUtime=0.19 /proc/5562/stat : 5562 (apt-get) R 5561 5562 1893 34817 1893 4202496 9952 1662 0 0 18 1 0 0 20 0 1 0 171818 62115840 9793 18446744073709551615 4194304 4387536 140736232584816 140736232580056 140210634675787 0 0 4096 134217728 0 0 0 17 0 0 0 0 0 0 /proc/5562/statm: 15165 9793 8730 48 0 1080 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 60660 [startup+0.300236 s] /proc/loadavg: 0.97 0.82 0.43 2/53 5562 /proc/meminfo: memFree=596116/1022884 swapFree=0/0 [pid=5562] ppid=5561 vsize=61268 CPUtime=0.29 /proc/5562/stat : 5562 (apt-get) R 5561 5562 1893 34817 1893 4202496 10195 1662 0 0 28 1 0 0 20 0 1 0 171818 62738432 9937 18446744073709551615 4194304 4387536 140736232584816 140736232580824 140210634794850 0 0 4096 134217728 0 0 0 17 0 0 0 0 0 0 /proc/5562/statm: 15317 9937 8765 48 0 1232 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 61268 [startup+0.70023 s] /proc/loadavg: 0.97 0.82 0.43 2/53 5562 /proc/meminfo: memFree=596116/1022884 swapFree=0/0 [pid=5562] ppid=5561 vsize=62080 CPUtime=0.69 /proc/5562/stat : 5562 (apt-get) R 5561 5562 1893 34817 1893 4202496 10390 1662 0 0 67 2 0 0 20 0 1 0 171818 63569920 10130 18446744073709551615 4194304 4387536 140736232584816 140736232573352 140210634678649 0 0 4096 134217728 0 0 0 17 0 0 0 0 0 0 /proc/5562/statm: 15520 10130 8770 48 0 1435 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 62080 [startup+1.50021 s] /proc/loadavg: 0.97 0.82 0.43 2/54 5566 /proc/meminfo: memFree=588056/1022884 swapFree=0/0 [pid=5562] ppid=5561 vsize=65544 CPUtime=1.48 /proc/5562/stat : 5562 (apt-get) R 5561 5562 1893 34817 1893 4202496 11474 1662 0 0 146 2 0 0 20 0 1 0 171818 67117056 10809 18446744073709551615 4194304 4387536 140736232584816 140736232577336 140210634785077 0 0 4096 134217728 0 0 0 17 0 0 0 0 0 0 /proc/5562/statm: 16386 10809 8787 48 0 2301 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 65544 Solver just ended. Dumping a history of the last processes samples [startup+1.60024 s] /proc/loadavg: 0.97 0.82 0.43 2/54 5566 /proc/meminfo: memFree=588056/1022884 swapFree=0/0 [pid=5562] ppid=5561 vsize=65544 CPUtime=1.58 /proc/5562/stat : 5562 (apt-get) R 5561 5562 1893 34817 1893 4202496 11474 1662 0 0 156 2 0 0 20 0 1 0 171818 67117056 10809 18446744073709551615 4194304 4387536 140736232584816 140736232577336 140210634659328 0 0 4096 134217728 0 0 0 17 0 0 0 0 0 0 /proc/5562/statm: 16386 10809 8787 48 0 2301 0 Current children cumulated CPU time (s) 1.58 Current children cumulated vsize (KiB) 65544 [startup+1.8002 s] /proc/loadavg: 0.97 0.82 0.43 2/54 5566 /proc/meminfo: memFree=588056/1022884 swapFree=0/0 [pid=5562] ppid=5561 vsize=66020 CPUtime=1.78 /proc/5562/stat : 5562 (apt-get) R 5561 5562 1893 34817 1893 4202496 11500 1662 0 0 176 2 0 0 20 0 1 0 171818 67604480 10835 18446744073709551615 4194304 4387536 140736232584816 140736232576728 140210634688834 0 0 4096 134217728 0 0 0 17 0 0 0 0 0 0 /proc/5562/statm: 16505 10835 8787 48 0 2420 0 Current children cumulated CPU time (s) 1.78 Current children cumulated vsize (KiB) 66020 Child status: 0 Real time (s): 1.81129 CPU time (s): 1.80811 CPU user time (s): 1.76411 CPU system time (s): 0.044002 CPU usage (%): 99.8245 Max. virtual memory (cumulated for all children) (KiB): 66020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.76411 system time used= 0.044002 maximum resident set size= 43340 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13184 page faults= 0 swaps= 0 block input operations= 0 block output operations= 48 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10 involuntary context switches= 29 runsolver used 0.004 second user time and 0.008 second system time The end