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/22.runsolver.smart smart --config-file=/home/cbse/var/lib/smart/config install python2.3-psycopg tct python-xml guile-library ale 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.07 1.00 0.99 2/53 25770 /proc/meminfo: memFree=393652/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=3152 CPUtime=0 /proc/25770/stat : 25770 (runsolver) R 25769 2806 2806 34818 2806 4202560 0 0 0 0 0 0 0 0 20 0 1 0 14891657 3227648 32 18446744073709551615 134512640 134586868 4288790528 4288788576 4151534640 0 0 0 24578 0 0 0 17 0 0 0 0 0 0 /proc/25770/statm: 788 32 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.125292 s] /proc/loadavg: 1.07 1.00 0.99 2/53 25770 /proc/meminfo: memFree=393652/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=118968 CPUtime=0.11 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 9769 0 0 0 10 1 0 0 20 0 1 0 14891657 121823232 8489 18446744073709551615 4194304 6763684 140737194545152 140737194539800 5315152 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 /proc/25770/statm: 29742 8489 1043 628 0 7325 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 118968 [startup+0.200257 s] /proc/loadavg: 1.07 1.00 0.99 2/53 25770 /proc/meminfo: memFree=393652/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=134416 CPUtime=0.19 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 15131 0 0 0 16 3 0 0 20 0 1 0 14891657 137641984 12314 18446744073709551615 4194304 6763684 140737194545152 140737194540008 139644470055933 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 /proc/25770/statm: 33604 12314 1043 628 0 11187 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 134416 [startup+0.300263 s] /proc/loadavg: 1.07 1.00 0.99 2/53 25770 /proc/meminfo: memFree=393652/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=136216 CPUtime=0.29 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 21506 414 0 0 23 6 0 0 20 0 1 0 14891657 139485184 11830 18446744073709551615 4194304 6763684 140737194545152 140737194541128 5763274 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/25770/statm: 34054 11830 1058 628 0 10607 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 136216 [startup+0.7002 s] /proc/loadavg: 1.07 1.00 0.99 2/53 25770 /proc/meminfo: memFree=393652/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=186188 CPUtime=0.69 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 35537 414 0 0 58 11 0 0 20 0 1 0 14891657 190656512 24262 18446744073709551615 4194304 6763684 140737194545152 140737194541208 5518020 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/25770/statm: 46547 24262 1059 628 0 23100 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 186188 [startup+1.50021 s] /proc/loadavg: 1.07 1.00 0.99 2/54 25773 /proc/meminfo: memFree=251788/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=289632 CPUtime=1.48 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 67586 414 0 0 130 18 0 0 20 0 1 0 14891657 296583168 50163 18446744073709551615 4194304 6763684 140737194545152 140737194541208 5511899 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/25770/statm: 72408 50163 1059 628 0 48961 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 289632 [startup+3.10021 s] /proc/loadavg: 1.07 1.00 0.99 2/54 25773 /proc/meminfo: memFree=121588/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=351040 CPUtime=3.08 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 95220 414 0 0 282 26 0 0 20 0 1 0 14891657 359464960 65476 18446744073709551615 4194304 6763684 140737194545152 140737194541192 139644434069513 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/25770/statm: 87760 65476 1068 628 0 64313 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 351040 [startup+6.3002 s] /proc/loadavg: 1.07 1.00 0.99 2/54 25773 /proc/meminfo: memFree=120472/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=365568 CPUtime=6.27 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 98901 414 0 0 600 27 0 0 20 0 1 0 14891657 374341632 69146 18446744073709551615 4194304 6763684 140737194545152 140737194542104 139644451814704 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/25770/statm: 91392 69146 1072 628 0 67945 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 365568 [startup+12.7002 s] /proc/loadavg: 1.06 1.00 0.99 2/54 25773 /proc/meminfo: memFree=120348/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=365568 CPUtime=12.64 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 98903 414 0 0 1237 27 0 0 20 0 1 0 14891657 374341632 69147 18446744073709551615 4194304 6763684 140737194545152 140737194542104 139644451811182 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/25770/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: 1.05 1.00 0.99 2/54 25773 /proc/meminfo: memFree=120348/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=365568 CPUtime=25.39 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 98908 414 0 0 2512 27 0 0 20 0 1 0 14891657 374341632 69147 18446744073709551615 4194304 6763684 140737194545152 140737194542104 4413807 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/25770/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: 1.03 1.00 0.99 2/54 25773 /proc/meminfo: memFree=120224/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=365568 CPUtime=50.89 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 98909 414 0 0 5062 27 0 0 20 0 1 0 14891657 374341632 69147 18446744073709551615 4194304 6763684 140737194545152 140737194542104 139644451811034 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/25770/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: 1.01 1.00 0.99 2/54 25773 /proc/meminfo: memFree=120100/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=365568 CPUtime=101.89 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 98910 414 0 0 10162 27 0 0 20 0 1 0 14891657 374341632 69147 18446744073709551615 4194304 6763684 140737194545152 140737194542104 139644434063041 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/25770/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 101.89 Current children cumulated vsize (KiB) 365568 [startup+162.3 s] /proc/loadavg: 1.00 1.00 0.99 2/54 25773 /proc/meminfo: memFree=120100/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=365568 CPUtime=161.66 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 98910 414 0 0 16139 27 0 0 20 0 1 0 14891657 374341632 69147 18446744073709551615 4194304 6763684 140737194545152 140737194542104 139644434063041 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/25770/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 161.66 Current children cumulated vsize (KiB) 365568 [startup+222.303 s] /proc/loadavg: 1.00 1.00 0.99 2/54 25773 /proc/meminfo: memFree=120100/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=365568 CPUtime=221.43 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 98910 414 0 0 22116 27 0 0 20 0 1 0 14891657 374341632 69147 18446744073709551615 4194304 6763684 140737194545152 140737194542104 5156044 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/25770/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 221.43 Current children cumulated vsize (KiB) 365568 [startup+282.3 s] /proc/loadavg: 1.00 1.00 0.99 2/54 25773 /proc/meminfo: memFree=120100/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=365568 CPUtime=281.2 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 98910 414 0 0 28093 27 0 0 20 0 1 0 14891657 374341632 69147 18446744073709551615 4194304 6763684 140737194545152 140737194542104 139644434063041 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/25770/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 281.2 Current children cumulated vsize (KiB) 365568 Maximum wall clock time exceeded: sending signal-name then SIGKILL [startup+300 s] /proc/loadavg: 1.00 1.00 0.99 2/54 25773 /proc/meminfo: memFree=120100/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=365568 CPUtime=298.83 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 98910 414 0 0 29856 27 0 0 20 0 1 0 14891657 374341632 69147 18446744073709551615 4194304 6763684 140737194545152 140737194542104 139644451812872 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/25770/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 298.83 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.00 1.00 0.99 2/54 25773 /proc/meminfo: memFree=120100/1022884 swapFree=0/0 [pid=25770] ppid=25769 vsize=365568 CPUtime=298.83 /proc/25770/stat : 25770 (smart) R 25769 25770 2806 34818 2806 4202496 98910 414 0 0 29856 27 0 0 20 0 1 0 14891657 374341632 69147 18446744073709551615 4194304 6763684 140737194545152 140737194542104 139644451812872 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/25770/statm: 91392 69147 1073 628 0 67945 0 Current children cumulated CPU time (s) 298.83 Current children cumulated vsize (KiB) 365568 Child ended because it received signal 15 (SIGTERM) Real time (s): 300.022 CPU time (s): 298.867 CPU user time (s): 298.571 CPU system time (s): 0.296018 CPU usage (%): 99.6149 Max. virtual memory (cumulated for all children) (KiB): 365568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 298.571 system time used= 0.296018 maximum resident set size= 276588 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99324 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= 4328 runsolver used 0.48803 second user time and 0.668041 second system time The end