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/72.runsolver.smart smart --config-file=/home/cbse/var/lib/smart/config install treecc python2.3-xmms chiark-rwbuffer ca-certificates penggy 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.99 0.98 0.93 2/53 6293 /proc/meminfo: memFree=453136/1022884 swapFree=0/0 [pid=6293] ppid=6292 vsize=3152 CPUtime=0 /proc/6293/stat : 6293 (runsolver) R 6292 2806 2806 34818 2806 4202560 0 0 0 0 0 0 0 0 20 0 1 0 2622488 3227648 33 18446744073709551615 134512640 134586868 4291331296 4291329344 4151264304 0 0 0 24578 0 0 0 17 0 0 0 0 0 0 /proc/6293/statm: 788 33 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.115645 s] /proc/loadavg: 0.99 0.98 0.93 2/53 6293 /proc/meminfo: memFree=453136/1022884 swapFree=0/0 [pid=6293] ppid=6292 vsize=107044 CPUtime=0.1 /proc/6293/stat : 6293 (smart) R 6292 6293 2806 34818 2806 4202496 8350 0 0 0 6 4 0 0 20 0 1 0 2622488 109613056 5526 18446744073709551615 4194304 6763684 140737448462032 140737448454312 140531923698034 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 /proc/6293/statm: 26761 5526 1047 628 0 4344 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 107044 [startup+0.200243 s] /proc/loadavg: 0.99 0.98 0.93 2/53 6293 /proc/meminfo: memFree=453136/1022884 swapFree=0/0 [pid=6293] ppid=6292 vsize=120680 CPUtime=0.18 /proc/6293/stat : 6293 (smart) R 6292 6293 2806 34818 2806 4202496 13645 413 0 0 13 5 0 0 20 0 1 0 2622488 123576320 7865 18446744073709551615 4194304 6763684 140737448462032 140737448458008 5518016 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/6293/statm: 30170 7865 1059 628 0 6723 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 120680 [startup+0.300237 s] /proc/loadavg: 0.99 0.98 0.93 2/53 6293 /proc/meminfo: memFree=453136/1022884 swapFree=0/0 [pid=6293] ppid=6292 vsize=135444 CPUtime=0.29 /proc/6293/stat : 6293 (smart) R 6292 6293 2806 34818 2806 4202496 17386 413 0 0 23 6 0 0 20 0 1 0 2622488 138694656 11606 18446744073709551615 4194304 6763684 140737448462032 140737448458024 4726896 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/6293/statm: 33861 11606 1059 628 0 10414 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 135444 [startup+0.700184 s] /proc/loadavg: 0.99 0.98 0.93 2/53 6293 /proc/meminfo: memFree=453136/1022884 swapFree=0/0 [pid=6293] ppid=6292 vsize=199852 CPUtime=0.69 /proc/6293/stat : 6293 (smart) R 6292 6293 2806 34818 2806 4202496 36538 413 0 0 57 12 0 0 20 0 1 0 2622488 204648448 27672 18446744073709551615 4194304 6763684 140737448462032 140737448457576 140531923907981 0 0 16777216 134217730 0 0 0 17 0 0 0 0 0 0 /proc/6293/statm: 49963 27672 1059 628 0 26516 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 199852 [startup+1.5002 s] /proc/loadavg: 0.99 0.98 0.93 2/54 6296 /proc/meminfo: memFree=339924/1022884 swapFree=0/0 [pid=6293] ppid=6292 vsize=207780 CPUtime=1.48 /proc/6293/stat : 6293 (smart) R 6292 6293 2806 34818 2806 4202496 44750 413 0 0 134 14 0 0 20 0 1 0 2622488 212766720 29707 18446744073709551615 4194304 6763684 140737448462032 140737448457168 4413380 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/6293/statm: 51945 29707 1069 628 0 28498 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 207780 Solver just ended. Dumping a history of the last processes samples [startup+1.60026 s] /proc/loadavg: 0.99 0.98 0.93 2/54 6296 /proc/meminfo: memFree=339924/1022884 swapFree=0/0 [pid=6293] ppid=6292 vsize=207780 CPUtime=1.58 /proc/6293/stat : 6293 (smart) R 6292 6293 2806 34818 2806 4202496 44760 413 0 0 144 14 0 0 20 0 1 0 2622488 212766720 29708 18446744073709551615 4194304 6763684 140737448462032 140737448458984 5325651 0 0 16777216 134217734 0 0 0 17 0 0 0 0 0 0 /proc/6293/statm: 51945 29708 1070 628 0 28498 0 Current children cumulated CPU time (s) 1.58 Current children cumulated vsize (KiB) 207780 [startup+1.80021 s] /proc/loadavg: 0.99 0.98 0.93 2/54 6296 /proc/meminfo: memFree=339924/1022884 swapFree=0/0 [pid=6293] ppid=6292 vsize=207796 CPUtime=1.78 /proc/6293/stat : 6293 (smart) R 6292 6293 2806 34818 2806 4202496 44792 413 0 0 164 14 0 0 20 0 1 0 2622488 212783104 29717 18446744073709551615 4194304 6763684 140737448462032 140737448460920 5764419 0 0 16777216 0 0 0 0 17 0 0 0 0 0 0 /proc/6293/statm: 51949 29717 1076 628 0 28502 0 Current children cumulated CPU time (s) 1.78 Current children cumulated vsize (KiB) 207796 Child status: 0 Real time (s): 1.82531 CPU time (s): 1.81611 CPU user time (s): 1.6601 CPU system time (s): 0.156009 CPU usage (%): 99.496 Max. virtual memory (cumulated for all children) (KiB): 207796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.6601 system time used= 0.156009 maximum resident set size= 120000 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45628 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= 32 runsolver used 0.008 second user time and 0.008 second system time The end