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/logs/124.runsolver.aptitude aptitude -s -y --without-recommends remove tk8.4-dev khangman tidy libart-2.0-2 python 

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.02 1.00 2/55 22376
/proc/meminfo: memFree=904596/1022884 swapFree=0/0
[pid=22376] ppid=22375 vsize=54860 CPUtime=0
/proc/22376/stat : 22376 (aptitude) R 22375 22376 17863 34816 17863 4202496 584 0 0 0 0 0 0 0 20 0 1 0 28691611 56176640 484 18446744073709551615 140681317404672 140681321712024 140735248823488 140735248822696 140681315206009 0 0 0 0 0 0 0 17 0 0 0 0 0 0
/proc/22376/statm: 13715 484 397 1052 0 73 0

[startup+0.159265 s]
/proc/loadavg: 1.00 1.02 1.00 2/55 22376
/proc/meminfo: memFree=904596/1022884 swapFree=0/0
[pid=22376] ppid=22375 vsize=89152 CPUtime=0.14
/proc/22376/stat : 22376 (aptitude) R 22375 22376 17863 34816 17863 4202496 7775 1707 0 0 13 1 0 0 20 0 1 0 28691611 91291648 7573 18446744073709551615 140681317404672 140681321712024 140735248823488 140735248814752 140681312245069 0 134217728 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22376/statm: 22288 7573 6663 1052 0 858 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 89152

[startup+0.200288 s]
/proc/loadavg: 1.00 1.02 1.00 2/55 22376
/proc/meminfo: memFree=904596/1022884 swapFree=0/0
[pid=22376] ppid=22375 vsize=89152 CPUtime=0.19
/proc/22376/stat : 22376 (aptitude) R 22375 22376 17863 34816 17863 4202496 7871 1707 0 0 17 2 0 0 20 0 1 0 28691611 91291648 7661 18446744073709551615 140681317404672 140681321712024 140735248823488 140735248813264 140681312258018 0 134217728 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22376/statm: 22288 7661 6726 1052 0 858 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 89152

[startup+0.300269 s]
/proc/loadavg: 1.00 1.02 1.00 2/55 22376
/proc/meminfo: memFree=904596/1022884 swapFree=0/0
[pid=22376] ppid=22375 vsize=101864 CPUtime=0.29
/proc/22376/stat : 22376 (aptitude) R 22375 22376 17863 34816 17863 4202496 11707 1707 0 0 25 4 0 0 20 0 1 0 28691611 104308736 10752 18446744073709551615 140681317404672 140681321712024 140735248823488 140735248812920 140681312305300 0 134217728 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22376/statm: 25466 10752 6743 1052 0 4036 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 101864

[startup+0.700206 s]
/proc/loadavg: 1.00 1.02 1.00 2/55 22376
/proc/meminfo: memFree=904596/1022884 swapFree=0/0
[pid=22376] ppid=22375 vsize=113888 CPUtime=0.68
/proc/22376/stat : 22376 (aptitude) R 22375 22376 17863 34816 17863 4202496 13635 1707 0 0 63 5 0 0 20 0 2 0 28691611 116621312 12006 18446744073709551615 140681317404672 140681321712024 140735248823488 140735248814760 140681319656230 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22376/statm: 28472 12006 6959 1052 0 7042 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 113888

[startup+1.50024 s]
/proc/loadavg: 1.00 1.02 1.00 2/57 22381
/proc/meminfo: memFree=884128/1022884 swapFree=0/0
[pid=22376] ppid=22375 vsize=115276 CPUtime=1.46
/proc/22376/stat : 22376 (aptitude) R 22375 22376 17863 34816 17863 4202496 13844 1707 0 0 140 6 0 0 20 0 2 0 28691611 118042624 12213 18446744073709551615 140681317404672 140681321712024 140735248823488 140735248810192 140681319606043 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 2 0 0
/proc/22376/statm: 28819 12213 7033 1052 0 7389 0
[pid=22376/tid=22381] ppid=22375 vsize=115276 CPUtime=0
/proc/22376/task/22381/stat : 22381 (aptitude) S 22375 22376 17863 34816 17863 4202560 4 1707 0 0 0 0 0 0 20 0 2 0 28691656 118042624 12213 18446744073709551615 140681317404672 140681321712024 140735248823488 140681220810752 140681286148820 0 134217728 4096 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 115276

[startup+3.10024 s]
/proc/loadavg: 1.00 1.02 1.00 2/57 22381
/proc/meminfo: memFree=865528/1022884 swapFree=0/0
[pid=22376] ppid=22375 vsize=158796 CPUtime=3.04
/proc/22376/stat : 22376 (aptitude) S 22375 22376 17863 34816 17863 4202496 24997 1707 0 0 294 10 0 0 20 0 2 0 28691611 162607104 23365 18446744073709551615 140681317404672 140681321712024 140735248823488 140735248815248 140681286149707 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 2 0 0
/proc/22376/statm: 39699 23365 7091 1052 0 18269 0
[pid=22376/tid=22381] ppid=22375 vsize=158796 CPUtime=1.31
/proc/22376/task/22381/stat : 22381 (aptitude) R 22375 22376 17863 34816 17863 4202560 11152 1707 0 0 126 5 0 0 20 0 2 0 28691656 162607104 23365 18446744073709551615 140681317404672 140681321712024 140735248823488 140681220804184 140681274915193 0 134217728 4096 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 158796

Solver just ended. Dumping a history of the last processes samples

[startup+3.20031 s]
/proc/loadavg: 1.00 1.02 1.00 2/57 22381
/proc/meminfo: memFree=865528/1022884 swapFree=0/0
[pid=22376] ppid=22375 vsize=159852 CPUtime=3.14
/proc/22376/stat : 22376 (aptitude) S 22375 22376 17863 34816 17863 4202496 25263 1707 0 0 304 10 0 0 20 0 2 0 28691611 163688448 23631 18446744073709551615 140681317404672 140681321712024 140735248823488 140735248815248 140681286149707 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 2 0 0
/proc/22376/statm: 39963 23631 7091 1052 0 18533 0
[pid=22376/tid=22381] ppid=22375 vsize=159852 CPUtime=1.41
/proc/22376/task/22381/stat : 22381 (aptitude) R 22375 22376 17863 34816 17863 4202560 11418 1707 0 0 136 5 0 0 20 0 2 0 28691656 163688448 23631 18446744073709551615 140681317404672 140681321712024 140735248823488 140681220806248 140681274915143 0 134217728 4096 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 159852

[startup+3.60024 s]
/proc/loadavg: 1.00 1.02 1.00 2/57 22381
/proc/meminfo: memFree=836760/1022884 swapFree=0/0
[pid=22376] ppid=22375 vsize=163812 CPUtime=3.54
/proc/22376/stat : 22376 (aptitude) S 22375 22376 17863 34816 17863 4202496 26266 1707 0 0 343 11 0 0 20 0 2 0 28691611 167743488 24634 18446744073709551615 140681317404672 140681321712024 140735248823488 140735248815248 140681286149707 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 2 0 0
/proc/22376/statm: 40953 24634 7091 1052 0 19523 0
[pid=22376/tid=22381] ppid=22375 vsize=163812 CPUtime=1.8
/proc/22376/task/22381/stat : 22381 (aptitude) R 22375 22376 17863 34816 17863 4202560 12421 1707 0 0 175 5 0 0 20 0 2 0 28691656 167743488 24634 18446744073709551615 140681317404672 140681321712024 140735248823488 140681220806248 140681319989472 0 134217728 4096 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 163812

[startup+4.00024 s]
/proc/loadavg: 1.00 1.02 1.00 2/57 22381
/proc/meminfo: memFree=836760/1022884 swapFree=0/0
[pid=22376] ppid=22375 vsize=166092 CPUtime=3.93
/proc/22376/stat : 22376 (aptitude) R 22375 22376 17863 34816 17863 4202496 26886 1707 0 0 382 11 0 0 20 0 2 0 28691611 170078208 25252 18446744073709551615 140681317404672 140681321712024 140735248823488 140735248811352 140681319611047 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 2 0 0
/proc/22376/statm: 41523 25252 7140 1052 0 20086 0
[pid=22376/tid=22381] ppid=22375 vsize=166092 CPUtime=1.93
/proc/22376/task/22381/stat : 22381 (aptitude) S 22375 22376 17863 34816 17863 4202560 12862 1707 0 0 188 5 0 0 20 0 2 0 28691656 170078208 25252 18446744073709551615 140681317404672 140681321712024 140735248823488 140681220810752 140681286148820 0 134217728 4096 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 166092

Child status: 0
Real time (s): 4.05368
CPU time (s): 4.01225
CPU user time (s): 3.86824
CPU system time (s): 0.144009
CPU usage (%): 98.9781
Max. virtual memory (cumulated for all children) (KiB): 166092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.86824
system time used= 0.144009
maximum resident set size= 101052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28670
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62
involuntary context switches= 117

runsolver used 0.012 second user time and 0.012 second system time

The end