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/74.runsolver.smart smart --config-file=/home/cbse/var/lib/smart/config install libhttp-ocaml-dev librsvg2-ruby libsvga1-dev regexplorer librlog1 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.99 0.97 0.98 2/53 28038 /proc/meminfo: memFree=388744/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=3152 CPUtime=0 /proc/28038/stat : 28038 (runsolver) R 28037 2806 2806 34818 2806 4202560 0 0 0 0 0 0 0 0 20 0 1 0 16432504 3227648 32 18446744073709551615 134512640 134586868 4286699984 4286698032 4152194096 0 0 0 24578 0 0 0 17 0 0 0 0 0 0 /proc/28038/statm: 788 32 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.137867 s] /proc/loadavg: 0.99 0.97 0.98 2/53 28038 /proc/meminfo: memFree=388744/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=119684 CPUtime=0.13 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 9958 0 0 0 9 4 0 0 20 0 1 0 16432504 122556416 8678 18446744073709551615 4194304 6763684 140733882310272 140733882305272 5763084 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 /proc/28038/statm: 29921 8678 1043 628 0 7504 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 119684 [startup+0.200266 s] /proc/loadavg: 0.99 0.97 0.98 2/53 28038 /proc/meminfo: memFree=388744/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=132852 CPUtime=0.19 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 14825 0 0 0 14 5 0 0 20 0 1 0 16432504 136040448 12008 18446744073709551615 4194304 6763684 140733882310272 140733882305352 4643907 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 /proc/28038/statm: 33213 12008 1043 628 0 10796 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 132852 [startup+0.30026 s] /proc/loadavg: 0.99 0.97 0.98 2/53 28038 /proc/meminfo: memFree=388744/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=136212 CPUtime=0.28 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 21507 413 0 0 21 7 0 0 20 0 1 0 16432504 139481088 11831 18446744073709551615 4194304 6763684 140733882310272 140733882306248 5511917 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/28038/statm: 34053 11831 1058 628 0 10606 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 136212 [startup+0.700202 s] /proc/loadavg: 0.99 0.97 0.98 2/53 28038 /proc/meminfo: memFree=388744/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=186180 CPUtime=0.69 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 35539 413 0 0 59 10 0 0 20 0 1 0 16432504 190648320 24263 18446744073709551615 4194304 6763684 140733882310272 140733882306328 5763084 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/28038/statm: 46545 24263 1059 628 0 23098 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 186180 [startup+1.50019 s] /proc/loadavg: 0.99 0.97 0.98 2/54 28041 /proc/meminfo: memFree=246880/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=289632 CPUtime=1.48 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 67590 413 0 0 131 17 0 0 20 0 1 0 16432504 296583168 50163 18446744073709551615 4194304 6763684 140733882310272 140733882306328 5518020 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/28038/statm: 72408 50163 1059 628 0 48961 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 289632 [startup+3.1002 s] /proc/loadavg: 0.99 0.97 0.98 2/54 28041 /proc/meminfo: memFree=123748/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=347600 CPUtime=3.08 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 94394 413 0 0 285 23 0 0 20 0 1 0 16432504 355942400 64646 18446744073709551615 4194304 6763684 140733882310272 140733882306632 4493562 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28038/statm: 86900 64646 1068 628 0 63453 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 347600 [startup+6.30019 s] /proc/loadavg: 0.99 0.97 0.98 2/54 28041 /proc/meminfo: memFree=115688/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=365568 CPUtime=6.26 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 98903 413 0 0 602 24 0 0 20 0 1 0 16432504 374341632 69144 18446744073709551615 4194304 6763684 140733882310272 140733882307224 140616853991088 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28038/statm: 91392 69144 1070 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.99 0.97 0.98 2/54 28041 /proc/meminfo: memFree=115564/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=365568 CPUtime=12.64 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 98908 413 0 0 1240 24 0 0 20 0 1 0 16432504 374341632 69147 18446744073709551615 4194304 6763684 140733882310272 140733882307224 140616871739232 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28038/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.99 0.97 0.98 2/54 28041 /proc/meminfo: memFree=115564/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=365568 CPUtime=25.39 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 98912 413 0 0 2515 24 0 0 20 0 1 0 16432504 374341632 69147 18446744073709551615 4194304 6763684 140733882310272 140733882307224 4413807 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28038/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.99 0.97 0.98 2/54 28041 /proc/meminfo: memFree=115564/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=365568 CPUtime=50.89 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 98913 413 0 0 5065 24 0 0 20 0 1 0 16432504 374341632 69147 18446744073709551615 4194304 6763684 140733882310272 140733882307224 140616871740936 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28038/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.99 0.97 0.98 2/54 28041 /proc/meminfo: memFree=115440/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=365568 CPUtime=101.9 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 98913 413 0 0 10166 24 0 0 20 0 1 0 16432504 374341632 69147 18446744073709551615 4194304 6763684 140733882310272 140733882307224 140616871739232 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28038/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.98 2/54 28041 /proc/meminfo: memFree=115440/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=365568 CPUtime=161.68 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 98913 413 0 0 16144 24 0 0 20 0 1 0 16432504 374341632 69147 18446744073709551615 4194304 6763684 140733882310272 140733882307224 140616853991105 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28038/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 161.68 Current children cumulated vsize (KiB) 365568 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.98 2/54 28041 /proc/meminfo: memFree=115440/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=365568 CPUtime=221.45 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 98913 413 0 0 22121 24 0 0 20 0 1 0 16432504 374341632 69147 18446744073709551615 4194304 6763684 140733882310272 140733882307224 140616871739232 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28038/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: 1.03 0.99 0.98 2/54 28041 /proc/meminfo: memFree=115440/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=365568 CPUtime=281.23 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 98913 413 0 0 28099 24 0 0 20 0 1 0 16432504 374341632 69147 18446744073709551615 4194304 6763684 140733882310272 140733882307224 4364368 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28038/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 281.23 Current children cumulated vsize (KiB) 365568 Maximum wall clock time exceeded: sending signal-name then SIGKILL [startup+300 s] /proc/loadavg: 1.03 0.99 0.98 2/54 28041 /proc/meminfo: memFree=115440/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=365568 CPUtime=298.86 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 98913 413 0 0 29862 24 0 0 20 0 1 0 16432504 374341632 69147 18446744073709551615 4194304 6763684 140733882310272 140733882307224 140616871739098 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28038/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: 1.03 0.99 0.98 2/54 28041 /proc/meminfo: memFree=115440/1022884 swapFree=0/0 [pid=28038] ppid=28037 vsize=365568 CPUtime=298.86 /proc/28038/stat : 28038 (smart) R 28037 28038 2806 34818 2806 4202496 98913 413 0 0 29862 24 0 0 20 0 1 0 16432504 374341632 69147 18446744073709551615 4194304 6763684 140733882310272 140733882307224 140616871739098 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/28038/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.899 CPU user time (s): 298.635 CPU system time (s): 0.264016 CPU usage (%): 99.6248 Max. virtual memory (cumulated for all children) (KiB): 365568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 298.635 system time used= 0.264016 maximum resident set size= 276588 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99326 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= 4338 runsolver used 0.444027 second user time and 0.684042 second system time The end