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/logs/9.runsolver.smart smart --config-file=/home/cbse/var/lib/smart/config install nrg2iso ipopd ttf-junicode python2.4-svn yacas-proteus 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.27 0.06 0.02 2/57 2899 /proc/meminfo: memFree=487108/1022884 swapFree=0/0 [pid=2899] ppid=2898 vsize=3152 CPUtime=0 /proc/2899/stat : 2899 (runsolver) R 2898 2806 2806 34818 2806 4202560 0 0 0 0 0 0 0 0 20 0 1 0 907920 3227648 32 18446744073709551615 134512640 134586868 4290117168 4290115216 4151264304 0 0 0 24578 0 0 0 17 0 0 0 0 0 0 /proc/2899/statm: 788 32 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.127669 s] /proc/loadavg: 0.27 0.06 0.02 2/57 2899 /proc/meminfo: memFree=487108/1022884 swapFree=0/0 [pid=2899] ppid=2898 vsize=110688 CPUtime=0.12 /proc/2899/stat : 2899 (smart) R 2898 2899 2806 34818 2806 4202496 7620 413 0 0 9 3 0 0 20 0 1 0 907920 113344512 5401 18446744073709551615 4194304 6763684 140734395093696 140734395089752 5254566 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/2899/statm: 27672 5401 1058 628 0 4225 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 110688 [startup+0.200264 s] /proc/loadavg: 0.27 0.06 0.02 2/57 2899 /proc/meminfo: memFree=487108/1022884 swapFree=0/0 [pid=2899] ppid=2898 vsize=121284 CPUtime=0.19 /proc/2899/stat : 2899 (smart) R 2898 2899 2806 34818 2806 4202496 11503 413 0 0 16 3 0 0 20 0 1 0 907920 124194816 8079 18446744073709551615 4194304 6763684 140734395093696 140734395089752 4350166 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/2899/statm: 30321 8079 1058 628 0 6874 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 121284 [startup+0.300246 s] /proc/loadavg: 0.27 0.06 0.02 2/57 2899 /proc/meminfo: memFree=487108/1022884 swapFree=0/0 [pid=2899] ppid=2898 vsize=135772 CPUtime=0.29 /proc/2899/stat : 2899 (smart) R 2898 2899 2806 34818 2806 4202496 15140 413 0 0 24 5 0 0 20 0 1 0 907920 139030528 11716 18446744073709551615 4194304 6763684 140734395093696 140734395089752 4411365 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/2899/statm: 33943 11716 1058 628 0 10496 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 135772 [startup+0.700234 s] /proc/loadavg: 0.27 0.06 0.02 2/57 2899 /proc/meminfo: memFree=487108/1022884 swapFree=0/0 [pid=2899] ppid=2898 vsize=152144 CPUtime=0.69 /proc/2899/stat : 2899 (smart) R 2898 2899 2806 34818 2806 4202496 23883 413 0 0 61 8 0 0 20 0 1 0 907920 155795456 15804 18446744073709551615 4194304 6763684 140734395093696 140734395088832 140666157790018 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/2899/statm: 38036 15804 1069 628 0 14589 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 152144 Solver just ended. Dumping a history of the last processes samples [startup+0.800285 s] /proc/loadavg: 0.27 0.06 0.02 2/57 2899 /proc/meminfo: memFree=487108/1022884 swapFree=0/0 [pid=2899] ppid=2898 vsize=152152 CPUtime=0.79 /proc/2899/stat : 2899 (smart) R 2898 2899 2806 34818 2806 4202496 23923 413 0 0 71 8 0 0 20 0 1 0 907920 155803648 15812 18446744073709551615 4194304 6763684 140734395093696 140734395092584 5517904 0 0 16777216 0 0 0 0 17 0 0 0 0 0 0 /proc/2899/statm: 38038 15812 1076 628 0 14591 0 Current children cumulated CPU time (s) 0.79 Current children cumulated vsize (KiB) 152152 Child status: 0 Real time (s): 0.852661 CPU time (s): 0.848052 CPU user time (s): 0.760047 CPU system time (s): 0.088005 CPU usage (%): 99.4595 Max. virtual memory (cumulated for all children) (KiB): 152152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.760047 system time used= 0.088005 maximum resident set size= 64672 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24760 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= 20 runsolver used 0 second user time and 0.008 second system time The end