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-sid/logs/70.runsolver.smart smart --config-file=/home/cbse/var/lib/smart/config install libformsgl1 dh-make bigloo-doc libauthen-sasl-cyrus-perl clamav 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.92 0.97 0.99 2/53 28003 /proc/meminfo: memFree=389124/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=3152 CPUtime=0 /proc/28003/stat : 28003 (runsolver) R 28002 2806 2806 34818 2806 4202560 0 0 0 0 0 0 0 0 20 0 1 0 16311698 3227648 32 18446744073709551615 134512640 134586868 4290448320 4290446368 4151919664 0 0 0 24578 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 788 32 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.160277 s] /proc/loadavg: 0.92 0.97 0.99 2/53 28003 /proc/meminfo: memFree=389124/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=121240 CPUtime=0.15 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 10375 0 0 0 11 4 0 0 20 0 1 0 16311698 124149760 9095 18446744073709551615 4194304 6763684 140734215734432 140734215729512 4726945 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 30310 9095 1043 628 0 7893 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 121240 [startup+0.20029 s] /proc/loadavg: 0.92 0.97 0.99 2/53 28003 /proc/meminfo: memFree=389124/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=133628 CPUtime=0.19 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 14940 0 0 0 15 4 0 0 20 0 1 0 16311698 136835072 12123 18446744073709551615 4194304 6763684 140734215734432 140734215729512 140475839946816 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 33407 12123 1043 628 0 10990 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 133628 [startup+0.300261 s] /proc/loadavg: 0.92 0.97 0.99 2/53 28003 /proc/meminfo: memFree=389124/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=136208 CPUtime=0.28 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 21509 412 0 0 22 6 0 0 20 0 1 0 16311698 139476992 11830 18446744073709551615 4194304 6763684 140734215734432 140734215730408 5518016 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 34052 11830 1058 628 0 10605 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 136208 [startup+0.700185 s] /proc/loadavg: 0.92 0.97 0.99 2/53 28003 /proc/meminfo: memFree=389124/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=186176 CPUtime=0.69 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 35540 412 0 0 61 8 0 0 20 0 1 0 16311698 190644224 24261 18446744073709551615 4194304 6763684 140734215734432 140734215730488 5763084 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 46544 24261 1059 628 0 23097 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 186176 [startup+1.50019 s] /proc/loadavg: 0.92 0.97 0.99 2/54 28006 /proc/meminfo: memFree=247252/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=289624 CPUtime=1.48 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 67590 412 0 0 134 14 0 0 20 0 1 0 16311698 296574976 50163 18446744073709551615 4194304 6763684 140734215734432 140734215730488 5518020 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 72406 50163 1059 628 0 48959 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 289624 [startup+3.10023 s] /proc/loadavg: 0.92 0.97 0.99 2/54 28006 /proc/meminfo: memFree=119408/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=349012 CPUtime=3.08 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 94730 412 0 0 288 20 0 0 20 0 1 0 16311698 357388288 64980 18446744073709551615 4194304 6763684 140734215734432 140734215730472 5518020 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 87253 64980 1068 628 0 63806 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 349012 [startup+6.30019 s] /proc/loadavg: 0.93 0.97 0.99 2/54 28006 /proc/meminfo: memFree=115936/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=365568 CPUtime=6.26 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 98907 412 0 0 604 22 0 0 20 0 1 0 16311698 374341632 69146 18446744073709551615 4194304 6763684 140734215734432 140734215731384 140475840503514 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 91392 69146 1072 628 0 67945 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 365568 [startup+12.7002 s] /proc/loadavg: 0.94 0.97 0.99 2/54 28006 /proc/meminfo: memFree=115812/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=365568 CPUtime=12.64 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 98908 412 0 0 1242 22 0 0 20 0 1 0 16311698 374341632 69147 18446744073709551615 4194304 6763684 140734215734432 140734215731384 140475822755521 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 365568 [startup+25.5002 s] /proc/loadavg: 0.95 0.97 0.99 2/54 28006 /proc/meminfo: memFree=115812/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=365568 CPUtime=25.39 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 98915 412 0 0 2517 22 0 0 20 0 1 0 16311698 374341632 69147 18446744073709551615 4194304 6763684 140734215734432 140734215731384 140475840503648 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 365568 [startup+51.1002 s] /proc/loadavg: 0.97 0.97 0.99 2/54 28006 /proc/meminfo: memFree=115688/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=365568 CPUtime=50.89 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 98915 412 0 0 5067 22 0 0 20 0 1 0 16311698 374341632 69147 18446744073709551615 4194304 6763684 140734215734432 140734215731384 140475840503514 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 50.89 Current children cumulated vsize (KiB) 365568 [startup+102.3 s] /proc/loadavg: 0.98 0.97 0.99 2/54 28006 /proc/meminfo: memFree=115564/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=365568 CPUtime=101.9 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 98915 412 0 0 10168 22 0 0 20 0 1 0 16311698 374341632 69147 18446744073709551615 4194304 6763684 140734215734432 140734215731384 140475840503662 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 101.9 Current children cumulated vsize (KiB) 365568 [startup+162.3 s] /proc/loadavg: 0.99 0.97 0.99 2/54 28006 /proc/meminfo: memFree=115564/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=365568 CPUtime=161.67 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 98915 412 0 0 16145 22 0 0 20 0 1 0 16311698 374341632 69147 18446744073709551615 4194304 6763684 140734215734432 140734215731384 140475840503514 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 161.67 Current children cumulated vsize (KiB) 365568 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.99 2/54 28006 /proc/meminfo: memFree=115564/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=365568 CPUtime=221.45 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 98915 412 0 0 22123 22 0 0 20 0 1 0 16311698 374341632 69147 18446744073709551615 4194304 6763684 140734215734432 140734215731384 140475840503514 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 221.45 Current children cumulated vsize (KiB) 365568 [startup+282.3 s] /proc/loadavg: 0.99 0.97 0.99 2/54 28006 /proc/meminfo: memFree=115564/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=365568 CPUtime=281.22 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 98915 412 0 0 28100 22 0 0 20 0 1 0 16311698 374341632 69147 18446744073709551615 4194304 6763684 140734215734432 140734215731384 140475840503648 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 281.22 Current children cumulated vsize (KiB) 365568 Maximum wall clock time exceeded: sending signal-name then SIGKILL [startup+300 s] /proc/loadavg: 0.99 0.97 0.99 2/54 28006 /proc/meminfo: memFree=115564/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=365568 CPUtime=298.86 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 98915 412 0 0 29864 22 0 0 20 0 1 0 16311698 374341632 69147 18446744073709551615 4194304 6763684 140734215734432 140734215731384 140475840503648 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 298.86 Current children cumulated vsize (KiB) 365568 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.97 0.99 2/54 28006 /proc/meminfo: memFree=115564/1022884 swapFree=0/0 [pid=28003] ppid=28002 vsize=365568 CPUtime=298.86 /proc/28003/stat : 28003 (smart) R 28002 28003 2806 34818 2806 4202496 98915 412 0 0 29864 22 0 0 20 0 1 0 16311698 374341632 69147 18446744073709551615 4194304 6763684 140734215734432 140734215731384 140475840503648 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28003/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 298.86 Current children cumulated vsize (KiB) 365568 Child ended because it received signal 15 (SIGTERM) Real time (s): 300.024 CPU time (s): 298.891 CPU user time (s): 298.647 CPU system time (s): 0.244015 CPU usage (%): 99.6222 Max. virtual memory (cumulated for all children) (KiB): 365568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 298.647 system time used= 0.244015 maximum resident set size= 276588 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99327 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= 4397 runsolver used 0.216013 second user time and 0.916057 second system time The end