Trace number 3372945

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)? (TO) 160003 5008.02

General information on the benchmark

NameSAT02/industrial/dellacherie/
comb/comb1.shuffled.cnf
MD5SUM0e9d17eb95ee436fc1015c5591cfb63f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark291.751
Satisfiable
(Un)Satisfiability was proved
Number of variables5910
Number of clauses16804
Sum of the clauses size38654
Maximum clause length28
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 213041
Number of clauses of size 32838
Number of clauses of size 4787
Number of clauses of size 5103
Number of clauses of size over 534

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3372945-1306145042/watcher-3372945-1306145042 -o /tmp/evaluation-result-3372945-1306145042/solver-3372945-1306145042 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372945-1306145042.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: 30.23 30.47 31.28 1/413 1451
/proc/meminfo: memFree=255320924/264257624 swapFree=67111528/67111528
[pid=1451] ppid=1449 vsize=11140 CPUtime=0.01 cores=0-31
/proc/1451/stat : 1451 (plingeling) R 1449 1451 726 0 -1 4202496 852 1243 0 0 0 0 0 1 24 0 1 0 725990630 11407360 782 268435456000 4194304 4417452 140736516895616 18446744073709551615 258650649806 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1451/statm: 2818 794 139 55 0 704 0

[startup+0.0468731 s]
/proc/loadavg: 30.23 30.47 31.28 1/413 1451
/proc/meminfo: memFree=255320924/264257624 swapFree=67111528/67111528
[pid=1451] ppid=1449 vsize=17688 CPUtime=0.04 cores=0-31
/proc/1451/stat : 1451 (plingeling) R 1449 1451 726 0 -1 4202496 2484 1243 0 0 3 0 0 1 24 0 1 0 725990630 18112512 2414 268435456000 4194304 4417452 140736516895616 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1451/statm: 4422 2414 145 55 0 2308 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17688

[startup+0.100854 s]
/proc/loadavg: 30.23 30.47 31.28 1/413 1451
/proc/meminfo: memFree=255320924/264257624 swapFree=67111528/67111528
[pid=1451] ppid=1449 vsize=22100 CPUtime=0.09 cores=0-31
/proc/1451/stat : 1451 (plingeling) R 1449 1451 726 0 -1 4202496 3615 1243 0 0 8 0 0 1 24 0 1 0 725990630 22630400 3545 268435456000 4194304 4417452 140736516895616 18446744073709551615 4264976 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1451/statm: 5525 3545 145 55 0 3411 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22100

[startup+0.300875 s]
/proc/loadavg: 30.23 30.47 31.28 1/413 1451
/proc/meminfo: memFree=255320924/264257624 swapFree=67111528/67111528
[pid=1451] ppid=1449 vsize=33300 CPUtime=0.3 cores=0-31
/proc/1451/stat : 1451 (plingeling) R 1449 1451 726 0 -1 4202496 6400 1243 0 0 28 1 0 1 25 0 1 0 725990630 34099200 6330 268435456000 4194304 4417452 140736516895616 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/1451/statm: 8325 6330 146 55 0 6211 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 33300

[startup+0.700752 s]
/proc/loadavg: 30.23 30.47 31.28 1/413 1451
/proc/meminfo: memFree=255320924/264257624 swapFree=67111528/67111528
[pid=1451] ppid=1449 vsize=760092 CPUtime=4.38 cores=0-31
/proc/1451/stat : 1451 (plingeling) S 1449 1451 726 0 -1 4202496 14309 1243 0 0 428 9 0 1 19 0 33 0 725990630 778334208 9900 268435456000 4194304 4417452 140736516895616 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1451/statm: 190023 9900 170 55 0 187909 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 760092

[startup+1.50178 s]
/proc/loadavg: 30.23 30.47 31.28 33/446 1489
/proc/meminfo: memFree=255274560/264257624 swapFree=67111528/67111528
[pid=1451] ppid=1449 vsize=768384 CPUtime=29.94 cores=0-31
/proc/1451/stat : 1451 (plingeling) S 1449 1451 726 0 -1 4202496 18145 1243 0 0 2980 13 0 1 19 0 33 0 725990630 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1451/statm: 192096 11843 175 55 0 189982 0
[pid=1451/tid=1458] ppid=1449 vsize=768384 CPUtime=0.93 cores=0-31
/proc/1451/task/1458/stat : 1458 (plingeling) R 1449 1451 726 0 -1 4202560 279 1243 0 0 92 0 0 1 19 0 33 0 725990682 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4272965 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=1451/tid=1459] ppid=1449 vsize=768384 CPUtime=0.92 cores=0-31
/proc/1451/task/1459/stat : 1459 (plingeling) R 1449 1451 726 0 -1 4202560 276 1243 0 0 91 0 0 1 19 0 33 0 725990682 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4259665 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=1451/tid=1460] ppid=1449 vsize=768384 CPUtime=0.93 cores=0-31
/proc/1451/task/1460/stat : 1460 (plingeling) R 1449 1451 726 0 -1 4202560 222 1243 0 0 92 0 0 1 19 0 33 0 725990682 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1451/tid=1461] ppid=1449 vsize=768384 CPUtime=0.93 cores=0-31
/proc/1451/task/1461/stat : 1461 (plingeling) R 1449 1451 726 0 -1 4202560 166 1243 0 0 92 0 0 1 19 0 33 0 725990682 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=1451/tid=1462] ppid=1449 vsize=768384 CPUtime=0.92 cores=0-31
/proc/1451/task/1462/stat : 1462 (plingeling) R 1449 1451 726 0 -1 4202560 468 1243 0 0 91 0 0 1 19 0 33 0 725990682 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4253162 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1451/tid=1463] ppid=1449 vsize=768384 CPUtime=0.92 cores=0-31
/proc/1451/task/1463/stat : 1463 (plingeling) R 1449 1451 726 0 -1 4202560 315 1243 0 0 91 0 0 1 19 0 33 0 725990682 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4252531 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=1451/tid=1464] ppid=1449 vsize=768384 CPUtime=0.93 cores=0-31
/proc/1451/task/1464/stat : 1464 (plingeling) R 1449 1451 726 0 -1 4202560 164 1243 0 0 92 0 0 1 19 0 33 0 725990682 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=1451/tid=1465] ppid=1449 vsize=768384 CPUtime=0.92 cores=0-31
/proc/1451/task/1465/stat : 1465 (plingeling) R 1449 1451 726 0 -1 4202560 269 1243 0 0 91 0 0 1 19 0 33 0 725990682 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4252117 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=1451/tid=1466] ppid=1449 vsize=768384 CPUtime=0.95 cores=0-31
/proc/1451/task/1466/stat : 1466 (plingeling) R 1449 1451 726 0 -1 4202560 860 1243 0 0 94 0 0 1 19 0 33 0 725990682 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4216603 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=1451/tid=1467] ppid=1449 vsize=768384 CPUtime=0.93 cores=0-31
/proc/1451/task/1467/stat : 1467 (plingeling) R 1449 1451 726 0 -1 4202560 398 1243 0 0 92 0 0 1 19 0 33 0 725990682 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4273030 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=1451/tid=1468] ppid=1449 vsize=768384 CPUtime=0.92 cores=0-31
/proc/1451/task/1468/stat : 1468 (plingeling) R 1449 1451 726 0 -1 4202560 298 1243 0 0 91 0 0 1 19 0 33 0 725990682 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1451/tid=1469] ppid=1449 vsize=768384 CPUtime=0.93 cores=0-31
/proc/1451/task/1469/stat : 1469 (plingeling) R 1449 1451 726 0 -1 4202560 479 1243 0 0 92 0 0 1 19 0 33 0 725990682 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4273621 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1451/tid=1470] ppid=1449 vsize=768384 CPUtime=0.92 cores=0-31
/proc/1451/task/1470/stat : 1470 (plingeling) R 1449 1451 726 0 -1 4202560 415 1243 0 0 91 0 0 1 19 0 33 0 725990682 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4252037 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=1451/tid=1471] ppid=1449 vsize=768384 CPUtime=0.93 cores=0-31
/proc/1451/task/1471/stat : 1471 (plingeling) R 1449 1451 726 0 -1 4202560 246 1243 0 0 92 0 0 1 19 0 33 0 725990682 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4253228 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1451/tid=1472] ppid=1449 vsize=768384 CPUtime=0.92 cores=0-31
/proc/1451/task/1472/stat : 1472 (plingeling) R 1449 1451 726 0 -1 4202560 246 1243 0 0 91 0 0 1 22 0 33 0 725990683 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4236623 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1451/tid=1473] ppid=1449 vsize=768384 CPUtime=0.93 cores=0-31
/proc/1451/task/1473/stat : 1473 (plingeling) R 1449 1451 726 0 -1 4202560 423 1243 0 0 92 0 0 1 19 0 33 0 725990683 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4252499 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=1451/tid=1474] ppid=1449 vsize=768384 CPUtime=0.92 cores=0-31
/proc/1451/task/1474/stat : 1474 (plingeling) R 1449 1451 726 0 -1 4202560 433 1243 0 0 91 0 0 1 22 0 33 0 725990683 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=1451/tid=1475] ppid=1449 vsize=768384 CPUtime=0.92 cores=0-31
/proc/1451/task/1475/stat : 1475 (plingeling) R 1449 1451 726 0 -1 4202560 441 1243 0 0 91 0 0 1 19 0 33 0 725990683 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4253214 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=1451/tid=1476] ppid=1449 vsize=768384 CPUtime=0.92 cores=0-31
/proc/1451/task/1476/stat : 1476 (plingeling) R 1449 1451 726 0 -1 4202560 222 1243 0 0 91 0 0 1 22 0 33 0 725990683 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4358103 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=1451/tid=1477] ppid=1449 vsize=768384 CPUtime=0.91 cores=0-31
/proc/1451/task/1477/stat : 1477 (plingeling) R 1449 1451 726 0 -1 4202560 227 1243 0 0 90 0 0 1 22 0 33 0 725990683 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4252113 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=1451/tid=1478] ppid=1449 vsize=768384 CPUtime=0.93 cores=0-31
/proc/1451/task/1478/stat : 1478 (plingeling) R 1449 1451 726 0 -1 4202560 195 1243 0 0 92 0 0 1 19 0 33 0 725990683 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4252606 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1451/tid=1479] ppid=1449 vsize=768384 CPUtime=0.91 cores=0-31
/proc/1451/task/1479/stat : 1479 (plingeling) R 1449 1451 726 0 -1 4202560 496 1243 0 0 90 0 0 1 22 0 33 0 725990683 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4253179 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1451/tid=1480] ppid=1449 vsize=768384 CPUtime=0.92 cores=0-31
/proc/1451/task/1480/stat : 1480 (plingeling) R 1449 1451 726 0 -1 4202560 259 1243 0 0 91 0 0 1 23 0 33 0 725990684 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=1451/tid=1481] ppid=1449 vsize=768384 CPUtime=0.91 cores=0-31
/proc/1451/task/1481/stat : 1481 (plingeling) R 1449 1451 726 0 -1 4202560 224 1243 0 0 90 0 0 1 22 0 33 0 725990684 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4252951 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=1451/tid=1482] ppid=1449 vsize=768384 CPUtime=0.89 cores=0-31
/proc/1451/task/1482/stat : 1482 (plingeling) R 1449 1451 726 0 -1 4202560 206 1243 0 0 88 0 0 1 22 0 33 0 725990684 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4252431 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=1451/tid=1483] ppid=1449 vsize=768384 CPUtime=0.92 cores=0-31
/proc/1451/task/1483/stat : 1483 (plingeling) R 1449 1451 726 0 -1 4202560 613 1243 0 0 91 0 0 1 22 0 33 0 725990684 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4272586 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=1451/tid=1484] ppid=1449 vsize=768384 CPUtime=0.92 cores=0-31
/proc/1451/task/1484/stat : 1484 (plingeling) R 1449 1451 726 0 -1 4202560 246 1243 0 0 91 0 0 1 19 0 33 0 725990684 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=1451/tid=1485] ppid=1449 vsize=768384 CPUtime=0.86 cores=0-31
/proc/1451/task/1485/stat : 1485 (plingeling) R 1449 1451 726 0 -1 4202560 262 1243 0 0 85 0 0 1 22 0 33 0 725990684 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4252431 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=1451/tid=1486] ppid=1449 vsize=768384 CPUtime=0.92 cores=0-31
/proc/1451/task/1486/stat : 1486 (plingeling) R 1449 1451 726 0 -1 4202560 344 1243 0 0 91 0 0 1 22 0 33 0 725990684 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4252361 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=1451/tid=1487] ppid=1449 vsize=768384 CPUtime=0.92 cores=0-31
/proc/1451/task/1487/stat : 1487 (plingeling) R 1449 1451 726 0 -1 4202560 431 1243 0 0 91 0 0 1 23 0 33 0 725990684 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4272157 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=1451/tid=1488] ppid=1449 vsize=768384 CPUtime=0.93 cores=0-31
/proc/1451/task/1488/stat : 1488 (plingeling) R 1449 1451 726 0 -1 4202560 209 1243 0 0 92 0 0 1 19 0 33 0 725990685 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1451/tid=1489] ppid=1449 vsize=768384 CPUtime=0.91 cores=0-31
/proc/1451/task/1489/stat : 1489 (plingeling) R 1449 1451 726 0 -1 4202560 211 1243 0 0 90 0 0 1 22 0 33 0 725990685 786825216 11843 268435456000 4194304 4417452 140736516895616 18446744073709551615 4252408 0 0 4096 17442 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (KiB) 768384

[startup+3.10183 s]
/proc/loadavg: 30.37 30.49 31.29 33/446 1489
/proc/meminfo: memFree=255247652/264257624 swapFree=67111528/67111528
[pid=1451] ppid=1449 vsize=808580 CPUtime=80.56 cores=0-31
/proc/1451/stat : 1451 (plingeling) S 1449 1451 726 0 -1 4202496 41268 1243 0 0 8014 41 0 1 19 0 33 0 725990630 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1451/statm: 202145 22943 175 55 0 200031 0
[pid=1451/tid=1458] ppid=1449 vsize=808580 CPUtime=2.51 cores=0-31
/proc/1451/task/1458/stat : 1458 (plingeling) R 1449 1451 726 0 -1 4202560 907 1243 0 0 249 1 0 1 21 0 33 0 725990682 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4357013 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=1451/tid=1459] ppid=1449 vsize=808580 CPUtime=2.49 cores=0-31
/proc/1451/task/1459/stat : 1459 (plingeling) R 1449 1451 726 0 -1 4202560 1091 1243 0 0 248 0 0 1 18 0 33 0 725990682 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4365111 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=1451/tid=1460] ppid=1449 vsize=808580 CPUtime=2.52 cores=0-31
/proc/1451/task/1460/stat : 1460 (plingeling) R 1449 1451 726 0 -1 4202560 835 1243 0 0 251 0 0 1 18 0 33 0 725990682 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4357818 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1451/tid=1461] ppid=1449 vsize=808580 CPUtime=2.52 cores=0-31
/proc/1451/task/1461/stat : 1461 (plingeling) R 1449 1451 726 0 -1 4202560 626 1243 0 0 251 0 0 1 22 0 33 0 725990682 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=1451/tid=1462] ppid=1449 vsize=808580 CPUtime=2.46 cores=0-31
/proc/1451/task/1462/stat : 1462 (plingeling) R 1449 1451 726 0 -1 4202560 799 1243 0 0 245 0 0 1 21 0 33 0 725990682 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4237284 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1451/tid=1463] ppid=1449 vsize=808580 CPUtime=2.48 cores=0-31
/proc/1451/task/1463/stat : 1463 (plingeling) R 1449 1451 726 0 -1 4202560 1370 1243 0 0 246 1 0 1 18 0 33 0 725990682 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=1451/tid=1464] ppid=1449 vsize=808580 CPUtime=2.52 cores=0-31
/proc/1451/task/1464/stat : 1464 (plingeling) R 1449 1451 726 0 -1 4202560 731 1243 0 0 251 0 0 1 22 0 33 0 725990682 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=1451/tid=1465] ppid=1449 vsize=808580 CPUtime=2.5 cores=0-31
/proc/1451/task/1465/stat : 1465 (plingeling) R 1449 1451 726 0 -1 4202560 928 1243 0 0 248 1 0 1 22 0 33 0 725990682 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=1451/tid=1466] ppid=1449 vsize=808580 CPUtime=2.52 cores=0-31
/proc/1451/task/1466/stat : 1466 (plingeling) R 1449 1451 726 0 -1 4202560 1052 1243 0 0 251 0 0 1 22 0 33 0 725990682 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4325402 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=1451/tid=1467] ppid=1449 vsize=808580 CPUtime=2.5 cores=0-31
/proc/1451/task/1467/stat : 1467 (plingeling) R 1449 1451 726 0 -1 4202560 686 1243 0 0 249 0 0 1 22 0 33 0 725990682 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=1451/tid=1468] ppid=1449 vsize=808580 CPUtime=2.52 cores=0-31
/proc/1451/task/1468/stat : 1468 (plingeling) R 1449 1451 726 0 -1 4202560 1214 1243 0 0 250 1 0 1 22 0 33 0 725990682 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4352402 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1451/tid=1469] ppid=1449 vsize=808580 CPUtime=2.49 cores=0-31
/proc/1451/task/1469/stat : 1469 (plingeling) R 1449 1451 726 0 -1 4202560 1585 1243 0 0 247 1 0 1 21 0 33 0 725990682 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1451/tid=1470] ppid=1449 vsize=808580 CPUtime=2.51 cores=0-31
/proc/1451/task/1470/stat : 1470 (plingeling) R 1449 1451 726 0 -1 4202560 1161 1243 0 0 249 1 0 1 22 0 33 0 725990682 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4236982 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=1451/tid=1471] ppid=1449 vsize=808580 CPUtime=2.51 cores=0-31
/proc/1451/task/1471/stat : 1471 (plingeling) R 1449 1451 726 0 -1 4202560 612 1243 0 0 250 0 0 1 22 0 33 0 725990682 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=1451/tid=1472] ppid=1449 vsize=808580 CPUtime=2.51 cores=0-31
/proc/1451/task/1472/stat : 1472 (plingeling) R 1449 1451 726 0 -1 4202560 970 1243 0 0 249 1 0 1 25 0 33 0 725990683 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4250432 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1451/tid=1473] ppid=1449 vsize=808580 CPUtime=2.49 cores=0-31
/proc/1451/task/1473/stat : 1473 (plingeling) R 1449 1451 726 0 -1 4202560 1118 1243 0 0 247 1 0 1 21 0 33 0 725990683 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4366063 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=1451/tid=1474] ppid=1449 vsize=808580 CPUtime=2.5 cores=0-31
/proc/1451/task/1474/stat : 1474 (plingeling) R 1449 1451 726 0 -1 4202560 1363 1243 0 0 248 1 0 1 25 0 33 0 725990683 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=1451/tid=1475] ppid=1449 vsize=808580 CPUtime=2.5 cores=0-31
/proc/1451/task/1475/stat : 1475 (plingeling) R 1449 1451 726 0 -1 4202560 1232 1243 0 0 248 1 0 1 22 0 33 0 725990683 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 18446744073699065920 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=1451/tid=1476] ppid=1449 vsize=808580 CPUtime=2.52 cores=0-31
/proc/1451/task/1476/stat : 1476 (plingeling) R 1449 1451 726 0 -1 4202560 1178 1243 0 0 250 1 0 1 25 0 33 0 725990683 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=1451/tid=1477] ppid=1449 vsize=808580 CPUtime=2.51 cores=0-31
/proc/1451/task/1477/stat : 1477 (plingeling) R 1449 1451 726 0 -1 4202560 905 1243 0 0 249 1 0 1 25 0 33 0 725990683 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4365204 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=1451/tid=1478] ppid=1449 vsize=808580 CPUtime=2.5 cores=0-31
/proc/1451/task/1478/stat : 1478 (plingeling) R 1449 1451 726 0 -1 4202560 871 1243 0 0 249 0 0 1 22 0 33 0 725990683 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1451/tid=1479] ppid=1449 vsize=808580 CPUtime=2.48 cores=0-31
/proc/1451/task/1479/stat : 1479 (plingeling) R 1449 1451 726 0 -1 4202560 1098 1243 0 0 246 1 0 1 25 0 33 0 725990683 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364474 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1451/tid=1480] ppid=1449 vsize=808580 CPUtime=2.51 cores=0-31
/proc/1451/task/1480/stat : 1480 (plingeling) R 1449 1451 726 0 -1 4202560 1243 1243 0 0 249 1 0 1 25 0 33 0 725990684 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=1451/tid=1481] ppid=1449 vsize=808580 CPUtime=2.48 cores=0-31
/proc/1451/task/1481/stat : 1481 (plingeling) R 1449 1451 726 0 -1 4202560 744 1243 0 0 246 1 0 1 25 0 33 0 725990684 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=1451/tid=1482] ppid=1449 vsize=808580 CPUtime=2.48 cores=0-31
/proc/1451/task/1482/stat : 1482 (plingeling) R 1449 1451 726 0 -1 4202560 1321 1243 0 0 247 0 0 1 25 0 33 0 725990684 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4357589 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=1451/tid=1483] ppid=1449 vsize=808580 CPUtime=2.51 cores=0-31
/proc/1451/task/1483/stat : 1483 (plingeling) R 1449 1451 726 0 -1 4202560 1658 1243 0 0 249 1 0 1 25 0 33 0 725990684 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=1451/tid=1484] ppid=1449 vsize=808580 CPUtime=2.51 cores=0-31
/proc/1451/task/1484/stat : 1484 (plingeling) R 1449 1451 726 0 -1 4202560 1026 1243 0 0 250 0 0 1 22 0 33 0 725990684 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=1451/tid=1485] ppid=1449 vsize=808580 CPUtime=2.44 cores=0-31
/proc/1451/task/1485/stat : 1485 (plingeling) R 1449 1451 726 0 -1 4202560 949 1243 0 0 242 1 0 1 25 0 33 0 725990684 827985920 22943 268435456000 4194304 4417452 140736516895616 18446744073709551615 4321331 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=1451/tid=1486] ppid=1449 vsize=808580 CPUtime=2.47 cores=0-31

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

[pid=1451/tid=1458] ppid=1449 vsize=9213016 CPUtime=4958.34 cores=0-31
/proc/1451/task/1458/stat : 1458 (plingeling) R 1449 1451 726 0 -1 4202560 473351 1243 0 0 495116 717 0 1 25 0 33 0 725990682 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1451/tid=1459] ppid=1449 vsize=9213016 CPUtime=4959.75 cores=0-31
/proc/1451/task/1459/stat : 1459 (plingeling) R 1449 1451 726 0 -1 4202560 454644 1243 0 0 495341 633 0 1 25 0 33 0 725990682 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=1451/tid=1460] ppid=1449 vsize=9213016 CPUtime=4958.58 cores=0-31
/proc/1451/task/1460/stat : 1460 (plingeling) R 1449 1451 726 0 -1 4202560 363233 1243 0 0 495420 437 0 1 25 0 33 0 725990682 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=1451/tid=1461] ppid=1449 vsize=9213016 CPUtime=4956.84 cores=0-31
/proc/1451/task/1461/stat : 1461 (plingeling) R 1449 1451 726 0 -1 4202560 659983 1243 0 0 495248 435 0 1 25 0 33 0 725990682 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=1451/tid=1462] ppid=1449 vsize=9213016 CPUtime=4959.43 cores=0-31
/proc/1451/task/1462/stat : 1462 (plingeling) R 1449 1451 726 0 -1 4202560 286346 1243 0 0 495524 418 0 1 25 0 33 0 725990682 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=1451/tid=1463] ppid=1449 vsize=9213016 CPUtime=4959.37 cores=0-31
/proc/1451/task/1463/stat : 1463 (plingeling) R 1449 1451 726 0 -1 4202560 285318 1243 0 0 495468 468 0 1 25 0 33 0 725990682 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1451/tid=1464] ppid=1449 vsize=9213016 CPUtime=4959.56 cores=0-31
/proc/1451/task/1464/stat : 1464 (plingeling) R 1449 1451 726 0 -1 4202560 390940 1243 0 0 495458 497 0 1 25 0 33 0 725990682 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=1451/tid=1465] ppid=1449 vsize=9213016 CPUtime=4957.57 cores=0-31
/proc/1451/task/1465/stat : 1465 (plingeling) R 1449 1451 726 0 -1 4202560 362175 1243 0 0 495205 551 0 1 25 0 33 0 725990682 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=1451/tid=1466] ppid=1449 vsize=9213016 CPUtime=4959.58 cores=0-31
/proc/1451/task/1466/stat : 1466 (plingeling) R 1449 1451 726 0 -1 4202560 400040 1243 0 0 495442 515 0 1 25 0 33 0 725990682 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=1451/tid=1467] ppid=1449 vsize=9213016 CPUtime=4959.4 cores=0-31
/proc/1451/task/1467/stat : 1467 (plingeling) R 1449 1451 726 0 -1 4202560 302957 1243 0 0 495472 467 0 1 25 0 33 0 725990682 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=1451/tid=1468] ppid=1449 vsize=9213016 CPUtime=4959.6 cores=0-31
/proc/1451/task/1468/stat : 1468 (plingeling) R 1449 1451 726 0 -1 4202560 357716 1243 0 0 495491 468 0 1 25 0 33 0 725990682 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=1451/tid=1469] ppid=1449 vsize=9213016 CPUtime=4955.04 cores=0-31
/proc/1451/task/1469/stat : 1469 (plingeling) R 1449 1451 726 0 -1 4202560 352420 1243 0 0 495024 479 0 1 25 0 33 0 725990682 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=1451/tid=1470] ppid=1449 vsize=9213016 CPUtime=4959.47 cores=0-31
/proc/1451/task/1470/stat : 1470 (plingeling) R 1449 1451 726 0 -1 4202560 340167 1243 0 0 495437 509 0 1 25 0 33 0 725990682 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=1451/tid=1471] ppid=1449 vsize=9213016 CPUtime=4957.66 cores=0-31
/proc/1451/task/1471/stat : 1471 (plingeling) R 1449 1451 726 0 -1 4202560 518298 1243 0 0 495079 686 0 1 25 0 33 0 725990682 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1451/tid=1472] ppid=1449 vsize=9213016 CPUtime=4959.62 cores=0-31
/proc/1451/task/1472/stat : 1472 (plingeling) R 1449 1451 726 0 -1 4202560 284335 1243 0 0 495540 421 0 1 25 0 33 0 725990683 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=1451/tid=1473] ppid=1449 vsize=9213016 CPUtime=4958.51 cores=0-31
/proc/1451/task/1473/stat : 1473 (plingeling) R 1449 1451 726 0 -1 4202560 442131 1243 0 0 495329 521 0 1 25 0 33 0 725990683 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=1451/tid=1474] ppid=1449 vsize=9213016 CPUtime=4958.09 cores=0-31
/proc/1451/task/1474/stat : 1474 (plingeling) R 1449 1451 726 0 -1 4202560 324399 1243 0 0 495322 486 0 1 25 0 33 0 725990683 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=1451/tid=1475] ppid=1449 vsize=9213016 CPUtime=4959.95 cores=0-31
/proc/1451/task/1475/stat : 1475 (plingeling) R 1449 1451 726 0 -1 4202560 363152 1243 0 0 495503 491 0 1 25 0 33 0 725990683 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=1451/tid=1476] ppid=1449 vsize=9213016 CPUtime=4959.3 cores=0-31
/proc/1451/task/1476/stat : 1476 (plingeling) R 1449 1451 726 0 -1 4202560 321104 1243 0 0 495411 518 0 1 25 0 33 0 725990683 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1451/tid=1477] ppid=1449 vsize=9213016 CPUtime=4958.93 cores=0-31
/proc/1451/task/1477/stat : 1477 (plingeling) R 1449 1451 726 0 -1 4202560 311297 1243 0 0 495398 494 0 1 25 0 33 0 725990683 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=1451/tid=1478] ppid=1449 vsize=9213016 CPUtime=4945.22 cores=0-31
/proc/1451/task/1478/stat : 1478 (plingeling) R 1449 1451 726 0 -1 4202560 374706 1243 0 0 494097 424 0 1 25 0 33 0 725990683 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1451/tid=1479] ppid=1449 vsize=9213016 CPUtime=4959.62 cores=0-31
/proc/1451/task/1479/stat : 1479 (plingeling) R 1449 1451 726 0 -1 4202560 375230 1243 0 0 495438 523 0 1 25 0 33 0 725990683 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4320952 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=1451/tid=1480] ppid=1449 vsize=9213016 CPUtime=4959.1 cores=0-31
/proc/1451/task/1480/stat : 1480 (plingeling) R 1449 1451 726 0 -1 4202560 357025 1243 0 0 495410 499 0 1 25 0 33 0 725990684 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1451/tid=1481] ppid=1449 vsize=9213016 CPUtime=4959.55 cores=0-31
/proc/1451/task/1481/stat : 1481 (plingeling) R 1449 1451 726 0 -1 4202560 385671 1243 0 0 495476 478 0 1 25 0 33 0 725990684 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=1451/tid=1482] ppid=1449 vsize=9213016 CPUtime=4958.69 cores=0-31
/proc/1451/task/1482/stat : 1482 (plingeling) R 1449 1451 726 0 -1 4202560 361486 1243 0 0 495292 576 0 1 25 0 33 0 725990684 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1451/tid=1483] ppid=1449 vsize=9213016 CPUtime=4957.26 cores=0-31
/proc/1451/task/1483/stat : 1483 (plingeling) R 1449 1451 726 0 -1 4202560 334637 1243 0 0 495149 576 0 1 25 0 33 0 725990684 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=1451/tid=1484] ppid=1449 vsize=9213016 CPUtime=4958.18 cores=0-31
/proc/1451/task/1484/stat : 1484 (plingeling) R 1449 1451 726 0 -1 4202560 362270 1243 0 0 495333 484 0 1 25 0 33 0 725990684 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=1451/tid=1485] ppid=1449 vsize=9213016 CPUtime=4854.76 cores=0-31
/proc/1451/task/1485/stat : 1485 (plingeling) R 1449 1451 726 0 -1 4202560 343213 1243 0 0 484991 484 0 1 25 0 33 0 725990684 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=1451/tid=1486] ppid=1449 vsize=9213016 CPUtime=4958.69 cores=0-31
/proc/1451/task/1486/stat : 1486 (plingeling) R 1449 1451 726 0 -1 4202560 328917 1243 0 0 495376 492 0 1 25 0 33 0 725990684 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=1451/tid=1487] ppid=1449 vsize=9213016 CPUtime=4959.57 cores=0-31
/proc/1451/task/1487/stat : 1487 (plingeling) R 1449 1451 726 0 -1 4202560 301599 1243 0 0 495509 447 0 1 25 0 33 0 725990684 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1451/tid=1488] ppid=1449 vsize=9213016 CPUtime=4958.99 cores=0-31
/proc/1451/task/1488/stat : 1488 (plingeling) R 1449 1451 726 0 -1 4202560 409263 1243 0 0 495375 523 0 1 25 0 33 0 725990685 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1451/tid=1489] ppid=1449 vsize=9213016 CPUtime=4958.71 cores=0-31
/proc/1451/task/1489/stat : 1489 (plingeling) R 1449 1451 726 0 -1 4202560 351926 1243 0 0 495373 497 0 1 25 0 33 0 725990685 9434128384 2124486 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 158563
Current children cumulated vsize (KiB) 9213016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5007.3 s]
/proc/loadavg: 32.24 32.12 32.03 33/446 1635
/proc/meminfo: memFree=246750676/264257624 swapFree=67111528/67111528
[pid=1451] ppid=1449 vsize=9287416 CPUtime=160002 cores=0-31
/proc/1451/stat : 1451 (plingeling) S 1449 1451 726 0 -1 4202496 11906151 1243 0 0 15983937 16274 0 1 19 0 33 0 725990630 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1451/statm: 2321854 2143086 175 55 0 2319740 0
[pid=1451/tid=1458] ppid=1449 vsize=9287416 CPUtime=5003.35 cores=0-31
/proc/1451/task/1458/stat : 1458 (plingeling) R 1449 1451 726 0 -1 4202560 473351 1243 0 0 499617 717 0 1 25 0 33 0 725990682 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=1451/tid=1459] ppid=1449 vsize=9287416 CPUtime=5004.76 cores=0-31
/proc/1451/task/1459/stat : 1459 (plingeling) R 1449 1451 726 0 -1 4202560 454644 1243 0 0 499842 633 0 1 25 0 33 0 725990682 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=1451/tid=1460] ppid=1449 vsize=9287416 CPUtime=5003.59 cores=0-31
/proc/1451/task/1460/stat : 1460 (plingeling) R 1449 1451 726 0 -1 4202560 363233 1243 0 0 499921 437 0 1 25 0 33 0 725990682 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=1451/tid=1461] ppid=1449 vsize=9287416 CPUtime=5001.86 cores=0-31
/proc/1451/task/1461/stat : 1461 (plingeling) R 1449 1451 726 0 -1 4202560 664090 1243 0 0 499748 437 0 1 25 0 33 0 725990682 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=1451/tid=1462] ppid=1449 vsize=9287416 CPUtime=5004.45 cores=0-31
/proc/1451/task/1462/stat : 1462 (plingeling) R 1449 1451 726 0 -1 4202560 286346 1243 0 0 500026 418 0 1 25 0 33 0 725990682 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=1451/tid=1463] ppid=1449 vsize=9287416 CPUtime=5004.38 cores=0-31
/proc/1451/task/1463/stat : 1463 (plingeling) R 1449 1451 726 0 -1 4202560 285318 1243 0 0 499969 468 0 1 25 0 33 0 725990682 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1451/tid=1464] ppid=1449 vsize=9287416 CPUtime=5004.57 cores=0-31
/proc/1451/task/1464/stat : 1464 (plingeling) R 1449 1451 726 0 -1 4202560 390940 1243 0 0 499959 497 0 1 25 0 33 0 725990682 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=1451/tid=1465] ppid=1449 vsize=9287416 CPUtime=5002.57 cores=0-31
/proc/1451/task/1465/stat : 1465 (plingeling) R 1449 1451 726 0 -1 4202560 362175 1243 0 0 499705 551 0 1 25 0 33 0 725990682 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=1451/tid=1466] ppid=1449 vsize=9287416 CPUtime=5004.6 cores=0-31
/proc/1451/task/1466/stat : 1466 (plingeling) R 1449 1451 726 0 -1 4202560 400040 1243 0 0 499944 515 0 1 25 0 33 0 725990682 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=1451/tid=1467] ppid=1449 vsize=9287416 CPUtime=5004.41 cores=0-31
/proc/1451/task/1467/stat : 1467 (plingeling) R 1449 1451 726 0 -1 4202560 302957 1243 0 0 499973 467 0 1 25 0 33 0 725990682 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=1451/tid=1468] ppid=1449 vsize=9287416 CPUtime=5004.61 cores=0-31
/proc/1451/task/1468/stat : 1468 (plingeling) R 1449 1451 726 0 -1 4202560 357716 1243 0 0 499992 468 0 1 25 0 33 0 725990682 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=1451/tid=1469] ppid=1449 vsize=9287416 CPUtime=5000.06 cores=0-31
/proc/1451/task/1469/stat : 1469 (plingeling) R 1449 1451 726 0 -1 4202560 352420 1243 0 0 499526 479 0 1 25 0 33 0 725990682 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=1451/tid=1470] ppid=1449 vsize=9287416 CPUtime=5004.48 cores=0-31
/proc/1451/task/1470/stat : 1470 (plingeling) R 1449 1451 726 0 -1 4202560 340167 1243 0 0 499938 509 0 1 25 0 33 0 725990682 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=1451/tid=1471] ppid=1449 vsize=9287416 CPUtime=5002.67 cores=0-31
/proc/1451/task/1471/stat : 1471 (plingeling) R 1449 1451 726 0 -1 4202560 518298 1243 0 0 499580 686 0 1 25 0 33 0 725990682 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=1451/tid=1472] ppid=1449 vsize=9287416 CPUtime=5004.64 cores=0-31
/proc/1451/task/1472/stat : 1472 (plingeling) R 1449 1451 726 0 -1 4202560 284335 1243 0 0 500042 421 0 1 25 0 33 0 725990683 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=1451/tid=1473] ppid=1449 vsize=9287416 CPUtime=5003.53 cores=0-31
/proc/1451/task/1473/stat : 1473 (plingeling) R 1449 1451 726 0 -1 4202560 442131 1243 0 0 499831 521 0 1 25 0 33 0 725990683 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=1451/tid=1474] ppid=1449 vsize=9287416 CPUtime=5003.11 cores=0-31
/proc/1451/task/1474/stat : 1474 (plingeling) R 1449 1451 726 0 -1 4202560 324399 1243 0 0 499824 486 0 1 25 0 33 0 725990683 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=1451/tid=1475] ppid=1449 vsize=9287416 CPUtime=5004.17 cores=0-31
/proc/1451/task/1475/stat : 1475 (plingeling) R 1449 1451 726 0 -1 4202560 363152 1243 0 0 499925 491 0 1 25 0 33 0 725990683 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=1451/tid=1476] ppid=1449 vsize=9287416 CPUtime=5004.32 cores=0-31
/proc/1451/task/1476/stat : 1476 (plingeling) R 1449 1451 726 0 -1 4202560 321104 1243 0 0 499913 518 0 1 25 0 33 0 725990683 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=1451/tid=1477] ppid=1449 vsize=9287416 CPUtime=5003.94 cores=0-31
/proc/1451/task/1477/stat : 1477 (plingeling) R 1449 1451 726 0 -1 4202560 311297 1243 0 0 499899 494 0 1 25 0 33 0 725990683 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=1451/tid=1478] ppid=1449 vsize=9287416 CPUtime=4990.23 cores=0-31
/proc/1451/task/1478/stat : 1478 (plingeling) R 1449 1451 726 0 -1 4202560 388383 1243 0 0 498561 461 0 1 25 0 33 0 725990683 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=1451/tid=1479] ppid=1449 vsize=9287416 CPUtime=5004.63 cores=0-31
/proc/1451/task/1479/stat : 1479 (plingeling) R 1449 1451 726 0 -1 4202560 375230 1243 0 0 499939 523 0 1 25 0 33 0 725990683 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=1451/tid=1480] ppid=1449 vsize=9287416 CPUtime=5004.12 cores=0-31
/proc/1451/task/1480/stat : 1480 (plingeling) R 1449 1451 726 0 -1 4202560 357025 1243 0 0 499912 499 0 1 25 0 33 0 725990684 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=1451/tid=1481] ppid=1449 vsize=9287416 CPUtime=5004.56 cores=0-31
/proc/1451/task/1481/stat : 1481 (plingeling) R 1449 1451 726 0 -1 4202560 385671 1243 0 0 499977 478 0 1 25 0 33 0 725990684 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364735 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=1451/tid=1482] ppid=1449 vsize=9287416 CPUtime=5003.7 cores=0-31
/proc/1451/task/1482/stat : 1482 (plingeling) R 1449 1451 726 0 -1 4202560 361486 1243 0 0 499793 576 0 1 25 0 33 0 725990684 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1451/tid=1483] ppid=1449 vsize=9287416 CPUtime=5002.25 cores=0-31
/proc/1451/task/1483/stat : 1483 (plingeling) R 1449 1451 726 0 -1 4202560 334637 1243 0 0 499648 576 0 1 25 0 33 0 725990684 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=1451/tid=1484] ppid=1449 vsize=9287416 CPUtime=5003.19 cores=0-31
/proc/1451/task/1484/stat : 1484 (plingeling) R 1449 1451 726 0 -1 4202560 363086 1243 0 0 499832 486 0 1 25 0 33 0 725990684 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=1451/tid=1485] ppid=1449 vsize=9287416 CPUtime=4899.26 cores=0-31
/proc/1451/task/1485/stat : 1485 (plingeling) R 1449 1451 726 0 -1 4202560 343213 1243 0 0 489441 484 0 1 25 0 33 0 725990684 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=1451/tid=1486] ppid=1449 vsize=9287416 CPUtime=5003.7 cores=0-31
/proc/1451/task/1486/stat : 1486 (plingeling) R 1449 1451 726 0 -1 4202560 328917 1243 0 0 499877 492 0 1 25 0 33 0 725990684 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=1451/tid=1487] ppid=1449 vsize=9287416 CPUtime=5004.59 cores=0-31
/proc/1451/task/1487/stat : 1487 (plingeling) R 1449 1451 726 0 -1 4202560 301599 1243 0 0 500011 447 0 1 25 0 33 0 725990684 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1451/tid=1488] ppid=1449 vsize=9287416 CPUtime=5003.99 cores=0-31
/proc/1451/task/1488/stat : 1488 (plingeling) R 1449 1451 726 0 -1 4202560 409263 1243 0 0 499875 523 0 1 25 0 33 0 725990685 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=1451/tid=1489] ppid=1449 vsize=9287416 CPUtime=5003.72 cores=0-31
/proc/1451/task/1489/stat : 1489 (plingeling) R 1449 1451 726 0 -1 4202560 351926 1243 0 0 499874 497 0 1 25 0 33 0 725990685 9510313984 2143086 268435456000 4194304 4417452 140736516895616 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 9287416

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+5007.8 s]
/proc/loadavg: 32.24 32.12 32.03 33/446 1635
/proc/meminfo: memFree=246750676/264257624 swapFree=67111528/67111528
[pid=1451] ppid=1449 vsize=0 CPUtime=160003 cores=0-31
/proc/1451/stat : 1451 (plingeling) Z 1449 1451 726 0 -1 4203548 11906151 1243 0 0 15984000 16321 0 1 18 0 2 0 725990630 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1451/statm: 0 0 0 0 0 0 0
[pid=1451/tid=1463] ppid=1449 vsize=0 CPUtime=5004.86 cores=0-31
/proc/1451/task/1463/stat : 1463 (plingeling) R 1449 1451 726 0 -1 4203588 285318 1243 0 0 499970 515 0 1 25 0 2 0 725990682 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5008 s]
/proc/loadavg: 32.24 32.12 32.03 33/446 1635
/proc/meminfo: memFree=246750676/264257624 swapFree=67111528/67111528
[pid=1451] ppid=1449 vsize=0 CPUtime=160003 cores=0-31
/proc/1451/stat : 1451 (plingeling) Z 1449 1451 726 0 -1 4203548 11906151 1243 0 0 15984000 16341 0 1 18 0 2 0 725990630 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/1451/statm: 0 0 0 0 0 0 0
[pid=1451/tid=1463] ppid=1449 vsize=0 CPUtime=5005.06 cores=0-31
/proc/1451/task/1463/stat : 1463 (plingeling) R 1449 1451 726 0 -1 4203588 285318 1243 0 0 499970 535 0 1 25 0 2 0 725990682 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5008.02
CPU time (s): 160003
CPU user time (s): 159840
CPU system time (s): 163.449
CPU usage (%): 3194.94
Max. virtual memory (cumulated for all children) (KiB): 9472660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159840
system time used= 163.449
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11907394
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= 14770
involuntary context switches= 400479

runsolver used 25.3431 second user time and 115.937 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-23 12:04:02
IDJOB=3372945
IDBENCH=88045
IDSOLVER=1852
FILE ID=node200/3372945-1306145042
RUNJOBID= node200-1306144788-740
PBS_JOBID= 13387844
Free space on /tmp= 62048 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT02/industrial/dellacherie/comb/comb1.shuffled.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372945-1306145042/watcher-3372945-1306145042 -o /tmp/evaluation-result-3372945-1306145042/solver-3372945-1306145042 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372945-1306145042.cnf

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

MD5SUM BENCH= 0e9d17eb95ee436fc1015c5591cfb63f
RANDOM SEED=188864145

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:      255321088 kB
Buffers:        459804 kB
Cached:        8060632 kB
SwapCached:          0 kB
Active:        7611196 kB
Inactive:       978612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255321088 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             940 kB
Writeback:           0 kB
AnonPages:       71760 kB
Mapped:          15996 kB
Slab:           253760 kB
PageTables:       5616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   187332 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62044 MiB
End job on node200 at 2011-05-23 13:27:32