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/143.runsolver.smart smart --config-file=/home/cbse/var/lib/smart/config remove tk8.4 kview libexpat1 python2.3-gtk2 kdeartwork 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.00 0.99 0.94 2/53 8653 /proc/meminfo: memFree=446512/1022884 swapFree=0/0 [pid=8653] ppid=8652 vsize=3152 CPUtime=0 /proc/8653/stat : 8653 (runsolver) R 8652 2806 2806 34818 2806 4202560 0 0 0 0 0 0 0 0 20 0 1 0 4156822 3227648 32 18446744073709551615 134512640 134586868 4288240592 4288238640 4152091696 0 0 0 24578 0 0 0 17 0 0 0 0 0 0 /proc/8653/statm: 788 32 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.116296 s] /proc/loadavg: 1.00 0.99 0.94 2/53 8653 /proc/meminfo: memFree=446512/1022884 swapFree=0/0 [pid=8653] ppid=8652 vsize=107180 CPUtime=0.1 /proc/8653/stat : 8653 (smart) R 8652 8653 2806 34818 2806 4202496 8381 0 0 0 8 2 0 0 20 0 1 0 4156822 109752320 5553 18446744073709551615 4194304 6763684 140734863616000 140734863586968 4364559 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/8653/statm: 26795 5553 1047 628 0 4378 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 107180 [startup+0.200246 s] /proc/loadavg: 1.00 0.99 0.94 2/53 8653 /proc/meminfo: memFree=446512/1022884 swapFree=0/0 [pid=8653] ppid=8652 vsize=120416 CPUtime=0.19 /proc/8653/stat : 8653 (smart) R 8652 8653 2806 34818 2806 4202496 13608 412 0 0 15 4 0 0 20 0 1 0 4156822 123305984 7831 18446744073709551615 4194304 6763684 140734863616000 140734863611992 5517864 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/8653/statm: 30104 7831 1059 628 0 6657 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 120416 [startup+0.300235 s] /proc/loadavg: 1.00 0.99 0.94 2/53 8653 /proc/meminfo: memFree=446512/1022884 swapFree=0/0 [pid=8653] ppid=8652 vsize=134576 CPUtime=0.29 /proc/8653/stat : 8653 (smart) R 8652 8653 2806 34818 2806 4202496 17169 412 0 0 23 6 0 0 20 0 1 0 4156822 137805824 11391 18446744073709551615 4194304 6763684 140734863616000 140734863611928 5257566 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/8653/statm: 33644 11391 1059 628 0 10197 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 134576 [startup+0.700185 s] /proc/loadavg: 1.00 0.99 0.94 2/53 8653 /proc/meminfo: memFree=446512/1022884 swapFree=0/0 [pid=8653] ppid=8652 vsize=195804 CPUtime=0.69 /proc/8653/stat : 8653 (smart) R 8652 8653 2806 34818 2806 4202496 35527 412 0 0 59 10 0 0 20 0 1 0 4156822 200503296 26663 18446744073709551615 4194304 6763684 140734863616000 140734863611992 140131603461826 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/8653/statm: 48951 26663 1059 628 0 25504 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 195804 [startup+1.5002 s] /proc/loadavg: 1.08 1.00 0.94 2/54 8656 /proc/meminfo: memFree=333284/1022884 swapFree=0/0 [pid=8653] ppid=8652 vsize=207772 CPUtime=1.48 /proc/8653/stat : 8653 (smart) R 8652 8653 2806 34818 2806 4202496 44749 412 0 0 135 13 0 0 20 0 1 0 4156822 212758528 29707 18446744073709551615 4194304 6763684 140734863616000 140734863611136 5763084 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/8653/statm: 51943 29707 1069 628 0 28496 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 207772 [startup+3.10018 s] /proc/loadavg: 1.08 1.00 0.94 2/54 8656 /proc/meminfo: memFree=331672/1022884 swapFree=0/0 [pid=8653] ppid=8652 vsize=207772 CPUtime=3.08 /proc/8653/stat : 8653 (smart) R 8652 8653 2806 34818 2806 4202496 44762 412 0 0 295 13 0 0 20 0 1 0 4156822 212758528 29711 18446744073709551615 4194304 6763684 140734863616000 140734863612952 140131604111200 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/8653/statm: 51943 29711 1073 628 0 28496 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 207772 [startup+6.30017 s] /proc/loadavg: 1.07 1.00 0.94 2/54 8656 /proc/meminfo: memFree=331548/1022884 swapFree=0/0 [pid=8653] ppid=8652 vsize=207772 CPUtime=6.27 /proc/8653/stat : 8653 (smart) R 8652 8653 2806 34818 2806 4202496 44762 412 0 0 614 13 0 0 20 0 1 0 4156822 212758528 29711 18446744073709551615 4194304 6763684 140734863616000 140734863612952 140131586363073 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/8653/statm: 51943 29711 1073 628 0 28496 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 207772 Solver just ended. Dumping a history of the last processes samples [startup+6.40023 s] /proc/loadavg: 1.07 1.00 0.94 2/54 8656 /proc/meminfo: memFree=331548/1022884 swapFree=0/0 [pid=8653] ppid=8652 vsize=207772 CPUtime=6.37 /proc/8653/stat : 8653 (smart) R 8652 8653 2806 34818 2806 4202496 44762 412 0 0 624 13 0 0 20 0 1 0 4156822 212758528 29711 18446744073709551615 4194304 6763684 140734863616000 140734863612952 140131604111066 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/8653/statm: 51943 29711 1073 628 0 28496 0 Current children cumulated CPU time (s) 6.37 Current children cumulated vsize (KiB) 207772 [startup+8.00017 s] /proc/loadavg: 1.07 1.00 0.94 2/54 8656 /proc/meminfo: memFree=331548/1022884 swapFree=0/0 [pid=8653] ppid=8652 vsize=207772 CPUtime=7.96 /proc/8653/stat : 8653 (smart) R 8652 8653 2806 34818 2806 4202496 44762 412 0 0 783 13 0 0 20 0 1 0 4156822 212758528 29711 18446744073709551615 4194304 6763684 140734863616000 140734863612952 5155451 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/8653/statm: 51943 29711 1073 628 0 28496 0 Current children cumulated CPU time (s) 7.96 Current children cumulated vsize (KiB) 207772 [startup+8.80017 s] /proc/loadavg: 1.07 1.00 0.94 2/54 8656 /proc/meminfo: memFree=331548/1022884 swapFree=0/0 [pid=8653] ppid=8652 vsize=207772 CPUtime=8.76 /proc/8653/stat : 8653 (smart) R 8652 8653 2806 34818 2806 4202496 44762 412 0 0 863 13 0 0 20 0 1 0 4156822 212758528 29711 18446744073709551615 4194304 6763684 140734863616000 140734863612952 140131604111200 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/8653/statm: 51943 29711 1073 628 0 28496 0 Current children cumulated CPU time (s) 8.76 Current children cumulated vsize (KiB) 207772 [startup+9.20017 s] /proc/loadavg: 1.07 1.00 0.94 2/54 8656 /proc/meminfo: memFree=331548/1022884 swapFree=0/0 [pid=8653] ppid=8652 vsize=207780 CPUtime=9.16 /proc/8653/stat : 8653 (smart) R 8652 8653 2806 34818 2806 4202496 44793 412 0 0 903 13 0 0 20 0 1 0 4156822 212766720 29718 18446744073709551615 4194304 6763684 140734863616000 140734863614888 5520684 0 0 16777216 0 0 0 0 17 0 0 0 0 0 0 /proc/8653/statm: 51945 29718 1079 628 0 28498 0 Current children cumulated CPU time (s) 9.16 Current children cumulated vsize (KiB) 207780 [startup+9.3002 s] /proc/loadavg: 1.07 1.00 0.94 2/54 8656 /proc/meminfo: memFree=331548/1022884 swapFree=0/0 [pid=8653] ppid=8652 vsize=207780 CPUtime=9.26 /proc/8653/stat : 8653 (smart) R 8652 8653 2806 34818 2806 4202496 44793 412 0 0 913 13 0 0 20 0 1 0 4156822 212766720 29718 18446744073709551615 4194304 6763684 140734863616000 140734863614888 5517868 0 0 16777216 0 0 0 0 17 0 0 0 0 0 0 /proc/8653/statm: 51945 29718 1079 628 0 28498 0 Current children cumulated CPU time (s) 9.26 Current children cumulated vsize (KiB) 207780 Child status: 0 Real time (s): 9.3627 CPU time (s): 9.32858 CPU user time (s): 9.18457 CPU system time (s): 0.144009 CPU usage (%): 99.6356 Max. virtual memory (cumulated for all children) (KiB): 207780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.18457 system time used= 0.144009 maximum resident set size= 120000 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45628 page faults= 0 swaps= 0 block input operations= 0 block output operations= 64 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 149 runsolver used 0.008 second user time and 0.032002 second system time The end