Trace number 3372693

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
Plingeling 587f (fixed)UNSAT 969.706 31.7332

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom12.cnf
MD5SUMf0a59aeb3af8016fb8ec53aa337c4836
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark245.137
Satisfiable
(Un)Satisfiability was proved
Number of variables17298
Number of clauses57292
Sum of the clauses size145234
Maximum clause length615
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 230583
Number of clauses of size 326391
Number of clauses of size 477
Number of clauses of size 510
Number of clauses of size over 5230

Solver Data 

969.65/31.73	s UNSATISFIABLE

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: 961)

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-3372693-1305962617/watcher-3372693-1305962617 -o /tmp/evaluation-result-3372693-1305962617/solver-3372693-1305962617 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372693-1305962617.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): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 31.20 31.36 31.75 1/413 12110
/proc/meminfo: memFree=255505652/264257624 swapFree=67111528/67111528
[pid=12110] ppid=12108 vsize=27828 CPUtime=0.02 cores=0-31
/proc/12110/stat : 12110 (plingeling) R 12108 12110 12014 0 -1 4202496 5034 1250 0 0 1 1 0 0 21 0 1 0 707748100 28495872 4964 268435456000 4194304 4417452 140736264467888 18446744073709551615 258650616632 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12110/statm: 6957 4964 141 55 0 4843 0

[startup+0.0450029 s]
/proc/loadavg: 31.20 31.36 31.75 1/413 12110
/proc/meminfo: memFree=255505652/264257624 swapFree=67111528/67111528
[pid=12110] ppid=12108 vsize=28392 CPUtime=0.03 cores=0-31
/proc/12110/stat : 12110 (plingeling) R 12108 12110 12014 0 -1 4202496 5174 1250 0 0 2 1 0 0 21 0 1 0 707748100 29073408 5104 268435456000 4194304 4417452 140736264467888 18446744073709551615 4231468 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12110/statm: 7098 5104 145 55 0 4984 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28392

[startup+0.10096 s]
/proc/loadavg: 31.20 31.36 31.75 1/413 12110
/proc/meminfo: memFree=255505652/264257624 swapFree=67111528/67111528
[pid=12110] ppid=12108 vsize=32392 CPUtime=0.09 cores=0-31
/proc/12110/stat : 12110 (plingeling) R 12108 12110 12014 0 -1 4202496 6172 1250 0 0 8 1 0 0 21 0 1 0 707748100 33169408 6102 268435456000 4194304 4417452 140736264467888 18446744073709551615 4231642 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12110/statm: 8098 6102 145 55 0 5984 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32392

[startup+0.301014 s]
/proc/loadavg: 31.20 31.36 31.75 1/413 12110
/proc/meminfo: memFree=255505652/264257624 swapFree=67111528/67111528
[pid=12110] ppid=12108 vsize=49920 CPUtime=0.29 cores=0-31
/proc/12110/stat : 12110 (plingeling) R 12108 12110 12014 0 -1 4202496 10547 1250 0 0 27 2 0 0 22 0 1 0 707748100 51118080 10477 268435456000 4194304 4417452 140736264467888 18446744073709551615 4227779 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12110/statm: 12480 10477 146 55 0 10366 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49920

[startup+0.700979 s]
/proc/loadavg: 31.20 31.36 31.75 1/413 12110
/proc/meminfo: memFree=255505652/264257624 swapFree=67111528/67111528
[pid=12110] ppid=12108 vsize=90280 CPUtime=0.68 cores=0-31
/proc/12110/stat : 12110 (plingeling) R 12108 12110 12014 0 -1 4202496 20629 1250 0 0 64 4 0 0 23 0 1 0 707748100 92446720 20559 268435456000 4194304 4417452 140736264467888 18446744073709551615 4231291 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12110/statm: 22570 20559 146 55 0 20456 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 90280

[startup+1.50088 s]
/proc/loadavg: 28.79 30.86 31.59 2/414 12116
/proc/meminfo: memFree=255422400/264257624 swapFree=67111528/67111528
[pid=12110] ppid=12108 vsize=779088 CPUtime=10.03 cores=0-31
/proc/12110/stat : 12110 (plingeling) S 12108 12110 12014 0 -1 4202496 59485 1250 0 0 958 45 0 0 19 0 33 0 707748100 797786112 36359 268435456000 4194304 4417452 140736264467888 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 31 0 0 0
/proc/12110/statm: 194772 36359 170 55 0 192658 0
Current children cumulated CPU time (s) 10.03
Current children cumulated vsize (KiB) 779088

[startup+3.10193 s]
/proc/loadavg: 28.79 30.86 31.59 34/446 12148
/proc/meminfo: memFree=255334124/264257624 swapFree=67111528/67111528
[pid=12110] ppid=12108 vsize=799512 CPUtime=61.19 cores=0-31
/proc/12110/stat : 12110 (plingeling) S 12108 12110 12014 0 -1 4202496 83508 1250 0 0 6066 53 0 0 19 0 33 0 707748100 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 31 0 0 0
/proc/12110/statm: 199878 39578 175 55 0 197764 0
[pid=12110/tid=12117] ppid=12108 vsize=799512 CPUtime=1.87 cores=0-31
/proc/12110/task/12117/stat : 12117 (plingeling) R 12108 12110 12014 0 -1 4202560 3850 1250 0 0 185 2 0 0 20 0 33 0 707748217 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4257634 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12110/tid=12118] ppid=12108 vsize=799512 CPUtime=1.87 cores=0-31
/proc/12110/task/12118/stat : 12118 (plingeling) R 12108 12110 12014 0 -1 4202560 2380 1250 0 0 185 2 0 0 21 0 33 0 707748217 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12110/tid=12119] ppid=12108 vsize=799512 CPUtime=1.87 cores=0-31
/proc/12110/task/12119/stat : 12119 (plingeling) R 12108 12110 12014 0 -1 4202560 688 1250 0 0 186 1 0 0 20 0 33 0 707748217 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4343423 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12110/tid=12120] ppid=12108 vsize=799512 CPUtime=1.88 cores=0-31
/proc/12110/task/12120/stat : 12120 (plingeling) R 12108 12110 12014 0 -1 4202560 368 1250 0 0 188 0 0 0 20 0 33 0 707748217 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364583 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12110/tid=12121] ppid=12108 vsize=799512 CPUtime=1.87 cores=0-31
/proc/12110/task/12121/stat : 12121 (plingeling) R 12108 12110 12014 0 -1 4202560 1373 1250 0 0 186 1 0 0 20 0 33 0 707748217 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4339861 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12110/tid=12122] ppid=12108 vsize=799512 CPUtime=1.87 cores=0-31
/proc/12110/task/12122/stat : 12122 (plingeling) R 12108 12110 12014 0 -1 4202560 1495 1250 0 0 186 1 0 0 20 0 33 0 707748217 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4318695 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12110/tid=12123] ppid=12108 vsize=799512 CPUtime=1.87 cores=0-31
/proc/12110/task/12123/stat : 12123 (plingeling) R 12108 12110 12014 0 -1 4202560 2142 1250 0 0 186 1 0 0 21 0 33 0 707748217 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12110/tid=12124] ppid=12108 vsize=799512 CPUtime=1.88 cores=0-31
/proc/12110/task/12124/stat : 12124 (plingeling) R 12108 12110 12014 0 -1 4202560 596 1250 0 0 188 0 0 0 20 0 33 0 707748217 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4252163 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12110/tid=12125] ppid=12108 vsize=799512 CPUtime=1.87 cores=0-31
/proc/12110/task/12125/stat : 12125 (plingeling) R 12108 12110 12014 0 -1 4202560 1068 1250 0 0 187 0 0 0 20 0 33 0 707748217 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4252475 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12110/tid=12126] ppid=12108 vsize=799512 CPUtime=1.88 cores=0-31
/proc/12110/task/12126/stat : 12126 (plingeling) R 12108 12110 12014 0 -1 4202560 1215 1250 0 0 187 1 0 0 25 0 33 0 707748218 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4252336 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12110/tid=12127] ppid=12108 vsize=799512 CPUtime=1.86 cores=0-31
/proc/12110/task/12127/stat : 12127 (plingeling) R 12108 12110 12014 0 -1 4202560 2147 1250 0 0 185 1 0 0 21 0 33 0 707748218 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364669 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12110/tid=12128] ppid=12108 vsize=799512 CPUtime=1.89 cores=0-31
/proc/12110/task/12128/stat : 12128 (plingeling) R 12108 12110 12014 0 -1 4202560 851 1250 0 0 188 1 0 0 21 0 33 0 707748218 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4253162 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12110/tid=12129] ppid=12108 vsize=799512 CPUtime=1.88 cores=0-31
/proc/12110/task/12129/stat : 12129 (plingeling) R 12108 12110 12014 0 -1 4202560 1677 1250 0 0 187 1 0 0 25 0 33 0 707748218 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4233447 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12110/tid=12130] ppid=12108 vsize=799512 CPUtime=1.86 cores=0-31
/proc/12110/task/12130/stat : 12130 (plingeling) R 12108 12110 12014 0 -1 4202560 1724 1250 0 0 185 1 0 0 20 0 33 0 707748218 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12110/tid=12131] ppid=12108 vsize=799512 CPUtime=1.87 cores=0-31
/proc/12110/task/12131/stat : 12131 (plingeling) R 12108 12110 12014 0 -1 4202560 1279 1250 0 0 186 1 0 0 21 0 33 0 707748218 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4237202 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12110/tid=12132] ppid=12108 vsize=799512 CPUtime=1.86 cores=0-31
/proc/12110/task/12132/stat : 12132 (plingeling) R 12108 12110 12014 0 -1 4202560 1711 1250 0 0 185 1 0 0 20 0 33 0 707748218 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4272395 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12110/tid=12133] ppid=12108 vsize=799512 CPUtime=1.86 cores=0-31
/proc/12110/task/12133/stat : 12133 (plingeling) R 12108 12110 12014 0 -1 4202560 2522 1250 0 0 185 1 0 0 20 0 33 0 707748218 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4271538 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12110/tid=12134] ppid=12108 vsize=799512 CPUtime=1.87 cores=0-31
/proc/12110/task/12134/stat : 12134 (plingeling) R 12108 12110 12014 0 -1 4202560 939 1250 0 0 186 1 0 0 20 0 33 0 707748218 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4319712 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12110/tid=12135] ppid=12108 vsize=799512 CPUtime=1.86 cores=0-31
/proc/12110/task/12135/stat : 12135 (plingeling) R 12108 12110 12014 0 -1 4202560 1787 1250 0 0 185 1 0 0 20 0 33 0 707748218 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12110/tid=12136] ppid=12108 vsize=799512 CPUtime=1.83 cores=0-31
/proc/12110/task/12136/stat : 12136 (plingeling) R 12108 12110 12014 0 -1 4202560 2709 1250 0 0 182 1 0 0 20 0 33 0 707748218 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4346493 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12110/tid=12137] ppid=12108 vsize=799512 CPUtime=1.86 cores=0-31
/proc/12110/task/12137/stat : 12137 (plingeling) R 12108 12110 12014 0 -1 4202560 1307 1250 0 0 185 1 0 0 20 0 33 0 707748218 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4253320 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12110/tid=12138] ppid=12108 vsize=799512 CPUtime=1.86 cores=0-31
/proc/12110/task/12138/stat : 12138 (plingeling) R 12108 12110 12014 0 -1 4202560 1723 1250 0 0 185 1 0 0 20 0 33 0 707748218 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4239991 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12110/tid=12139] ppid=12108 vsize=799512 CPUtime=1.86 cores=0-31
/proc/12110/task/12139/stat : 12139 (plingeling) R 12108 12110 12014 0 -1 4202560 1529 1250 0 0 185 1 0 0 20 0 33 0 707748218 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364972 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12110/tid=12140] ppid=12108 vsize=799512 CPUtime=1.86 cores=0-31
/proc/12110/task/12140/stat : 12140 (plingeling) R 12108 12110 12014 0 -1 4202560 2146 1250 0 0 186 0 0 0 20 0 33 0 707748218 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12110/tid=12141] ppid=12108 vsize=799512 CPUtime=1.86 cores=0-31
/proc/12110/task/12141/stat : 12141 (plingeling) R 12108 12110 12014 0 -1 4202560 1470 1250 0 0 185 1 0 0 21 0 33 0 707748219 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4252102 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12110/tid=12142] ppid=12108 vsize=799512 CPUtime=1.87 cores=0-31
/proc/12110/task/12142/stat : 12142 (plingeling) R 12108 12110 12014 0 -1 4202560 756 1250 0 0 186 1 0 0 18 0 33 0 707748219 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4253179 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12110/tid=12143] ppid=12108 vsize=799512 CPUtime=1.87 cores=0-31
/proc/12110/task/12143/stat : 12143 (plingeling) R 12108 12110 12014 0 -1 4202560 702 1250 0 0 186 1 0 0 20 0 33 0 707748219 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4353598 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12110/tid=12144] ppid=12108 vsize=799512 CPUtime=1.86 cores=0-31
/proc/12110/task/12144/stat : 12144 (plingeling) R 12108 12110 12014 0 -1 4202560 1252 1250 0 0 185 1 0 0 20 0 33 0 707748219 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4271614 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12110/tid=12145] ppid=12108 vsize=799512 CPUtime=1.88 cores=0-31
/proc/12110/task/12145/stat : 12145 (plingeling) R 12108 12110 12014 0 -1 4202560 689 1250 0 0 188 0 0 0 25 0 33 0 707748219 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4235295 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12110/tid=12146] ppid=12108 vsize=799512 CPUtime=1.86 cores=0-31
/proc/12110/task/12146/stat : 12146 (plingeling) R 12108 12110 12014 0 -1 4202560 1681 1250 0 0 185 1 0 0 25 0 33 0 707748219 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4253043 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12110/tid=12147] ppid=12108 vsize=799512 CPUtime=1.85 cores=0-31
/proc/12110/task/12147/stat : 12147 (plingeling) R 12108 12110 12014 0 -1 4202560 782 1250 0 0 185 0 0 0 21 0 33 0 707748219 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12110/tid=12148] ppid=12108 vsize=799512 CPUtime=1.82 cores=0-31
/proc/12110/task/12148/stat : 12148 (plingeling) R 12108 12110 12014 0 -1 4202560 794 1250 0 0 182 0 0 0 25 0 33 0 707748219 818700288 39578 268435456000 4194304 4417452 140736264467888 18446744073709551615 4253162 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 61.19
Current children cumulated vsize (KiB) 799512

[startup+6.30204 s]
/proc/loadavg: 29.04 30.88 31.59 33/446 12148
/proc/meminfo: memFree=255284228/264257624 swapFree=67111528/67111528
[pid=12110] ppid=12108 vsize=843716 CPUtime=163.47 cores=0-31
/proc/12110/stat : 12110 (plingeling) S 12108 12110 12014 0 -1 4202496 96389 1250 0 0 16290 57 0 0 19 0 33 0 707748100 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 31 0 0 0
/proc/12110/statm: 210929 51348 175 55 0 208815 0
[pid=12110/tid=12117] ppid=12108 vsize=843716 CPUtime=5.07 cores=0-31
/proc/12110/task/12117/stat : 12117 (plingeling) R 12108 12110 12014 0 -1 4202560 4189 1250 0 0 505 2 0 0 25 0 33 0 707748217 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4272899 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12110/tid=12118] ppid=12108 vsize=843716 CPUtime=5.07 cores=0-31
/proc/12110/task/12118/stat : 12118 (plingeling) R 12108 12110 12014 0 -1 4202560 2597 1250 0 0 505 2 0 0 25 0 33 0 707748217 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4273667 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12110/tid=12119] ppid=12108 vsize=843716 CPUtime=5.07 cores=0-31
/proc/12110/task/12119/stat : 12119 (plingeling) R 12108 12110 12014 0 -1 4202560 750 1250 0 0 506 1 0 0 25 0 33 0 707748217 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12110/tid=12120] ppid=12108 vsize=843716 CPUtime=5.07 cores=0-31
/proc/12110/task/12120/stat : 12120 (plingeling) R 12108 12110 12014 0 -1 4202560 1037 1250 0 0 507 0 0 0 25 0 33 0 707748217 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12110/tid=12121] ppid=12108 vsize=843716 CPUtime=5.07 cores=0-31
/proc/12110/task/12121/stat : 12121 (plingeling) R 12108 12110 12014 0 -1 4202560 1383 1250 0 0 506 1 0 0 25 0 33 0 707748217 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4253336 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12110/tid=12122] ppid=12108 vsize=843716 CPUtime=5.07 cores=0-31
/proc/12110/task/12122/stat : 12122 (plingeling) R 12108 12110 12014 0 -1 4202560 1868 1250 0 0 506 1 0 0 25 0 33 0 707748217 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12110/tid=12123] ppid=12108 vsize=843716 CPUtime=5.08 cores=0-31
/proc/12110/task/12123/stat : 12123 (plingeling) R 12108 12110 12014 0 -1 4202560 2758 1250 0 0 506 2 0 0 25 0 33 0 707748217 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4357719 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12110/tid=12124] ppid=12108 vsize=843716 CPUtime=5.08 cores=0-31
/proc/12110/task/12124/stat : 12124 (plingeling) R 12108 12110 12014 0 -1 4202560 988 1250 0 0 508 0 0 0 25 0 33 0 707748217 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4253228 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12110/tid=12125] ppid=12108 vsize=843716 CPUtime=5.08 cores=0-31
/proc/12110/task/12125/stat : 12125 (plingeling) R 12108 12110 12014 0 -1 4202560 1471 1250 0 0 507 1 0 0 25 0 33 0 707748217 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12110/tid=12126] ppid=12108 vsize=843716 CPUtime=5.08 cores=0-31
/proc/12110/task/12126/stat : 12126 (plingeling) R 12108 12110 12014 0 -1 4202560 1602 1250 0 0 507 1 0 0 25 0 33 0 707748218 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4275947 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12110/tid=12127] ppid=12108 vsize=843716 CPUtime=5.07 cores=0-31
/proc/12110/task/12127/stat : 12127 (plingeling) R 12108 12110 12014 0 -1 4202560 2951 1250 0 0 505 2 0 0 25 0 33 0 707748218 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12110/tid=12128] ppid=12108 vsize=843716 CPUtime=5.09 cores=0-31
/proc/12110/task/12128/stat : 12128 (plingeling) R 12108 12110 12014 0 -1 4202560 1220 1250 0 0 508 1 0 0 25 0 33 0 707748218 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4366017 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12110/tid=12129] ppid=12108 vsize=843716 CPUtime=5.08 cores=0-31
/proc/12110/task/12129/stat : 12129 (plingeling) R 12108 12110 12014 0 -1 4202560 1899 1250 0 0 507 1 0 0 25 0 33 0 707748218 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4252408 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12110/tid=12130] ppid=12108 vsize=843716 CPUtime=5.06 cores=0-31
/proc/12110/task/12130/stat : 12130 (plingeling) R 12108 12110 12014 0 -1 4202560 2273 1250 0 0 505 1 0 0 25 0 33 0 707748218 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4330445 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12110/tid=12131] ppid=12108 vsize=843716 CPUtime=5.07 cores=0-31
/proc/12110/task/12131/stat : 12131 (plingeling) R 12108 12110 12014 0 -1 4202560 2030 1250 0 0 505 2 0 0 25 0 33 0 707748218 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4365965 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12110/tid=12132] ppid=12108 vsize=843716 CPUtime=5.06 cores=0-31
/proc/12110/task/12132/stat : 12132 (plingeling) R 12108 12110 12014 0 -1 4202560 2150 1250 0 0 505 1 0 0 25 0 33 0 707748218 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4252349 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12110/tid=12133] ppid=12108 vsize=843716 CPUtime=5.06 cores=0-31
/proc/12110/task/12133/stat : 12133 (plingeling) R 12108 12110 12014 0 -1 4202560 2813 1250 0 0 505 1 0 0 25 0 33 0 707748218 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4272201 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12110/tid=12134] ppid=12108 vsize=843716 CPUtime=5.06 cores=0-31
/proc/12110/task/12134/stat : 12134 (plingeling) R 12108 12110 12014 0 -1 4202560 1311 1250 0 0 505 1 0 0 25 0 33 0 707748218 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4254810 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12110/tid=12135] ppid=12108 vsize=843716 CPUtime=5.06 cores=0-31
/proc/12110/task/12135/stat : 12135 (plingeling) R 12108 12110 12014 0 -1 4202560 2223 1250 0 0 505 1 0 0 25 0 33 0 707748218 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4236590 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12110/tid=12136] ppid=12108 vsize=843716 CPUtime=4.93 cores=0-31
/proc/12110/task/12136/stat : 12136 (plingeling) R 12108 12110 12014 0 -1 4202560 2995 1250 0 0 492 1 0 0 25 0 33 0 707748218 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4277897 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12110/tid=12137] ppid=12108 vsize=843716 CPUtime=5.06 cores=0-31
/proc/12110/task/12137/stat : 12137 (plingeling) R 12108 12110 12014 0 -1 4202560 1311 1250 0 0 505 1 0 0 25 0 33 0 707748218 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4253176 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12110/tid=12138] ppid=12108 vsize=843716 CPUtime=5.06 cores=0-31
/proc/12110/task/12138/stat : 12138 (plingeling) R 12108 12110 12014 0 -1 4202560 2117 1250 0 0 505 1 0 0 25 0 33 0 707748218 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4305841 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12110/tid=12139] ppid=12108 vsize=843716 CPUtime=5.06 cores=0-31
/proc/12110/task/12139/stat : 12139 (plingeling) R 12108 12110 12014 0 -1 4202560 1928 1250 0 0 505 1 0 0 25 0 33 0 707748218 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12110/tid=12140] ppid=12108 vsize=843716 CPUtime=5.07 cores=0-31
/proc/12110/task/12140/stat : 12140 (plingeling) R 12108 12110 12014 0 -1 4202560 3077 1250 0 0 506 1 0 0 25 0 33 0 707748218 863965184 51348 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364947 0 0 4096 17442 0 0 0 -1 0 0 0 0

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

/proc/12110/task/12142/stat : 12142 (plingeling) R 12108 12110 12014 0 -1 4202560 7295 1250 0 0 2892 7 0 0 25 0 33 0 707748219 1089839104 107408 268435456000 4194304 4417452 140736264467888 18446744073709551615 4306212 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12110/tid=12143] ppid=12108 vsize=1064296 CPUtime=28.99 cores=0-31
/proc/12110/task/12143/stat : 12143 (plingeling) R 12108 12110 12014 0 -1 4202560 9332 1250 0 0 2892 7 0 0 25 0 33 0 707748219 1089839104 107408 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12110/tid=12144] ppid=12108 vsize=1064296 CPUtime=29.04 cores=0-31
/proc/12110/task/12144/stat : 12144 (plingeling) R 12108 12110 12014 0 -1 4202560 6330 1250 0 0 2899 5 0 0 21 0 33 0 707748219 1089839104 107408 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12110/tid=12145] ppid=12108 vsize=1064296 CPUtime=29.06 cores=0-31
/proc/12110/task/12145/stat : 12145 (plingeling) R 12108 12110 12014 0 -1 4202560 7792 1250 0 0 2896 10 0 0 21 0 33 0 707748219 1089839104 107408 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12110/tid=12146] ppid=12108 vsize=1064296 CPUtime=29.03 cores=0-31
/proc/12110/task/12146/stat : 12146 (plingeling) R 12108 12110 12014 0 -1 4202560 11598 1250 0 0 2893 10 0 0 18 0 33 0 707748219 1089839104 107408 268435456000 4194304 4417452 140736264467888 18446744073709551615 4352333 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12110/tid=12147] ppid=12108 vsize=1064296 CPUtime=28.99 cores=0-31
/proc/12110/task/12147/stat : 12147 (plingeling) R 12108 12110 12014 0 -1 4202560 8034 1250 0 0 2889 10 0 0 25 0 33 0 707748219 1089839104 107408 268435456000 4194304 4417452 140736264467888 18446744073709551615 4366391 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12110/tid=12148] ppid=12108 vsize=1064296 CPUtime=29 cores=0-31
/proc/12110/task/12148/stat : 12148 (plingeling) R 12108 12110 12014 0 -1 4202560 5254 1250 0 0 2897 3 0 0 25 0 33 0 707748219 1089839104 107408 268435456000 4194304 4417452 140736264467888 18446744073709551615 4287359 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 929.6
Current children cumulated vsize (KiB) 1064296

[startup+31.1019 s]
/proc/loadavg: 30.11 30.98 31.60 33/446 12148
/proc/meminfo: memFree=255067468/264257624 swapFree=67111528/67111528
[pid=12110] ppid=12108 vsize=1066932 CPUtime=955.07 cores=0-31
/proc/12110/stat : 12110 (plingeling) S 12108 12110 12014 0 -1 4202496 279749 1250 0 0 95247 260 0 0 19 0 33 0 707748100 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 31 0 0 0
/proc/12110/statm: 266733 108067 175 55 0 264619 0
[pid=12110/tid=12117] ppid=12108 vsize=1066932 CPUtime=29.82 cores=0-31
/proc/12110/task/12117/stat : 12117 (plingeling) R 12108 12110 12014 0 -1 4202560 11501 1250 0 0 2973 9 0 0 19 0 33 0 707748217 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4232693 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12110/tid=12118] ppid=12108 vsize=1066932 CPUtime=29.84 cores=0-31
/proc/12110/task/12118/stat : 12118 (plingeling) R 12108 12110 12014 0 -1 4202560 9445 1250 0 0 2975 9 0 0 25 0 33 0 707748217 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364399 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12110/tid=12119] ppid=12108 vsize=1066932 CPUtime=29.86 cores=0-31
/proc/12110/task/12119/stat : 12119 (plingeling) R 12108 12110 12014 0 -1 4202560 6269 1250 0 0 2979 7 0 0 25 0 33 0 707748217 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364684 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12110/tid=12120] ppid=12108 vsize=1066932 CPUtime=29.81 cores=0-31
/proc/12110/task/12120/stat : 12120 (plingeling) R 12108 12110 12014 0 -1 4202560 6821 1250 0 0 2974 7 0 0 25 0 33 0 707748217 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4281649 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12110/tid=12121] ppid=12108 vsize=1066932 CPUtime=29.85 cores=0-31
/proc/12110/task/12121/stat : 12121 (plingeling) R 12108 12110 12014 0 -1 4202560 3861 1250 0 0 2979 6 0 0 25 0 33 0 707748217 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12110/tid=12122] ppid=12108 vsize=1066932 CPUtime=29.81 cores=0-31
/proc/12110/task/12122/stat : 12122 (plingeling) R 12108 12110 12014 0 -1 4202560 7918 1250 0 0 2973 8 0 0 25 0 33 0 707748217 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4252133 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12110/tid=12123] ppid=12108 vsize=1066932 CPUtime=29.85 cores=0-31
/proc/12110/task/12123/stat : 12123 (plingeling) R 12108 12110 12014 0 -1 4202560 6536 1250 0 0 2980 5 0 0 25 0 33 0 707748217 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4253198 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12110/tid=12124] ppid=12108 vsize=1066932 CPUtime=29.82 cores=0-31
/proc/12110/task/12124/stat : 12124 (plingeling) R 12108 12110 12014 0 -1 4202560 5869 1250 0 0 2976 6 0 0 25 0 33 0 707748217 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4357934 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12110/tid=12125] ppid=12108 vsize=1066932 CPUtime=29.84 cores=0-31
/proc/12110/task/12125/stat : 12125 (plingeling) R 12108 12110 12014 0 -1 4202560 6042 1250 0 0 2978 6 0 0 25 0 33 0 707748217 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12110/tid=12126] ppid=12108 vsize=1066932 CPUtime=29.85 cores=0-31
/proc/12110/task/12126/stat : 12126 (plingeling) R 12108 12110 12014 0 -1 4202560 7987 1250 0 0 2980 5 0 0 25 0 33 0 707748218 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4353504 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12110/tid=12127] ppid=12108 vsize=1066932 CPUtime=29.83 cores=0-31
/proc/12110/task/12127/stat : 12127 (plingeling) R 12108 12110 12014 0 -1 4202560 8960 1250 0 0 2973 10 0 0 25 0 33 0 707748218 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4352402 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12110/tid=12128] ppid=12108 vsize=1066932 CPUtime=29.75 cores=0-31
/proc/12110/task/12128/stat : 12128 (plingeling) R 12108 12110 12014 0 -1 4202560 9813 1250 0 0 2962 13 0 0 25 0 33 0 707748218 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12110/tid=12129] ppid=12108 vsize=1066932 CPUtime=29.85 cores=0-31
/proc/12110/task/12129/stat : 12129 (plingeling) R 12108 12110 12014 0 -1 4202560 7644 1250 0 0 2979 6 0 0 25 0 33 0 707748218 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364972 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12110/tid=12130] ppid=12108 vsize=1066932 CPUtime=29.85 cores=0-31
/proc/12110/task/12130/stat : 12130 (plingeling) R 12108 12110 12014 0 -1 4202560 6717 1250 0 0 2977 8 0 0 25 0 33 0 707748218 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 258650611899 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12110/tid=12131] ppid=12108 vsize=1066932 CPUtime=29.86 cores=0-31
/proc/12110/task/12131/stat : 12131 (plingeling) R 12108 12110 12014 0 -1 4202560 6468 1250 0 0 2978 8 0 0 25 0 33 0 707748218 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4357737 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12110/tid=12132] ppid=12108 vsize=1066932 CPUtime=29.83 cores=0-31
/proc/12110/task/12132/stat : 12132 (plingeling) R 12108 12110 12014 0 -1 4202560 9102 1250 0 0 2976 7 0 0 25 0 33 0 707748218 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12110/tid=12133] ppid=12108 vsize=1066932 CPUtime=29.81 cores=0-31
/proc/12110/task/12133/stat : 12133 (plingeling) R 12108 12110 12014 0 -1 4202560 10270 1250 0 0 2972 9 0 0 25 0 33 0 707748218 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4310180 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12110/tid=12134] ppid=12108 vsize=1066932 CPUtime=29.82 cores=0-31
/proc/12110/task/12134/stat : 12134 (plingeling) R 12108 12110 12014 0 -1 4202560 6801 1250 0 0 2970 12 0 0 25 0 33 0 707748218 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4250654 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12110/tid=12135] ppid=12108 vsize=1066932 CPUtime=29.82 cores=0-31
/proc/12110/task/12135/stat : 12135 (plingeling) R 12108 12110 12014 0 -1 4202560 6318 1250 0 0 2979 3 0 0 25 0 33 0 707748218 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12110/tid=12136] ppid=12108 vsize=1066932 CPUtime=28.99 cores=0-31
/proc/12110/task/12136/stat : 12136 (plingeling) R 12108 12110 12014 0 -1 4202560 6822 1250 0 0 2894 5 0 0 21 0 33 0 707748218 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12110/tid=12137] ppid=12108 vsize=1066932 CPUtime=29.84 cores=0-31
/proc/12110/task/12137/stat : 12137 (plingeling) R 12108 12110 12014 0 -1 4202560 5448 1250 0 0 2980 4 0 0 25 0 33 0 707748218 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12110/tid=12138] ppid=12108 vsize=1066932 CPUtime=29.86 cores=0-31
/proc/12110/task/12138/stat : 12138 (plingeling) R 12108 12110 12014 0 -1 4202560 6691 1250 0 0 2978 8 0 0 25 0 33 0 707748218 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4307697 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12110/tid=12139] ppid=12108 vsize=1066932 CPUtime=29.75 cores=0-31
/proc/12110/task/12139/stat : 12139 (plingeling) R 12108 12110 12014 0 -1 4202560 10234 1250 0 0 2964 11 0 0 25 0 33 0 707748218 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4309588 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12110/tid=12140] ppid=12108 vsize=1066932 CPUtime=29.84 cores=0-31
/proc/12110/task/12140/stat : 12140 (plingeling) R 12108 12110 12014 0 -1 4202560 7398 1250 0 0 2979 5 0 0 25 0 33 0 707748218 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4236866 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12110/tid=12141] ppid=12108 vsize=1066932 CPUtime=29.83 cores=0-31
/proc/12110/task/12141/stat : 12141 (plingeling) R 12108 12110 12014 0 -1 4202560 6200 1250 0 0 2980 3 0 0 19 0 33 0 707748219 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364500 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12110/tid=12142] ppid=12108 vsize=1066932 CPUtime=29.79 cores=0-31
/proc/12110/task/12142/stat : 12142 (plingeling) R 12108 12110 12014 0 -1 4202560 7295 1250 0 0 2972 7 0 0 25 0 33 0 707748219 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4346497 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12110/tid=12143] ppid=12108 vsize=1066932 CPUtime=29.79 cores=0-31
/proc/12110/task/12143/stat : 12143 (plingeling) R 12108 12110 12014 0 -1 4202560 9586 1250 0 0 2971 8 0 0 25 0 33 0 707748219 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12110/tid=12144] ppid=12108 vsize=1066932 CPUtime=29.84 cores=0-31
/proc/12110/task/12144/stat : 12144 (plingeling) R 12108 12110 12014 0 -1 4202560 6334 1250 0 0 2979 5 0 0 25 0 33 0 707748219 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12110/tid=12145] ppid=12108 vsize=1066932 CPUtime=29.85 cores=0-31
/proc/12110/task/12145/stat : 12145 (plingeling) R 12108 12110 12014 0 -1 4202560 7995 1250 0 0 2975 10 0 0 25 0 33 0 707748219 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12110/tid=12146] ppid=12108 vsize=1066932 CPUtime=29.83 cores=0-31
/proc/12110/task/12146/stat : 12146 (plingeling) R 12108 12110 12014 0 -1 4202560 11628 1250 0 0 2973 10 0 0 19 0 33 0 707748219 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12110/tid=12147] ppid=12108 vsize=1066932 CPUtime=29.77 cores=0-31
/proc/12110/task/12147/stat : 12147 (plingeling) R 12108 12110 12014 0 -1 4202560 8366 1250 0 0 2967 10 0 0 25 0 33 0 707748219 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12110/tid=12148] ppid=12108 vsize=1066932 CPUtime=29.79 cores=0-31
/proc/12110/task/12148/stat : 12148 (plingeling) R 12108 12110 12014 0 -1 4202560 5254 1250 0 0 2976 3 0 0 25 0 33 0 707748219 1092538368 108067 268435456000 4194304 4417452 140736264467888 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 955.07
Current children cumulated vsize (KiB) 1066932

[startup+31.5019 s]
/proc/loadavg: 30.11 30.98 31.60 33/446 12148
/proc/meminfo: memFree=255067468/264257624 swapFree=67111528/67111528
[pid=12110] ppid=12108 vsize=1053040 CPUtime=967.86 cores=0-31
/proc/12110/stat : 12110 (plingeling) S 12108 12110 12014 0 -1 4202496 283058 1250 0 0 96522 264 0 0 19 0 33 0 707748100 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 31 0 0 0
/proc/12110/statm: 263260 104176 175 55 0 261146 0
[pid=12110/tid=12117] ppid=12108 vsize=1053040 CPUtime=30.22 cores=0-31
/proc/12110/task/12117/stat : 12117 (plingeling) R 12108 12110 12014 0 -1 4202560 11501 1250 0 0 3013 9 0 0 20 0 33 0 707748217 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12110/tid=12118] ppid=12108 vsize=1053040 CPUtime=30.24 cores=0-31
/proc/12110/task/12118/stat : 12118 (plingeling) R 12108 12110 12014 0 -1 4202560 9628 1250 0 0 3015 9 0 0 25 0 33 0 707748217 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4308769 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12110/tid=12119] ppid=12108 vsize=1053040 CPUtime=30.26 cores=0-31
/proc/12110/task/12119/stat : 12119 (plingeling) R 12108 12110 12014 0 -1 4202560 6269 1250 0 0 3019 7 0 0 25 0 33 0 707748217 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4308631 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12110/tid=12120] ppid=12108 vsize=1053040 CPUtime=30.22 cores=0-31
/proc/12110/task/12120/stat : 12120 (plingeling) R 12108 12110 12014 0 -1 4202560 6931 1250 0 0 3014 8 0 0 25 0 33 0 707748217 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4236870 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12110/tid=12121] ppid=12108 vsize=1053040 CPUtime=30.25 cores=0-31
/proc/12110/task/12121/stat : 12121 (plingeling) R 12108 12110 12014 0 -1 4202560 3861 1250 0 0 3019 6 0 0 25 0 33 0 707748217 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12110/tid=12122] ppid=12108 vsize=1053040 CPUtime=30.21 cores=0-31
/proc/12110/task/12122/stat : 12122 (plingeling) R 12108 12110 12014 0 -1 4202560 7981 1250 0 0 3013 8 0 0 25 0 33 0 707748217 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12110/tid=12123] ppid=12108 vsize=1053040 CPUtime=30.25 cores=0-31
/proc/12110/task/12123/stat : 12123 (plingeling) R 12108 12110 12014 0 -1 4202560 6631 1250 0 0 3020 5 0 0 25 0 33 0 707748217 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12110/tid=12124] ppid=12108 vsize=1053040 CPUtime=30.22 cores=0-31
/proc/12110/task/12124/stat : 12124 (plingeling) R 12108 12110 12014 0 -1 4202560 5869 1250 0 0 3016 6 0 0 25 0 33 0 707748217 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12110/tid=12125] ppid=12108 vsize=1053040 CPUtime=30.24 cores=0-31
/proc/12110/task/12125/stat : 12125 (plingeling) R 12108 12110 12014 0 -1 4202560 6069 1250 0 0 3018 6 0 0 25 0 33 0 707748217 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12110/tid=12126] ppid=12108 vsize=1053040 CPUtime=30.25 cores=0-31
/proc/12110/task/12126/stat : 12126 (plingeling) R 12108 12110 12014 0 -1 4202560 7987 1250 0 0 3020 5 0 0 25 0 33 0 707748218 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4260686 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12110/tid=12127] ppid=12108 vsize=1053040 CPUtime=30.23 cores=0-31
/proc/12110/task/12127/stat : 12127 (plingeling) R 12108 12110 12014 0 -1 4202560 8960 1250 0 0 3013 10 0 0 25 0 33 0 707748218 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12110/tid=12128] ppid=12108 vsize=1053040 CPUtime=30.15 cores=0-31
/proc/12110/task/12128/stat : 12128 (plingeling) R 12108 12110 12014 0 -1 4202560 9813 1250 0 0 3002 13 0 0 25 0 33 0 707748218 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12110/tid=12129] ppid=12108 vsize=1053040 CPUtime=30.25 cores=0-31
/proc/12110/task/12129/stat : 12129 (plingeling) R 12108 12110 12014 0 -1 4202560 7787 1250 0 0 3019 6 0 0 25 0 33 0 707748218 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12110/tid=12130] ppid=12108 vsize=1053040 CPUtime=30.25 cores=0-31
/proc/12110/task/12130/stat : 12130 (plingeling) R 12108 12110 12014 0 -1 4202560 6717 1250 0 0 3017 8 0 0 25 0 33 0 707748218 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4302888 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12110/tid=12131] ppid=12108 vsize=1053040 CPUtime=30.26 cores=0-31
/proc/12110/task/12131/stat : 12131 (plingeling) R 12108 12110 12014 0 -1 4202560 6541 1250 0 0 3018 8 0 0 25 0 33 0 707748218 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4366657 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12110/tid=12132] ppid=12108 vsize=1053040 CPUtime=30.23 cores=0-31
/proc/12110/task/12132/stat : 12132 (plingeling) R 12108 12110 12014 0 -1 4202560 9102 1250 0 0 3016 7 0 0 25 0 33 0 707748218 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12110/tid=12133] ppid=12108 vsize=1053040 CPUtime=30.21 cores=0-31
/proc/12110/task/12133/stat : 12133 (plingeling) R 12108 12110 12014 0 -1 4202560 10270 1250 0 0 3012 9 0 0 25 0 33 0 707748218 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4308199 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12110/tid=12134] ppid=12108 vsize=1053040 CPUtime=30.22 cores=0-31
/proc/12110/task/12134/stat : 12134 (plingeling) R 12108 12110 12014 0 -1 4202560 6801 1250 0 0 3010 12 0 0 25 0 33 0 707748218 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4305855 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12110/tid=12135] ppid=12108 vsize=1053040 CPUtime=30.22 cores=0-31
/proc/12110/task/12135/stat : 12135 (plingeling) R 12108 12110 12014 0 -1 4202560 7342 1250 0 0 3016 6 0 0 25 0 33 0 707748218 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12110/tid=12136] ppid=12108 vsize=1053040 CPUtime=29.39 cores=0-31
/proc/12110/task/12136/stat : 12136 (plingeling) R 12108 12110 12014 0 -1 4202560 7080 1250 0 0 2934 5 0 0 22 0 33 0 707748218 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4310483 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12110/tid=12137] ppid=12108 vsize=1053040 CPUtime=30.24 cores=0-31
/proc/12110/task/12137/stat : 12137 (plingeling) R 12108 12110 12014 0 -1 4202560 5507 1250 0 0 3020 4 0 0 25 0 33 0 707748218 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12110/tid=12138] ppid=12108 vsize=1053040 CPUtime=30.26 cores=0-31
/proc/12110/task/12138/stat : 12138 (plingeling) R 12108 12110 12014 0 -1 4202560 6691 1250 0 0 3018 8 0 0 25 0 33 0 707748218 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4252734 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12110/tid=12139] ppid=12108 vsize=1053040 CPUtime=30.15 cores=0-31
/proc/12110/task/12139/stat : 12139 (plingeling) R 12108 12110 12014 0 -1 4202560 10234 1250 0 0 3004 11 0 0 25 0 33 0 707748218 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4308624 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12110/tid=12140] ppid=12108 vsize=1053040 CPUtime=30.25 cores=0-31
/proc/12110/task/12140/stat : 12140 (plingeling) R 12108 12110 12014 0 -1 4202560 7910 1250 0 0 3019 6 0 0 25 0 33 0 707748218 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4236613 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12110/tid=12141] ppid=12108 vsize=1053040 CPUtime=30.23 cores=0-31
/proc/12110/task/12141/stat : 12141 (plingeling) R 12108 12110 12014 0 -1 4202560 6282 1250 0 0 3020 3 0 0 19 0 33 0 707748219 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12110/tid=12142] ppid=12108 vsize=1053040 CPUtime=30.19 cores=0-31
/proc/12110/task/12142/stat : 12142 (plingeling) R 12108 12110 12014 0 -1 4202560 7335 1250 0 0 3012 7 0 0 25 0 33 0 707748219 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12110/tid=12143] ppid=12108 vsize=1053040 CPUtime=30.19 cores=0-31
/proc/12110/task/12143/stat : 12143 (plingeling) R 12108 12110 12014 0 -1 4202560 9754 1250 0 0 3011 8 0 0 25 0 33 0 707748219 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12110/tid=12144] ppid=12108 vsize=1053040 CPUtime=30.24 cores=0-31
/proc/12110/task/12144/stat : 12144 (plingeling) R 12108 12110 12014 0 -1 4202560 6334 1250 0 0 3019 5 0 0 25 0 33 0 707748219 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4259140 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12110/tid=12145] ppid=12108 vsize=1053040 CPUtime=30.25 cores=0-31
/proc/12110/task/12145/stat : 12145 (plingeling) R 12108 12110 12014 0 -1 4202560 7995 1250 0 0 3015 10 0 0 25 0 33 0 707748219 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4311399 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12110/tid=12146] ppid=12108 vsize=1053040 CPUtime=30.22 cores=0-31
/proc/12110/task/12146/stat : 12146 (plingeling) R 12108 12110 12014 0 -1 4202560 12045 1250 0 0 3012 10 0 0 20 0 33 0 707748219 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12110/tid=12147] ppid=12108 vsize=1053040 CPUtime=30.17 cores=0-31
/proc/12110/task/12147/stat : 12147 (plingeling) R 12108 12110 12014 0 -1 4202560 8366 1250 0 0 3007 10 0 0 25 0 33 0 707748219 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4312985 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12110/tid=12148] ppid=12108 vsize=1053040 CPUtime=30.19 cores=0-31
/proc/12110/task/12148/stat : 12148 (plingeling) R 12108 12110 12014 0 -1 4202560 5309 1250 0 0 3016 3 0 0 25 0 33 0 707748219 1078312960 104176 268435456000 4194304 4417452 140736264467888 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 967.86
Current children cumulated vsize (KiB) 1053040

[startup+31.701 s]
/proc/loadavg: 30.11 30.98 31.60 33/446 12148
/proc/meminfo: memFree=255067468/264257624 swapFree=67111528/67111528
[pid=12110] ppid=12108 vsize=665748 CPUtime=969.65 cores=0-31
/proc/12110/stat : 12110 (plingeling) R 12108 12110 12014 0 -1 4202496 283117 1250 0 0 96700 265 0 0 16 0 1 0 707748100 681725952 80977 268435456000 4194304 4417452 140736264467888 18446744073709551615 258650613570 0 0 4096 0 0 0 0 17 31 0 0 0
/proc/12110/statm: 166437 80977 176 55 0 164323 0
Current children cumulated CPU time (s) 969.65
Current children cumulated vsize (KiB) 665748

Child status: 20
Real time (s): 31.7332
CPU time (s): 969.706
CPU user time (s): 967.009
CPU system time (s): 2.69659
CPU usage (%): 3055.8
Max. virtual memory (cumulated for all children) (KiB): 1066932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 967.009
system time used= 2.69659
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284371
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= 5091
involuntary context switches= 2314

runsolver used 0.19497 second user time and 0.735888 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-21 09:23:37
IDJOB=3372693
IDBENCH=83118
IDSOLVER=1852
FILE ID=node200/3372693-1305962617
RUNJOBID= node200-1305962511-12028
PBS_JOBID= 13387787
Free space on /tmp= 62044 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom12.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372693-1305962617/watcher-3372693-1305962617 -o /tmp/evaluation-result-3372693-1305962617/solver-3372693-1305962617 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372693-1305962617.cnf

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

MD5SUM BENCH= f0a59aeb3af8016fb8ec53aa337c4836
RANDOM SEED=934551145

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.049
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.049
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.07
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.049
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.049
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.049
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.17
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.049
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.08
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.049
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.06
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.049
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.08
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.049
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	: 3990.04
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.049
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.09
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.049
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.049
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.02
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.049
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.17
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.049
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.09
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.049
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	: 3989.98
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.049
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.06
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.049
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.04
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.049
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.049
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.09
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.049
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	: 3990.09
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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.06
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.049
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.09
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.049
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.049
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.09
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.049
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.05
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.049
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.09
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.049
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.05
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.049
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:      255505800 kB
Buffers:        453540 kB
Cached:        7896724 kB
SwapCached:          0 kB
Active:        7412300 kB
Inactive:      1007312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255505800 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             764 kB
Writeback:           0 kB
AnonPages:       68416 kB
Mapped:          14448 kB
Slab:           252372 kB
PageTables:       3796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   178332 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= 62044 MiB
End job on node200 at 2011-05-21 09:24:09