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/94.runsolver.cupt cupt -o APT::Architecture=i386 -s -V -y --no-install-recommends install blas-dev xgsmlib librmail-ruby-doc koffice-dev xconq-doc 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: 0.97 0.61 0.25 2/55 23636 /proc/meminfo: memFree=283176/1022884 swapFree=0/0 [pid=23636] ppid=23635 vsize=30148 CPUtime=0 /proc/23636/stat : 23636 (cupt) R 23635 23636 17872 34816 17872 4202496 777 0 0 0 0 0 0 0 20 0 1 0 28185138 30871552 676 18446744073709551615 4194304 5184042 140735296569488 140735296567496 140549549263194 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/23636/statm: 7537 676 587 242 0 99 0 [startup+0.196571 s] /proc/loadavg: 0.97 0.61 0.25 2/55 23636 /proc/meminfo: memFree=283176/1022884 swapFree=0/0 [pid=23636] ppid=23635 vsize=39316 CPUtime=0.2 /proc/23636/stat : 23636 (cupt) R 23635 23636 17872 34816 17872 4202496 3379 7198 0 0 13 1 5 1 20 0 1 0 28185138 40259584 3191 18446744073709551615 4194304 5184042 140735296569488 140735296565480 140549545448360 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/23636/statm: 9829 3191 792 242 0 2391 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 39316 [startup+0.200256 s] /proc/loadavg: 0.97 0.61 0.25 2/55 23636 /proc/meminfo: memFree=283176/1022884 swapFree=0/0 [pid=23636] ppid=23635 vsize=39844 CPUtime=0.21 /proc/23636/stat : 23636 (cupt) R 23635 23636 17872 34816 17872 4202496 3489 7198 0 0 14 1 5 1 20 0 1 0 28185138 40800256 3301 18446744073709551615 4194304 5184042 140735296569488 140735296565480 140549529365967 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/23636/statm: 9961 3301 792 242 0 2523 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 39844 [startup+0.300244 s] /proc/loadavg: 0.97 0.61 0.25 2/55 23636 /proc/meminfo: memFree=283176/1022884 swapFree=0/0 [pid=23636] ppid=23635 vsize=51132 CPUtime=0.31 /proc/23636/stat : 23636 (cupt) R 23635 23636 17872 34816 17872 4202496 6341 7198 0 0 23 2 5 1 20 0 1 0 28185138 52359168 6152 18446744073709551615 4194304 5184042 140735296569488 140735296566776 140549529328018 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/23636/statm: 12783 6152 842 242 0 5345 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 51132 [startup+0.70021 s] /proc/loadavg: 0.97 0.61 0.25 2/55 23636 /proc/meminfo: memFree=283176/1022884 swapFree=0/0 [pid=23636] ppid=23635 vsize=57880 CPUtime=0.71 /proc/23636/stat : 23636 (cupt) R 23635 23636 17872 34816 17872 4202496 8145 7198 0 0 62 3 5 1 20 0 1 0 28185138 59269120 7762 18446744073709551615 4194304 5184042 140735296569488 140735296566792 140549545727578 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/23636/statm: 14470 7762 842 242 0 7032 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 57880 Solver just ended. Dumping a history of the last processes samples [startup+0.800277 s] /proc/loadavg: 0.97 0.61 0.25 2/55 23636 /proc/meminfo: memFree=283176/1022884 swapFree=0/0 [pid=23636] ppid=23635 vsize=58556 CPUtime=0.81 /proc/23636/stat : 23636 (cupt) R 23635 23636 17872 34816 17872 4202496 8344 7198 0 0 72 3 5 1 20 0 1 0 28185138 59961344 7961 18446744073709551615 4194304 5184042 140735296569488 140735296563704 140549545678125 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/23636/statm: 14639 7961 842 242 0 7201 0 Current children cumulated CPU time (s) 0.81 Current children cumulated vsize (KiB) 58556 [startup+1.20727 s] /proc/loadavg: 0.97 0.61 0.25 2/56 23656 /proc/meminfo: memFree=253540/1022884 swapFree=0/0 [pid=23636] ppid=23635 vsize=57688 CPUtime=1.21 /proc/23636/stat : 23636 (cupt) R 23635 23636 17872 34816 17872 4202496 8842 7198 0 0 112 3 5 1 20 0 1 0 28185138 59072512 7839 18446744073709551615 4194304 5184042 140735296569488 140735296568936 140549546314171 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/23636/statm: 14422 7839 853 242 0 6984 0 Current children cumulated CPU time (s) 1.21 Current children cumulated vsize (KiB) 57688 Child status: 1 Real time (s): 1.2223 CPU time (s): 1.24408 CPU user time (s): 1.18807 CPU system time (s): 0.056003 CPU usage (%): 101.782 Max. virtual memory (cumulated for all children) (KiB): 59996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.18807 system time used= 0.056003 maximum resident set size= 33624 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16060 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= 34 runsolver used 0.008 second user time and 0.004 second system time The end