Trace number 3472268

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)? (TO) 160004 5015.75

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
MD5SUM0683489092a5eb0c881dd17c2c45d08e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables105623
Number of clauses374254
Sum of the clauses size911890
Maximum clause length43
Minimum clause length1
Number of clauses of size 1128
Number of clauses of size 2269133
Number of clauses of size 399944
Number of clauses of size 4407
Number of clauses of size 5309
Number of clauses of size over 54333

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...362963/instance-3472268-1307362963.cnf
1.89/1.90	c Solving...
160001.80/5013.52	
160001.80/5013.52	*** INTERRUPTED! ***
160001.80/5013.52	*** Shutting down threads...

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3472268-1307362963/watcher-3472268-1307362963 -o /tmp/evaluation-result-3472268-1307362963/solver-3472268-1307362963 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472268-1307362963.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: 31.92 31.75 31.86 1/413 9423
/proc/meminfo: memFree=263706304/264257624 swapFree=67111528/67111528
[pid=9423] ppid=9421 vsize=34408 CPUtime=0.03 cores=0-31
/proc/9423/stat : 9423 (claspmt) R 9421 9423 9335 0 -1 4202496 2326 0 0 0 3 0 0 0 21 0 1 0 1683223 35233792 2256 270582939648 4194304 4964800 140737415462288 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9423/statm: 8602 2260 373 189 0 3476 0

[startup+0.104148 s]
/proc/loadavg: 31.92 31.75 31.86 1/413 9423
/proc/meminfo: memFree=263706304/264257624 swapFree=67111528/67111528
[pid=9423] ppid=9421 vsize=44152 CPUtime=0.09 cores=0-31
/proc/9423/stat : 9423 (claspmt) R 9421 9423 9335 0 -1 4202496 7208 0 0 0 8 1 0 0 21 0 1 0 1683223 45211648 6134 270582939648 4194304 4964800 140737415462288 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9423/statm: 11038 6135 386 189 0 5912 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44152

[startup+0.201173 s]
/proc/loadavg: 31.92 31.75 31.86 1/413 9423
/proc/meminfo: memFree=263706304/264257624 swapFree=67111528/67111528
[pid=9423] ppid=9421 vsize=50572 CPUtime=0.19 cores=0-31
/proc/9423/stat : 9423 (claspmt) R 9421 9423 9335 0 -1 4202496 9396 0 0 0 17 2 0 0 21 0 1 0 1683223 51785728 7749 270582939648 4194304 4964800 140737415462288 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9423/statm: 12643 7750 386 189 0 7517 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 50572

[startup+0.301168 s]
/proc/loadavg: 31.92 31.75 31.86 1/413 9423
/proc/meminfo: memFree=263706304/264257624 swapFree=67111528/67111528
[pid=9423] ppid=9421 vsize=58668 CPUtime=0.29 cores=0-31
/proc/9423/stat : 9423 (claspmt) R 9421 9423 9335 0 -1 4202496 12252 0 0 0 26 3 0 0 22 0 1 0 1683223 60076032 9591 270582939648 4194304 4964800 140737415462288 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9423/statm: 14667 9592 386 189 0 9541 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58668

[startup+0.701173 s]
/proc/loadavg: 31.92 31.75 31.86 1/413 9423
/proc/meminfo: memFree=263706304/264257624 swapFree=67111528/67111528
[pid=9423] ppid=9421 vsize=78392 CPUtime=0.69 cores=0-31
/proc/9423/stat : 9423 (claspmt) R 9421 9423 9335 0 -1 4202496 18115 0 0 0 64 5 0 0 23 0 1 0 1683223 80273408 14412 270582939648 4194304 4964800 140737415462288 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9423/statm: 19598 14413 401 189 0 14472 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78392

[startup+1.50119 s]
/proc/loadavg: 31.92 31.75 31.86 2/414 9424
/proc/meminfo: memFree=263639320/264257624 swapFree=67111528/67111528
[pid=9423] ppid=9421 vsize=92052 CPUtime=1.49 cores=0-31
/proc/9423/stat : 9423 (claspmt) R 9421 9423 9335 0 -1 4202496 21518 0 0 0 143 6 0 0 25 0 1 0 1683223 94261248 17815 270582939648 4194304 4964800 140737415462288 18446744073709551615 4601734 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9423/statm: 23013 17815 401 189 0 17887 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92052

[startup+3.10318 s]
/proc/loadavg: 31.92 31.75 31.86 19/445 9455
/proc/meminfo: memFree=263480708/264257624 swapFree=67111528/67111528
[pid=9423] ppid=9421 vsize=2113908 CPUtime=15.81 cores=0-31
/proc/9423/stat : 9423 (claspmt) S 9421 9423 9335 0 -1 4202496 155760 0 0 0 390 1191 0 0 18 0 32 0 1683223 2164641792 124409 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 10 0 0 0
/proc/9423/statm: 528477 124417 435 189 0 522826 0
[pid=9423/tid=9425] ppid=9421 vsize=2113908 CPUtime=0.45 cores=0-31
/proc/9423/task/9425/stat : 9425 (claspmt) S 9421 9423 9335 0 -1 4202560 3713 0 0 0 6 39 0 0 17 0 32 0 1683414 2164641792 124427 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604644017839584 0 0 -1 12 0 0 0
[pid=9423/tid=9426] ppid=9421 vsize=2113908 CPUtime=0.43 cores=0-31
/proc/9423/task/9426/stat : 9426 (claspmt) D 9421 9423 9335 0 -1 4202560 4472 0 0 0 6 37 0 0 17 0 32 0 1683414 2164641792 124437 270582939648 4194304 4964800 140737415462288 18446744073709551615 4376558 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9423/tid=9427] ppid=9421 vsize=2113908 CPUtime=0.43 cores=0-31
/proc/9423/task/9427/stat : 9427 (claspmt) D 9421 9423 9335 0 -1 4202560 4628 0 0 0 5 38 0 0 17 0 32 0 1683414 2164641792 124441 270582939648 4194304 4964800 140737415462288 18446744073709551615 4376558 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9423/tid=9428] ppid=9421 vsize=2113908 CPUtime=0.45 cores=0-31
/proc/9423/task/9428/stat : 9428 (claspmt) R 9421 9423 9335 0 -1 4202560 3837 0 0 0 4 41 0 0 17 0 32 0 1683414 2164641792 124450 270582939648 4194304 4964800 140737415462288 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9423/tid=9429] ppid=9421 vsize=2113908 CPUtime=0.54 cores=0-31
/proc/9423/task/9429/stat : 9429 (claspmt) D 9421 9423 9335 0 -1 4202560 4100 0 0 0 16 38 0 0 16 0 32 0 1683414 2164641792 124450 270582939648 4194304 4964800 140737415462288 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9423/tid=9430] ppid=9421 vsize=2113908 CPUtime=0.45 cores=0-31
/proc/9423/task/9430/stat : 9430 (claspmt) D 9421 9423 9335 0 -1 4202560 4546 0 0 0 4 41 0 0 17 0 32 0 1683414 2164641792 124460 270582939648 4194304 4964800 140737415462288 18446744073709551615 258650653361 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9423/tid=9431] ppid=9421 vsize=2113908 CPUtime=0.42 cores=0-31
/proc/9423/task/9431/stat : 9431 (claspmt) S 9421 9423 9335 0 -1 4202560 4617 0 0 0 8 34 0 0 17 0 32 0 1683414 2164641792 124467 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604505328508384 0 0 -1 25 0 0 0
[pid=9423/tid=9432] ppid=9421 vsize=2113908 CPUtime=0.43 cores=0-31
/proc/9423/task/9432/stat : 9432 (claspmt) R 9421 9423 9335 0 -1 4202560 3823 0 0 0 6 37 0 0 17 0 32 0 1683414 2164641792 124473 270582939648 4194304 4964800 140737415462288 18446744073709551615 4697753 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9423/tid=9433] ppid=9421 vsize=2113908 CPUtime=0.44 cores=0-31
/proc/9423/task/9433/stat : 9433 (claspmt) R 9421 9423 9335 0 -1 4202560 3511 0 0 0 4 40 0 0 17 0 32 0 1683414 2164641792 124484 270582939648 4194304 4964800 140737415462288 18446744073709551615 258650653361 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9423/tid=9434] ppid=9421 vsize=2113908 CPUtime=0.45 cores=0-31
/proc/9423/task/9434/stat : 9434 (claspmt) R 9421 9423 9335 0 -1 4202560 4434 0 0 0 6 39 0 0 17 0 32 0 1683414 2164641792 124488 270582939648 4194304 4964800 140737415462288 18446744073709551615 4376558 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9423/tid=9435] ppid=9421 vsize=2113908 CPUtime=0.45 cores=0-31
/proc/9423/task/9435/stat : 9435 (claspmt) D 9421 9423 9335 0 -1 4202560 4119 0 0 0 5 40 0 0 17 0 32 0 1683414 2164641792 124514 270582939648 4194304 4964800 140737415462288 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9423/tid=9436] ppid=9421 vsize=2113908 CPUtime=0.43 cores=0-31
/proc/9423/task/9436/stat : 9436 (claspmt) S 9421 9423 9335 0 -1 4202560 4114 0 0 0 6 37 0 0 17 0 32 0 1683414 2164641792 124518 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604642922298848 0 0 -1 6 0 0 0
[pid=9423/tid=9437] ppid=9421 vsize=2113908 CPUtime=0.48 cores=0-31
/proc/9423/task/9437/stat : 9437 (claspmt) R 9421 9423 9335 0 -1 4202560 4310 0 0 0 10 38 0 0 17 0 32 0 1683414 2164641792 124528 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9423/tid=9438] ppid=9421 vsize=2113908 CPUtime=0.44 cores=0-31
/proc/9423/task/9438/stat : 9438 (claspmt) D 9421 9423 9335 0 -1 4202560 4420 0 0 0 5 39 0 0 17 0 32 0 1683414 2164641792 124532 270582939648 4194304 4964800 140737415462288 18446744073709551615 258650653289 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9423/tid=9439] ppid=9421 vsize=2113908 CPUtime=0.45 cores=0-31
/proc/9423/task/9439/stat : 9439 (claspmt) R 9421 9423 9335 0 -1 4202560 4064 0 0 0 4 41 0 0 17 0 32 0 1683414 2164641792 124542 270582939648 4194304 4964800 140737415462288 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9423/tid=9440] ppid=9421 vsize=2113908 CPUtime=0.43 cores=0-31
/proc/9423/task/9440/stat : 9440 (claspmt) S 9421 9423 9335 0 -1 4202560 4088 0 0 0 6 37 0 0 17 0 32 0 1683414 2164641792 124547 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604639754903008 0 0 -1 29 0 0 0
[pid=9423/tid=9441] ppid=9421 vsize=2113908 CPUtime=0.42 cores=0-31
/proc/9423/task/9441/stat : 9441 (claspmt) S 9421 9423 9335 0 -1 4202560 4067 0 0 0 5 37 0 0 17 0 32 0 1683414 2164641792 124552 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604640759569888 0 0 -1 11 0 0 0
[pid=9423/tid=9442] ppid=9421 vsize=2113908 CPUtime=0.43 cores=0-31
/proc/9423/task/9442/stat : 9442 (claspmt) R 9421 9423 9335 0 -1 4202560 4703 0 0 0 5 38 0 0 17 0 32 0 1683414 2164641792 124563 270582939648 4194304 4964800 140737415462288 18446744073709551615 4652165 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9423/tid=9443] ppid=9421 vsize=2113908 CPUtime=0.43 cores=0-31
/proc/9423/task/9443/stat : 9443 (claspmt) R 9421 9423 9335 0 -1 4202560 4735 0 0 0 4 39 0 0 17 0 32 0 1683414 2164641792 124571 270582939648 4194304 4964800 140737415462288 18446744073709551615 4376558 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9423/tid=9444] ppid=9421 vsize=2113908 CPUtime=0.38 cores=0-31
/proc/9423/task/9444/stat : 9444 (claspmt) S 9421 9423 9335 0 -1 4202560 4083 0 0 0 6 32 0 0 17 0 32 0 1683414 2164641792 124579 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604575297461728 0 0 -1 17 0 0 0
[pid=9423/tid=9445] ppid=9421 vsize=2113908 CPUtime=0.47 cores=0-31
/proc/9423/task/9445/stat : 9445 (claspmt) R 9421 9423 9335 0 -1 4202560 4281 0 0 0 10 37 0 0 17 0 32 0 1683414 2164641792 124585 270582939648 4194304 4964800 140737415462288 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9423/tid=9446] ppid=9421 vsize=2113908 CPUtime=0.45 cores=0-31
/proc/9423/task/9446/stat : 9446 (claspmt) R 9421 9423 9335 0 -1 4202560 4382 0 0 0 5 40 0 0 17 0 32 0 1683414 2164641792 124595 270582939648 4194304 4964800 140737415462288 18446744073709551615 4375623 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9423/tid=9447] ppid=9421 vsize=2113908 CPUtime=0.45 cores=0-31
/proc/9423/task/9447/stat : 9447 (claspmt) R 9421 9423 9335 0 -1 4202560 4542 0 0 0 7 38 0 0 17 0 32 0 1683414 2164641792 124598 270582939648 4194304 4964800 140737415462288 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9423/tid=9448] ppid=9421 vsize=2113908 CPUtime=0.4 cores=0-31
/proc/9423/task/9448/stat : 9448 (claspmt) S 9421 9423 9335 0 -1 4202560 4148 0 0 0 4 36 0 0 17 0 32 0 1683414 2164641792 124604 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604640431275488 0 0 -1 9 0 0 0
[pid=9423/tid=9449] ppid=9421 vsize=2113908 CPUtime=0.43 cores=0-31
/proc/9423/task/9449/stat : 9449 (claspmt) S 9421 9423 9335 0 -1 4202560 4136 0 0 0 6 37 0 0 17 0 32 0 1683414 2164641792 124611 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604644027497952 0 0 -1 10 0 0 0
[pid=9423/tid=9450] ppid=9421 vsize=2113908 CPUtime=0.45 cores=0-31
/proc/9423/task/9450/stat : 9450 (claspmt) R 9421 9423 9335 0 -1 4202560 5029 0 0 0 8 37 0 0 17 0 32 0 1683414 2164641792 124623 270582939648 4194304 4964800 140737415462288 18446744073709551615 4376539 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9423/tid=9451] ppid=9421 vsize=2113908 CPUtime=0.44 cores=0-31
/proc/9423/task/9451/stat : 9451 (claspmt) D 9421 9423 9335 0 -1 4202560 4722 0 0 0 5 39 0 0 17 0 32 0 1683415 2164641792 124627 270582939648 4194304 4964800 140737415462288 18446744073709551615 258650653309 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9423/tid=9452] ppid=9421 vsize=2113908 CPUtime=0.39 cores=0-31
/proc/9423/task/9452/stat : 9452 (claspmt) S 9421 9423 9335 0 -1 4202560 4061 0 0 0 4 35 0 0 17 0 32 0 1683415 2164641792 124628 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604644009123296 0 0 -1 21 0 0 0
[pid=9423/tid=9453] ppid=9421 vsize=2113908 CPUtime=0.43 cores=0-31
/proc/9423/task/9453/stat : 9453 (claspmt) R 9421 9423 9335 0 -1 4202560 4277 0 0 0 10 33 0 0 17 0 32 0 1683415 2164641792 124639 270582939648 4194304 4964800 140737415462288 18446744073709551615 4627281 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9423/tid=9454] ppid=9421 vsize=2113908 CPUtime=0.46 cores=0-31
/proc/9423/task/9454/stat : 9454 (claspmt) R 9421 9423 9335 0 -1 4202560 4783 0 0 0 7 39 0 0 17 0 32 0 1683415 2164641792 124643 270582939648 4194304 4964800 140737415462288 18446744073709551615 4652142 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9423/tid=9455] ppid=9421 vsize=2113908 CPUtime=0.42 cores=0-31
/proc/9423/task/9455/stat : 9455 (claspmt) R 9421 9423 9335 0 -1 4202560 4578 0 0 0 7 35 0 0 17 0 32 0 1683415 2164641792 124658 270582939648 4194304 4964800 140737415462288 18446744073709551615 47238412394064 0 0 4096 18946 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 15.81
Current children cumulated vsize (KiB) 2113908

[startup+6.30132 s]
/proc/loadavg: 29.68 31.29 31.71 5/445 9455
/proc/meminfo: memFree=263184116/264257624 swapFree=67111528/67111528
[pid=9423] ppid=9421 vsize=2115860 CPUtime=28.93 cores=0-31
/proc/9423/stat : 9423 (claspmt) S 9421 9423 9335 0 -1 4202496 162059 0 0 0 1692 1201 0 0 18 0 32 0 1683223 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 10 0 0 0
/proc/9423/statm: 528965 130669 435 189 0 523314 0
[pid=9423/tid=9425] ppid=9421 vsize=2115860 CPUtime=0.45 cores=0-31
/proc/9423/task/9425/stat : 9425 (claspmt) S 9421 9423 9335 0 -1 4202560 3713 0 0 0 6 39 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604644017839584 0 0 -1 12 0 0 0
[pid=9423/tid=9426] ppid=9421 vsize=2115860 CPUtime=0.44 cores=0-31
/proc/9423/task/9426/stat : 9426 (claspmt) S 9421 9423 9335 0 -1 4202560 4951 0 0 0 7 37 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604642804768224 0 0 -1 30 0 0 0
[pid=9423/tid=9427] ppid=9421 vsize=2115860 CPUtime=0.44 cores=0-31
/proc/9423/task/9427/stat : 9427 (claspmt) S 9421 9423 9335 0 -1 4202560 4875 0 0 0 6 38 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604505055141344 0 0 -1 27 0 0 0
[pid=9423/tid=9428] ppid=9421 vsize=2115860 CPUtime=0.45 cores=0-31
/proc/9423/task/9428/stat : 9428 (claspmt) S 9421 9423 9335 0 -1 4202560 3912 0 0 0 4 41 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604644036730336 0 0 -1 2 0 0 0
[pid=9423/tid=9429] ppid=9421 vsize=2115860 CPUtime=3.74 cores=0-31
/proc/9423/task/9429/stat : 9429 (claspmt) R 9421 9423 9335 0 -1 4202560 4366 0 0 0 335 39 0 0 21 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9423/tid=9430] ppid=9421 vsize=2115860 CPUtime=0.47 cores=0-31
/proc/9423/task/9430/stat : 9430 (claspmt) S 9421 9423 9335 0 -1 4202560 5038 0 0 0 5 42 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604644024425952 0 0 -1 24 0 0 0
[pid=9423/tid=9431] ppid=9421 vsize=2115860 CPUtime=0.42 cores=0-31
/proc/9423/task/9431/stat : 9431 (claspmt) S 9421 9423 9335 0 -1 4202560 4617 0 0 0 8 34 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604505328508384 0 0 -1 25 0 0 0
[pid=9423/tid=9432] ppid=9421 vsize=2115860 CPUtime=0.43 cores=0-31
/proc/9423/task/9432/stat : 9432 (claspmt) S 9421 9423 9335 0 -1 4202560 3850 0 0 0 6 37 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604644008246752 0 0 -1 7 0 0 0
[pid=9423/tid=9433] ppid=9421 vsize=2115860 CPUtime=0.46 cores=0-31
/proc/9423/task/9433/stat : 9433 (claspmt) S 9421 9423 9335 0 -1 4202560 3898 0 0 0 5 41 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604505862258144 0 0 -1 11 0 0 0
[pid=9423/tid=9434] ppid=9421 vsize=2115860 CPUtime=0.46 cores=0-31
/proc/9423/task/9434/stat : 9434 (claspmt) S 9421 9423 9335 0 -1 4202560 4911 0 0 0 7 39 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604504570060256 0 0 -1 14 0 0 0
[pid=9423/tid=9435] ppid=9421 vsize=2115860 CPUtime=0.48 cores=0-31
/proc/9423/task/9435/stat : 9435 (claspmt) S 9421 9423 9335 0 -1 4202560 4769 0 0 0 7 41 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604643997621728 0 0 -1 5 0 0 0
[pid=9423/tid=9436] ppid=9421 vsize=2115860 CPUtime=0.43 cores=0-31
/proc/9423/task/9436/stat : 9436 (claspmt) S 9421 9423 9335 0 -1 4202560 4114 0 0 0 6 37 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604642922298848 0 0 -1 6 0 0 0
[pid=9423/tid=9437] ppid=9421 vsize=2115860 CPUtime=3.67 cores=0-31
/proc/9423/task/9437/stat : 9437 (claspmt) R 9421 9423 9335 0 -1 4202560 4504 0 0 0 329 38 0 0 22 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 4399407 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9423/tid=9438] ppid=9421 vsize=2115860 CPUtime=0.46 cores=0-31
/proc/9423/task/9438/stat : 9438 (claspmt) S 9421 9423 9335 0 -1 4202560 4746 0 0 0 6 40 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604643709320672 0 0 -1 22 0 0 0
[pid=9423/tid=9439] ppid=9421 vsize=2115860 CPUtime=0.5 cores=0-31
/proc/9423/task/9439/stat : 9439 (claspmt) S 9421 9423 9335 0 -1 4202560 4399 0 0 0 7 43 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604644020796896 0 0 -1 13 0 0 0
[pid=9423/tid=9440] ppid=9421 vsize=2115860 CPUtime=0.43 cores=0-31
/proc/9423/task/9440/stat : 9440 (claspmt) S 9421 9423 9335 0 -1 4202560 4088 0 0 0 6 37 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604639754903008 0 0 -1 29 0 0 0
[pid=9423/tid=9441] ppid=9421 vsize=2115860 CPUtime=0.42 cores=0-31
/proc/9423/task/9441/stat : 9441 (claspmt) S 9421 9423 9335 0 -1 4202560 4067 0 0 0 5 37 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604640759569888 0 0 -1 11 0 0 0
[pid=9423/tid=9442] ppid=9421 vsize=2115860 CPUtime=0.44 cores=0-31
/proc/9423/task/9442/stat : 9442 (claspmt) S 9421 9423 9335 0 -1 4202560 4962 0 0 0 6 38 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604639711706592 0 0 -1 20 0 0 0
[pid=9423/tid=9443] ppid=9421 vsize=2115860 CPUtime=0.45 cores=0-31
/proc/9423/task/9443/stat : 9443 (claspmt) S 9421 9423 9335 0 -1 4202560 4990 0 0 0 6 39 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604643748388320 0 0 -1 16 0 0 0
[pid=9423/tid=9444] ppid=9421 vsize=2115860 CPUtime=0.38 cores=0-31
/proc/9423/task/9444/stat : 9444 (claspmt) S 9421 9423 9335 0 -1 4202560 4083 0 0 0 6 32 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604575297461728 0 0 -1 17 0 0 0
[pid=9423/tid=9445] ppid=9421 vsize=2115860 CPUtime=3.66 cores=0-31
/proc/9423/task/9445/stat : 9445 (claspmt) R 9421 9423 9335 0 -1 4202560 4498 0 0 0 329 37 0 0 23 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 4399625 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9423/tid=9446] ppid=9421 vsize=2115860 CPUtime=0.48 cores=0-31
/proc/9423/task/9446/stat : 9446 (claspmt) S 9421 9423 9335 0 -1 4202560 4872 0 0 0 7 41 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604644017905120 0 0 -1 4 0 0 0
[pid=9423/tid=9447] ppid=9421 vsize=2115860 CPUtime=0.47 cores=0-31
/proc/9423/task/9447/stat : 9447 (claspmt) S 9421 9423 9335 0 -1 4202560 4581 0 0 0 9 38 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604644007853536 0 0 -1 3 0 0 0
[pid=9423/tid=9448] ppid=9421 vsize=2115860 CPUtime=0.4 cores=0-31
/proc/9423/task/9448/stat : 9448 (claspmt) S 9421 9423 9335 0 -1 4202560 4148 0 0 0 4 36 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604640431275488 0 0 -1 9 0 0 0
[pid=9423/tid=9449] ppid=9421 vsize=2115860 CPUtime=0.43 cores=0-31
/proc/9423/task/9449/stat : 9449 (claspmt) S 9421 9423 9335 0 -1 4202560 4136 0 0 0 6 37 0 0 17 0 32 0 1683414 2166640640 130669 270582939648 4194304 4964800 140737415462288 18446744073709551615 258662772457 0 0 4096 18946 18446604644027497952 0 0 -1 10 0 0 0

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

[pid=9423/tid=9432] ppid=9421 vsize=5971636 CPUtime=4946.97 cores=0-31
/proc/9423/task/9432/stat : 9432 (claspmt) R 9421 9423 9335 0 -1 4202560 10772 0 0 0 494627 70 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9423/tid=9433] ppid=9421 vsize=5971636 CPUtime=4909.16 cores=0-31
/proc/9423/task/9433/stat : 9433 (claspmt) R 9421 9423 9335 0 -1 4202560 10972 0 0 0 490851 65 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9423/tid=9434] ppid=9421 vsize=5971636 CPUtime=4952.73 cores=0-31
/proc/9423/task/9434/stat : 9434 (claspmt) R 9421 9423 9335 0 -1 4202560 62623 0 0 0 495019 254 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9423/tid=9435] ppid=9421 vsize=5971636 CPUtime=4952.75 cores=0-31
/proc/9423/task/9435/stat : 9435 (claspmt) R 9421 9423 9335 0 -1 4202560 13105 0 0 0 495207 68 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4332253 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9423/tid=9436] ppid=9421 vsize=5971636 CPUtime=4932.58 cores=0-31
/proc/9423/task/9436/stat : 9436 (claspmt) R 9421 9423 9335 0 -1 4202560 29427 0 0 0 493113 145 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9423/tid=9437] ppid=9421 vsize=5971636 CPUtime=4958.12 cores=0-31
/proc/9423/task/9437/stat : 9437 (claspmt) R 9421 9423 9335 0 -1 4202560 19329 0 0 0 495717 95 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9423/tid=9438] ppid=9421 vsize=5971636 CPUtime=4952.72 cores=0-31
/proc/9423/task/9438/stat : 9438 (claspmt) R 9421 9423 9335 0 -1 4202560 13203 0 0 0 495208 64 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9423/tid=9439] ppid=9421 vsize=5971636 CPUtime=4952.78 cores=0-31
/proc/9423/task/9439/stat : 9439 (claspmt) R 9421 9423 9335 0 -1 4202560 137777 0 0 0 494817 461 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9423/tid=9440] ppid=9421 vsize=5971636 CPUtime=4952.74 cores=0-31
/proc/9423/task/9440/stat : 9440 (claspmt) R 9421 9423 9335 0 -1 4202560 9964 0 0 0 495214 60 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4653307 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9423/tid=9441] ppid=9421 vsize=5971636 CPUtime=4952.7 cores=0-31
/proc/9423/task/9441/stat : 9441 (claspmt) R 9421 9423 9335 0 -1 4202560 11740 0 0 0 495213 57 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9423/tid=9442] ppid=9421 vsize=5971636 CPUtime=4951.12 cores=0-31
/proc/9423/task/9442/stat : 9442 (claspmt) R 9421 9423 9335 0 -1 4202560 63050 0 0 0 494861 251 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9423/tid=9443] ppid=9421 vsize=5971636 CPUtime=4949.92 cores=0-31
/proc/9423/task/9443/stat : 9443 (claspmt) R 9421 9423 9335 0 -1 4202560 13977 0 0 0 494924 68 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9423/tid=9444] ppid=9421 vsize=5971636 CPUtime=4952.67 cores=0-31
/proc/9423/task/9444/stat : 9444 (claspmt) R 9421 9423 9335 0 -1 4202560 27444 0 0 0 495141 126 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9423/tid=9445] ppid=9421 vsize=5971636 CPUtime=4933.03 cores=0-31
/proc/9423/task/9445/stat : 9445 (claspmt) R 9421 9423 9335 0 -1 4202560 23588 0 0 0 493182 121 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9423/tid=9446] ppid=9421 vsize=5971636 CPUtime=4952.7 cores=0-31
/proc/9423/task/9446/stat : 9446 (claspmt) R 9421 9423 9335 0 -1 4202560 15213 0 0 0 495200 70 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9423/tid=9447] ppid=9421 vsize=5971636 CPUtime=4952.73 cores=0-31
/proc/9423/task/9447/stat : 9447 (claspmt) R 9421 9423 9335 0 -1 4202560 134712 0 0 0 494737 536 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9423/tid=9448] ppid=9421 vsize=5971636 CPUtime=4952.69 cores=0-31
/proc/9423/task/9448/stat : 9448 (claspmt) R 9421 9423 9335 0 -1 4202560 10888 0 0 0 495204 65 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9423/tid=9449] ppid=9421 vsize=5971636 CPUtime=4952.7 cores=0-31
/proc/9423/task/9449/stat : 9449 (claspmt) R 9421 9423 9335 0 -1 4202560 13037 0 0 0 495203 67 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9423/tid=9450] ppid=9421 vsize=5971636 CPUtime=4952.32 cores=0-31
/proc/9423/task/9450/stat : 9450 (claspmt) R 9421 9423 9335 0 -1 4202560 45498 0 0 0 495029 203 0 0 25 0 32 0 1683414 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9423/tid=9451] ppid=9421 vsize=5971636 CPUtime=4952.55 cores=0-31
/proc/9423/task/9451/stat : 9451 (claspmt) R 9421 9423 9335 0 -1 4202560 14982 0 0 0 495183 72 0 0 25 0 32 0 1683415 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9423/tid=9452] ppid=9421 vsize=5971636 CPUtime=4952.47 cores=0-31
/proc/9423/task/9452/stat : 9452 (claspmt) R 9421 9423 9335 0 -1 4202560 38487 0 0 0 495067 180 0 0 25 0 32 0 1683415 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9423/tid=9453] ppid=9421 vsize=5971636 CPUtime=4941.89 cores=0-31
/proc/9423/task/9453/stat : 9453 (claspmt) R 9421 9423 9335 0 -1 4202560 30918 0 0 0 494049 140 0 0 25 0 32 0 1683415 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9423/tid=9454] ppid=9421 vsize=5971636 CPUtime=4952.71 cores=0-31
/proc/9423/task/9454/stat : 9454 (claspmt) R 9421 9423 9335 0 -1 4202560 12806 0 0 0 495207 64 0 0 25 0 32 0 1683415 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9423/tid=9455] ppid=9421 vsize=5971636 CPUtime=4924.75 cores=0-31
/proc/9423/task/9455/stat : 9455 (claspmt) R 9421 9423 9335 0 -1 4202560 206556 0 0 0 491797 678 0 0 25 0 32 0 1683415 6114955264 1243856 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 158365
Current children cumulated vsize (KiB) 5971636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5013.5 s]
/proc/loadavg: 32.35 32.30 32.18 33/445 9604
/proc/meminfo: memFree=258677652/264257624 swapFree=67111528/67111528
[pid=9423] ppid=9421 vsize=5971636 CPUtime=160002 cores=0-31
/proc/9423/stat : 9423 (claspmt) R 9421 9423 9335 0 -1 4202496 1294549 0 0 0 15994840 5339 0 0 25 0 32 0 1683223 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 18 0 0 0
/proc/9423/statm: 1492909 1254269 463 189 0 1487258 0
[pid=9423/tid=9425] ppid=9421 vsize=5971636 CPUtime=5002.52 cores=0-31
/proc/9423/task/9425/stat : 9425 (claspmt) R 9421 9423 9335 0 -1 4202560 10356 0 0 0 500139 113 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9423/tid=9426] ppid=9421 vsize=5971636 CPUtime=5003.93 cores=0-31
/proc/9423/task/9426/stat : 9426 (claspmt) R 9421 9423 9335 0 -1 4202560 47349 0 0 0 500186 207 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9423/tid=9427] ppid=9421 vsize=5971636 CPUtime=5003.89 cores=0-31
/proc/9423/task/9427/stat : 9427 (claspmt) R 9421 9423 9335 0 -1 4202560 13786 0 0 0 500325 64 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9423/tid=9428] ppid=9421 vsize=5971636 CPUtime=5003.94 cores=0-31
/proc/9423/task/9428/stat : 9428 (claspmt) R 9421 9423 9335 0 -1 4202560 38805 0 0 0 500207 187 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9423/tid=9429] ppid=9421 vsize=5971636 CPUtime=5009.36 cores=0-31
/proc/9423/task/9429/stat : 9429 (claspmt) R 9421 9423 9335 0 -1 4202560 25133 0 0 0 500815 121 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9423/tid=9430] ppid=9421 vsize=5971636 CPUtime=5003.5 cores=0-31
/proc/9423/task/9430/stat : 9430 (claspmt) R 9421 9423 9335 0 -1 4202560 13059 0 0 0 500283 67 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9423/tid=9431] ppid=9421 vsize=5971636 CPUtime=5003.89 cores=0-31
/proc/9423/task/9431/stat : 9431 (claspmt) R 9421 9423 9335 0 -1 4202560 139874 0 0 0 499853 536 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4669445 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9423/tid=9432] ppid=9421 vsize=5971636 CPUtime=4998.18 cores=0-31
/proc/9423/task/9432/stat : 9432 (claspmt) R 9421 9423 9335 0 -1 4202560 10772 0 0 0 499748 70 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9423/tid=9433] ppid=9421 vsize=5971636 CPUtime=4958.92 cores=0-31
/proc/9423/task/9433/stat : 9433 (claspmt) R 9421 9423 9335 0 -1 4202560 10972 0 0 0 495827 65 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9423/tid=9434] ppid=9421 vsize=5971636 CPUtime=5003.94 cores=0-31
/proc/9423/task/9434/stat : 9434 (claspmt) R 9421 9423 9335 0 -1 4202560 62623 0 0 0 500140 254 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9423/tid=9435] ppid=9421 vsize=5971636 CPUtime=5003.96 cores=0-31
/proc/9423/task/9435/stat : 9435 (claspmt) R 9421 9423 9335 0 -1 4202560 13105 0 0 0 500328 68 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9423/tid=9436] ppid=9421 vsize=5971636 CPUtime=4983.79 cores=0-31
/proc/9423/task/9436/stat : 9436 (claspmt) R 9421 9423 9335 0 -1 4202560 29427 0 0 0 498234 145 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9423/tid=9437] ppid=9421 vsize=5971636 CPUtime=5009.33 cores=0-31
/proc/9423/task/9437/stat : 9437 (claspmt) R 9421 9423 9335 0 -1 4202560 19359 0 0 0 500838 95 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9423/tid=9438] ppid=9421 vsize=5971636 CPUtime=5003.93 cores=0-31
/proc/9423/task/9438/stat : 9438 (claspmt) R 9421 9423 9335 0 -1 4202560 13203 0 0 0 500329 64 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9423/tid=9439] ppid=9421 vsize=5971636 CPUtime=5003.99 cores=0-31
/proc/9423/task/9439/stat : 9439 (claspmt) R 9421 9423 9335 0 -1 4202560 138162 0 0 0 499937 462 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9423/tid=9440] ppid=9421 vsize=5971636 CPUtime=5003.95 cores=0-31
/proc/9423/task/9440/stat : 9440 (claspmt) R 9421 9423 9335 0 -1 4202560 9965 0 0 0 500335 60 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9423/tid=9441] ppid=9421 vsize=5971636 CPUtime=5003.91 cores=0-31
/proc/9423/task/9441/stat : 9441 (claspmt) R 9421 9423 9335 0 -1 4202560 11740 0 0 0 500334 57 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9423/tid=9442] ppid=9421 vsize=5971636 CPUtime=5002.33 cores=0-31
/proc/9423/task/9442/stat : 9442 (claspmt) R 9421 9423 9335 0 -1 4202560 63050 0 0 0 499982 251 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9423/tid=9443] ppid=9421 vsize=5971636 CPUtime=5001.1 cores=0-31
/proc/9423/task/9443/stat : 9443 (claspmt) R 9421 9423 9335 0 -1 4202560 13977 0 0 0 500042 68 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9423/tid=9444] ppid=9421 vsize=5971636 CPUtime=5003.88 cores=0-31
/proc/9423/task/9444/stat : 9444 (claspmt) R 9421 9423 9335 0 -1 4202560 27444 0 0 0 500262 126 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9423/tid=9445] ppid=9421 vsize=5971636 CPUtime=4984.23 cores=0-31
/proc/9423/task/9445/stat : 9445 (claspmt) R 9421 9423 9335 0 -1 4202560 23588 0 0 0 498302 121 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4627293 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9423/tid=9446] ppid=9421 vsize=5971636 CPUtime=5003.91 cores=0-31
/proc/9423/task/9446/stat : 9446 (claspmt) R 9421 9423 9335 0 -1 4202560 15215 0 0 0 500321 70 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9423/tid=9447] ppid=9421 vsize=5971636 CPUtime=5003.95 cores=0-31
/proc/9423/task/9447/stat : 9447 (claspmt) R 9421 9423 9335 0 -1 4202560 135132 0 0 0 499858 537 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9423/tid=9448] ppid=9421 vsize=5971636 CPUtime=5003.9 cores=0-31
/proc/9423/task/9448/stat : 9448 (claspmt) R 9421 9423 9335 0 -1 4202560 10888 0 0 0 500325 65 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9423/tid=9449] ppid=9421 vsize=5971636 CPUtime=5003.91 cores=0-31
/proc/9423/task/9449/stat : 9449 (claspmt) R 9421 9423 9335 0 -1 4202560 13041 0 0 0 500324 67 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9423/tid=9450] ppid=9421 vsize=5971636 CPUtime=5003.53 cores=0-31
/proc/9423/task/9450/stat : 9450 (claspmt) R 9421 9423 9335 0 -1 4202560 45498 0 0 0 500150 203 0 0 25 0 32 0 1683414 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9423/tid=9451] ppid=9421 vsize=5971636 CPUtime=5003.76 cores=0-31
/proc/9423/task/9451/stat : 9451 (claspmt) R 9421 9423 9335 0 -1 4202560 15074 0 0 0 500304 72 0 0 25 0 32 0 1683415 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9423/tid=9452] ppid=9421 vsize=5971636 CPUtime=5003.67 cores=0-31
/proc/9423/task/9452/stat : 9452 (claspmt) R 9421 9423 9335 0 -1 4202560 38487 0 0 0 500187 180 0 0 25 0 32 0 1683415 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9423/tid=9453] ppid=9421 vsize=5971636 CPUtime=4993.1 cores=0-31
/proc/9423/task/9453/stat : 9453 (claspmt) R 9421 9423 9335 0 -1 4202560 30918 0 0 0 499170 140 0 0 25 0 32 0 1683415 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9423/tid=9454] ppid=9421 vsize=5971636 CPUtime=5003.92 cores=0-31
/proc/9423/task/9454/stat : 9454 (claspmt) R 9421 9423 9335 0 -1 4202560 12806 0 0 0 500328 64 0 0 25 0 32 0 1683415 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9423/tid=9455] ppid=9421 vsize=5971636 CPUtime=4975.95 cores=0-31
/proc/9423/task/9455/stat : 9455 (claspmt) R 9421 9423 9335 0 -1 4202560 214927 0 0 0 496895 700 0 0 25 0 32 0 1683415 6114955264 1254269 270582939648 4194304 4964800 140737415462288 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 5971636

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9423

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

[startup+5014.3 s]
/proc/loadavg: 32.40 32.31 32.19 2/415 9605
/proc/meminfo: memFree=258767668/264257624 swapFree=67111528/67111528
[pid=9423] ppid=9421 vsize=5777540 CPUtime=160003 cores=0-31
/proc/9423/stat : 9423 (claspmt) R 9421 9423 9335 0 -1 4202496 1294566 0 0 0 15994948 5340 0 0 25 0 1 0 1683223 5916200960 1223967 270582939648 4194304 4964800 140737415462288 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 18 0 0 0
/proc/9423/statm: 1444385 1223967 474 189 0 1438734 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 5777540

[startup+5015.1 s]
/proc/loadavg: 32.40 32.31 32.19 2/415 9605
/proc/meminfo: memFree=258846544/264257624 swapFree=67111528/67111528
[pid=9423] ppid=9421 vsize=5737040 CPUtime=160004 cores=0-31
/proc/9423/stat : 9423 (claspmt) R 9421 9423 9335 0 -1 4202496 1294566 0 0 0 15995028 5340 0 0 25 0 1 0 1683223 5874728960 1210293 270582939648 4194304 4964800 140737415462288 18446744073709551615 258650612746 0 0 4096 18946 0 0 0 17 18 0 0 0
/proc/9423/statm: 1434260 1210293 474 189 0 1428609 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 5737040

[startup+5015.5 s]
/proc/loadavg: 32.40 32.31 32.19 2/415 9605
/proc/meminfo: memFree=258846544/264257624 swapFree=67111528/67111528
[pid=9423] ppid=9421 vsize=5721560 CPUtime=160004 cores=0-31
/proc/9423/stat : 9423 (claspmt) R 9421 9423 9335 0 -1 4202496 1294566 0 0 0 15995068 5340 0 0 25 0 1 0 1683223 5858877440 1206467 270582939648 4194304 4964800 140737415462288 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 18 0 0 0
/proc/9423/statm: 1430390 1206467 474 189 0 1424739 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 5721560

[startup+5015.7 s]
/proc/loadavg: 32.40 32.31 32.19 2/415 9605
/proc/meminfo: memFree=258846544/264257624 swapFree=67111528/67111528
[pid=9423] ppid=9421 vsize=0 CPUtime=160004 cores=0-31
/proc/9423/stat : 9423 (claspmt) R 9421 9423 9335 0 -1 4203524 1294566 0 0 0 15995071 5357 0 0 25 0 1 0 1683223 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 18 0 0 0
/proc/9423/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 5015.75
CPU time (s): 160004
CPU user time (s): 159951
CPU system time (s): 53.6298
CPU usage (%): 3190.04
Max. virtual memory (cumulated for all children) (KiB): 5971636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159951
system time used= 53.6298
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1294566
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= 154867
involuntary context switches= 403393

runsolver used 26.248 second user time and 115.227 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-06 14:22:43
IDJOB=3472268
IDBENCH=20406
IDSOLVER=1961
FILE ID=node200/3472268-1307362963
RUNJOBID= node200-1307362808-9349
PBS_JOBID= 13509161
Free space on /tmp= 61736 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.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-3472268-1307362963/watcher-3472268-1307362963 -o /tmp/evaluation-result-3472268-1307362963/solver-3472268-1307362963 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472268-1307362963.cnf

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

MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED=1355235442

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:      263706832 kB
Buffers:         31368 kB
Cached:         318988 kB
SwapCached:          0 kB
Active:         145616 kB
Inactive:       267564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263706832 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7240 kB
Writeback:           0 kB
AnonPages:       64160 kB
Mapped:          14212 kB
Slab:            62352 kB
PageTables:       5248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   161320 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= 61736 MiB
End job on node200 at 2011-06-06 15:46:19