Trace number 3347569

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
ppfolio par? (TO) 160001 5006.16

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
128/aes_128_2_keyfind_1.cnf
MD5SUM19e0b91e7d093f7cb35b11b46708a49b
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 variables2000
Number of clauses20544
Sum of the clauses size111944
Maximum clause length8
Minimum clause length1
Number of clauses of size 1272
Number of clauses of size 2256
Number of clauses of size 33520
Number of clauses of size 4640
Number of clauses of size 54096
Number of clauses of size over 511760

Solver Data 

0.00/0.00	This is pico-portfolio, a naive parallel portfolio
0.00/0.00	Copyright (C) 2011 Olivier Roussel
0.00/0.00	Using 32 processing units
0.00/0.00	This portfolio uses the following solvers:
0.00/0.00	[1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00	[2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00	[3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00	[4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00	[5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00	Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00	Starting clasp 1.3.6 on core(s) 1
0.00/0.00	Starting TNM 2009 on core(s) 2
0.00/0.00	Starting march_hi 2009 on core(s) 3
0.00/0.00	Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

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-3347569-1305347111/watcher-3347569-1305347111 -o /tmp/evaluation-result-3347569-1305347111/solver-3347569-1305347111 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347569-1305347111.cnf 

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

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


[startup+0 s]
/proc/loadavg: 27.19 31.01 31.67 1/413 28693
/proc/meminfo: memFree=255610588/264257624 swapFree=67111528/67111528
[pid=28693] ppid=28691 vsize=18324 CPUtime=0 cores=0-31
/proc/28693/stat : 28693 (ppfolio) S 28691 28693 28667 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 646197502 18763776 386 268435456000 4194304 4287625 140735228127104 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 24 0 0 0
/proc/28693/statm: 4581 386 337 23 0 91 0

[startup+0.068617 s]
/proc/loadavg: 27.19 31.01 31.67 1/413 28693
/proc/meminfo: memFree=255610588/264257624 swapFree=67111528/67111528
[pid=28693] ppid=28691 vsize=18324 CPUtime=0 cores=0-31
/proc/28693/stat : 28693 (ppfolio) S 28691 28693 28667 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 646197502 18763776 386 268435456000 4194304 4287625 140735228127104 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 24 0 0 0
/proc/28693/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100597 s]
/proc/loadavg: 27.19 31.01 31.67 1/413 28693
/proc/meminfo: memFree=255610588/264257624 swapFree=67111528/67111528
[pid=28693] ppid=28691 vsize=18324 CPUtime=0 cores=0-31
/proc/28693/stat : 28693 (ppfolio) S 28691 28693 28667 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 646197502 18763776 386 268435456000 4194304 4287625 140735228127104 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 24 0 0 0
/proc/28693/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300611 s]
/proc/loadavg: 27.19 31.01 31.67 1/413 28693
/proc/meminfo: memFree=255610588/264257624 swapFree=67111528/67111528
[pid=28693] ppid=28691 vsize=18324 CPUtime=0 cores=0-31
/proc/28693/stat : 28693 (ppfolio) S 28691 28693 28667 0 -1 4202496 513 0 0 0 0 0 0 0 22 0 1 0 646197502 18763776 386 268435456000 4194304 4287625 140735228127104 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 24 0 0 0
/proc/28693/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.70053 s]
/proc/loadavg: 27.19 31.01 31.67 1/413 28693
/proc/meminfo: memFree=255610588/264257624 swapFree=67111528/67111528
[pid=28693] ppid=28691 vsize=18324 CPUtime=0 cores=0-31
/proc/28693/stat : 28693 (ppfolio) S 28691 28693 28667 0 -1 4202496 513 0 0 0 0 0 0 0 18 0 1 0 646197502 18763776 386 268435456000 4194304 4287625 140735228127104 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 24 0 0 0
/proc/28693/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50155 s]
/proc/loadavg: 27.19 31.01 31.67 33/447 28732
/proc/meminfo: memFree=255508008/264257624 swapFree=67111528/67111528
[pid=28693] ppid=28691 vsize=18324 CPUtime=0 cores=0-31
/proc/28693/stat : 28693 (ppfolio) S 28691 28693 28667 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 646197502 18763776 386 268435456000 4194304 4287625 140735228127104 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 24 0 0 0
/proc/28693/statm: 4581 386 337 23 0 91 0
[pid=28694] ppid=28693 vsize=616740 CPUtime=1.49 cores=0
/proc/28694/stat : 28694 (cryptominisat) R 28693 28693 28667 0 -1 4202496 3680 0 0 0 148 1 0 0 25 0 1 0 646197503 631541760 2138 268435456000 4194304 4587354 140736048370656 18446744073709551615 4238512 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28694/statm: 154185 2138 333 96 0 150747 0
[pid=28695] ppid=28693 vsize=17556 CPUtime=1.48 cores=1
/proc/28695/stat : 28695 (clasp) R 28693 28693 28667 0 -1 4202496 1930 0 0 0 148 0 0 0 20 0 1 0 646197503 17977344 1728 268435456000 4194304 4785740 140734460808256 18446744073709551615 4287158 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28695/statm: 4389 1728 339 145 0 1434 0
[pid=28696] ppid=28693 vsize=457940 CPUtime=1.48 cores=2
/proc/28696/stat : 28696 (TNM) R 28693 28693 28667 0 -1 4202496 1054 0 0 0 148 0 0 0 20 0 1 0 646197503 468930560 952 268435456000 134512640 134534564 4292472784 18446744073709551615 134529758 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28696/statm: 114485 952 95 6 0 113150 0
[pid=28697] ppid=28693 vsize=24456 CPUtime=1.48 cores=3
/proc/28697/stat : 28697 (march_hi) R 28693 28693 28667 0 -1 4202496 10250 0 0 0 145 3 0 0 20 0 1 0 646197503 25042944 3533 268435456000 4194304 4331988 140733262661952 18446744073709551615 4210940 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28697/statm: 6114 3533 175 34 0 4556 0
[pid=28698] ppid=28693 vsize=501860 CPUtime=25.69 cores=4-31
/proc/28698/stat : 28698 (plingeling) S 28693 28693 28667 0 -1 4202496 22796 1238 0 0 2520 48 0 1 19 0 29 0 646197503 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/28698/statm: 125465 20144 158 40 0 124009 0
[pid=28698/tid=28705] ppid=28693 vsize=501860 CPUtime=0.9 cores=4-31
/proc/28698/task/28705/stat : 28705 (plingeling) R 28693 28693 28667 0 -1 4202560 279 1238 0 0 88 1 0 1 18 0 29 0 646197558 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4211856 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28698/tid=28706] ppid=28693 vsize=501860 CPUtime=0.9 cores=4-31
/proc/28698/task/28706/stat : 28706 (plingeling) R 28693 28693 28667 0 -1 4202560 264 1238 0 0 88 1 0 1 18 0 29 0 646197558 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28698/tid=28707] ppid=28693 vsize=501860 CPUtime=0.94 cores=4-31
/proc/28698/task/28707/stat : 28707 (plingeling) R 28693 28693 28667 0 -1 4202560 292 1238 0 0 92 1 0 1 19 0 29 0 646197558 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28698/tid=28708] ppid=28693 vsize=501860 CPUtime=0.93 cores=4-31
/proc/28698/task/28708/stat : 28708 (plingeling) R 28693 28693 28667 0 -1 4202560 571 1238 0 0 91 1 0 1 19 0 29 0 646197558 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28698/tid=28709] ppid=28693 vsize=501860 CPUtime=0.9 cores=4-31
/proc/28698/task/28709/stat : 28709 (plingeling) R 28693 28693 28667 0 -1 4202560 281 1238 0 0 88 1 0 1 18 0 29 0 646197558 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28698/tid=28710] ppid=28693 vsize=501860 CPUtime=0.9 cores=4-31
/proc/28698/task/28710/stat : 28710 (plingeling) R 28693 28693 28667 0 -1 4202560 325 1238 0 0 87 2 0 1 18 0 29 0 646197558 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28698/tid=28711] ppid=28693 vsize=501860 CPUtime=0.89 cores=4-31
/proc/28698/task/28711/stat : 28711 (plingeling) R 28693 28693 28667 0 -1 4202560 347 1238 0 0 87 1 0 1 18 0 29 0 646197558 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28698/tid=28712] ppid=28693 vsize=501860 CPUtime=0.9 cores=4-31
/proc/28698/task/28712/stat : 28712 (plingeling) R 28693 28693 28667 0 -1 4202560 282 1238 0 0 87 2 0 1 18 0 29 0 646197558 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28698/tid=28713] ppid=28693 vsize=501860 CPUtime=0.89 cores=4-31
/proc/28698/task/28713/stat : 28713 (plingeling) R 28693 28693 28667 0 -1 4202560 324 1238 0 0 87 1 0 1 24 0 29 0 646197558 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4211900 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28698/tid=28714] ppid=28693 vsize=501860 CPUtime=0.89 cores=4-31
/proc/28698/task/28714/stat : 28714 (plingeling) R 28693 28693 28667 0 -1 4202560 354 1238 0 0 87 1 0 1 18 0 29 0 646197558 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28698/tid=28715] ppid=28693 vsize=501860 CPUtime=0.92 cores=4-31
/proc/28698/task/28715/stat : 28715 (plingeling) R 28693 28693 28667 0 -1 4202560 326 1238 0 0 90 1 0 1 18 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4211900 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28698/tid=28716] ppid=28693 vsize=501860 CPUtime=0.91 cores=4-31
/proc/28698/task/28716/stat : 28716 (plingeling) R 28693 28693 28667 0 -1 4202560 856 1238 0 0 88 2 0 1 25 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28698/tid=28717] ppid=28693 vsize=501860 CPUtime=0.85 cores=4-31
/proc/28698/task/28717/stat : 28717 (plingeling) R 28693 28693 28667 0 -1 4202560 324 1238 0 0 83 1 0 1 25 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28698/tid=28718] ppid=28693 vsize=501860 CPUtime=0.89 cores=4-31
/proc/28698/task/28718/stat : 28718 (plingeling) R 28693 28693 28667 0 -1 4202560 330 1238 0 0 86 2 0 1 18 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28698/tid=28719] ppid=28693 vsize=501860 CPUtime=0.9 cores=4-31
/proc/28698/task/28719/stat : 28719 (plingeling) R 28693 28693 28667 0 -1 4202560 329 1238 0 0 88 1 0 1 18 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4270905 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28698/tid=28720] ppid=28693 vsize=501860 CPUtime=0.89 cores=4-31
/proc/28698/task/28720/stat : 28720 (plingeling) R 28693 28693 28667 0 -1 4202560 348 1238 0 0 87 1 0 1 18 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4270569 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28698/tid=28721] ppid=28693 vsize=501860 CPUtime=0.89 cores=4-31
/proc/28698/task/28721/stat : 28721 (plingeling) R 28693 28693 28667 0 -1 4202560 325 1238 0 0 87 1 0 1 18 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4211691 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28698/tid=28722] ppid=28693 vsize=501860 CPUtime=0.89 cores=4-31
/proc/28698/task/28722/stat : 28722 (plingeling) R 28693 28693 28667 0 -1 4202560 328 1238 0 0 87 1 0 1 22 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4211772 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28698/tid=28723] ppid=28693 vsize=501860 CPUtime=0.9 cores=4-31
/proc/28698/task/28723/stat : 28723 (plingeling) R 28693 28693 28667 0 -1 4202560 325 1238 0 0 88 1 0 1 22 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4270878 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28698/tid=28724] ppid=28693 vsize=501860 CPUtime=0.9 cores=4-31
/proc/28698/task/28724/stat : 28724 (plingeling) R 28693 28693 28667 0 -1 4202560 664 1238 0 0 88 1 0 1 22 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28698/tid=28725] ppid=28693 vsize=501860 CPUtime=0.9 cores=4-31
/proc/28698/task/28725/stat : 28725 (plingeling) R 28693 28693 28667 0 -1 4202560 324 1238 0 0 88 1 0 1 22 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28698/tid=28726] ppid=28693 vsize=501860 CPUtime=0.88 cores=4-31
/proc/28698/task/28726/stat : 28726 (plingeling) R 28693 28693 28667 0 -1 4202560 328 1238 0 0 86 1 0 1 22 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4311332 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28698/tid=28727] ppid=28693 vsize=501860 CPUtime=0.89 cores=4-31
/proc/28698/task/28727/stat : 28727 (plingeling) R 28693 28693 28667 0 -1 4202560 324 1238 0 0 87 1 0 1 22 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28698/tid=28728] ppid=28693 vsize=501860 CPUtime=0.9 cores=4-31
/proc/28698/task/28728/stat : 28728 (plingeling) R 28693 28693 28667 0 -1 4202560 329 1238 0 0 87 2 0 1 23 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4270615 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28698/tid=28729] ppid=28693 vsize=501860 CPUtime=0.89 cores=4-31
/proc/28698/task/28729/stat : 28729 (plingeling) R 28693 28693 28667 0 -1 4202560 325 1238 0 0 88 0 0 1 22 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28698/tid=28730] ppid=28693 vsize=501860 CPUtime=0.89 cores=4-31
/proc/28698/task/28730/stat : 28730 (plingeling) R 28693 28693 28667 0 -1 4202560 325 1238 0 0 87 1 0 1 22 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4270878 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28698/tid=28731] ppid=28693 vsize=501860 CPUtime=0.91 cores=4-31
/proc/28698/task/28731/stat : 28731 (plingeling) R 28693 28693 28667 0 -1 4202560 324 1238 0 0 90 0 0 1 23 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28698/tid=28732] ppid=28693 vsize=501860 CPUtime=0.89 cores=4-31
/proc/28698/task/28732/stat : 28732 (plingeling) R 28693 28693 28667 0 -1 4202560 682 1238 0 0 88 0 0 1 18 0 29 0 646197559 513904640 20144 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 31.62
Current children cumulated vsize (KiB) 1636876

[startup+3.10161 s]
/proc/loadavg: 27.19 31.01 31.67 33/447 28732
/proc/meminfo: memFree=255467384/264257624 swapFree=67111528/67111528
[pid=28693] ppid=28691 vsize=18324 CPUtime=0 cores=0-31
/proc/28693/stat : 28693 (ppfolio) S 28691 28693 28667 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 646197502 18763776 386 268435456000 4194304 4287625 140735228127104 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 24 0 0 0
/proc/28693/statm: 4581 386 337 23 0 91 0
[pid=28694] ppid=28693 vsize=35784 CPUtime=3.08 cores=0
/proc/28694/stat : 28694 (cryptominisat) R 28693 28693 28667 0 -1 4202496 6675 0 0 0 307 1 0 0 25 0 1 0 646197503 36642816 3228 268435456000 4194304 4587354 140736048370656 18446744073709551615 4238477 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28694/statm: 8946 3228 336 96 0 5508 0
[pid=28695] ppid=28693 vsize=19708 CPUtime=3.09 cores=1
/proc/28695/stat : 28695 (clasp) R 28693 28693 28667 0 -1 4202496 2461 0 0 0 308 1 0 0 25 0 1 0 646197503 20180992 2259 268435456000 4194304 4785740 140734460808256 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28695/statm: 4927 2259 339 145 0 1972 0
[pid=28696] ppid=28693 vsize=457940 CPUtime=3.08 cores=2
/proc/28696/stat : 28696 (TNM) R 28693 28693 28667 0 -1 4202496 1054 0 0 0 308 0 0 0 25 0 1 0 646197503 468930560 952 268435456000 134512640 134534564 4292472784 18446744073709551615 134530124 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28696/statm: 114485 952 95 6 0 113150 0
[pid=28697] ppid=28693 vsize=24456 CPUtime=3.08 cores=3
/proc/28697/stat : 28697 (march_hi) R 28693 28693 28667 0 -1 4202496 10282 0 0 0 305 3 0 0 25 0 1 0 646197503 25042944 3565 268435456000 4194304 4331988 140733262661952 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28697/statm: 6114 3565 175 34 0 4556 0
[pid=28698] ppid=28693 vsize=544776 CPUtime=70.44 cores=4-31
/proc/28698/stat : 28698 (plingeling) S 28693 28693 28667 0 -1 4202496 42239 1238 0 0 6989 54 0 1 19 0 29 0 646197503 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/28698/statm: 136194 33269 158 40 0 134738 0
[pid=28698/tid=28705] ppid=28693 vsize=544776 CPUtime=2.5 cores=4-31
/proc/28698/task/28705/stat : 28705 (plingeling) R 28693 28693 28667 0 -1 4202560 953 1238 0 0 248 1 0 1 22 0 29 0 646197558 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28698/tid=28706] ppid=28693 vsize=544776 CPUtime=2.5 cores=4-31
/proc/28698/task/28706/stat : 28706 (plingeling) R 28693 28693 28667 0 -1 4202560 935 1238 0 0 248 1 0 1 22 0 29 0 646197558 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331392 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28698/tid=28707] ppid=28693 vsize=544776 CPUtime=2.54 cores=4-31
/proc/28698/task/28707/stat : 28707 (plingeling) R 28693 28693 28667 0 -1 4202560 837 1238 0 0 252 1 0 1 22 0 29 0 646197558 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28698/tid=28708] ppid=28693 vsize=544776 CPUtime=2.53 cores=4-31
/proc/28698/task/28708/stat : 28708 (plingeling) R 28693 28693 28667 0 -1 4202560 1466 1238 0 0 251 1 0 1 22 0 29 0 646197558 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28698/tid=28709] ppid=28693 vsize=544776 CPUtime=2.5 cores=4-31
/proc/28698/task/28709/stat : 28709 (plingeling) R 28693 28693 28667 0 -1 4202560 1058 1238 0 0 248 1 0 1 21 0 29 0 646197558 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28698/tid=28710] ppid=28693 vsize=544776 CPUtime=2.5 cores=4-31
/proc/28698/task/28710/stat : 28710 (plingeling) R 28693 28693 28667 0 -1 4202560 1025 1238 0 0 247 2 0 1 21 0 29 0 646197558 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331106 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28698/tid=28711] ppid=28693 vsize=544776 CPUtime=2.49 cores=4-31
/proc/28698/task/28711/stat : 28711 (plingeling) R 28693 28693 28667 0 -1 4202560 1010 1238 0 0 247 1 0 1 21 0 29 0 646197558 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28698/tid=28712] ppid=28693 vsize=544776 CPUtime=2.5 cores=4-31
/proc/28698/task/28712/stat : 28712 (plingeling) R 28693 28693 28667 0 -1 4202560 1270 1238 0 0 247 2 0 1 21 0 29 0 646197558 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4281736 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28698/tid=28713] ppid=28693 vsize=544776 CPUtime=2.49 cores=4-31
/proc/28698/task/28713/stat : 28713 (plingeling) R 28693 28693 28667 0 -1 4202560 997 1238 0 0 247 1 0 1 25 0 29 0 646197558 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28698/tid=28714] ppid=28693 vsize=544776 CPUtime=2.5 cores=4-31
/proc/28698/task/28714/stat : 28714 (plingeling) R 28693 28693 28667 0 -1 4202560 952 1238 0 0 247 2 0 1 21 0 29 0 646197558 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28698/tid=28715] ppid=28693 vsize=544776 CPUtime=2.51 cores=4-31
/proc/28698/task/28715/stat : 28715 (plingeling) R 28693 28693 28667 0 -1 4202560 1049 1238 0 0 249 1 0 1 22 0 29 0 646197559 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28698/tid=28716] ppid=28693 vsize=544776 CPUtime=2.51 cores=4-31
/proc/28698/task/28716/stat : 28716 (plingeling) R 28693 28693 28667 0 -1 4202560 1136 1238 0 0 248 2 0 1 25 0 29 0 646197559 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28698/tid=28717] ppid=28693 vsize=544776 CPUtime=2.41 cores=4-31
/proc/28698/task/28717/stat : 28717 (plingeling) R 28693 28693 28667 0 -1 4202560 1056 1238 0 0 239 1 0 1 25 0 29 0 646197559 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28698/tid=28718] ppid=28693 vsize=544776 CPUtime=2.48 cores=4-31
/proc/28698/task/28718/stat : 28718 (plingeling) R 28693 28693 28667 0 -1 4202560 1014 1238 0 0 245 2 0 1 21 0 29 0 646197559 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28698/tid=28719] ppid=28693 vsize=544776 CPUtime=2.5 cores=4-31
/proc/28698/task/28719/stat : 28719 (plingeling) R 28693 28693 28667 0 -1 4202560 959 1238 0 0 248 1 0 1 22 0 29 0 646197559 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28698/tid=28720] ppid=28693 vsize=544776 CPUtime=2.49 cores=4-31
/proc/28698/task/28720/stat : 28720 (plingeling) R 28693 28693 28667 0 -1 4202560 1621 1238 0 0 246 2 0 1 21 0 29 0 646197559 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28698/tid=28721] ppid=28693 vsize=544776 CPUtime=2.49 cores=4-31
/proc/28698/task/28721/stat : 28721 (plingeling) R 28693 28693 28667 0 -1 4202560 1076 1238 0 0 247 1 0 1 21 0 29 0 646197559 557850624 33269 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28698/tid=28722] ppid=28693 vsize=544776 CPUtime=2.49 cores=4-31

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

/proc/28694/statm: 193753 39702 336 96 0 190315 0
[pid=28695] ppid=28693 vsize=146764 CPUtime=5005.18 cores=1
/proc/28695/stat : 28695 (clasp) R 28693 28693 28667 0 -1 4202496 32215 0 0 0 500506 12 0 0 25 0 1 0 646197503 150286336 31788 268435456000 4194304 4785740 140734460808256 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28695/statm: 36691 31788 339 145 0 33736 0
[pid=28696] ppid=28693 vsize=457944 CPUtime=5005.18 cores=2
/proc/28696/stat : 28696 (TNM) R 28693 28693 28667 0 -1 4202496 1063 0 0 0 500518 0 0 0 25 0 1 0 646197503 468934656 961 268435456000 134512640 134534564 4292472784 18446744073709551615 134529775 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28696/statm: 114486 961 103 6 0 113151 0
[pid=28697] ppid=28693 vsize=178816 CPUtime=5005.16 cores=3
/proc/28697/stat : 28697 (march_hi) R 28693 28693 28667 0 -1 4202496 42545 0 0 0 500468 48 0 0 25 0 1 0 646197503 183107584 35828 268435456000 4194304 4331988 140733262661952 18446744073709551615 4242554 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28697/statm: 44704 35828 175 34 0 43146 0
[pid=28698] ppid=28693 vsize=1384172 CPUtime=139980 cores=4-31
/proc/28698/stat : 28698 (plingeling) S 28693 28693 28667 0 -1 4202496 3546754 1238 0 0 13995497 2533 0 1 19 0 29 0 646197503 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/28698/statm: 346043 242698 158 40 0 344587 0
[pid=28698/tid=28705] ppid=28693 vsize=1384172 CPUtime=4994.41 cores=4-31
/proc/28698/task/28705/stat : 28705 (plingeling) R 28693 28693 28667 0 -1 4202560 118725 1238 0 0 499366 74 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28698/tid=28706] ppid=28693 vsize=1384172 CPUtime=5004.57 cores=4-31
/proc/28698/task/28706/stat : 28706 (plingeling) R 28693 28693 28667 0 -1 4202560 107954 1238 0 0 500392 64 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28698/tid=28707] ppid=28693 vsize=1384172 CPUtime=5004.6 cores=4-31
/proc/28698/task/28707/stat : 28707 (plingeling) R 28693 28693 28667 0 -1 4202560 167090 1238 0 0 500333 126 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4234192 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28698/tid=28708] ppid=28693 vsize=1384172 CPUtime=5004.59 cores=4-31
/proc/28698/task/28708/stat : 28708 (plingeling) R 28693 28693 28667 0 -1 4202560 140037 1238 0 0 500361 97 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28698/tid=28709] ppid=28693 vsize=1384172 CPUtime=5004.54 cores=4-31
/proc/28698/task/28709/stat : 28709 (plingeling) R 28693 28693 28667 0 -1 4202560 99533 1238 0 0 500386 67 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28698/tid=28710] ppid=28693 vsize=1384172 CPUtime=5004.53 cores=4-31
/proc/28698/task/28710/stat : 28710 (plingeling) R 28693 28693 28667 0 -1 4202560 110189 1238 0 0 500367 85 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28698/tid=28711] ppid=28693 vsize=1384172 CPUtime=5004.39 cores=4-31
/proc/28698/task/28711/stat : 28711 (plingeling) R 28693 28693 28667 0 -1 4202560 129598 1238 0 0 500359 79 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28698/tid=28712] ppid=28693 vsize=1384172 CPUtime=5004.57 cores=4-31
/proc/28698/task/28712/stat : 28712 (plingeling) R 28693 28693 28667 0 -1 4202560 102719 1238 0 0 500357 99 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28698/tid=28713] ppid=28693 vsize=1384172 CPUtime=4909.2 cores=4-31
/proc/28698/task/28713/stat : 28713 (plingeling) R 28693 28693 28667 0 -1 4202560 132242 1238 0 0 490837 82 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28698/tid=28714] ppid=28693 vsize=1384172 CPUtime=4995.84 cores=4-31
/proc/28698/task/28714/stat : 28714 (plingeling) R 28693 28693 28667 0 -1 4202560 133571 1238 0 0 499500 83 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4298542 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28698/tid=28715] ppid=28693 vsize=1384172 CPUtime=5004.56 cores=4-31
/proc/28698/task/28715/stat : 28715 (plingeling) R 28693 28693 28667 0 -1 4202560 139781 1238 0 0 500370 85 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28698/tid=28716] ppid=28693 vsize=1384172 CPUtime=5004.45 cores=4-31
/proc/28698/task/28716/stat : 28716 (plingeling) R 28693 28693 28667 0 -1 4202560 114521 1238 0 0 500378 66 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28698/tid=28717] ppid=28693 vsize=1384172 CPUtime=5003.92 cores=4-31
/proc/28698/task/28717/stat : 28717 (plingeling) R 28693 28693 28667 0 -1 4202560 127114 1238 0 0 500295 96 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28698/tid=28718] ppid=28693 vsize=1384172 CPUtime=5004.53 cores=4-31
/proc/28698/task/28718/stat : 28718 (plingeling) R 28693 28693 28667 0 -1 4202560 124961 1238 0 0 500369 83 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28698/tid=28719] ppid=28693 vsize=1384172 CPUtime=5002.05 cores=4-31
/proc/28698/task/28719/stat : 28719 (plingeling) R 28693 28693 28667 0 -1 4202560 144171 1238 0 0 500082 122 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28698/tid=28720] ppid=28693 vsize=1384172 CPUtime=5004.53 cores=4-31
/proc/28698/task/28720/stat : 28720 (plingeling) R 28693 28693 28667 0 -1 4202560 128514 1238 0 0 500293 159 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4298368 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28698/tid=28721] ppid=28693 vsize=1384172 CPUtime=5004.52 cores=4-31
/proc/28698/task/28721/stat : 28721 (plingeling) R 28693 28693 28667 0 -1 4202560 109954 1238 0 0 500390 61 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28698/tid=28722] ppid=28693 vsize=1384172 CPUtime=5004.56 cores=4-31
/proc/28698/task/28722/stat : 28722 (plingeling) R 28693 28693 28667 0 -1 4202560 139778 1238 0 0 500370 85 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28698/tid=28723] ppid=28693 vsize=1384172 CPUtime=5004.55 cores=4-31
/proc/28698/task/28723/stat : 28723 (plingeling) R 28693 28693 28667 0 -1 4202560 114587 1238 0 0 500382 72 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4332023 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28698/tid=28724] ppid=28693 vsize=1384172 CPUtime=5004.57 cores=4-31
/proc/28698/task/28724/stat : 28724 (plingeling) R 28693 28693 28667 0 -1 4202560 104161 1238 0 0 500379 77 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4282024 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28698/tid=28725] ppid=28693 vsize=1384172 CPUtime=5004.54 cores=4-31
/proc/28698/task/28725/stat : 28725 (plingeling) R 28693 28693 28667 0 -1 4202560 160747 1238 0 0 500326 127 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28698/tid=28726] ppid=28693 vsize=1384172 CPUtime=5004.33 cores=4-31
/proc/28698/task/28726/stat : 28726 (plingeling) R 28693 28693 28667 0 -1 4202560 141501 1238 0 0 500338 94 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331193 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28698/tid=28727] ppid=28693 vsize=1384172 CPUtime=5004.55 cores=4-31
/proc/28698/task/28727/stat : 28727 (plingeling) R 28693 28693 28667 0 -1 4202560 131776 1238 0 0 500370 84 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331373 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28698/tid=28728] ppid=28693 vsize=1384172 CPUtime=5000.56 cores=4-31
/proc/28698/task/28728/stat : 28728 (plingeling) R 28693 28693 28667 0 -1 4202560 77396 1238 0 0 499930 125 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4332109 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28698/tid=28729] ppid=28693 vsize=1384172 CPUtime=5002.64 cores=4-31
/proc/28698/task/28729/stat : 28729 (plingeling) R 28693 28693 28667 0 -1 4202560 118418 1238 0 0 500180 83 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28698/tid=28730] ppid=28693 vsize=1384172 CPUtime=5004.59 cores=4-31
/proc/28698/task/28730/stat : 28730 (plingeling) R 28693 28693 28667 0 -1 4202560 117524 1238 0 0 500388 70 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331510 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28698/tid=28731] ppid=28693 vsize=1384172 CPUtime=4980.58 cores=4-31
/proc/28698/task/28731/stat : 28731 (plingeling) R 28693 28693 28667 0 -1 4202560 142624 1238 0 0 497962 95 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28698/tid=28732] ppid=28693 vsize=1384172 CPUtime=5004.51 cores=4-31
/proc/28698/task/28732/stat : 28732 (plingeling) R 28693 28693 28667 0 -1 4202560 155207 1238 0 0 500376 74 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 2961032

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

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

[startup+5006.12 s]
/proc/loadavg: 32.09 32.04 32.03 33/447 28877
/proc/meminfo: memFree=254210364/264257624 swapFree=67111528/67111528
[pid=28693] ppid=28691 vsize=18324 CPUtime=0.01 cores=0-31
/proc/28693/stat : 28693 (ppfolio) S 28691 28693 28667 0 -1 4202496 513 0 0 0 0 1 0 0 15 0 1 0 646197502 18763776 386 268435456000 4194304 4287625 140735228127104 18446744073709551615 258650975999 0 0 4096 65536 9184107106532327423 0 0 17 24 0 0 0
/proc/28693/statm: 4581 386 337 23 0 91 0
[pid=28694] ppid=28693 vsize=775012 CPUtime=5005.18 cores=0
/proc/28694/stat : 28694 (cryptominisat) R 28693 28693 28667 0 -1 4202496 408918 0 0 0 500278 240 0 0 25 0 1 0 646197503 793612288 39702 268435456000 4194304 4587354 140736048370656 18446744073709551615 4238972 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28694/statm: 193753 39702 336 96 0 190315 0
[pid=28695] ppid=28693 vsize=146764 CPUtime=5005.18 cores=1
/proc/28695/stat : 28695 (clasp) R 28693 28693 28667 0 -1 4202496 32215 0 0 0 500506 12 0 0 25 0 1 0 646197503 150286336 31788 268435456000 4194304 4785740 140734460808256 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28695/statm: 36691 31788 339 145 0 33736 0
[pid=28696] ppid=28693 vsize=457944 CPUtime=5005.18 cores=2
/proc/28696/stat : 28696 (TNM) R 28693 28693 28667 0 -1 4202496 1063 0 0 0 500518 0 0 0 25 0 1 0 646197503 468934656 961 268435456000 134512640 134534564 4292472784 18446744073709551615 134529775 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28696/statm: 114486 961 103 6 0 113151 0
[pid=28697] ppid=28693 vsize=178816 CPUtime=5005.16 cores=3
/proc/28697/stat : 28697 (march_hi) R 28693 28693 28667 0 -1 4202496 42545 0 0 0 500468 48 0 0 25 0 1 0 646197503 183107584 35828 268435456000 4194304 4331988 140733262661952 18446744073709551615 4242554 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28697/statm: 44704 35828 175 34 0 43146 0
[pid=28698] ppid=28693 vsize=1384172 CPUtime=139980 cores=4-31
/proc/28698/stat : 28698 (plingeling) S 28693 28693 28667 0 -1 4202496 3546754 1238 0 0 13995497 2533 0 1 19 0 29 0 646197503 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/28698/statm: 346043 242698 158 40 0 344587 0
[pid=28698/tid=28705] ppid=28693 vsize=1384172 CPUtime=4994.41 cores=4-31
/proc/28698/task/28705/stat : 28705 (plingeling) R 28693 28693 28667 0 -1 4202560 118725 1238 0 0 499366 74 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28698/tid=28706] ppid=28693 vsize=1384172 CPUtime=5004.57 cores=4-31
/proc/28698/task/28706/stat : 28706 (plingeling) R 28693 28693 28667 0 -1 4202560 107954 1238 0 0 500392 64 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28698/tid=28707] ppid=28693 vsize=1384172 CPUtime=5004.6 cores=4-31
/proc/28698/task/28707/stat : 28707 (plingeling) R 28693 28693 28667 0 -1 4202560 167090 1238 0 0 500333 126 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4234192 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28698/tid=28708] ppid=28693 vsize=1384172 CPUtime=5004.59 cores=4-31
/proc/28698/task/28708/stat : 28708 (plingeling) R 28693 28693 28667 0 -1 4202560 140037 1238 0 0 500361 97 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28698/tid=28709] ppid=28693 vsize=1384172 CPUtime=5004.54 cores=4-31
/proc/28698/task/28709/stat : 28709 (plingeling) R 28693 28693 28667 0 -1 4202560 99533 1238 0 0 500386 67 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28698/tid=28710] ppid=28693 vsize=1384172 CPUtime=5004.53 cores=4-31
/proc/28698/task/28710/stat : 28710 (plingeling) R 28693 28693 28667 0 -1 4202560 110189 1238 0 0 500367 85 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28698/tid=28711] ppid=28693 vsize=1384172 CPUtime=5004.39 cores=4-31
/proc/28698/task/28711/stat : 28711 (plingeling) R 28693 28693 28667 0 -1 4202560 129598 1238 0 0 500359 79 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28698/tid=28712] ppid=28693 vsize=1384172 CPUtime=5004.57 cores=4-31
/proc/28698/task/28712/stat : 28712 (plingeling) R 28693 28693 28667 0 -1 4202560 102719 1238 0 0 500357 99 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28698/tid=28713] ppid=28693 vsize=1384172 CPUtime=4909.2 cores=4-31
/proc/28698/task/28713/stat : 28713 (plingeling) R 28693 28693 28667 0 -1 4202560 132242 1238 0 0 490837 82 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28698/tid=28714] ppid=28693 vsize=1384172 CPUtime=4995.84 cores=4-31
/proc/28698/task/28714/stat : 28714 (plingeling) R 28693 28693 28667 0 -1 4202560 133571 1238 0 0 499500 83 0 1 25 0 29 0 646197558 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4298542 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28698/tid=28715] ppid=28693 vsize=1384172 CPUtime=5004.56 cores=4-31
/proc/28698/task/28715/stat : 28715 (plingeling) R 28693 28693 28667 0 -1 4202560 139781 1238 0 0 500370 85 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28698/tid=28716] ppid=28693 vsize=1384172 CPUtime=5004.45 cores=4-31
/proc/28698/task/28716/stat : 28716 (plingeling) R 28693 28693 28667 0 -1 4202560 114521 1238 0 0 500378 66 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28698/tid=28717] ppid=28693 vsize=1384172 CPUtime=5003.92 cores=4-31
/proc/28698/task/28717/stat : 28717 (plingeling) R 28693 28693 28667 0 -1 4202560 127114 1238 0 0 500295 96 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28698/tid=28718] ppid=28693 vsize=1384172 CPUtime=5004.53 cores=4-31
/proc/28698/task/28718/stat : 28718 (plingeling) R 28693 28693 28667 0 -1 4202560 124961 1238 0 0 500369 83 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28698/tid=28719] ppid=28693 vsize=1384172 CPUtime=5002.05 cores=4-31
/proc/28698/task/28719/stat : 28719 (plingeling) R 28693 28693 28667 0 -1 4202560 144171 1238 0 0 500082 122 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28698/tid=28720] ppid=28693 vsize=1384172 CPUtime=5004.53 cores=4-31
/proc/28698/task/28720/stat : 28720 (plingeling) R 28693 28693 28667 0 -1 4202560 128514 1238 0 0 500293 159 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4298368 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28698/tid=28721] ppid=28693 vsize=1384172 CPUtime=5004.52 cores=4-31
/proc/28698/task/28721/stat : 28721 (plingeling) R 28693 28693 28667 0 -1 4202560 109954 1238 0 0 500390 61 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28698/tid=28722] ppid=28693 vsize=1384172 CPUtime=5004.56 cores=4-31
/proc/28698/task/28722/stat : 28722 (plingeling) R 28693 28693 28667 0 -1 4202560 139778 1238 0 0 500370 85 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28698/tid=28723] ppid=28693 vsize=1384172 CPUtime=5004.55 cores=4-31
/proc/28698/task/28723/stat : 28723 (plingeling) R 28693 28693 28667 0 -1 4202560 114587 1238 0 0 500382 72 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4332023 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28698/tid=28724] ppid=28693 vsize=1384172 CPUtime=5004.57 cores=4-31
/proc/28698/task/28724/stat : 28724 (plingeling) R 28693 28693 28667 0 -1 4202560 104161 1238 0 0 500379 77 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4282024 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28698/tid=28725] ppid=28693 vsize=1384172 CPUtime=5004.54 cores=4-31
/proc/28698/task/28725/stat : 28725 (plingeling) R 28693 28693 28667 0 -1 4202560 160747 1238 0 0 500326 127 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28698/tid=28726] ppid=28693 vsize=1384172 CPUtime=5004.33 cores=4-31
/proc/28698/task/28726/stat : 28726 (plingeling) R 28693 28693 28667 0 -1 4202560 141501 1238 0 0 500338 94 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331193 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28698/tid=28727] ppid=28693 vsize=1384172 CPUtime=5004.55 cores=4-31
/proc/28698/task/28727/stat : 28727 (plingeling) R 28693 28693 28667 0 -1 4202560 131776 1238 0 0 500370 84 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331373 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28698/tid=28728] ppid=28693 vsize=1384172 CPUtime=5000.56 cores=4-31
/proc/28698/task/28728/stat : 28728 (plingeling) R 28693 28693 28667 0 -1 4202560 77396 1238 0 0 499930 125 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4332109 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28698/tid=28729] ppid=28693 vsize=1384172 CPUtime=5002.64 cores=4-31
/proc/28698/task/28729/stat : 28729 (plingeling) R 28693 28693 28667 0 -1 4202560 118418 1238 0 0 500180 83 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28698/tid=28730] ppid=28693 vsize=1384172 CPUtime=5004.59 cores=4-31
/proc/28698/task/28730/stat : 28730 (plingeling) R 28693 28693 28667 0 -1 4202560 117524 1238 0 0 500388 70 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4331510 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28698/tid=28731] ppid=28693 vsize=1384172 CPUtime=4980.58 cores=4-31
/proc/28698/task/28731/stat : 28731 (plingeling) R 28693 28693 28667 0 -1 4202560 142624 1238 0 0 497962 95 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28698/tid=28732] ppid=28693 vsize=1384172 CPUtime=5004.51 cores=4-31
/proc/28698/task/28732/stat : 28732 (plingeling) R 28693 28693 28667 0 -1 4202560 155207 1238 0 0 500376 74 0 1 25 0 29 0 646197559 1417392128 242698 268435456000 4194304 4356188 140737170347408 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 2961032

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28693 and gives
#  childrusage.ru_utime.tv_sec=5005
#  childrusage.ru_utime.tv_usec=188095
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=16997
# CPU time returned by wait4() is 5005.21
# while last known CPU time is 160001
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5006.16
CPU time (s): 160001
CPU user time (s): 159973
CPU system time (s): 28.35
CPU usage (%): 3196.09
Max. virtual memory (cumulated for all children) (KiB): 3637476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5005.19
system time used= 0.016997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1578
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= 599
involuntary context switches= 17520

runsolver used 28.5897 second user time and 112.65 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-14 06:25:11
IDJOB=3347569
IDBENCH=83410
IDSOLVER=1808
FILE ID=node200/3347569-1305347111
RUNJOBID= node200-1305347111-28681
PBS_JOBID= 13282113
Free space on /tmp= 62052 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/128/aes_128_2_keyfind_1.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347569-1305347111/watcher-3347569-1305347111 -o /tmp/evaluation-result-3347569-1305347111/solver-3347569-1305347111 -C 160000 -W 5100 -M 266338304  ppfolio HOME/instance-3347569-1305347111.cnf

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

MD5SUM BENCH= 19e0b91e7d093f7cb35b11b46708a49b
RANDOM SEED=228580982

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:      255610868 kB
Buffers:        435180 kB
Cached:        7808704 kB
SwapCached:          0 kB
Active:        7379864 kB
Inactive:       932552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255610868 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10976 kB
Writeback:           0 kB
AnonPages:       70320 kB
Mapped:          13752 kB
Slab:           249724 kB
PageTables:       4328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   194200 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-14 07:48:39