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/logs/107.runsolver.cupt cupt -o APT::Architecture=i386 -s -V -y --no-install-recommends remove esound tk8.4 libgtkgl2.0-1 ksnake libwmf0.2-7 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.98 0.65 0.28 2/55 23922 /proc/meminfo: memFree=282904/1022884 swapFree=0/0 [pid=23922] ppid=23921 vsize=3152 CPUtime=0 /proc/23922/stat : 23922 (runsolver) R 23921 17872 17872 34816 17872 4202560 0 0 0 0 0 0 0 0 20 0 1 0 28189104 3227648 32 18446744073709551615 134512640 134586868 4291758624 4291756672 4151952432 0 0 0 24578 0 0 0 17 0 0 0 0 0 0 /proc/23922/statm: 788 32 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.178313 s] /proc/loadavg: 0.98 0.65 0.28 2/55 23922 /proc/meminfo: memFree=282904/1022884 swapFree=0/0 [pid=23922] ppid=23921 vsize=37204 CPUtime=0.19 /proc/23922/stat : 23922 (cupt) R 23921 23922 17872 34816 17872 4202496 2805 7200 0 0 11 2 3 3 20 0 1 0 28189104 38096896 2619 18446744073709551615 4194304 5184042 140733804004064 140733804000008 139936234596032 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/23922/statm: 9301 2619 758 242 0 1863 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 37204 [startup+0.200271 s] /proc/loadavg: 0.98 0.65 0.28 2/55 23922 /proc/meminfo: memFree=282904/1022884 swapFree=0/0 [pid=23922] ppid=23921 vsize=39844 CPUtime=0.21 /proc/23922/stat : 23922 (cupt) R 23921 23922 17872 34816 17872 4202496 3485 7200 0 0 13 2 3 3 20 0 1 0 28189104 40800256 3296 18446744073709551615 4194304 5184042 140733804004064 140733804000056 139936218453744 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/23922/statm: 9961 3296 792 242 0 2523 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 39844 [startup+0.300264 s] /proc/loadavg: 0.98 0.65 0.28 2/55 23922 /proc/meminfo: memFree=282904/1022884 swapFree=0/0 [pid=23922] ppid=23921 vsize=52988 CPUtime=0.31 /proc/23922/stat : 23922 (cupt) R 23921 23922 17872 34816 17872 4202496 6845 7200 0 0 22 3 3 3 20 0 1 0 28189104 54259712 6655 18446744073709551615 4194304 5184042 140733804004064 140733804000888 139936218103739 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/23922/statm: 13247 6655 842 242 0 5809 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 52988 [startup+0.700202 s] /proc/loadavg: 0.98 0.65 0.28 2/55 23922 /proc/meminfo: memFree=282904/1022884 swapFree=0/0 [pid=23922] ppid=23921 vsize=60932 CPUtime=0.71 /proc/23922/stat : 23922 (cupt) R 23921 23922 17872 34816 17872 4202496 9241 7200 0 0 60 5 3 3 20 0 1 0 28189104 62394368 8537 18446744073709551615 4194304 5184042 140733804004064 140733804001368 139936218108470 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/23922/statm: 15233 8537 842 242 0 7795 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 60932 Solver just ended. Dumping a history of the last processes samples [startup+0.800269 s] /proc/loadavg: 0.98 0.65 0.28 2/55 23922 /proc/meminfo: memFree=282904/1022884 swapFree=0/0 [pid=23922] ppid=23921 vsize=60360 CPUtime=0.81 /proc/23922/stat : 23922 (cupt) R 23921 23922 17872 34816 17872 4202496 9540 7200 0 0 69 6 3 3 20 0 1 0 28189104 61808640 8459 18446744073709551615 4194304 5184042 140733804004064 140733803997480 139936234411456 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/23922/statm: 15090 8459 842 242 0 7652 0 Current children cumulated CPU time (s) 0.81 Current children cumulated vsize (KiB) 60360 [startup+0.900211 s] /proc/loadavg: 0.98 0.65 0.28 2/55 23922 /proc/meminfo: memFree=282904/1022884 swapFree=0/0 [pid=23922] ppid=23921 vsize=60360 CPUtime=0.91 /proc/23922/stat : 23922 (cupt) R 23921 23922 17872 34816 17872 4202496 9575 7200 0 0 79 6 3 3 20 0 1 0 28189104 61808640 8494 18446744073709551615 4194304 5184042 140733804004064 140733803998280 139936218108708 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/23922/statm: 15090 8494 842 242 0 7652 0 Current children cumulated CPU time (s) 0.91 Current children cumulated vsize (KiB) 60360 Child status: 1 Real time (s): 0.958282 CPU time (s): 0.984061 CPU user time (s): 0.880055 CPU system time (s): 0.104006 CPU usage (%): 102.69 Max. virtual memory (cumulated for all children) (KiB): 60932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.880055 system time used= 0.104006 maximum resident set size= 35288 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16806 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= 52 involuntary context switches= 30 runsolver used 0 second user time and 0.008 second system time The end