Trace number 3372243

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 26416.7 839.129

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxor/maxor128.cnf
MD5SUMe050fe11c7c50ba82ac7126f49db3c10
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark26416.7
Satisfiable
(Un)Satisfiability was proved
Number of variables200308
Number of clauses598619
Sum of the clauses size1396775
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399078
Number of clauses of size 3199539
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

26416.64/839.12	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-3372243-1305517161/watcher-3372243-1305517161 -o /tmp/evaluation-result-3372243-1305517161/solver-3372243-1305517161 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372243-1305517161.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: 27.25 31.07 31.71 1/413 15664
/proc/meminfo: memFree=255560804/264257624 swapFree=67111528/67111528
[pid=15664] ppid=15662 vsize=16492 CPUtime=0.02 cores=0-31
/proc/15664/stat : 15664 (plingeling) R 15662 15664 15638 0 -1 4202496 2196 1241 0 0 2 0 0 0 18 0 1 0 663202602 16887808 2127 268435456000 4194304 4417452 140733359386400 18446744073709551615 4231313 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/15664/statm: 4123 2127 145 55 0 2009 0

[startup+0.0644889 s]
/proc/loadavg: 27.25 31.07 31.71 1/413 15664
/proc/meminfo: memFree=255560804/264257624 swapFree=67111528/67111528
[pid=15664] ppid=15662 vsize=21484 CPUtime=0.05 cores=0-31
/proc/15664/stat : 15664 (plingeling) R 15662 15664 15638 0 -1 4202496 3460 1241 0 0 5 0 0 0 18 0 1 0 663202602 21999616 3391 268435456000 4194304 4417452 140733359386400 18446744073709551615 4259140 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/15664/statm: 5371 3391 145 55 0 3257 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21484

[startup+0.100534 s]
/proc/loadavg: 27.25 31.07 31.71 1/413 15664
/proc/meminfo: memFree=255560804/264257624 swapFree=67111528/67111528
[pid=15664] ppid=15662 vsize=29696 CPUtime=0.08 cores=0-31
/proc/15664/stat : 15664 (plingeling) R 15662 15664 15638 0 -1 4202496 5514 1241 0 0 8 0 0 0 18 0 1 0 663202602 30408704 5445 268435456000 4194304 4417452 140733359386400 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/15664/statm: 7424 5445 146 55 0 5310 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29696

[startup+0.3005 s]
/proc/loadavg: 27.25 31.07 31.71 1/413 15664
/proc/meminfo: memFree=255560804/264257624 swapFree=67111528/67111528
[pid=15664] ppid=15662 vsize=52036 CPUtime=0.28 cores=0-31
/proc/15664/stat : 15664 (plingeling) R 15662 15664 15638 0 -1 4202496 11083 1241 0 0 27 1 0 0 19 0 1 0 663202602 53284864 11014 268435456000 4194304 4417452 140733359386400 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/15664/statm: 13009 11014 146 55 0 10895 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 52036

[startup+0.700557 s]
/proc/loadavg: 27.25 31.07 31.71 1/413 15664
/proc/meminfo: memFree=255560804/264257624 swapFree=67111528/67111528
[pid=15664] ppid=15662 vsize=91140 CPUtime=0.68 cores=0-31
/proc/15664/stat : 15664 (plingeling) R 15662 15664 15638 0 -1 4202496 20875 1241 0 0 65 3 0 0 19 0 1 0 663202602 93327360 20806 268435456000 4194304 4417452 140733359386400 18446744073709551615 4231631 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/15664/statm: 22785 20806 146 55 0 20671 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 91140

[startup+1.50055 s]
/proc/loadavg: 27.25 31.07 31.71 2/414 15670
/proc/meminfo: memFree=255439128/264257624 swapFree=67111528/67111528
[pid=15664] ppid=15662 vsize=169104 CPUtime=1.49 cores=0-31
/proc/15664/stat : 15664 (plingeling) R 15662 15664 15638 0 -1 4202496 40281 1241 0 0 141 8 0 0 21 0 1 0 663202602 173162496 40212 268435456000 4194304 4417452 140733359386400 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/15664/statm: 42276 40229 146 55 0 40162 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 169104

[startup+3.10059 s]
/proc/loadavg: 27.25 31.07 31.71 2/414 15670
/proc/meminfo: memFree=255316892/264257624 swapFree=67111528/67111528
[pid=15664] ppid=15662 vsize=294140 CPUtime=3.09 cores=0-31
/proc/15664/stat : 15664 (plingeling) R 15662 15664 15638 0 -1 4202496 71682 1241 0 0 295 14 0 0 25 0 1 0 663202602 301199360 71556 268435456000 4194304 4417452 140733359386400 18446744073709551615 4274378 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/15664/statm: 73535 71556 146 55 0 71421 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 294140

[startup+6.30072 s]
/proc/loadavg: 25.15 30.57 31.55 2/414 15670
/proc/meminfo: memFree=254993672/264257624 swapFree=67111528/67111528
[pid=15664] ppid=15662 vsize=575280 CPUtime=6.29 cores=0-31
/proc/15664/stat : 15664 (plingeling) R 15662 15664 15638 0 -1 4202496 141967 1241 0 0 601 28 0 0 25 0 1 0 663202602 589086720 141841 268435456000 4194304 4417452 140733359386400 18446744073709551615 4232609 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/15664/statm: 143820 141841 146 55 0 141706 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 575280

[startup+12.7028 s]
/proc/loadavg: 23.22 30.08 31.38 33/446 15702
/proc/meminfo: memFree=254451892/264257624 swapFree=67111528/67111528
[pid=15664] ppid=15662 vsize=1834028 CPUtime=39.75 cores=0-31
/proc/15664/stat : 15664 (plingeling) S 15662 15664 15638 0 -1 4202496 454257 1241 0 0 3507 468 0 0 18 0 33 0 663202602 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/15664/statm: 458507 344627 168 55 0 456393 0
[pid=15664/tid=15671] ppid=15662 vsize=1834028 CPUtime=0.89 cores=0-31
/proc/15664/task/15671/stat : 15671 (plingeling) R 15662 15664 15638 0 -1 4202560 4308 1241 0 0 78 11 0 0 25 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15664/tid=15672] ppid=15662 vsize=1834028 CPUtime=0.89 cores=0-31
/proc/15664/task/15672/stat : 15672 (plingeling) R 15662 15664 15638 0 -1 4202560 5533 1241 0 0 78 11 0 0 18 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=15664/tid=15673] ppid=15662 vsize=1834028 CPUtime=0.88 cores=0-31
/proc/15664/task/15673/stat : 15673 (plingeling) R 15662 15664 15638 0 -1 4202560 5479 1241 0 0 74 14 0 0 18 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15664/tid=15674] ppid=15662 vsize=1834028 CPUtime=0.94 cores=0-31
/proc/15664/task/15674/stat : 15674 (plingeling) R 15662 15664 15638 0 -1 4202560 3529 1241 0 0 91 3 0 0 18 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=15664/tid=15675] ppid=15662 vsize=1834028 CPUtime=0.87 cores=0-31
/proc/15664/task/15675/stat : 15675 (plingeling) R 15662 15664 15638 0 -1 4202560 5486 1241 0 0 78 9 0 0 18 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4292493 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=15664/tid=15676] ppid=15662 vsize=1834028 CPUtime=0.88 cores=0-31
/proc/15664/task/15676/stat : 15676 (plingeling) R 15662 15664 15638 0 -1 4202560 5453 1241 0 0 77 11 0 0 18 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4291220 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=15664/tid=15677] ppid=15662 vsize=1834028 CPUtime=0.88 cores=0-31
/proc/15664/task/15677/stat : 15677 (plingeling) R 15662 15664 15638 0 -1 4202560 5477 1241 0 0 74 14 0 0 20 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4281513 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15664/tid=15678] ppid=15662 vsize=1834028 CPUtime=0.88 cores=0-31
/proc/15664/task/15678/stat : 15678 (plingeling) R 15662 15664 15638 0 -1 4202560 5481 1241 0 0 76 12 0 0 18 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15664/tid=15679] ppid=15662 vsize=1834028 CPUtime=0.87 cores=0-31
/proc/15664/task/15679/stat : 15679 (plingeling) R 15662 15664 15638 0 -1 4202560 5481 1241 0 0 71 16 0 0 18 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15664/tid=15680] ppid=15662 vsize=1834028 CPUtime=0.86 cores=0-31
/proc/15664/task/15680/stat : 15680 (plingeling) R 15662 15664 15638 0 -1 4202560 5529 1241 0 0 71 15 0 0 18 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284289 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=15664/tid=15681] ppid=15662 vsize=1834028 CPUtime=0.88 cores=0-31
/proc/15664/task/15681/stat : 15681 (plingeling) R 15662 15664 15638 0 -1 4202560 5477 1241 0 0 76 12 0 0 18 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284411 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=15664/tid=15682] ppid=15662 vsize=1834028 CPUtime=0.86 cores=0-31
/proc/15664/task/15682/stat : 15682 (plingeling) R 15662 15664 15638 0 -1 4202560 5478 1241 0 0 71 15 0 0 18 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=15664/tid=15683] ppid=15662 vsize=1834028 CPUtime=0.87 cores=0-31
/proc/15664/task/15683/stat : 15683 (plingeling) R 15662 15664 15638 0 -1 4202560 5530 1241 0 0 72 15 0 0 20 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=15664/tid=15684] ppid=15662 vsize=1834028 CPUtime=0.86 cores=0-31
/proc/15664/task/15684/stat : 15684 (plingeling) R 15662 15664 15638 0 -1 4202560 5484 1241 0 0 76 10 0 0 18 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4291076 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=15664/tid=15685] ppid=15662 vsize=1834028 CPUtime=0.87 cores=0-31
/proc/15664/task/15685/stat : 15685 (plingeling) R 15662 15664 15638 0 -1 4202560 5529 1241 0 0 75 12 0 0 18 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=15664/tid=15686] ppid=15662 vsize=1834028 CPUtime=0.86 cores=0-31
/proc/15664/task/15686/stat : 15686 (plingeling) R 15662 15664 15638 0 -1 4202560 5527 1241 0 0 70 16 0 0 18 0 33 0 663203775 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=15664/tid=15687] ppid=15662 vsize=1834028 CPUtime=0.86 cores=0-31
/proc/15664/task/15687/stat : 15687 (plingeling) R 15662 15664 15638 0 -1 4202560 5477 1241 0 0 71 15 0 0 18 0 33 0 663203776 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=15664/tid=15688] ppid=15662 vsize=1834028 CPUtime=0.86 cores=0-31
/proc/15664/task/15688/stat : 15688 (plingeling) R 15662 15664 15638 0 -1 4202560 5476 1241 0 0 76 10 0 0 18 0 33 0 663203776 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4290744 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15664/tid=15689] ppid=15662 vsize=1834028 CPUtime=0.87 cores=0-31
/proc/15664/task/15689/stat : 15689 (plingeling) R 15662 15664 15638 0 -1 4202560 5334 1241 0 0 72 15 0 0 20 0 33 0 663203776 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=15664/tid=15690] ppid=15662 vsize=1834028 CPUtime=0.88 cores=0-31
/proc/15664/task/15690/stat : 15690 (plingeling) R 15662 15664 15638 0 -1 4202560 5524 1241 0 0 75 13 0 0 18 0 33 0 663203776 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=15664/tid=15691] ppid=15662 vsize=1834028 CPUtime=0.85 cores=0-31
/proc/15664/task/15691/stat : 15691 (plingeling) R 15662 15664 15638 0 -1 4202560 5529 1241 0 0 71 14 0 0 18 0 33 0 663203776 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4286440 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=15664/tid=15692] ppid=15662 vsize=1834028 CPUtime=0.87 cores=0-31
/proc/15664/task/15692/stat : 15692 (plingeling) R 15662 15664 15638 0 -1 4202560 5478 1241 0 0 75 12 0 0 20 0 33 0 663203776 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=15664/tid=15693] ppid=15662 vsize=1834028 CPUtime=0.86 cores=0-31
/proc/15664/task/15693/stat : 15693 (plingeling) R 15662 15664 15638 0 -1 4202560 5282 1241 0 0 71 15 0 0 18 0 33 0 663203776 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4288180 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=15664/tid=15694] ppid=15662 vsize=1834028 CPUtime=0.86 cores=0-31
/proc/15664/task/15694/stat : 15694 (plingeling) R 15662 15664 15638 0 -1 4202560 5528 1241 0 0 73 13 0 0 20 0 33 0 663203776 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4287486 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=15664/tid=15695] ppid=15662 vsize=1834028 CPUtime=0.88 cores=0-31
/proc/15664/task/15695/stat : 15695 (plingeling) R 15662 15664 15638 0 -1 4202560 5479 1241 0 0 80 8 0 0 18 0 33 0 663203776 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=15664/tid=15696] ppid=15662 vsize=1834028 CPUtime=0.89 cores=0-31
/proc/15664/task/15696/stat : 15696 (plingeling) R 15662 15664 15638 0 -1 4202560 5477 1241 0 0 79 10 0 0 18 0 33 0 663203776 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4291758 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=15664/tid=15697] ppid=15662 vsize=1834028 CPUtime=0.84 cores=0-31
/proc/15664/task/15697/stat : 15697 (plingeling) R 15662 15664 15638 0 -1 4202560 5528 1241 0 0 70 14 0 0 20 0 33 0 663203776 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=15664/tid=15698] ppid=15662 vsize=1834028 CPUtime=0.85 cores=0-31
/proc/15664/task/15698/stat : 15698 (plingeling) R 15662 15664 15638 0 -1 4202560 5284 1241 0 0 71 14 0 0 18 0 33 0 663203777 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=15664/tid=15699] ppid=15662 vsize=1834028 CPUtime=0.85 cores=0-31
/proc/15664/task/15699/stat : 15699 (plingeling) R 15662 15664 15638 0 -1 4202560 5479 1241 0 0 71 14 0 0 20 0 33 0 663203777 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=15664/tid=15700] ppid=15662 vsize=1834028 CPUtime=0.86 cores=0-31
/proc/15664/task/15700/stat : 15700 (plingeling) R 15662 15664 15638 0 -1 4202560 5480 1241 0 0 77 9 0 0 18 0 33 0 663203777 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4291724 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15664/tid=15701] ppid=15662 vsize=1834028 CPUtime=0.85 cores=0-31
/proc/15664/task/15701/stat : 15701 (plingeling) R 15662 15664 15638 0 -1 4202560 5529 1241 0 0 71 14 0 0 18 0 33 0 663203777 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284759 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=15664/tid=15702] ppid=15662 vsize=1834028 CPUtime=0.74 cores=0-31
/proc/15664/task/15702/stat : 15702 (plingeling) R 15662 15664 15638 0 -1 4202560 5283 1241 0 0 64 10 0 0 20 0 33 0 663203777 1878044672 344627 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 39.75
Current children cumulated vsize (KiB) 1834028

[startup+25.5023 s]
/proc/loadavg: 25.24 30.19 31.40 33/446 15702
/proc/meminfo: memFree=253446060/264257624 swapFree=67111528/67111528
[pid=15664] ppid=15662 vsize=2573208 CPUtime=437.18 cores=0-31
/proc/15664/stat : 15664 (plingeling) S 15662 15664 15638 0 -1 4202496 863662 1241 0 0 42900 818 0 0 18 0 33 0 663202602 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/15664/statm: 643302 523985 174 55 0 641188 0
[pid=15664/tid=15671] ppid=15662 vsize=2573208 CPUtime=13.6 cores=0-31
/proc/15664/task/15671/stat : 15671 (plingeling) R 15662 15664 15638 0 -1 4202560 17465 1241 0 0 1334 26 0 0 23 0 33 0 663203775 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 4272261 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=15664/tid=15672] ppid=15662 vsize=2573208 CPUtime=12.74 cores=0-31
/proc/15664/task/15672/stat : 15672 (plingeling) R 15662 15664 15638 0 -1 4202560 27027 1241 0 0 1247 27 0 0 25 0 33 0 663203775 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 4273030 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15664/tid=15673] ppid=15662 vsize=2573208 CPUtime=13.59 cores=0-31
/proc/15664/task/15673/stat : 15673 (plingeling) R 15662 15664 15638 0 -1 4202560 9780 1241 0 0 1343 16 0 0 25 0 33 0 663203775 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=15664/tid=15674] ppid=15662 vsize=2573208 CPUtime=13.73 cores=0-31
/proc/15664/task/15674/stat : 15674 (plingeling) R 15662 15664 15638 0 -1 4202560 3530 1241 0 0 1370 3 0 0 25 0 33 0 663203775 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 4237002 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=15664/tid=15675] ppid=15662 vsize=2573208 CPUtime=13.27 cores=0-31
/proc/15664/task/15675/stat : 15675 (plingeling) R 15662 15664 15638 0 -1 4202560 20175 1241 0 0 1305 22 0 0 25 0 33 0 663203775 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 4253179 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=15664/tid=15676] ppid=15662 vsize=2573208 CPUtime=13.45 cores=0-31
/proc/15664/task/15676/stat : 15676 (plingeling) R 15662 15664 15638 0 -1 4202560 20330 1241 0 0 1323 22 0 0 25 0 33 0 663203775 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 4274358 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15664/tid=15677] ppid=15662 vsize=2573208 CPUtime=13.63 cores=0-31
/proc/15664/task/15677/stat : 15677 (plingeling) R 15662 15664 15638 0 -1 4202560 15192 1241 0 0 1344 19 0 0 25 0 33 0 663203775 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15664/tid=15678] ppid=15662 vsize=2573208 CPUtime=12.99 cores=0-31
/proc/15664/task/15678/stat : 15678 (plingeling) R 15662 15664 15638 0 -1 4202560 24539 1241 0 0 1270 29 0 0 23 0 33 0 663203775 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 4253162 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15664/tid=15679] ppid=15662 vsize=2573208 CPUtime=13.34 cores=0-31
/proc/15664/task/15679/stat : 15679 (plingeling) R 15662 15664 15638 0 -1 4202560 16282 1241 0 0 1313 21 0 0 25 0 33 0 663203775 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 4252301 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=15664/tid=15680] ppid=15662 vsize=2573208 CPUtime=13.13 cores=0-31
/proc/15664/task/15680/stat : 15680 (plingeling) R 15662 15664 15638 0 -1 4202560 16778 1241 0 0 1281 32 0 0 23 0 33 0 663203775 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 4318888 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=15664/tid=15681] ppid=15662 vsize=2573208 CPUtime=13.65 cores=0-31
/proc/15664/task/15681/stat : 15681 (plingeling) R 15662 15664 15638 0 -1 4202560 19987 1241 0 0 1350 15 0 0 25 0 33 0 663203775 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=15664/tid=15682] ppid=15662 vsize=2573208 CPUtime=13.15 cores=0-31
/proc/15664/task/15682/stat : 15682 (plingeling) R 15662 15664 15638 0 -1 4202560 16220 1241 0 0 1287 28 0 0 25 0 33 0 663203775 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 4253420 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=15664/tid=15683] ppid=15662 vsize=2573208 CPUtime=12.95 cores=0-31
/proc/15664/task/15683/stat : 15683 (plingeling) R 15662 15664 15638 0 -1 4202560 27218 1241 0 0 1258 37 0 0 23 0 33 0 663203775 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 4252336 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=15664/tid=15684] ppid=15662 vsize=2573208 CPUtime=12.97 cores=0-31
/proc/15664/task/15684/stat : 15684 (plingeling) R 15662 15664 15638 0 -1 4202560 25216 1241 0 0 1268 29 0 0 25 0 33 0 663203775 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 4253214 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=15664/tid=15685] ppid=15662 vsize=2573208 CPUtime=13.47 cores=0-31
/proc/15664/task/15685/stat : 15685 (plingeling) R 15662 15664 15638 0 -1 4202560 14124 1241 0 0 1330 17 0 0 25 0 33 0 663203775 2634964992 523985 268435456000 4194304 4417452 140733359386400 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 14 0 0 0

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

Current children cumulated CPU time (s) 26311
Current children cumulated vsize (KiB) 2654628

[startup+836.702 s]
/proc/loadavg: 32.01 31.88 31.73 33/446 15724
/proc/meminfo: memFree=253407352/264257624 swapFree=67111528/67111528
[pid=15664] ppid=15662 vsize=2638080 CPUtime=26362.1 cores=0-31
/proc/15664/stat : 15664 (plingeling) S 15662 15664 15638 0 -1 4202496 1744166 1241 0 0 2634887 1325 0 0 18 0 33 0 663202602 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/15664/statm: 659520 533078 175 55 0 657406 0
[pid=15664/tid=15671] ppid=15662 vsize=2638080 CPUtime=824.38 cores=0-31
/proc/15664/task/15671/stat : 15671 (plingeling) R 15662 15664 15638 0 -1 4202560 47486 1241 0 0 82384 54 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=15664/tid=15672] ppid=15662 vsize=2638080 CPUtime=822.36 cores=0-31
/proc/15664/task/15672/stat : 15672 (plingeling) R 15662 15664 15638 0 -1 4202560 40453 1241 0 0 82184 52 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=15664/tid=15673] ppid=15662 vsize=2638080 CPUtime=824.54 cores=0-31
/proc/15664/task/15673/stat : 15673 (plingeling) R 15662 15664 15638 0 -1 4202560 27275 1241 0 0 82433 21 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364619 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15664/tid=15674] ppid=15662 vsize=2638080 CPUtime=824.76 cores=0-31
/proc/15664/task/15674/stat : 15674 (plingeling) R 15662 15664 15638 0 -1 4202560 9502 1241 0 0 82471 5 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=15664/tid=15675] ppid=15662 vsize=2638080 CPUtime=823.59 cores=0-31
/proc/15664/task/15675/stat : 15675 (plingeling) R 15662 15664 15638 0 -1 4202560 45050 1241 0 0 82325 34 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364893 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=15664/tid=15676] ppid=15662 vsize=2638080 CPUtime=824.17 cores=0-31
/proc/15664/task/15676/stat : 15676 (plingeling) R 15662 15664 15638 0 -1 4202560 68958 1241 0 0 82360 57 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4366590 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15664/tid=15677] ppid=15662 vsize=2638080 CPUtime=824.51 cores=0-31
/proc/15664/task/15677/stat : 15677 (plingeling) R 15662 15664 15638 0 -1 4202560 36916 1241 0 0 82427 24 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4259993 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=15664/tid=15678] ppid=15662 vsize=2638080 CPUtime=823.95 cores=0-31
/proc/15664/task/15678/stat : 15678 (plingeling) R 15662 15664 15638 0 -1 4202560 41797 1241 0 0 82361 34 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=15664/tid=15679] ppid=15662 vsize=2638080 CPUtime=824.3 cores=0-31
/proc/15664/task/15679/stat : 15679 (plingeling) R 15662 15664 15638 0 -1 4202560 39486 1241 0 0 82382 48 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=15664/tid=15680] ppid=15662 vsize=2638080 CPUtime=822.15 cores=0-31
/proc/15664/task/15680/stat : 15680 (plingeling) R 15662 15664 15638 0 -1 4202560 59004 1241 0 0 82156 59 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4346497 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=15664/tid=15681] ppid=15662 vsize=2638080 CPUtime=824.66 cores=0-31
/proc/15664/task/15681/stat : 15681 (plingeling) R 15662 15664 15638 0 -1 4202560 42231 1241 0 0 82445 21 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=15664/tid=15682] ppid=15662 vsize=2638080 CPUtime=823 cores=0-31
/proc/15664/task/15682/stat : 15682 (plingeling) R 15662 15664 15638 0 -1 4202560 43239 1241 0 0 82266 34 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=15664/tid=15683] ppid=15662 vsize=2638080 CPUtime=820.59 cores=0-31
/proc/15664/task/15683/stat : 15683 (plingeling) R 15662 15664 15638 0 -1 4202560 58416 1241 0 0 81995 64 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=15664/tid=15684] ppid=15662 vsize=2638080 CPUtime=823.94 cores=0-31
/proc/15664/task/15684/stat : 15684 (plingeling) R 15662 15664 15638 0 -1 4202560 82042 1241 0 0 82350 44 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=15664/tid=15685] ppid=15662 vsize=2638080 CPUtime=824.48 cores=0-31
/proc/15664/task/15685/stat : 15685 (plingeling) R 15662 15664 15638 0 -1 4202560 45827 1241 0 0 82413 35 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=15664/tid=15686] ppid=15662 vsize=2638080 CPUtime=824.11 cores=0-31
/proc/15664/task/15686/stat : 15686 (plingeling) R 15662 15664 15638 0 -1 4202560 53455 1241 0 0 82380 31 0 0 25 0 33 0 663203775 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=15664/tid=15687] ppid=15662 vsize=2638080 CPUtime=823.89 cores=0-31
/proc/15664/task/15687/stat : 15687 (plingeling) R 15662 15664 15638 0 -1 4202560 38665 1241 0 0 82353 36 0 0 25 0 33 0 663203776 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4277563 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=15664/tid=15688] ppid=15662 vsize=2638080 CPUtime=824.35 cores=0-31
/proc/15664/task/15688/stat : 15688 (plingeling) R 15662 15664 15638 0 -1 4202560 47672 1241 0 0 82403 32 0 0 25 0 33 0 663203776 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=15664/tid=15689] ppid=15662 vsize=2638080 CPUtime=824.55 cores=0-31
/proc/15664/task/15689/stat : 15689 (plingeling) R 15662 15664 15638 0 -1 4202560 39222 1241 0 0 82405 50 0 0 25 0 33 0 663203776 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4236577 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=15664/tid=15690] ppid=15662 vsize=2638080 CPUtime=824.21 cores=0-31
/proc/15664/task/15690/stat : 15690 (plingeling) R 15662 15664 15638 0 -1 4202560 53180 1241 0 0 82383 38 0 0 25 0 33 0 663203776 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=15664/tid=15691] ppid=15662 vsize=2638080 CPUtime=823.6 cores=0-31
/proc/15664/task/15691/stat : 15691 (plingeling) R 15662 15664 15638 0 -1 4202560 46267 1241 0 0 82312 48 0 0 25 0 33 0 663203776 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15664/tid=15692] ppid=15662 vsize=2638080 CPUtime=824.01 cores=0-31
/proc/15664/task/15692/stat : 15692 (plingeling) R 15662 15664 15638 0 -1 4202560 59296 1241 0 0 82341 60 0 0 25 0 33 0 663203776 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=15664/tid=15693] ppid=15662 vsize=2638080 CPUtime=823.75 cores=0-31
/proc/15664/task/15693/stat : 15693 (plingeling) R 15662 15664 15638 0 -1 4202560 42754 1241 0 0 82348 27 0 0 25 0 33 0 663203776 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15664/tid=15694] ppid=15662 vsize=2638080 CPUtime=823.74 cores=0-31
/proc/15664/task/15694/stat : 15694 (plingeling) R 15662 15664 15638 0 -1 4202560 48017 1241 0 0 82337 37 0 0 25 0 33 0 663203776 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=15664/tid=15695] ppid=15662 vsize=2638080 CPUtime=823.94 cores=0-31
/proc/15664/task/15695/stat : 15695 (plingeling) R 15662 15664 15638 0 -1 4202560 38062 1241 0 0 82349 45 0 0 25 0 33 0 663203776 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4353699 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=15664/tid=15696] ppid=15662 vsize=2638080 CPUtime=824.23 cores=0-31
/proc/15664/task/15696/stat : 15696 (plingeling) R 15662 15664 15638 0 -1 4202560 52380 1241 0 0 82389 34 0 0 25 0 33 0 663203776 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4275652 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=15664/tid=15697] ppid=15662 vsize=2638080 CPUtime=824.4 cores=0-31
/proc/15664/task/15697/stat : 15697 (plingeling) R 15662 15664 15638 0 -1 4202560 41446 1241 0 0 82395 45 0 0 25 0 33 0 663203776 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=15664/tid=15698] ppid=15662 vsize=2638080 CPUtime=820.56 cores=0-31
/proc/15664/task/15698/stat : 15698 (plingeling) R 15662 15664 15638 0 -1 4202560 36296 1241 0 0 82022 34 0 0 25 0 33 0 663203777 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15664/tid=15699] ppid=15662 vsize=2638080 CPUtime=824.11 cores=0-31
/proc/15664/task/15699/stat : 15699 (plingeling) R 15662 15664 15638 0 -1 4202560 37186 1241 0 0 82374 37 0 0 25 0 33 0 663203777 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=15664/tid=15700] ppid=15662 vsize=2638080 CPUtime=824.19 cores=0-31
/proc/15664/task/15700/stat : 15700 (plingeling) R 15662 15664 15638 0 -1 4202560 54107 1241 0 0 82365 54 0 0 25 0 33 0 663203777 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15664/tid=15701] ppid=15662 vsize=2638080 CPUtime=822.98 cores=0-31
/proc/15664/task/15701/stat : 15701 (plingeling) R 15662 15664 15638 0 -1 4202560 45814 1241 0 0 82261 37 0 0 25 0 33 0 663203777 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15664/tid=15702] ppid=15662 vsize=2638080 CPUtime=814.1 cores=0-31
/proc/15664/task/15702/stat : 15702 (plingeling) R 15662 15664 15638 0 -1 4202560 40356 1241 0 0 81388 22 0 0 25 0 33 0 663203777 2701393920 533078 268435456000 4194304 4417452 140733359386400 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 26362.1
Current children cumulated vsize (KiB) 2638080

[startup+838.302 s]
/proc/loadavg: 32.01 31.88 31.73 33/446 15724
/proc/meminfo: memFree=253423516/264257624 swapFree=67111528/67111528
[pid=15664] ppid=15662 vsize=2621732 CPUtime=26413.2 cores=0-31
/proc/15664/stat : 15664 (plingeling) S 15662 15664 15638 0 -1 4202496 1744188 1241 0 0 2640000 1325 0 0 18 0 33 0 663202602 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/15664/statm: 655433 528991 175 55 0 653319 0
[pid=15664/tid=15671] ppid=15662 vsize=2621732 CPUtime=825.98 cores=0-31
/proc/15664/task/15671/stat : 15671 (plingeling) R 15662 15664 15638 0 -1 4202560 47486 1241 0 0 82544 54 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=15664/tid=15672] ppid=15662 vsize=2621732 CPUtime=823.96 cores=0-31
/proc/15664/task/15672/stat : 15672 (plingeling) R 15662 15664 15638 0 -1 4202560 40453 1241 0 0 82344 52 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=15664/tid=15673] ppid=15662 vsize=2621732 CPUtime=826.14 cores=0-31
/proc/15664/task/15673/stat : 15673 (plingeling) R 15662 15664 15638 0 -1 4202560 27275 1241 0 0 82593 21 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=15664/tid=15674] ppid=15662 vsize=2621732 CPUtime=826.36 cores=0-31
/proc/15664/task/15674/stat : 15674 (plingeling) R 15662 15664 15638 0 -1 4202560 9502 1241 0 0 82631 5 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=15664/tid=15675] ppid=15662 vsize=2621732 CPUtime=825.19 cores=0-31
/proc/15664/task/15675/stat : 15675 (plingeling) R 15662 15664 15638 0 -1 4202560 45050 1241 0 0 82485 34 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4278130 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=15664/tid=15676] ppid=15662 vsize=2621732 CPUtime=825.77 cores=0-31
/proc/15664/task/15676/stat : 15676 (plingeling) R 15662 15664 15638 0 -1 4202560 68958 1241 0 0 82520 57 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=15664/tid=15677] ppid=15662 vsize=2621732 CPUtime=826.11 cores=0-31
/proc/15664/task/15677/stat : 15677 (plingeling) R 15662 15664 15638 0 -1 4202560 36938 1241 0 0 82587 24 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=15664/tid=15678] ppid=15662 vsize=2621732 CPUtime=825.55 cores=0-31
/proc/15664/task/15678/stat : 15678 (plingeling) R 15662 15664 15638 0 -1 4202560 41797 1241 0 0 82521 34 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=15664/tid=15679] ppid=15662 vsize=2621732 CPUtime=825.9 cores=0-31
/proc/15664/task/15679/stat : 15679 (plingeling) R 15662 15664 15638 0 -1 4202560 39486 1241 0 0 82542 48 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=15664/tid=15680] ppid=15662 vsize=2621732 CPUtime=823.75 cores=0-31
/proc/15664/task/15680/stat : 15680 (plingeling) R 15662 15664 15638 0 -1 4202560 59004 1241 0 0 82316 59 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=15664/tid=15681] ppid=15662 vsize=2621732 CPUtime=826.26 cores=0-31
/proc/15664/task/15681/stat : 15681 (plingeling) R 15662 15664 15638 0 -1 4202560 42231 1241 0 0 82605 21 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 18446744073699065913 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=15664/tid=15682] ppid=15662 vsize=2621732 CPUtime=824.6 cores=0-31
/proc/15664/task/15682/stat : 15682 (plingeling) R 15662 15664 15638 0 -1 4202560 43239 1241 0 0 82426 34 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=15664/tid=15683] ppid=15662 vsize=2621732 CPUtime=822.19 cores=0-31
/proc/15664/task/15683/stat : 15683 (plingeling) R 15662 15664 15638 0 -1 4202560 58416 1241 0 0 82155 64 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=15664/tid=15684] ppid=15662 vsize=2621732 CPUtime=825.54 cores=0-31
/proc/15664/task/15684/stat : 15684 (plingeling) R 15662 15664 15638 0 -1 4202560 82042 1241 0 0 82510 44 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=15664/tid=15685] ppid=15662 vsize=2621732 CPUtime=826.08 cores=0-31
/proc/15664/task/15685/stat : 15685 (plingeling) R 15662 15664 15638 0 -1 4202560 45827 1241 0 0 82573 35 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4236601 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=15664/tid=15686] ppid=15662 vsize=2621732 CPUtime=825.71 cores=0-31
/proc/15664/task/15686/stat : 15686 (plingeling) R 15662 15664 15638 0 -1 4202560 53455 1241 0 0 82540 31 0 0 25 0 33 0 663203775 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4278627 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=15664/tid=15687] ppid=15662 vsize=2621732 CPUtime=825.49 cores=0-31
/proc/15664/task/15687/stat : 15687 (plingeling) R 15662 15664 15638 0 -1 4202560 38665 1241 0 0 82513 36 0 0 25 0 33 0 663203776 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4261337 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=15664/tid=15688] ppid=15662 vsize=2621732 CPUtime=825.95 cores=0-31
/proc/15664/task/15688/stat : 15688 (plingeling) R 15662 15664 15638 0 -1 4202560 47672 1241 0 0 82563 32 0 0 25 0 33 0 663203776 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=15664/tid=15689] ppid=15662 vsize=2621732 CPUtime=826.15 cores=0-31
/proc/15664/task/15689/stat : 15689 (plingeling) R 15662 15664 15638 0 -1 4202560 39222 1241 0 0 82565 50 0 0 25 0 33 0 663203776 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=15664/tid=15690] ppid=15662 vsize=2621732 CPUtime=825.8 cores=0-31
/proc/15664/task/15690/stat : 15690 (plingeling) R 15662 15664 15638 0 -1 4202560 53180 1241 0 0 82542 38 0 0 25 0 33 0 663203776 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=15664/tid=15691] ppid=15662 vsize=2621732 CPUtime=825.2 cores=0-31
/proc/15664/task/15691/stat : 15691 (plingeling) R 15662 15664 15638 0 -1 4202560 46267 1241 0 0 82472 48 0 0 25 0 33 0 663203776 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4357902 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=15664/tid=15692] ppid=15662 vsize=2621732 CPUtime=825.61 cores=0-31
/proc/15664/task/15692/stat : 15692 (plingeling) R 15662 15664 15638 0 -1 4202560 59296 1241 0 0 82501 60 0 0 25 0 33 0 663203776 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364687 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=15664/tid=15693] ppid=15662 vsize=2621732 CPUtime=825.35 cores=0-31
/proc/15664/task/15693/stat : 15693 (plingeling) R 15662 15664 15638 0 -1 4202560 42754 1241 0 0 82508 27 0 0 25 0 33 0 663203776 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=15664/tid=15694] ppid=15662 vsize=2621732 CPUtime=825.34 cores=0-31
/proc/15664/task/15694/stat : 15694 (plingeling) R 15662 15664 15638 0 -1 4202560 48017 1241 0 0 82497 37 0 0 25 0 33 0 663203776 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=15664/tid=15695] ppid=15662 vsize=2621732 CPUtime=825.54 cores=0-31
/proc/15664/task/15695/stat : 15695 (plingeling) R 15662 15664 15638 0 -1 4202560 38062 1241 0 0 82509 45 0 0 25 0 33 0 663203776 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=15664/tid=15696] ppid=15662 vsize=2621732 CPUtime=825.83 cores=0-31
/proc/15664/task/15696/stat : 15696 (plingeling) R 15662 15664 15638 0 -1 4202560 52380 1241 0 0 82549 34 0 0 25 0 33 0 663203776 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=15664/tid=15697] ppid=15662 vsize=2621732 CPUtime=826 cores=0-31
/proc/15664/task/15697/stat : 15697 (plingeling) R 15662 15664 15638 0 -1 4202560 41446 1241 0 0 82555 45 0 0 25 0 33 0 663203776 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=15664/tid=15698] ppid=15662 vsize=2621732 CPUtime=822.16 cores=0-31
/proc/15664/task/15698/stat : 15698 (plingeling) R 15662 15664 15638 0 -1 4202560 36296 1241 0 0 82182 34 0 0 25 0 33 0 663203777 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4253198 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=15664/tid=15699] ppid=15662 vsize=2621732 CPUtime=825.71 cores=0-31
/proc/15664/task/15699/stat : 15699 (plingeling) R 15662 15664 15638 0 -1 4202560 37186 1241 0 0 82534 37 0 0 25 0 33 0 663203777 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=15664/tid=15700] ppid=15662 vsize=2621732 CPUtime=825.79 cores=0-31
/proc/15664/task/15700/stat : 15700 (plingeling) R 15662 15664 15638 0 -1 4202560 54107 1241 0 0 82525 54 0 0 25 0 33 0 663203777 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=15664/tid=15701] ppid=15662 vsize=2621732 CPUtime=824.58 cores=0-31
/proc/15664/task/15701/stat : 15701 (plingeling) R 15662 15664 15638 0 -1 4202560 45814 1241 0 0 82421 37 0 0 25 0 33 0 663203777 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=15664/tid=15702] ppid=15662 vsize=2621732 CPUtime=815.64 cores=0-31
/proc/15664/task/15702/stat : 15702 (plingeling) R 15662 15664 15638 0 -1 4202560 40356 1241 0 0 81542 22 0 0 25 0 33 0 663203777 2684653568 528991 268435456000 4194304 4417452 140733359386400 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 26413.2
Current children cumulated vsize (KiB) 2621732

[startup+838.701 s]
/proc/loadavg: 32.01 31.88 31.73 33/446 15724
/proc/meminfo: memFree=253423516/264257624 swapFree=67111528/67111528
[pid=15664] ppid=15662 vsize=2478272 CPUtime=26416.2 cores=0-31
/proc/15664/stat : 15664 (plingeling) S 15662 15664 15638 0 -1 4202496 1744189 1241 0 0 2640292 1325 0 0 17 0 3 0 663202602 2537750528 528875 268435456000 4194304 4417452 140733359386400 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/15664/statm: 619568 528875 176 55 0 617454 0
[pid=15664/tid=15688] ppid=15662 vsize=2478272 CPUtime=826.35 cores=0-31
/proc/15664/task/15688/stat : 15688 (plingeling) R 15662 15664 15638 0 -1 4202560 47672 1241 0 0 82603 32 0 0 25 0 3 0 663203776 2537750528 528875 268435456000 4194304 4417452 140733359386400 18446744073709551615 4252361 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=15664/tid=15702] ppid=15662 vsize=2478272 CPUtime=816.04 cores=0-31
/proc/15664/task/15702/stat : 15702 (plingeling) R 15662 15664 15638 0 -1 4202560 40356 1241 0 0 81582 22 0 0 25 0 3 0 663203777 2537750528 528875 268435456000 4194304 4417452 140733359386400 18446744073709551615 4252507 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 26416.2
Current children cumulated vsize (KiB) 2478272

[startup+839.101 s]
/proc/loadavg: 32.01 31.88 31.73 33/446 15724
/proc/meminfo: memFree=253423516/264257624 swapFree=67111528/67111528
[pid=15664] ppid=15662 vsize=815008 CPUtime=26416.6 cores=0-31
/proc/15664/stat : 15664 (plingeling) R 15662 15664 15638 0 -1 4202496 1744189 1241 0 0 2640318 1346 0 0 16 0 1 0 663202602 834568192 45557 268435456000 4194304 4417452 140733359386400 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 12 0 0 0
/proc/15664/statm: 203752 45557 176 55 0 201638 0
Current children cumulated CPU time (s) 26416.6
Current children cumulated vsize (KiB) 815008

Child status: 20
Real time (s): 839.129
CPU time (s): 26416.7
CPU user time (s): 26403.2
CPU system time (s): 13.4979
CPU usage (%): 3148.11
Max. virtual memory (cumulated for all children) (KiB): 3268260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26403.2
system time used= 13.4979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1745434
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= 7874
involuntary context switches= 66424

runsolver used 4.5813 second user time and 19.2371 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-16 05:39:22
IDJOB=3372243
IDBENCH=70808
IDSOLVER=1852
FILE ID=node200/3372243-1305517161
RUNJOBID= node200-1305517161-15652
PBS_JOBID= 13285534
Free space on /tmp= 62040 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372243-1305517161/watcher-3372243-1305517161 -o /tmp/evaluation-result-3372243-1305517161/solver-3372243-1305517161 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372243-1305517161.cnf

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

MD5SUM BENCH= e050fe11c7c50ba82ac7126f49db3c10
RANDOM SEED=1247523138

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:      255560952 kB
Buffers:        442640 kB
Cached:        7846740 kB
SwapCached:          0 kB
Active:        7395664 kB
Inactive:       962388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255560952 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10944 kB
Writeback:           0 kB
AnonPages:       68716 kB
Mapped:          14480 kB
Slab:           250848 kB
PageTables:       4412 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   184064 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= 62040 MiB
End job on node200 at 2011-05-16 05:53:21