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-lenny-squeeze/logs/162.runsolver.cupt cupt -o APT::Architecture=i386 -s -V -y --no-install-recommends remove mount kwordquiz libopencdk8 autoconf libxrender1 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: 1.04 1.02 0.98 2/55 2044 /proc/meminfo: memFree=573844/1022884 swapFree=0/0 [pid=2044] ppid=2043 vsize=3152 CPUtime=0 /proc/2044/stat : 2044 (runsolver) R 2043 17872 17872 34816 17872 4202560 0 0 0 0 0 0 0 0 20 0 1 0 29687507 3227648 33 18446744073709551615 134512640 134586868 4290992192 4290990240 4152198192 0 0 0 24578 0 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 788 33 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.164111 s] /proc/loadavg: 1.04 1.02 0.98 2/55 2044 /proc/meminfo: memFree=573844/1022884 swapFree=0/0 [pid=2044] ppid=2043 vsize=34568 CPUtime=0.19 /proc/2044/stat : 2044 (cupt) R 2043 2044 17872 34816 17872 4202496 2118 7198 0 0 10 2 5 2 20 0 1 0 29687507 35397632 1934 18446744073709551615 4194304 5184042 140733803612048 140733803609240 140167181312316 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 8642 1934 729 242 0 1204 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 34568 [startup+0.200272 s] /proc/loadavg: 1.04 1.02 0.98 2/55 2044 /proc/meminfo: memFree=573844/1022884 swapFree=0/0 [pid=2044] ppid=2043 vsize=35492 CPUtime=0.22 /proc/2044/stat : 2044 (cupt) R 2043 2044 17872 34816 17872 4202496 2336 7198 0 0 13 2 5 2 20 0 1 0 29687507 36343808 2152 18446744073709551615 4194304 5184042 140733803612048 140733803609240 140167181312081 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 8873 2152 729 242 0 1435 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 35492 [startup+0.30026 s] /proc/loadavg: 1.04 1.02 0.98 2/55 2044 /proc/meminfo: memFree=573844/1022884 swapFree=0/0 [pid=2044] ppid=2043 vsize=37984 CPUtime=0.32 /proc/2044/stat : 2044 (cupt) R 2043 2044 17872 34816 17872 4202496 3044 7198 0 0 20 5 5 2 20 0 1 0 29687507 38895616 2797 18446744073709551615 4194304 5184042 140733803612048 140733803609240 140167181312241 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 9496 2797 739 242 0 2058 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 37984 [startup+0.700212 s] /proc/loadavg: 1.04 1.02 0.98 2/55 2044 /proc/meminfo: memFree=573844/1022884 swapFree=0/0 [pid=2044] ppid=2043 vsize=63376 CPUtime=0.72 /proc/2044/stat : 2044 (cupt) R 2043 2044 17872 34816 17872 4202496 9491 7198 0 0 58 7 5 2 20 0 1 0 29687507 64897024 9236 18446744073709551615 4194304 5184042 140733803612048 140733803609304 140167180983872 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 15844 9236 851 242 0 8406 0 Current children cumulated CPU time (s) 0.72 Current children cumulated vsize (KiB) 63376 [startup+1.5002 s] /proc/loadavg: 1.04 1.02 0.98 2/56 2064 /proc/meminfo: memFree=539496/1022884 swapFree=0/0 [pid=2044] ppid=2043 vsize=64288 CPUtime=1.52 /proc/2044/stat : 2044 (cupt) R 2043 2044 17872 34816 17872 4202496 9841 7198 0 0 137 8 5 2 20 0 1 0 29687507 65830912 9392 18446744073709551615 4194304 5184042 140733803612048 140733803609352 140167197575981 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 16072 9392 851 242 0 8634 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 64288 [startup+3.10021 s] /proc/loadavg: 1.04 1.02 0.98 2/56 2064 /proc/meminfo: memFree=538380/1022884 swapFree=0/0 [pid=2044] ppid=2043 vsize=66348 CPUtime=3.11 /proc/2044/stat : 2044 (cupt) R 2043 2044 17872 34816 17872 4202496 10522 7198 0 0 295 9 5 2 20 0 1 0 29687507 67940352 9816 18446744073709551615 4194304 5184042 140733803612048 140733803609352 140167197600923 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 16587 9816 851 242 0 9149 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 66348 [startup+6.30021 s] /proc/loadavg: 1.03 1.02 0.98 2/56 2064 /proc/meminfo: memFree=536396/1022884 swapFree=0/0 [pid=2044] ppid=2043 vsize=68712 CPUtime=6.29 /proc/2044/stat : 2044 (cupt) R 2043 2044 17872 34816 17872 4202496 11382 7198 0 0 612 10 5 2 20 0 1 0 29687507 70361088 10163 18446744073709551615 4194304 5184042 140733803612048 140733803609352 140167197590528 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 17178 10163 851 242 0 9740 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 68712 Solver just ended. Dumping a history of the last processes samples [startup+6.40027 s] /proc/loadavg: 1.03 1.02 0.98 2/56 2064 /proc/meminfo: memFree=536396/1022884 swapFree=0/0 [pid=2044] ppid=2043 vsize=68712 CPUtime=6.39 /proc/2044/stat : 2044 (cupt) R 2043 2044 17872 34816 17872 4202496 11391 7198 0 0 622 10 5 2 20 0 1 0 29687507 70361088 10172 18446744073709551615 4194304 5184042 140733803612048 140733803609352 140167197591237 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 17178 10172 851 242 0 9740 0 Current children cumulated CPU time (s) 6.39 Current children cumulated vsize (KiB) 68712 [startup+6.80021 s] /proc/loadavg: 1.03 1.02 0.98 2/56 2064 /proc/meminfo: memFree=536396/1022884 swapFree=0/0 [pid=2044] ppid=2043 vsize=68712 CPUtime=6.79 /proc/2044/stat : 2044 (cupt) R 2043 2044 17872 34816 17872 4202496 11434 7198 0 0 662 10 5 2 20 0 1 0 29687507 70361088 10215 18446744073709551615 4194304 5184042 140733803612048 140733803609352 140167197674700 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 17178 10215 851 242 0 9740 0 Current children cumulated CPU time (s) 6.79 Current children cumulated vsize (KiB) 68712 [startup+7.20021 s] /proc/loadavg: 1.03 1.02 0.98 2/56 2064 /proc/meminfo: memFree=536396/1022884 swapFree=0/0 [pid=2044] ppid=2043 vsize=68712 CPUtime=7.19 /proc/2044/stat : 2044 (cupt) R 2043 2044 17872 34816 17872 4202496 11478 7198 0 0 702 10 5 2 20 0 1 0 29687507 70361088 10259 18446744073709551615 4194304 5184042 140733803612048 140733803606344 140167181246821 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 17178 10259 851 242 0 9740 0 Current children cumulated CPU time (s) 7.19 Current children cumulated vsize (KiB) 68712 [startup+7.30021 s] /proc/loadavg: 1.03 1.02 0.98 2/56 2064 /proc/meminfo: memFree=536396/1022884 swapFree=0/0 [pid=2044] ppid=2043 vsize=68712 CPUtime=7.29 /proc/2044/stat : 2044 (cupt) R 2043 2044 17872 34816 17872 4202496 11488 7198 0 0 712 10 5 2 20 0 1 0 29687507 70361088 10269 18446744073709551615 4194304 5184042 140733803612048 140733803606344 140167197674700 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/2044/statm: 17178 10269 851 242 0 9740 0 Current children cumulated CPU time (s) 7.29 Current children cumulated vsize (KiB) 68712 Child status: 1 Real time (s): 7.39388 CPU time (s): 7.39646 CPU user time (s): 7.26045 CPU system time (s): 0.136008 CPU usage (%): 100.035 Max. virtual memory (cumulated for all children) (KiB): 68712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.26045 system time used= 0.136008 maximum resident set size= 42192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18723 page faults= 0 swaps= 0 block input operations= 0 block output operations= 352 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 52 involuntary context switches= 124 runsolver used 0.012 second user time and 0.024001 second system time The end