Trace number 3472271

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 345.399 32.7539

General information on the benchmark

Nameindustrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
MD5SUM3b8c6114a974b09e9b1601ba0718cbf3
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark345.399
Satisfiable
(Un)Satisfiability was proved
Number of variables135534
Number of clauses905980
Sum of the clauses size2447966
Maximum clause length417
Minimum clause length1
Number of clauses of size 1125
Number of clauses of size 2771665
Number of clauses of size 3128198
Number of clauses of size 41424
Number of clauses of size 579
Number of clauses of size over 54489

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...373276/instance-3472271-1307373276.cnf
5.52/5.62	c Solving...
345.34/32.73	s UNSATISFIABLE
345.34/32.73	
345.34/32.73	c Models        : 0     
345.34/32.73	c Time          : 31.265s (Solving: 25.64s 1st Model: 0.00s Unsat: 25.64s)
345.34/32.73	c CPU Time      : 343.900s

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-3472271-1307373276/watcher-3472271-1307373276 -o /tmp/evaluation-result-3472271-1307373276/solver-3472271-1307373276 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472271-1307373276.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: 19.37 22.88 28.21 1/413 9954
/proc/meminfo: memFree=263668728/264257624 swapFree=67111528/67111528
[pid=9954] ppid=9952 vsize=39852 CPUtime=0.02 cores=0-31
/proc/9954/stat : 9954 (claspmt) R 9952 9954 9865 0 -1 4202496 5232 0 0 0 1 1 0 0 23 0 1 0 2714584 40808448 5161 270582939648 4194304 4964800 140733501581952 18446744073709551615 4680560 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9954/statm: 9963 5186 374 189 0 4837 0

[startup+0.116756 s]
/proc/loadavg: 19.37 22.88 28.21 1/413 9954
/proc/meminfo: memFree=263668728/264257624 swapFree=67111528/67111528
[pid=9954] ppid=9952 vsize=58500 CPUtime=0.11 cores=0-31
/proc/9954/stat : 9954 (claspmt) R 9952 9954 9865 0 -1 4202496 11830 0 0 0 9 2 0 0 23 0 1 0 2714584 59904000 9541 270582939648 4194304 4964800 140733501581952 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9954/statm: 14625 9542 386 189 0 9499 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 58500

[startup+0.200776 s]
/proc/loadavg: 19.37 22.88 28.21 1/413 9954
/proc/meminfo: memFree=263668728/264257624 swapFree=67111528/67111528
[pid=9954] ppid=9952 vsize=70912 CPUtime=0.18 cores=0-31
/proc/9954/stat : 9954 (claspmt) R 9952 9954 9865 0 -1 4202496 16228 0 0 0 16 2 0 0 23 0 1 0 2714584 72613888 12419 270582939648 4194304 4964800 140733501581952 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9954/statm: 17728 12421 386 189 0 12602 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 70912

[startup+0.300762 s]
/proc/loadavg: 19.37 22.88 28.21 1/413 9954
/proc/meminfo: memFree=263668728/264257624 swapFree=67111528/67111528
[pid=9954] ppid=9952 vsize=85128 CPUtime=0.29 cores=0-31
/proc/9954/stat : 9954 (claspmt) R 9952 9954 9865 0 -1 4202496 21091 0 0 0 25 4 0 0 24 0 1 0 2714584 87171072 15915 270582939648 4194304 4964800 140733501581952 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9954/statm: 21282 15916 386 189 0 16156 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85128

[startup+0.700778 s]
/proc/loadavg: 19.37 22.88 28.21 1/413 9954
/proc/meminfo: memFree=263668728/264257624 swapFree=67111528/67111528
[pid=9954] ppid=9952 vsize=120508 CPUtime=0.69 cores=0-31
/proc/9954/stat : 9954 (claspmt) R 9952 9954 9865 0 -1 4202496 31296 0 0 0 64 5 0 0 25 0 1 0 2714584 123400192 24751 270582939648 4194304 4964800 140733501581952 18446744073709551615 4607486 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9954/statm: 30127 24751 400 189 0 25001 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 120508

[startup+1.5008 s]
/proc/loadavg: 17.90 22.51 28.06 2/414 9955
/proc/meminfo: memFree=263570504/264257624 swapFree=67111528/67111528
[pid=9954] ppid=9952 vsize=120508 CPUtime=1.49 cores=0-31
/proc/9954/stat : 9954 (claspmt) R 9952 9954 9865 0 -1 4202496 31296 0 0 0 144 5 0 0 25 0 1 0 2714584 123400192 24751 270582939648 4194304 4964800 140733501581952 18446744073709551615 4607744 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9954/statm: 30127 24751 400 189 0 25001 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 120508

[startup+3.10086 s]
/proc/loadavg: 17.90 22.51 28.06 2/414 9955
/proc/meminfo: memFree=263565360/264257624 swapFree=67111528/67111528
[pid=9954] ppid=9952 vsize=142688 CPUtime=3.09 cores=0-31
/proc/9954/stat : 9954 (claspmt) R 9952 9954 9865 0 -1 4202496 36792 0 0 0 302 7 0 0 25 0 1 0 2714584 146112512 30247 270582939648 4194304 4964800 140733501581952 18446744073709551615 4600360 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9954/statm: 35672 30247 401 189 0 30546 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 142688

[startup+6.30084 s]
/proc/loadavg: 16.55 22.16 27.92 2/414 9955
/proc/meminfo: memFree=263541280/264257624 swapFree=67111528/67111528
[pid=9954] ppid=9952 vsize=1769548 CPUtime=17.67 cores=0-31
/proc/9954/stat : 9954 (claspmt) S 9952 9954 9865 0 -1 4202496 148345 0 0 0 642 1125 0 0 18 0 32 0 2714584 1812017152 107450 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 10 0 0 0
/proc/9954/statm: 442387 107451 436 189 0 436736 0
Current children cumulated CPU time (s) 17.67
Current children cumulated vsize (KiB) 1769548

[startup+12.7021 s]
/proc/loadavg: 15.54 21.85 27.79 5/445 9987
/proc/meminfo: memFree=262966532/264257624 swapFree=67111528/67111528
[pid=9954] ppid=9952 vsize=2180116 CPUtime=44.44 cores=0-31
/proc/9954/stat : 9954 (claspmt) S 9952 9954 9865 0 -1 4202496 217912 0 0 0 3078 1366 0 0 18 0 32 0 2714584 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 10 0 0 0
/proc/9954/statm: 545029 176360 439 189 0 539378 0
[pid=9954/tid=9956] ppid=9952 vsize=2180116 CPUtime=0.54 cores=0-31
/proc/9954/task/9956/stat : 9956 (claspmt) S 9952 9954 9865 0 -1 4202560 4860 0 0 0 8 46 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505525583328 0 0 -1 29 0 0 0
[pid=9954/tid=9957] ppid=9952 vsize=2180116 CPUtime=0.57 cores=0-31
/proc/9954/task/9957/stat : 9957 (claspmt) S 9952 9954 9865 0 -1 4202560 6401 0 0 0 13 44 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604506002021856 0 0 -1 2 0 0 0
[pid=9954/tid=9958] ppid=9952 vsize=2180116 CPUtime=0.58 cores=0-31
/proc/9954/task/9958/stat : 9958 (claspmt) S 9952 9954 9865 0 -1 4202560 6472 0 0 0 14 44 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604501511986656 0 0 -1 23 0 0 0
[pid=9954/tid=9959] ppid=9952 vsize=2180116 CPUtime=0.49 cores=0-31
/proc/9954/task/9959/stat : 9959 (claspmt) S 9952 9954 9865 0 -1 4202560 5132 0 0 0 8 41 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604506002030048 0 0 -1 27 0 0 0
[pid=9954/tid=9960] ppid=9952 vsize=2180116 CPUtime=6 cores=0-31
/proc/9954/task/9960/stat : 9960 (claspmt) R 9952 9954 9865 0 -1 4202560 6030 0 0 0 552 48 0 0 25 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9954/tid=9961] ppid=9952 vsize=2180116 CPUtime=0.59 cores=0-31
/proc/9954/task/9961/stat : 9961 (claspmt) S 9952 9954 9865 0 -1 4202560 6072 0 0 0 12 47 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604506060955104 0 0 -1 3 0 0 0
[pid=9954/tid=9962] ppid=9952 vsize=2180116 CPUtime=0.58 cores=0-31
/proc/9954/task/9962/stat : 9962 (claspmt) S 9952 9954 9865 0 -1 4202560 5987 0 0 0 12 46 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604501511978464 0 0 -1 25 0 0 0
[pid=9954/tid=9963] ppid=9952 vsize=2180116 CPUtime=0.54 cores=0-31
/proc/9954/task/9963/stat : 9963 (claspmt) S 9952 9954 9865 0 -1 4202560 5299 0 0 0 8 46 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505932185056 0 0 -1 1 0 0 0
[pid=9954/tid=9964] ppid=9952 vsize=2180116 CPUtime=0.38 cores=0-31
/proc/9954/task/9964/stat : 9964 (claspmt) S 9952 9954 9865 0 -1 4202560 3793 0 0 0 9 29 0 0 17 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604571994848736 0 0 -1 18 0 0 0
[pid=9954/tid=9965] ppid=9952 vsize=2180116 CPUtime=0.5 cores=0-31
/proc/9954/task/9965/stat : 9965 (claspmt) S 9952 9954 9865 0 -1 4202560 6684 0 0 0 12 38 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505525566944 0 0 -1 30 0 0 0
[pid=9954/tid=9966] ppid=9952 vsize=2180116 CPUtime=0.58 cores=0-31
/proc/9954/task/9966/stat : 9966 (claspmt) S 9952 9954 9865 0 -1 4202560 6242 0 0 0 12 46 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505932201440 0 0 -1 24 0 0 0
[pid=9954/tid=9967] ppid=9952 vsize=2180116 CPUtime=0.44 cores=0-31
/proc/9954/task/9967/stat : 9967 (claspmt) S 9952 9954 9865 0 -1 4202560 5420 0 0 0 9 35 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505932176864 0 0 -1 6 0 0 0
[pid=9954/tid=9968] ppid=9952 vsize=2180116 CPUtime=6.01 cores=0-31
/proc/9954/task/9968/stat : 9968 (claspmt) R 9952 9954 9865 0 -1 4202560 6008 0 0 0 557 44 0 0 25 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9954/tid=9969] ppid=9952 vsize=2180116 CPUtime=0.55 cores=0-31
/proc/9954/task/9969/stat : 9969 (claspmt) S 9952 9954 9865 0 -1 4202560 6368 0 0 0 12 43 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505811910112 0 0 -1 11 0 0 0
[pid=9954/tid=9970] ppid=9952 vsize=2180116 CPUtime=0.52 cores=0-31
/proc/9954/task/9970/stat : 9970 (claspmt) S 9952 9954 9865 0 -1 4202560 5685 0 0 0 13 39 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604503321353696 0 0 -1 13 0 0 0
[pid=9954/tid=9971] ppid=9952 vsize=2180116 CPUtime=0.53 cores=0-31
/proc/9954/task/9971/stat : 9971 (claspmt) S 9952 9954 9865 0 -1 4202560 5048 0 0 0 9 44 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505525575136 0 0 -1 29 0 0 0
[pid=9954/tid=9972] ppid=9952 vsize=2180116 CPUtime=0.52 cores=0-31
/proc/9954/task/9972/stat : 9972 (claspmt) S 9952 9954 9865 0 -1 4202560 5362 0 0 0 6 46 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505153650144 0 0 -1 7 0 0 0
[pid=9954/tid=9973] ppid=9952 vsize=2180116 CPUtime=0.61 cores=0-31
/proc/9954/task/9973/stat : 9973 (claspmt) S 9952 9954 9865 0 -1 4202560 6401 0 0 0 14 47 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505153633760 0 0 -1 17 0 0 0
[pid=9954/tid=9974] ppid=9952 vsize=2180116 CPUtime=0.57 cores=0-31
/proc/9954/task/9974/stat : 9974 (claspmt) S 9952 9954 9865 0 -1 4202560 6582 0 0 0 12 45 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604506060979680 0 0 -1 19 0 0 0
[pid=9954/tid=9975] ppid=9952 vsize=2180116 CPUtime=0.52 cores=0-31
/proc/9954/task/9975/stat : 9975 (claspmt) S 9952 9954 9865 0 -1 4202560 5329 0 0 0 6 46 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505153658336 0 0 -1 4 0 0 0
[pid=9954/tid=9976] ppid=9952 vsize=2180116 CPUtime=5.98 cores=0-31
/proc/9954/task/9976/stat : 9976 (claspmt) R 9952 9954 9865 0 -1 4202560 5953 0 0 0 549 49 0 0 25 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670688 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9954/tid=9977] ppid=9952 vsize=2180116 CPUtime=0.58 cores=0-31
/proc/9954/task/9977/stat : 9977 (claspmt) S 9952 9954 9865 0 -1 4202560 6234 0 0 0 13 45 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604502059318752 0 0 -1 12 0 0 0
[pid=9954/tid=9978] ppid=9952 vsize=2180116 CPUtime=0.62 cores=0-31
/proc/9954/task/9978/stat : 9978 (claspmt) S 9952 9954 9865 0 -1 4202560 5897 0 0 0 12 50 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505153666528 0 0 -1 28 0 0 0
[pid=9954/tid=9979] ppid=9952 vsize=2180116 CPUtime=0.39 cores=0-31
/proc/9954/task/9979/stat : 9979 (claspmt) S 9952 9954 9865 0 -1 4202560 5303 0 0 0 8 31 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505811893728 0 0 -1 14 0 0 0
[pid=9954/tid=9980] ppid=9952 vsize=2180116 CPUtime=0.49 cores=0-31
/proc/9954/task/9980/stat : 9980 (claspmt) S 9952 9954 9865 0 -1 4202560 5332 0 0 0 6 43 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604506002005472 0 0 -1 8 0 0 0
[pid=9954/tid=9981] ppid=9952 vsize=2180116 CPUtime=0.55 cores=0-31
/proc/9954/task/9981/stat : 9981 (claspmt) S 9952 9954 9865 0 -1 4202560 5699 0 0 0 11 44 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505153617376 0 0 -1 16 0 0 0
[pid=9954/tid=9982] ppid=9952 vsize=2180116 CPUtime=0.65 cores=0-31
/proc/9954/task/9982/stat : 9982 (claspmt) S 9952 9954 9865 0 -1 4202560 6202 0 0 0 12 53 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505153609184 0 0 -1 0 0 0 0
[pid=9954/tid=9983] ppid=9952 vsize=2180116 CPUtime=0.52 cores=0-31
/proc/9954/task/9983/stat : 9983 (claspmt) S 9952 9954 9865 0 -1 4202560 5261 0 0 0 6 46 0 0 16 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604506060963296 0 0 -1 20 0 0 0
[pid=9954/tid=9984] ppid=9952 vsize=2180116 CPUtime=6.01 cores=0-31
/proc/9954/task/9984/stat : 9984 (claspmt) R 9952 9954 9865 0 -1 4202560 5610 0 0 0 562 39 0 0 25 0 32 0 2715148 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9954/tid=9985] ppid=9952 vsize=2180116 CPUtime=0.56 cores=0-31
/proc/9954/task/9985/stat : 9985 (claspmt) S 9952 9954 9865 0 -1 4202560 6287 0 0 0 13 43 0 0 16 0 32 0 2715149 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505525558752 0 0 -1 15 0 0 0
[pid=9954/tid=9986] ppid=9952 vsize=2180116 CPUtime=0.46 cores=0-31
/proc/9954/task/9986/stat : 9986 (claspmt) S 9952 9954 9865 0 -1 4202560 5620 0 0 0 13 33 0 0 16 0 32 0 2715149 2232438784 176360 270582939648 4194304 4964800 140733501581952 18446744073709551615 258662772457 0 0 4096 18946 18446604505811885536 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 44.44
Current children cumulated vsize (KiB) 2180116

[startup+25.5025 s]
/proc/loadavg: 15.38 21.48 27.57 33/445 9987
/proc/meminfo: memFree=262937844/264257624 swapFree=67111528/67111528
[pid=9954] ppid=9952 vsize=2180116 CPUtime=159.82 cores=0-31
/proc/9954/stat : 9954 (claspmt) R 9952 9954 9865 0 -1 4202496 225872 0 0 0 14576 1406 0 0 21 0 32 0 2714584 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 10 0 0 0
/proc/9954/statm: 545029 184315 461 189 0 539378 0
[pid=9954/tid=9956] ppid=9952 vsize=2180116 CPUtime=2.88 cores=0-31
/proc/9954/task/9956/stat : 9956 (claspmt) R 9952 9954 9865 0 -1 4202560 5154 0 0 0 241 47 0 0 18 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4321122 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9954/tid=9957] ppid=9952 vsize=2180116 CPUtime=2.9 cores=0-31
/proc/9954/task/9957/stat : 9957 (claspmt) R 9952 9954 9865 0 -1 4202560 6657 0 0 0 245 45 0 0 18 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9954/tid=9958] ppid=9952 vsize=2180116 CPUtime=2.9 cores=0-31
/proc/9954/task/9958/stat : 9958 (claspmt) R 9952 9954 9865 0 -1 4202560 6762 0 0 0 245 45 0 0 18 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4653604 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9954/tid=9959] ppid=9952 vsize=2180116 CPUtime=2.82 cores=0-31
/proc/9954/task/9959/stat : 9959 (claspmt) R 9952 9954 9865 0 -1 4202560 5375 0 0 0 240 42 0 0 18 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9954/tid=9960] ppid=9952 vsize=2180116 CPUtime=18.48 cores=0-31
/proc/9954/task/9960/stat : 9960 (claspmt) R 9952 9954 9865 0 -1 4202560 6056 0 0 0 1799 49 0 0 25 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9954/tid=9961] ppid=9952 vsize=2180116 CPUtime=2.91 cores=0-31
/proc/9954/task/9961/stat : 9961 (claspmt) R 9952 9954 9865 0 -1 4202560 6404 0 0 0 243 48 0 0 18 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9954/tid=9962] ppid=9952 vsize=2180116 CPUtime=2.89 cores=0-31
/proc/9954/task/9962/stat : 9962 (claspmt) R 9952 9954 9865 0 -1 4202560 6283 0 0 0 242 47 0 0 18 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9954/tid=9963] ppid=9952 vsize=2180116 CPUtime=2.86 cores=0-31
/proc/9954/task/9963/stat : 9963 (claspmt) R 9952 9954 9865 0 -1 4202560 5591 0 0 0 238 48 0 0 18 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9954/tid=9964] ppid=9952 vsize=2180116 CPUtime=2.72 cores=0-31
/proc/9954/task/9964/stat : 9964 (claspmt) R 9952 9954 9865 0 -1 4202560 4077 0 0 0 241 31 0 0 18 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9954/tid=9965] ppid=9952 vsize=2180116 CPUtime=2.83 cores=0-31
/proc/9954/task/9965/stat : 9965 (claspmt) R 9952 9954 9865 0 -1 4202560 6950 0 0 0 243 40 0 0 18 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9954/tid=9966] ppid=9952 vsize=2180116 CPUtime=2.9 cores=0-31
/proc/9954/task/9966/stat : 9966 (claspmt) R 9952 9954 9865 0 -1 4202560 6542 0 0 0 242 48 0 0 18 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9954/tid=9967] ppid=9952 vsize=2180116 CPUtime=2.79 cores=0-31
/proc/9954/task/9967/stat : 9967 (claspmt) R 9952 9954 9865 0 -1 4202560 5685 0 0 0 242 37 0 0 18 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9954/tid=9968] ppid=9952 vsize=2180116 CPUtime=18.58 cores=0-31
/proc/9954/task/9968/stat : 9968 (claspmt) R 9952 9954 9865 0 -1 4202560 6034 0 0 0 1814 44 0 0 25 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9954/tid=9969] ppid=9952 vsize=2180116 CPUtime=2.87 cores=0-31
/proc/9954/task/9969/stat : 9969 (claspmt) R 9952 9954 9865 0 -1 4202560 6770 0 0 0 242 45 0 0 18 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9954/tid=9970] ppid=9952 vsize=2180116 CPUtime=2.84 cores=0-31
/proc/9954/task/9970/stat : 9970 (claspmt) R 9952 9954 9865 0 -1 4202560 6038 0 0 0 244 40 0 0 18 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9954/tid=9971] ppid=9952 vsize=2180116 CPUtime=2.85 cores=0-31
/proc/9954/task/9971/stat : 9971 (claspmt) R 9952 9954 9865 0 -1 4202560 5307 0 0 0 240 45 0 0 18 0 32 0 2715148 2232438784 184315 270582939648 4194304 4964800 140733501581952 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 29 0 0 0

################
# More data... #
################

/proc/9954/task/9956/stat : 9956 (claspmt) R 9952 9954 9865 0 -1 4202560 5234 0 0 0 570 47 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9954/tid=9957] ppid=9952 vsize=2180116 CPUtime=6.2 cores=0-31
/proc/9954/task/9957/stat : 9957 (claspmt) R 9952 9954 9865 0 -1 4202560 6802 0 0 0 574 46 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9954/tid=9958] ppid=9952 vsize=2180116 CPUtime=6.2 cores=0-31
/proc/9954/task/9958/stat : 9958 (claspmt) R 9952 9954 9865 0 -1 4202560 6871 0 0 0 575 45 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9954/tid=9959] ppid=9952 vsize=2180116 CPUtime=6.13 cores=0-31
/proc/9954/task/9959/stat : 9959 (claspmt) R 9952 9954 9865 0 -1 4202560 5410 0 0 0 570 43 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4684760 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9954/tid=9960] ppid=9952 vsize=2180116 CPUtime=21.77 cores=0-31
/proc/9954/task/9960/stat : 9960 (claspmt) R 9952 9954 9865 0 -1 4202560 6064 0 0 0 2128 49 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4399292 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9954/tid=9961] ppid=9952 vsize=2180116 CPUtime=6.21 cores=0-31
/proc/9954/task/9961/stat : 9961 (claspmt) R 9952 9954 9865 0 -1 4202560 6521 0 0 0 572 49 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9954/tid=9962] ppid=9952 vsize=2180116 CPUtime=6.19 cores=0-31
/proc/9954/task/9962/stat : 9962 (claspmt) R 9952 9954 9865 0 -1 4202560 6485 0 0 0 571 48 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9954/tid=9963] ppid=9952 vsize=2180116 CPUtime=6.16 cores=0-31
/proc/9954/task/9963/stat : 9963 (claspmt) R 9952 9954 9865 0 -1 4202560 5681 0 0 0 568 48 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9954/tid=9964] ppid=9952 vsize=2180116 CPUtime=6.01 cores=0-31
/proc/9954/task/9964/stat : 9964 (claspmt) R 9952 9954 9865 0 -1 4202560 4153 0 0 0 570 31 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9954/tid=9965] ppid=9952 vsize=2180116 CPUtime=6.13 cores=0-31
/proc/9954/task/9965/stat : 9965 (claspmt) R 9952 9954 9865 0 -1 4202560 7108 0 0 0 572 41 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9954/tid=9966] ppid=9952 vsize=2180116 CPUtime=6.2 cores=0-31
/proc/9954/task/9966/stat : 9966 (claspmt) R 9952 9954 9865 0 -1 4202560 6648 0 0 0 571 49 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9954/tid=9967] ppid=9952 vsize=2180116 CPUtime=6.08 cores=0-31
/proc/9954/task/9967/stat : 9967 (claspmt) R 9952 9954 9865 0 -1 4202560 5812 0 0 0 571 37 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9954/tid=9968] ppid=9952 vsize=2180116 CPUtime=21.87 cores=0-31
/proc/9954/task/9968/stat : 9968 (claspmt) R 9952 9954 9865 0 -1 4202560 6040 0 0 0 2143 44 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9954/tid=9969] ppid=9952 vsize=2180116 CPUtime=6.18 cores=0-31
/proc/9954/task/9969/stat : 9969 (claspmt) R 9952 9954 9865 0 -1 4202560 6880 0 0 0 572 46 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4643446 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9954/tid=9970] ppid=9952 vsize=2180116 CPUtime=6.15 cores=0-31
/proc/9954/task/9970/stat : 9970 (claspmt) R 9952 9954 9865 0 -1 4202560 6190 0 0 0 574 41 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9954/tid=9971] ppid=9952 vsize=2180116 CPUtime=6.15 cores=0-31
/proc/9954/task/9971/stat : 9971 (claspmt) R 9952 9954 9865 0 -1 4202560 5389 0 0 0 570 45 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9954/tid=9972] ppid=9952 vsize=2180116 CPUtime=6.16 cores=0-31
/proc/9954/task/9972/stat : 9972 (claspmt) R 9952 9954 9865 0 -1 4202560 5631 0 0 0 569 47 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9954/tid=9973] ppid=9952 vsize=2180116 CPUtime=6.23 cores=0-31
/proc/9954/task/9973/stat : 9973 (claspmt) R 9952 9954 9865 0 -1 4202560 6835 0 0 0 574 49 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9954/tid=9974] ppid=9952 vsize=2180116 CPUtime=6.19 cores=0-31
/proc/9954/task/9974/stat : 9974 (claspmt) R 9952 9954 9865 0 -1 4202560 6998 0 0 0 572 47 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9954/tid=9975] ppid=9952 vsize=2180116 CPUtime=6.15 cores=0-31
/proc/9954/task/9975/stat : 9975 (claspmt) R 9952 9954 9865 0 -1 4202560 5642 0 0 0 568 47 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4668973 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9954/tid=9976] ppid=9952 vsize=2180116 CPUtime=21.91 cores=0-31
/proc/9954/task/9976/stat : 9976 (claspmt) R 9952 9954 9865 0 -1 4202560 5989 0 0 0 2142 49 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9954/tid=9977] ppid=9952 vsize=2180116 CPUtime=6.21 cores=0-31
/proc/9954/task/9977/stat : 9977 (claspmt) R 9952 9954 9865 0 -1 4202560 6701 0 0 0 574 47 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9954/tid=9978] ppid=9952 vsize=2180116 CPUtime=6.24 cores=0-31
/proc/9954/task/9978/stat : 9978 (claspmt) R 9952 9954 9865 0 -1 4202560 6272 0 0 0 573 51 0 0 23 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9954/tid=9979] ppid=9952 vsize=2180116 CPUtime=6.02 cores=0-31
/proc/9954/task/9979/stat : 9979 (claspmt) R 9952 9954 9865 0 -1 4202560 5648 0 0 0 569 33 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4668721 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9954/tid=9980] ppid=9952 vsize=2180116 CPUtime=6.12 cores=0-31
/proc/9954/task/9980/stat : 9980 (claspmt) R 9952 9954 9865 0 -1 4202560 5705 0 0 0 568 44 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9954/tid=9981] ppid=9952 vsize=2180116 CPUtime=6.19 cores=0-31
/proc/9954/task/9981/stat : 9981 (claspmt) R 9952 9954 9865 0 -1 4202560 6037 0 0 0 573 46 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9954/tid=9982] ppid=9952 vsize=2180116 CPUtime=6.27 cores=0-31
/proc/9954/task/9982/stat : 9982 (claspmt) R 9952 9954 9865 0 -1 4202560 6597 0 0 0 573 54 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9954/tid=9983] ppid=9952 vsize=2180116 CPUtime=6.16 cores=0-31
/proc/9954/task/9983/stat : 9983 (claspmt) R 9952 9954 9865 0 -1 4202560 5597 0 0 0 568 48 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9954/tid=9984] ppid=9952 vsize=2180116 CPUtime=21.8 cores=0-31
/proc/9954/task/9984/stat : 9984 (claspmt) R 9952 9954 9865 0 -1 4202560 5634 0 0 0 2141 39 0 0 25 0 32 0 2715148 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9954/tid=9985] ppid=9952 vsize=2180116 CPUtime=6.19 cores=0-31
/proc/9954/task/9985/stat : 9985 (claspmt) R 9952 9954 9865 0 -1 4202560 6726 0 0 0 573 46 0 0 25 0 32 0 2715149 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670155 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9954/tid=9986] ppid=9952 vsize=2180116 CPUtime=6.08 cores=0-31
/proc/9954/task/9986/stat : 9986 (claspmt) R 9952 9954 9865 0 -1 4202560 6076 0 0 0 573 35 0 0 25 0 32 0 2715149 2232438784 187475 270582939648 4194304 4964800 140733501581952 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 265.27
Current children cumulated vsize (KiB) 2180116

[startup+30.4017 s]
/proc/loadavg: 15.38 21.48 27.57 33/445 9987
/proc/meminfo: memFree=262921844/264257624 swapFree=67111528/67111528
[pid=9954] ppid=9952 vsize=2180116 CPUtime=316.42 cores=0-31
/proc/9954/stat : 9954 (claspmt) R 9952 9954 9865 0 -1 4202496 230429 0 0 0 30222 1420 0 0 25 0 32 0 2714584 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4669509 0 0 4096 18946 18446744073709551615 0 0 17 10 0 0 0
/proc/9954/statm: 545029 188872 461 189 0 539378 0
[pid=9954/tid=9956] ppid=9952 vsize=2180116 CPUtime=7.77 cores=0-31
/proc/9954/task/9956/stat : 9956 (claspmt) R 9952 9954 9865 0 -1 4202560 5283 0 0 0 730 47 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9954/tid=9957] ppid=9952 vsize=2180116 CPUtime=7.8 cores=0-31
/proc/9954/task/9957/stat : 9957 (claspmt) R 9952 9954 9865 0 -1 4202560 6861 0 0 0 733 47 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9954/tid=9958] ppid=9952 vsize=2180116 CPUtime=7.8 cores=0-31
/proc/9954/task/9958/stat : 9958 (claspmt) R 9952 9954 9865 0 -1 4202560 6918 0 0 0 735 45 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9954/tid=9959] ppid=9952 vsize=2180116 CPUtime=7.72 cores=0-31
/proc/9954/task/9959/stat : 9959 (claspmt) R 9952 9954 9865 0 -1 4202560 5452 0 0 0 729 43 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9954/tid=9960] ppid=9952 vsize=2180116 CPUtime=23.37 cores=0-31
/proc/9954/task/9960/stat : 9960 (claspmt) R 9952 9954 9865 0 -1 4202560 6064 0 0 0 2288 49 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4399292 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9954/tid=9961] ppid=9952 vsize=2180116 CPUtime=7.81 cores=0-31
/proc/9954/task/9961/stat : 9961 (claspmt) R 9952 9954 9865 0 -1 4202560 6544 0 0 0 732 49 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670678 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9954/tid=9962] ppid=9952 vsize=2180116 CPUtime=7.78 cores=0-31
/proc/9954/task/9962/stat : 9962 (claspmt) R 9952 9954 9865 0 -1 4202560 6565 0 0 0 730 48 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9954/tid=9963] ppid=9952 vsize=2180116 CPUtime=7.77 cores=0-31
/proc/9954/task/9963/stat : 9963 (claspmt) R 9952 9954 9865 0 -1 4202560 5728 0 0 0 728 49 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9954/tid=9964] ppid=9952 vsize=2180116 CPUtime=7.61 cores=0-31
/proc/9954/task/9964/stat : 9964 (claspmt) R 9952 9954 9865 0 -1 4202560 4196 0 0 0 730 31 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9954/tid=9965] ppid=9952 vsize=2180116 CPUtime=7.73 cores=0-31
/proc/9954/task/9965/stat : 9965 (claspmt) R 9952 9954 9865 0 -1 4202560 7160 0 0 0 732 41 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4678078 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9954/tid=9966] ppid=9952 vsize=2180116 CPUtime=7.8 cores=0-31
/proc/9954/task/9966/stat : 9966 (claspmt) R 9952 9954 9865 0 -1 4202560 6692 0 0 0 731 49 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4342213 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9954/tid=9967] ppid=9952 vsize=2180116 CPUtime=7.69 cores=0-31
/proc/9954/task/9967/stat : 9967 (claspmt) R 9952 9954 9865 0 -1 4202560 5888 0 0 0 731 38 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9954/tid=9968] ppid=9952 vsize=2180116 CPUtime=23.47 cores=0-31
/proc/9954/task/9968/stat : 9968 (claspmt) R 9952 9954 9865 0 -1 4202560 6040 0 0 0 2303 44 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9954/tid=9969] ppid=9952 vsize=2180116 CPUtime=7.78 cores=0-31
/proc/9954/task/9969/stat : 9969 (claspmt) R 9952 9954 9865 0 -1 4202560 6912 0 0 0 732 46 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9954/tid=9970] ppid=9952 vsize=2180116 CPUtime=7.74 cores=0-31
/proc/9954/task/9970/stat : 9970 (claspmt) R 9952 9954 9865 0 -1 4202560 6257 0 0 0 733 41 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9954/tid=9971] ppid=9952 vsize=2180116 CPUtime=7.76 cores=0-31
/proc/9954/task/9971/stat : 9971 (claspmt) R 9952 9954 9865 0 -1 4202560 5422 0 0 0 730 46 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9954/tid=9972] ppid=9952 vsize=2180116 CPUtime=7.75 cores=0-31
/proc/9954/task/9972/stat : 9972 (claspmt) R 9952 9954 9865 0 -1 4202560 5699 0 0 0 728 47 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670144 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9954/tid=9973] ppid=9952 vsize=2180116 CPUtime=7.82 cores=0-31
/proc/9954/task/9973/stat : 9973 (claspmt) R 9952 9954 9865 0 -1 4202560 6889 0 0 0 733 49 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4342204 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9954/tid=9974] ppid=9952 vsize=2180116 CPUtime=7.79 cores=0-31
/proc/9954/task/9974/stat : 9974 (claspmt) R 9952 9954 9865 0 -1 4202560 7038 0 0 0 732 47 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9954/tid=9975] ppid=9952 vsize=2180116 CPUtime=7.74 cores=0-31
/proc/9954/task/9975/stat : 9975 (claspmt) R 9952 9954 9865 0 -1 4202560 5707 0 0 0 727 47 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9954/tid=9976] ppid=9952 vsize=2180116 CPUtime=23.47 cores=0-31
/proc/9954/task/9976/stat : 9976 (claspmt) R 9952 9954 9865 0 -1 4202560 5989 0 0 0 2298 49 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9954/tid=9977] ppid=9952 vsize=2180116 CPUtime=7.81 cores=0-31
/proc/9954/task/9977/stat : 9977 (claspmt) R 9952 9954 9865 0 -1 4202560 6737 0 0 0 734 47 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9954/tid=9978] ppid=9952 vsize=2180116 CPUtime=7.84 cores=0-31
/proc/9954/task/9978/stat : 9978 (claspmt) R 9952 9954 9865 0 -1 4202560 6340 0 0 0 732 52 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9954/tid=9979] ppid=9952 vsize=2180116 CPUtime=7.62 cores=0-31
/proc/9954/task/9979/stat : 9979 (claspmt) R 9952 9954 9865 0 -1 4202560 5697 0 0 0 729 33 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9954/tid=9980] ppid=9952 vsize=2180116 CPUtime=7.72 cores=0-31
/proc/9954/task/9980/stat : 9980 (claspmt) R 9952 9954 9865 0 -1 4202560 5762 0 0 0 728 44 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9954/tid=9981] ppid=9952 vsize=2180116 CPUtime=7.78 cores=0-31
/proc/9954/task/9981/stat : 9981 (claspmt) R 9952 9954 9865 0 -1 4202560 6075 0 0 0 732 46 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9954/tid=9982] ppid=9952 vsize=2180116 CPUtime=7.87 cores=0-31
/proc/9954/task/9982/stat : 9982 (claspmt) R 9952 9954 9865 0 -1 4202560 6620 0 0 0 733 54 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9954/tid=9983] ppid=9952 vsize=2180116 CPUtime=7.75 cores=0-31
/proc/9954/task/9983/stat : 9983 (claspmt) R 9952 9954 9865 0 -1 4202560 5657 0 0 0 727 48 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9954/tid=9984] ppid=9952 vsize=2180116 CPUtime=23.4 cores=0-31
/proc/9954/task/9984/stat : 9984 (claspmt) R 9952 9954 9865 0 -1 4202560 5634 0 0 0 2301 39 0 0 25 0 32 0 2715148 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9954/tid=9985] ppid=9952 vsize=2180116 CPUtime=7.79 cores=0-31
/proc/9954/task/9985/stat : 9985 (claspmt) R 9952 9954 9865 0 -1 4202560 6768 0 0 0 733 46 0 0 25 0 32 0 2715149 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9954/tid=9986] ppid=9952 vsize=2180116 CPUtime=7.68 cores=0-31
/proc/9954/task/9986/stat : 9986 (claspmt) R 9952 9954 9865 0 -1 4202560 6114 0 0 0 733 35 0 0 25 0 32 0 2715149 2232438784 188872 270582939648 4194304 4964800 140733501581952 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 316.42
Current children cumulated vsize (KiB) 2180116

[startup+32.0369 s]
/proc/loadavg: 16.79 21.67 27.60 2/414 9987
/proc/meminfo: memFree=262934864/264257624 swapFree=67111528/67111528
[pid=9954] ppid=9952 vsize=2072816 CPUtime=344.68 cores=0-31
/proc/9954/stat : 9954 (claspmt) R 9952 9954 9865 0 -1 4202496 230687 0 0 0 33044 1424 0 0 18 0 1 0 2714584 2122563584 184658 270582939648 4194304 4964800 140733501581952 18446744073709551615 4646717 0 0 4096 18946 0 0 0 17 10 0 0 0
/proc/9954/statm: 518204 184658 472 189 0 512553 0
Current children cumulated CPU time (s) 344.68
Current children cumulated vsize (KiB) 2072816

[startup+32.4009 s]
/proc/loadavg: 16.79 21.67 27.60 2/414 9987
/proc/meminfo: memFree=262934864/264257624 swapFree=67111528/67111528
[pid=9954] ppid=9952 vsize=2072816 CPUtime=345.04 cores=0-31
/proc/9954/stat : 9954 (claspmt) R 9952 9954 9865 0 -1 4202496 230687 0 0 0 33080 1424 0 0 19 0 1 0 2714584 2122563584 184575 270582939648 4194304 4964800 140733501581952 18446744073709551615 4628834 0 0 4096 18946 0 0 0 17 10 0 0 0
/proc/9954/statm: 518204 184575 472 189 0 512553 0
Current children cumulated CPU time (s) 345.04
Current children cumulated vsize (KiB) 2072816

[startup+32.6009 s]
/proc/loadavg: 16.79 21.67 27.60 2/414 9987
/proc/meminfo: memFree=262934864/264257624 swapFree=67111528/67111528
[pid=9954] ppid=9952 vsize=2072816 CPUtime=345.24 cores=0-31
/proc/9954/stat : 9954 (claspmt) R 9952 9954 9865 0 -1 4202496 230687 0 0 0 33100 1424 0 0 19 0 1 0 2714584 2122563584 184021 270582939648 4194304 4964800 140733501581952 18446744073709551615 4628834 0 0 4096 18946 0 0 0 17 10 0 0 0
/proc/9954/statm: 518204 184021 472 189 0 512553 0
Current children cumulated CPU time (s) 345.24
Current children cumulated vsize (KiB) 2072816

[startup+32.7009 s]
/proc/loadavg: 16.79 21.67 27.60 2/414 9987
/proc/meminfo: memFree=262934864/264257624 swapFree=67111528/67111528
[pid=9954] ppid=9952 vsize=2072816 CPUtime=345.34 cores=0-31
/proc/9954/stat : 9954 (claspmt) R 9952 9954 9865 0 -1 4202496 230687 0 0 0 33110 1424 0 0 20 0 1 0 2714584 2122563584 176878 270582939648 4194304 4964800 140733501581952 18446744073709551615 258650604936 0 0 4096 18946 0 0 0 17 10 0 0 0
/proc/9954/statm: 518204 176878 472 189 0 512553 0
Current children cumulated CPU time (s) 345.34
Current children cumulated vsize (KiB) 2072816

Child status: 20
Real time (s): 32.7539
CPU time (s): 345.399
CPU user time (s): 331.111
CPU system time (s): 14.2888
CPU usage (%): 1054.53
Max. virtual memory (cumulated for all children) (KiB): 2180248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 331.111
system time used= 14.2888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230688
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= 175804
involuntary context switches= 1380

runsolver used 0.215967 second user time and 0.732888 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-06 17:14:37
IDJOB=3472271
IDBENCH=20431
IDSOLVER=1961
FILE ID=node200/3472271-1307373276
RUNJOBID= node200-1307373083-9879
PBS_JOBID= 13509163
Free space on /tmp= 61728 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.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-3472271-1307373276/watcher-3472271-1307373276 -o /tmp/evaluation-result-3472271-1307373276/solver-3472271-1307373276 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472271-1307373276.cnf

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

MD5SUM BENCH= 3b8c6114a974b09e9b1601ba0718cbf3
RANDOM SEED=1028272783

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:      263669140 kB
Buffers:         39012 kB
Cached:         345224 kB
SwapCached:          0 kB
Active:         156156 kB
Inactive:       291136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263669140 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           17648 kB
Writeback:           0 kB
AnonPages:       63300 kB
Mapped:          14528 kB
Slab:            64512 kB
PageTables:       4428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   153916 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= 61728 MiB
End job on node200 at 2011-06-06 17:15:10