Trace number 3472380

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 11749.7 957.58

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
blocks-blocks-37-1.130-NOTKNOWN.cnf
MD5SUMc7a9573eb59580c8d4fc5a3ca880d541
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark11749.7
Satisfiable
(Un)Satisfiability was proved
Number of variables559571
Number of clauses10223027
Sum of the clauses size22253097
Maximum clause length1408
Minimum clause length1
Number of clauses of size 11517
Number of clauses of size 29836450
Number of clauses of size 3365560
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 519500

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...591826/instance-3472380-1307591826.cnf
3.19/3.30	c Solving...
11749.50/957.48	s UNSATISFIABLE
11749.50/957.48	
11749.50/957.48	c Models        : 0     
11749.50/957.48	c Time          : 954.465s (Solving: 951.17s 1st Model: 0.00s Unsat: 951.17s)
11749.50/957.48	c CPU Time      : 11746.570s

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-3472380-1307591826/watcher-3472380-1307591826 -o /tmp/evaluation-result-3472380-1307591826/solver-3472380-1307591826 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472380-1307591826.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: 27.34 31.10 31.69 1/413 25619
/proc/meminfo: memFree=262458344/264257624 swapFree=67111528/67111528
[pid=25619] ppid=25617 vsize=91920 CPUtime=0.02 cores=0-31
/proc/25619/stat : 25619 (claspmt) R 25617 25619 25593 0 -1 4202496 4590 0 0 0 2 0 0 0 22 0 1 0 24570223 94126080 4519 270582939648 4194304 4964800 140733564657584 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/25619/statm: 22980 4527 373 189 0 17854 0

[startup+0.102214 s]
/proc/loadavg: 27.34 31.10 31.69 1/413 25619
/proc/meminfo: memFree=262458344/264257624 swapFree=67111528/67111528
[pid=25619] ppid=25617 vsize=91920 CPUtime=0.09 cores=0-31
/proc/25619/stat : 25619 (claspmt) R 25617 25619 25593 0 -1 4202496 15063 0 0 0 6 3 0 0 22 0 1 0 24570223 94126080 14992 270582939648 4194304 4964800 140733564657584 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/25619/statm: 22980 15002 373 189 0 17854 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 91920

[startup+0.201204 s]
/proc/loadavg: 27.34 31.10 31.69 1/413 25619
/proc/meminfo: memFree=262458344/264257624 swapFree=67111528/67111528
[pid=25619] ppid=25617 vsize=131428 CPUtime=0.19 cores=0-31
/proc/25619/stat : 25619 (claspmt) R 25617 25619 25593 0 -1 4202496 31974 0 0 0 14 5 0 0 23 0 1 0 24570223 134582272 27532 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/25619/statm: 32857 27532 386 189 0 27731 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 131428

[startup+0.301253 s]
/proc/loadavg: 27.34 31.10 31.69 1/413 25619
/proc/meminfo: memFree=262458344/264257624 swapFree=67111528/67111528
[pid=25619] ppid=25617 vsize=131824 CPUtime=0.29 cores=0-31
/proc/25619/stat : 25619 (claspmt) R 25617 25619 25593 0 -1 4202496 32096 0 0 0 23 6 0 0 23 0 1 0 24570223 134987776 27654 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/25619/statm: 32956 27655 386 189 0 27830 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 131824

[startup+0.701232 s]
/proc/loadavg: 27.34 31.10 31.69 1/413 25619
/proc/meminfo: memFree=262458344/264257624 swapFree=67111528/67111528
[pid=25619] ppid=25617 vsize=142268 CPUtime=0.69 cores=0-31
/proc/25619/stat : 25619 (claspmt) R 25617 25619 25593 0 -1 4202496 34728 0 0 0 60 9 0 0 25 0 1 0 24570223 145682432 30286 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/25619/statm: 35567 30286 386 189 0 30441 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 142268

[startup+1.50126 s]
/proc/loadavg: 27.34 31.10 31.69 2/414 25620
/proc/meminfo: memFree=262327456/264257624 swapFree=67111528/67111528
[pid=25619] ppid=25617 vsize=166248 CPUtime=1.48 cores=0-31
/proc/25619/stat : 25619 (claspmt) R 25617 25619 25593 0 -1 4202496 40721 0 0 0 133 15 0 0 25 0 1 0 24570223 170237952 36279 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/25619/statm: 41562 36279 386 189 0 36436 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 166248

[startup+3.10031 s]
/proc/loadavg: 25.23 30.60 31.53 2/414 25620
/proc/meminfo: memFree=262293604/264257624 swapFree=67111528/67111528
[pid=25619] ppid=25617 vsize=232636 CPUtime=3.09 cores=0-31
/proc/25619/stat : 25619 (claspmt) R 25617 25619 25593 0 -1 4202496 63063 0 0 0 282 27 0 0 25 0 1 0 24570223 238219264 52987 270582939648 4194304 4964800 140733564657584 18446744073709551615 4692894 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/25619/statm: 58159 52987 397 189 0 53033 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 232636

[startup+6.30337 s]
/proc/loadavg: 25.23 30.60 31.53 6/445 25651
/proc/meminfo: memFree=261104072/264257624 swapFree=67111528/67111528
[pid=25619] ppid=25617 vsize=2466864 CPUtime=64.09 cores=0-31
/proc/25619/stat : 25619 (claspmt) S 25617 25619 25593 0 -1 4202496 565315 0 0 0 981 5428 0 0 18 0 32 0 24570223 2526068736 413828 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25619/statm: 616716 413840 433 189 0 611065 0
[pid=25619/tid=25621] ppid=25617 vsize=2466864 CPUtime=1.64 cores=0-31
/proc/25619/task/25621/stat : 25621 (claspmt) S 25617 25619 25593 0 -1 4202560 13817 0 0 0 7 157 0 0 18 0 32 0 24570553 2526068736 413846 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604639928139232 0 0 -1 26 0 0 0
[pid=25619/tid=25622] ppid=25617 vsize=2466864 CPUtime=2.08 cores=0-31
/proc/25619/task/25622/stat : 25622 (claspmt) R 25617 25619 25593 0 -1 4202560 16990 0 0 0 28 180 0 0 18 0 32 0 24570553 2526068736 413855 270582939648 4194304 4964800 140733564657584 18446744073709551615 4652162 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=25619/tid=25623] ppid=25617 vsize=2466864 CPUtime=2.09 cores=0-31
/proc/25619/task/25623/stat : 25623 (claspmt) R 25617 25619 25593 0 -1 4202560 17100 0 0 0 26 183 0 0 18 0 32 0 24570553 2526068736 413860 270582939648 4194304 4964800 140733564657584 18446744073709551615 4342186 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=25619/tid=25624] ppid=25617 vsize=2466864 CPUtime=1.84 cores=0-31
/proc/25619/task/25624/stat : 25624 (claspmt) S 25617 25619 25593 0 -1 4202560 14529 0 0 0 7 177 0 0 18 0 32 0 24570553 2526068736 413874 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604559861161440 0 0 -1 21 0 0 0
[pid=25619/tid=25625] ppid=25617 vsize=2466864 CPUtime=2 cores=0-31
/proc/25619/task/25625/stat : 25625 (claspmt) D 25617 25619 25593 0 -1 4202560 13959 0 0 0 8 192 0 0 18 0 32 0 24570553 2526068736 413875 270582939648 4194304 4964800 140733564657584 18446744073709551615 4405226 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25619/tid=25626] ppid=25617 vsize=2466996 CPUtime=1.99 cores=0-31
/proc/25619/task/25626/stat : 25626 (claspmt) D 25617 25619 25593 0 -1 4202560 15070 0 0 0 7 192 0 0 18 0 32 0 24570553 2526203904 413878 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25619/tid=25627] ppid=25617 vsize=2466996 CPUtime=2.06 cores=0-31
/proc/25619/task/25627/stat : 25627 (claspmt) R 25617 25619 25593 0 -1 4202560 16712 0 0 0 23 183 0 0 18 0 32 0 24570554 2526203904 413889 270582939648 4194304 4964800 140733564657584 18446744073709551615 4342213 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=25619/tid=25628] ppid=25617 vsize=2466996 CPUtime=1.88 cores=0-31
/proc/25619/task/25628/stat : 25628 (claspmt) S 25617 25619 25593 0 -1 4202560 14156 0 0 0 9 179 0 0 18 0 32 0 24570554 2526203904 413892 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604574254562784 0 0 -1 30 0 0 0
[pid=25619/tid=25629] ppid=25617 vsize=2466996 CPUtime=1.81 cores=0-31
/proc/25619/task/25629/stat : 25629 (claspmt) S 25617 25619 25593 0 -1 4202560 14079 0 0 0 10 171 0 0 18 0 32 0 24570554 2526203904 413893 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604642259787232 0 0 -1 27 0 0 0
[pid=25619/tid=25630] ppid=25617 vsize=2466996 CPUtime=2.03 cores=0-31
/proc/25619/task/25630/stat : 25630 (claspmt) R 25617 25619 25593 0 -1 4202560 16640 0 0 0 20 183 0 0 18 0 32 0 24570554 2526203904 413912 270582939648 4194304 4964800 140733564657584 18446744073709551615 4652140 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=25619/tid=25631] ppid=25617 vsize=2466996 CPUtime=2.12 cores=0-31
/proc/25619/task/25631/stat : 25631 (claspmt) D 25617 25619 25593 0 -1 4202560 18804 0 0 0 34 178 0 0 18 0 32 0 24570554 2526203904 413912 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650653361 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=25619/tid=25632] ppid=25617 vsize=2466996 CPUtime=1.97 cores=0-31
/proc/25619/task/25632/stat : 25632 (claspmt) D 25617 25619 25593 0 -1 4202560 14135 0 0 0 9 188 0 0 18 0 32 0 24570554 2526203904 413914 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25619/tid=25633] ppid=25617 vsize=2466996 CPUtime=1.97 cores=0-31
/proc/25619/task/25633/stat : 25633 (claspmt) R 25617 25619 25593 0 -1 4202560 17479 0 0 0 15 182 0 0 18 0 32 0 24570554 2526203904 413923 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=25619/tid=25634] ppid=25617 vsize=2466996 CPUtime=2.08 cores=0-31
/proc/25619/task/25634/stat : 25634 (claspmt) R 25617 25619 25593 0 -1 4202560 17144 0 0 0 28 180 0 0 18 0 32 0 24570554 2526203904 413927 270582939648 4194304 4964800 140733564657584 18446744073709551615 4652251 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=25619/tid=25635] ppid=25617 vsize=2466996 CPUtime=2.12 cores=0-31
/proc/25619/task/25635/stat : 25635 (claspmt) R 25617 25619 25593 0 -1 4202560 17622 0 0 0 29 183 0 0 18 0 32 0 24570554 2526203904 413930 270582939648 4194304 4964800 140733564657584 18446744073709551615 4652140 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=25619/tid=25636] ppid=25617 vsize=2466996 CPUtime=1.86 cores=0-31
/proc/25619/task/25636/stat : 25636 (claspmt) S 25617 25619 25593 0 -1 4202560 14345 0 0 0 10 176 0 0 18 0 32 0 24570554 2526203904 413940 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604574673051104 0 0 -1 3 0 0 0
[pid=25619/tid=25637] ppid=25617 vsize=2466996 CPUtime=1.42 cores=0-31
/proc/25619/task/25637/stat : 25637 (claspmt) S 25617 25619 25593 0 -1 4202560 13818 0 0 0 10 132 0 0 19 0 32 0 24570554 2526203904 413943 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604570493091296 0 0 -1 7 0 0 0
[pid=25619/tid=25638] ppid=25617 vsize=2466996 CPUtime=2.06 cores=0-31
/proc/25619/task/25638/stat : 25638 (claspmt) R 25617 25619 25593 0 -1 4202560 16286 0 0 0 24 182 0 0 18 0 32 0 24570554 2526203904 413952 270582939648 4194304 4964800 140733564657584 18446744073709551615 4652258 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25619/tid=25639] ppid=25617 vsize=2466996 CPUtime=2.12 cores=0-31
/proc/25619/task/25639/stat : 25639 (claspmt) R 25617 25619 25593 0 -1 4202560 17908 0 0 0 34 178 0 0 18 0 32 0 24570554 2526203904 413958 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650653381 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=25619/tid=25640] ppid=25617 vsize=2466996 CPUtime=1.48 cores=0-31
/proc/25619/task/25640/stat : 25640 (claspmt) S 25617 25619 25593 0 -1 4202560 14552 0 0 0 8 140 0 0 18 0 32 0 24570554 2526203904 413960 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604641669840352 0 0 -1 19 0 0 0
[pid=25619/tid=25641] ppid=25617 vsize=2466996 CPUtime=2.1 cores=0-31
/proc/25619/task/25641/stat : 25641 (claspmt) R 25617 25619 25593 0 -1 4202560 16872 0 0 0 51 159 0 0 18 0 32 0 24570554 2526203904 413967 270582939648 4194304 4964800 140733564657584 18446744073709551615 4668552 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=25619/tid=25642] ppid=25617 vsize=2466996 CPUtime=2.12 cores=0-31
/proc/25619/task/25642/stat : 25642 (claspmt) S 25617 25619 25593 0 -1 4202560 21643 0 0 0 62 150 0 0 18 0 32 0 24570554 2526203904 413970 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604631716077024 0 0 -1 15 0 0 0
[pid=25619/tid=25643] ppid=25617 vsize=2466996 CPUtime=2.05 cores=0-31
/proc/25619/task/25643/stat : 25643 (claspmt) R 25617 25619 25593 0 -1 4202560 17465 0 0 0 26 179 0 0 18 0 32 0 24570554 2526203904 413975 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=25619/tid=25644] ppid=25617 vsize=2466996 CPUtime=1.78 cores=0-31
/proc/25619/task/25644/stat : 25644 (claspmt) S 25617 25619 25593 0 -1 4202560 14478 0 0 0 9 169 0 0 18 0 32 0 24570554 2526203904 413983 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604638470217184 0 0 -1 13 0 0 0
[pid=25619/tid=25645] ppid=25617 vsize=2466996 CPUtime=1.71 cores=0-31
/proc/25619/task/25645/stat : 25645 (claspmt) S 25617 25619 25593 0 -1 4202560 14178 0 0 0 7 164 0 0 18 0 32 0 24570554 2526203904 413999 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604572745498080 0 0 -1 25 0 0 0
[pid=25619/tid=25646] ppid=25617 vsize=2466996 CPUtime=2.1 cores=0-31
/proc/25619/task/25646/stat : 25646 (claspmt) R 25617 25619 25593 0 -1 4202560 18256 0 0 0 32 178 0 0 18 0 32 0 24570554 2526203904 414000 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650653239 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=25619/tid=25647] ppid=25617 vsize=2466996 CPUtime=2.11 cores=0-31
/proc/25619/task/25647/stat : 25647 (claspmt) R 25617 25619 25593 0 -1 4202560 17033 0 0 0 28 183 0 0 18 0 32 0 24570554 2526203904 414001 270582939648 4194304 4964800 140733564657584 18446744073709551615 4651963 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=25619/tid=25648] ppid=25617 vsize=2466996 CPUtime=1.74 cores=0-31
/proc/25619/task/25648/stat : 25648 (claspmt) S 25617 25619 25593 0 -1 4202560 14574 0 0 0 9 165 0 0 18 0 32 0 24570554 2526203904 414006 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604639953067488 0 0 -1 17 0 0 0
[pid=25619/tid=25649] ppid=25617 vsize=2466996 CPUtime=1.95 cores=0-31
/proc/25619/task/25649/stat : 25649 (claspmt) D 25617 25619 25593 0 -1 4202560 17106 0 0 0 13 182 0 0 18 0 32 0 24570554 2526203904 414014 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=25619/tid=25650] ppid=25617 vsize=2466996 CPUtime=2.06 cores=0-31
/proc/25619/task/25650/stat : 25650 (claspmt) R 25617 25619 25593 0 -1 4202560 16905 0 0 0 23 183 0 0 18 0 32 0 24570554 2526203904 414020 270582939648 4194304 4964800 140733564657584 18446744073709551615 4652276 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25619/tid=25651] ppid=25617 vsize=2466996 CPUtime=2.11 cores=0-31
/proc/25619/task/25651/stat : 25651 (claspmt) D 25617 25619 25593 0 -1 4202560 18590 0 0 0 57 154 0 0 18 0 32 0 24570554 2526203904 414025 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 64.09
Current children cumulated vsize (KiB) 2466864

[startup+12.7016 s]
/proc/loadavg: 23.07 29.97 31.31 5/445 25651
/proc/meminfo: memFree=260644308/264257624 swapFree=67111528/67111528
[pid=25619] ppid=25617 vsize=2539528 CPUtime=94.56 cores=0-31
/proc/25619/stat : 25619 (claspmt) S 25617 25619 25593 0 -1 4202496 606044 0 0 0 3983 5473 0 0 18 0 32 0 24570223 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25619/statm: 634882 454557 434 189 0 629231 0
[pid=25619/tid=25621] ppid=25617 vsize=2539528 CPUtime=1.64 cores=0-31
/proc/25619/task/25621/stat : 25621 (claspmt) S 25617 25619 25593 0 -1 4202560 13817 0 0 0 7 157 0 0 18 0 32 0 24570553 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604639928139232 0 0 -1 26 0 0 0
[pid=25619/tid=25622] ppid=25617 vsize=2539528 CPUtime=2.37 cores=0-31
/proc/25619/task/25622/stat : 25622 (claspmt) S 25617 25619 25593 0 -1 4202560 18059 0 0 0 56 181 0 0 18 0 32 0 24570553 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604642368355808 0 0 -1 19 0 0 0
[pid=25619/tid=25623] ppid=25617 vsize=2539528 CPUtime=2.39 cores=0-31
/proc/25619/task/25623/stat : 25623 (claspmt) S 25617 25619 25593 0 -1 4202560 20073 0 0 0 54 185 0 0 18 0 32 0 24570553 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604631716142560 0 0 -1 29 0 0 0
[pid=25619/tid=25624] ppid=25617 vsize=2539528 CPUtime=1.84 cores=0-31
/proc/25619/task/25624/stat : 25624 (claspmt) S 25617 25619 25593 0 -1 4202560 14529 0 0 0 7 177 0 0 18 0 32 0 24570553 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604559861161440 0 0 -1 21 0 0 0
[pid=25619/tid=25625] ppid=25617 vsize=2539528 CPUtime=8.28 cores=0-31
/proc/25619/task/25625/stat : 25625 (claspmt) R 25617 25619 25593 0 -1 4202560 17659 0 0 0 625 203 0 0 25 0 32 0 24570553 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=25619/tid=25626] ppid=25617 vsize=2539528 CPUtime=2.53 cores=0-31
/proc/25619/task/25626/stat : 25626 (claspmt) S 25617 25619 25593 0 -1 4202560 17785 0 0 0 60 193 0 0 18 0 32 0 24570553 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604568935087584 0 0 -1 1 0 0 0
[pid=25619/tid=25627] ppid=25617 vsize=2539528 CPUtime=2.51 cores=0-31
/proc/25619/task/25627/stat : 25627 (claspmt) S 25617 25619 25593 0 -1 4202560 18312 0 0 0 63 188 0 0 18 0 32 0 24570554 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604631716126176 0 0 -1 5 0 0 0
[pid=25619/tid=25628] ppid=25617 vsize=2539528 CPUtime=1.88 cores=0-31
/proc/25619/task/25628/stat : 25628 (claspmt) S 25617 25619 25593 0 -1 4202560 14156 0 0 0 9 179 0 0 18 0 32 0 24570554 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604574254562784 0 0 -1 30 0 0 0
[pid=25619/tid=25629] ppid=25617 vsize=2539528 CPUtime=1.81 cores=0-31
/proc/25619/task/25629/stat : 25629 (claspmt) S 25617 25619 25593 0 -1 4202560 14079 0 0 0 10 171 0 0 18 0 32 0 24570554 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604642259787232 0 0 -1 27 0 0 0
[pid=25619/tid=25630] ppid=25617 vsize=2539528 CPUtime=2.38 cores=0-31
/proc/25619/task/25630/stat : 25630 (claspmt) S 25617 25619 25593 0 -1 4202560 20320 0 0 0 54 184 0 0 18 0 32 0 24570554 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604644015791584 0 0 -1 20 0 0 0
[pid=25619/tid=25631] ppid=25617 vsize=2539528 CPUtime=2.32 cores=0-31
/proc/25619/task/25631/stat : 25631 (claspmt) S 25617 25619 25593 0 -1 4202560 21582 0 0 0 52 180 0 0 18 0 32 0 24570554 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604643091054048 0 0 -1 8 0 0 0
[pid=25619/tid=25632] ppid=25617 vsize=2539528 CPUtime=2.01 cores=0-31
/proc/25619/task/25632/stat : 25632 (claspmt) S 25617 25619 25593 0 -1 4202560 14582 0 0 0 12 189 0 0 18 0 32 0 24570554 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604643776871904 0 0 -1 2 0 0 0
[pid=25619/tid=25633] ppid=25617 vsize=2539528 CPUtime=8.36 cores=0-31
/proc/25619/task/25633/stat : 25633 (claspmt) R 25617 25619 25593 0 -1 4202560 17806 0 0 0 654 182 0 0 25 0 32 0 24570554 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=25619/tid=25634] ppid=25617 vsize=2539528 CPUtime=2.36 cores=0-31
/proc/25619/task/25634/stat : 25634 (claspmt) S 25617 25619 25593 0 -1 4202560 20081 0 0 0 54 182 0 0 18 0 32 0 24570554 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604640344341984 0 0 -1 22 0 0 0
[pid=25619/tid=25635] ppid=25617 vsize=2539528 CPUtime=2.55 cores=0-31
/proc/25619/task/25635/stat : 25635 (claspmt) S 25617 25619 25593 0 -1 4202560 19126 0 0 0 66 189 0 0 18 0 32 0 24570554 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604641580293600 0 0 -1 10 0 0 0
[pid=25619/tid=25636] ppid=25617 vsize=2539528 CPUtime=1.86 cores=0-31
/proc/25619/task/25636/stat : 25636 (claspmt) S 25617 25619 25593 0 -1 4202560 14345 0 0 0 10 176 0 0 18 0 32 0 24570554 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604574673051104 0 0 -1 3 0 0 0
[pid=25619/tid=25637] ppid=25617 vsize=2539528 CPUtime=1.42 cores=0-31
/proc/25619/task/25637/stat : 25637 (claspmt) S 25617 25619 25593 0 -1 4202560 13818 0 0 0 10 132 0 0 19 0 32 0 24570554 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604570493091296 0 0 -1 7 0 0 0
[pid=25619/tid=25638] ppid=25617 vsize=2539528 CPUtime=2.4 cores=0-31
/proc/25619/task/25638/stat : 25638 (claspmt) S 25617 25619 25593 0 -1 4202560 19711 0 0 0 56 184 0 0 18 0 32 0 24570554 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604562277309920 0 0 -1 5 0 0 0
[pid=25619/tid=25639] ppid=25617 vsize=2539528 CPUtime=2.39 cores=0-31
/proc/25619/task/25639/stat : 25639 (claspmt) S 25617 25619 25593 0 -1 4202560 19357 0 0 0 60 179 0 0 18 0 32 0 24570554 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604561297210848 0 0 -1 9 0 0 0
[pid=25619/tid=25640] ppid=25617 vsize=2539528 CPUtime=1.48 cores=0-31
/proc/25619/task/25640/stat : 25640 (claspmt) S 25617 25619 25593 0 -1 4202560 14552 0 0 0 8 140 0 0 18 0 32 0 24570554 2600476672 454557 270582939648 4194304 4964800 140733564657584 18446744073709551615 258662772457 0 0 4096 18946 18446604641669840352 0 0 -1 19 0 0 0
[pid=25619/tid=25641] ppid=25617 vsize=2539528 CPUtime=8.49 cores=0-31

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

[pid=25619/tid=25626] ppid=25617 vsize=3956868 CPUtime=278.76 cores=0-31
/proc/25619/task/25626/stat : 25626 (claspmt) R 25617 25619 25593 0 -1 4202560 23157 0 0 0 27668 208 0 0 25 0 32 0 24570553 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=25619/tid=25627] ppid=25617 vsize=3956868 CPUtime=278.74 cores=0-31
/proc/25619/task/25627/stat : 25627 (claspmt) R 25617 25619 25593 0 -1 4202560 35196 0 0 0 27657 217 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=25619/tid=25628] ppid=25617 vsize=3956868 CPUtime=278.15 cores=0-31
/proc/25619/task/25628/stat : 25628 (claspmt) R 25617 25619 25593 0 -1 4202560 18151 0 0 0 27624 191 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=25619/tid=25629] ppid=25617 vsize=3956868 CPUtime=278.1 cores=0-31
/proc/25619/task/25629/stat : 25629 (claspmt) R 25617 25619 25593 0 -1 4202560 18105 0 0 0 27625 185 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=25619/tid=25630] ppid=25617 vsize=3956868 CPUtime=278.6 cores=0-31
/proc/25619/task/25630/stat : 25630 (claspmt) R 25617 25619 25593 0 -1 4202560 60994 0 0 0 27619 241 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=25619/tid=25631] ppid=25617 vsize=3956868 CPUtime=278.5 cores=0-31
/proc/25619/task/25631/stat : 25631 (claspmt) R 25617 25619 25593 0 -1 4202560 28174 0 0 0 27651 199 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=25619/tid=25632] ppid=25617 vsize=3956868 CPUtime=278.29 cores=0-31
/proc/25619/task/25632/stat : 25632 (claspmt) R 25617 25619 25593 0 -1 4202560 24964 0 0 0 27609 220 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25619/tid=25633] ppid=25617 vsize=3956868 CPUtime=931.2 cores=0-31
/proc/25619/task/25633/stat : 25633 (claspmt) R 25617 25619 25593 0 -1 4202560 22794 0 0 0 92925 195 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=25619/tid=25634] ppid=25617 vsize=3956868 CPUtime=278.56 cores=0-31
/proc/25619/task/25634/stat : 25634 (claspmt) R 25617 25619 25593 0 -1 4202560 28488 0 0 0 27652 204 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25619/tid=25635] ppid=25617 vsize=3956868 CPUtime=278.73 cores=0-31
/proc/25619/task/25635/stat : 25635 (claspmt) R 25617 25619 25593 0 -1 4202560 44320 0 0 0 27639 234 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=25619/tid=25636] ppid=25617 vsize=3956868 CPUtime=278.14 cores=0-31
/proc/25619/task/25636/stat : 25636 (claspmt) R 25617 25619 25593 0 -1 4202560 17936 0 0 0 27622 192 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669298 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=25619/tid=25637] ppid=25617 vsize=3956868 CPUtime=277.69 cores=0-31
/proc/25619/task/25637/stat : 25637 (claspmt) R 25617 25619 25593 0 -1 4202560 17714 0 0 0 27622 147 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=25619/tid=25638] ppid=25617 vsize=3956868 CPUtime=278.6 cores=0-31
/proc/25619/task/25638/stat : 25638 (claspmt) R 25617 25619 25593 0 -1 4202560 68078 0 0 0 27609 251 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4629965 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=25619/tid=25639] ppid=25617 vsize=3956868 CPUtime=275.51 cores=0-31
/proc/25619/task/25639/stat : 25639 (claspmt) R 25617 25619 25593 0 -1 4202560 25606 0 0 0 27356 195 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25619/tid=25640] ppid=25617 vsize=3956868 CPUtime=277.76 cores=0-31
/proc/25619/task/25640/stat : 25640 (claspmt) R 25617 25619 25593 0 -1 4202560 22353 0 0 0 27612 164 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=25619/tid=25641] ppid=25617 vsize=3956868 CPUtime=942.78 cores=0-31
/proc/25619/task/25641/stat : 25641 (claspmt) R 25617 25619 25593 0 -1 4202560 19241 0 0 0 94114 164 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25619/tid=25642] ppid=25617 vsize=3956868 CPUtime=278.38 cores=0-31
/proc/25619/task/25642/stat : 25642 (claspmt) R 25617 25619 25593 0 -1 4202560 29278 0 0 0 27665 173 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=25619/tid=25643] ppid=25617 vsize=3956868 CPUtime=274.23 cores=0-31
/proc/25619/task/25643/stat : 25643 (claspmt) R 25617 25619 25593 0 -1 4202560 41064 0 0 0 27203 220 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=25619/tid=25644] ppid=25617 vsize=3956868 CPUtime=278.05 cores=0-31
/proc/25619/task/25644/stat : 25644 (claspmt) R 25617 25619 25593 0 -1 4202560 18145 0 0 0 27623 182 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=25619/tid=25645] ppid=25617 vsize=3956868 CPUtime=277.98 cores=0-31
/proc/25619/task/25645/stat : 25645 (claspmt) R 25617 25619 25593 0 -1 4202560 18333 0 0 0 27620 178 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=25619/tid=25646] ppid=25617 vsize=3956868 CPUtime=278.48 cores=0-31
/proc/25619/task/25646/stat : 25646 (claspmt) R 25617 25619 25593 0 -1 4202560 55145 0 0 0 27611 237 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=25619/tid=25647] ppid=25617 vsize=3956868 CPUtime=278.62 cores=0-31
/proc/25619/task/25647/stat : 25647 (claspmt) R 25617 25619 25593 0 -1 4202560 26950 0 0 0 27660 202 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=25619/tid=25648] ppid=25617 vsize=3956868 CPUtime=278 cores=0-31
/proc/25619/task/25648/stat : 25648 (claspmt) R 25617 25619 25593 0 -1 4202560 23822 0 0 0 27610 190 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=25619/tid=25649] ppid=25617 vsize=3956868 CPUtime=921.99 cores=0-31
/proc/25619/task/25649/stat : 25649 (claspmt) R 25617 25619 25593 0 -1 4202560 23203 0 0 0 92000 199 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=25619/tid=25650] ppid=25617 vsize=3956868 CPUtime=278.23 cores=0-31
/proc/25619/task/25650/stat : 25650 (claspmt) R 25617 25619 25593 0 -1 4202560 26134 0 0 0 27624 199 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=25619/tid=25651] ppid=25617 vsize=3956868 CPUtime=278.52 cores=0-31
/proc/25619/task/25651/stat : 25651 (claspmt) R 25617 25619 25593 0 -1 4202560 35851 0 0 0 27666 186 0 0 25 0 32 0 24570554 4051832832 847326 270582939648 4194304 4964800 140733564657584 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 11518.5
Current children cumulated vsize (KiB) 3956868

[startup+953.602 s]
/proc/loadavg: 32.00 22.43 21.34 33/445 25686
/proc/meminfo: memFree=259075032/264257624 swapFree=67111528/67111528
[pid=25619] ppid=25617 vsize=3956868 CPUtime=11722.4 cores=0-31
/proc/25619/stat : 25619 (claspmt) R 25617 25619 25593 0 -1 4202496 999085 0 0 0 1165975 6266 0 0 25 0 32 0 24570223 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669011 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25619/statm: 989217 847438 455 189 0 983566 0
[pid=25619/tid=25621] ppid=25617 vsize=3956868 CPUtime=284.29 cores=0-31
/proc/25619/task/25621/stat : 25621 (claspmt) R 25617 25619 25593 0 -1 4202560 17768 0 0 0 28258 171 0 0 25 0 32 0 24570553 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=25619/tid=25622] ppid=25617 vsize=3956868 CPUtime=284.97 cores=0-31
/proc/25619/task/25622/stat : 25622 (claspmt) R 25617 25619 25593 0 -1 4202560 65502 0 0 0 28261 236 0 0 25 0 32 0 24570553 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4654449 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25619/tid=25623] ppid=25617 vsize=3956868 CPUtime=284.99 cores=0-31
/proc/25619/task/25623/stat : 25623 (claspmt) R 25617 25619 25593 0 -1 4202560 27951 0 0 0 28291 208 0 0 25 0 32 0 24570553 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25619/tid=25624] ppid=25617 vsize=3956868 CPUtime=284.48 cores=0-31
/proc/25619/task/25624/stat : 25624 (claspmt) R 25617 25619 25593 0 -1 4202560 25765 0 0 0 28239 209 0 0 25 0 32 0 24570553 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4336798 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=25619/tid=25625] ppid=25617 vsize=3956868 CPUtime=941.18 cores=0-31
/proc/25619/task/25625/stat : 25625 (claspmt) R 25617 25619 25593 0 -1 4202560 22625 0 0 0 93904 214 0 0 25 0 32 0 24570553 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25619/tid=25626] ppid=25617 vsize=3956868 CPUtime=285.14 cores=0-31
/proc/25619/task/25626/stat : 25626 (claspmt) R 25617 25619 25593 0 -1 4202560 23157 0 0 0 28306 208 0 0 25 0 32 0 24570553 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=25619/tid=25627] ppid=25617 vsize=3956868 CPUtime=285.12 cores=0-31
/proc/25619/task/25627/stat : 25627 (claspmt) R 25617 25619 25593 0 -1 4202560 35196 0 0 0 28295 217 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=25619/tid=25628] ppid=25617 vsize=3956868 CPUtime=284.53 cores=0-31
/proc/25619/task/25628/stat : 25628 (claspmt) R 25617 25619 25593 0 -1 4202560 18152 0 0 0 28262 191 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4670678 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=25619/tid=25629] ppid=25617 vsize=3956868 CPUtime=284.47 cores=0-31
/proc/25619/task/25629/stat : 25629 (claspmt) R 25617 25619 25593 0 -1 4202560 18105 0 0 0 28262 185 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=25619/tid=25630] ppid=25617 vsize=3956868 CPUtime=284.98 cores=0-31
/proc/25619/task/25630/stat : 25630 (claspmt) R 25617 25619 25593 0 -1 4202560 60994 0 0 0 28257 241 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=25619/tid=25631] ppid=25617 vsize=3956868 CPUtime=284.88 cores=0-31
/proc/25619/task/25631/stat : 25631 (claspmt) R 25617 25619 25593 0 -1 4202560 28174 0 0 0 28289 199 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=25619/tid=25632] ppid=25617 vsize=3956868 CPUtime=284.66 cores=0-31
/proc/25619/task/25632/stat : 25632 (claspmt) R 25617 25619 25593 0 -1 4202560 24964 0 0 0 28246 220 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25619/tid=25633] ppid=25617 vsize=3956868 CPUtime=937.58 cores=0-31
/proc/25619/task/25633/stat : 25633 (claspmt) R 25617 25619 25593 0 -1 4202560 22794 0 0 0 93563 195 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=25619/tid=25634] ppid=25617 vsize=3956868 CPUtime=284.94 cores=0-31
/proc/25619/task/25634/stat : 25634 (claspmt) R 25617 25619 25593 0 -1 4202560 28488 0 0 0 28290 204 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25619/tid=25635] ppid=25617 vsize=3956868 CPUtime=285.11 cores=0-31
/proc/25619/task/25635/stat : 25635 (claspmt) R 25617 25619 25593 0 -1 4202560 44320 0 0 0 28277 234 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=25619/tid=25636] ppid=25617 vsize=3956868 CPUtime=284.52 cores=0-31
/proc/25619/task/25636/stat : 25636 (claspmt) R 25617 25619 25593 0 -1 4202560 17936 0 0 0 28260 192 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=25619/tid=25637] ppid=25617 vsize=3956868 CPUtime=284.07 cores=0-31
/proc/25619/task/25637/stat : 25637 (claspmt) R 25617 25619 25593 0 -1 4202560 17714 0 0 0 28260 147 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=25619/tid=25638] ppid=25617 vsize=3956868 CPUtime=284.98 cores=0-31
/proc/25619/task/25638/stat : 25638 (claspmt) R 25617 25619 25593 0 -1 4202560 68078 0 0 0 28247 251 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4313792 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=25619/tid=25639] ppid=25617 vsize=3956868 CPUtime=281.89 cores=0-31
/proc/25619/task/25639/stat : 25639 (claspmt) R 25617 25619 25593 0 -1 4202560 25606 0 0 0 27994 195 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4670118 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25619/tid=25640] ppid=25617 vsize=3956868 CPUtime=284.14 cores=0-31
/proc/25619/task/25640/stat : 25640 (claspmt) R 25617 25619 25593 0 -1 4202560 22353 0 0 0 28250 164 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=25619/tid=25641] ppid=25617 vsize=3956868 CPUtime=949.16 cores=0-31
/proc/25619/task/25641/stat : 25641 (claspmt) R 25617 25619 25593 0 -1 4202560 19241 0 0 0 94752 164 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25619/tid=25642] ppid=25617 vsize=3956868 CPUtime=284.76 cores=0-31
/proc/25619/task/25642/stat : 25642 (claspmt) R 25617 25619 25593 0 -1 4202560 29278 0 0 0 28303 173 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=25619/tid=25643] ppid=25617 vsize=3956868 CPUtime=280.44 cores=0-31
/proc/25619/task/25643/stat : 25643 (claspmt) R 25617 25619 25593 0 -1 4202560 41064 0 0 0 27824 220 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4627269 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=25619/tid=25644] ppid=25617 vsize=3956868 CPUtime=284.43 cores=0-31
/proc/25619/task/25644/stat : 25644 (claspmt) R 25617 25619 25593 0 -1 4202560 18145 0 0 0 28261 182 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4370387 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=25619/tid=25645] ppid=25617 vsize=3956868 CPUtime=284.36 cores=0-31
/proc/25619/task/25645/stat : 25645 (claspmt) R 25617 25619 25593 0 -1 4202560 18333 0 0 0 28258 178 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=25619/tid=25646] ppid=25617 vsize=3956868 CPUtime=284.85 cores=0-31
/proc/25619/task/25646/stat : 25646 (claspmt) R 25617 25619 25593 0 -1 4202560 55256 0 0 0 28248 237 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4629954 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=25619/tid=25647] ppid=25617 vsize=3956868 CPUtime=285 cores=0-31
/proc/25619/task/25647/stat : 25647 (claspmt) R 25617 25619 25593 0 -1 4202560 26950 0 0 0 28298 202 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=25619/tid=25648] ppid=25617 vsize=3956868 CPUtime=284.38 cores=0-31
/proc/25619/task/25648/stat : 25648 (claspmt) R 25617 25619 25593 0 -1 4202560 23822 0 0 0 28248 190 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=25619/tid=25649] ppid=25617 vsize=3956868 CPUtime=928.37 cores=0-31
/proc/25619/task/25649/stat : 25649 (claspmt) R 25617 25619 25593 0 -1 4202560 23203 0 0 0 92638 199 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4342206 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=25619/tid=25650] ppid=25617 vsize=3956868 CPUtime=284.6 cores=0-31
/proc/25619/task/25650/stat : 25650 (claspmt) R 25617 25619 25593 0 -1 4202560 26134 0 0 0 28261 199 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=25619/tid=25651] ppid=25617 vsize=3956868 CPUtime=284.9 cores=0-31
/proc/25619/task/25651/stat : 25651 (claspmt) R 25617 25619 25593 0 -1 4202560 35851 0 0 0 28304 186 0 0 25 0 32 0 24570554 4051832832 847438 270582939648 4194304 4964800 140733564657584 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 11722.4
Current children cumulated vsize (KiB) 3956868

[startup+955.201 s]
/proc/loadavg: 32.00 22.43 21.34 2/414 25686
/proc/meminfo: memFree=259075512/264257624 swapFree=67111528/67111528
[pid=25619] ppid=25617 vsize=3716380 CPUtime=11747.3 cores=0-31
/proc/25619/stat : 25619 (claspmt) R 25617 25619 25593 0 -1 4202496 999096 0 0 0 1168458 6271 0 0 17 0 1 0 24570223 3805573120 809833 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650604495 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25619/statm: 929095 809833 466 189 0 923444 0
Current children cumulated CPU time (s) 11747.3
Current children cumulated vsize (KiB) 3716380

[startup+956.801 s]
/proc/loadavg: 32.00 22.43 21.34 2/414 25686
/proc/meminfo: memFree=259468344/264257624 swapFree=67111528/67111528
[pid=25619] ppid=25617 vsize=3191740 CPUtime=11748.9 cores=0-31
/proc/25619/stat : 25619 (claspmt) R 25617 25619 25593 0 -1 4202496 999096 0 0 0 1168614 6276 0 0 20 0 1 0 24570223 3268341760 671293 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650604495 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25619/statm: 797935 671293 466 189 0 792284 0
Current children cumulated CPU time (s) 11748.9
Current children cumulated vsize (KiB) 3191740

[startup+957.201 s]
/proc/loadavg: 29.52 22.08 21.23 2/414 25686
/proc/meminfo: memFree=259841956/264257624 swapFree=67111528/67111528
[pid=25619] ppid=25617 vsize=3060580 CPUtime=11749.3 cores=0-31
/proc/25619/stat : 25619 (claspmt) R 25617 25619 25593 0 -1 4202496 999096 0 0 0 1168653 6276 0 0 20 0 1 0 24570223 3134033920 632418 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650612315 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25619/statm: 765145 632418 466 189 0 759494 0
Current children cumulated CPU time (s) 11749.3
Current children cumulated vsize (KiB) 3060580

[startup+957.401 s]
/proc/loadavg: 29.52 22.08 21.23 2/414 25686
/proc/meminfo: memFree=259841956/264257624 swapFree=67111528/67111528
[pid=25619] ppid=25617 vsize=2981884 CPUtime=11749.5 cores=0-31
/proc/25619/stat : 25619 (claspmt) R 25617 25619 25593 0 -1 4202496 999096 0 0 0 1168673 6277 0 0 21 0 1 0 24570223 3053449216 594714 270582939648 4194304 4964800 140733564657584 18446744073709551615 258650611643 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/25619/statm: 745471 594714 466 189 0 739820 0
Current children cumulated CPU time (s) 11749.5
Current children cumulated vsize (KiB) 2981884

[startup+957.501 s]
/proc/loadavg: 29.52 22.08 21.23 2/414 25686
/proc/meminfo: memFree=259841956/264257624 swapFree=67111528/67111528
[pid=25619] ppid=25617 vsize=0 CPUtime=11749.6 cores=0-31
/proc/25619/stat : 25619 (claspmt) R 25617 25619 25593 0 -1 4202500 999097 0 0 0 1168675 6285 0 0 21 0 1 0 24570223 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25619/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 11749.6
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 957.58
CPU time (s): 11749.7
CPU user time (s): 11686.8
CPU system time (s): 62.9284
CPU usage (%): 1227.02
Max. virtual memory (cumulated for all children) (KiB): 3956868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11686.8
system time used= 62.9284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 999097
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= 214646
involuntary context switches= 22179

runsolver used 5.44717 second user time and 19.537 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-09 05:57:13
IDJOB=3472380
IDBENCH=82399
IDSOLVER=1961
FILE ID=node200/3472380-1307591826
RUNJOBID= node200-1307591826-25607
PBS_JOBID= 13547690
Free space on /tmp= 61564 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.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-3472380-1307591826/watcher-3472380-1307591826 -o /tmp/evaluation-result-3472380-1307591826/solver-3472380-1307591826 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472380-1307591826.cnf

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

MD5SUM BENCH= c7a9573eb59580c8d4fc5a3ca880d541
RANDOM SEED=900310006

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:      262458864 kB
Buffers:        209912 kB
Cached:        1298880 kB
SwapCached:          0 kB
Active:         413540 kB
Inactive:      1159012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262458864 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          186956 kB
Writeback:           0 kB
AnonPages:       63396 kB
Mapped:          14476 kB
Slab:           146844 kB
PageTables:       4448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   163644 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= 61560 MiB
End job on node200 at 2011-06-09 06:13:11