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/36.runsolver.cupt cupt -o APT::Architecture=i386 -s -V -y --no-install-recommends install python2.1-adns lapispuzzle.app python2.3-pyxattr enlightenment tigr-glimmer 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.85 0.31 0.11 2/57 22344 /proc/meminfo: memFree=284568/1022884 swapFree=0/0 [pid=22344] ppid=22343 vsize=3152 CPUtime=0 /proc/22344/stat : 22344 (runsolver) R 22343 17872 17872 34816 17872 4202560 0 0 0 0 0 0 0 0 20 0 1 0 28167035 3227648 33 18446744073709551615 134512640 134586868 4289398496 4289396544 4151604272 0 0 0 24578 0 0 0 17 0 0 0 0 0 0 /proc/22344/statm: 788 33 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.139269 s] /proc/loadavg: 0.85 0.31 0.11 2/57 22344 /proc/meminfo: memFree=284568/1022884 swapFree=0/0 [pid=22344] ppid=22343 vsize=33904 CPUtime=0.15 /proc/22344/stat : 22344 (cupt) R 22343 22344 17872 34816 17872 4202496 1947 7193 0 0 7 2 4 2 20 0 1 0 28167035 34717696 1764 18446744073709551615 4194304 5184042 140733313886208 140733313883400 140571911106657 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/22344/statm: 8476 1764 729 242 0 1038 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 33904 [startup+0.200264 s] /proc/loadavg: 0.85 0.31 0.11 2/57 22344 /proc/meminfo: memFree=284568/1022884 swapFree=0/0 [pid=22344] ppid=22343 vsize=40108 CPUtime=0.21 /proc/22344/stat : 22344 (cupt) R 22343 22344 17872 34816 17872 4202496 3597 7193 0 0 11 4 4 2 20 0 1 0 28167035 41070592 3406 18446744073709551615 4194304 5184042 140733313886208 140733313882472 140571927530553 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/22344/statm: 10027 3406 829 242 0 2589 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 40108 [startup+0.300242 s] /proc/loadavg: 0.85 0.31 0.11 2/57 22344 /proc/meminfo: memFree=284568/1022884 swapFree=0/0 [pid=22344] ppid=22343 vsize=51184 CPUtime=0.31 /proc/22344/stat : 22344 (cupt) R 22343 22344 17872 34816 17872 4202496 6426 7193 0 0 19 6 4 2 20 0 1 0 28167035 52412416 6206 18446744073709551615 4194304 5184042 140733313886208 140733313883496 140571927443123 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/22344/statm: 12796 6206 842 242 0 5358 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 51184 [startup+0.700182 s] /proc/loadavg: 0.85 0.31 0.11 2/57 22344 /proc/meminfo: memFree=284568/1022884 swapFree=0/0 [pid=22344] ppid=22343 vsize=59648 CPUtime=0.67 /proc/22344/stat : 22344 (cupt) R 22343 22344 17872 34816 17872 4202496 8654 7193 0 0 55 6 4 2 20 0 1 0 28167035 61079552 8219 18446744073709551615 4194304 5184042 140733313886208 140733313883512 140571927395561 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/22344/statm: 14912 8219 842 242 0 7474 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 59648 Solver just ended. Dumping a history of the last processes samples [startup+0.80025 s] /proc/loadavg: 0.85 0.31 0.11 2/57 22344 /proc/meminfo: memFree=284568/1022884 swapFree=0/0 [pid=22344] ppid=22343 vsize=59788 CPUtime=0.77 /proc/22344/stat : 22344 (cupt) R 22343 22344 17872 34816 17872 4202496 8734 7193 0 0 65 6 4 2 20 0 1 0 28167035 61222912 8299 18446744073709551615 4194304 5184042 140733313886208 140733313880504 140571927385640 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/22344/statm: 14947 8299 842 242 0 7509 0 Current children cumulated CPU time (s) 0.77 Current children cumulated vsize (KiB) 59788 [startup+1.0002 s] /proc/loadavg: 0.85 0.31 0.11 2/57 22344 /proc/meminfo: memFree=284568/1022884 swapFree=0/0 [pid=22344] ppid=22343 vsize=60812 CPUtime=0.97 /proc/22344/stat : 22344 (cupt) R 22343 22344 17872 34816 17872 4202496 9073 7193 0 0 84 7 4 2 20 0 1 0 28167035 62271488 8381 18446744073709551615 4194304 5184042 140733313886208 140733313879624 140571927401331 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/22344/statm: 15203 8381 842 242 0 7765 0 Current children cumulated CPU time (s) 0.97 Current children cumulated vsize (KiB) 60812 [startup+1.1002 s] /proc/loadavg: 0.85 0.31 0.11 2/56 22380 /proc/meminfo: memFree=256420/1022884 swapFree=0/0 [pid=22344] ppid=22343 vsize=58504 CPUtime=1.07 /proc/22344/stat : 22344 (cupt) R 22343 22344 17872 34816 17872 4202496 9103 7193 0 0 94 7 4 2 20 0 1 0 28167035 59908096 8029 18446744073709551615 4194304 5184042 140733313886208 140733313885656 140571928089984 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/22344/statm: 14626 8029 853 242 0 7188 0 Current children cumulated CPU time (s) 1.07 Current children cumulated vsize (KiB) 58504 Child status: 1 Real time (s): 1.11334 CPU time (s): 1.10407 CPU user time (s): 1.00006 CPU system time (s): 0.104006 CPU usage (%): 99.1671 Max. virtual memory (cumulated for all children) (KiB): 60812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.00006 system time used= 0.104006 maximum resident set size= 34384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16316 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= 49 runsolver used 0 second user time and 0.012 second system time The end