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/96.runsolver.cupt cupt -o APT::Architecture=i386 -s -V -y --no-install-recommends install koffice-i18n-fi gforge-db-postgresql libdshconfig1-dev misdn-kernel-headers yarssr 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.94 0.99 0.96 2/55 32572 /proc/meminfo: memFree=339372/1022884 swapFree=0/0 [pid=32572] ppid=32571 vsize=3152 CPUtime=0 /proc/32572/stat : 32572 (runsolver) R 32571 17872 17872 34816 17872 4202560 0 0 0 0 0 0 0 0 20 0 1 0 29312487 3227648 33 18446744073709551615 134512640 134586868 4286605120 4286603168 4152214576 0 0 0 24578 0 0 0 17 0 0 0 0 0 0 /proc/32572/statm: 788 33 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.149083 s] /proc/loadavg: 0.94 0.99 0.96 2/55 32572 /proc/meminfo: memFree=339372/1022884 swapFree=0/0 [pid=32572] ppid=32571 vsize=34168 CPUtime=0.17 /proc/32572/stat : 32572 (cupt) R 32571 32572 17872 34816 17872 4202496 2017 7201 0 0 8 2 6 1 20 0 1 0 29312487 34988032 1835 18446744073709551615 4194304 5184042 140736811828368 140736811825560 139844011838467 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/32572/statm: 8542 1835 729 242 0 1104 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 34168 [startup+0.20028 s] /proc/loadavg: 0.94 0.99 0.96 2/55 32572 /proc/meminfo: memFree=339372/1022884 swapFree=0/0 [pid=32572] ppid=32571 vsize=35360 CPUtime=0.22 /proc/32572/stat : 32572 (cupt) R 32571 32572 17872 34816 17872 4202496 2315 7201 0 0 12 3 6 1 20 0 1 0 29312487 36208640 2132 18446744073709551615 4194304 5184042 140736811828368 140736811825560 139843995373716 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/32572/statm: 8840 2132 729 242 0 1402 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 35360 [startup+0.300261 s] /proc/loadavg: 0.94 0.99 0.96 2/55 32572 /proc/meminfo: memFree=339372/1022884 swapFree=0/0 [pid=32572] ppid=32571 vsize=37852 CPUtime=0.32 /proc/32572/stat : 32572 (cupt) R 32571 32572 17872 34816 17872 4202496 3017 7201 0 0 21 4 6 1 20 0 1 0 29312487 38760448 2771 18446744073709551615 4194304 5184042 140736811828368 140736811825560 139843995242916 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/32572/statm: 9463 2771 739 242 0 2025 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 37852 [startup+0.700209 s] /proc/loadavg: 0.94 0.99 0.96 2/55 32572 /proc/meminfo: memFree=339372/1022884 swapFree=0/0 [pid=32572] ppid=32571 vsize=64072 CPUtime=0.72 /proc/32572/stat : 32572 (cupt) R 32571 32572 17872 34816 17872 4202496 9655 7201 0 0 56 9 6 1 20 0 1 0 29312487 65609728 9400 18446744073709551615 4194304 5184042 140736811828368 140736811825608 139844011736284 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/32572/statm: 16018 9400 851 242 0 8580 0 Current children cumulated CPU time (s) 0.72 Current children cumulated vsize (KiB) 64072 [startup+1.5002 s] /proc/loadavg: 0.94 0.99 0.96 2/56 32592 /proc/meminfo: memFree=304776/1022884 swapFree=0/0 [pid=32572] ppid=32571 vsize=64840 CPUtime=1.52 /proc/32572/stat : 32572 (cupt) R 32571 32572 17872 34816 17872 4202496 9950 7201 0 0 136 9 6 1 20 0 1 0 29312487 66396160 9501 18446744073709551615 4194304 5184042 140736811828368 140736811825800 139844011419904 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/32572/statm: 16210 9501 851 242 0 8772 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 64840 [startup+3.10022 s] /proc/loadavg: 0.94 0.99 0.96 2/56 32592 /proc/meminfo: memFree=303660/1022884 swapFree=0/0 [pid=32572] ppid=32571 vsize=66920 CPUtime=3.11 /proc/32572/stat : 32572 (cupt) R 32571 32572 17872 34816 17872 4202496 10670 7201 0 0 294 10 6 1 20 0 1 0 29312487 68526080 9964 18446744073709551615 4194304 5184042 140736811828368 140736811825672 139844011652844 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/32572/statm: 16730 9964 851 242 0 9292 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 66920 Solver just ended. Dumping a history of the last processes samples [startup+3.20029 s] /proc/loadavg: 0.94 0.99 0.96 2/56 32592 /proc/meminfo: memFree=303660/1022884 swapFree=0/0 [pid=32572] ppid=32571 vsize=66920 CPUtime=3.21 /proc/32572/stat : 32572 (cupt) R 32571 32572 17872 34816 17872 4202496 10682 7201 0 0 304 10 6 1 20 0 1 0 29312487 68526080 9976 18446744073709551615 4194304 5184042 140736811828368 140736811825672 139844011652640 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/32572/statm: 16730 9976 851 242 0 9292 0 Current children cumulated CPU time (s) 3.21 Current children cumulated vsize (KiB) 66920 [startup+3.60021 s] /proc/loadavg: 0.94 0.99 0.96 2/56 32592 /proc/meminfo: memFree=302916/1022884 swapFree=0/0 [pid=32572] ppid=32571 vsize=67064 CPUtime=3.6 /proc/32572/stat : 32572 (cupt) R 32571 32572 17872 34816 17872 4202496 10760 7201 0 0 342 11 6 1 20 0 1 0 29312487 68673536 10054 18446744073709551615 4194304 5184042 140736811828368 140736811822664 139844011652640 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/32572/statm: 16766 10054 851 242 0 9328 0 Current children cumulated CPU time (s) 3.6 Current children cumulated vsize (KiB) 67064 [startup+3.70021 s] /proc/loadavg: 0.94 0.99 0.96 2/56 32592 /proc/meminfo: memFree=302916/1022884 swapFree=0/0 [pid=32572] ppid=32571 vsize=65012 CPUtime=3.7 /proc/32572/stat : 32572 (cupt) R 32571 32572 17872 34816 17872 4202496 10782 7201 0 0 352 11 6 1 20 0 1 0 29312487 66572288 9668 18446744073709551615 4194304 5184042 140736811828368 140736811826744 139843995318288 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/32572/statm: 16253 9668 862 242 0 8815 0 Current children cumulated CPU time (s) 3.7 Current children cumulated vsize (KiB) 65012 Child status: 1 Real time (s): 3.73574 CPU time (s): 3.75223 CPU user time (s): 3.62023 CPU system time (s): 0.132008 CPU usage (%): 100.442 Max. virtual memory (cumulated for all children) (KiB): 67064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.62023 system time used= 0.132008 maximum resident set size= 40304 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18003 page faults= 0 swaps= 0 block input operations= 0 block output operations= 32 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 52 involuntary context switches= 77 runsolver used 0.004 second user time and 0.016001 second system time The end