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/125.runsolver.cupt cupt -o APT::Architecture=i386 -s -V -y --no-install-recommends remove libtunepimp-bin kdegames-card-data gnupg2 librsvg2-dev python2.3 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.99 0.79 0.39 2/55 24318 /proc/meminfo: memFree=282484/1022884 swapFree=0/0 [pid=24318] ppid=24317 vsize=3152 CPUtime=0 /proc/24318/stat : 24318 (runsolver) R 24317 17872 17872 34816 17872 4202560 0 0 0 0 0 0 0 0 20 0 1 0 28205822 3227648 32 18446744073709551615 134512640 134586868 4287368304 4287366352 4151526448 0 0 0 24578 0 0 0 17 0 0 0 0 0 0 /proc/24318/statm: 788 32 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.188712 s] /proc/loadavg: 0.99 0.79 0.39 2/55 24318 /proc/meminfo: memFree=282484/1022884 swapFree=0/0 [pid=24318] ppid=24317 vsize=38524 CPUtime=0.19 /proc/24318/stat : 24318 (cupt) R 24317 24318 17872 34816 17872 4202496 3137 7210 0 0 11 2 3 3 20 0 1 0 28205822 39448576 2952 18446744073709551615 4194304 5184042 140735040625472 140735040621464 140278878273880 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24318/statm: 9631 2952 758 242 0 2193 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 38524 [startup+0.200281 s] /proc/loadavg: 0.99 0.79 0.39 2/55 24318 /proc/meminfo: memFree=282484/1022884 swapFree=0/0 [pid=24318] ppid=24317 vsize=39844 CPUtime=0.2 /proc/24318/stat : 24318 (cupt) R 24317 24318 17872 34816 17872 4202496 3506 7210 0 0 12 2 3 3 20 0 1 0 28205822 40800256 3318 18446744073709551615 4194304 5184042 140735040625472 140735040621416 140278895394286 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24318/statm: 9961 3318 792 242 0 2523 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 39844 [startup+0.300269 s] /proc/loadavg: 0.99 0.79 0.39 2/55 24318 /proc/meminfo: memFree=282484/1022884 swapFree=0/0 [pid=24318] ppid=24317 vsize=53664 CPUtime=0.31 /proc/24318/stat : 24318 (cupt) R 24317 24318 17872 34816 17872 4202496 7152 7210 0 0 21 4 3 3 20 0 1 0 28205822 54951936 6805 18446744073709551615 4194304 5184042 140735040625472 140735040622296 140278894741058 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24318/statm: 13416 6805 842 242 0 5978 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 53664 [startup+0.700216 s] /proc/loadavg: 0.99 0.79 0.39 2/55 24318 /proc/meminfo: memFree=282484/1022884 swapFree=0/0 [pid=24318] ppid=24317 vsize=58060 CPUtime=0.71 /proc/24318/stat : 24318 (cupt) R 24317 24318 17872 34816 17872 4202496 9022 7210 0 0 61 4 3 3 20 0 1 0 28205822 59453440 7774 18446744073709551615 4194304 5184042 140735040625472 140735040619688 140278894857088 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24318/statm: 14515 7774 842 242 0 7077 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 58060 [startup+1.50022 s] /proc/loadavg: 0.99 0.79 0.39 2/56 24338 /proc/meminfo: memFree=254460/1022884 swapFree=0/0 [pid=24318] ppid=24317 vsize=59084 CPUtime=1.5 /proc/24318/stat : 24318 (cupt) R 24317 24318 17872 34816 17872 4202496 9453 7210 0 0 140 4 3 3 20 0 1 0 28205822 60502016 7948 18446744073709551615 4194304 5184042 140735040625472 140735040619768 140278894692031 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24318/statm: 14771 7948 842 242 0 7333 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 59084 [startup+3.10023 s] /proc/loadavg: 0.99 0.79 0.39 2/56 24338 /proc/meminfo: memFree=253468/1022884 swapFree=0/0 [pid=24318] ppid=24317 vsize=62736 CPUtime=3.1 /proc/24318/stat : 24318 (cupt) R 24317 24318 17872 34816 17872 4202496 10722 7210 0 0 299 5 3 3 20 0 1 0 28205822 64241664 8704 18446744073709551615 4194304 5184042 140735040625472 140735040619768 140278894668533 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24318/statm: 15684 8704 842 242 0 8246 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 62736 Solver just ended. Dumping a history of the last processes samples [startup+3.2003 s] /proc/loadavg: 0.99 0.79 0.39 2/56 24338 /proc/meminfo: memFree=253468/1022884 swapFree=0/0 [pid=24318] ppid=24317 vsize=62736 CPUtime=3.2 /proc/24318/stat : 24318 (cupt) R 24317 24318 17872 34816 17872 4202496 10743 7210 0 0 309 5 3 3 20 0 1 0 28205822 64241664 8725 18446744073709551615 4194304 5184042 140735040625472 140735040619768 140278878339451 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24318/statm: 15684 8725 842 242 0 8246 0 Current children cumulated CPU time (s) 3.2 Current children cumulated vsize (KiB) 62736 [startup+4.80022 s] /proc/loadavg: 0.99 0.80 0.39 2/56 24338 /proc/meminfo: memFree=248384/1022884 swapFree=0/0 [pid=24318] ppid=24317 vsize=68156 CPUtime=4.79 /proc/24318/stat : 24318 (cupt) R 24317 24318 17872 34816 17872 4202496 12479 7210 0 0 466 7 3 3 20 0 1 0 28205822 69791744 9436 18446744073709551615 4194304 5184042 140735040625472 140735040622920 140278894683496 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24318/statm: 17039 9436 842 242 0 9601 0 Current children cumulated CPU time (s) 4.79 Current children cumulated vsize (KiB) 68156 [startup+5.20021 s] /proc/loadavg: 0.99 0.80 0.39 2/56 24338 /proc/meminfo: memFree=248384/1022884 swapFree=0/0 [pid=24318] ppid=24317 vsize=68156 CPUtime=5.19 /proc/24318/stat : 24318 (cupt) R 24317 24318 17872 34816 17872 4202496 12553 7210 0 0 505 8 3 3 20 0 1 0 28205822 69791744 9510 18446744073709551615 4194304 5184042 140735040625472 140735040622920 140278894445776 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24318/statm: 17039 9510 842 242 0 9601 0 Current children cumulated CPU time (s) 5.19 Current children cumulated vsize (KiB) 68156 [startup+5.40022 s] /proc/loadavg: 0.99 0.80 0.39 2/56 24338 /proc/meminfo: memFree=248384/1022884 swapFree=0/0 [pid=24318] ppid=24317 vsize=68156 CPUtime=5.39 /proc/24318/stat : 24318 (cupt) R 24317 24318 17872 34816 17872 4202496 12584 7210 0 0 525 8 3 3 20 0 1 0 28205822 69791744 9541 18446744073709551615 4194304 5184042 140735040625472 140735040622920 140278894683136 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24318/statm: 17039 9541 842 242 0 9601 0 Current children cumulated CPU time (s) 5.39 Current children cumulated vsize (KiB) 68156 Child status: 1 Real time (s): 5.49116 CPU time (s): 5.49634 CPU user time (s): 5.37233 CPU system time (s): 0.124007 CPU usage (%): 100.094 Max. virtual memory (cumulated for all children) (KiB): 68156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.37233 system time used= 0.124007 maximum resident set size= 41788 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19831 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= 55 involuntary context switches= 92 runsolver used 0.004 second user time and 0.028001 second system time The end