Trace number 3372765

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) 160004 5006.85

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
32/aes_32_4_keyfind_1.cnf
MD5SUMd71ab4cbe872e5620884d4e4d370890a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables912
Number of clauses3488
Sum of the clauses size11040
Maximum clause length5
Minimum clause length1
Number of clauses of size 180
Number of clauses of size 2160
Number of clauses of size 32432
Number of clauses of size 4736
Number of clauses of size 580
Number of clauses of size over 50

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-3372765-1306040977/watcher-3372765-1306040977 -o /tmp/evaluation-result-3372765-1306040977/solver-3372765-1306040977 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372765-1306040977.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: 29.55 31.52 31.88 1/413 23591
/proc/meminfo: memFree=255504112/264257624 swapFree=67111528/67111528
[pid=23591] ppid=23589 vsize=11692 CPUtime=0.03 cores=0-31
/proc/23591/stat : 23591 (plingeling) R 23589 23591 23565 0 -1 4202496 985 1244 0 0 2 0 0 1 23 0 1 0 715584135 11972608 917 268435456000 4194304 4417452 140733653142448 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23591/statm: 2923 917 145 55 0 809 0

[startup+0.0990299 s]
/proc/loadavg: 29.55 31.52 31.88 1/413 23591
/proc/meminfo: memFree=255504112/264257624 swapFree=67111528/67111528
[pid=23591] ppid=23589 vsize=255948 CPUtime=0.1 cores=0-31
/proc/23591/stat : 23591 (plingeling) R 23589 23591 23565 0 -1 4202496 2186 1244 0 0 9 0 0 1 20 0 17 0 715584135 262090752 2114 268435456000 4194304 4417452 140733653142448 18446744073709551615 258650999207 0 0 4096 17442 18446744073709551615 0 0 17 17 0 0 0
/proc/23591/statm: 63987 2114 160 55 0 61873 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 255948

[startup+0.101012 s]
/proc/loadavg: 29.55 31.52 31.88 1/413 23591
/proc/meminfo: memFree=255504112/264257624 swapFree=67111528/67111528
[pid=23591] ppid=23589 vsize=331728 CPUtime=0.11 cores=0-31
/proc/23591/stat : 23591 (plingeling) D 23589 23591 23565 0 -1 4202496 2240 1244 0 0 10 0 0 1 20 0 18 0 715584135 339689472 2165 268435456000 4194304 4417452 140733653142448 18446744073709551615 258650999207 0 0 4096 17442 18446744073709551615 0 0 17 13 0 0 0
/proc/23591/statm: 99316 2166 163 55 0 97202 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 331728

[startup+0.567525 s]
/proc/loadavg: 29.55 31.52 31.88 1/413 23591
/proc/meminfo: memFree=255504112/264257624 swapFree=67111528/67111528
[pid=23591] ppid=23589 vsize=682932 CPUtime=14.73 cores=0-31
/proc/23591/stat : 23591 (plingeling) S 23589 23591 23565 0 -1 4202496 7486 1244 0 0 1466 6 0 1 19 0 33 0 715584135 699322368 5930 268435456000 4194304 4417452 140733653142448 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/23591/statm: 170733 5930 175 55 0 168619 0
Current children cumulated CPU time (s) 14.73
Current children cumulated vsize (KiB) 682932

[startup+0.864277 s]
/proc/loadavg: 29.55 31.52 31.88 1/413 23591
/proc/meminfo: memFree=255504112/264257624 swapFree=67111528/67111528
[pid=23591] ppid=23589 vsize=692192 CPUtime=24.15 cores=0-31
/proc/23591/stat : 23591 (plingeling) S 23589 23591 23565 0 -1 4202496 12873 1244 0 0 2401 13 0 1 19 0 33 0 715584135 708804608 8341 268435456000 4194304 4417452 140733653142448 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/23591/statm: 173061 8341 175 55 0 170947 0
Current children cumulated CPU time (s) 24.15
Current children cumulated vsize (KiB) 692192

[startup+1.50194 s]
/proc/loadavg: 29.55 31.52 31.88 33/446 23629
/proc/meminfo: memFree=255453224/264257624 swapFree=67111528/67111528
[pid=23591] ppid=23589 vsize=710856 CPUtime=44.15 cores=0-31
/proc/23591/stat : 23591 (plingeling) S 23589 23591 23565 0 -1 4202496 27025 1244 0 0 4380 34 0 1 19 0 33 0 715584135 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/23591/statm: 177714 13127 175 55 0 175600 0
[pid=23591/tid=23598] ppid=23589 vsize=710856 CPUtime=1.38 cores=0-31
/proc/23591/task/23598/stat : 23598 (plingeling) R 23589 23591 23565 0 -1 4202560 782 1244 0 0 136 1 0 1 19 0 33 0 715584145 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 4356852 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23591/tid=23599] ppid=23589 vsize=710856 CPUtime=1.37 cores=0-31
/proc/23591/task/23599/stat : 23599 (plingeling) R 23589 23591 23565 0 -1 4202560 643 1244 0 0 136 0 0 1 19 0 33 0 715584145 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23591/tid=23600] ppid=23589 vsize=710856 CPUtime=1.38 cores=0-31
/proc/23591/task/23600/stat : 23600 (plingeling) R 23589 23591 23565 0 -1 4202560 1113 1244 0 0 136 1 0 1 18 0 33 0 715584145 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 4236949 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=23591/tid=23601] ppid=23589 vsize=710856 CPUtime=1.39 cores=0-31
/proc/23591/task/23601/stat : 23601 (plingeling) R 23589 23591 23565 0 -1 4202560 498 1244 0 0 138 0 0 1 25 0 33 0 715584145 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 4250615 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=23591/tid=23602] ppid=23589 vsize=710856 CPUtime=1.35 cores=0-31
/proc/23591/task/23602/stat : 23602 (plingeling) R 23589 23591 23565 0 -1 4202560 833 1244 0 0 133 1 0 1 18 0 33 0 715584145 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 4366590 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=23591/tid=23603] ppid=23589 vsize=710856 CPUtime=1.39 cores=0-31
/proc/23591/task/23603/stat : 23603 (plingeling) R 23589 23591 23565 0 -1 4202560 762 1244 0 0 137 1 0 1 19 0 33 0 715584145 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23591/tid=23604] ppid=23589 vsize=710856 CPUtime=1.39 cores=0-31
/proc/23591/task/23604/stat : 23604 (plingeling) R 23589 23591 23565 0 -1 4202560 1048 1244 0 0 137 1 0 1 19 0 33 0 715584145 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23591/tid=23605] ppid=23589 vsize=710856 CPUtime=1.38 cores=0-31
/proc/23591/task/23605/stat : 23605 (plingeling) R 23589 23591 23565 0 -1 4202560 623 1244 0 0 137 0 0 1 19 0 33 0 715584145 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=23591/tid=23606] ppid=23589 vsize=710856 CPUtime=1.38 cores=0-31
/proc/23591/task/23606/stat : 23606 (plingeling) R 23589 23591 23565 0 -1 4202560 570 1244 0 0 137 0 0 1 19 0 33 0 715584145 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=23591/tid=23607] ppid=23589 vsize=710856 CPUtime=1.36 cores=0-31
/proc/23591/task/23607/stat : 23607 (plingeling) R 23589 23591 23565 0 -1 4202560 782 1244 0 0 134 1 0 1 22 0 33 0 715584145 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=23591/tid=23608] ppid=23589 vsize=710856 CPUtime=1.38 cores=0-31
/proc/23591/task/23608/stat : 23608 (plingeling) R 23589 23591 23565 0 -1 4202560 918 1244 0 0 136 1 0 1 18 0 33 0 715584145 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=23591/tid=23609] ppid=23589 vsize=710856 CPUtime=1.37 cores=0-31
/proc/23591/task/23609/stat : 23609 (plingeling) R 23589 23591 23565 0 -1 4202560 639 1244 0 0 136 0 0 1 18 0 33 0 715584145 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=23591/tid=23610] ppid=23589 vsize=710856 CPUtime=1.38 cores=0-31
/proc/23591/task/23610/stat : 23610 (plingeling) R 23589 23591 23565 0 -1 4202560 878 1244 0 0 136 1 0 1 19 0 33 0 715584145 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=23591/tid=23611] ppid=23589 vsize=710856 CPUtime=1.39 cores=0-31
/proc/23591/task/23611/stat : 23611 (plingeling) R 23589 23591 23565 0 -1 4202560 845 1244 0 0 137 1 0 1 18 0 33 0 715584145 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=23591/tid=23612] ppid=23589 vsize=710856 CPUtime=1.39 cores=0-31
/proc/23591/task/23612/stat : 23612 (plingeling) R 23589 23591 23565 0 -1 4202560 1000 1244 0 0 137 1 0 1 18 0 33 0 715584145 727916544 13127 268435456000 4194304 4417452 140733653142448 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=23591/tid=23613] ppid=23589 vsize=710972 CPUtime=1.38 cores=0-31
/proc/23591/task/23613/stat : 23613 (plingeling) R 23589 23591 23565 0 -1 4202560 770 1244 0 0 137 0 0 1 19 0 33 0 715584145 728035328 13094 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=23591/tid=23614] ppid=23589 vsize=710840 CPUtime=1.39 cores=0-31
/proc/23591/task/23614/stat : 23614 (plingeling) R 23589 23591 23565 0 -1 4202560 710 1244 0 0 137 1 0 1 25 0 33 0 715584145 727900160 13097 268435456000 4194304 4417452 140733653142448 18446744073709551615 258650648512 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23591/tid=23615] ppid=23589 vsize=710840 CPUtime=1.38 cores=0-31
/proc/23591/task/23615/stat : 23615 (plingeling) R 23589 23591 23565 0 -1 4202560 717 1244 0 0 137 0 0 1 19 0 33 0 715584145 727900160 13034 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=23591/tid=23616] ppid=23589 vsize=710572 CPUtime=1.37 cores=0-31
/proc/23591/task/23616/stat : 23616 (plingeling) R 23589 23591 23565 0 -1 4202560 905 1244 0 0 135 1 0 1 19 0 33 0 715584145 727625728 13044 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=23591/tid=23617] ppid=23589 vsize=710572 CPUtime=1.38 cores=0-31
/proc/23591/task/23617/stat : 23617 (plingeling) R 23589 23591 23565 0 -1 4202560 604 1244 0 0 136 1 0 1 19 0 33 0 715584146 727625728 13056 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=23591/tid=23618] ppid=23589 vsize=710572 CPUtime=1.37 cores=0-31
/proc/23591/task/23618/stat : 23618 (plingeling) R 23589 23591 23565 0 -1 4202560 575 1244 0 0 136 0 0 1 19 0 33 0 715584146 727625728 13056 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=23591/tid=23619] ppid=23589 vsize=710572 CPUtime=1.38 cores=0-31
/proc/23591/task/23619/stat : 23619 (plingeling) R 23589 23591 23565 0 -1 4202560 665 1244 0 0 137 0 0 1 18 0 33 0 715584146 727625728 13056 268435456000 4194304 4417452 140733653142448 18446744073709551615 4237332 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=23591/tid=23620] ppid=23589 vsize=710572 CPUtime=1.38 cores=0-31
/proc/23591/task/23620/stat : 23620 (plingeling) R 23589 23591 23565 0 -1 4202560 1021 1244 0 0 136 1 0 1 18 0 33 0 715584146 727625728 13056 268435456000 4194304 4417452 140733653142448 18446744073709551615 4354150 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=23591/tid=23621] ppid=23589 vsize=710572 CPUtime=1.35 cores=0-31
/proc/23591/task/23621/stat : 23621 (plingeling) R 23589 23591 23565 0 -1 4202560 664 1244 0 0 134 0 0 1 18 0 33 0 715584146 727625728 13056 268435456000 4194304 4417452 140733653142448 18446744073709551615 4277540 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=23591/tid=23622] ppid=23589 vsize=710572 CPUtime=1.38 cores=0-31
/proc/23591/task/23622/stat : 23622 (plingeling) R 23589 23591 23565 0 -1 4202560 793 1244 0 0 137 0 0 1 19 0 33 0 715584146 727625728 13056 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=23591/tid=23623] ppid=23589 vsize=710572 CPUtime=1.38 cores=0-31
/proc/23591/task/23623/stat : 23623 (plingeling) R 23589 23591 23565 0 -1 4202560 694 1244 0 0 137 0 0 1 19 0 33 0 715584146 727625728 13056 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=23591/tid=23624] ppid=23589 vsize=710572 CPUtime=1.35 cores=0-31
/proc/23591/task/23624/stat : 23624 (plingeling) R 23589 23591 23565 0 -1 4202560 877 1244 0 0 133 1 0 1 19 0 33 0 715584146 727625728 13056 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=23591/tid=23625] ppid=23589 vsize=710572 CPUtime=1.36 cores=0-31
/proc/23591/task/23625/stat : 23625 (plingeling) R 23589 23591 23565 0 -1 4202560 633 1244 0 0 135 0 0 1 25 0 33 0 715584146 727625728 13056 268435456000 4194304 4417452 140733653142448 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=23591/tid=23626] ppid=23589 vsize=710572 CPUtime=1.38 cores=0-31
/proc/23591/task/23626/stat : 23626 (plingeling) R 23589 23591 23565 0 -1 4202560 829 1244 0 0 137 0 0 1 25 0 33 0 715584146 727625728 13056 268435456000 4194304 4417452 140733653142448 18446744073709551615 4352347 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23591/tid=23627] ppid=23589 vsize=710572 CPUtime=1.37 cores=0-31
/proc/23591/task/23627/stat : 23627 (plingeling) R 23589 23591 23565 0 -1 4202560 677 1244 0 0 136 0 0 1 25 0 33 0 715584146 727625728 13056 268435456000 4194304 4417452 140733653142448 18446744073709551615 4353982 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=23591/tid=23628] ppid=23589 vsize=710572 CPUtime=1.38 cores=0-31
/proc/23591/task/23628/stat : 23628 (plingeling) R 23589 23591 23565 0 -1 4202560 1008 1244 0 0 137 0 0 1 18 0 33 0 715584146 727625728 13056 268435456000 4194304 4417452 140733653142448 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23591/tid=23629] ppid=23589 vsize=710572 CPUtime=1.36 cores=0-31
/proc/23591/task/23629/stat : 23629 (plingeling) R 23589 23591 23565 0 -1 4202560 771 1244 0 0 135 0 0 1 18 0 33 0 715584146 727625728 13056 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 44.15
Current children cumulated vsize (KiB) 710856

[startup+3.102 s]
/proc/loadavg: 29.55 31.52 31.88 33/446 23629
/proc/meminfo: memFree=255424836/264257624 swapFree=67111528/67111528
[pid=23591] ppid=23589 vsize=736288 CPUtime=94.62 cores=0-31
/proc/23591/stat : 23591 (plingeling) S 23589 23591 23565 0 -1 4202496 63980 1244 0 0 9365 96 0 1 19 0 33 0 715584135 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/23591/statm: 184072 19628 175 55 0 181958 0
[pid=23591/tid=23598] ppid=23589 vsize=736288 CPUtime=2.94 cores=0-31
/proc/23591/task/23598/stat : 23598 (plingeling) R 23589 23591 23565 0 -1 4202560 2055 1244 0 0 290 3 0 1 21 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23591/tid=23599] ppid=23589 vsize=736288 CPUtime=2.94 cores=0-31
/proc/23591/task/23599/stat : 23599 (plingeling) R 23589 23591 23565 0 -1 4202560 1868 1244 0 0 291 2 0 1 18 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23591/tid=23600] ppid=23589 vsize=736288 CPUtime=2.96 cores=0-31
/proc/23591/task/23600/stat : 23600 (plingeling) R 23589 23591 23565 0 -1 4202560 2126 1244 0 0 292 3 0 1 18 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=23591/tid=23601] ppid=23589 vsize=736288 CPUtime=2.98 cores=0-31
/proc/23591/task/23601/stat : 23601 (plingeling) R 23589 23591 23565 0 -1 4202560 1623 1244 0 0 295 2 0 1 18 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4356934 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=23591/tid=23602] ppid=23589 vsize=736288 CPUtime=2.92 cores=0-31
/proc/23591/task/23602/stat : 23602 (plingeling) R 23589 23591 23565 0 -1 4202560 2267 1244 0 0 288 3 0 1 19 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=23591/tid=23603] ppid=23589 vsize=736288 CPUtime=2.98 cores=0-31
/proc/23591/task/23603/stat : 23603 (plingeling) R 23589 23591 23565 0 -1 4202560 1673 1244 0 0 294 3 0 1 23 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 18446744073699066052 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23591/tid=23604] ppid=23589 vsize=736288 CPUtime=2.97 cores=0-31
/proc/23591/task/23604/stat : 23604 (plingeling) R 23589 23591 23565 0 -1 4202560 2162 1244 0 0 293 3 0 1 18 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4365118 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23591/tid=23605] ppid=23589 vsize=736288 CPUtime=2.97 cores=0-31
/proc/23591/task/23605/stat : 23605 (plingeling) R 23589 23591 23565 0 -1 4202560 1668 1244 0 0 294 2 0 1 19 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4354168 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=23591/tid=23606] ppid=23589 vsize=736288 CPUtime=2.97 cores=0-31
/proc/23591/task/23606/stat : 23606 (plingeling) R 23589 23591 23565 0 -1 4202560 1693 1244 0 0 294 2 0 1 19 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4250977 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=23591/tid=23607] ppid=23589 vsize=736288 CPUtime=2.92 cores=0-31
/proc/23591/task/23607/stat : 23607 (plingeling) R 23589 23591 23565 0 -1 4202560 2082 1244 0 0 289 2 0 1 19 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=23591/tid=23608] ppid=23589 vsize=736288 CPUtime=2.95 cores=0-31
/proc/23591/task/23608/stat : 23608 (plingeling) R 23589 23591 23565 0 -1 4202560 2124 1244 0 0 292 2 0 1 18 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=23591/tid=23609] ppid=23589 vsize=736288 CPUtime=2.96 cores=0-31
/proc/23591/task/23609/stat : 23609 (plingeling) R 23589 23591 23565 0 -1 4202560 1699 1244 0 0 292 3 0 1 20 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=23591/tid=23610] ppid=23589 vsize=736288 CPUtime=2.97 cores=0-31
/proc/23591/task/23610/stat : 23610 (plingeling) R 23589 23591 23565 0 -1 4202560 2036 1244 0 0 293 3 0 1 23 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4321264 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=23591/tid=23611] ppid=23589 vsize=736288 CPUtime=2.98 cores=0-31
/proc/23591/task/23611/stat : 23611 (plingeling) R 23589 23591 23565 0 -1 4202560 2092 1244 0 0 294 3 0 1 20 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=23591/tid=23612] ppid=23589 vsize=736288 CPUtime=2.98 cores=0-31
/proc/23591/task/23612/stat : 23612 (plingeling) R 23589 23591 23565 0 -1 4202560 2411 1244 0 0 293 4 0 1 19 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4365939 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=23591/tid=23613] ppid=23589 vsize=736288 CPUtime=2.96 cores=0-31
/proc/23591/task/23613/stat : 23613 (plingeling) R 23589 23591 23565 0 -1 4202560 1720 1244 0 0 293 2 0 1 18 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=23591/tid=23614] ppid=23589 vsize=736288 CPUtime=2.97 cores=0-31
/proc/23591/task/23614/stat : 23614 (plingeling) R 23589 23591 23565 0 -1 4202560 1846 1244 0 0 294 2 0 1 19 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23591/tid=23615] ppid=23589 vsize=736288 CPUtime=2.96 cores=0-31
/proc/23591/task/23615/stat : 23615 (plingeling) R 23589 23591 23565 0 -1 4202560 1754 1244 0 0 292 3 0 1 18 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4352479 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=23591/tid=23616] ppid=23589 vsize=736288 CPUtime=2.94 cores=0-31
/proc/23591/task/23616/stat : 23616 (plingeling) R 23589 23591 23565 0 -1 4202560 2146 1244 0 0 290 3 0 1 19 0 33 0 715584145 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=23591/tid=23617] ppid=23589 vsize=736288 CPUtime=2.93 cores=0-31
/proc/23591/task/23617/stat : 23617 (plingeling) R 23589 23591 23565 0 -1 4202560 1906 1244 0 0 289 3 0 1 18 0 33 0 715584146 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=23591/tid=23618] ppid=23589 vsize=736288 CPUtime=2.94 cores=0-31
/proc/23591/task/23618/stat : 23618 (plingeling) R 23589 23591 23565 0 -1 4202560 1843 1244 0 0 291 2 0 1 18 0 33 0 715584146 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4357260 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=23591/tid=23619] ppid=23589 vsize=736288 CPUtime=2.96 cores=0-31
/proc/23591/task/23619/stat : 23619 (plingeling) R 23589 23591 23565 0 -1 4202560 1732 1244 0 0 293 2 0 1 19 0 33 0 715584146 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4366700 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=23591/tid=23620] ppid=23589 vsize=736288 CPUtime=2.95 cores=0-31
/proc/23591/task/23620/stat : 23620 (plingeling) R 23589 23591 23565 0 -1 4202560 2155 1244 0 0 291 3 0 1 20 0 33 0 715584146 753958912 19628 268435456000 4194304 4417452 140733653142448 18446744073709551615 4366130 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=23591/tid=23621] ppid=23589 vsize=736412 CPUtime=2.92 cores=0-31
/proc/23591/task/23621/stat : 23621 (plingeling) R 23589 23591 23565 0 -1 4202560 2082 1244 0 0 289 2 0 1 18 0 33 0 715584146 754085888 19640 268435456000 4194304 4417452 140733653142448 18446744073709551615 4251104 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=23591/tid=23622] ppid=23589 vsize=736412 CPUtime=2.96 cores=0-31
/proc/23591/task/23622/stat : 23622 (plingeling) R 23589 23591 23565 0 -1 4202560 1881 1244 0 0 293 2 0 1 18 0 33 0 715584146 754085888 19659 268435456000 4194304 4417452 140733653142448 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=23591/tid=23623] ppid=23589 vsize=736412 CPUtime=2.96 cores=0-31
/proc/23591/task/23623/stat : 23623 (plingeling) R 23589 23591 23565 0 -1 4202560 1526 1244 0 0 294 1 0 1 19 0 33 0 715584146 754085888 19659 268435456000 4194304 4417452 140733653142448 18446744073709551615 4352488 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=23591/tid=23624] ppid=23589 vsize=736412 CPUtime=2.92 cores=0-31
/proc/23591/task/23624/stat : 23624 (plingeling) R 23589 23591 23565 0 -1 4202560 2068 1244 0 0 288 3 0 1 18 0 33 0 715584146 754085888 19659 268435456000 4194304 4417452 140733653142448 18446744073709551615 4321595 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=23591/tid=23625] ppid=23589 vsize=736412 CPUtime=2.95 cores=0-31
/proc/23591/task/23625/stat : 23625 (plingeling) R 23589 23591 23565 0 -1 4202560 1567 1244 0 0 292 2 0 1 19 0 33 0 715584146 754085888 19659 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=23591/tid=23626] ppid=23589 vsize=736412 CPUtime=2.95 cores=0-31

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

[pid=23591/tid=23598] ppid=23589 vsize=2913452 CPUtime=4959.21 cores=0-31
/proc/23591/task/23598/stat : 23598 (plingeling) R 23589 23591 23565 0 -1 4202560 494826 1244 0 0 495353 567 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23591/tid=23599] ppid=23589 vsize=2913452 CPUtime=4960.22 cores=0-31
/proc/23591/task/23599/stat : 23599 (plingeling) R 23589 23591 23565 0 -1 4202560 509505 1244 0 0 495408 613 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=23591/tid=23600] ppid=23589 vsize=2913452 CPUtime=4958.03 cores=0-31
/proc/23591/task/23600/stat : 23600 (plingeling) R 23589 23591 23565 0 -1 4202560 521265 1244 0 0 495256 546 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=23591/tid=23601] ppid=23589 vsize=2913452 CPUtime=4960.14 cores=0-31
/proc/23591/task/23601/stat : 23601 (plingeling) R 23589 23591 23565 0 -1 4202560 546886 1244 0 0 495570 443 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=23591/tid=23602] ppid=23589 vsize=2913452 CPUtime=4941.73 cores=0-31
/proc/23591/task/23602/stat : 23602 (plingeling) R 23589 23591 23565 0 -1 4202560 503895 1244 0 0 493660 512 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=23591/tid=23603] ppid=23589 vsize=2913452 CPUtime=4960.32 cores=0-31
/proc/23591/task/23603/stat : 23603 (plingeling) R 23589 23591 23565 0 -1 4202560 403894 1244 0 0 495408 623 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=23591/tid=23604] ppid=23589 vsize=2913452 CPUtime=4960.22 cores=0-31
/proc/23591/task/23604/stat : 23604 (plingeling) R 23589 23591 23565 0 -1 4202560 489987 1244 0 0 495560 461 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=23591/tid=23605] ppid=23589 vsize=2913452 CPUtime=4954.94 cores=0-31
/proc/23591/task/23605/stat : 23605 (plingeling) R 23589 23591 23565 0 -1 4202560 483971 1244 0 0 495055 438 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23591/tid=23606] ppid=23589 vsize=2913452 CPUtime=4959.42 cores=0-31
/proc/23591/task/23606/stat : 23606 (plingeling) R 23589 23591 23565 0 -1 4202560 471970 1244 0 0 495501 440 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=23591/tid=23607] ppid=23589 vsize=2913452 CPUtime=4959 cores=0-31
/proc/23591/task/23607/stat : 23607 (plingeling) R 23589 23591 23565 0 -1 4202560 471674 1244 0 0 495431 468 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=23591/tid=23608] ppid=23589 vsize=2913452 CPUtime=4960.19 cores=0-31
/proc/23591/task/23608/stat : 23608 (plingeling) R 23589 23591 23565 0 -1 4202560 511085 1244 0 0 495559 459 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=23591/tid=23609] ppid=23589 vsize=2913452 CPUtime=4960.53 cores=0-31
/proc/23591/task/23609/stat : 23609 (plingeling) R 23589 23591 23565 0 -1 4202560 410976 1244 0 0 495617 435 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=23591/tid=23610] ppid=23589 vsize=2913452 CPUtime=4911.58 cores=0-31
/proc/23591/task/23610/stat : 23610 (plingeling) R 23589 23591 23565 0 -1 4202560 508155 1244 0 0 490609 548 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=23591/tid=23611] ppid=23589 vsize=2913452 CPUtime=4960.63 cores=0-31
/proc/23591/task/23611/stat : 23611 (plingeling) R 23589 23591 23565 0 -1 4202560 286611 1244 0 0 495676 386 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=23591/tid=23612] ppid=23589 vsize=2913452 CPUtime=4960.4 cores=0-31
/proc/23591/task/23612/stat : 23612 (plingeling) R 23589 23591 23565 0 -1 4202560 497760 1244 0 0 495589 450 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=23591/tid=23613] ppid=23589 vsize=2913452 CPUtime=4960.11 cores=0-31
/proc/23591/task/23613/stat : 23613 (plingeling) R 23589 23591 23565 0 -1 4202560 440778 1244 0 0 495597 413 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=23591/tid=23614] ppid=23589 vsize=2913452 CPUtime=4960.3 cores=0-31
/proc/23591/task/23614/stat : 23614 (plingeling) R 23589 23591 23565 0 -1 4202560 529985 1244 0 0 495579 450 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=23591/tid=23615] ppid=23589 vsize=2913452 CPUtime=4959.55 cores=0-31
/proc/23591/task/23615/stat : 23615 (plingeling) R 23589 23591 23565 0 -1 4202560 518753 1244 0 0 495401 553 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=23591/tid=23616] ppid=23589 vsize=2913452 CPUtime=4955.09 cores=0-31
/proc/23591/task/23616/stat : 23616 (plingeling) R 23589 23591 23565 0 -1 4202560 412103 1244 0 0 495121 387 0 1 25 0 33 0 715584145 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=23591/tid=23617] ppid=23589 vsize=2913452 CPUtime=4960.61 cores=0-31
/proc/23591/task/23617/stat : 23617 (plingeling) R 23589 23591 23565 0 -1 4202560 521445 1244 0 0 495606 454 0 1 25 0 33 0 715584146 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=23591/tid=23618] ppid=23589 vsize=2913452 CPUtime=4954.23 cores=0-31
/proc/23591/task/23618/stat : 23618 (plingeling) R 23589 23591 23565 0 -1 4202560 450600 1244 0 0 494911 511 0 1 25 0 33 0 715584146 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=23591/tid=23619] ppid=23589 vsize=2913452 CPUtime=4959.97 cores=0-31
/proc/23591/task/23619/stat : 23619 (plingeling) R 23589 23591 23565 0 -1 4202560 546321 1244 0 0 495440 556 0 1 25 0 33 0 715584146 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23591/tid=23620] ppid=23589 vsize=2913452 CPUtime=4959.58 cores=0-31
/proc/23591/task/23620/stat : 23620 (plingeling) R 23589 23591 23565 0 -1 4202560 518353 1244 0 0 495459 498 0 1 25 0 33 0 715584146 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364809 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=23591/tid=23621] ppid=23589 vsize=2913452 CPUtime=4953.67 cores=0-31
/proc/23591/task/23621/stat : 23621 (plingeling) R 23589 23591 23565 0 -1 4202560 456907 1244 0 0 494841 525 0 1 25 0 33 0 715584146 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=23591/tid=23622] ppid=23589 vsize=2913452 CPUtime=4960.12 cores=0-31
/proc/23591/task/23622/stat : 23622 (plingeling) R 23589 23591 23565 0 -1 4202560 583185 1244 0 0 495497 514 0 1 25 0 33 0 715584146 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23591/tid=23623] ppid=23589 vsize=2913452 CPUtime=4960.03 cores=0-31
/proc/23591/task/23623/stat : 23623 (plingeling) R 23589 23591 23565 0 -1 4202560 305132 1244 0 0 495541 461 0 1 25 0 33 0 715584146 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=23591/tid=23624] ppid=23589 vsize=2913452 CPUtime=4959.95 cores=0-31
/proc/23591/task/23624/stat : 23624 (plingeling) R 23589 23591 23565 0 -1 4202560 446144 1244 0 0 495639 355 0 1 25 0 33 0 715584146 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=23591/tid=23625] ppid=23589 vsize=2913452 CPUtime=4922.11 cores=0-31
/proc/23591/task/23625/stat : 23625 (plingeling) R 23589 23591 23565 0 -1 4202560 488957 1244 0 0 491724 486 0 1 25 0 33 0 715584146 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=23591/tid=23626] ppid=23589 vsize=2913452 CPUtime=4960.54 cores=0-31
/proc/23591/task/23626/stat : 23626 (plingeling) R 23589 23591 23565 0 -1 4202560 435763 1244 0 0 495684 369 0 1 25 0 33 0 715584146 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=23591/tid=23627] ppid=23589 vsize=2913452 CPUtime=4959.74 cores=0-31
/proc/23591/task/23627/stat : 23627 (plingeling) R 23589 23591 23565 0 -1 4202560 533595 1244 0 0 495460 513 0 1 25 0 33 0 715584146 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23591/tid=23628] ppid=23589 vsize=2913452 CPUtime=4960.39 cores=0-31
/proc/23591/task/23628/stat : 23628 (plingeling) R 23589 23591 23565 0 -1 4202560 520906 1244 0 0 495522 516 0 1 25 0 33 0 715584146 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23591/tid=23629] ppid=23589 vsize=2913452 CPUtime=4954.86 cores=0-31
/proc/23591/task/23629/stat : 23629 (plingeling) R 23589 23591 23565 0 -1 4202560 496463 1244 0 0 494938 547 0 1 25 0 33 0 715584146 2983374848 568900 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 158587
Current children cumulated vsize (KiB) 2913452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5006.6 s]
/proc/loadavg: 32.00 32.03 32.04 33/446 23778
/proc/meminfo: memFree=253070124/264257624 swapFree=67111528/67111528
[pid=23591] ppid=23589 vsize=3067940 CPUtime=160004 cores=0-31
/proc/23591/stat : 23591 (plingeling) S 23589 23591 23565 0 -1 4202496 15426799 1244 0 0 15984720 15631 0 1 19 0 33 0 715584135 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/23591/statm: 766985 608421 175 55 0 764871 0
[pid=23591/tid=23598] ppid=23589 vsize=3067940 CPUtime=5003.5 cores=0-31
/proc/23591/task/23598/stat : 23598 (plingeling) R 23589 23591 23565 0 -1 4202560 495526 1244 0 0 499782 567 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23591/tid=23599] ppid=23589 vsize=3067940 CPUtime=5004.52 cores=0-31
/proc/23591/task/23599/stat : 23599 (plingeling) R 23589 23591 23565 0 -1 4202560 513025 1244 0 0 499828 623 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=23591/tid=23600] ppid=23589 vsize=3067940 CPUtime=5002.31 cores=0-31
/proc/23591/task/23600/stat : 23600 (plingeling) R 23589 23591 23565 0 -1 4202560 521265 1244 0 0 499683 547 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=23591/tid=23601] ppid=23589 vsize=3067940 CPUtime=5004.44 cores=0-31
/proc/23591/task/23601/stat : 23601 (plingeling) R 23589 23591 23565 0 -1 4202560 550987 1244 0 0 499999 444 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=23591/tid=23602] ppid=23589 vsize=3067940 CPUtime=4986.02 cores=0-31
/proc/23591/task/23602/stat : 23602 (plingeling) R 23589 23591 23565 0 -1 4202560 504919 1244 0 0 498089 512 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=23591/tid=23603] ppid=23589 vsize=3067940 CPUtime=5004.62 cores=0-31
/proc/23591/task/23603/stat : 23603 (plingeling) R 23589 23591 23565 0 -1 4202560 403894 1244 0 0 499838 623 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=23591/tid=23604] ppid=23589 vsize=3067940 CPUtime=5004.51 cores=0-31
/proc/23591/task/23604/stat : 23604 (plingeling) R 23589 23591 23565 0 -1 4202560 497912 1244 0 0 499975 475 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=23591/tid=23605] ppid=23589 vsize=3067940 CPUtime=4999.24 cores=0-31
/proc/23591/task/23605/stat : 23605 (plingeling) R 23589 23591 23565 0 -1 4202560 486068 1244 0 0 499484 439 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4366197 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23591/tid=23606] ppid=23589 vsize=3067940 CPUtime=5003.72 cores=0-31
/proc/23591/task/23606/stat : 23606 (plingeling) R 23589 23591 23565 0 -1 4202560 475228 1244 0 0 499930 441 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=23591/tid=23607] ppid=23589 vsize=3067940 CPUtime=5003.28 cores=0-31
/proc/23591/task/23607/stat : 23607 (plingeling) R 23589 23591 23565 0 -1 4202560 476516 1244 0 0 499846 481 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=23591/tid=23608] ppid=23589 vsize=3067940 CPUtime=5004.48 cores=0-31
/proc/23591/task/23608/stat : 23608 (plingeling) R 23589 23591 23565 0 -1 4202560 515695 1244 0 0 499981 466 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=23591/tid=23609] ppid=23589 vsize=3067940 CPUtime=5004.82 cores=0-31
/proc/23591/task/23609/stat : 23609 (plingeling) R 23589 23591 23565 0 -1 4202560 415635 1244 0 0 500042 439 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=23591/tid=23610] ppid=23589 vsize=3067940 CPUtime=4955.87 cores=0-31
/proc/23591/task/23610/stat : 23610 (plingeling) R 23589 23591 23565 0 -1 4202560 509444 1244 0 0 495038 548 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=23591/tid=23611] ppid=23589 vsize=3067940 CPUtime=5004.92 cores=0-31
/proc/23591/task/23611/stat : 23611 (plingeling) R 23589 23591 23565 0 -1 4202560 286611 1244 0 0 500105 386 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=23591/tid=23612] ppid=23589 vsize=3067940 CPUtime=5004.7 cores=0-31
/proc/23591/task/23612/stat : 23612 (plingeling) R 23589 23591 23565 0 -1 4202560 504276 1244 0 0 500010 459 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4321052 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=23591/tid=23613] ppid=23589 vsize=3067940 CPUtime=5004.41 cores=0-31
/proc/23591/task/23613/stat : 23613 (plingeling) R 23589 23591 23565 0 -1 4202560 444451 1244 0 0 500026 414 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=23591/tid=23614] ppid=23589 vsize=3067940 CPUtime=5004.59 cores=0-31
/proc/23591/task/23614/stat : 23614 (plingeling) R 23589 23591 23565 0 -1 4202560 534771 1244 0 0 500007 451 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=23591/tid=23615] ppid=23589 vsize=3067940 CPUtime=5003.84 cores=0-31
/proc/23591/task/23615/stat : 23615 (plingeling) R 23589 23591 23565 0 -1 4202560 521314 1244 0 0 499830 553 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4366141 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=23591/tid=23616] ppid=23589 vsize=3067940 CPUtime=4999.02 cores=0-31
/proc/23591/task/23616/stat : 23616 (plingeling) R 23589 23591 23565 0 -1 4202560 417165 1244 0 0 499510 391 0 1 25 0 33 0 715584145 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4250569 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=23591/tid=23617] ppid=23589 vsize=3067940 CPUtime=5004.91 cores=0-31
/proc/23591/task/23617/stat : 23617 (plingeling) R 23589 23591 23565 0 -1 4202560 524989 1244 0 0 500033 457 0 1 25 0 33 0 715584146 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=23591/tid=23618] ppid=23589 vsize=3067940 CPUtime=4998.51 cores=0-31
/proc/23591/task/23618/stat : 23618 (plingeling) R 23589 23591 23565 0 -1 4202560 455054 1244 0 0 499334 516 0 1 25 0 33 0 715584146 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=23591/tid=23619] ppid=23589 vsize=3067940 CPUtime=5004.26 cores=0-31
/proc/23591/task/23619/stat : 23619 (plingeling) R 23589 23591 23565 0 -1 4202560 550587 1244 0 0 499869 556 0 1 25 0 33 0 715584146 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23591/tid=23620] ppid=23589 vsize=3067940 CPUtime=5003.87 cores=0-31
/proc/23591/task/23620/stat : 23620 (plingeling) R 23589 23591 23565 0 -1 4202560 527010 1244 0 0 499874 512 0 1 25 0 33 0 715584146 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=23591/tid=23621] ppid=23589 vsize=3067940 CPUtime=4997.97 cores=0-31
/proc/23591/task/23621/stat : 23621 (plingeling) R 23589 23591 23565 0 -1 4202560 459652 1244 0 0 499270 526 0 1 25 0 33 0 715584146 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=23591/tid=23622] ppid=23589 vsize=3067940 CPUtime=5004.41 cores=0-31
/proc/23591/task/23622/stat : 23622 (plingeling) R 23589 23591 23565 0 -1 4202560 583186 1244 0 0 499926 514 0 1 25 0 33 0 715584146 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364583 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23591/tid=23623] ppid=23589 vsize=3067940 CPUtime=5004.32 cores=0-31
/proc/23591/task/23623/stat : 23623 (plingeling) R 23589 23591 23565 0 -1 4202560 305132 1244 0 0 499970 461 0 1 25 0 33 0 715584146 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=23591/tid=23624] ppid=23589 vsize=3067940 CPUtime=5004.23 cores=0-31
/proc/23591/task/23624/stat : 23624 (plingeling) R 23589 23591 23565 0 -1 4202560 449499 1244 0 0 500061 361 0 1 25 0 33 0 715584146 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=23591/tid=23625] ppid=23589 vsize=3067940 CPUtime=4965.44 cores=0-31
/proc/23591/task/23625/stat : 23625 (plingeling) R 23589 23591 23565 0 -1 4202560 493482 1244 0 0 496056 487 0 1 25 0 33 0 715584146 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=23591/tid=23626] ppid=23589 vsize=3067940 CPUtime=5004.83 cores=0-31
/proc/23591/task/23626/stat : 23626 (plingeling) R 23589 23591 23565 0 -1 4202560 439646 1244 0 0 500102 380 0 1 25 0 33 0 715584146 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=23591/tid=23627] ppid=23589 vsize=3067940 CPUtime=5004.03 cores=0-31
/proc/23591/task/23627/stat : 23627 (plingeling) R 23589 23591 23565 0 -1 4202560 537835 1244 0 0 499882 520 0 1 25 0 33 0 715584146 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23591/tid=23628] ppid=23589 vsize=3067940 CPUtime=5004.67 cores=0-31
/proc/23591/task/23628/stat : 23628 (plingeling) R 23589 23591 23565 0 -1 4202560 522891 1244 0 0 499947 519 0 1 25 0 33 0 715584146 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4250771 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23591/tid=23629] ppid=23589 vsize=3067940 CPUtime=4999.16 cores=0-31
/proc/23591/task/23629/stat : 23629 (plingeling) R 23589 23591 23565 0 -1 4202560 500956 1244 0 0 499367 548 0 1 25 0 33 0 715584146 3141570560 608421 268435456000 4194304 4417452 140733653142448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 3067940

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

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

[startup+5006.73 s]
/proc/loadavg: 32.00 32.03 32.04 33/446 23778
/proc/meminfo: memFree=253070124/264257624 swapFree=67111528/67111528
[pid=23591] ppid=23589 vsize=0 CPUtime=160004 cores=0-31
/proc/23591/stat : 23591 (plingeling) Z 23589 23591 23565 0 -1 4203548 15426799 1244 0 0 15984743 15641 0 1 18 0 2 0 715584135 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 25 0 0 0
/proc/23591/statm: 0 0 0 0 0 0 0
[pid=23591/tid=23615] ppid=23589 vsize=0 CPUtime=5003.95 cores=0-31
/proc/23591/task/23615/stat : 23615 (plingeling) R 23589 23591 23565 0 -1 4203588 521314 1244 0 0 499831 563 0 1 25 0 2 0 715584145 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5006.8 s]
/proc/loadavg: 32.00 32.03 32.04 33/446 23778
/proc/meminfo: memFree=253070124/264257624 swapFree=67111528/67111528
[pid=23591] ppid=23589 vsize=0 CPUtime=160004 cores=0-31
/proc/23591/stat : 23591 (plingeling) Z 23589 23591 23565 0 -1 4203548 15426799 1244 0 0 15984743 15648 0 1 18 0 2 0 715584135 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 25 0 0 0
/proc/23591/statm: 0 0 0 0 0 0 0
[pid=23591/tid=23615] ppid=23589 vsize=0 CPUtime=5004.03 cores=0-31
/proc/23591/task/23615/stat : 23615 (plingeling) R 23589 23591 23565 0 -1 4203588 521314 1244 0 0 499831 571 0 1 25 0 2 0 715584145 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5006.85
CPU time (s): 160004
CPU user time (s): 159847
CPU system time (s): 156.54
CPU usage (%): 3195.7
Max. virtual memory (cumulated for all children) (KiB): 3070328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159847
system time used= 156.54
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15428043
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= 11784
involuntary context switches= 398296

runsolver used 24.1933 second user time and 117.016 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-22 07:09:37
IDJOB=3372765
IDBENCH=83431
IDSOLVER=1852
FILE ID=node200/3372765-1306040977
RUNJOBID= node200-1306040977-23579
PBS_JOBID= 13387805
Free space on /tmp= 62048 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_4_keyfind_1.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372765-1306040977/watcher-3372765-1306040977 -o /tmp/evaluation-result-3372765-1306040977/solver-3372765-1306040977 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372765-1306040977.cnf

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

MD5SUM BENCH= d71ab4cbe872e5620884d4e4d370890a
RANDOM SEED=1311418379

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:      255504384 kB
Buffers:        454488 kB
Cached:        7898112 kB
SwapCached:          0 kB
Active:        7423852 kB
Inactive:       997832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255504384 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:              44 kB
Writeback:           0 kB
AnonPages:       70488 kB
Mapped:          13868 kB
Slab:           252752 kB
PageTables:       4912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   187588 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-22 08:33:06