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/110.runsolver.smart smart --config-file=/home/cbse/var/lib/smart/config remove libvorbis-ocaml sed libgnomeprintui2.2-0 quanta-data libsvn0 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.98 2/53 21998 /proc/meminfo: memFree=358616/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=26808 CPUtime=0 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 597 0 0 0 0 0 0 0 20 0 1 0 12652392 27451392 490 18446744073709551615 4194304 6763684 140733746762048 140733746752584 4353659 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 6702 490 366 628 0 161 0 [startup+0.132349 s] /proc/loadavg: 0.99 0.97 0.98 2/53 21998 /proc/meminfo: memFree=358616/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=118616 CPUtime=0.12 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 9532 0 0 0 8 4 0 0 20 0 1 0 12652392 121462784 8252 18446744073709551615 4194304 6763684 140733746762048 140733746756696 139920265207288 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 29654 8252 1043 628 0 7237 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 118616 [startup+0.20025 s] /proc/loadavg: 0.99 0.97 0.98 2/53 21998 /proc/meminfo: memFree=358616/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=131312 CPUtime=0.19 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 14405 0 0 0 14 5 0 0 20 0 1 0 12652392 134463488 11588 18446744073709551615 4194304 6763684 140733746762048 140733746757128 139920284030624 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 32828 11588 1043 628 0 10411 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 131312 [startup+0.30024 s] /proc/loadavg: 0.99 0.97 0.98 2/53 21998 /proc/meminfo: memFree=358616/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=135824 CPUtime=0.28 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 19409 414 0 0 20 8 0 0 20 0 1 0 12652392 139083776 11727 18446744073709551615 4194304 6763684 140733746762048 140733746758040 5763084 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 33956 11727 1058 628 0 10509 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 135824 [startup+0.700207 s] /proc/loadavg: 0.99 0.97 0.98 2/53 21998 /proc/meminfo: memFree=358616/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=181580 CPUtime=0.68 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 34202 414 0 0 58 10 0 0 20 0 1 0 12652392 185937920 23161 18446744073709551615 4194304 6763684 140733746762048 140733746758104 5254409 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 45395 23161 1059 628 0 21948 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 181580 [startup+1.50021 s] /proc/loadavg: 0.99 0.97 0.98 2/54 22001 /proc/meminfo: memFree=222464/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=285840 CPUtime=1.48 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 66386 414 0 0 130 18 0 0 20 0 1 0 12652392 292700160 49196 18446744073709551615 4194304 6763684 140733746762048 140733746758040 5518020 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 71460 49196 1059 628 0 48013 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 285840 [startup+3.10021 s] /proc/loadavg: 0.99 0.97 0.98 2/54 22001 /proc/meminfo: memFree=155876/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=332764 CPUtime=3.08 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 90410 414 0 0 284 24 0 0 20 0 1 0 12652392 340750336 60898 18446744073709551615 4194304 6763684 140733746762048 140733746758088 4363418 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 83191 60898 1068 628 0 59744 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 332764 [startup+6.3002 s] /proc/loadavg: 0.99 0.97 0.98 2/54 22001 /proc/meminfo: memFree=107888/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=343328 CPUtime=6.27 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 93113 414 0 0 602 25 0 0 20 0 1 0 12652392 351567872 63590 18446744073709551615 4194304 6763684 140733746762048 140733746759000 139920248037057 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 85832 63590 1073 628 0 62385 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 343328 [startup+12.7002 s] /proc/loadavg: 0.99 0.97 0.98 2/54 22001 /proc/meminfo: memFree=107764/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=343328 CPUtime=12.64 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 93113 414 0 0 1239 25 0 0 20 0 1 0 12652392 351567872 63590 18446744073709551615 4194304 6763684 140733746762048 140733746759000 139920265788720 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 85832 63590 1073 628 0 62385 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 343328 [startup+25.5003 s] /proc/loadavg: 0.99 0.97 0.98 2/54 22001 /proc/meminfo: memFree=107764/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=343328 CPUtime=25.39 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 93113 414 0 0 2514 25 0 0 20 0 1 0 12652392 351567872 63590 18446744073709551615 4194304 6763684 140733746762048 140733746759000 139920265785198 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 85832 63590 1073 628 0 62385 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 343328 [startup+51.1002 s] /proc/loadavg: 0.99 0.97 0.98 2/54 22001 /proc/meminfo: memFree=107764/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=343328 CPUtime=50.89 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 93113 414 0 0 5064 25 0 0 20 0 1 0 12652392 351567872 63590 18446744073709551615 4194304 6763684 140733746762048 140733746759000 139920248037057 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 85832 63590 1073 628 0 62385 0 Current children cumulated CPU time (s) 50.89 Current children cumulated vsize (KiB) 343328 [startup+102.3 s] /proc/loadavg: 0.99 0.97 0.98 2/54 22001 /proc/meminfo: memFree=107640/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=343328 CPUtime=101.89 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 93113 414 0 0 10164 25 0 0 20 0 1 0 12652392 351567872 63590 18446744073709551615 4194304 6763684 140733746762048 140733746759000 139920265785184 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 85832 63590 1073 628 0 62385 0 Current children cumulated CPU time (s) 101.89 Current children cumulated vsize (KiB) 343328 [startup+162.3 s] /proc/loadavg: 0.99 0.97 0.98 2/54 22001 /proc/meminfo: memFree=107640/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=343328 CPUtime=161.66 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 93113 414 0 0 16141 25 0 0 20 0 1 0 12652392 351567872 63590 18446744073709551615 4194304 6763684 140733746762048 140733746759000 139920265785184 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 85832 63590 1073 628 0 62385 0 Current children cumulated CPU time (s) 161.66 Current children cumulated vsize (KiB) 343328 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.98 2/54 22001 /proc/meminfo: memFree=107640/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=343328 CPUtime=221.43 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 93113 414 0 0 22118 25 0 0 20 0 1 0 12652392 351567872 63590 18446744073709551615 4194304 6763684 140733746762048 140733746759000 139920265785050 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 85832 63590 1073 628 0 62385 0 Current children cumulated CPU time (s) 221.43 Current children cumulated vsize (KiB) 343328 [startup+282.3 s] /proc/loadavg: 1.08 1.00 0.99 2/54 22229 /proc/meminfo: memFree=107136/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=343328 CPUtime=278.29 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 93113 414 0 0 27804 25 0 0 20 0 1 0 12652392 351567872 63590 18446744073709551615 4194304 6763684 140733746762048 140733746759000 139920265785050 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 85832 63590 1073 628 0 62385 0 Current children cumulated CPU time (s) 278.29 Current children cumulated vsize (KiB) 343328 Maximum wall clock time exceeded: sending signal-name then SIGKILL [startup+300 s] /proc/loadavg: 1.06 1.00 0.99 2/54 22229 /proc/meminfo: memFree=107136/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=343328 CPUtime=295.93 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 93113 414 0 0 29568 25 0 0 20 0 1 0 12652392 351567872 63590 18446744073709551615 4194304 6763684 140733746762048 140733746759000 139920265785050 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 85832 63590 1073 628 0 62385 0 Current children cumulated CPU time (s) 295.93 Current children cumulated vsize (KiB) 343328 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: 1.06 1.00 0.99 2/54 22229 /proc/meminfo: memFree=107136/1022884 swapFree=0/0 [pid=21998] ppid=21997 vsize=343328 CPUtime=295.93 /proc/21998/stat : 21998 (smart) R 21997 21998 2806 34818 2806 4202496 93113 414 0 0 29568 25 0 0 20 0 1 0 12652392 351567872 63590 18446744073709551615 4194304 6763684 140733746762048 140733746759000 139920265785050 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/21998/statm: 85832 63590 1073 628 0 62385 0 Current children cumulated CPU time (s) 295.93 Current children cumulated vsize (KiB) 343328 Child ended because it received signal 15 (SIGTERM) Real time (s): 300.026 CPU time (s): 295.959 CPU user time (s): 295.686 CPU system time (s): 0.272017 CPU usage (%): 98.6443 Max. virtual memory (cumulated for all children) (KiB): 343328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 295.686 system time used= 0.272017 maximum resident set size= 254964 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93527 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= 6 involuntary context switches= 5103 runsolver used 0.456028 second user time and 0.712044 second system time The end