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/logs/2.runsolver.smart smart --config-file=/home/cbse/var/lib/smart/config install libgcj4-dev cacti gnubg kronolith ppp 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.92 0.75 0.36 2/57 3728 /proc/meminfo: memFree=455448/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=27248 CPUtime=0 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 898 0 0 0 0 0 0 0 20 0 1 0 952293 27901952 772 18446744073709551615 4194304 6763684 140735586460480 140735586446104 4411512 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 6812 772 491 628 0 271 0 [startup+0.167929 s] /proc/loadavg: 0.92 0.75 0.36 2/57 3728 /proc/meminfo: memFree=455448/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=118372 CPUtime=0.16 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 12459 413 0 0 13 3 0 0 20 0 1 0 952293 121212928 7349 18446744073709551615 4194304 6763684 140735586460480 140735586456472 5511698 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 29593 7349 1058 628 0 6146 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 118372 [startup+0.200268 s] /proc/loadavg: 0.92 0.75 0.36 2/57 3728 /proc/meminfo: memFree=455448/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=120932 CPUtime=0.19 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 13734 413 0 0 16 3 0 0 20 0 1 0 952293 123834368 7953 18446744073709551615 4194304 6763684 140735586460480 140735586456456 4411360 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 30233 7953 1059 628 0 6786 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 120932 [startup+0.300234 s] /proc/loadavg: 0.92 0.75 0.36 2/57 3728 /proc/meminfo: memFree=455448/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=135876 CPUtime=0.29 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 17497 413 0 0 25 4 0 0 20 0 1 0 952293 139137024 11716 18446744073709551615 4194304 6763684 140735586460480 140735586456472 5760544 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 33969 11716 1059 628 0 10522 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 135876 [startup+0.700181 s] /proc/loadavg: 0.92 0.75 0.36 2/57 3728 /proc/meminfo: memFree=455448/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=200004 CPUtime=0.69 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 36580 413 0 0 62 7 0 0 20 0 1 0 952293 204804096 27712 18446744073709551615 4194304 6763684 140735586460480 140735586456200 5748512 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 50001 27712 1059 628 0 26554 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 200004 [startup+1.5002 s] /proc/loadavg: 0.92 0.75 0.36 2/58 3731 /proc/meminfo: memFree=342112/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=207776 CPUtime=1.49 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 44754 413 0 0 139 10 0 0 20 0 1 0 952293 212762624 29708 18446744073709551615 4194304 6763684 140735586460480 140735586455616 4414165 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 51944 29708 1069 628 0 28497 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 207776 [startup+3.10019 s] /proc/loadavg: 0.92 0.75 0.36 2/58 3731 /proc/meminfo: memFree=340500/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=207776 CPUtime=3.08 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 44764 413 0 0 298 10 0 0 20 0 1 0 952293 212762624 29709 18446744073709551615 4194304 6763684 140735586460480 140735586457432 4363925 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 51944 29709 1070 628 0 28497 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 207776 [startup+6.30017 s] /proc/loadavg: 0.93 0.76 0.37 2/58 3731 /proc/meminfo: memFree=340500/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=207776 CPUtime=6.27 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 44764 413 0 0 617 10 0 0 20 0 1 0 952293 212762624 29709 18446744073709551615 4194304 6763684 140735586460480 140735586457432 140463081508570 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 51944 29709 1070 628 0 28497 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 207776 [startup+12.7002 s] /proc/loadavg: 0.93 0.76 0.37 2/58 3731 /proc/meminfo: memFree=340376/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=207776 CPUtime=12.65 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 44764 413 0 0 1255 10 0 0 20 0 1 0 952293 212762624 29709 18446744073709551615 4194304 6763684 140735586460480 140735586457432 140463081508570 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 51944 29709 1070 628 0 28497 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 207776 [startup+25.5002 s] /proc/loadavg: 0.95 0.77 0.38 2/58 3731 /proc/meminfo: memFree=340376/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=207776 CPUtime=25.39 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 44766 413 0 0 2529 10 0 0 20 0 1 0 952293 212762624 29711 18446744073709551615 4194304 6763684 140735586460480 140735586457432 140463081508704 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 51944 29711 1072 628 0 28497 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 207776 [startup+51.1002 s] /proc/loadavg: 0.96 0.79 0.39 2/57 3734 /proc/meminfo: memFree=340896/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=207776 CPUtime=50.88 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 44766 413 0 0 5078 10 0 0 20 0 1 0 952293 212762624 29711 18446744073709551615 4194304 6763684 140735586460480 140735586457432 140463063760577 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 51944 29711 1072 628 0 28497 0 Current children cumulated CPU time (s) 50.88 Current children cumulated vsize (KiB) 207776 [startup+102.3 s] /proc/loadavg: 0.98 0.82 0.42 2/57 3734 /proc/meminfo: memFree=340896/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=207776 CPUtime=101.89 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 44766 413 0 0 10179 10 0 0 20 0 1 0 952293 212762624 29711 18446744073709551615 4194304 6763684 140735586460480 140735586457432 140463063760577 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 51944 29711 1072 628 0 28497 0 Current children cumulated CPU time (s) 101.89 Current children cumulated vsize (KiB) 207776 [startup+162.3 s] /proc/loadavg: 0.99 0.85 0.46 2/57 3734 /proc/meminfo: memFree=340904/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=207776 CPUtime=161.66 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 44766 413 0 0 16156 10 0 0 20 0 1 0 952293 212762624 29711 18446744073709551615 4194304 6763684 140735586460480 140735586457432 5743665 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 51944 29711 1072 628 0 28497 0 Current children cumulated CPU time (s) 161.66 Current children cumulated vsize (KiB) 207776 [startup+222.307 s] /proc/loadavg: 0.99 0.87 0.49 2/57 3734 /proc/meminfo: memFree=340904/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=207776 CPUtime=221.42 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 44766 413 0 0 22132 10 0 0 20 0 1 0 952293 212762624 29711 18446744073709551615 4194304 6763684 140735586460480 140735586457432 140463081508570 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 51944 29711 1072 628 0 28497 0 Current children cumulated CPU time (s) 221.42 Current children cumulated vsize (KiB) 207776 [startup+282.3 s] /proc/loadavg: 0.99 0.89 0.52 2/57 3734 /proc/meminfo: memFree=340904/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=207776 CPUtime=281.19 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 44766 413 0 0 28109 10 0 0 20 0 1 0 952293 212762624 29711 18446744073709551615 4194304 6763684 140735586460480 140735586457432 140463081508594 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 51944 29711 1072 628 0 28497 0 Current children cumulated CPU time (s) 281.19 Current children cumulated vsize (KiB) 207776 Maximum wall clock time exceeded: sending signal-name then SIGKILL [startup+300 s] /proc/loadavg: 1.06 0.91 0.53 2/57 3734 /proc/meminfo: memFree=340904/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=207776 CPUtime=298.83 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 44766 413 0 0 29873 10 0 0 20 0 1 0 952293 212762624 29711 18446744073709551615 4194304 6763684 140735586460480 140735586457432 140463081508704 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 51944 29711 1072 628 0 28497 0 Current children cumulated CPU time (s) 298.83 Current children cumulated vsize (KiB) 207776 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 0.91 0.53 2/57 3734 /proc/meminfo: memFree=340904/1022884 swapFree=0/0 [pid=3728] ppid=3727 vsize=207776 CPUtime=298.83 /proc/3728/stat : 3728 (smart) R 3727 3728 2806 34818 2806 4202496 44766 413 0 0 29873 10 0 0 20 0 1 0 952293 212762624 29711 18446744073709551615 4194304 6763684 140735586460480 140735586457432 140463081508704 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/3728/statm: 51944 29711 1072 628 0 28497 0 Current children cumulated CPU time (s) 298.83 Current children cumulated vsize (KiB) 207776 Child ended because it received signal 15 (SIGTERM) Real time (s): 300.017 CPU time (s): 298.847 CPU user time (s): 298.735 CPU system time (s): 0.112007 CPU usage (%): 99.6099 Max. virtual memory (cumulated for all children) (KiB): 207776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 298.735 system time used= 0.112007 maximum resident set size= 120004 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45179 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= 4590 runsolver used 0.356022 second user time and 0.80005 second system time The end