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/122.runsolver.smart smart --config-file=/home/cbse/var/lib/smart/config remove klipper kenolaba libmlgtk-ocaml-dev xfonts-scalable libmlgtk-ocaml-dev 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: 1.00 0.99 0.94 2/53 8057 /proc/meminfo: memFree=448172/1022884 swapFree=0/0 [pid=8057] ppid=8056 vsize=26808 CPUtime=0 /proc/8057/stat : 8057 (smart) R 8056 8057 2806 34818 2806 4202496 609 0 0 0 0 0 0 0 20 0 1 0 3774802 27451392 500 18446744073709551615 4194304 6763684 140736133427200 140736133417736 5519599 0 0 0 0 0 0 0 17 0 0 0 0 0 0 /proc/8057/statm: 6702 500 371 628 0 161 0 [startup+0.138633 s] /proc/loadavg: 1.00 0.99 0.94 2/53 8057 /proc/meminfo: memFree=448172/1022884 swapFree=0/0 [pid=8057] ppid=8056 vsize=111768 CPUtime=0.13 /proc/8057/stat : 8057 (smart) R 8056 8057 2806 34818 2806 4202496 9224 412 0 0 9 4 0 0 20 0 1 0 3774802 114450432 5707 18446744073709551615 4194304 6763684 140736133427200 140736133423256 5727875 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/8057/statm: 27942 5707 1058 628 0 4495 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 111768 [startup+0.200236 s] /proc/loadavg: 1.00 0.99 0.94 2/53 8057 /proc/meminfo: memFree=448172/1022884 swapFree=0/0 [pid=8057] ppid=8056 vsize=120160 CPUtime=0.18 /proc/8057/stat : 8057 (smart) R 8056 8057 2806 34818 2806 4202496 13563 412 0 0 14 4 0 0 20 0 1 0 3774802 123043840 7787 18446744073709551615 4194304 6763684 140736133427200 140736133423256 139937786177184 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/8057/statm: 30040 7787 1058 628 0 6593 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 120160 [startup+0.300256 s] /proc/loadavg: 1.00 0.99 0.94 2/53 8057 /proc/meminfo: memFree=448172/1022884 swapFree=0/0 [pid=8057] ppid=8056 vsize=134448 CPUtime=0.28 /proc/8057/stat : 8057 (smart) R 8056 8057 2806 34818 2806 4202496 17116 412 0 0 23 5 0 0 20 0 1 0 3774802 137674752 11336 18446744073709551615 4194304 6763684 140736133427200 140736133423256 4363357 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/8057/statm: 33612 11336 1059 628 0 10165 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 134448 [startup+0.700199 s] /proc/loadavg: 1.00 0.99 0.94 2/53 8057 /proc/meminfo: memFree=448172/1022884 swapFree=0/0 [pid=8057] ppid=8056 vsize=195804 CPUtime=0.69 /proc/8057/stat : 8057 (smart) R 8056 8057 2806 34818 2806 4202496 35526 412 0 0 59 10 0 0 20 0 1 0 3774802 200503296 26661 18446744073709551615 4194304 6763684 140736133427200 140736133423192 4363357 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/8057/statm: 48951 26661 1059 628 0 25504 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 195804 [startup+1.50019 s] /proc/loadavg: 1.00 0.99 0.94 2/54 8060 /proc/meminfo: memFree=334828/1022884 swapFree=0/0 [pid=8057] ppid=8056 vsize=207772 CPUtime=1.48 /proc/8057/stat : 8057 (smart) R 8056 8057 2806 34818 2806 4202496 44747 412 0 0 136 12 0 0 20 0 1 0 3774802 212758528 29706 18446744073709551615 4194304 6763684 140736133427200 140736133422336 5520626 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/8057/statm: 51943 29706 1069 628 0 28496 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 207772 Solver just ended. Dumping a history of the last processes samples [startup+1.60027 s] /proc/loadavg: 1.00 0.99 0.94 2/54 8060 /proc/meminfo: memFree=334828/1022884 swapFree=0/0 [pid=8057] ppid=8056 vsize=207772 CPUtime=1.58 /proc/8057/stat : 8057 (smart) R 8056 8057 2806 34818 2806 4202496 44755 412 0 0 146 12 0 0 20 0 1 0 3774802 212758528 29706 18446744073709551615 4194304 6763684 140736133427200 140736133424152 139937767931610 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/8057/statm: 51943 29706 1069 628 0 28496 0 Current children cumulated CPU time (s) 1.58 Current children cumulated vsize (KiB) 207772 [startup+2.00019 s] /proc/loadavg: 1.00 0.99 0.94 2/54 8060 /proc/meminfo: memFree=334828/1022884 swapFree=0/0 [pid=8057] ppid=8056 vsize=207780 CPUtime=1.98 /proc/8057/stat : 8057 (smart) R 8056 8057 2806 34818 2806 4202496 44788 412 0 0 186 12 0 0 20 0 1 0 3774802 212766720 29714 18446744073709551615 4194304 6763684 140736133427200 140736133426088 5518020 0 0 16777216 0 0 0 0 17 0 0 0 0 0 0 /proc/8057/statm: 51945 29714 1076 628 0 28498 0 Current children cumulated CPU time (s) 1.98 Current children cumulated vsize (KiB) 207780 [startup+2.10021 s] /proc/loadavg: 1.00 0.99 0.94 2/54 8060 /proc/meminfo: memFree=334828/1022884 swapFree=0/0 [pid=8057] ppid=8056 vsize=207780 CPUtime=2.08 /proc/8057/stat : 8057 (smart) R 8056 8057 2806 34818 2806 4202496 44788 412 0 0 196 12 0 0 20 0 1 0 3774802 212766720 29714 18446744073709551615 4194304 6763684 140736133427200 140736133426088 5520656 0 0 16777216 0 0 0 0 17 0 0 0 0 0 0 /proc/8057/statm: 51945 29714 1076 628 0 28498 0 Current children cumulated CPU time (s) 2.08 Current children cumulated vsize (KiB) 207780 Child status: 0 Real time (s): 2.17182 CPU time (s): 2.16414 CPU user time (s): 2.03613 CPU system time (s): 0.128008 CPU usage (%): 99.6463 Max. virtual memory (cumulated for all children) (KiB): 207780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.03613 system time used= 0.128008 maximum resident set size= 119988 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45624 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= 38 runsolver used 0.012 second user time and 0.008 second system time The end