Trace number 3372507

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 775.062 28.0136

General information on the benchmark

Nameapplication/jarvisalo/
AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf
MD5SUMac372f51471a04bbb3fb9a678284c6a4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark258.426
Satisfiable
(Un)Satisfiability was proved
Number of variables29317
Number of clauses277090
Sum of the clauses size598882
Maximum clause length179
Minimum clause length1
Number of clauses of size 1144
Number of clauses of size 2264085
Number of clauses of size 38078
Number of clauses of size 41144
Number of clauses of size 5453
Number of clauses of size over 53186

Solver Data 

775.03/28.00	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-3372507-1305674149/watcher-3372507-1305674149 -o /tmp/evaluation-result-3372507-1305674149/solver-3372507-1305674149 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372507-1305674149.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: 16.55 18.60 22.50 1/413 27402
/proc/meminfo: memFree=255520076/264257624 swapFree=67111528/67111528
[pid=27402] ppid=27400 vsize=26468 CPUtime=0.02 cores=0-31
/proc/27402/stat : 27402 (plingeling) R 27400 27402 27306 0 -1 4202496 4690 1247 0 0 1 1 0 0 21 0 1 0 678901358 27103232 4620 268435456000 4194304 4417452 140736433840512 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27402/statm: 6617 4620 144 55 0 4503 0

[startup+0.125455 s]
/proc/loadavg: 16.55 18.60 22.50 1/413 27402
/proc/meminfo: memFree=255520076/264257624 swapFree=67111528/67111528
[pid=27402] ppid=27400 vsize=31600 CPUtime=0.11 cores=0-31
/proc/27402/stat : 27402 (plingeling) R 27400 27402 27306 0 -1 4202496 5980 1247 0 0 10 1 0 0 21 0 1 0 678901358 32358400 5910 268435456000 4194304 4417452 140736433840512 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27402/statm: 7900 5910 144 55 0 5786 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 31600

[startup+0.200468 s]
/proc/loadavg: 16.55 18.60 22.50 1/413 27402
/proc/meminfo: memFree=255520076/264257624 swapFree=67111528/67111528
[pid=27402] ppid=27400 vsize=37720 CPUtime=0.18 cores=0-31
/proc/27402/stat : 27402 (plingeling) R 27400 27402 27306 0 -1 4202496 7496 1247 0 0 17 1 0 0 21 0 1 0 678901358 38625280 7426 268435456000 4194304 4417452 140736433840512 18446744073709551615 4235981 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27402/statm: 9430 7426 144 55 0 7316 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 37720

[startup+0.300464 s]
/proc/loadavg: 16.55 18.60 22.50 1/413 27402
/proc/meminfo: memFree=255520076/264257624 swapFree=67111528/67111528
[pid=27402] ppid=27400 vsize=49164 CPUtime=0.28 cores=0-31
/proc/27402/stat : 27402 (plingeling) R 27400 27402 27306 0 -1 4202496 10382 1247 0 0 26 2 0 0 22 0 1 0 678901358 50343936 10312 268435456000 4194304 4417452 140736433840512 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27402/statm: 12291 10312 145 55 0 10177 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 49164

[startup+0.700508 s]
/proc/loadavg: 16.55 18.60 22.50 1/413 27402
/proc/meminfo: memFree=255520076/264257624 swapFree=67111528/67111528
[pid=27402] ppid=27400 vsize=74136 CPUtime=0.69 cores=0-31
/proc/27402/stat : 27402 (plingeling) R 27400 27402 27306 0 -1 4202496 16610 1247 0 0 65 4 0 0 23 0 1 0 678901358 75915264 16540 268435456000 4194304 4417452 140736433840512 18446744073709551615 4235973 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27402/statm: 18534 16540 146 55 0 16420 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74136

[startup+1.50052 s]
/proc/loadavg: 16.55 18.60 22.50 2/414 27408
/proc/meminfo: memFree=255400508/264257624 swapFree=67111528/67111528
[pid=27402] ppid=27400 vsize=157188 CPUtime=1.48 cores=0-31
/proc/27402/stat : 27402 (plingeling) R 27400 27402 27306 0 -1 4202496 37205 1247 0 0 141 7 0 0 25 0 1 0 678901358 160960512 37102 268435456000 4194304 4417452 140736433840512 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27402/statm: 39297 37119 146 55 0 37183 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 157188

[startup+3.10058 s]
/proc/loadavg: 16.55 18.60 22.50 2/414 27408
/proc/meminfo: memFree=255365776/264257624 swapFree=67111528/67111528
[pid=27402] ppid=27400 vsize=225800 CPUtime=3.09 cores=0-31
/proc/27402/stat : 27402 (plingeling) R 27400 27402 27306 0 -1 4202496 54575 1247 0 0 298 11 0 0 25 0 1 0 678901358 231219200 54472 268435456000 4194304 4417452 140736433840512 18446744073709551615 4260137 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27402/statm: 56450 54472 146 55 0 54336 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 225800

[startup+6.30157 s]
/proc/loadavg: 15.31 18.31 22.38 33/446 27440
/proc/meminfo: memFree=255201628/264257624 swapFree=67111528/67111528
[pid=27402] ppid=27400 vsize=998776 CPUtime=88.49 cores=0-31
/proc/27402/stat : 27402 (plingeling) S 27400 27402 27306 0 -1 4202496 150255 1247 0 0 8748 101 0 0 18 0 33 0 678901358 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/27402/statm: 249694 92707 174 55 0 247580 0
[pid=27402/tid=27409] ppid=27400 vsize=998776 CPUtime=2.6 cores=0-31
/proc/27402/task/27409/stat : 27409 (plingeling) R 27400 27402 27306 0 -1 4202560 2184 1247 0 0 259 1 0 0 21 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4275670 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27402/tid=27410] ppid=27400 vsize=998776 CPUtime=2.69 cores=0-31
/proc/27402/task/27410/stat : 27410 (plingeling) R 27400 27402 27306 0 -1 4202560 2894 1247 0 0 266 3 0 0 22 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4275960 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27402/tid=27411] ppid=27400 vsize=998776 CPUtime=2.71 cores=0-31
/proc/27402/task/27411/stat : 27411 (plingeling) R 27400 27402 27306 0 -1 4202560 1240 1247 0 0 271 0 0 0 22 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4346468 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27402/tid=27412] ppid=27400 vsize=998776 CPUtime=2.75 cores=0-31
/proc/27402/task/27412/stat : 27412 (plingeling) R 27400 27402 27306 0 -1 4202560 644 1247 0 0 275 0 0 0 23 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4236732 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27402/tid=27413] ppid=27400 vsize=998776 CPUtime=2.61 cores=0-31
/proc/27402/task/27413/stat : 27413 (plingeling) R 27400 27402 27306 0 -1 4202560 3114 1247 0 0 258 3 0 0 21 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4236607 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27402/tid=27414] ppid=27400 vsize=998776 CPUtime=2.6 cores=0-31
/proc/27402/task/27414/stat : 27414 (plingeling) R 27400 27402 27306 0 -1 4202560 3994 1247 0 0 257 3 0 0 25 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4236689 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27402/tid=27415] ppid=27400 vsize=998776 CPUtime=2.64 cores=0-31
/proc/27402/task/27415/stat : 27415 (plingeling) R 27400 27402 27306 0 -1 4202560 5394 1247 0 0 261 3 0 0 25 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4260776 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27402/tid=27416] ppid=27400 vsize=998776 CPUtime=2.62 cores=0-31
/proc/27402/task/27416/stat : 27416 (plingeling) R 27400 27402 27306 0 -1 4202560 1652 1247 0 0 262 0 0 0 25 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4275939 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27402/tid=27417] ppid=27400 vsize=998776 CPUtime=2.57 cores=0-31
/proc/27402/task/27417/stat : 27417 (plingeling) R 27400 27402 27306 0 -1 4202560 4412 1247 0 0 254 3 0 0 25 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4265832 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27402/tid=27418] ppid=27400 vsize=998776 CPUtime=2.5 cores=0-31
/proc/27402/task/27418/stat : 27418 (plingeling) R 27400 27402 27306 0 -1 4202560 1774 1247 0 0 247 3 0 0 25 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4234304 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27402/tid=27419] ppid=27400 vsize=998776 CPUtime=2.7 cores=0-31
/proc/27402/task/27419/stat : 27419 (plingeling) R 27400 27402 27306 0 -1 4202560 1721 1247 0 0 270 0 0 0 22 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4254964 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27402/tid=27420] ppid=27400 vsize=998776 CPUtime=2.67 cores=0-31
/proc/27402/task/27420/stat : 27420 (plingeling) R 27400 27402 27306 0 -1 4202560 4934 1247 0 0 262 5 0 0 18 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4270966 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27402/tid=27421] ppid=27400 vsize=998776 CPUtime=2.62 cores=0-31
/proc/27402/task/27421/stat : 27421 (plingeling) R 27400 27402 27306 0 -1 4202560 3738 1247 0 0 261 1 0 0 25 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4327038 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27402/tid=27422] ppid=27400 vsize=998776 CPUtime=2.63 cores=0-31
/proc/27402/task/27422/stat : 27422 (plingeling) R 27400 27402 27306 0 -1 4202560 2140 1247 0 0 260 3 0 0 21 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27402/tid=27423] ppid=27400 vsize=998776 CPUtime=2.72 cores=0-31
/proc/27402/task/27423/stat : 27423 (plingeling) R 27400 27402 27306 0 -1 4202560 3010 1247 0 0 271 1 0 0 22 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4346473 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27402/tid=27424] ppid=27400 vsize=998776 CPUtime=2.57 cores=0-31
/proc/27402/task/27424/stat : 27424 (plingeling) R 27400 27402 27306 0 -1 4202560 2428 1247 0 0 256 1 0 0 21 0 33 0 678901710 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27402/tid=27425] ppid=27400 vsize=998776 CPUtime=2.68 cores=0-31
/proc/27402/task/27425/stat : 27425 (plingeling) R 27400 27402 27306 0 -1 4202560 4153 1247 0 0 266 2 0 0 21 0 33 0 678901711 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4346258 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27402/tid=27426] ppid=27400 vsize=998776 CPUtime=2.61 cores=0-31
/proc/27402/task/27426/stat : 27426 (plingeling) R 27400 27402 27306 0 -1 4202560 4766 1247 0 0 256 5 0 0 21 0 33 0 678901712 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4277495 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27402/tid=27427] ppid=27400 vsize=998776 CPUtime=2.72 cores=0-31
/proc/27402/task/27427/stat : 27427 (plingeling) R 27400 27402 27306 0 -1 4202560 3506 1247 0 0 270 2 0 0 22 0 33 0 678901712 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4346453 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27402/tid=27428] ppid=27400 vsize=998776 CPUtime=2.61 cores=0-31
/proc/27402/task/27428/stat : 27428 (plingeling) R 27400 27402 27306 0 -1 4202560 2763 1247 0 0 257 4 0 0 25 0 33 0 678901712 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27402/tid=27429] ppid=27400 vsize=998776 CPUtime=2.66 cores=0-31
/proc/27402/task/27429/stat : 27429 (plingeling) R 27400 27402 27306 0 -1 4202560 2882 1247 0 0 262 4 0 0 21 0 33 0 678901712 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4264232 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27402/tid=27430] ppid=27400 vsize=998776 CPUtime=2.64 cores=0-31
/proc/27402/task/27430/stat : 27430 (plingeling) R 27400 27402 27306 0 -1 4202560 2534 1247 0 0 259 5 0 0 21 0 33 0 678901712 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27402/tid=27431] ppid=27400 vsize=998776 CPUtime=2.72 cores=0-31
/proc/27402/task/27431/stat : 27431 (plingeling) R 27400 27402 27306 0 -1 4202560 3361 1247 0 0 270 2 0 0 22 0 33 0 678901712 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4346306 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27402/tid=27432] ppid=27400 vsize=998776 CPUtime=2.61 cores=0-31
/proc/27402/task/27432/stat : 27432 (plingeling) R 27400 27402 27306 0 -1 4202560 2129 1247 0 0 260 1 0 0 25 0 33 0 678901712 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4279011 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27402/tid=27433] ppid=27400 vsize=998776 CPUtime=2.61 cores=0-31
/proc/27402/task/27433/stat : 27433 (plingeling) R 27400 27402 27306 0 -1 4202560 2438 1247 0 0 259 2 0 0 25 0 33 0 678901712 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27402/tid=27434] ppid=27400 vsize=998776 CPUtime=2.61 cores=0-31
/proc/27402/task/27434/stat : 27434 (plingeling) R 27400 27402 27306 0 -1 4202560 3038 1247 0 0 256 5 0 0 21 0 33 0 678901712 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27402/tid=27435] ppid=27400 vsize=998776 CPUtime=2.72 cores=0-31
/proc/27402/task/27435/stat : 27435 (plingeling) R 27400 27402 27306 0 -1 4202560 1161 1247 0 0 271 1 0 0 18 0 33 0 678901712 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4346453 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27402/tid=27436] ppid=27400 vsize=998776 CPUtime=2.65 cores=0-31
/proc/27402/task/27436/stat : 27436 (plingeling) R 27400 27402 27306 0 -1 4202560 2447 1247 0 0 262 3 0 0 25 0 33 0 678901712 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4275615 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27402/tid=27437] ppid=27400 vsize=998776 CPUtime=2.61 cores=0-31
/proc/27402/task/27437/stat : 27437 (plingeling) R 27400 27402 27306 0 -1 4202560 5091 1247 0 0 258 3 0 0 25 0 33 0 678901712 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4234264 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27402/tid=27438] ppid=27400 vsize=998776 CPUtime=2.67 cores=0-31
/proc/27402/task/27438/stat : 27438 (plingeling) R 27400 27402 27306 0 -1 4202560 2536 1247 0 0 264 3 0 0 25 0 33 0 678901712 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4277540 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27402/tid=27439] ppid=27400 vsize=998776 CPUtime=2.7 cores=0-31
/proc/27402/task/27439/stat : 27439 (plingeling) R 27400 27402 27306 0 -1 4202560 1379 1247 0 0 270 0 0 0 22 0 33 0 678901713 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4287412 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27402/tid=27440] ppid=27400 vsize=998776 CPUtime=2.63 cores=0-31
/proc/27402/task/27440/stat : 27440 (plingeling) R 27400 27402 27306 0 -1 4202560 6183 1247 0 0 261 2 0 0 25 0 33 0 678901713 1022746624 92707 268435456000 4194304 4417452 140736433840512 18446744073709551615 4346298 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 88.49
Current children cumulated vsize (KiB) 998776

[startup+12.7018 s]
/proc/loadavg: 16.64 18.53 22.43 33/446 27442
/proc/meminfo: memFree=254985100/264257624 swapFree=67111528/67111528
[pid=27402] ppid=27400 vsize=1109988 CPUtime=292.89 cores=0-31
/proc/27402/stat : 27402 (plingeling) S 27400 27402 27306 0 -1 4202496 225964 1247 0 0 29145 144 0 0 18 0 33 0 678901358 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/27402/statm: 277497 131186 175 55 0 275383 0
[pid=27402/tid=27409] ppid=27400 vsize=1109988 CPUtime=8.98 cores=0-31
/proc/27402/task/27409/stat : 27409 (plingeling) R 27400 27402 27306 0 -1 4202560 3154 1247 0 0 896 2 0 0 25 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4248890 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27402/tid=27410] ppid=27400 vsize=1109988 CPUtime=9.09 cores=0-31
/proc/27402/task/27410/stat : 27410 (plingeling) R 27400 27402 27306 0 -1 4202560 4800 1247 0 0 904 5 0 0 25 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4248225 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27402/tid=27411] ppid=27400 vsize=1109988 CPUtime=9.12 cores=0-31
/proc/27402/task/27411/stat : 27411 (plingeling) R 27400 27402 27306 0 -1 4202560 2551 1247 0 0 911 1 0 0 25 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4249601 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27402/tid=27412] ppid=27400 vsize=1109988 CPUtime=9.15 cores=0-31
/proc/27402/task/27412/stat : 27412 (plingeling) R 27400 27402 27306 0 -1 4202560 2626 1247 0 0 914 1 0 0 25 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27402/tid=27413] ppid=27400 vsize=1109988 CPUtime=8.84 cores=0-31
/proc/27402/task/27413/stat : 27413 (plingeling) R 27400 27402 27306 0 -1 4202560 8678 1247 0 0 879 5 0 0 25 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27402/tid=27414] ppid=27400 vsize=1109988 CPUtime=8.99 cores=0-31
/proc/27402/task/27414/stat : 27414 (plingeling) R 27400 27402 27306 0 -1 4202560 4708 1247 0 0 896 3 0 0 25 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258488 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27402/tid=27415] ppid=27400 vsize=1109988 CPUtime=9.03 cores=0-31
/proc/27402/task/27415/stat : 27415 (plingeling) R 27400 27402 27306 0 -1 4202560 7117 1247 0 0 900 3 0 0 25 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4377131 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27402/tid=27416] ppid=27400 vsize=1109988 CPUtime=9.02 cores=0-31
/proc/27402/task/27416/stat : 27416 (plingeling) R 27400 27402 27306 0 -1 4202560 4323 1247 0 0 901 1 0 0 25 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4235968 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27402/tid=27417] ppid=27400 vsize=1109988 CPUtime=8.97 cores=0-31
/proc/27402/task/27417/stat : 27417 (plingeling) R 27400 27402 27306 0 -1 4202560 6335 1247 0 0 891 6 0 0 22 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258267 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27402/tid=27418] ppid=27400 vsize=1109988 CPUtime=8.9 cores=0-31
/proc/27402/task/27418/stat : 27418 (plingeling) R 27400 27402 27306 0 -1 4202560 2951 1247 0 0 885 5 0 0 25 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4249522 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27402/tid=27419] ppid=27400 vsize=1109988 CPUtime=9.1 cores=0-31
/proc/27402/task/27419/stat : 27419 (plingeling) R 27400 27402 27306 0 -1 4202560 2470 1247 0 0 909 1 0 0 25 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4378193 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27402/tid=27420] ppid=27400 vsize=1109988 CPUtime=9.05 cores=0-31
/proc/27402/task/27420/stat : 27420 (plingeling) R 27400 27402 27306 0 -1 4202560 6441 1247 0 0 899 6 0 0 25 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258229 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27402/tid=27421] ppid=27400 vsize=1109988 CPUtime=9.01 cores=0-31
/proc/27402/task/27421/stat : 27421 (plingeling) R 27400 27402 27306 0 -1 4202560 5074 1247 0 0 898 3 0 0 25 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258654 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27402/tid=27422] ppid=27400 vsize=1109988 CPUtime=9 cores=0-31
/proc/27402/task/27422/stat : 27422 (plingeling) R 27400 27402 27306 0 -1 4202560 4527 1247 0 0 896 4 0 0 25 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4230528 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27402/tid=27423] ppid=27400 vsize=1109988 CPUtime=9.12 cores=0-31
/proc/27402/task/27423/stat : 27423 (plingeling) R 27400 27402 27306 0 -1 4202560 3808 1247 0 0 911 1 0 0 25 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4376961 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27402/tid=27424] ppid=27400 vsize=1109988 CPUtime=8.95 cores=0-31
/proc/27402/task/27424/stat : 27424 (plingeling) R 27400 27402 27306 0 -1 4202560 5809 1247 0 0 892 3 0 0 25 0 33 0 678901710 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4235999 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27402/tid=27425] ppid=27400 vsize=1109988 CPUtime=9.07 cores=0-31
/proc/27402/task/27425/stat : 27425 (plingeling) R 27400 27402 27306 0 -1 4202560 5549 1247 0 0 905 2 0 0 25 0 33 0 678901711 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4337136 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27402/tid=27426] ppid=27400 vsize=1109988 CPUtime=9.01 cores=0-31
/proc/27402/task/27426/stat : 27426 (plingeling) R 27400 27402 27306 0 -1 4202560 8769 1247 0 0 893 8 0 0 25 0 33 0 678901712 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4249991 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27402/tid=27427] ppid=27400 vsize=1109988 CPUtime=9.13 cores=0-31
/proc/27402/task/27427/stat : 27427 (plingeling) R 27400 27402 27306 0 -1 4202560 4255 1247 0 0 909 4 0 0 25 0 33 0 678901712 1136627712 131186 268435456000 4194304 4417452 140736433840512 18446744073709551615 4378160 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27402/tid=27428] ppid=27400 vsize=1109988 CPUtime=8.99 cores=0-31

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

/proc/27402/task/27434/stat : 27434 (plingeling) R 27400 27402 27306 0 -1 4202560 10793 1247 0 0 2170 14 0 0 25 0 33 0 678901712 1483681792 225132 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258469 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27402/tid=27435] ppid=27400 vsize=1448908 CPUtime=22.01 cores=0-31
/proc/27402/task/27435/stat : 27435 (plingeling) R 27400 27402 27306 0 -1 4202560 2709 1247 0 0 2198 3 0 0 25 0 33 0 678901712 1483681792 225132 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258161 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27402/tid=27436] ppid=27400 vsize=1448908 CPUtime=21.89 cores=0-31
/proc/27402/task/27436/stat : 27436 (plingeling) R 27400 27402 27306 0 -1 4202560 12843 1247 0 0 2177 12 0 0 25 0 33 0 678901712 1483681792 225132 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258604 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27402/tid=27437] ppid=27400 vsize=1448908 CPUtime=21.7 cores=0-31
/proc/27402/task/27437/stat : 27437 (plingeling) R 27400 27402 27306 0 -1 4202560 9709 1247 0 0 2158 12 0 0 25 0 33 0 678901712 1483681792 225132 268435456000 4194304 4417452 140736433840512 18446744073709551615 4250003 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27402/tid=27438] ppid=27400 vsize=1448908 CPUtime=21.75 cores=0-31
/proc/27402/task/27438/stat : 27438 (plingeling) R 27400 27402 27306 0 -1 4202560 10800 1247 0 0 2166 9 0 0 25 0 33 0 678901712 1483681792 225132 268435456000 4194304 4417452 140736433840512 18446744073709551615 4336683 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27402/tid=27439] ppid=27400 vsize=1448908 CPUtime=21.99 cores=0-31
/proc/27402/task/27439/stat : 27439 (plingeling) R 27400 27402 27306 0 -1 4202560 3665 1247 0 0 2195 4 0 0 25 0 33 0 678901713 1483681792 225132 268435456000 4194304 4417452 140736433840512 18446744073709551615 4377275 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27402/tid=27440] ppid=27400 vsize=1448908 CPUtime=21.87 cores=0-31
/proc/27402/task/27440/stat : 27440 (plingeling) R 27400 27402 27306 0 -1 4202560 13282 1247 0 0 2184 3 0 0 25 0 33 0 678901713 1483681792 225132 268435456000 4194304 4417452 140736433840512 18446744073709551615 4235398 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 703.75
Current children cumulated vsize (KiB) 1448908

[startup+27.2013 s]
/proc/loadavg: 20.12 19.21 22.59 33/446 27442
/proc/meminfo: memFree=254557632/264257624 swapFree=67111528/67111528
[pid=27402] ppid=27400 vsize=1514468 CPUtime=754.87 cores=0-31
/proc/27402/stat : 27402 (plingeling) S 27400 27402 27306 0 -1 4202496 339344 1247 0 0 75224 263 0 0 18 0 33 0 678901358 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/27402/statm: 378617 237010 175 55 0 376503 0
[pid=27402/tid=27409] ppid=27400 vsize=1514468 CPUtime=23.35 cores=0-31
/proc/27402/task/27409/stat : 27409 (plingeling) R 27400 27402 27306 0 -1 4202560 5419 1247 0 0 2330 5 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258401 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27402/tid=27410] ppid=27400 vsize=1514468 CPUtime=23.34 cores=0-31
/proc/27402/task/27410/stat : 27410 (plingeling) R 27400 27402 27306 0 -1 4202560 10162 1247 0 0 2322 12 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4248897 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27402/tid=27411] ppid=27400 vsize=1514468 CPUtime=23.61 cores=0-31
/proc/27402/task/27411/stat : 27411 (plingeling) R 27400 27402 27306 0 -1 4202560 2551 1247 0 0 2360 1 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4377394 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27402/tid=27412] ppid=27400 vsize=1514468 CPUtime=23.65 cores=0-31
/proc/27402/task/27412/stat : 27412 (plingeling) R 27400 27402 27306 0 -1 4202560 2626 1247 0 0 2364 1 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27402/tid=27413] ppid=27400 vsize=1514468 CPUtime=23.26 cores=0-31
/proc/27402/task/27413/stat : 27413 (plingeling) R 27400 27402 27306 0 -1 4202560 11969 1247 0 0 2315 11 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4249943 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27402/tid=27414] ppid=27400 vsize=1514468 CPUtime=23.48 cores=0-31
/proc/27402/task/27414/stat : 27414 (plingeling) R 27400 27402 27306 0 -1 4202560 9022 1247 0 0 2344 4 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4236267 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27402/tid=27415] ppid=27400 vsize=1514468 CPUtime=23.52 cores=0-31
/proc/27402/task/27415/stat : 27415 (plingeling) R 27400 27402 27306 0 -1 4202560 9739 1247 0 0 2349 3 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4376691 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27402/tid=27416] ppid=27400 vsize=1514468 CPUtime=23.52 cores=0-31
/proc/27402/task/27416/stat : 27416 (plingeling) R 27400 27402 27306 0 -1 4202560 10459 1247 0 0 2350 2 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4236255 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27402/tid=27417] ppid=27400 vsize=1514468 CPUtime=23.47 cores=0-31
/proc/27402/task/27417/stat : 27417 (plingeling) R 27400 27402 27306 0 -1 4202560 11752 1247 0 0 2334 13 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27402/tid=27418] ppid=27400 vsize=1514468 CPUtime=23.32 cores=0-31
/proc/27402/task/27418/stat : 27418 (plingeling) R 27400 27402 27306 0 -1 4202560 5295 1247 0 0 2321 11 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4236280 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27402/tid=27419] ppid=27400 vsize=1514468 CPUtime=23.6 cores=0-31
/proc/27402/task/27419/stat : 27419 (plingeling) R 27400 27402 27306 0 -1 4202560 3269 1247 0 0 2359 1 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4336723 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27402/tid=27420] ppid=27400 vsize=1514468 CPUtime=23.53 cores=0-31
/proc/27402/task/27420/stat : 27420 (plingeling) R 27400 27402 27306 0 -1 4202560 8784 1247 0 0 2341 12 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4249512 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27402/tid=27421] ppid=27400 vsize=1514468 CPUtime=23.51 cores=0-31
/proc/27402/task/27421/stat : 27421 (plingeling) R 27400 27402 27306 0 -1 4202560 10437 1247 0 0 2345 6 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4248212 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27402/tid=27422] ppid=27400 vsize=1514468 CPUtime=23.51 cores=0-31
/proc/27402/task/27422/stat : 27422 (plingeling) R 27400 27402 27306 0 -1 4202560 8840 1247 0 0 2340 11 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4337218 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27402/tid=27423] ppid=27400 vsize=1514468 CPUtime=23.61 cores=0-31
/proc/27402/task/27423/stat : 27423 (plingeling) R 27400 27402 27306 0 -1 4202560 5406 1247 0 0 2360 1 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4376691 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27402/tid=27424] ppid=27400 vsize=1514468 CPUtime=23.38 cores=0-31
/proc/27402/task/27424/stat : 27424 (plingeling) R 27400 27402 27306 0 -1 4202560 10118 1247 0 0 2328 10 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4248242 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27402/tid=27425] ppid=27400 vsize=1514468 CPUtime=23.49 cores=0-31
/proc/27402/task/27425/stat : 27425 (plingeling) R 27400 27402 27306 0 -1 4202560 11747 1247 0 0 2345 4 0 0 25 0 33 0 678901711 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258491 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27402/tid=27426] ppid=27400 vsize=1514468 CPUtime=23.3 cores=0-31
/proc/27402/task/27426/stat : 27426 (plingeling) R 27400 27402 27306 0 -1 4202560 12056 1247 0 0 2320 10 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4336723 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27402/tid=27427] ppid=27400 vsize=1514468 CPUtime=23.62 cores=0-31
/proc/27402/task/27427/stat : 27427 (plingeling) R 27400 27402 27306 0 -1 4202560 5566 1247 0 0 2356 6 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4236331 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27402/tid=27428] ppid=27400 vsize=1514468 CPUtime=23.45 cores=0-31
/proc/27402/task/27428/stat : 27428 (plingeling) R 27400 27402 27306 0 -1 4202560 6460 1247 0 0 2338 7 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258472 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27402/tid=27429] ppid=27400 vsize=1514468 CPUtime=23.48 cores=0-31
/proc/27402/task/27429/stat : 27429 (plingeling) R 27400 27402 27306 0 -1 4202560 13839 1247 0 0 2334 14 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258472 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27402/tid=27430] ppid=27400 vsize=1514468 CPUtime=23.53 cores=0-31
/proc/27402/task/27430/stat : 27430 (plingeling) R 27400 27402 27306 0 -1 4202560 11235 1247 0 0 2341 12 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258445 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27402/tid=27431] ppid=27400 vsize=1514468 CPUtime=23.61 cores=0-31
/proc/27402/task/27431/stat : 27431 (plingeling) R 27400 27402 27306 0 -1 4202560 4959 1247 0 0 2359 2 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4249563 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27402/tid=27432] ppid=27400 vsize=1514468 CPUtime=23.41 cores=0-31
/proc/27402/task/27432/stat : 27432 (plingeling) R 27400 27402 27306 0 -1 4202560 13262 1247 0 0 2333 8 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4249882 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27402/tid=27433] ppid=27400 vsize=1514468 CPUtime=23.25 cores=0-31
/proc/27402/task/27433/stat : 27433 (plingeling) R 27400 27402 27306 0 -1 4202560 11858 1247 0 0 2315 10 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4336280 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27402/tid=27434] ppid=27400 vsize=1514468 CPUtime=23.44 cores=0-31
/proc/27402/task/27434/stat : 27434 (plingeling) R 27400 27402 27306 0 -1 4202560 12842 1247 0 0 2330 14 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4235985 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27402/tid=27435] ppid=27400 vsize=1514468 CPUtime=23.61 cores=0-31
/proc/27402/task/27435/stat : 27435 (plingeling) R 27400 27402 27306 0 -1 4202560 2709 1247 0 0 2358 3 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4376698 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27402/tid=27436] ppid=27400 vsize=1514468 CPUtime=23.49 cores=0-31
/proc/27402/task/27436/stat : 27436 (plingeling) R 27400 27402 27306 0 -1 4202560 12843 1247 0 0 2337 12 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258267 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27402/tid=27437] ppid=27400 vsize=1514468 CPUtime=23.3 cores=0-31
/proc/27402/task/27437/stat : 27437 (plingeling) R 27400 27402 27306 0 -1 4202560 9709 1247 0 0 2318 12 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258201 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27402/tid=27438] ppid=27400 vsize=1514468 CPUtime=23.35 cores=0-31
/proc/27402/task/27438/stat : 27438 (plingeling) R 27400 27402 27306 0 -1 4202560 12849 1247 0 0 2326 9 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27402/tid=27439] ppid=27400 vsize=1514468 CPUtime=23.59 cores=0-31
/proc/27402/task/27439/stat : 27439 (plingeling) R 27400 27402 27306 0 -1 4202560 3665 1247 0 0 2355 4 0 0 25 0 33 0 678901713 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4336656 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27402/tid=27440] ppid=27400 vsize=1514468 CPUtime=23.47 cores=0-31
/proc/27402/task/27440/stat : 27440 (plingeling) R 27400 27402 27306 0 -1 4202560 13282 1247 0 0 2344 3 0 0 25 0 33 0 678901713 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 754.87
Current children cumulated vsize (KiB) 1514468

[startup+27.6193 s]
/proc/loadavg: 20.12 19.21 22.59 33/446 27442
/proc/meminfo: memFree=254559004/264257624 swapFree=67111528/67111528
[pid=27402] ppid=27400 vsize=1514468 CPUtime=768.23 cores=0-31
/proc/27402/stat : 27402 (plingeling) S 27400 27402 27306 0 -1 4202496 339344 1247 0 0 76560 263 0 0 18 0 33 0 678901358 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/27402/statm: 378617 237010 175 55 0 376503 0
[pid=27402/tid=27409] ppid=27400 vsize=1514468 CPUtime=23.76 cores=0-31
/proc/27402/task/27409/stat : 27409 (plingeling) R 27400 27402 27306 0 -1 4202560 5419 1247 0 0 2371 5 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4250080 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27402/tid=27410] ppid=27400 vsize=1514468 CPUtime=23.76 cores=0-31
/proc/27402/task/27410/stat : 27410 (plingeling) R 27400 27402 27306 0 -1 4202560 10162 1247 0 0 2364 12 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258241 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27402/tid=27411] ppid=27400 vsize=1514468 CPUtime=24.02 cores=0-31
/proc/27402/task/27411/stat : 27411 (plingeling) R 27400 27402 27306 0 -1 4202560 2551 1247 0 0 2401 1 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4378145 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27402/tid=27412] ppid=27400 vsize=1514468 CPUtime=24.07 cores=0-31
/proc/27402/task/27412/stat : 27412 (plingeling) R 27400 27402 27306 0 -1 4202560 2626 1247 0 0 2406 1 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27402/tid=27413] ppid=27400 vsize=1514468 CPUtime=23.67 cores=0-31
/proc/27402/task/27413/stat : 27413 (plingeling) R 27400 27402 27306 0 -1 4202560 11969 1247 0 0 2356 11 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4235968 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27402/tid=27414] ppid=27400 vsize=1514468 CPUtime=23.9 cores=0-31
/proc/27402/task/27414/stat : 27414 (plingeling) R 27400 27402 27306 0 -1 4202560 9022 1247 0 0 2386 4 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4226815 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27402/tid=27415] ppid=27400 vsize=1514468 CPUtime=23.94 cores=0-31
/proc/27402/task/27415/stat : 27415 (plingeling) R 27400 27402 27306 0 -1 4202560 9739 1247 0 0 2391 3 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4377351 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27402/tid=27416] ppid=27400 vsize=1514468 CPUtime=23.94 cores=0-31
/proc/27402/task/27416/stat : 27416 (plingeling) R 27400 27402 27306 0 -1 4202560 10459 1247 0 0 2392 2 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4236296 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27402/tid=27417] ppid=27400 vsize=1514468 CPUtime=23.88 cores=0-31
/proc/27402/task/27417/stat : 27417 (plingeling) R 27400 27402 27306 0 -1 4202560 11752 1247 0 0 2375 13 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258241 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27402/tid=27418] ppid=27400 vsize=1514468 CPUtime=23.74 cores=0-31
/proc/27402/task/27418/stat : 27418 (plingeling) R 27400 27402 27306 0 -1 4202560 5295 1247 0 0 2363 11 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4336704 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27402/tid=27419] ppid=27400 vsize=1514468 CPUtime=24.01 cores=0-31
/proc/27402/task/27419/stat : 27419 (plingeling) R 27400 27402 27306 0 -1 4202560 3269 1247 0 0 2400 1 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4376679 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27402/tid=27420] ppid=27400 vsize=1514468 CPUtime=23.94 cores=0-31
/proc/27402/task/27420/stat : 27420 (plingeling) R 27400 27402 27306 0 -1 4202560 8784 1247 0 0 2382 12 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4336272 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27402/tid=27421] ppid=27400 vsize=1514468 CPUtime=23.93 cores=0-31
/proc/27402/task/27421/stat : 27421 (plingeling) R 27400 27402 27306 0 -1 4202560 10437 1247 0 0 2387 6 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4336675 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27402/tid=27422] ppid=27400 vsize=1514468 CPUtime=23.93 cores=0-31
/proc/27402/task/27422/stat : 27422 (plingeling) R 27400 27402 27306 0 -1 4202560 8840 1247 0 0 2382 11 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258445 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27402/tid=27423] ppid=27400 vsize=1514468 CPUtime=24.03 cores=0-31
/proc/27402/task/27423/stat : 27423 (plingeling) R 27400 27402 27306 0 -1 4202560 5406 1247 0 0 2402 1 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4378116 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27402/tid=27424] ppid=27400 vsize=1514468 CPUtime=23.8 cores=0-31
/proc/27402/task/27424/stat : 27424 (plingeling) R 27400 27402 27306 0 -1 4202560 10118 1247 0 0 2370 10 0 0 25 0 33 0 678901710 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258392 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27402/tid=27425] ppid=27400 vsize=1514468 CPUtime=23.91 cores=0-31
/proc/27402/task/27425/stat : 27425 (plingeling) R 27400 27402 27306 0 -1 4202560 11747 1247 0 0 2387 4 0 0 25 0 33 0 678901711 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4336723 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27402/tid=27426] ppid=27400 vsize=1514468 CPUtime=23.72 cores=0-31
/proc/27402/task/27426/stat : 27426 (plingeling) R 27400 27402 27306 0 -1 4202560 12056 1247 0 0 2362 10 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258384 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27402/tid=27427] ppid=27400 vsize=1514468 CPUtime=24.04 cores=0-31
/proc/27402/task/27427/stat : 27427 (plingeling) R 27400 27402 27306 0 -1 4202560 5566 1247 0 0 2398 6 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4235999 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27402/tid=27428] ppid=27400 vsize=1514468 CPUtime=23.87 cores=0-31
/proc/27402/task/27428/stat : 27428 (plingeling) R 27400 27402 27306 0 -1 4202560 6460 1247 0 0 2380 7 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4334636 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27402/tid=27429] ppid=27400 vsize=1514468 CPUtime=23.89 cores=0-31
/proc/27402/task/27429/stat : 27429 (plingeling) R 27400 27402 27306 0 -1 4202560 13839 1247 0 0 2375 14 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258457 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27402/tid=27430] ppid=27400 vsize=1514468 CPUtime=23.94 cores=0-31
/proc/27402/task/27430/stat : 27430 (plingeling) R 27400 27402 27306 0 -1 4202560 11235 1247 0 0 2382 12 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4248242 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27402/tid=27431] ppid=27400 vsize=1514468 CPUtime=24.03 cores=0-31
/proc/27402/task/27431/stat : 27431 (plingeling) R 27400 27402 27306 0 -1 4202560 4959 1247 0 0 2401 2 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258188 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27402/tid=27432] ppid=27400 vsize=1514468 CPUtime=23.83 cores=0-31
/proc/27402/task/27432/stat : 27432 (plingeling) R 27400 27402 27306 0 -1 4202560 13262 1247 0 0 2375 8 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258565 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27402/tid=27433] ppid=27400 vsize=1514468 CPUtime=23.65 cores=0-31
/proc/27402/task/27433/stat : 27433 (plingeling) R 27400 27402 27306 0 -1 4202560 11858 1247 0 0 2355 10 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4236414 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27402/tid=27434] ppid=27400 vsize=1514468 CPUtime=23.86 cores=0-31
/proc/27402/task/27434/stat : 27434 (plingeling) R 27400 27402 27306 0 -1 4202560 12842 1247 0 0 2372 14 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4235985 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27402/tid=27435] ppid=27400 vsize=1514468 CPUtime=24.03 cores=0-31
/proc/27402/task/27435/stat : 27435 (plingeling) R 27400 27402 27306 0 -1 4202560 2709 1247 0 0 2400 3 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4376545 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27402/tid=27436] ppid=27400 vsize=1514468 CPUtime=23.91 cores=0-31
/proc/27402/task/27436/stat : 27436 (plingeling) R 27400 27402 27306 0 -1 4202560 12843 1247 0 0 2379 12 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27402/tid=27437] ppid=27400 vsize=1514468 CPUtime=23.72 cores=0-31
/proc/27402/task/27437/stat : 27437 (plingeling) R 27400 27402 27306 0 -1 4202560 9709 1247 0 0 2360 12 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258258 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27402/tid=27438] ppid=27400 vsize=1514468 CPUtime=23.76 cores=0-31
/proc/27402/task/27438/stat : 27438 (plingeling) R 27400 27402 27306 0 -1 4202560 12849 1247 0 0 2367 9 0 0 25 0 33 0 678901712 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4258488 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27402/tid=27439] ppid=27400 vsize=1514468 CPUtime=24.01 cores=0-31
/proc/27402/task/27439/stat : 27439 (plingeling) R 27400 27402 27306 0 -1 4202560 3665 1247 0 0 2397 4 0 0 25 0 33 0 678901713 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27402/tid=27440] ppid=27400 vsize=1514468 CPUtime=23.89 cores=0-31
/proc/27402/task/27440/stat : 27440 (plingeling) R 27400 27402 27306 0 -1 4202560 13282 1247 0 0 2386 3 0 0 25 0 33 0 678901713 1550815232 237010 268435456000 4194304 4417452 140736433840512 18446744073709551615 4235997 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 768.23
Current children cumulated vsize (KiB) 1514468

[startup+28.0015 s]
/proc/loadavg: 20.12 19.21 22.59 33/446 27442
/proc/meminfo: memFree=254559004/264257624 swapFree=67111528/67111528
[pid=27402] ppid=27400 vsize=497216 CPUtime=775.03 cores=0-31
/proc/27402/stat : 27402 (plingeling) R 27400 27402 27306 0 -1 4202496 339361 1247 0 0 77232 271 0 0 17 0 1 0 678901358 509149184 32521 268435456000 4194304 4417452 140736433840512 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 16 0 0 0
/proc/27402/statm: 124304 32129 176 55 0 122190 0
Current children cumulated CPU time (s) 775.03
Current children cumulated vsize (KiB) 497216

Child status: 20
Real time (s): 28.0136
CPU time (s): 775.062
CPU user time (s): 772.331
CPU system time (s): 2.73158
CPU usage (%): 2766.74
Max. virtual memory (cumulated for all children) (KiB): 1514476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 772.331
system time used= 2.73158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340612
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= 2570
involuntary context switches= 1831

runsolver used 0.182972 second user time and 0.613906 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-18 01:15:49
IDJOB=3372507
IDBENCH=82424
IDSOLVER=1852
FILE ID=node200/3372507-1305674149
RUNJOBID= node200-1305673932-27320
PBS_JOBID= 13357374
Free space on /tmp= 62048 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372507-1305674149/watcher-3372507-1305674149 -o /tmp/evaluation-result-3372507-1305674149/solver-3372507-1305674149 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372507-1305674149.cnf

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

MD5SUM BENCH= ac372f51471a04bbb3fb9a678284c6a4
RANDOM SEED=2064917351

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:      255520472 kB
Buffers:        450720 kB
Cached:        7887320 kB
SwapCached:          0 kB
Active:        7402688 kB
Inactive:      1004392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255520472 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4348 kB
Writeback:           0 kB
AnonPages:       68820 kB
Mapped:          14480 kB
Slab:           251244 kB
PageTables:       4312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   186184 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= 62048 MiB
End job on node200 at 2011-05-18 01:16:18