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/logs/101.runsolver.aptitude aptitude -s -y --without-recommends remove libgal2.2-common libmlgtk-ocaml-dev nano libksba8 libcomerr2 

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.33 0.08 0.02 2/55 18746
/proc/meminfo: memFree=286444/1022884 swapFree=0/0
[pid=18746] ppid=18745 vsize=3152 CPUtime=0
/proc/18746/stat : 18746 (runsolver) R 18745 17863 17863 34816 17863 4202560 0 0 0 0 0 0 0 0 20 0 1 0 28162701 3227648 32 18446744073709551615 134512640 134586868 4288552192 4288550240 4151600176 0 0 0 24578 0 0 0 17 0 0 0 0 0 0
/proc/18746/statm: 788 32 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.189273 s]
/proc/loadavg: 0.33 0.08 0.02 2/55 18746
/proc/meminfo: memFree=286444/1022884 swapFree=0/0
[pid=18746] ppid=18745 vsize=88324 CPUtime=0.17
/proc/18746/stat : 18746 (aptitude) R 18745 18746 17863 34816 17863 4202496 6192 1709 0 0 16 1 0 0 20 0 2 0 28162701 90443776 5612 18446744073709551615 139751899312128 139751903619480 140734763452688 140734763443960 139751856807704 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18746/statm: 22081 5612 3186 1052 0 4424 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 88324

[startup+0.200281 s]
/proc/loadavg: 0.33 0.08 0.02 2/55 18746
/proc/meminfo: memFree=286444/1022884 swapFree=0/0
[pid=18746] ppid=18745 vsize=88324 CPUtime=0.18
/proc/18746/stat : 18746 (aptitude) R 18745 18746 17863 34816 17863 4202496 6192 1709 0 0 17 1 0 0 20 0 2 0 28162701 90443776 5612 18446744073709551615 139751899312128 139751903619480 140734763452688 140734763443960 139751900141153 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18746/statm: 22081 5612 3186 1052 0 4424 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 88324

[startup+0.300264 s]
/proc/loadavg: 0.33 0.08 0.02 2/55 18746
/proc/meminfo: memFree=286444/1022884 swapFree=0/0
[pid=18746] ppid=18745 vsize=88324 CPUtime=0.28
/proc/18746/stat : 18746 (aptitude) R 18745 18746 17863 34816 17863 4202496 6246 1709 0 0 27 1 0 0 20 0 2 0 28162701 90443776 5665 18446744073709551615 139751899312128 139751903619480 140734763452688 140734763443040 139751868053096 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18746/statm: 22081 5665 3222 1052 0 4424 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 88324

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

[startup+0.40027 s]
/proc/loadavg: 0.33 0.08 0.02 2/55 18746
/proc/meminfo: memFree=286444/1022884 swapFree=0/0
[pid=18746] ppid=18745 vsize=89008 CPUtime=0.38
/proc/18746/stat : 18746 (aptitude) R 18745 18746 17863 34816 17863 4202496 6330 1709 0 0 37 1 0 0 20 0 2 0 28162701 91144192 5747 18446744073709551615 139751899312128 139751903619480 140734763452688 140734763444712 139751901542851 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18746/statm: 22252 5747 3260 1052 0 4595 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 89008

[startup+0.600214 s]
/proc/loadavg: 0.33 0.08 0.02 2/55 18746
/proc/meminfo: memFree=286444/1022884 swapFree=0/0
[pid=18746] ppid=18745 vsize=88132 CPUtime=0.58
/proc/18746/stat : 18746 (aptitude) R 18745 18746 17863 34816 17863 4202496 6551 2208 0 0 56 2 0 0 20 0 1 0 28162701 90247168 4640 18446744073709551615 139751899312128 139751903619480 140734763452688 140734763449800 139751857193239 0 134217728 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18746/statm: 22033 4640 2374 1052 0 4369 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 88132

Child status: 0
Real time (s): 0.604448
CPU time (s): 0.608037
CPU user time (s): 0.572035
CPU system time (s): 0.036002
CPU usage (%): 100.594
Max. virtual memory (cumulated for all children) (KiB): 89008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.572035
system time used= 0.036002
maximum resident set size= 23560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8854
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57
involuntary context switches= 62

runsolver used 0 second user time and 0.008 second system time

The end