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/117.runsolver.smart smart --config-file=/home/cbse/var/lib/smart/config remove gnupg-agent imlib-base kdetoys libxml2-utils libcurl3 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.97 0.99 0.99 2/53 22516 /proc/meminfo: memFree=357864/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=3152 CPUtime=0 /proc/22516/stat : 22516 (runsolver) R 22515 2806 2806 34818 2806 4202560 0 0 0 0 0 0 0 0 20 0 1 0 12863801 3227648 33 18446744073709551615 134512640 134586868 4291885360 4291883408 4151632944 0 0 0 24578 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 788 33 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.175015 s] /proc/loadavg: 0.97 0.99 0.99 2/53 22516 /proc/meminfo: memFree=357864/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=121656 CPUtime=0.17 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 10493 0 0 0 15 2 0 0 20 0 1 0 12863801 124575744 9213 18446744073709551615 4194304 6763684 140735632586912 140735632581928 5518031 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 30414 9213 1043 628 0 7997 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 121656 [startup+0.20025 s] /proc/loadavg: 0.97 0.99 0.99 2/53 22516 /proc/meminfo: memFree=357864/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=130528 CPUtime=0.19 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 14232 0 0 0 17 2 0 0 20 0 1 0 12863801 133660672 11415 18446744073709551615 4194304 6763684 140735632586912 140735632581992 5039869 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 32632 11415 1043 628 0 10215 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 130528 [startup+0.300237 s] /proc/loadavg: 0.97 0.99 0.99 2/53 22516 /proc/meminfo: memFree=357864/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=135820 CPUtime=0.28 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 18932 414 0 0 24 4 0 0 20 0 1 0 12863801 139079680 11726 18446744073709551615 4194304 6763684 140735632586912 140735632582904 5763084 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 33955 11726 1058 628 0 10508 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 135820 [startup+0.700202 s] /proc/loadavg: 0.97 0.99 0.99 2/53 22516 /proc/meminfo: memFree=357864/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=182464 CPUtime=0.69 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 34360 414 0 0 62 7 0 0 20 0 1 0 12863801 186843136 23321 18446744073709551615 4194304 6763684 140735632586912 140735632582904 5727865 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 45616 23321 1059 628 0 22169 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 182464 [startup+1.5002 s] /proc/loadavg: 0.97 0.99 0.99 2/54 22519 /proc/meminfo: memFree=220340/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=285836 CPUtime=1.48 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 66383 414 0 0 130 18 0 0 20 0 1 0 12863801 292696064 49196 18446744073709551615 4194304 6763684 140735632586912 140735632582904 5518020 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 71459 49196 1059 628 0 48012 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 285836 [startup+3.1002 s] /proc/loadavg: 0.97 0.99 0.99 2/54 22519 /proc/meminfo: memFree=155240/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=334744 CPUtime=3.07 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 90963 414 0 0 285 22 0 0 20 0 1 0 12863801 342777856 61454 18446744073709551615 4194304 6763684 140735632586912 140735632582952 4363418 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 83686 61454 1068 628 0 60239 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 334744 [startup+6.3002 s] /proc/loadavg: 0.97 0.99 0.99 2/54 22519 /proc/meminfo: memFree=107128/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=343324 CPUtime=6.26 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 93108 414 0 0 602 24 0 0 20 0 1 0 12863801 351563776 63588 18446744073709551615 4194304 6763684 140735632586912 140735632583864 140279978192184 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 85831 63588 1073 628 0 62384 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 343324 [startup+12.7002 s] /proc/loadavg: 0.98 0.99 0.99 2/54 22519 /proc/meminfo: memFree=107004/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=343324 CPUtime=12.64 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 93109 414 0 0 1240 24 0 0 20 0 1 0 12863801 351563776 63588 18446744073709551615 4194304 6763684 140735632586912 140735632583864 140279978188613 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 85831 63588 1073 628 0 62384 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 343324 [startup+25.5002 s] /proc/loadavg: 0.98 0.99 0.99 2/54 22519 /proc/meminfo: memFree=107004/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=343324 CPUtime=25.39 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 93114 414 0 0 2515 24 0 0 20 0 1 0 12863801 351563776 63588 18446744073709551615 4194304 6763684 140735632586912 140735632583864 140279978188506 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 85831 63588 1073 628 0 62384 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 343324 [startup+51.1002 s] /proc/loadavg: 0.99 0.99 0.99 2/54 22519 /proc/meminfo: memFree=107004/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=343324 CPUtime=50.89 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 93115 414 0 0 5065 24 0 0 20 0 1 0 12863801 351563776 63588 18446744073709551615 4194304 6763684 140735632586912 140735632583864 140279978192176 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 85831 63588 1073 628 0 62384 0 Current children cumulated CPU time (s) 50.89 Current children cumulated vsize (KiB) 343324 [startup+102.3 s] /proc/loadavg: 0.99 0.99 0.99 2/54 22519 /proc/meminfo: memFree=106880/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=343324 CPUtime=101.89 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 93116 414 0 0 10165 24 0 0 20 0 1 0 12863801 351563776 63588 18446744073709551615 4194304 6763684 140735632586912 140735632583864 140279978188506 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 85831 63588 1073 628 0 62384 0 Current children cumulated CPU time (s) 101.89 Current children cumulated vsize (KiB) 343324 [startup+162.3 s] /proc/loadavg: 0.99 0.99 0.99 2/54 22519 /proc/meminfo: memFree=106880/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=343324 CPUtime=161.66 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 93116 414 0 0 16142 24 0 0 20 0 1 0 12863801 351563776 63588 18446744073709551615 4194304 6763684 140735632586912 140735632583864 4363317 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 85831 63588 1073 628 0 62384 0 Current children cumulated CPU time (s) 161.66 Current children cumulated vsize (KiB) 343324 [startup+222.303 s] /proc/loadavg: 0.99 0.99 0.99 2/54 22519 /proc/meminfo: memFree=106880/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=343324 CPUtime=221.43 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 93116 414 0 0 22119 24 0 0 20 0 1 0 12863801 351563776 63588 18446744073709551615 4194304 6763684 140735632586912 140735632583864 140279978188480 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 85831 63588 1073 628 0 62384 0 Current children cumulated CPU time (s) 221.43 Current children cumulated vsize (KiB) 343324 [startup+282.3 s] /proc/loadavg: 0.99 0.99 0.99 2/54 22519 /proc/meminfo: memFree=106880/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=343324 CPUtime=281.19 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 93116 414 0 0 28095 24 0 0 20 0 1 0 12863801 351563776 63588 18446744073709551615 4194304 6763684 140735632586912 140735632583864 140279978188506 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 85831 63588 1073 628 0 62384 0 Current children cumulated CPU time (s) 281.19 Current children cumulated vsize (KiB) 343324 Maximum wall clock time exceeded: sending signal-name then SIGKILL [startup+300 s] /proc/loadavg: 0.99 0.99 0.99 2/54 22519 /proc/meminfo: memFree=106880/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=343324 CPUtime=298.83 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 93116 414 0 0 29859 24 0 0 20 0 1 0 12863801 351563776 63588 18446744073709551615 4194304 6763684 140735632586912 140735632583864 140279978188536 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 85831 63588 1073 628 0 62384 0 Current children cumulated CPU time (s) 298.83 Current children cumulated vsize (KiB) 343324 Sending Terminated to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+300 s] /proc/loadavg: 0.99 0.99 0.99 2/54 22519 /proc/meminfo: memFree=106880/1022884 swapFree=0/0 [pid=22516] ppid=22515 vsize=343324 CPUtime=298.83 /proc/22516/stat : 22516 (smart) R 22515 22516 2806 34818 2806 4202496 93116 414 0 0 29859 24 0 0 20 0 1 0 12863801 351563776 63588 18446744073709551615 4194304 6763684 140735632586912 140735632583864 140279978188536 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/22516/statm: 85831 63588 1073 628 0 62384 0 Current children cumulated CPU time (s) 298.83 Current children cumulated vsize (KiB) 343324 Child ended because it received signal 15 (SIGTERM) Real time (s): 300.023 CPU time (s): 298.855 CPU user time (s): 298.591 CPU system time (s): 0.264016 CPU usage (%): 99.6105 Max. virtual memory (cumulated for all children) (KiB): 344144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 298.591 system time used= 0.264016 maximum resident set size= 254964 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93530 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= 7 involuntary context switches= 4365 runsolver used 0.364022 second user time and 0.80405 second system time The end