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/47.runsolver.smart smart --config-file=/home/cbse/var/lib/smart/config install rdoc1.8 libfontconfig1-dbg file libopenh323-doc tcpdump 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.55 0.15 0.05 2/57 3089 /proc/meminfo: memFree=486548/1022884 swapFree=0/0 [pid=3089] ppid=3088 vsize=26808 CPUtime=0 /proc/3089/stat : 3089 (smart) R 3088 3089 2806 34818 2806 4202496 609 0 0 0 0 0 0 0 20 0 1 0 911105 27451392 500 18446744073709551615 4194304 6763684 140736258484512 140736258475048 5748818 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/3089/statm: 6702 500 370 628 0 161 0 [startup+0.162064 s] /proc/loadavg: 0.55 0.15 0.05 2/57 3089 /proc/meminfo: memFree=486548/1022884 swapFree=0/0 [pid=3089] ppid=3088 vsize=116592 CPUtime=0.15 /proc/3089/stat : 3089 (smart) R 3088 3089 2806 34818 2806 4202496 10264 413 0 0 12 3 0 0 20 0 1 0 911105 119390208 6869 18446744073709551615 4194304 6763684 140736258484512 140736258480504 5518020 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/3089/statm: 29148 6869 1058 628 0 5701 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 116592 [startup+0.200269 s] /proc/loadavg: 0.55 0.15 0.05 2/57 3089 /proc/meminfo: memFree=486548/1022884 swapFree=0/0 [pid=3089] ppid=3088 vsize=121416 CPUtime=0.18 /proc/3089/stat : 3089 (smart) R 3088 3089 2806 34818 2806 4202496 11532 413 0 0 15 3 0 0 20 0 1 0 911105 124329984 8107 18446744073709551615 4194304 6763684 140736258484512 140736258480504 140650509259773 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/3089/statm: 30354 8107 1058 628 0 6907 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 121416 [startup+0.30024 s] /proc/loadavg: 0.55 0.15 0.05 2/57 3089 /proc/meminfo: memFree=486548/1022884 swapFree=0/0 [pid=3089] ppid=3088 vsize=136608 CPUtime=0.29 /proc/3089/stat : 3089 (smart) R 3088 3089 2806 34818 2806 4202496 15328 413 0 0 24 5 0 0 20 0 1 0 911105 139886592 11903 18446744073709551615 4194304 6763684 140736258484512 140736258480504 140650509260448 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/3089/statm: 34152 11903 1058 628 0 10705 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 136608 [startup+0.700197 s] /proc/loadavg: 0.55 0.15 0.05 2/57 3089 /proc/meminfo: memFree=486548/1022884 swapFree=0/0 [pid=3089] ppid=3088 vsize=152144 CPUtime=0.66 /proc/3089/stat : 3089 (smart) R 3088 3089 2806 34818 2806 4202496 23890 413 0 0 58 8 0 0 20 0 1 0 911105 155795456 15804 18446744073709551615 4194304 6763684 140736258484512 140736258481464 4364464 0 0 16777216 134217734 0 0 0 17 0 0 0 2 0 0 /proc/3089/statm: 38036 15804 1069 628 0 14589 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 152144 Solver just ended. Dumping a history of the last processes samples [startup+0.800247 s] /proc/loadavg: 0.55 0.15 0.05 2/57 3089 /proc/meminfo: memFree=486548/1022884 swapFree=0/0 [pid=3089] ppid=3088 vsize=152152 CPUtime=0.76 /proc/3089/stat : 3089 (smart) R 3088 3089 2806 34818 2806 4202496 23924 413 0 0 68 8 0 0 20 0 1 0 911105 155803648 15812 18446744073709551615 4194304 6763684 140736258484512 140736258483400 5764419 0 0 16777216 0 0 0 0 17 0 0 0 2 0 0 /proc/3089/statm: 38038 15812 1076 628 0 14591 0 Current children cumulated CPU time (s) 0.76 Current children cumulated vsize (KiB) 152152 Child status: 0 Real time (s): 0.824445 CPU time (s): 0.796049 CPU user time (s): 0.700043 CPU system time (s): 0.096006 CPU usage (%): 96.5557 Max. virtual memory (cumulated for all children) (KiB): 152152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.700043 system time used= 0.096006 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= 9 involuntary context switches= 21 runsolver used 0.004 second user time and 0.008 second system time The end