Trace number 3472432

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)UNSAT 100.686 5.93774

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
MD5SUM649b4cf0a21e275b244b1034d05ded52
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark100.686
Satisfiable
(Un)Satisfiability was proved
Number of variables96095
Number of clauses285404
Sum of the clauses size665940
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2190268
Number of clauses of size 395134
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...645772/instance-3472432-1307645772.cnf
1.39/1.46	c Solving...
100.64/5.92	s UNSATISFIABLE
100.64/5.92	
100.64/5.92	c Models        : 0     
100.64/5.92	c Time          : 5.505s (Solving: 4.06s 1st Model: 0.00s Unsat: 4.06s)
100.64/5.92	c CPU Time      : 100.250s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3472432-1307645772/watcher-3472432-1307645772 -o /tmp/evaluation-result-3472432-1307645772/solver-3472432-1307645772 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472432-1307645772.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 29.53 31.02 31.28 1/412 30762
/proc/meminfo: memFree=262303732/264257624 swapFree=67111528/67111528
[pid=30762] ppid=30760 vsize=33072 CPUtime=0.02 cores=0-31
/proc/30762/stat : 30762 (claspmt) R 30760 30762 30657 0 -1 4202496 2175 0 0 0 2 0 0 0 21 0 1 0 29964150 33865728 2104 270582939648 4194304 4964800 140737427848000 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30762/statm: 8268 2108 373 189 0 3142 0

[startup+0.069299 s]
/proc/loadavg: 29.53 31.02 31.28 1/412 30762
/proc/meminfo: memFree=262303732/264257624 swapFree=67111528/67111528
[pid=30762] ppid=30760 vsize=39968 CPUtime=0.06 cores=0-31
/proc/30762/stat : 30762 (claspmt) R 30760 30762 30657 0 -1 4202496 5930 0 0 0 5 1 0 0 21 0 1 0 29964150 40927232 5108 270582939648 4194304 4964800 140737427848000 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30762/statm: 9992 5108 383 189 0 4866 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 39968

[startup+0.101296 s]
/proc/loadavg: 29.53 31.02 31.28 1/412 30762
/proc/meminfo: memFree=262303732/264257624 swapFree=67111528/67111528
[pid=30762] ppid=30760 vsize=42196 CPUtime=0.09 cores=0-31
/proc/30762/stat : 30762 (claspmt) R 30760 30762 30657 0 -1 4202496 6633 0 0 0 8 1 0 0 21 0 1 0 29964150 43208704 5640 270582939648 4194304 4964800 140737427848000 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30762/statm: 10549 5641 383 189 0 5423 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42196

[startup+0.300306 s]
/proc/loadavg: 29.53 31.02 31.28 1/412 30762
/proc/meminfo: memFree=262303732/264257624 swapFree=67111528/67111528
[pid=30762] ppid=30760 vsize=58480 CPUtime=0.29 cores=0-31
/proc/30762/stat : 30762 (claspmt) R 30760 30762 30657 0 -1 4202496 12577 0 0 0 26 3 0 0 22 0 1 0 29964150 59883520 9667 270582939648 4194304 4964800 140737427848000 18446744073709551615 4615995 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30762/statm: 14620 9667 396 189 0 9494 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58480

[startup+0.700315 s]
/proc/loadavg: 29.53 31.02 31.28 1/412 30762
/proc/meminfo: memFree=262303732/264257624 swapFree=67111528/67111528
[pid=30762] ppid=30760 vsize=70340 CPUtime=0.68 cores=0-31
/proc/30762/stat : 30762 (claspmt) R 30760 30762 30657 0 -1 4202496 15422 0 0 0 65 3 0 0 23 0 1 0 29964150 72028160 12512 270582939648 4194304 4964800 140737427848000 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30762/statm: 17585 12512 401 189 0 12459 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 70340

[startup+1.50028 s]
/proc/loadavg: 29.53 31.02 31.28 2/413 30763
/proc/meminfo: memFree=262250760/264257624 swapFree=67111528/67111528
[pid=30762] ppid=30760 vsize=540108 CPUtime=2.02 cores=0-31
/proc/30762/stat : 30762 (claspmt) S 30760 30762 30657 0 -1 4202496 28301 0 0 0 143 59 0 0 18 0 32 0 29964150 553070592 23053 270582939648 4194304 4964800 140737427848000 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/30762/statm: 135027 23068 428 189 0 129376 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 540108

[startup+3.10328 s]
/proc/loadavg: 29.53 31.02 31.28 2/444 30794
/proc/meminfo: memFree=261975176/264257624 swapFree=67111528/67111528
[pid=30762] ppid=30760 vsize=1826520 CPUtime=23.39 cores=0-31
/proc/30762/stat : 30762 (claspmt) R 30760 30762 30657 0 -1 4202496 127817 0 0 0 1381 958 0 0 18 0 32 0 29964150 1870356480 100010 270582939648 4194304 4964800 140737427848000 18446744073709551615 4370259 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/30762/statm: 456630 100010 455 189 0 450979 0
[pid=30762/tid=30764] ppid=30760 vsize=1826520 CPUtime=0.64 cores=0-31
/proc/30762/task/30764/stat : 30764 (claspmt) R 30760 30762 30657 0 -1 4202560 2951 0 0 0 31 33 0 0 16 0 32 0 29964296 1870356480 100010 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30762/tid=30765] ppid=30760 vsize=1826520 CPUtime=0.64 cores=0-31
/proc/30762/task/30765/stat : 30765 (claspmt) R 30760 30762 30657 0 -1 4202560 4041 0 0 0 33 31 0 0 16 0 32 0 29964296 1870356480 100010 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30762/tid=30766] ppid=30760 vsize=1826520 CPUtime=0.63 cores=0-31
/proc/30762/task/30766/stat : 30766 (claspmt) R 30760 30762 30657 0 -1 4202560 3667 0 0 0 32 31 0 0 16 0 32 0 29964296 1870356480 100010 270582939648 4194304 4964800 140737427848000 18446744073709551615 4362958 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=30762/tid=30767] ppid=30760 vsize=1826520 CPUtime=0.63 cores=0-31
/proc/30762/task/30767/stat : 30767 (claspmt) R 30760 30762 30657 0 -1 4202560 3034 0 0 0 31 32 0 0 16 0 32 0 29964296 1870356480 100010 270582939648 4194304 4964800 140737427848000 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30762/tid=30768] ppid=30760 vsize=1826520 CPUtime=1.19 cores=0-31
/proc/30762/task/30768/stat : 30768 (claspmt) R 30760 30762 30657 0 -1 4202560 3480 0 0 0 87 32 0 0 18 0 32 0 29964296 1870356480 100010 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=30762/tid=30769] ppid=30760 vsize=1826520 CPUtime=0.62 cores=0-31
/proc/30762/task/30769/stat : 30769 (claspmt) R 30760 30762 30657 0 -1 4202560 4019 0 0 0 31 31 0 0 16 0 32 0 29964296 1870356480 100010 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=30762/tid=30770] ppid=30760 vsize=1826520 CPUtime=0.66 cores=0-31
/proc/30762/task/30770/stat : 30770 (claspmt) R 30760 30762 30657 0 -1 4202560 3473 0 0 0 33 33 0 0 16 0 32 0 29964296 1870356480 100010 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30762/tid=30771] ppid=30760 vsize=1826520 CPUtime=0.61 cores=0-31
/proc/30762/task/30771/stat : 30771 (claspmt) R 30760 30762 30657 0 -1 4202560 3184 0 0 0 32 29 0 0 16 0 32 0 29964296 1870356480 100010 270582939648 4194304 4964800 140737427848000 18446744073709551615 4370288 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=30762/tid=30772] ppid=30760 vsize=1826520 CPUtime=0.62 cores=0-31
/proc/30762/task/30772/stat : 30772 (claspmt) R 30760 30762 30657 0 -1 4202560 3055 0 0 0 32 30 0 0 16 0 32 0 29964296 1870356480 100010 270582939648 4194304 4964800 140737427848000 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30762/tid=30773] ppid=30760 vsize=1826520 CPUtime=0.66 cores=0-31
/proc/30762/task/30773/stat : 30773 (claspmt) R 30760 30762 30657 0 -1 4202560 3702 0 0 0 33 33 0 0 16 0 32 0 29964296 1870356480 100010 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30762/tid=30774] ppid=30760 vsize=1826520 CPUtime=0.66 cores=0-31
/proc/30762/task/30774/stat : 30774 (claspmt) R 30760 30762 30657 0 -1 4202560 3857 0 0 0 30 36 0 0 16 0 32 0 29964296 1870356480 100010 270582939648 4194304 4964800 140737427848000 18446744073709551615 4669352 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30762/tid=30775] ppid=30760 vsize=1826520 CPUtime=0.62 cores=0-31
/proc/30762/task/30775/stat : 30775 (claspmt) R 30760 30762 30657 0 -1 4202560 3157 0 0 0 31 31 0 0 16 0 32 0 29964296 1870356480 100010 270582939648 4194304 4964800 140737427848000 18446744073709551615 4370229 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=30762/tid=30776] ppid=30760 vsize=1826520 CPUtime=1.14 cores=0-31
/proc/30762/task/30776/stat : 30776 (claspmt) R 30760 30762 30657 0 -1 4202560 3472 0 0 0 81 33 0 0 18 0 32 0 29964296 1870356480 100010 270582939648 4194304 4964800 140737427848000 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30762/tid=30777] ppid=30760 vsize=1826520 CPUtime=0.59 cores=0-31
/proc/30762/task/30777/stat : 30777 (claspmt) R 30760 30762 30657 0 -1 4202560 4261 0 0 0 34 25 0 0 16 0 32 0 29964296 1870356480 100010 270582939648 4194304 4964800 140737427848000 18446744073709551615 4669078 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=30762/tid=30778] ppid=30760 vsize=1826520 CPUtime=0.62 cores=0-31
/proc/30762/task/30778/stat : 30778 (claspmt) R 30760 30762 30657 0 -1 4202560 3560 0 0 0 31 31 0 0 16 0 32 0 29964296 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=30762/tid=30779] ppid=30760 vsize=1826520 CPUtime=0.61 cores=0-31
/proc/30762/task/30779/stat : 30779 (claspmt) R 30760 30762 30657 0 -1 4202560 3067 0 0 0 31 30 0 0 16 0 32 0 29964296 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668763 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30762/tid=30780] ppid=30760 vsize=1826520 CPUtime=0.6 cores=0-31
/proc/30762/task/30780/stat : 30780 (claspmt) R 30760 30762 30657 0 -1 4202560 3190 0 0 0 31 29 0 0 16 0 32 0 29964296 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=30762/tid=30781] ppid=30760 vsize=1826520 CPUtime=0.6 cores=0-31
/proc/30762/task/30781/stat : 30781 (claspmt) R 30760 30762 30657 0 -1 4202560 4078 0 0 0 33 27 0 0 16 0 32 0 29964296 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4336546 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30762/tid=30782] ppid=30760 vsize=1826520 CPUtime=0.62 cores=0-31
/proc/30762/task/30782/stat : 30782 (claspmt) R 30760 30762 30657 0 -1 4202560 4112 0 0 0 32 30 0 0 16 0 32 0 29964297 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670112 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=30762/tid=30783] ppid=30760 vsize=1826520 CPUtime=0.62 cores=0-31
/proc/30762/task/30783/stat : 30783 (claspmt) R 30760 30762 30657 0 -1 4202560 3136 0 0 0 30 32 0 0 16 0 32 0 29964297 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4370269 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30762/tid=30784] ppid=30760 vsize=1826520 CPUtime=1.2 cores=0-31
/proc/30762/task/30784/stat : 30784 (claspmt) R 30760 30762 30657 0 -1 4202560 3288 0 0 0 90 30 0 0 18 0 32 0 29964297 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30762/tid=30785] ppid=30760 vsize=1826520 CPUtime=0.64 cores=0-31
/proc/30762/task/30785/stat : 30785 (claspmt) R 30760 30762 30657 0 -1 4202560 4079 0 0 0 33 31 0 0 16 0 32 0 29964297 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30762/tid=30786] ppid=30760 vsize=1826520 CPUtime=0.63 cores=0-31
/proc/30762/task/30786/stat : 30786 (claspmt) R 30760 30762 30657 0 -1 4202560 3614 0 0 0 34 29 0 0 16 0 32 0 29964297 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=30762/tid=30787] ppid=30760 vsize=1826520 CPUtime=0.58 cores=0-31
/proc/30762/task/30787/stat : 30787 (claspmt) R 30760 30762 30657 0 -1 4202560 3156 0 0 0 31 27 0 0 16 0 32 0 29964297 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=30762/tid=30788] ppid=30760 vsize=1826520 CPUtime=0.6 cores=0-31
/proc/30762/task/30788/stat : 30788 (claspmt) R 30760 30762 30657 0 -1 4202560 3147 0 0 0 31 29 0 0 16 0 32 0 29964297 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=30762/tid=30789] ppid=30760 vsize=1826520 CPUtime=0.63 cores=0-31
/proc/30762/task/30789/stat : 30789 (claspmt) R 30760 30762 30657 0 -1 4202560 4182 0 0 0 32 31 0 0 16 0 32 0 29964297 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 258650615891 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=30762/tid=30790] ppid=30760 vsize=1826520 CPUtime=0.55 cores=0-31
/proc/30762/task/30790/stat : 30790 (claspmt) R 30760 30762 30657 0 -1 4202560 3693 0 0 0 34 21 0 0 16 0 32 0 29964297 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30762/tid=30791] ppid=30760 vsize=1826520 CPUtime=0.59 cores=0-31
/proc/30762/task/30791/stat : 30791 (claspmt) R 30760 30762 30657 0 -1 4202560 3154 0 0 0 31 28 0 0 16 0 32 0 29964297 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30762/tid=30792] ppid=30760 vsize=1826520 CPUtime=1.09 cores=0-31
/proc/30762/task/30792/stat : 30792 (claspmt) R 30760 30762 30657 0 -1 4202560 3344 0 0 0 78 31 0 0 17 0 32 0 29964297 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668672 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30762/tid=30793] ppid=30760 vsize=1826520 CPUtime=0.66 cores=0-31
/proc/30762/task/30793/stat : 30793 (claspmt) R 30760 30762 30657 0 -1 4202560 4034 0 0 0 33 33 0 0 16 0 32 0 29964297 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=30762/tid=30794] ppid=30760 vsize=1826520 CPUtime=0.62 cores=0-31
/proc/30762/task/30794/stat : 30794 (claspmt) R 30760 30762 30657 0 -1 4202560 3586 0 0 0 32 30 0 0 16 0 32 0 29964297 1870356480 100015 270582939648 4194304 4964800 140737427848000 18446744073709551615 4629451 0 0 4096 18946 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 23.39
Current children cumulated vsize (KiB) 1826520

Solver just ended. Dumping a history of the last processes samples

[startup+4.70233 s]
/proc/loadavg: 29.89 31.07 31.29 36/444 30794
/proc/meminfo: memFree=261899312/264257624 swapFree=67111528/67111528
[pid=30762] ppid=30760 vsize=1826520 CPUtime=74.47 cores=0-31
/proc/30762/stat : 30762 (claspmt) R 30760 30762 30657 0 -1 4202496 129126 0 0 0 6484 963 0 0 20 0 32 0 29964150 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/30762/statm: 456630 101319 461 189 0 450979 0
[pid=30762/tid=30764] ppid=30760 vsize=1826520 CPUtime=2.24 cores=0-31
/proc/30762/task/30764/stat : 30764 (claspmt) R 30760 30762 30657 0 -1 4202560 2994 0 0 0 191 33 0 0 18 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30762/tid=30765] ppid=30760 vsize=1826520 CPUtime=2.23 cores=0-31
/proc/30762/task/30765/stat : 30765 (claspmt) R 30760 30762 30657 0 -1 4202560 4093 0 0 0 192 31 0 0 18 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30762/tid=30766] ppid=30760 vsize=1826520 CPUtime=2.15 cores=0-31
/proc/30762/task/30766/stat : 30766 (claspmt) R 30760 30762 30657 0 -1 4202560 3705 0 0 0 184 31 0 0 17 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=30762/tid=30767] ppid=30760 vsize=1826520 CPUtime=2.23 cores=0-31
/proc/30762/task/30767/stat : 30767 (claspmt) R 30760 30762 30657 0 -1 4202560 3111 0 0 0 191 32 0 0 18 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30762/tid=30768] ppid=30760 vsize=1826520 CPUtime=2.79 cores=0-31
/proc/30762/task/30768/stat : 30768 (claspmt) R 30760 30762 30657 0 -1 4202560 3482 0 0 0 247 32 0 0 21 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668797 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=30762/tid=30769] ppid=30760 vsize=1826520 CPUtime=2.22 cores=0-31
/proc/30762/task/30769/stat : 30769 (claspmt) R 30760 30762 30657 0 -1 4202560 4053 0 0 0 191 31 0 0 18 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=30762/tid=30770] ppid=30760 vsize=1826520 CPUtime=2.26 cores=0-31
/proc/30762/task/30770/stat : 30770 (claspmt) R 30760 30762 30657 0 -1 4202560 3490 0 0 0 193 33 0 0 18 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30762/tid=30771] ppid=30760 vsize=1826520 CPUtime=2.2 cores=0-31
/proc/30762/task/30771/stat : 30771 (claspmt) R 30760 30762 30657 0 -1 4202560 3242 0 0 0 191 29 0 0 17 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=30762/tid=30772] ppid=30760 vsize=1826520 CPUtime=2.21 cores=0-31
/proc/30762/task/30772/stat : 30772 (claspmt) R 30760 30762 30657 0 -1 4202560 3070 0 0 0 191 30 0 0 18 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30762/tid=30773] ppid=30760 vsize=1826520 CPUtime=2.26 cores=0-31
/proc/30762/task/30773/stat : 30773 (claspmt) R 30760 30762 30657 0 -1 4202560 3758 0 0 0 193 33 0 0 18 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30762/tid=30774] ppid=30760 vsize=1826520 CPUtime=2.26 cores=0-31
/proc/30762/task/30774/stat : 30774 (claspmt) R 30760 30762 30657 0 -1 4202560 3893 0 0 0 190 36 0 0 18 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30762/tid=30775] ppid=30760 vsize=1826520 CPUtime=2.23 cores=0-31
/proc/30762/task/30775/stat : 30775 (claspmt) R 30760 30762 30657 0 -1 4202560 3211 0 0 0 191 32 0 0 18 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=30762/tid=30776] ppid=30760 vsize=1826520 CPUtime=2.74 cores=0-31
/proc/30762/task/30776/stat : 30776 (claspmt) R 30760 30762 30657 0 -1 4202560 3477 0 0 0 241 33 0 0 21 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30762/tid=30777] ppid=30760 vsize=1826520 CPUtime=2.19 cores=0-31
/proc/30762/task/30777/stat : 30777 (claspmt) R 30760 30762 30657 0 -1 4202560 4285 0 0 0 194 25 0 0 18 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=30762/tid=30778] ppid=30760 vsize=1826520 CPUtime=2.21 cores=0-31
/proc/30762/task/30778/stat : 30778 (claspmt) R 30760 30762 30657 0 -1 4202560 3592 0 0 0 190 31 0 0 17 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670658 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=30762/tid=30779] ppid=30760 vsize=1826520 CPUtime=2.21 cores=0-31
/proc/30762/task/30779/stat : 30779 (claspmt) R 30760 30762 30657 0 -1 4202560 3127 0 0 0 191 30 0 0 18 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 258650611643 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30762/tid=30780] ppid=30760 vsize=1826520 CPUtime=2.2 cores=0-31
/proc/30762/task/30780/stat : 30780 (claspmt) R 30760 30762 30657 0 -1 4202560 3249 0 0 0 191 29 0 0 18 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=30762/tid=30781] ppid=30760 vsize=1826520 CPUtime=2.2 cores=0-31
/proc/30762/task/30781/stat : 30781 (claspmt) R 30760 30762 30657 0 -1 4202560 4132 0 0 0 193 27 0 0 18 0 32 0 29964296 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30762/tid=30782] ppid=30760 vsize=1826520 CPUtime=2.22 cores=0-31
/proc/30762/task/30782/stat : 30782 (claspmt) R 30760 30762 30657 0 -1 4202560 4148 0 0 0 192 30 0 0 18 0 32 0 29964297 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=30762/tid=30783] ppid=30760 vsize=1826520 CPUtime=2.22 cores=0-31
/proc/30762/task/30783/stat : 30783 (claspmt) R 30760 30762 30657 0 -1 4202560 3194 0 0 0 190 32 0 0 18 0 32 0 29964297 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30762/tid=30784] ppid=30760 vsize=1826520 CPUtime=2.79 cores=0-31
/proc/30762/task/30784/stat : 30784 (claspmt) R 30760 30762 30657 0 -1 4202560 3288 0 0 0 249 30 0 0 21 0 32 0 29964297 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30762/tid=30785] ppid=30760 vsize=1826520 CPUtime=2.23 cores=0-31
/proc/30762/task/30785/stat : 30785 (claspmt) R 30760 30762 30657 0 -1 4202560 4142 0 0 0 192 31 0 0 18 0 32 0 29964297 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30762/tid=30786] ppid=30760 vsize=1826520 CPUtime=2.23 cores=0-31
/proc/30762/task/30786/stat : 30786 (claspmt) R 30760 30762 30657 0 -1 4202560 3622 0 0 0 194 29 0 0 18 0 32 0 29964297 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=30762/tid=30787] ppid=30760 vsize=1826520 CPUtime=2.18 cores=0-31
/proc/30762/task/30787/stat : 30787 (claspmt) R 30760 30762 30657 0 -1 4202560 3213 0 0 0 191 27 0 0 17 0 32 0 29964297 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=30762/tid=30788] ppid=30760 vsize=1826520 CPUtime=2.21 cores=0-31
/proc/30762/task/30788/stat : 30788 (claspmt) R 30760 30762 30657 0 -1 4202560 3213 0 0 0 191 30 0 0 18 0 32 0 29964297 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=30762/tid=30789] ppid=30760 vsize=1826520 CPUtime=2.22 cores=0-31
/proc/30762/task/30789/stat : 30789 (claspmt) R 30760 30762 30657 0 -1 4202560 4247 0 0 0 191 31 0 0 18 0 32 0 29964297 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4321121 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=30762/tid=30790] ppid=30760 vsize=1826520 CPUtime=2.15 cores=0-31
/proc/30762/task/30790/stat : 30790 (claspmt) R 30760 30762 30657 0 -1 4202560 3717 0 0 0 193 22 0 0 18 0 32 0 29964297 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30762/tid=30791] ppid=30760 vsize=1826520 CPUtime=2.19 cores=0-31
/proc/30762/task/30791/stat : 30791 (claspmt) R 30760 30762 30657 0 -1 4202560 3215 0 0 0 191 28 0 0 18 0 32 0 29964297 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30762/tid=30792] ppid=30760 vsize=1826520 CPUtime=2.69 cores=0-31
/proc/30762/task/30792/stat : 30792 (claspmt) R 30760 30762 30657 0 -1 4202560 3345 0 0 0 238 31 0 0 19 0 32 0 29964297 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30762/tid=30793] ppid=30760 vsize=1826520 CPUtime=2.26 cores=0-31
/proc/30762/task/30793/stat : 30793 (claspmt) R 30760 30762 30657 0 -1 4202560 4067 0 0 0 193 33 0 0 18 0 32 0 29964297 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4378544 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=30762/tid=30794] ppid=30760 vsize=1826520 CPUtime=2.22 cores=0-31
/proc/30762/task/30794/stat : 30794 (claspmt) R 30760 30762 30657 0 -1 4202560 3624 0 0 0 192 30 0 0 18 0 32 0 29964297 1870356480 101319 270582939648 4194304 4964800 140737427848000 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 74.47
Current children cumulated vsize (KiB) 1826520

[startup+5.52251 s]
/proc/loadavg: 29.89 31.07 31.29 34/444 30794
/proc/meminfo: memFree=261898904/264257624 swapFree=67111528/67111528
[pid=30762] ppid=30760 vsize=1736452 CPUtime=100.26 cores=0-31
/proc/30762/stat : 30762 (claspmt) R 30760 30762 30657 0 -1 4202496 129255 0 0 0 9059 967 0 0 23 0 1 0 29964150 1778126848 101404 270582939648 4194304 4964800 140737427848000 18446744073709551615 4699382 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/30762/statm: 434113 101404 472 189 0 428462 0
Current children cumulated CPU time (s) 100.26
Current children cumulated vsize (KiB) 1736452

[startup+5.9005 s]
/proc/loadavg: 29.89 31.07 31.29 34/444 30794
/proc/meminfo: memFree=261898904/264257624 swapFree=67111528/67111528
[pid=30762] ppid=30760 vsize=1593704 CPUtime=100.64 cores=0-31
/proc/30762/stat : 30762 (claspmt) R 30760 30762 30657 0 -1 4202496 129255 0 0 0 9096 968 0 0 25 0 1 0 29964150 1631952896 63699 270582939648 4194304 4964800 140737427848000 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/30762/statm: 398426 63699 472 189 0 392775 0
Current children cumulated CPU time (s) 100.64
Current children cumulated vsize (KiB) 1593704

Child status: 20
Real time (s): 5.93774
CPU time (s): 100.686
CPU user time (s): 90.9752
CPU system time (s): 9.71052
CPU usage (%): 1695.69
Max. virtual memory (cumulated for all children) (KiB): 1826652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.9752
system time used= 9.71052
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129256
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= 67325
involuntary context switches= 333

runsolver used 0.054991 second user time and 0.175973 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-09 20:56:13
IDJOB=3472432
IDBENCH=82489
IDSOLVER=1961
FILE ID=node200/3472432-1307645772
RUNJOBID= node200-1307645533-30671
PBS_JOBID= 13547782
Free space on /tmp= 61740 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3472432-1307645772/watcher-3472432-1307645772 -o /tmp/evaluation-result-3472432-1307645772/solver-3472432-1307645772 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472432-1307645772.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32

MD5SUM BENCH= 649b4cf0a21e275b244b1034d05ded52
RANDOM SEED=1006454324

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      262305020 kB
Buffers:        243416 kB
Cached:        1406900 kB
SwapCached:          0 kB
Active:         264404 kB
Inactive:      1449048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262305020 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5872 kB
Writeback:           0 kB
AnonPages:       63848 kB
Mapped:          14452 kB
Slab:           162436 kB
PageTables:       4996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   161164 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61740 MiB
End job on node200 at 2011-06-09 20:56:19