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/logs/18.runsolver.aptitude aptitude -s -y --without-recommends install gettext xstow freewnn-kserver holotz-castle-milanb tetrinet-client 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.09 1.07 0.84 2/55 20975 /proc/meminfo: memFree=913228/1022884 swapFree=0/0 [pid=20975] ppid=20974 vsize=3152 CPUtime=0 /proc/20975/stat : 20975 (runsolver) R 20974 17863 17863 34816 17863 4202560 0 0 0 0 0 0 0 0 20 0 1 0 28335089 3227648 33 18446744073709551615 134512640 134586868 4294202752 4294200800 4151493680 0 0 0 24578 0 0 0 17 0 0 0 0 0 0 /proc/20975/statm: 788 33 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.179737 s] /proc/loadavg: 1.09 1.07 0.84 2/55 20975 /proc/meminfo: memFree=913228/1022884 swapFree=0/0 [pid=20975] ppid=20974 vsize=89152 CPUtime=0.16 /proc/20975/stat : 20975 (aptitude) R 20974 20975 17863 34816 17863 4202496 7776 1709 0 0 14 2 0 0 20 0 1 0 28335089 91291648 7576 18446744073709551615 140320715350016 140320719657368 140735175801344 140735175792608 140320710072837 0 134217728 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/20975/statm: 22288 7576 6665 1052 0 858 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 89152 [startup+0.20028 s] /proc/loadavg: 1.09 1.07 0.84 2/55 20975 /proc/meminfo: memFree=913228/1022884 swapFree=0/0 [pid=20975] ppid=20974 vsize=91988 CPUtime=0.18 /proc/20975/stat : 20975 (aptitude) R 20974 20975 17863 34816 17863 4202496 8414 1709 0 0 16 2 0 0 20 0 1 0 28335089 94195712 8206 18446744073709551615 140320715350016 140320719657368 140735175801344 140735175793000 140320717498478 0 134217728 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/20975/statm: 22997 8206 6729 1052 0 1567 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 91988 [startup+0.300257 s] /proc/loadavg: 1.09 1.07 0.84 2/55 20975 /proc/meminfo: memFree=913228/1022884 swapFree=0/0 [pid=20975] ppid=20974 vsize=101864 CPUtime=0.28 /proc/20975/stat : 20975 (aptitude) R 20974 20975 17863 34816 17863 4202496 11709 1709 0 0 24 4 0 0 20 0 1 0 28335089 104308736 10756 18446744073709551615 140320715350016 140320719657368 140735175801344 140735175790776 140320710250644 0 134217728 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/20975/statm: 25466 10756 6746 1052 0 4036 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 101864 [startup+0.700199 s] /proc/loadavg: 1.09 1.07 0.84 2/55 20975 /proc/meminfo: memFree=913228/1022884 swapFree=0/0 [pid=20975] ppid=20974 vsize=114080 CPUtime=0.68 /proc/20975/stat : 20975 (aptitude) R 20974 20975 17863 34816 17863 4202496 13698 1709 0 0 62 6 0 0 20 0 2 0 28335089 116817920 12069 18446744073709551615 140320715350016 140320719657368 140735175801344 140735175792616 140320717551695 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20975/statm: 28520 12069 6977 1052 0 7090 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 114080 [startup+1.50026 s] /proc/loadavg: 1.08 1.07 0.84 2/57 20980 /proc/meminfo: memFree=892636/1022884 swapFree=0/0 [pid=20975] ppid=20974 vsize=115460 CPUtime=1.47 /proc/20975/stat : 20975 (aptitude) R 20974 20975 17863 34816 17863 4202496 14513 2208 0 0 140 7 0 0 20 0 2 0 28335089 118231040 12294 18446744073709551615 140320715350016 140320719657368 140735175801344 140735175788048 140320718344537 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20975/statm: 28865 12294 7066 1052 0 7435 0 [pid=20975/tid=20980] ppid=20974 vsize=115460 CPUtime=0 /proc/20975/task/20980/stat : 20980 (aptitude) S 20974 20975 17863 34816 17863 4202560 6 2208 0 0 0 0 0 0 20 0 2 0 28335132 118231040 12294 18446744073709551615 140320715350016 140320719657368 140735175801344 140320618756096 140320684094164 0 134217728 4096 0 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 115460 Solver just ended. Dumping a history of the last processes samples [startup+1.60032 s] /proc/loadavg: 1.08 1.07 0.84 2/57 20980 /proc/meminfo: memFree=892636/1022884 swapFree=0/0 [pid=20975] ppid=20974 vsize=115460 CPUtime=1.57 /proc/20975/stat : 20975 (aptitude) R 20974 20975 17863 34816 17863 4202496 14525 2208 0 0 150 7 0 0 20 0 2 0 28335089 118231040 12294 18446744073709551615 140320715350016 140320719657368 140735175801344 140735175788048 140320718057688 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20975/statm: 28865 12294 7066 1052 0 7435 0 [pid=20975/tid=20980] ppid=20974 vsize=115460 CPUtime=0 /proc/20975/task/20980/stat : 20980 (aptitude) S 20974 20975 17863 34816 17863 4202560 6 2208 0 0 0 0 0 0 20 0 2 0 28335132 118231040 12294 18446744073709551615 140320715350016 140320719657368 140735175801344 140320618756096 140320684094164 0 134217728 4096 0 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.57 Current children cumulated vsize (KiB) 115460 [startup+2.00024 s] /proc/loadavg: 1.08 1.07 0.84 2/57 20980 /proc/meminfo: memFree=892636/1022884 swapFree=0/0 [pid=20975] ppid=20974 vsize=121004 CPUtime=1.97 /proc/20975/stat : 20975 (aptitude) S 20974 20975 17863 34816 17863 4202496 16682 2208 0 0 190 7 0 0 20 0 2 0 28335089 123908096 13955 18446744073709551615 140320715350016 140320719657368 140735175801344 140735175793104 140320684095051 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20975/statm: 30251 13955 7122 1052 0 8821 0 [pid=20975/tid=20980] ppid=20974 vsize=121004 CPUtime=0.16 /proc/20975/task/20980/stat : 20980 (aptitude) R 20974 20975 17863 34816 17863 4202560 2148 2208 0 0 16 0 0 0 20 0 2 0 28335132 123908096 13955 18446744073709551615 140320715350016 140320719657368 140735175801344 140320618745880 140320681655276 0 134217728 4096 0 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.97 Current children cumulated vsize (KiB) 121004 [startup+2.20023 s] /proc/loadavg: 1.08 1.07 0.84 2/57 20981 /proc/meminfo: memFree=884452/1022884 swapFree=0/0 [pid=20975] ppid=20974 vsize=122088 CPUtime=2.17 /proc/20975/stat : 20975 (aptitude) R 20974 20975 17863 34816 17863 4202496 18817 2208 0 0 210 7 0 0 20 0 2 0 28335089 125018112 14296 18446744073709551615 140320715350016 140320719657368 140735175801344 140735175789208 140320716179059 0 134217728 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20975/statm: 30522 14296 7171 1052 0 9085 0 [pid=20975/tid=20980] ppid=20974 vsize=122088 CPUtime=0.27 /proc/20975/task/20980/stat : 20980 (aptitude) S 20974 20975 17863 34816 17863 4202560 2418 2208 0 0 27 0 0 0 20 0 2 0 28335132 125018112 14296 18446744073709551615 140320715350016 140320719657368 140735175801344 140320618756096 140320684094164 0 134217728 4096 0 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.17 Current children cumulated vsize (KiB) 122088 Child status: 0 Real time (s): 2.29005 CPU time (s): 2.28414 CPU user time (s): 2.17614 CPU system time (s): 0.108006 CPU usage (%): 99.7421 Max. virtual memory (cumulated for all children) (KiB): 122088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.17614 system time used= 0.108006 maximum resident set size= 57196 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21753 page faults= 0 swaps= 0 block input operations= 0 block output operations= 16 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 60 involuntary context switches= 82 runsolver used 0.012 second user time and 0.004 second system time The end