Trace number 3372753

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) 160005 5010.68

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
64/aes_64_3_keyfind_1.cnf
MD5SUM4738c3d0ccd52030cff8addcec6bcde9
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 variables1404
Number of clauses7572
Sum of the clauses size29588
Maximum clause length5
Minimum clause length1
Number of clauses of size 1140
Number of clauses of size 2240
Number of clauses of size 32992
Number of clauses of size 41008
Number of clauses of size 53192
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-3372753-1306030949/watcher-3372753-1306030949 -o /tmp/evaluation-result-3372753-1306030949/solver-3372753-1306030949 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372753-1306030949.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 31.65 31.73 31.92 2/419 17627
/proc/meminfo: memFree=255471564/264257624 swapFree=67111528/67111528
[pid=17627] ppid=17625 vsize=12224 CPUtime=0.01 cores=0-31
/proc/17627/stat : 17627 (plingeling) R 17625 17627 16185 0 -1 4202496 1116 1239 0 0 1 0 0 0 18 0 1 0 714581363 12517376 1047 268435456000 4194304 4417452 140735284979232 18446744073709551615 4322499 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17627/statm: 3056 1047 145 55 0 942 0

[startup+0.0708209 s]
/proc/loadavg: 31.65 31.73 31.92 2/419 17627
/proc/meminfo: memFree=255471564/264257624 swapFree=67111528/67111528
[pid=17627] ppid=17625 vsize=17276 CPUtime=0.06 cores=0-31
/proc/17627/stat : 17627 (plingeling) R 17625 17627 16185 0 -1 4202496 2400 1239 0 0 6 0 0 0 18 0 1 0 714581363 17690624 2331 268435456000 4194304 4417452 140735284979232 18446744073709551615 4264926 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17627/statm: 4319 2331 145 55 0 2205 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 17276

[startup+0.100816 s]
/proc/loadavg: 31.65 31.73 31.92 2/419 17627
/proc/meminfo: memFree=255471564/264257624 swapFree=67111528/67111528
[pid=17627] ppid=17625 vsize=18400 CPUtime=0.08 cores=0-31
/proc/17627/stat : 17627 (plingeling) R 17625 17627 16185 0 -1 4202496 2657 1239 0 0 8 0 0 0 18 0 1 0 714581363 18841600 2588 268435456000 4194304 4417452 140735284979232 18446744073709551615 4320938 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17627/statm: 4600 2588 145 55 0 2486 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18400

[startup+0.300706 s]
/proc/loadavg: 31.65 31.73 31.92 2/419 17627
/proc/meminfo: memFree=255471564/264257624 swapFree=67111528/67111528
[pid=17627] ppid=17625 vsize=559144 CPUtime=2.81 cores=0-31
/proc/17627/stat : 17627 (plingeling) S 17625 17627 16185 0 -1 4202496 7848 1239 0 0 275 6 0 0 18 0 33 0 714581363 572563456 7141 268435456000 4194304 4417452 140735284979232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/17627/statm: 139786 7141 173 55 0 137672 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 559144

[startup+0.700721 s]
/proc/loadavg: 31.65 31.73 31.92 2/419 17627
/proc/meminfo: memFree=255471564/264257624 swapFree=67111528/67111528
[pid=17627] ppid=17625 vsize=560364 CPUtime=15.61 cores=0-31
/proc/17627/stat : 17627 (plingeling) S 17625 17627 16185 0 -1 4202496 8399 1239 0 0 1554 7 0 0 18 0 33 0 714581363 573812736 7531 268435456000 4194304 4417452 140735284979232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/17627/statm: 140091 7531 175 55 0 137977 0
Current children cumulated CPU time (s) 15.61
Current children cumulated vsize (KiB) 560364

[startup+1.50175 s]
/proc/loadavg: 29.27 31.23 31.76 34/452 17773
/proc/meminfo: memFree=255430404/264257624 swapFree=67111528/67111528
[pid=17627] ppid=17625 vsize=587248 CPUtime=40.92 cores=0-31
/proc/17627/stat : 17627 (plingeling) S 17625 17627 16185 0 -1 4202496 22493 1239 0 0 4071 21 0 0 18 0 33 0 714581363 601341952 14966 268435456000 4194304 4417452 140735284979232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/17627/statm: 146812 14966 175 55 0 144698 0
[pid=17627/tid=17724] ppid=17625 vsize=587248 CPUtime=1.27 cores=0-31
/proc/17627/task/17724/stat : 17724 (plingeling) R 17625 17627 16185 0 -1 4202560 776 1239 0 0 127 0 0 0 19 0 33 0 714581383 601341952 14966 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17627/tid=17725] ppid=17625 vsize=587248 CPUtime=1.27 cores=0-31
/proc/17627/task/17725/stat : 17725 (plingeling) R 17625 17627 16185 0 -1 4202560 493 1239 0 0 127 0 0 0 19 0 33 0 714581383 601341952 14966 268435456000 4194304 4417452 140735284979232 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17627/tid=17726] ppid=17625 vsize=587248 CPUtime=1.25 cores=0-31
/proc/17627/task/17726/stat : 17726 (plingeling) R 17625 17627 16185 0 -1 4202560 630 1239 0 0 125 0 0 0 19 0 33 0 714581383 601341952 14966 268435456000 4194304 4417452 140735284979232 18446744073709551615 4365973 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17627/tid=17727] ppid=17625 vsize=587248 CPUtime=1.27 cores=0-31
/proc/17627/task/17727/stat : 17727 (plingeling) R 17625 17627 16185 0 -1 4202560 754 1239 0 0 127 0 0 0 19 0 33 0 714581383 601341952 14966 268435456000 4194304 4417452 140735284979232 18446744073709551615 4357856 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17627/tid=17728] ppid=17625 vsize=587296 CPUtime=1.28 cores=0-31
/proc/17627/task/17728/stat : 17728 (plingeling) R 17625 17627 16185 0 -1 4202560 438 1239 0 0 128 0 0 0 19 0 33 0 714581383 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17627/tid=17729] ppid=17625 vsize=587296 CPUtime=1.28 cores=0-31
/proc/17627/task/17729/stat : 17729 (plingeling) R 17625 17627 16185 0 -1 4202560 439 1239 0 0 128 0 0 0 19 0 33 0 714581383 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4273225 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17627/tid=17730] ppid=17625 vsize=587296 CPUtime=1.27 cores=0-31
/proc/17627/task/17730/stat : 17730 (plingeling) R 17625 17627 16185 0 -1 4202560 626 1239 0 0 127 0 0 0 24 0 33 0 714581383 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4237332 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17627/tid=17731] ppid=17625 vsize=587296 CPUtime=1.26 cores=0-31
/proc/17627/task/17731/stat : 17731 (plingeling) R 17625 17627 16185 0 -1 4202560 508 1239 0 0 126 0 0 0 25 0 33 0 714581383 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364893 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17627/tid=17732] ppid=17625 vsize=587296 CPUtime=1.27 cores=0-31
/proc/17627/task/17732/stat : 17732 (plingeling) R 17625 17627 16185 0 -1 4202560 429 1239 0 0 127 0 0 0 19 0 33 0 714581383 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4365990 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17627/tid=17733] ppid=17625 vsize=587296 CPUtime=1.27 cores=0-31
/proc/17627/task/17733/stat : 17733 (plingeling) R 17625 17627 16185 0 -1 4202560 412 1239 0 0 127 0 0 0 19 0 33 0 714581383 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4354159 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=17627/tid=17734] ppid=17625 vsize=587296 CPUtime=1.23 cores=0-31
/proc/17627/task/17734/stat : 17734 (plingeling) R 17625 17627 16185 0 -1 4202560 781 1239 0 0 123 0 0 0 18 0 33 0 714581383 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4357204 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17627/tid=17735] ppid=17625 vsize=587296 CPUtime=1.28 cores=0-31
/proc/17627/task/17735/stat : 17735 (plingeling) R 17625 17627 16185 0 -1 4202560 543 1239 0 0 128 0 0 0 18 0 33 0 714581383 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17627/tid=17736] ppid=17625 vsize=587296 CPUtime=1.27 cores=0-31
/proc/17627/task/17736/stat : 17736 (plingeling) R 17625 17627 16185 0 -1 4202560 439 1239 0 0 127 0 0 0 19 0 33 0 714581383 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17627/tid=17737] ppid=17625 vsize=587296 CPUtime=1.29 cores=0-31
/proc/17627/task/17737/stat : 17737 (plingeling) R 17625 17627 16185 0 -1 4202560 261 1239 0 0 129 0 0 0 19 0 33 0 714581383 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4356852 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17627/tid=17739] ppid=17625 vsize=587296 CPUtime=1.26 cores=0-31
/proc/17627/task/17739/stat : 17739 (plingeling) R 17625 17627 16185 0 -1 4202560 778 1239 0 0 125 1 0 0 19 0 33 0 714581383 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4366486 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17627/tid=17740] ppid=17625 vsize=587296 CPUtime=1.26 cores=0-31
/proc/17627/task/17740/stat : 17740 (plingeling) R 17625 17627 16185 0 -1 4202560 704 1239 0 0 126 0 0 0 18 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17627/tid=17741] ppid=17625 vsize=587296 CPUtime=1.27 cores=0-31
/proc/17627/task/17741/stat : 17741 (plingeling) R 17625 17627 16185 0 -1 4202560 389 1239 0 0 127 0 0 0 25 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 258650649801 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17627/tid=17742] ppid=17625 vsize=587296 CPUtime=1.27 cores=0-31
/proc/17627/task/17742/stat : 17742 (plingeling) R 17625 17627 16185 0 -1 4202560 698 1239 0 0 127 0 0 0 19 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4357265 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17627/tid=17743] ppid=17625 vsize=587296 CPUtime=1.26 cores=0-31
/proc/17627/task/17743/stat : 17743 (plingeling) R 17625 17627 16185 0 -1 4202560 779 1239 0 0 126 0 0 0 18 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17627/tid=17744] ppid=17625 vsize=587296 CPUtime=1.27 cores=0-31
/proc/17627/task/17744/stat : 17744 (plingeling) R 17625 17627 16185 0 -1 4202560 460 1239 0 0 127 0 0 0 19 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17627/tid=17745] ppid=17625 vsize=587296 CPUtime=1.25 cores=0-31
/proc/17627/task/17745/stat : 17745 (plingeling) R 17625 17627 16185 0 -1 4202560 467 1239 0 0 125 0 0 0 22 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4356889 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17627/tid=17746] ppid=17625 vsize=587296 CPUtime=1.28 cores=0-31
/proc/17627/task/17746/stat : 17746 (plingeling) R 17625 17627 16185 0 -1 4202560 634 1239 0 0 128 0 0 0 19 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17627/tid=17747] ppid=17625 vsize=587296 CPUtime=1.25 cores=0-31
/proc/17627/task/17747/stat : 17747 (plingeling) R 17625 17627 16185 0 -1 4202560 620 1239 0 0 125 0 0 0 22 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17627/tid=17748] ppid=17625 vsize=587296 CPUtime=1.27 cores=0-31
/proc/17627/task/17748/stat : 17748 (plingeling) R 17625 17627 16185 0 -1 4202560 466 1239 0 0 127 0 0 0 19 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17627/tid=17749] ppid=17625 vsize=587296 CPUtime=1.25 cores=0-31
/proc/17627/task/17749/stat : 17749 (plingeling) R 17625 17627 16185 0 -1 4202560 604 1239 0 0 125 0 0 0 18 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4366005 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=17627/tid=17750] ppid=17625 vsize=587296 CPUtime=1.28 cores=0-31
/proc/17627/task/17750/stat : 17750 (plingeling) R 17625 17627 16185 0 -1 4202560 360 1239 0 0 128 0 0 0 19 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4354186 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17627/tid=17751] ppid=17625 vsize=587296 CPUtime=1.27 cores=0-31
/proc/17627/task/17751/stat : 17751 (plingeling) R 17625 17627 16185 0 -1 4202560 538 1239 0 0 127 0 0 0 22 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17627/tid=17752] ppid=17625 vsize=587296 CPUtime=1.24 cores=0-31
/proc/17627/task/17752/stat : 17752 (plingeling) R 17625 17627 16185 0 -1 4202560 361 1239 0 0 124 0 0 0 22 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4358748 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17627/tid=17753] ppid=17625 vsize=587296 CPUtime=1.23 cores=0-31
/proc/17627/task/17753/stat : 17753 (plingeling) R 17625 17627 16185 0 -1 4202560 503 1239 0 0 123 0 0 0 22 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4358278 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17627/tid=17754] ppid=17625 vsize=587296 CPUtime=1.26 cores=0-31
/proc/17627/task/17754/stat : 17754 (plingeling) R 17625 17627 16185 0 -1 4202560 570 1239 0 0 126 0 0 0 19 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17627/tid=17755] ppid=17625 vsize=587296 CPUtime=1.21 cores=0-31
/proc/17627/task/17755/stat : 17755 (plingeling) R 17625 17627 16185 0 -1 4202560 705 1239 0 0 120 1 0 0 22 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4358748 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17627/tid=17757] ppid=17625 vsize=587296 CPUtime=1.24 cores=0-31
/proc/17627/task/17757/stat : 17757 (plingeling) R 17625 17627 16185 0 -1 4202560 569 1239 0 0 124 0 0 0 18 0 33 0 714581384 601391104 14978 268435456000 4194304 4417452 140735284979232 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 40.92
Current children cumulated vsize (KiB) 587248

[startup+3.1018 s]
/proc/loadavg: 29.27 31.23 31.76 34/451 17854
/proc/meminfo: memFree=255387832/264257624 swapFree=67111528/67111528
[pid=17627] ppid=17625 vsize=624560 CPUtime=91.17 cores=0-31
/proc/17627/stat : 17627 (plingeling) S 17625 17627 16185 0 -1 4202496 57787 1239 0 0 9044 73 0 0 18 0 33 0 714581363 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/17627/statm: 156140 24424 175 55 0 154026 0
[pid=17627/tid=17724] ppid=17625 vsize=624560 CPUtime=2.85 cores=0-31
/proc/17627/task/17724/stat : 17724 (plingeling) R 17625 17627 16185 0 -1 4202560 1929 1239 0 0 283 2 0 0 19 0 33 0 714581383 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4251117 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17627/tid=17725] ppid=17625 vsize=624560 CPUtime=2.86 cores=0-31
/proc/17627/task/17725/stat : 17725 (plingeling) R 17625 17627 16185 0 -1 4202560 1637 1239 0 0 285 1 0 0 19 0 33 0 714581383 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17627/tid=17726] ppid=17625 vsize=624560 CPUtime=2.76 cores=0-31
/proc/17627/task/17726/stat : 17726 (plingeling) R 17625 17627 16185 0 -1 4202560 1986 1239 0 0 273 3 0 0 22 0 33 0 714581383 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 18446744073699065913 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17627/tid=17727] ppid=17625 vsize=624560 CPUtime=2.87 cores=0-31
/proc/17627/task/17727/stat : 17727 (plingeling) R 17625 17627 16185 0 -1 4202560 1932 1239 0 0 285 2 0 0 23 0 33 0 714581383 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4358357 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17627/tid=17728] ppid=17625 vsize=624560 CPUtime=2.86 cores=0-31
/proc/17627/task/17728/stat : 17728 (plingeling) R 17625 17627 16185 0 -1 4202560 1444 1239 0 0 285 1 0 0 23 0 33 0 714581383 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17627/tid=17729] ppid=17625 vsize=624560 CPUtime=2.85 cores=0-31
/proc/17627/task/17729/stat : 17729 (plingeling) R 17625 17627 16185 0 -1 4202560 1450 1239 0 0 284 1 0 0 18 0 33 0 714581383 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17627/tid=17730] ppid=17625 vsize=624560 CPUtime=2.83 cores=0-31
/proc/17627/task/17730/stat : 17730 (plingeling) R 17625 17627 16185 0 -1 4202560 1843 1239 0 0 281 2 0 0 25 0 33 0 714581383 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17627/tid=17731] ppid=17625 vsize=624560 CPUtime=2.8 cores=0-31
/proc/17627/task/17731/stat : 17731 (plingeling) R 17625 17627 16185 0 -1 4202560 1390 1239 0 0 279 1 0 0 18 0 33 0 714581383 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4251063 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17627/tid=17732] ppid=17625 vsize=624560 CPUtime=2.8 cores=0-31
/proc/17627/task/17732/stat : 17732 (plingeling) R 17625 17627 16185 0 -1 4202560 1626 1239 0 0 278 2 0 0 18 0 33 0 714581383 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4365106 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17627/tid=17733] ppid=17625 vsize=624560 CPUtime=2.85 cores=0-31
/proc/17627/task/17733/stat : 17733 (plingeling) R 17625 17627 16185 0 -1 4202560 1471 1239 0 0 285 0 0 0 24 0 33 0 714581383 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=17627/tid=17734] ppid=17625 vsize=624560 CPUtime=2.81 cores=0-31
/proc/17627/task/17734/stat : 17734 (plingeling) R 17625 17627 16185 0 -1 4202560 1643 1239 0 0 280 1 0 0 20 0 33 0 714581383 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17627/tid=17735] ppid=17625 vsize=624560 CPUtime=2.87 cores=0-31
/proc/17627/task/17735/stat : 17735 (plingeling) R 17625 17627 16185 0 -1 4202560 1705 1239 0 0 285 2 0 0 18 0 33 0 714581383 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17627/tid=17736] ppid=17625 vsize=624560 CPUtime=2.85 cores=0-31
/proc/17627/task/17736/stat : 17736 (plingeling) R 17625 17627 16185 0 -1 4202560 1474 1239 0 0 283 2 0 0 23 0 33 0 714581383 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17627/tid=17737] ppid=17625 vsize=624560 CPUtime=2.87 cores=0-31
/proc/17627/task/17737/stat : 17737 (plingeling) R 17625 17627 16185 0 -1 4202560 993 1239 0 0 287 0 0 0 23 0 33 0 714581383 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17627/tid=17739] ppid=17625 vsize=624560 CPUtime=2.84 cores=0-31
/proc/17627/task/17739/stat : 17739 (plingeling) R 17625 17627 16185 0 -1 4202560 1668 1239 0 0 281 3 0 0 19 0 33 0 714581383 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4236319 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17627/tid=17740] ppid=17625 vsize=624560 CPUtime=2.83 cores=0-31
/proc/17627/task/17740/stat : 17740 (plingeling) R 17625 17627 16185 0 -1 4202560 1365 1239 0 0 282 1 0 0 18 0 33 0 714581384 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17627/tid=17741] ppid=17625 vsize=624560 CPUtime=2.84 cores=0-31
/proc/17627/task/17741/stat : 17741 (plingeling) R 17625 17627 16185 0 -1 4202560 1435 1239 0 0 282 2 0 0 18 0 33 0 714581384 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 18446744073699066043 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17627/tid=17742] ppid=17625 vsize=624560 CPUtime=2.86 cores=0-31
/proc/17627/task/17742/stat : 17742 (plingeling) R 17625 17627 16185 0 -1 4202560 1902 1239 0 0 283 3 0 0 19 0 33 0 714581384 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17627/tid=17743] ppid=17625 vsize=624560 CPUtime=2.84 cores=0-31
/proc/17627/task/17743/stat : 17743 (plingeling) R 17625 17627 16185 0 -1 4202560 1691 1239 0 0 283 1 0 0 19 0 33 0 714581384 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4236982 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17627/tid=17744] ppid=17625 vsize=624560 CPUtime=2.84 cores=0-31
/proc/17627/task/17744/stat : 17744 (plingeling) R 17625 17627 16185 0 -1 4202560 2038 1239 0 0 282 2 0 0 18 0 33 0 714581384 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17627/tid=17745] ppid=17625 vsize=624560 CPUtime=2.82 cores=0-31
/proc/17627/task/17745/stat : 17745 (plingeling) R 17625 17627 16185 0 -1 4202560 1381 1239 0 0 281 1 0 0 18 0 33 0 714581384 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17627/tid=17746] ppid=17625 vsize=624560 CPUtime=2.85 cores=0-31
/proc/17627/task/17746/stat : 17746 (plingeling) R 17625 17627 16185 0 -1 4202560 1932 1239 0 0 283 2 0 0 18 0 33 0 714581384 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364669 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17627/tid=17747] ppid=17625 vsize=624560 CPUtime=2.82 cores=0-31
/proc/17627/task/17747/stat : 17747 (plingeling) R 17625 17627 16185 0 -1 4202560 1907 1239 0 0 280 2 0 0 25 0 33 0 714581384 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17627/tid=17748] ppid=17625 vsize=624560 CPUtime=2.84 cores=0-31
/proc/17627/task/17748/stat : 17748 (plingeling) R 17625 17627 16185 0 -1 4202560 1469 1239 0 0 283 1 0 0 23 0 33 0 714581384 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17627/tid=17749] ppid=17625 vsize=624560 CPUtime=2.84 cores=0-31
/proc/17627/task/17749/stat : 17749 (plingeling) R 17625 17627 16185 0 -1 4202560 1865 1239 0 0 281 3 0 0 18 0 33 0 714581384 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4366271 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=17627/tid=17750] ppid=17625 vsize=624560 CPUtime=2.85 cores=0-31
/proc/17627/task/17750/stat : 17750 (plingeling) R 17625 17627 16185 0 -1 4202560 1255 1239 0 0 284 1 0 0 23 0 33 0 714581384 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4357159 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17627/tid=17751] ppid=17625 vsize=624560 CPUtime=2.83 cores=0-31
/proc/17627/task/17751/stat : 17751 (plingeling) R 17625 17627 16185 0 -1 4202560 2037 1239 0 0 281 2 0 0 18 0 33 0 714581384 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4366079 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17627/tid=17752] ppid=17625 vsize=624560 CPUtime=2.81 cores=0-31
/proc/17627/task/17752/stat : 17752 (plingeling) R 17625 17627 16185 0 -1 4202560 1308 1239 0 0 280 1 0 0 25 0 33 0 714581384 639549440 24424 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17627/tid=17753] ppid=17625 vsize=624560 CPUtime=2.77 cores=0-31

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

[pid=17627/tid=17757] ppid=17625 vsize=2937352 CPUtime=4887.47 cores=0-31
/proc/17627/task/17757/stat : 17757 (plingeling) R 17625 17627 16185 0 -1 4202560 695640 1239 0 0 487868 879 0 0 25 0 33 0 714581384 3007848448 612224 268435456000 4194304 4417452 140735284979232 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 156548
Current children cumulated vsize (KiB) 2937352

[startup+4962.3 s]
/proc/loadavg: 32.06 32.06 32.07 33/446 23172
/proc/meminfo: memFree=252989244/264257624 swapFree=67111528/67111528
[pid=17627] ppid=17625 vsize=2949940 CPUtime=158466 cores=0-31
/proc/17627/stat : 17627 (plingeling) S 17625 17627 16185 0 -1 4202496 17399979 1239 0 0 15824558 21994 0 0 18 0 33 0 714581363 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/17627/statm: 737485 630641 175 55 0 735371 0
[pid=17627/tid=17724] ppid=17625 vsize=2949940 CPUtime=4945.48 cores=0-31
/proc/17627/task/17724/stat : 17724 (plingeling) R 17625 17627 16185 0 -1 4202560 371892 1239 0 0 494002 546 0 0 25 0 33 0 714581383 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17627/tid=17725] ppid=17625 vsize=2949940 CPUtime=4953.46 cores=0-31
/proc/17627/task/17725/stat : 17725 (plingeling) R 17625 17627 16185 0 -1 4202560 667833 1239 0 0 494594 752 0 0 25 0 33 0 714581383 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364885 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17627/tid=17726] ppid=17625 vsize=2949940 CPUtime=4954.64 cores=0-31
/proc/17627/task/17726/stat : 17726 (plingeling) R 17625 17627 16185 0 -1 4202560 704561 1239 0 0 494705 759 0 0 25 0 33 0 714581383 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17627/tid=17727] ppid=17625 vsize=2949940 CPUtime=4949.53 cores=0-31
/proc/17627/task/17727/stat : 17727 (plingeling) R 17625 17627 16185 0 -1 4202560 757386 1239 0 0 493988 965 0 0 25 0 33 0 714581383 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17627/tid=17728] ppid=17625 vsize=2949940 CPUtime=4954.97 cores=0-31
/proc/17627/task/17728/stat : 17728 (plingeling) R 17625 17627 16185 0 -1 4202560 639250 1239 0 0 494659 838 0 0 25 0 33 0 714581383 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17627/tid=17729] ppid=17625 vsize=2949940 CPUtime=4953.56 cores=0-31
/proc/17627/task/17729/stat : 17729 (plingeling) R 17625 17627 16185 0 -1 4202560 567795 1239 0 0 494594 762 0 0 25 0 33 0 714581383 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4356867 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=17627/tid=17730] ppid=17625 vsize=2949940 CPUtime=4956.02 cores=0-31
/proc/17627/task/17730/stat : 17730 (plingeling) R 17625 17627 16185 0 -1 4202560 375316 1239 0 0 495118 484 0 0 25 0 33 0 714581383 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17627/tid=17731] ppid=17625 vsize=2949940 CPUtime=4951.45 cores=0-31
/proc/17627/task/17731/stat : 17731 (plingeling) R 17625 17627 16185 0 -1 4202560 600004 1239 0 0 494433 712 0 0 25 0 33 0 714581383 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17627/tid=17732] ppid=17625 vsize=2949940 CPUtime=4945.89 cores=0-31
/proc/17627/task/17732/stat : 17732 (plingeling) R 17625 17627 16185 0 -1 4202560 506470 1239 0 0 493872 717 0 0 25 0 33 0 714581383 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17627/tid=17733] ppid=17625 vsize=2949940 CPUtime=4953.53 cores=0-31
/proc/17627/task/17733/stat : 17733 (plingeling) R 17625 17627 16185 0 -1 4202560 473200 1239 0 0 494790 563 0 0 25 0 33 0 714581383 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17627/tid=17734] ppid=17625 vsize=2949940 CPUtime=4938.98 cores=0-31
/proc/17627/task/17734/stat : 17734 (plingeling) R 17625 17627 16185 0 -1 4202560 836981 1239 0 0 492902 996 0 0 25 0 33 0 714581383 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17627/tid=17735] ppid=17625 vsize=2949940 CPUtime=4954.45 cores=0-31
/proc/17627/task/17735/stat : 17735 (plingeling) R 17625 17627 16185 0 -1 4202560 416285 1239 0 0 494803 642 0 0 25 0 33 0 714581383 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17627/tid=17736] ppid=17625 vsize=2949940 CPUtime=4951.74 cores=0-31
/proc/17627/task/17736/stat : 17736 (plingeling) R 17625 17627 16185 0 -1 4202560 468583 1239 0 0 494536 638 0 0 25 0 33 0 714581383 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17627/tid=17737] ppid=17625 vsize=2949940 CPUtime=4957.28 cores=0-31
/proc/17627/task/17737/stat : 17737 (plingeling) R 17625 17627 16185 0 -1 4202560 416724 1239 0 0 495189 539 0 0 25 0 33 0 714581383 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17627/tid=17739] ppid=17625 vsize=2949940 CPUtime=4954.39 cores=0-31
/proc/17627/task/17739/stat : 17739 (plingeling) R 17625 17627 16185 0 -1 4202560 608740 1239 0 0 494701 738 0 0 25 0 33 0 714581383 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17627/tid=17740] ppid=17625 vsize=2949940 CPUtime=4946.07 cores=0-31
/proc/17627/task/17740/stat : 17740 (plingeling) R 17625 17627 16185 0 -1 4202560 575032 1239 0 0 493932 675 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364735 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17627/tid=17741] ppid=17625 vsize=2949940 CPUtime=4955.53 cores=0-31
/proc/17627/task/17741/stat : 17741 (plingeling) R 17625 17627 16185 0 -1 4202560 516123 1239 0 0 494841 712 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17627/tid=17742] ppid=17625 vsize=2949940 CPUtime=4954.97 cores=0-31
/proc/17627/task/17742/stat : 17742 (plingeling) R 17625 17627 16185 0 -1 4202560 403816 1239 0 0 494912 585 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17627/tid=17743] ppid=17625 vsize=2949940 CPUtime=4951.56 cores=0-31
/proc/17627/task/17743/stat : 17743 (plingeling) R 17625 17627 16185 0 -1 4202560 603249 1239 0 0 494359 797 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17627/tid=17744] ppid=17625 vsize=2949940 CPUtime=4954.61 cores=0-31
/proc/17627/task/17744/stat : 17744 (plingeling) R 17625 17627 16185 0 -1 4202560 414108 1239 0 0 494924 537 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17627/tid=17745] ppid=17625 vsize=2949940 CPUtime=4943.19 cores=0-31
/proc/17627/task/17745/stat : 17745 (plingeling) R 17625 17627 16185 0 -1 4202560 461080 1239 0 0 493708 611 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17627/tid=17746] ppid=17625 vsize=2949940 CPUtime=4955.73 cores=0-31
/proc/17627/task/17746/stat : 17746 (plingeling) R 17625 17627 16185 0 -1 4202560 358913 1239 0 0 495111 462 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17627/tid=17747] ppid=17625 vsize=2949940 CPUtime=4947.1 cores=0-31
/proc/17627/task/17747/stat : 17747 (plingeling) R 17625 17627 16185 0 -1 4202560 343559 1239 0 0 494229 481 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17627/tid=17748] ppid=17625 vsize=2949940 CPUtime=4954.69 cores=0-31
/proc/17627/task/17748/stat : 17748 (plingeling) R 17625 17627 16185 0 -1 4202560 627435 1239 0 0 494692 777 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17627/tid=17749] ppid=17625 vsize=2949940 CPUtime=4956.04 cores=0-31
/proc/17627/task/17749/stat : 17749 (plingeling) R 17625 17627 16185 0 -1 4202560 437570 1239 0 0 495031 573 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17627/tid=17750] ppid=17625 vsize=2949940 CPUtime=4956.08 cores=0-31
/proc/17627/task/17750/stat : 17750 (plingeling) R 17625 17627 16185 0 -1 4202560 735523 1239 0 0 494843 765 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17627/tid=17751] ppid=17625 vsize=2949940 CPUtime=4947.03 cores=0-31
/proc/17627/task/17751/stat : 17751 (plingeling) R 17625 17627 16185 0 -1 4202560 600469 1239 0 0 493949 754 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17627/tid=17752] ppid=17625 vsize=2949940 CPUtime=4956.35 cores=0-31
/proc/17627/task/17752/stat : 17752 (plingeling) R 17625 17627 16185 0 -1 4202560 533340 1239 0 0 495014 621 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17627/tid=17753] ppid=17625 vsize=2949940 CPUtime=4954.42 cores=0-31
/proc/17627/task/17753/stat : 17753 (plingeling) R 17625 17627 16185 0 -1 4202560 592614 1239 0 0 494769 673 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17627/tid=17754] ppid=17625 vsize=2949940 CPUtime=4953.79 cores=0-31
/proc/17627/task/17754/stat : 17754 (plingeling) R 17625 17627 16185 0 -1 4202560 698261 1239 0 0 494495 884 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17627/tid=17755] ppid=17625 vsize=2949940 CPUtime=4954.97 cores=0-31
/proc/17627/task/17755/stat : 17755 (plingeling) R 17625 17627 16185 0 -1 4202560 374821 1239 0 0 494986 511 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=17627/tid=17757] ppid=17625 vsize=2949940 CPUtime=4947.46 cores=0-31
/proc/17627/task/17757/stat : 17757 (plingeling) R 17625 17627 16185 0 -1 4202560 708275 1239 0 0 493841 905 0 0 25 0 33 0 714581384 3020738560 630641 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 158466
Current children cumulated vsize (KiB) 2949940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5010.4 s]
/proc/loadavg: 32.03 32.05 32.07 34/446 23174
/proc/meminfo: memFree=253072416/264257624 swapFree=67111528/67111528
[pid=17627] ppid=17625 vsize=2878508 CPUtime=160004 cores=0-31
/proc/17627/stat : 17627 (plingeling) S 17625 17627 16185 0 -1 4202496 17484937 1239 0 0 15978297 22110 0 0 18 0 33 0 714581363 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/17627/statm: 719627 608145 175 55 0 717513 0
[pid=17627/tid=17724] ppid=17625 vsize=2878508 CPUtime=4993.61 cores=0-31
/proc/17627/task/17724/stat : 17724 (plingeling) R 17625 17627 16185 0 -1 4202560 375372 1239 0 0 498805 556 0 0 25 0 33 0 714581383 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364716 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17627/tid=17725] ppid=17625 vsize=2878508 CPUtime=5001.56 cores=0-31
/proc/17627/task/17725/stat : 17725 (plingeling) R 17625 17627 16185 0 -1 4202560 670233 1239 0 0 499397 759 0 0 25 0 33 0 714581383 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17627/tid=17726] ppid=17625 vsize=2878508 CPUtime=5002.78 cores=0-31
/proc/17627/task/17726/stat : 17726 (plingeling) R 17625 17627 16185 0 -1 4202560 706743 1239 0 0 499518 760 0 0 25 0 33 0 714581383 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17627/tid=17727] ppid=17625 vsize=2878508 CPUtime=4997.61 cores=0-31
/proc/17627/task/17727/stat : 17727 (plingeling) R 17625 17627 16185 0 -1 4202560 762773 1239 0 0 498794 967 0 0 25 0 33 0 714581383 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17627/tid=17728] ppid=17625 vsize=2878508 CPUtime=5002.9 cores=0-31
/proc/17627/task/17728/stat : 17728 (plingeling) R 17625 17627 16185 0 -1 4202560 645701 1239 0 0 499442 848 0 0 25 0 33 0 714581383 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4365042 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17627/tid=17729] ppid=17625 vsize=2878508 CPUtime=5001.7 cores=0-31
/proc/17627/task/17729/stat : 17729 (plingeling) R 17625 17627 16185 0 -1 4202560 570179 1239 0 0 499407 763 0 0 25 0 33 0 714581383 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=17627/tid=17730] ppid=17625 vsize=2878508 CPUtime=5004.16 cores=0-31
/proc/17627/task/17730/stat : 17730 (plingeling) R 17625 17627 16185 0 -1 4202560 375316 1239 0 0 499932 484 0 0 25 0 33 0 714581383 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17627/tid=17731] ppid=17625 vsize=2878508 CPUtime=4999.58 cores=0-31
/proc/17627/task/17731/stat : 17731 (plingeling) R 17625 17627 16185 0 -1 4202560 604261 1239 0 0 499234 724 0 0 25 0 33 0 714581383 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17627/tid=17732] ppid=17625 vsize=2878508 CPUtime=4994.03 cores=0-31
/proc/17627/task/17732/stat : 17732 (plingeling) R 17625 17627 16185 0 -1 4202560 511260 1239 0 0 498684 719 0 0 25 0 33 0 714581383 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17627/tid=17733] ppid=17625 vsize=2878508 CPUtime=5001.64 cores=0-31
/proc/17627/task/17733/stat : 17733 (plingeling) R 17625 17627 16185 0 -1 4202560 475016 1239 0 0 499598 566 0 0 25 0 33 0 714581383 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17627/tid=17734] ppid=17625 vsize=2878508 CPUtime=4987.12 cores=0-31
/proc/17627/task/17734/stat : 17734 (plingeling) R 17625 17627 16185 0 -1 4202560 841473 1239 0 0 497715 997 0 0 25 0 33 0 714581383 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17627/tid=17735] ppid=17625 vsize=2878508 CPUtime=5002.59 cores=0-31
/proc/17627/task/17735/stat : 17735 (plingeling) R 17625 17627 16185 0 -1 4202560 419197 1239 0 0 499609 650 0 0 25 0 33 0 714581383 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17627/tid=17736] ppid=17625 vsize=2878508 CPUtime=4998.6 cores=0-31
/proc/17627/task/17736/stat : 17736 (plingeling) R 17625 17627 16185 0 -1 4202560 469943 1239 0 0 499221 639 0 0 25 0 33 0 714581383 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17627/tid=17737] ppid=17625 vsize=2878508 CPUtime=5005.42 cores=0-31
/proc/17627/task/17737/stat : 17737 (plingeling) R 17625 17627 16185 0 -1 4202560 418284 1239 0 0 499999 543 0 0 25 0 33 0 714581383 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17627/tid=17739] ppid=17625 vsize=2878508 CPUtime=5002.53 cores=0-31
/proc/17627/task/17739/stat : 17739 (plingeling) R 17625 17627 16185 0 -1 4202560 612872 1239 0 0 499505 748 0 0 25 0 33 0 714581383 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17627/tid=17740] ppid=17625 vsize=2878508 CPUtime=4994.2 cores=0-31
/proc/17627/task/17740/stat : 17740 (plingeling) R 17625 17627 16185 0 -1 4202560 577562 1239 0 0 498738 682 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17627/tid=17741] ppid=17625 vsize=2878508 CPUtime=5003.67 cores=0-31
/proc/17627/task/17741/stat : 17741 (plingeling) R 17625 17627 16185 0 -1 4202560 516123 1239 0 0 499655 712 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17627/tid=17742] ppid=17625 vsize=2878508 CPUtime=5003.11 cores=0-31
/proc/17627/task/17742/stat : 17742 (plingeling) R 17625 17627 16185 0 -1 4202560 406632 1239 0 0 499725 586 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17627/tid=17743] ppid=17625 vsize=2878508 CPUtime=4999.7 cores=0-31
/proc/17627/task/17743/stat : 17743 (plingeling) R 17625 17627 16185 0 -1 4202560 605181 1239 0 0 499171 799 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17627/tid=17744] ppid=17625 vsize=2878508 CPUtime=5002.73 cores=0-31
/proc/17627/task/17744/stat : 17744 (plingeling) R 17625 17627 16185 0 -1 4202560 418951 1239 0 0 499723 550 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17627/tid=17745] ppid=17625 vsize=2878508 CPUtime=4991.33 cores=0-31
/proc/17627/task/17745/stat : 17745 (plingeling) R 17625 17627 16185 0 -1 4202560 461080 1239 0 0 498522 611 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17627/tid=17746] ppid=17625 vsize=2878508 CPUtime=5003.86 cores=0-31
/proc/17627/task/17746/stat : 17746 (plingeling) R 17625 17627 16185 0 -1 4202560 360985 1239 0 0 499924 462 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17627/tid=17747] ppid=17625 vsize=2878508 CPUtime=4995.23 cores=0-31
/proc/17627/task/17747/stat : 17747 (plingeling) R 17625 17627 16185 0 -1 4202560 344967 1239 0 0 499042 481 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17627/tid=17748] ppid=17625 vsize=2878508 CPUtime=5002.75 cores=0-31
/proc/17627/task/17748/stat : 17748 (plingeling) R 17625 17627 16185 0 -1 4202560 627893 1239 0 0 499498 777 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17627/tid=17749] ppid=17625 vsize=2878508 CPUtime=5004.17 cores=0-31
/proc/17627/task/17749/stat : 17749 (plingeling) R 17625 17627 16185 0 -1 4202560 439572 1239 0 0 499839 578 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17627/tid=17750] ppid=17625 vsize=2878508 CPUtime=5004.22 cores=0-31
/proc/17627/task/17750/stat : 17750 (plingeling) R 17625 17627 16185 0 -1 4202560 737039 1239 0 0 499656 766 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17627/tid=17751] ppid=17625 vsize=2878508 CPUtime=4995.15 cores=0-31
/proc/17627/task/17751/stat : 17751 (plingeling) R 17625 17627 16185 0 -1 4202560 606603 1239 0 0 498746 769 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17627/tid=17752] ppid=17625 vsize=2878508 CPUtime=5004.48 cores=0-31
/proc/17627/task/17752/stat : 17752 (plingeling) R 17625 17627 16185 0 -1 4202560 535536 1239 0 0 499826 622 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17627/tid=17753] ppid=17625 vsize=2878508 CPUtime=5002.56 cores=0-31
/proc/17627/task/17753/stat : 17753 (plingeling) R 17625 17627 16185 0 -1 4202560 595846 1239 0 0 499582 674 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4281408 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17627/tid=17754] ppid=17625 vsize=2878508 CPUtime=5001.93 cores=0-31
/proc/17627/task/17754/stat : 17754 (plingeling) R 17625 17627 16185 0 -1 4202560 702085 1239 0 0 499307 886 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17627/tid=17755] ppid=17625 vsize=2878508 CPUtime=5003.1 cores=0-31
/proc/17627/task/17755/stat : 17755 (plingeling) R 17625 17627 16185 0 -1 4202560 374821 1239 0 0 499799 511 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364711 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=17627/tid=17757] ppid=17625 vsize=2878508 CPUtime=4995.59 cores=0-31
/proc/17627/task/17757/stat : 17757 (plingeling) R 17625 17627 16185 0 -1 4202560 710667 1239 0 0 498654 905 0 0 25 0 33 0 714581384 2947592192 608145 268435456000 4194304 4417452 140735284979232 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 2878508

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

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

[startup+5010.6 s]
/proc/loadavg: 32.03 32.05 32.07 34/446 23174
/proc/meminfo: memFree=253072416/264257624 swapFree=67111528/67111528
[pid=17627] ppid=17625 vsize=0 CPUtime=160004 cores=0-31
/proc/17627/stat : 17627 (plingeling) Z 17625 17627 16185 0 -1 4203548 17484937 1239 0 0 15978320 22125 0 0 18 0 2 0 714581363 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 20 0 0 0
/proc/17627/statm: 0 0 0 0 0 0 0
[pid=17627/tid=17728] ppid=17625 vsize=0 CPUtime=5003.06 cores=0-31
/proc/17627/task/17728/stat : 17728 (plingeling) R 17625 17627 16185 0 -1 4203588 645701 1239 0 0 499443 863 0 0 25 0 2 0 714581383 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 31 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): 5010.68
CPU time (s): 160005
CPU user time (s): 159783
CPU system time (s): 221.335
CPU usage (%): 3193.27
Max. virtual memory (cumulated for all children) (KiB): 3056036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159783
system time used= 221.335
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17486176
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= 16396
involuntary context switches= 452326

runsolver used 27.6928 second user time and 114.421 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-22 04:22:30
IDJOB=3372753
IDBENCH=83421
IDSOLVER=1852
FILE ID=node200/3372753-1306030949
RUNJOBID= node200-1306030881-16199
PBS_JOBID= 13387803
Free space on /tmp= 62048 MiB

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

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

MD5SUM BENCH= 4738c3d0ccd52030cff8addcec6bcde9
RANDOM SEED=915347750

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:      255471612 kB
Buffers:        454320 kB
Cached:        7897884 kB
SwapCached:          0 kB
Active:        7424720 kB
Inactive:       997664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255471612 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1620 kB
Writeback:           0 kB
AnonPages:       73876 kB
Mapped:          14928 kB
Slab:           254392 kB
PageTables:       6748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   196088 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 05:46:02