Trace number 3347587

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) 160002 5005.74

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
32/aes_32_5_keyfind_1.cnf
MD5SUM3f4ea4cf17e734bbe947db7c1dc9fde7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark66518.3
Satisfiable
(Un)Satisfiability was proved
Number of variables1116
Number of clauses4312
Sum of the clauses size13688
Maximum clause length5
Minimum clause length1
Number of clauses of size 184
Number of clauses of size 2200
Number of clauses of size 33008
Number of clauses of size 4920
Number of clauses of size 5100
Number of clauses of size over 50

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

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

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


[startup+0 s]
/proc/loadavg: 27.25 31.05 31.68 1/413 30311
/proc/meminfo: memFree=255605868/264257624 swapFree=67111528/67111528
[pid=30311] ppid=30309 vsize=18324 CPUtime=0 cores=0-31
/proc/30311/stat : 30311 (ppfolio) S 30309 30311 30155 0 -1 4202496 512 0 0 0 0 0 0 0 24 0 1 0 649271732 18763776 385 268435456000 4194304 4287625 140736367734448 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 20 0 0 0
/proc/30311/statm: 4581 385 337 23 0 91 0

[startup+0.070978 s]
/proc/loadavg: 27.25 31.05 31.68 1/413 30311
/proc/meminfo: memFree=255605868/264257624 swapFree=67111528/67111528
[pid=30311] ppid=30309 vsize=18324 CPUtime=0 cores=0-31
/proc/30311/stat : 30311 (ppfolio) S 30309 30311 30155 0 -1 4202496 512 0 0 0 0 0 0 0 18 0 1 0 649271732 18763776 385 268435456000 4194304 4287625 140736367734448 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 20 0 0 0
/proc/30311/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100969 s]
/proc/loadavg: 27.25 31.05 31.68 1/413 30311
/proc/meminfo: memFree=255605868/264257624 swapFree=67111528/67111528
[pid=30311] ppid=30309 vsize=18324 CPUtime=0 cores=0-31
/proc/30311/stat : 30311 (ppfolio) S 30309 30311 30155 0 -1 4202496 512 0 0 0 0 0 0 0 17 0 1 0 649271732 18763776 385 268435456000 4194304 4287625 140736367734448 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 20 0 0 0
/proc/30311/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300911 s]
/proc/loadavg: 27.25 31.05 31.68 1/413 30311
/proc/meminfo: memFree=255605868/264257624 swapFree=67111528/67111528
[pid=30311] ppid=30309 vsize=18324 CPUtime=0 cores=0-31
/proc/30311/stat : 30311 (ppfolio) S 30309 30311 30155 0 -1 4202496 512 0 0 0 0 0 0 0 17 0 1 0 649271732 18763776 385 268435456000 4194304 4287625 140736367734448 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 20 0 0 0
/proc/30311/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700925 s]
/proc/loadavg: 27.25 31.05 31.68 1/413 30311
/proc/meminfo: memFree=255605868/264257624 swapFree=67111528/67111528
[pid=30311] ppid=30309 vsize=18324 CPUtime=0 cores=0-31
/proc/30311/stat : 30311 (ppfolio) S 30309 30311 30155 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 649271732 18763776 385 268435456000 4194304 4287625 140736367734448 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 20 0 0 0
/proc/30311/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50195 s]
/proc/loadavg: 27.25 31.05 31.68 33/447 30350
/proc/meminfo: memFree=255562268/264257624 swapFree=67111528/67111528
[pid=30311] ppid=30309 vsize=18324 CPUtime=0 cores=0-31
/proc/30311/stat : 30311 (ppfolio) S 30309 30311 30155 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 649271732 18763776 385 268435456000 4194304 4287625 140736367734448 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 20 0 0 0
/proc/30311/statm: 4581 385 337 23 0 91 0
[pid=30312] ppid=30311 vsize=1082012 CPUtime=1.48 cores=0
/proc/30312/stat : 30312 (cryptominisat) R 30311 30311 30155 0 -1 4202496 1574 0 0 0 148 0 0 0 20 0 1 0 649271733 1107980288 902 268435456000 4194304 4587354 140734849768736 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30312/statm: 270503 902 330 96 0 267065 0
[pid=30313] ppid=30311 vsize=14080 CPUtime=1.48 cores=1
/proc/30313/stat : 30313 (clasp) R 30311 30311 30155 0 -1 4202496 994 0 0 0 148 0 0 0 20 0 1 0 649271733 14417920 877 268435456000 4194304 4785740 140733635334448 18446744073709551615 4550442 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30313/statm: 3520 877 338 145 0 565 0
[pid=30314] ppid=30311 vsize=455964 CPUtime=1.48 cores=2
/proc/30314/stat : 30314 (TNM) R 30311 30311 30155 0 -1 4202496 414 0 0 0 148 0 0 0 20 0 1 0 649271733 466907136 312 268435456000 134512640 134534564 4294274176 18446744073709551615 134528708 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30314/statm: 113991 312 95 6 0 112656 0
[pid=30315] ppid=30311 vsize=10652 CPUtime=1.48 cores=3
/proc/30315/stat : 30315 (march_hi) R 30311 30311 30155 0 -1 4202496 1359 0 0 0 148 0 0 0 20 0 1 0 649271733 10907648 926 268435456000 4194304 4331988 140733795479840 18446744073709551615 4237419 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30315/statm: 2663 926 173 34 0 1105 0
[pid=30316] ppid=30311 vsize=530308 CPUtime=38.34 cores=4-31
/proc/30316/stat : 30316 (plingeling) S 30311 30311 30155 0 -1 4202496 13062 1237 0 0 3824 10 0 0 22 0 29 0 649271733 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 13 0 0 0
/proc/30316/statm: 132577 12193 159 40 0 131121 0
[pid=30316/tid=30323] ppid=30311 vsize=530308 CPUtime=1.38 cores=4-31
/proc/30316/task/30323/stat : 30323 (plingeling) R 30311 30311 30155 0 -1 4202560 234 1237 0 0 138 0 0 0 19 0 29 0 649271743 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331193 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30316/tid=30324] ppid=30311 vsize=530308 CPUtime=1.36 cores=4-31
/proc/30316/task/30324/stat : 30324 (plingeling) R 30311 30311 30155 0 -1 4202560 511 1237 0 0 136 0 0 0 19 0 29 0 649271743 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30316/tid=30325] ppid=30311 vsize=530308 CPUtime=1.38 cores=4-31
/proc/30316/task/30325/stat : 30325 (plingeling) R 30311 30311 30155 0 -1 4202560 418 1237 0 0 138 0 0 0 19 0 29 0 649271743 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30316/tid=30326] ppid=30311 vsize=530308 CPUtime=1.37 cores=4-31
/proc/30316/task/30326/stat : 30326 (plingeling) R 30311 30311 30155 0 -1 4202560 395 1237 0 0 137 0 0 0 19 0 29 0 649271743 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4210758 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30316/tid=30327] ppid=30311 vsize=530308 CPUtime=1.36 cores=4-31
/proc/30316/task/30327/stat : 30327 (plingeling) R 30311 30311 30155 0 -1 4202560 911 1237 0 0 136 0 0 0 19 0 29 0 649271743 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30316/tid=30328] ppid=30311 vsize=530308 CPUtime=1.38 cores=4-31
/proc/30316/task/30328/stat : 30328 (plingeling) R 30311 30311 30155 0 -1 4202560 436 1237 0 0 138 0 0 0 19 0 29 0 649271743 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30316/tid=30329] ppid=30311 vsize=530308 CPUtime=1.37 cores=4-31
/proc/30316/task/30329/stat : 30329 (plingeling) R 30311 30311 30155 0 -1 4202560 295 1237 0 0 137 0 0 0 25 0 29 0 649271743 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30316/tid=30330] ppid=30311 vsize=530308 CPUtime=1.38 cores=4-31
/proc/30316/task/30330/stat : 30330 (plingeling) R 30311 30311 30155 0 -1 4202560 364 1237 0 0 138 0 0 0 19 0 29 0 649271743 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4234240 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30316/tid=30331] ppid=30311 vsize=530308 CPUtime=1.37 cores=4-31
/proc/30316/task/30331/stat : 30331 (plingeling) R 30311 30311 30155 0 -1 4202560 312 1237 0 0 137 0 0 0 19 0 29 0 649271743 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4210798 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30316/tid=30332] ppid=30311 vsize=530308 CPUtime=1.37 cores=4-31
/proc/30316/task/30332/stat : 30332 (plingeling) R 30311 30311 30155 0 -1 4202560 289 1237 0 0 137 0 0 0 19 0 29 0 649271743 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331345 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30316/tid=30333] ppid=30311 vsize=530308 CPUtime=1.38 cores=4-31
/proc/30316/task/30333/stat : 30333 (plingeling) R 30311 30311 30155 0 -1 4202560 324 1237 0 0 138 0 0 0 19 0 29 0 649271743 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30316/tid=30334] ppid=30311 vsize=530308 CPUtime=1.37 cores=4-31
/proc/30316/task/30334/stat : 30334 (plingeling) R 30311 30311 30155 0 -1 4202560 283 1237 0 0 137 0 0 0 19 0 29 0 649271743 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331407 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30316/tid=30335] ppid=30311 vsize=530308 CPUtime=1.36 cores=4-31
/proc/30316/task/30335/stat : 30335 (plingeling) R 30311 30311 30155 0 -1 4202560 549 1237 0 0 136 0 0 0 19 0 29 0 649271743 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30316/tid=30336] ppid=30311 vsize=530308 CPUtime=1.34 cores=4-31
/proc/30316/task/30336/stat : 30336 (plingeling) R 30311 30311 30155 0 -1 4202560 280 1237 0 0 134 0 0 0 25 0 29 0 649271743 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30316/tid=30337] ppid=30311 vsize=530308 CPUtime=1.37 cores=4-31
/proc/30316/task/30337/stat : 30337 (plingeling) R 30311 30311 30155 0 -1 4202560 422 1237 0 0 137 0 0 0 19 0 29 0 649271743 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4332293 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30316/tid=30338] ppid=30311 vsize=530308 CPUtime=1.36 cores=4-31
/proc/30316/task/30338/stat : 30338 (plingeling) R 30311 30311 30155 0 -1 4202560 415 1237 0 0 136 0 0 0 25 0 29 0 649271744 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30316/tid=30339] ppid=30311 vsize=530308 CPUtime=1.35 cores=4-31
/proc/30316/task/30339/stat : 30339 (plingeling) R 30311 30311 30155 0 -1 4202560 329 1237 0 0 135 0 0 0 19 0 29 0 649271744 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4282453 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30316/tid=30340] ppid=30311 vsize=530308 CPUtime=1.37 cores=4-31
/proc/30316/task/30340/stat : 30340 (plingeling) R 30311 30311 30155 0 -1 4202560 590 1237 0 0 137 0 0 0 25 0 29 0 649271744 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30316/tid=30341] ppid=30311 vsize=530308 CPUtime=1.34 cores=4-31
/proc/30316/task/30341/stat : 30341 (plingeling) R 30311 30311 30155 0 -1 4202560 235 1237 0 0 134 0 0 0 25 0 29 0 649271744 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30316/tid=30342] ppid=30311 vsize=530308 CPUtime=1.37 cores=4-31
/proc/30316/task/30342/stat : 30342 (plingeling) R 30311 30311 30155 0 -1 4202560 416 1237 0 0 137 0 0 0 19 0 29 0 649271744 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4281771 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30316/tid=30343] ppid=30311 vsize=530308 CPUtime=1.36 cores=4-31
/proc/30316/task/30343/stat : 30343 (plingeling) R 30311 30311 30155 0 -1 4202560 430 1237 0 0 136 0 0 0 19 0 29 0 649271744 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4233920 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30316/tid=30344] ppid=30311 vsize=530308 CPUtime=1.37 cores=4-31
/proc/30316/task/30344/stat : 30344 (plingeling) R 30311 30311 30155 0 -1 4202560 243 1237 0 0 137 0 0 0 25 0 29 0 649271744 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30316/tid=30345] ppid=30311 vsize=530308 CPUtime=1.36 cores=4-31
/proc/30316/task/30345/stat : 30345 (plingeling) R 30311 30311 30155 0 -1 4202560 227 1237 0 0 136 0 0 0 25 0 29 0 649271744 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30316/tid=30346] ppid=30311 vsize=530308 CPUtime=1.36 cores=4-31
/proc/30316/task/30346/stat : 30346 (plingeling) R 30311 30311 30155 0 -1 4202560 509 1237 0 0 136 0 0 0 25 0 29 0 649271744 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30316/tid=30347] ppid=30311 vsize=530308 CPUtime=1.36 cores=4-31
/proc/30316/task/30347/stat : 30347 (plingeling) R 30311 30311 30155 0 -1 4202560 467 1237 0 0 136 0 0 0 25 0 29 0 649271745 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30316/tid=30348] ppid=30311 vsize=530308 CPUtime=1.16 cores=4-31
/proc/30316/task/30348/stat : 30348 (plingeling) R 30311 30311 30155 0 -1 4202560 173 1237 0 0 116 0 0 0 25 0 29 0 649271745 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30316/tid=30349] ppid=30311 vsize=530308 CPUtime=1.36 cores=4-31
/proc/30316/task/30349/stat : 30349 (plingeling) R 30311 30311 30155 0 -1 4202560 337 1237 0 0 136 0 0 0 19 0 29 0 649271745 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30316/tid=30350] ppid=30311 vsize=530308 CPUtime=1.36 cores=4-31
/proc/30316/task/30350/stat : 30350 (plingeling) R 30311 30311 30155 0 -1 4202560 303 1237 0 0 136 0 0 0 25 0 29 0 649271745 543035392 12193 268435456000 4194304 4356188 140734508723168 18446744073709551615 4284008 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 44.26
Current children cumulated vsize (KiB) 2111340

[startup+3.10201 s]
/proc/loadavg: 27.25 31.05 31.68 33/447 30350
/proc/meminfo: memFree=255534580/264257624 swapFree=67111528/67111528
[pid=30311] ppid=30309 vsize=18324 CPUtime=0 cores=0-31
/proc/30311/stat : 30311 (ppfolio) S 30309 30311 30155 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 649271732 18763776 385 268435456000 4194304 4287625 140736367734448 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 20 0 0 0
/proc/30311/statm: 4581 385 337 23 0 91 0
[pid=30312] ppid=30311 vsize=1083452 CPUtime=3.08 cores=0
/proc/30312/stat : 30312 (cryptominisat) R 30311 30311 30155 0 -1 4202496 2316 0 0 0 308 0 0 0 25 0 1 0 649271733 1109454848 1282 268435456000 4194304 4587354 140734849768736 18446744073709551615 4239952 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30312/statm: 270863 1282 333 96 0 267425 0
[pid=30313] ppid=30311 vsize=14612 CPUtime=3.08 cores=1
/proc/30313/stat : 30313 (clasp) R 30311 30311 30155 0 -1 4202496 1122 0 0 0 308 0 0 0 25 0 1 0 649271733 14962688 1005 268435456000 4194304 4785740 140733635334448 18446744073709551615 4546064 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30313/statm: 3653 1005 338 145 0 698 0
[pid=30314] ppid=30311 vsize=455964 CPUtime=3.08 cores=2
/proc/30314/stat : 30314 (TNM) R 30311 30311 30155 0 -1 4202496 414 0 0 0 308 0 0 0 25 0 1 0 649271733 466907136 312 268435456000 134512640 134534564 4294274176 18446744073709551615 3900859 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30314/statm: 113991 312 95 6 0 112656 0
[pid=30315] ppid=30311 vsize=10836 CPUtime=3.08 cores=3
/proc/30315/stat : 30315 (march_hi) R 30311 30311 30155 0 -1 4202496 1398 0 0 0 308 0 0 0 25 0 1 0 649271733 11096064 965 268435456000 4194304 4331988 140733795479840 18446744073709551615 4211141 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30315/statm: 2709 965 173 34 0 1151 0
[pid=30316] ppid=30311 vsize=559208 CPUtime=83.08 cores=4-31
/proc/30316/stat : 30316 (plingeling) S 30311 30311 30155 0 -1 4202496 21615 1237 0 0 8287 21 0 0 22 0 29 0 649271733 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 13 0 0 0
/proc/30316/statm: 139802 19626 159 40 0 138346 0
[pid=30316/tid=30323] ppid=30311 vsize=559208 CPUtime=2.97 cores=4-31
/proc/30316/task/30323/stat : 30323 (plingeling) R 30311 30311 30155 0 -1 4202560 492 1237 0 0 297 0 0 0 24 0 29 0 649271743 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30316/tid=30324] ppid=30311 vsize=559208 CPUtime=2.96 cores=4-31
/proc/30316/task/30324/stat : 30324 (plingeling) R 30311 30311 30155 0 -1 4202560 703 1237 0 0 296 0 0 0 23 0 29 0 649271743 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30316/tid=30325] ppid=30311 vsize=559208 CPUtime=2.97 cores=4-31
/proc/30316/task/30325/stat : 30325 (plingeling) R 30311 30311 30155 0 -1 4202560 805 1237 0 0 297 0 0 0 24 0 29 0 649271743 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4332125 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30316/tid=30326] ppid=30311 vsize=559208 CPUtime=2.97 cores=4-31
/proc/30316/task/30326/stat : 30326 (plingeling) R 30311 30311 30155 0 -1 4202560 717 1237 0 0 297 0 0 0 24 0 29 0 649271743 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4234157 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30316/tid=30327] ppid=30311 vsize=559208 CPUtime=2.96 cores=4-31
/proc/30316/task/30327/stat : 30327 (plingeling) R 30311 30311 30155 0 -1 4202560 1073 1237 0 0 296 0 0 0 24 0 29 0 649271743 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30316/tid=30328] ppid=30311 vsize=559208 CPUtime=2.97 cores=4-31
/proc/30316/task/30328/stat : 30328 (plingeling) R 30311 30311 30155 0 -1 4202560 725 1237 0 0 297 0 0 0 24 0 29 0 649271743 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30316/tid=30329] ppid=30311 vsize=559208 CPUtime=2.96 cores=4-31
/proc/30316/task/30329/stat : 30329 (plingeling) R 30311 30311 30155 0 -1 4202560 553 1237 0 0 296 0 0 0 25 0 29 0 649271743 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4279435 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30316/tid=30330] ppid=30311 vsize=559208 CPUtime=2.97 cores=4-31
/proc/30316/task/30330/stat : 30330 (plingeling) R 30311 30311 30155 0 -1 4202560 751 1237 0 0 297 0 0 0 24 0 29 0 649271743 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30316/tid=30331] ppid=30311 vsize=559208 CPUtime=2.97 cores=4-31
/proc/30316/task/30331/stat : 30331 (plingeling) R 30311 30311 30155 0 -1 4202560 699 1237 0 0 297 0 0 0 24 0 29 0 649271743 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30316/tid=30332] ppid=30311 vsize=559208 CPUtime=2.97 cores=4-31
/proc/30316/task/30332/stat : 30332 (plingeling) R 30311 30311 30155 0 -1 4202560 644 1237 0 0 297 0 0 0 23 0 29 0 649271743 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4273769 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30316/tid=30333] ppid=30311 vsize=559208 CPUtime=2.97 cores=4-31
/proc/30316/task/30333/stat : 30333 (plingeling) R 30311 30311 30155 0 -1 4202560 517 1237 0 0 297 0 0 0 24 0 29 0 649271743 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30316/tid=30334] ppid=30311 vsize=559208 CPUtime=2.98 cores=4-31
/proc/30316/task/30334/stat : 30334 (plingeling) R 30311 30311 30155 0 -1 4202560 702 1237 0 0 297 1 0 0 24 0 29 0 649271743 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30316/tid=30335] ppid=30311 vsize=559208 CPUtime=2.96 cores=4-31
/proc/30316/task/30335/stat : 30335 (plingeling) R 30311 30311 30155 0 -1 4202560 741 1237 0 0 296 0 0 0 24 0 29 0 649271743 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30316/tid=30336] ppid=30311 vsize=559208 CPUtime=2.94 cores=4-31
/proc/30316/task/30336/stat : 30336 (plingeling) R 30311 30311 30155 0 -1 4202560 602 1237 0 0 294 0 0 0 25 0 29 0 649271743 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30316/tid=30337] ppid=30311 vsize=559208 CPUtime=2.97 cores=4-31
/proc/30316/task/30337/stat : 30337 (plingeling) R 30311 30311 30155 0 -1 4202560 744 1237 0 0 297 0 0 0 25 0 29 0 649271743 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30316/tid=30338] ppid=30311 vsize=559208 CPUtime=2.95 cores=4-31
/proc/30316/task/30338/stat : 30338 (plingeling) R 30311 30311 30155 0 -1 4202560 803 1237 0 0 295 0 0 0 25 0 29 0 649271744 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30316/tid=30339] ppid=30311 vsize=559208 CPUtime=2.91 cores=4-31
/proc/30316/task/30339/stat : 30339 (plingeling) R 30311 30311 30155 0 -1 4202560 587 1237 0 0 291 0 0 0 24 0 29 0 649271744 572628992 19626 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30316/tid=30340] ppid=30311 vsize=559208 CPUtime=2.96 cores=4-31

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

/proc/30312/statm: 335931 44843 336 96 0 332493 0
[pid=30313] ppid=30311 vsize=38512 CPUtime=5004.73 cores=1
/proc/30313/stat : 30313 (clasp) R 30311 30311 30155 0 -1 4202496 6680 0 0 0 500470 3 0 0 25 0 1 0 649271733 39436288 6563 268435456000 4194304 4785740 140733635334448 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30313/statm: 9628 6563 339 145 0 6673 0
[pid=30314] ppid=30311 vsize=455968 CPUtime=5004.76 cores=2
/proc/30314/stat : 30314 (TNM) R 30311 30311 30155 0 -1 4202496 423 0 0 0 500476 0 0 0 25 0 1 0 649271733 466911232 321 268435456000 134512640 134534564 4294274176 18446744073709551615 134528972 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30314/statm: 113992 321 103 6 0 112657 0
[pid=30315] ppid=30311 vsize=324876 CPUtime=5004.76 cores=3
/proc/30315/stat : 30315 (march_hi) R 30311 30311 30155 0 -1 4202496 56398 0 0 0 500399 77 0 0 25 0 1 0 649271733 332673024 55965 268435456000 4194304 4331988 140733795479840 18446744073709551615 4242575 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30315/statm: 81219 55965 174 34 0 79661 0
[pid=30316] ppid=30311 vsize=1425772 CPUtime=139983 cores=4-31
/proc/30316/stat : 30316 (plingeling) S 30311 30311 30155 0 -1 4202496 2975396 1237 0 0 13996003 2270 0 0 22 0 29 0 649271733 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 13 0 0 0
/proc/30316/statm: 356443 236701 159 40 0 354987 0
[pid=30316/tid=30323] ppid=30311 vsize=1425772 CPUtime=5004.5 cores=4-31
/proc/30316/task/30323/stat : 30323 (plingeling) R 30311 30311 30155 0 -1 4202560 126902 1237 0 0 500373 77 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4279432 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30316/tid=30324] ppid=30311 vsize=1425772 CPUtime=5004.19 cores=4-31
/proc/30316/task/30324/stat : 30324 (plingeling) R 30311 30311 30155 0 -1 4202560 110649 1237 0 0 500336 83 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30316/tid=30325] ppid=30311 vsize=1425772 CPUtime=5004.63 cores=4-31
/proc/30316/task/30325/stat : 30325 (plingeling) R 30311 30311 30155 0 -1 4202560 119373 1237 0 0 500378 85 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30316/tid=30326] ppid=30311 vsize=1425772 CPUtime=5004.29 cores=4-31
/proc/30316/task/30326/stat : 30326 (plingeling) R 30311 30311 30155 0 -1 4202560 109048 1237 0 0 500363 66 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30316/tid=30327] ppid=30311 vsize=1425772 CPUtime=5004.63 cores=4-31
/proc/30316/task/30327/stat : 30327 (plingeling) R 30311 30311 30155 0 -1 4202560 109269 1237 0 0 500388 75 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331183 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30316/tid=30328] ppid=30311 vsize=1425772 CPUtime=5003.2 cores=4-31
/proc/30316/task/30328/stat : 30328 (plingeling) R 30311 30311 30155 0 -1 4202560 104702 1237 0 0 500260 60 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30316/tid=30329] ppid=30311 vsize=1425772 CPUtime=5004.62 cores=4-31
/proc/30316/task/30329/stat : 30329 (plingeling) R 30311 30311 30155 0 -1 4202560 110771 1237 0 0 500373 89 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30316/tid=30330] ppid=30311 vsize=1425772 CPUtime=5004.65 cores=4-31
/proc/30316/task/30330/stat : 30330 (plingeling) R 30311 30311 30155 0 -1 4202560 82488 1237 0 0 500331 134 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30316/tid=30331] ppid=30311 vsize=1425772 CPUtime=5004.64 cores=4-31
/proc/30316/task/30331/stat : 30331 (plingeling) R 30311 30311 30155 0 -1 4202560 92674 1237 0 0 500393 71 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331082 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30316/tid=30332] ppid=30311 vsize=1425772 CPUtime=5004.65 cores=4-31
/proc/30316/task/30332/stat : 30332 (plingeling) R 30311 30311 30155 0 -1 4202560 120974 1237 0 0 500381 84 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30316/tid=30333] ppid=30311 vsize=1425772 CPUtime=5001.21 cores=4-31
/proc/30316/task/30333/stat : 30333 (plingeling) R 30311 30311 30155 0 -1 4202560 118702 1237 0 0 500033 88 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331208 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30316/tid=30334] ppid=30311 vsize=1425772 CPUtime=5004.24 cores=4-31
/proc/30316/task/30334/stat : 30334 (plingeling) R 30311 30311 30155 0 -1 4202560 107017 1237 0 0 500347 77 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331363 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30316/tid=30335] ppid=30311 vsize=1425772 CPUtime=5002.05 cores=4-31
/proc/30316/task/30335/stat : 30335 (plingeling) R 30311 30311 30155 0 -1 4202560 113711 1237 0 0 500088 117 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30316/tid=30336] ppid=30311 vsize=1425772 CPUtime=5004.61 cores=4-31
/proc/30316/task/30336/stat : 30336 (plingeling) R 30311 30311 30155 0 -1 4202560 123844 1237 0 0 500378 83 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30316/tid=30337] ppid=30311 vsize=1425772 CPUtime=5004.64 cores=4-31
/proc/30316/task/30337/stat : 30337 (plingeling) R 30311 30311 30155 0 -1 4202560 94386 1237 0 0 500384 80 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331111 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30316/tid=30338] ppid=30311 vsize=1425772 CPUtime=5004.63 cores=4-31
/proc/30316/task/30338/stat : 30338 (plingeling) R 30311 30311 30155 0 -1 4202560 77836 1237 0 0 500367 96 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30316/tid=30339] ppid=30311 vsize=1425772 CPUtime=5003.37 cores=4-31
/proc/30316/task/30339/stat : 30339 (plingeling) R 30311 30311 30155 0 -1 4202560 105238 1237 0 0 500265 72 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30316/tid=30340] ppid=30311 vsize=1425772 CPUtime=5004.62 cores=4-31
/proc/30316/task/30340/stat : 30340 (plingeling) R 30311 30311 30155 0 -1 4202560 108313 1237 0 0 500395 67 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30316/tid=30341] ppid=30311 vsize=1425772 CPUtime=5002.79 cores=4-31
/proc/30316/task/30341/stat : 30341 (plingeling) R 30311 30311 30155 0 -1 4202560 110039 1237 0 0 500207 72 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4280568 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30316/tid=30342] ppid=30311 vsize=1425772 CPUtime=5004.62 cores=4-31
/proc/30316/task/30342/stat : 30342 (plingeling) R 30311 30311 30155 0 -1 4202560 108714 1237 0 0 500382 80 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30316/tid=30343] ppid=30311 vsize=1425772 CPUtime=5004.42 cores=4-31
/proc/30316/task/30343/stat : 30343 (plingeling) R 30311 30311 30155 0 -1 4202560 98808 1237 0 0 500383 59 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30316/tid=30344] ppid=30311 vsize=1425772 CPUtime=5004.59 cores=4-31
/proc/30316/task/30344/stat : 30344 (plingeling) R 30311 30311 30155 0 -1 4202560 106975 1237 0 0 500381 78 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30316/tid=30345] ppid=30311 vsize=1425772 CPUtime=5004.61 cores=4-31
/proc/30316/task/30345/stat : 30345 (plingeling) R 30311 30311 30155 0 -1 4202560 97215 1237 0 0 500383 78 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30316/tid=30346] ppid=30311 vsize=1425772 CPUtime=5004.57 cores=4-31
/proc/30316/task/30346/stat : 30346 (plingeling) R 30311 30311 30155 0 -1 4202560 72646 1237 0 0 500356 101 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30316/tid=30347] ppid=30311 vsize=1425772 CPUtime=4961.27 cores=4-31
/proc/30316/task/30347/stat : 30347 (plingeling) R 30311 30311 30155 0 -1 4202560 115391 1237 0 0 496053 74 0 0 25 0 29 0 649271745 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30316/tid=30348] ppid=30311 vsize=1425772 CPUtime=4912.87 cores=4-31
/proc/30316/task/30348/stat : 30348 (plingeling) R 30311 30311 30155 0 -1 4202560 105114 1237 0 0 491208 79 0 0 25 0 29 0 649271745 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30316/tid=30349] ppid=30311 vsize=1425772 CPUtime=5004.63 cores=4-31
/proc/30316/task/30349/stat : 30349 (plingeling) R 30311 30311 30155 0 -1 4202560 111196 1237 0 0 500398 65 0 0 25 0 29 0 649271745 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30316/tid=30350] ppid=30311 vsize=1425772 CPUtime=5004.63 cores=4-31
/proc/30316/task/30350/stat : 30350 (plingeling) R 30311 30311 30155 0 -1 4202560 111036 1237 0 0 500399 64 0 0 25 0 29 0 649271745 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331642 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 3607176

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

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

[startup+5005.7 s]
/proc/loadavg: 32.12 32.08 32.06 33/447 30503
/proc/meminfo: memFree=254236488/264257624 swapFree=67111528/67111528
[pid=30311] ppid=30309 vsize=18324 CPUtime=0 cores=0-31
/proc/30311/stat : 30311 (ppfolio) S 30309 30311 30155 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 649271732 18763776 385 268435456000 4194304 4287625 140736367734448 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 20 0 0 0
/proc/30311/statm: 4581 385 337 23 0 91 0
[pid=30312] ppid=30311 vsize=1343724 CPUtime=5004.74 cores=0
/proc/30312/stat : 30312 (cryptominisat) R 30311 30311 30155 0 -1 4202496 273142 0 0 0 500302 172 0 0 25 0 1 0 649271733 1375973376 44843 268435456000 4194304 4587354 140734849768736 18446744073709551615 4357662 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30312/statm: 335931 44843 336 96 0 332493 0
[pid=30313] ppid=30311 vsize=38512 CPUtime=5004.73 cores=1
/proc/30313/stat : 30313 (clasp) R 30311 30311 30155 0 -1 4202496 6680 0 0 0 500470 3 0 0 25 0 1 0 649271733 39436288 6563 268435456000 4194304 4785740 140733635334448 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30313/statm: 9628 6563 339 145 0 6673 0
[pid=30314] ppid=30311 vsize=455968 CPUtime=5004.76 cores=2
/proc/30314/stat : 30314 (TNM) R 30311 30311 30155 0 -1 4202496 423 0 0 0 500476 0 0 0 25 0 1 0 649271733 466911232 321 268435456000 134512640 134534564 4294274176 18446744073709551615 134528972 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30314/statm: 113992 321 103 6 0 112657 0
[pid=30315] ppid=30311 vsize=324876 CPUtime=5004.76 cores=3
/proc/30315/stat : 30315 (march_hi) R 30311 30311 30155 0 -1 4202496 56398 0 0 0 500399 77 0 0 25 0 1 0 649271733 332673024 55965 268435456000 4194304 4331988 140733795479840 18446744073709551615 4242575 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30315/statm: 81219 55965 174 34 0 79661 0
[pid=30316] ppid=30311 vsize=1425772 CPUtime=139983 cores=4-31
/proc/30316/stat : 30316 (plingeling) S 30311 30311 30155 0 -1 4202496 2975396 1237 0 0 13996003 2270 0 0 22 0 29 0 649271733 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 13 0 0 0
/proc/30316/statm: 356443 236701 159 40 0 354987 0
[pid=30316/tid=30323] ppid=30311 vsize=1425772 CPUtime=5004.5 cores=4-31
/proc/30316/task/30323/stat : 30323 (plingeling) R 30311 30311 30155 0 -1 4202560 126902 1237 0 0 500373 77 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4279432 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30316/tid=30324] ppid=30311 vsize=1425772 CPUtime=5004.19 cores=4-31
/proc/30316/task/30324/stat : 30324 (plingeling) R 30311 30311 30155 0 -1 4202560 110649 1237 0 0 500336 83 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30316/tid=30325] ppid=30311 vsize=1425772 CPUtime=5004.63 cores=4-31
/proc/30316/task/30325/stat : 30325 (plingeling) R 30311 30311 30155 0 -1 4202560 119373 1237 0 0 500378 85 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30316/tid=30326] ppid=30311 vsize=1425772 CPUtime=5004.29 cores=4-31
/proc/30316/task/30326/stat : 30326 (plingeling) R 30311 30311 30155 0 -1 4202560 109048 1237 0 0 500363 66 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30316/tid=30327] ppid=30311 vsize=1425772 CPUtime=5004.63 cores=4-31
/proc/30316/task/30327/stat : 30327 (plingeling) R 30311 30311 30155 0 -1 4202560 109269 1237 0 0 500388 75 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331183 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30316/tid=30328] ppid=30311 vsize=1425772 CPUtime=5003.2 cores=4-31
/proc/30316/task/30328/stat : 30328 (plingeling) R 30311 30311 30155 0 -1 4202560 104702 1237 0 0 500260 60 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30316/tid=30329] ppid=30311 vsize=1425772 CPUtime=5004.62 cores=4-31
/proc/30316/task/30329/stat : 30329 (plingeling) R 30311 30311 30155 0 -1 4202560 110771 1237 0 0 500373 89 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30316/tid=30330] ppid=30311 vsize=1425772 CPUtime=5004.65 cores=4-31
/proc/30316/task/30330/stat : 30330 (plingeling) R 30311 30311 30155 0 -1 4202560 82488 1237 0 0 500331 134 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30316/tid=30331] ppid=30311 vsize=1425772 CPUtime=5004.64 cores=4-31
/proc/30316/task/30331/stat : 30331 (plingeling) R 30311 30311 30155 0 -1 4202560 92674 1237 0 0 500393 71 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331082 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30316/tid=30332] ppid=30311 vsize=1425772 CPUtime=5004.65 cores=4-31
/proc/30316/task/30332/stat : 30332 (plingeling) R 30311 30311 30155 0 -1 4202560 120974 1237 0 0 500381 84 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30316/tid=30333] ppid=30311 vsize=1425772 CPUtime=5001.21 cores=4-31
/proc/30316/task/30333/stat : 30333 (plingeling) R 30311 30311 30155 0 -1 4202560 118702 1237 0 0 500033 88 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331208 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30316/tid=30334] ppid=30311 vsize=1425772 CPUtime=5004.24 cores=4-31
/proc/30316/task/30334/stat : 30334 (plingeling) R 30311 30311 30155 0 -1 4202560 107017 1237 0 0 500347 77 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331363 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30316/tid=30335] ppid=30311 vsize=1425772 CPUtime=5002.05 cores=4-31
/proc/30316/task/30335/stat : 30335 (plingeling) R 30311 30311 30155 0 -1 4202560 113711 1237 0 0 500088 117 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30316/tid=30336] ppid=30311 vsize=1425772 CPUtime=5004.61 cores=4-31
/proc/30316/task/30336/stat : 30336 (plingeling) R 30311 30311 30155 0 -1 4202560 123844 1237 0 0 500378 83 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30316/tid=30337] ppid=30311 vsize=1425772 CPUtime=5004.64 cores=4-31
/proc/30316/task/30337/stat : 30337 (plingeling) R 30311 30311 30155 0 -1 4202560 94386 1237 0 0 500384 80 0 0 25 0 29 0 649271743 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331111 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30316/tid=30338] ppid=30311 vsize=1425772 CPUtime=5004.63 cores=4-31
/proc/30316/task/30338/stat : 30338 (plingeling) R 30311 30311 30155 0 -1 4202560 77836 1237 0 0 500367 96 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30316/tid=30339] ppid=30311 vsize=1425772 CPUtime=5003.37 cores=4-31
/proc/30316/task/30339/stat : 30339 (plingeling) R 30311 30311 30155 0 -1 4202560 105238 1237 0 0 500265 72 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30316/tid=30340] ppid=30311 vsize=1425772 CPUtime=5004.62 cores=4-31
/proc/30316/task/30340/stat : 30340 (plingeling) R 30311 30311 30155 0 -1 4202560 108313 1237 0 0 500395 67 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30316/tid=30341] ppid=30311 vsize=1425772 CPUtime=5002.79 cores=4-31
/proc/30316/task/30341/stat : 30341 (plingeling) R 30311 30311 30155 0 -1 4202560 110039 1237 0 0 500207 72 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4280568 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30316/tid=30342] ppid=30311 vsize=1425772 CPUtime=5004.62 cores=4-31
/proc/30316/task/30342/stat : 30342 (plingeling) R 30311 30311 30155 0 -1 4202560 108714 1237 0 0 500382 80 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30316/tid=30343] ppid=30311 vsize=1425772 CPUtime=5004.42 cores=4-31
/proc/30316/task/30343/stat : 30343 (plingeling) R 30311 30311 30155 0 -1 4202560 98808 1237 0 0 500383 59 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30316/tid=30344] ppid=30311 vsize=1425772 CPUtime=5004.59 cores=4-31
/proc/30316/task/30344/stat : 30344 (plingeling) R 30311 30311 30155 0 -1 4202560 106975 1237 0 0 500381 78 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30316/tid=30345] ppid=30311 vsize=1425772 CPUtime=5004.61 cores=4-31
/proc/30316/task/30345/stat : 30345 (plingeling) R 30311 30311 30155 0 -1 4202560 97215 1237 0 0 500383 78 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30316/tid=30346] ppid=30311 vsize=1425772 CPUtime=5004.57 cores=4-31
/proc/30316/task/30346/stat : 30346 (plingeling) R 30311 30311 30155 0 -1 4202560 72646 1237 0 0 500356 101 0 0 25 0 29 0 649271744 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30316/tid=30347] ppid=30311 vsize=1425772 CPUtime=4961.27 cores=4-31
/proc/30316/task/30347/stat : 30347 (plingeling) R 30311 30311 30155 0 -1 4202560 115391 1237 0 0 496053 74 0 0 25 0 29 0 649271745 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30316/tid=30348] ppid=30311 vsize=1425772 CPUtime=4912.87 cores=4-31
/proc/30316/task/30348/stat : 30348 (plingeling) R 30311 30311 30155 0 -1 4202560 105114 1237 0 0 491208 79 0 0 25 0 29 0 649271745 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30316/tid=30349] ppid=30311 vsize=1425772 CPUtime=5004.63 cores=4-31
/proc/30316/task/30349/stat : 30349 (plingeling) R 30311 30311 30155 0 -1 4202560 111196 1237 0 0 500398 65 0 0 25 0 29 0 649271745 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30316/tid=30350] ppid=30311 vsize=1425772 CPUtime=5004.63 cores=4-31
/proc/30316/task/30350/stat : 30350 (plingeling) R 30311 30311 30155 0 -1 4202560 111036 1237 0 0 500399 64 0 0 25 0 29 0 649271745 1459990528 236701 268435456000 4194304 4356188 140734508723168 18446744073709551615 4331642 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 3607176

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30311 and gives
#  childrusage.ru_utime.tv_sec=10009
#  childrusage.ru_utime.tv_usec=481327
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=51992
# CPU time returned by wait4() is 10009.5
# while last known CPU time is 160002
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5005.74
CPU time (s): 160002
CPU user time (s): 159976
CPU system time (s): 25.22
CPU usage (%): 3196.37
Max. virtual memory (cumulated for all children) (KiB): 5202256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10009.5
system time used= 0.051992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7632
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= 715
involuntary context switches= 24599

runsolver used 29.3655 second user time and 112.05 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-14 14:57:33
IDJOB=3347587
IDBENCH=83430
IDSOLVER=1808
FILE ID=node200/3347587-1305377853
RUNJOBID= node200-1305377852-30169
PBS_JOBID= 13285488
Free space on /tmp= 62052 MiB

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

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

MD5SUM BENCH= 3f4ea4cf17e734bbe947db7c1dc9fde7
RANDOM SEED=491775332

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:      255606148 kB
Buffers:        436008 kB
Cached:        7809160 kB
SwapCached:          0 kB
Active:        7381540 kB
Inactive:       932492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255606148 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10252 kB
Writeback:           8 kB
AnonPages:       69220 kB
Mapped:          14172 kB
Slab:           250204 kB
PageTables:       4692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   181040 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 16:21:01