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/115.runsolver.cupt cupt -o APT::Architecture=i386 -s -V -y --no-install-recommends remove libtunepimp2 kscreensaver-xsavers libfreetype6-dev kbackgammon python-gtk2 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.99 0.67 0.29 2/55 24098 /proc/meminfo: memFree=282756/1022884 swapFree=0/0 [pid=24098] ppid=24097 vsize=30144 CPUtime=0 /proc/24098/stat : 24098 (cupt) R 24097 24098 17872 34816 17872 4202496 773 0 0 0 0 0 0 0 20 0 1 0 28190867 30867456 672 18446744073709551615 4194304 5184042 140733734316208 140733734314120 140372746550936 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24098/statm: 7536 672 585 242 0 98 0 [startup+0.126031 s] /proc/loadavg: 0.99 0.67 0.29 2/55 24098 /proc/meminfo: memFree=282756/1022884 swapFree=0/0 [pid=24098] ppid=24097 vsize=33376 CPUtime=0.14 /proc/24098/stat : 24098 (cupt) R 24097 24098 17872 34816 17872 4202496 1820 7216 0 0 6 1 5 2 20 0 1 0 28190867 34177024 1638 18446744073709551615 4194304 5184042 140733734316208 140733734313400 140372755009104 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24098/statm: 8344 1638 729 242 0 906 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 33376 [startup+0.200282 s] /proc/loadavg: 0.99 0.67 0.29 2/55 24098 /proc/meminfo: memFree=282756/1022884 swapFree=0/0 [pid=24098] ppid=24097 vsize=39712 CPUtime=0.22 /proc/24098/stat : 24098 (cupt) R 24097 24098 17872 34816 17872 4202496 3465 7216 0 0 12 3 5 2 20 0 1 0 28190867 40665088 3276 18446744073709551615 4194304 5184042 140733734316208 140733734312200 140372746921712 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24098/statm: 9928 3276 792 242 0 2490 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 39712 [startup+0.300264 s] /proc/loadavg: 0.99 0.67 0.29 2/55 24098 /proc/meminfo: memFree=282756/1022884 swapFree=0/0 [pid=24098] ppid=24097 vsize=50808 CPUtime=0.31 /proc/24098/stat : 24098 (cupt) R 24097 24098 17872 34816 17872 4202496 6284 7216 0 0 20 4 5 2 20 0 1 0 28190867 52027392 6094 18446744073709551615 4194304 5184042 140733734316208 140733734313032 140372762863921 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24098/statm: 12702 6094 842 242 0 5264 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 50808 [startup+0.700206 s] /proc/loadavg: 0.99 0.67 0.29 2/55 24098 /proc/meminfo: memFree=282756/1022884 swapFree=0/0 [pid=24098] ppid=24097 vsize=53664 CPUtime=0.72 /proc/24098/stat : 24098 (cupt) R 24097 24098 17872 34816 17872 4202496 7077 7216 0 0 60 5 5 2 20 0 1 0 28190867 54951936 6660 18446744073709551615 4194304 5184042 140733734316208 140733734313656 140372762866899 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24098/statm: 13416 6660 842 242 0 5978 0 Current children cumulated CPU time (s) 0.72 Current children cumulated vsize (KiB) 53664 [startup+1.50021 s] /proc/loadavg: 0.99 0.67 0.29 2/56 24118 /proc/meminfo: memFree=258080/1022884 swapFree=0/0 [pid=24098] ppid=24097 vsize=57816 CPUtime=1.51 /proc/24098/stat : 24098 (cupt) R 24097 24098 17872 34816 17872 4202496 8407 7216 0 0 137 7 5 2 20 0 1 0 28190867 59203584 7733 18446744073709551615 4194304 5184042 140733734316208 140733734313512 140372746571600 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24098/statm: 14454 7733 842 242 0 7016 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 57816 [startup+3.10021 s] /proc/loadavg: 0.99 0.67 0.30 2/56 24118 /proc/meminfo: memFree=252500/1022884 swapFree=0/0 [pid=24098] ppid=24097 vsize=57452 CPUtime=3.11 /proc/24098/stat : 24098 (cupt) R 24097 24098 17872 34816 17872 4202496 9799 7216 0 0 296 8 5 2 20 0 1 0 28190867 58830848 7753 18446744073709551615 4194304 5184042 140733734316208 140733734315656 140372746567272 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24098/statm: 14363 7753 853 242 0 6925 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 57452 Solver just ended. Dumping a history of the last processes samples [startup+3.10021 s] /proc/loadavg: 0.99 0.67 0.30 2/56 24118 /proc/meminfo: memFree=252500/1022884 swapFree=0/0 [pid=24098] ppid=24097 vsize=57452 CPUtime=3.11 /proc/24098/stat : 24098 (cupt) R 24097 24098 17872 34816 17872 4202496 9799 7216 0 0 296 8 5 2 20 0 1 0 28190867 58830848 7753 18446744073709551615 4194304 5184042 140733734316208 140733734315656 140372746567272 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/24098/statm: 14363 7753 853 242 0 6925 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 57452 Child status: 1 Real time (s): 3.11537 CPU time (s): 3.1322 CPU user time (s): 3.02419 CPU system time (s): 0.108006 CPU usage (%): 100.54 Max. virtual memory (cumulated for all children) (KiB): 61808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.02419 system time used= 0.108006 maximum resident set size= 35132 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17035 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= 60 runsolver used 0.004 second user time and 0.012 second system time The end