Trace number 3472435

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 18047.5 573.323

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf
MD5SUM7886cd26d6e0801ea382a1ffd6224023
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark18047.5
Satisfiable
(Un)Satisfiability was proved
Number of variables192503
Number of clauses564953
Sum of the clauses size1318221
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2376634
Number of clauses of size 3188317
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...645819/instance-3472435-1307645819.cnf
2.79/2.81	c Solving...
18047.39/573.24	s UNSATISFIABLE
18047.39/573.24	
18047.39/573.24	c Models        : 0     
18047.39/573.24	c Time          : 569.480s (Solving: 566.68s 1st Model: 0.00s Unsat: 566.68s)
18047.39/573.24	c CPU Time      : 18043.670s

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-3472435-1307645819/watcher-3472435-1307645819 -o /tmp/evaluation-result-3472435-1307645819/solver-3472435-1307645819 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472435-1307645819.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: 30.16 30.93 31.23 1/412 30971
/proc/meminfo: memFree=262292028/264257624 swapFree=67111528/67111528
[pid=30971] ppid=30969 vsize=45324 CPUtime=0.02 cores=0-31
/proc/30971/stat : 30971 (claspmt) R 30969 30971 30657 0 -1 4202496 2100 0 0 0 2 0 0 0 22 0 1 0 29968908 46411776 2029 270582939648 4194304 4964800 140736213221120 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30971/statm: 11331 2033 373 189 0 6205 0

[startup+0.0495399 s]
/proc/loadavg: 30.16 30.93 31.23 1/412 30971
/proc/meminfo: memFree=262292028/264257624 swapFree=67111528/67111528
[pid=30971] ppid=30969 vsize=45324 CPUtime=0.04 cores=0-31
/proc/30971/stat : 30971 (claspmt) R 30969 30971 30657 0 -1 4202496 3269 0 0 0 4 0 0 0 22 0 1 0 29968908 46411776 3198 270582939648 4194304 4964800 140736213221120 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30971/statm: 11331 3203 373 189 0 6205 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 45324

[startup+0.100583 s]
/proc/loadavg: 30.16 30.93 31.23 1/412 30971
/proc/meminfo: memFree=262292028/264257624 swapFree=67111528/67111528
[pid=30971] ppid=30969 vsize=56608 CPUtime=0.09 cores=0-31
/proc/30971/stat : 30971 (claspmt) R 30969 30971 30657 0 -1 4202496 7918 0 0 0 8 1 0 0 22 0 1 0 29968908 57966592 7558 270582939648 4194304 4964800 140736213221120 18446744073709551615 4679106 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30971/statm: 14152 7563 374 189 0 9026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56608

[startup+0.300585 s]
/proc/loadavg: 30.16 30.93 31.23 1/412 30971
/proc/meminfo: memFree=262292028/264257624 swapFree=67111528/67111528
[pid=30971] ppid=30969 vsize=70428 CPUtime=0.29 cores=0-31
/proc/30971/stat : 30971 (claspmt) R 30969 30971 30657 0 -1 4202496 15256 0 0 0 26 3 0 0 23 0 1 0 29968908 72118272 12532 270582939648 4194304 4964800 140736213221120 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30971/statm: 17607 12533 383 189 0 12481 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70428

[startup+0.70057 s]
/proc/loadavg: 30.16 30.93 31.23 1/412 30971
/proc/meminfo: memFree=262292028/264257624 swapFree=67111528/67111528
[pid=30971] ppid=30969 vsize=101804 CPUtime=0.69 cores=0-31
/proc/30971/stat : 30971 (claspmt) R 30969 30971 30657 0 -1 4202496 26266 0 0 0 62 7 0 0 25 0 1 0 29968908 104247296 20095 270582939648 4194304 4964800 140736213221120 18446744073709551615 4617330 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30971/statm: 25451 20095 396 189 0 20325 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101804

[startup+1.50061 s]
/proc/loadavg: 30.16 30.93 31.23 2/413 30972
/proc/meminfo: memFree=262201120/264257624 swapFree=67111528/67111528
[pid=30971] ppid=30969 vsize=126772 CPUtime=1.49 cores=0-31
/proc/30971/stat : 30971 (claspmt) R 30969 30971 30657 0 -1 4202496 32402 0 0 0 141 8 0 0 25 0 1 0 29968908 129814528 26231 270582939648 4194304 4964800 140736213221120 18446744073709551615 4685228 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30971/statm: 31693 26232 401 189 0 26567 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 126772

[startup+3.10075 s]
/proc/loadavg: 27.83 30.43 31.07 2/413 30972
/proc/meminfo: memFree=262179280/264257624 swapFree=67111528/67111528
[pid=30971] ppid=30969 vsize=806076 CPUtime=10.77 cores=0-31
/proc/30971/stat : 30971 (claspmt) S 30969 30971 30657 0 -1 4202496 102991 0 0 0 298 779 0 0 18 0 32 0 29968908 825421824 73982 270582939648 4194304 4964800 140736213221120 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/30971/statm: 201519 73993 428 189 0 195868 0
Current children cumulated CPU time (s) 10.77
Current children cumulated vsize (KiB) 806076

[startup+6.30165 s]
/proc/loadavg: 27.83 30.43 31.07 35/444 31003
/proc/meminfo: memFree=261456328/264257624 swapFree=67111528/67111528
[pid=30971] ppid=30969 vsize=2351504 CPUtime=72.02 cores=0-31
/proc/30971/stat : 30971 (claspmt) R 30969 30971 30657 0 -1 4202496 267271 0 0 0 5390 1812 0 0 20 0 32 0 29968908 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4668773 0 0 4096 18946 18446744073709551615 0 0 17 31 0 0 0
/proc/30971/statm: 587876 210022 461 189 0 582225 0
[pid=30971/tid=30973] ppid=30969 vsize=2351504 CPUtime=2.2 cores=0-31
/proc/30971/task/30973/stat : 30973 (claspmt) R 30969 30971 30657 0 -1 4202560 6392 0 0 0 158 62 0 0 17 0 32 0 29969189 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4342228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30971/tid=30974] ppid=30969 vsize=2351504 CPUtime=2.21 cores=0-31
/proc/30971/task/30974/stat : 30974 (claspmt) R 30969 30971 30657 0 -1 4202560 8056 0 0 0 159 62 0 0 18 0 32 0 29969189 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4678061 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=30971/tid=30975] ppid=30969 vsize=2351504 CPUtime=2.15 cores=0-31
/proc/30971/task/30975/stat : 30975 (claspmt) R 30969 30971 30657 0 -1 4202560 7899 0 0 0 159 56 0 0 17 0 32 0 29969189 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30971/tid=30976] ppid=30969 vsize=2351504 CPUtime=2.16 cores=0-31
/proc/30971/task/30976/stat : 30976 (claspmt) R 30969 30971 30657 0 -1 4202560 6664 0 0 0 157 59 0 0 17 0 32 0 29969189 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30971/tid=30977] ppid=30969 vsize=2351504 CPUtime=2.33 cores=0-31
/proc/30971/task/30977/stat : 30977 (claspmt) R 30969 30971 30657 0 -1 4202560 7282 0 0 0 176 57 0 0 18 0 32 0 29969189 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30971/tid=30978] ppid=30969 vsize=2351504 CPUtime=2.2 cores=0-31
/proc/30971/task/30978/stat : 30978 (claspmt) R 30969 30971 30657 0 -1 4202560 8073 0 0 0 158 62 0 0 19 0 32 0 29969189 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4678338 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=30971/tid=30979] ppid=30969 vsize=2351504 CPUtime=2.23 cores=0-31
/proc/30971/task/30979/stat : 30979 (claspmt) R 30969 30971 30657 0 -1 4202560 7487 0 0 0 162 61 0 0 17 0 32 0 29969189 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30971/tid=30980] ppid=30969 vsize=2351504 CPUtime=2.14 cores=0-31
/proc/30971/task/30980/stat : 30980 (claspmt) R 30969 30971 30657 0 -1 4202560 6770 0 0 0 155 59 0 0 17 0 32 0 29969189 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30971/tid=30981] ppid=30969 vsize=2351504 CPUtime=1.85 cores=0-31
/proc/30971/task/30981/stat : 30981 (claspmt) R 30969 30971 30657 0 -1 4202560 5982 0 0 0 139 46 0 0 19 0 32 0 29969189 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=30971/tid=30982] ppid=30969 vsize=2351504 CPUtime=2.19 cores=0-31
/proc/30971/task/30982/stat : 30982 (claspmt) R 30969 30971 30657 0 -1 4202560 8145 0 0 0 162 57 0 0 18 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30971/tid=30983] ppid=30969 vsize=2351504 CPUtime=2.21 cores=0-31
/proc/30971/task/30983/stat : 30983 (claspmt) R 30969 30971 30657 0 -1 4202560 8103 0 0 0 160 61 0 0 18 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 258650623178 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30971/tid=30984] ppid=30969 vsize=2351504 CPUtime=2.12 cores=0-31
/proc/30971/task/30984/stat : 30984 (claspmt) R 30969 30971 30657 0 -1 4202560 6911 0 0 0 159 53 0 0 17 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=30971/tid=30985] ppid=30969 vsize=2351504 CPUtime=2.33 cores=0-31
/proc/30971/task/30985/stat : 30985 (claspmt) R 30969 30971 30657 0 -1 4202560 6954 0 0 0 174 59 0 0 17 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30971/tid=30986] ppid=30969 vsize=2351504 CPUtime=2.23 cores=0-31
/proc/30971/task/30986/stat : 30986 (claspmt) R 30969 30971 30657 0 -1 4202560 8095 0 0 0 159 64 0 0 19 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30971/tid=30987] ppid=30969 vsize=2351504 CPUtime=2.14 cores=0-31
/proc/30971/task/30987/stat : 30987 (claspmt) R 30969 30971 30657 0 -1 4202560 7854 0 0 0 162 52 0 0 18 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30971/tid=30988] ppid=30969 vsize=2351504 CPUtime=2.16 cores=0-31
/proc/30971/task/30988/stat : 30988 (claspmt) R 30969 30971 30657 0 -1 4202560 6728 0 0 0 157 59 0 0 17 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370266 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30971/tid=30989] ppid=30969 vsize=2351504 CPUtime=2.18 cores=0-31
/proc/30971/task/30989/stat : 30989 (claspmt) R 30969 30971 30657 0 -1 4202560 7057 0 0 0 158 60 0 0 17 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=30971/tid=30990] ppid=30969 vsize=2351504 CPUtime=2.19 cores=0-31
/proc/30971/task/30990/stat : 30990 (claspmt) R 30969 30971 30657 0 -1 4202560 7909 0 0 0 160 59 0 0 17 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4651315 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30971/tid=30991] ppid=30969 vsize=2351504 CPUtime=2.18 cores=0-31
/proc/30971/task/30991/stat : 30991 (claspmt) R 30969 30971 30657 0 -1 4202560 8397 0 0 0 160 58 0 0 17 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30971/tid=30992] ppid=30969 vsize=2351504 CPUtime=2.16 cores=0-31
/proc/30971/task/30992/stat : 30992 (claspmt) R 30969 30971 30657 0 -1 4202560 6828 0 0 0 157 59 0 0 17 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=30971/tid=30993] ppid=30969 vsize=2351504 CPUtime=2.26 cores=0-31
/proc/30971/task/30993/stat : 30993 (claspmt) R 30969 30971 30657 0 -1 4202560 7348 0 0 0 164 62 0 0 20 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=30971/tid=30994] ppid=30969 vsize=2351504 CPUtime=2.19 cores=0-31
/proc/30971/task/30994/stat : 30994 (claspmt) R 30969 30971 30657 0 -1 4202560 7988 0 0 0 159 60 0 0 19 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=30971/tid=30995] ppid=30969 vsize=2351504 CPUtime=2.2 cores=0-31
/proc/30971/task/30995/stat : 30995 (claspmt) R 30969 30971 30657 0 -1 4202560 7888 0 0 0 162 58 0 0 17 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=30971/tid=30996] ppid=30969 vsize=2351504 CPUtime=2.08 cores=0-31
/proc/30971/task/30996/stat : 30996 (claspmt) R 30969 30971 30657 0 -1 4202560 6725 0 0 0 157 51 0 0 17 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30971/tid=30997] ppid=30969 vsize=2351504 CPUtime=2.13 cores=0-31
/proc/30971/task/30997/stat : 30997 (claspmt) R 30969 30971 30657 0 -1 4202560 6813 0 0 0 157 56 0 0 17 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30971/tid=30998] ppid=30969 vsize=2351504 CPUtime=2.17 cores=0-31
/proc/30971/task/30998/stat : 30998 (claspmt) R 30969 30971 30657 0 -1 4202560 8043 0 0 0 159 58 0 0 17 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=30971/tid=30999] ppid=30969 vsize=2351504 CPUtime=2.19 cores=0-31
/proc/30971/task/30999/stat : 30999 (claspmt) R 30969 30971 30657 0 -1 4202560 8125 0 0 0 160 59 0 0 17 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4362827 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=30971/tid=31000] ppid=30969 vsize=2351504 CPUtime=2.05 cores=0-31
/proc/30971/task/31000/stat : 31000 (claspmt) R 30969 30971 30657 0 -1 4202560 6858 0 0 0 156 49 0 0 20 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370381 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=30971/tid=31001] ppid=30969 vsize=2351504 CPUtime=2.32 cores=0-31
/proc/30971/task/31001/stat : 31001 (claspmt) R 30969 30971 30657 0 -1 4202560 7363 0 0 0 172 60 0 0 19 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670905 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=30971/tid=31002] ppid=30969 vsize=2351504 CPUtime=2.19 cores=0-31
/proc/30971/task/31002/stat : 31002 (claspmt) R 30969 30971 30657 0 -1 4202560 8174 0 0 0 162 57 0 0 17 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=30971/tid=31003] ppid=30969 vsize=2351504 CPUtime=2.09 cores=0-31
/proc/30971/task/31003/stat : 31003 (claspmt) R 30969 30971 30657 0 -1 4202560 7960 0 0 0 159 50 0 0 18 0 32 0 29969190 2407940096 210022 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 72.02
Current children cumulated vsize (KiB) 2351504

[startup+12.7019 s]
/proc/loadavg: 28.54 30.50 31.09 33/444 31003
/proc/meminfo: memFree=261408528/264257624 swapFree=67111528/67111528
[pid=30971] ppid=30969 vsize=2353204 CPUtime=276.54 cores=0-31
/proc/30971/stat : 30971 (claspmt) R 30969 30971 30657 0 -1 4202496 279772 0 0 0 25804 1850 0 0 25 0 32 0 29968908 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 31 0 0 0
/proc/30971/statm: 588301 222523 461 189 0 582650 0
[pid=30971/tid=30973] ppid=30969 vsize=2353204 CPUtime=8.6 cores=0-31
/proc/30971/task/30973/stat : 30973 (claspmt) R 30969 30971 30657 0 -1 4202560 6532 0 0 0 797 63 0 0 25 0 32 0 29969189 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370281 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30971/tid=30974] ppid=30969 vsize=2353204 CPUtime=8.6 cores=0-31
/proc/30971/task/30974/stat : 30974 (claspmt) R 30969 30971 30657 0 -1 4202560 8147 0 0 0 798 62 0 0 25 0 32 0 29969189 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=30971/tid=30975] ppid=30969 vsize=2353204 CPUtime=8.55 cores=0-31
/proc/30971/task/30975/stat : 30975 (claspmt) R 30969 30971 30657 0 -1 4202560 8335 0 0 0 798 57 0 0 25 0 32 0 29969189 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30971/tid=30976] ppid=30969 vsize=2353204 CPUtime=8.56 cores=0-31
/proc/30971/task/30976/stat : 30976 (claspmt) R 30969 30971 30657 0 -1 4202560 6730 0 0 0 797 59 0 0 25 0 32 0 29969189 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370266 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30971/tid=30977] ppid=30969 vsize=2353204 CPUtime=8.73 cores=0-31
/proc/30971/task/30977/stat : 30977 (claspmt) R 30969 30971 30657 0 -1 4202560 7506 0 0 0 815 58 0 0 25 0 32 0 29969189 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30971/tid=30978] ppid=30969 vsize=2353204 CPUtime=8.6 cores=0-31
/proc/30971/task/30978/stat : 30978 (claspmt) R 30969 30971 30657 0 -1 4202560 8276 0 0 0 798 62 0 0 25 0 32 0 29969189 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=30971/tid=30979] ppid=30969 vsize=2353204 CPUtime=8.63 cores=0-31
/proc/30971/task/30979/stat : 30979 (claspmt) R 30969 30971 30657 0 -1 4202560 8704 0 0 0 798 65 0 0 20 0 32 0 29969189 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30971/tid=30980] ppid=30969 vsize=2353204 CPUtime=8.54 cores=0-31
/proc/30971/task/30980/stat : 30980 (claspmt) R 30969 30971 30657 0 -1 4202560 6852 0 0 0 795 59 0 0 25 0 32 0 29969189 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370229 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30971/tid=30981] ppid=30969 vsize=2353204 CPUtime=8.25 cores=0-31
/proc/30971/task/30981/stat : 30981 (claspmt) R 30969 30971 30657 0 -1 4202560 6067 0 0 0 779 46 0 0 25 0 32 0 29969189 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=30971/tid=30982] ppid=30969 vsize=2353204 CPUtime=8.58 cores=0-31
/proc/30971/task/30982/stat : 30982 (claspmt) R 30969 30971 30657 0 -1 4202560 8439 0 0 0 800 58 0 0 25 0 32 0 29969190 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30971/tid=30983] ppid=30969 vsize=2353204 CPUtime=8.6 cores=0-31
/proc/30971/task/30983/stat : 30983 (claspmt) R 30969 30971 30657 0 -1 4202560 9316 0 0 0 795 65 0 0 25 0 32 0 29969190 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30971/tid=30984] ppid=30969 vsize=2353204 CPUtime=8.51 cores=0-31
/proc/30971/task/30984/stat : 30984 (claspmt) R 30969 30971 30657 0 -1 4202560 7016 0 0 0 798 53 0 0 25 0 32 0 29969190 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=30971/tid=30985] ppid=30969 vsize=2353204 CPUtime=8.72 cores=0-31
/proc/30971/task/30985/stat : 30985 (claspmt) R 30969 30971 30657 0 -1 4202560 7058 0 0 0 813 59 0 0 25 0 32 0 29969190 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4653144 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30971/tid=30986] ppid=30969 vsize=2353204 CPUtime=8.62 cores=0-31
/proc/30971/task/30986/stat : 30986 (claspmt) R 30969 30971 30657 0 -1 4202560 8318 0 0 0 798 64 0 0 25 0 32 0 29969190 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30971/tid=30987] ppid=30969 vsize=2353204 CPUtime=8.53 cores=0-31
/proc/30971/task/30987/stat : 30987 (claspmt) R 30969 30971 30657 0 -1 4202560 9415 0 0 0 796 57 0 0 25 0 32 0 29969190 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30971/tid=30988] ppid=30969 vsize=2353204 CPUtime=8.56 cores=0-31
/proc/30971/task/30988/stat : 30988 (claspmt) R 30969 30971 30657 0 -1 4202560 6927 0 0 0 795 61 0 0 25 0 32 0 29969190 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30971/tid=30989] ppid=30969 vsize=2353204 CPUtime=8.58 cores=0-31
/proc/30971/task/30989/stat : 30989 (claspmt) R 30969 30971 30657 0 -1 4202560 7234 0 0 0 798 60 0 0 25 0 32 0 29969190 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4668607 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=30971/tid=30990] ppid=30969 vsize=2353204 CPUtime=8.59 cores=0-31
/proc/30971/task/30990/stat : 30990 (claspmt) R 30969 30971 30657 0 -1 4202560 7966 0 0 0 800 59 0 0 25 0 32 0 29969190 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30971/tid=30991] ppid=30969 vsize=2353204 CPUtime=8.57 cores=0-31
/proc/30971/task/30991/stat : 30991 (claspmt) R 30969 30971 30657 0 -1 4202560 9207 0 0 0 798 59 0 0 25 0 32 0 29969190 2409680896 222523 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30971/tid=30992] ppid=30969 vsize=2353204 CPUtime=8.55 cores=0-31
/proc/30971/task/30992/stat : 30992 (claspmt) R 30969 30971 30657 0 -1 4202560 6950 0 0 0 796 59 0 0 25 0 32 0 29969190 2409680896 222524 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370259 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=30971/tid=30993] ppid=30969 vsize=2353204 CPUtime=8.65 cores=0-31

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

[pid=30971/tid=30978] ppid=30969 vsize=4203152 CPUtime=545 cores=0-31
/proc/30971/task/30978/stat : 30978 (claspmt) R 30969 30971 30657 0 -1 4202560 27060 0 0 0 54388 112 0 0 25 0 32 0 29969189 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=30971/tid=30979] ppid=30969 vsize=4203152 CPUtime=545.95 cores=0-31
/proc/30971/task/30979/stat : 30979 (claspmt) R 30969 30971 30657 0 -1 4202560 58312 0 0 0 54359 236 0 0 25 0 32 0 29969189 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30971/tid=30980] ppid=30969 vsize=4203152 CPUtime=546 cores=0-31
/proc/30971/task/30980/stat : 30980 (claspmt) R 30969 30971 30657 0 -1 4202560 14222 0 0 0 54516 84 0 0 25 0 32 0 29969189 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30971/tid=30981] ppid=30969 vsize=4203152 CPUtime=545.7 cores=0-31
/proc/30971/task/30981/stat : 30981 (claspmt) R 30969 30971 30657 0 -1 4202560 10411 0 0 0 54511 59 0 0 25 0 32 0 29969189 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30971/tid=30982] ppid=30969 vsize=4203152 CPUtime=546.01 cores=0-31
/proc/30971/task/30982/stat : 30982 (claspmt) R 30969 30971 30657 0 -1 4202560 27882 0 0 0 54502 99 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30971/tid=30983] ppid=30969 vsize=4203152 CPUtime=545.99 cores=0-31
/proc/30971/task/30983/stat : 30983 (claspmt) R 30969 30971 30657 0 -1 4202560 26465 0 0 0 54491 108 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30971/tid=30984] ppid=30969 vsize=4203152 CPUtime=545.94 cores=0-31
/proc/30971/task/30984/stat : 30984 (claspmt) R 30969 30971 30657 0 -1 4202560 15451 0 0 0 54520 74 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370269 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30971/tid=30985] ppid=30969 vsize=4203152 CPUtime=546.18 cores=0-31
/proc/30971/task/30985/stat : 30985 (claspmt) R 30969 30971 30657 0 -1 4202560 14738 0 0 0 54540 78 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30971/tid=30986] ppid=30969 vsize=4203152 CPUtime=545.96 cores=0-31
/proc/30971/task/30986/stat : 30986 (claspmt) R 30969 30971 30657 0 -1 4202560 27304 0 0 0 54479 117 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30971/tid=30987] ppid=30969 vsize=4203152 CPUtime=541.73 cores=0-31
/proc/30971/task/30987/stat : 30987 (claspmt) R 30969 30971 30657 0 -1 4202560 62582 0 0 0 53943 230 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30971/tid=30988] ppid=30969 vsize=4203152 CPUtime=545.88 cores=0-31
/proc/30971/task/30988/stat : 30988 (claspmt) R 30969 30971 30657 0 -1 4202560 12216 0 0 0 54509 79 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30971/tid=30989] ppid=30969 vsize=4203152 CPUtime=546.04 cores=0-31
/proc/30971/task/30989/stat : 30989 (claspmt) R 30969 30971 30657 0 -1 4202560 11619 0 0 0 54533 71 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=30971/tid=30990] ppid=30969 vsize=4203152 CPUtime=546.02 cores=0-31
/proc/30971/task/30990/stat : 30990 (claspmt) R 30969 30971 30657 0 -1 4202560 26896 0 0 0 54502 100 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30971/tid=30991] ppid=30969 vsize=4203152 CPUtime=545.98 cores=0-31
/proc/30971/task/30991/stat : 30991 (claspmt) R 30969 30971 30657 0 -1 4202560 25782 0 0 0 54495 103 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30971/tid=30992] ppid=30969 vsize=4203152 CPUtime=546.02 cores=0-31
/proc/30971/task/30992/stat : 30992 (claspmt) R 30969 30971 30657 0 -1 4202560 14228 0 0 0 54524 78 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=30971/tid=30993] ppid=30969 vsize=4203152 CPUtime=546.12 cores=0-31
/proc/30971/task/30993/stat : 30993 (claspmt) R 30969 30971 30657 0 -1 4202560 15301 0 0 0 54534 78 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=30971/tid=30994] ppid=30969 vsize=4203152 CPUtime=545.94 cores=0-31
/proc/30971/task/30994/stat : 30994 (claspmt) R 30969 30971 30657 0 -1 4202560 27971 0 0 0 54477 117 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=30971/tid=30995] ppid=30969 vsize=4203152 CPUtime=543.79 cores=0-31
/proc/30971/task/30995/stat : 30995 (claspmt) R 30969 30971 30657 0 -1 4202560 66823 0 0 0 54123 256 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=30971/tid=30996] ppid=30969 vsize=4203152 CPUtime=545.93 cores=0-31
/proc/30971/task/30996/stat : 30996 (claspmt) R 30969 30971 30657 0 -1 4202560 14354 0 0 0 54515 78 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30971/tid=30997] ppid=30969 vsize=4203152 CPUtime=545.98 cores=0-31
/proc/30971/task/30997/stat : 30997 (claspmt) R 30969 30971 30657 0 -1 4202560 11829 0 0 0 54529 69 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30971/tid=30998] ppid=30969 vsize=4203152 CPUtime=545.97 cores=0-31
/proc/30971/task/30998/stat : 30998 (claspmt) R 30969 30971 30657 0 -1 4202560 30834 0 0 0 54497 100 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=30971/tid=30999] ppid=30969 vsize=4203152 CPUtime=545.97 cores=0-31
/proc/30971/task/30999/stat : 30999 (claspmt) R 30969 30971 30657 0 -1 4202560 26303 0 0 0 54491 106 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=30971/tid=31000] ppid=30969 vsize=4203152 CPUtime=545.91 cores=0-31
/proc/30971/task/31000/stat : 31000 (claspmt) R 30969 30971 30657 0 -1 4202560 14733 0 0 0 54523 68 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=30971/tid=31001] ppid=30969 vsize=4203152 CPUtime=546.18 cores=0-31
/proc/30971/task/31001/stat : 31001 (claspmt) R 30969 30971 30657 0 -1 4202560 13858 0 0 0 54542 76 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=30971/tid=31002] ppid=30969 vsize=4203152 CPUtime=541.83 cores=0-31
/proc/30971/task/31002/stat : 31002 (claspmt) R 30969 30971 30657 0 -1 4202560 27502 0 0 0 54080 103 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=30971/tid=31003] ppid=30969 vsize=4203152 CPUtime=545.8 cores=0-31
/proc/30971/task/31003/stat : 31003 (claspmt) R 30969 30971 30657 0 -1 4202560 67972 0 0 0 54319 261 0 0 25 0 32 0 29969190 4304027648 771329 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 17458.1
Current children cumulated vsize (KiB) 4203152

[startup+563.102 s]
/proc/loadavg: 32.04 31.81 31.51 33/444 31026
/proc/meminfo: memFree=259200052/264257624 swapFree=67111528/67111528
[pid=30971] ppid=30969 vsize=4203152 CPUtime=17867.9 cores=0-31
/proc/30971/stat : 30971 (claspmt) R 30969 30971 30657 0 -1 4202496 833792 0 0 0 1783357 3432 0 0 25 0 32 0 29968908 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370288 0 0 4096 18946 18446744073709551615 0 0 17 27 0 0 0
/proc/30971/statm: 1050788 773622 463 189 0 1045137 0
[pid=30971/tid=30973] ppid=30969 vsize=4203152 CPUtime=558.83 cores=0-31
/proc/30971/task/30973/stat : 30973 (claspmt) R 30969 30971 30657 0 -1 4202560 11663 0 0 0 55805 78 0 0 25 0 32 0 29969189 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30971/tid=30974] ppid=30969 vsize=4203152 CPUtime=558.72 cores=0-31
/proc/30971/task/30974/stat : 30974 (claspmt) R 30969 30971 30657 0 -1 4202560 28942 0 0 0 55765 107 0 0 25 0 32 0 29969189 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=30971/tid=30975] ppid=30969 vsize=4203152 CPUtime=557.35 cores=0-31
/proc/30971/task/30975/stat : 30975 (claspmt) R 30969 30971 30657 0 -1 4202560 25535 0 0 0 55637 98 0 0 25 0 32 0 29969189 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=30971/tid=30976] ppid=30969 vsize=4203152 CPUtime=558.69 cores=0-31
/proc/30971/task/30976/stat : 30976 (claspmt) R 30969 30971 30657 0 -1 4202560 14430 0 0 0 55792 77 0 0 25 0 32 0 29969189 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30971/tid=30977] ppid=30969 vsize=4203152 CPUtime=556.9 cores=0-31
/proc/30971/task/30977/stat : 30977 (claspmt) R 30969 30971 30657 0 -1 4202560 16245 0 0 0 55610 80 0 0 25 0 32 0 29969189 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=30971/tid=30978] ppid=30969 vsize=4203152 CPUtime=557.83 cores=0-31
/proc/30971/task/30978/stat : 30978 (claspmt) R 30969 30971 30657 0 -1 4202560 27393 0 0 0 55670 113 0 0 25 0 32 0 29969189 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=30971/tid=30979] ppid=30969 vsize=4203152 CPUtime=558.76 cores=0-31
/proc/30971/task/30979/stat : 30979 (claspmt) R 30969 30971 30657 0 -1 4202560 58364 0 0 0 55640 236 0 0 25 0 32 0 29969189 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30971/tid=30980] ppid=30969 vsize=4203152 CPUtime=558.81 cores=0-31
/proc/30971/task/30980/stat : 30980 (claspmt) R 30969 30971 30657 0 -1 4202560 14222 0 0 0 55797 84 0 0 25 0 32 0 29969189 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4660835 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30971/tid=30981] ppid=30969 vsize=4203152 CPUtime=558.52 cores=0-31
/proc/30971/task/30981/stat : 30981 (claspmt) R 30969 30971 30657 0 -1 4202560 10413 0 0 0 55793 59 0 0 25 0 32 0 29969189 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30971/tid=30982] ppid=30969 vsize=4203152 CPUtime=558.83 cores=0-31
/proc/30971/task/30982/stat : 30982 (claspmt) R 30969 30971 30657 0 -1 4202560 27992 0 0 0 55784 99 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30971/tid=30983] ppid=30969 vsize=4203152 CPUtime=558.81 cores=0-31
/proc/30971/task/30983/stat : 30983 (claspmt) R 30969 30971 30657 0 -1 4202560 26485 0 0 0 55773 108 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30971/tid=30984] ppid=30969 vsize=4203152 CPUtime=558.76 cores=0-31
/proc/30971/task/30984/stat : 30984 (claspmt) R 30969 30971 30657 0 -1 4202560 15576 0 0 0 55802 74 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30971/tid=30985] ppid=30969 vsize=4203152 CPUtime=559 cores=0-31
/proc/30971/task/30985/stat : 30985 (claspmt) R 30969 30971 30657 0 -1 4202560 14971 0 0 0 55822 78 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30971/tid=30986] ppid=30969 vsize=4203152 CPUtime=558.78 cores=0-31
/proc/30971/task/30986/stat : 30986 (claspmt) R 30969 30971 30657 0 -1 4202560 27307 0 0 0 55761 117 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30971/tid=30987] ppid=30969 vsize=4203152 CPUtime=554.55 cores=0-31
/proc/30971/task/30987/stat : 30987 (claspmt) R 30969 30971 30657 0 -1 4202560 62584 0 0 0 55225 230 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30971/tid=30988] ppid=30969 vsize=4203152 CPUtime=558.69 cores=0-31
/proc/30971/task/30988/stat : 30988 (claspmt) R 30969 30971 30657 0 -1 4202560 12216 0 0 0 55790 79 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4690043 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30971/tid=30989] ppid=30969 vsize=4203152 CPUtime=558.86 cores=0-31
/proc/30971/task/30989/stat : 30989 (claspmt) R 30969 30971 30657 0 -1 4202560 11619 0 0 0 55815 71 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4362231 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=30971/tid=30990] ppid=30969 vsize=4203152 CPUtime=558.84 cores=0-31
/proc/30971/task/30990/stat : 30990 (claspmt) R 30969 30971 30657 0 -1 4202560 26896 0 0 0 55784 100 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30971/tid=30991] ppid=30969 vsize=4203152 CPUtime=558.8 cores=0-31
/proc/30971/task/30991/stat : 30991 (claspmt) R 30969 30971 30657 0 -1 4202560 25790 0 0 0 55777 103 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30971/tid=30992] ppid=30969 vsize=4203152 CPUtime=558.84 cores=0-31
/proc/30971/task/30992/stat : 30992 (claspmt) R 30969 30971 30657 0 -1 4202560 14228 0 0 0 55806 78 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=30971/tid=30993] ppid=30969 vsize=4203152 CPUtime=558.94 cores=0-31
/proc/30971/task/30993/stat : 30993 (claspmt) R 30969 30971 30657 0 -1 4202560 15322 0 0 0 55816 78 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=30971/tid=30994] ppid=30969 vsize=4203152 CPUtime=558.76 cores=0-31
/proc/30971/task/30994/stat : 30994 (claspmt) R 30969 30971 30657 0 -1 4202560 28325 0 0 0 55759 117 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=30971/tid=30995] ppid=30969 vsize=4203152 CPUtime=556.61 cores=0-31
/proc/30971/task/30995/stat : 30995 (claspmt) R 30969 30971 30657 0 -1 4202560 66832 0 0 0 55405 256 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 258650653538 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=30971/tid=30996] ppid=30969 vsize=4203152 CPUtime=558.75 cores=0-31
/proc/30971/task/30996/stat : 30996 (claspmt) R 30969 30971 30657 0 -1 4202560 14354 0 0 0 55797 78 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4371537 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30971/tid=30997] ppid=30969 vsize=4203152 CPUtime=558.8 cores=0-31
/proc/30971/task/30997/stat : 30997 (claspmt) R 30969 30971 30657 0 -1 4202560 11829 0 0 0 55811 69 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30971/tid=30998] ppid=30969 vsize=4203152 CPUtime=558.78 cores=0-31
/proc/30971/task/30998/stat : 30998 (claspmt) R 30969 30971 30657 0 -1 4202560 30946 0 0 0 55778 100 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=30971/tid=30999] ppid=30969 vsize=4203152 CPUtime=558.8 cores=0-31
/proc/30971/task/30999/stat : 30999 (claspmt) R 30969 30971 30657 0 -1 4202560 26320 0 0 0 55773 107 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4684176 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=30971/tid=31000] ppid=30969 vsize=4203152 CPUtime=558.73 cores=0-31
/proc/30971/task/31000/stat : 31000 (claspmt) R 30969 30971 30657 0 -1 4202560 14853 0 0 0 55805 68 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=30971/tid=31001] ppid=30969 vsize=4203152 CPUtime=558.99 cores=0-31
/proc/30971/task/31001/stat : 31001 (claspmt) R 30969 30971 30657 0 -1 4202560 13977 0 0 0 55823 76 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=30971/tid=31002] ppid=30969 vsize=4203152 CPUtime=554.28 cores=0-31
/proc/30971/task/31002/stat : 31002 (claspmt) R 30969 30971 30657 0 -1 4202560 27550 0 0 0 55325 103 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=30971/tid=31003] ppid=30969 vsize=4203152 CPUtime=558.62 cores=0-31
/proc/30971/task/31003/stat : 31003 (claspmt) R 30969 30971 30657 0 -1 4202560 68169 0 0 0 55600 262 0 0 25 0 32 0 29969190 4304027648 773622 270582939648 4194304 4964800 140736213221120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 17867.9
Current children cumulated vsize (KiB) 4203152

[startup+569.501 s]
/proc/loadavg: 32.04 31.81 31.51 14/426 31026
/proc/meminfo: memFree=259198956/264257624 swapFree=67111528/67111528
[pid=30971] ppid=30969 vsize=4112952 CPUtime=18043.7 cores=0-31
/proc/30971/stat : 30971 (claspmt) R 30969 30971 30657 0 -1 4202496 834575 0 0 0 1800849 3519 0 0 15 0 1 0 29968908 4211662848 771632 270582939648 4194304 4964800 140736213221120 18446744073709551615 4699327 0 0 4096 18946 0 0 0 17 27 0 0 0
/proc/30971/statm: 1028238 771632 474 189 0 1022587 0
Current children cumulated CPU time (s) 18043.7
Current children cumulated vsize (KiB) 4112952

[startup+571.101 s]
/proc/loadavg: 32.04 31.81 31.51 2/413 31026
/proc/meminfo: memFree=259309544/264257624 swapFree=67111528/67111528
[pid=30971] ppid=30969 vsize=3963180 CPUtime=18045.3 cores=0-31
/proc/30971/stat : 30971 (claspmt) R 30969 30971 30657 0 -1 4202496 834575 0 0 0 1801007 3521 0 0 17 0 1 0 29968908 4058296320 733993 270582939648 4194304 4964800 140736213221120 18446744073709551615 258650612746 0 0 4096 18946 0 0 0 17 27 0 0 0
/proc/30971/statm: 990795 733993 474 189 0 985144 0
Current children cumulated CPU time (s) 18045.3
Current children cumulated vsize (KiB) 3963180

[startup+572.701 s]
/proc/loadavg: 29.55 31.30 31.35 2/413 31026
/proc/meminfo: memFree=259425368/264257624 swapFree=67111528/67111528
[pid=30971] ppid=30969 vsize=3753260 CPUtime=18046.9 cores=0-31
/proc/30971/stat : 30971 (claspmt) R 30969 30971 30657 0 -1 4202496 834575 0 0 0 1801165 3523 0 0 20 0 1 0 29968908 3843338240 688958 270582939648 4194304 4964800 140736213221120 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 27 0 0 0
/proc/30971/statm: 938315 688958 474 189 0 932664 0
Current children cumulated CPU time (s) 18046.9
Current children cumulated vsize (KiB) 3753260

[startup+573.119 s]
/proc/loadavg: 29.55 31.30 31.35 2/413 31026
/proc/meminfo: memFree=259535232/264257624 swapFree=67111528/67111528
[pid=30971] ppid=30969 vsize=3735212 CPUtime=18047.3 cores=0-31
/proc/30971/stat : 30971 (claspmt) R 30969 30971 30657 0 -1 4202496 834575 0 0 0 1801206 3524 0 0 20 0 1 0 29968908 3824857088 649112 270582939648 4194304 4964800 140736213221120 18446744073709551615 258650611643 0 0 4096 18946 0 0 0 17 27 0 0 0
/proc/30971/statm: 933803 649112 474 189 0 928152 0
Current children cumulated CPU time (s) 18047.3
Current children cumulated vsize (KiB) 3735212

[startup+573.301 s]
/proc/loadavg: 29.55 31.30 31.35 2/413 31026
/proc/meminfo: memFree=259535232/264257624 swapFree=67111528/67111528
[pid=30971] ppid=30969 vsize=0 CPUtime=18047.5 cores=0-31
/proc/30971/stat : 30971 (claspmt) R 30969 30971 30657 0 -1 4202500 834576 0 0 0 1801209 3540 0 0 21 0 1 0 29968908 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 27 0 0 0
/proc/30971/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 18047.5
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 573.323
CPU time (s): 18047.5
CPU user time (s): 18012.1
CPU system time (s): 35.4206
CPU usage (%): 3147.88
Max. virtual memory (cumulated for all children) (KiB): 4203152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18012.1
system time used= 35.4206
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 834576
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= 275456
involuntary context switches= 39215

runsolver used 3.22051 second user time and 13.004 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-09 20:57:00
IDJOB=3472435
IDBENCH=82493
IDSOLVER=1961
FILE ID=node200/3472435-1307645819
RUNJOBID= node200-1307645533-30671
PBS_JOBID= 13547782
Free space on /tmp= 61736 MiB

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

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

MD5SUM BENCH= 7886cd26d6e0801ea382a1ffd6224023
RANDOM SEED=747905554

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:      262293060 kB
Buffers:        243572 kB
Cached:        1417268 kB
SwapCached:          0 kB
Active:         269864 kB
Inactive:      1454216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262293060 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10608 kB
Writeback:           0 kB
AnonPages:       63288 kB
Mapped:          14528 kB
Slab:           163472 kB
PageTables:       4320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   164552 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= 61732 MiB
End job on node200 at 2011-06-09 21:06:34