Trace number 3347229

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

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
MD5SUM8d76aa747359ea8ccf15726792949452
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 variables8527
Number of clauses25484
Sum of the clauses size59460
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 216988
Number of clauses of size 38494
Number of clauses of size 40
Number of clauses of size 50
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-3347229-1304868582/watcher-3347229-1304868582 -o /tmp/evaluation-result-3347229-1304868582/solver-3347229-1304868582 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347229-1304868582.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.11 31.75 1/413 21302
/proc/meminfo: memFree=256759948/264257624 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=18324 CPUtime=0 cores=0-31
/proc/21302/stat : 21302 (ppfolio) S 21300 21302 21276 0 -1 4202496 513 0 0 0 0 0 0 0 24 0 1 0 598344607 18763776 386 268435456000 4194304 4287625 140733889966960 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 4 0 0 0
/proc/21302/statm: 4581 386 337 23 0 91 0

[startup+0.122593 s]
/proc/loadavg: 27.19 31.11 31.75 1/413 21302
/proc/meminfo: memFree=256759948/264257624 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=18324 CPUtime=0 cores=0-31
/proc/21302/stat : 21302 (ppfolio) S 21300 21302 21276 0 -1 4202496 513 0 0 0 0 0 0 0 23 0 1 0 598344607 18763776 386 268435456000 4194304 4287625 140733889966960 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 4 0 0 0
/proc/21302/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.200608 s]
/proc/loadavg: 27.19 31.11 31.75 1/413 21302
/proc/meminfo: memFree=256759948/264257624 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=18324 CPUtime=0 cores=0-31
/proc/21302/stat : 21302 (ppfolio) S 21300 21302 21276 0 -1 4202496 513 0 0 0 0 0 0 0 23 0 1 0 598344607 18763776 386 268435456000 4194304 4287625 140733889966960 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 4 0 0 0
/proc/21302/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300616 s]
/proc/loadavg: 27.19 31.11 31.75 1/413 21302
/proc/meminfo: memFree=256759948/264257624 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=18324 CPUtime=0 cores=0-31
/proc/21302/stat : 21302 (ppfolio) S 21300 21302 21276 0 -1 4202496 513 0 0 0 0 0 0 0 22 0 1 0 598344607 18763776 386 268435456000 4194304 4287625 140733889966960 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 4 0 0 0
/proc/21302/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.733256 s]
/proc/loadavg: 27.19 31.11 31.75 1/413 21302
/proc/meminfo: memFree=256759948/264257624 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=18324 CPUtime=0 cores=0-31
/proc/21302/stat : 21302 (ppfolio) S 21300 21302 21276 0 -1 4202496 513 0 0 0 0 0 0 0 22 0 1 0 598344607 18763776 386 268435456000 4194304 4287625 140733889966960 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 4 0 0 0
/proc/21302/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50157 s]
/proc/loadavg: 27.19 31.11 31.75 33/447 21341
/proc/meminfo: memFree=256662488/264257624 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=18324 CPUtime=0 cores=0-31
/proc/21302/stat : 21302 (ppfolio) S 21300 21302 21276 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 598344607 18763776 386 268435456000 4194304 4287625 140733889966960 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 4 0 0 0
/proc/21302/statm: 4581 386 337 23 0 91 0
[pid=21303] ppid=21302 vsize=30828 CPUtime=1.48 cores=0
/proc/21303/stat : 21303 (cryptominisat) R 21302 21302 21276 0 -1 4202496 2664 0 0 0 148 0 0 0 25 0 1 0 598344608 31567872 2137 268435456000 4194304 4587354 140734909769936 18446744073709551615 4237508 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21303/statm: 7707 2137 327 96 0 4269 0
[pid=21304] ppid=21302 vsize=17324 CPUtime=1.48 cores=1
/proc/21304/stat : 21304 (clasp) R 21302 21302 21276 0 -1 4202496 2046 0 0 0 148 0 0 0 20 0 1 0 598344608 17739776 1681 268435456000 4194304 4785740 140735089727024 18446744073709551615 4550521 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21304/statm: 4331 1681 339 145 0 1376 0
[pid=21305] ppid=21302 vsize=457416 CPUtime=1.48 cores=2
/proc/21305/stat : 21305 (TNM) R 21302 21302 21276 0 -1 4202496 1133 0 0 0 148 0 0 0 20 0 1 0 598344608 468393984 1031 268435456000 134512640 134534564 4289164496 18446744073709551615 3901792 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21305/statm: 114354 1031 95 6 0 113019 0
[pid=21306] ppid=21302 vsize=23724 CPUtime=1.48 cores=3
/proc/21306/stat : 21306 (march_hi) R 21302 21302 21276 0 -1 4202496 8396 0 0 0 146 2 0 0 20 0 1 0 598344608 24293376 3072 268435456000 4194304 4331988 140736809350288 18446744073709551615 4291612 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21306/statm: 5931 3072 171 34 0 4373 0
[pid=21307] ppid=21302 vsize=672944 CPUtime=26.69 cores=4-31
/proc/21307/stat : 21307 (plingeling) S 21302 21302 21276 0 -1 4202496 25363 1240 0 0 2651 17 0 1 19 0 29 0 598344608 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/21307/statm: 168236 15571 159 40 0 166780 0
[pid=21307/tid=21314] ppid=21302 vsize=672944 CPUtime=0.95 cores=4-31
/proc/21307/task/21314/stat : 21314 (plingeling) R 21302 21302 21276 0 -1 4202560 604 1240 0 0 94 0 0 1 18 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4312348 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21307/tid=21315] ppid=21302 vsize=672944 CPUtime=0.95 cores=4-31
/proc/21307/task/21315/stat : 21315 (plingeling) R 21302 21302 21276 0 -1 4202560 498 1240 0 0 94 0 0 1 19 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4232869 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21307/tid=21316] ppid=21302 vsize=672944 CPUtime=0.95 cores=4-31
/proc/21307/task/21316/stat : 21316 (plingeling) R 21302 21302 21276 0 -1 4202560 650 1240 0 0 94 0 0 1 18 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4231408 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=21307/tid=21317] ppid=21302 vsize=672944 CPUtime=0.95 cores=4-31
/proc/21307/task/21317/stat : 21317 (plingeling) R 21302 21302 21276 0 -1 4202560 519 1240 0 0 94 0 0 1 18 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4234292 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21307/tid=21318] ppid=21302 vsize=672944 CPUtime=0.94 cores=4-31
/proc/21307/task/21318/stat : 21318 (plingeling) R 21302 21302 21276 0 -1 4202560 566 1240 0 0 93 0 0 1 21 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4301554 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=21307/tid=21319] ppid=21302 vsize=672944 CPUtime=0.94 cores=4-31
/proc/21307/task/21319/stat : 21319 (plingeling) R 21302 21302 21276 0 -1 4202560 535 1240 0 0 93 0 0 1 19 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4301776 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=21307/tid=21320] ppid=21302 vsize=672944 CPUtime=0.95 cores=4-31
/proc/21307/task/21320/stat : 21320 (plingeling) R 21302 21302 21276 0 -1 4202560 644 1240 0 0 94 0 0 1 19 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4254696 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=21307/tid=21321] ppid=21302 vsize=672944 CPUtime=0.95 cores=4-31
/proc/21307/task/21321/stat : 21321 (plingeling) R 21302 21302 21276 0 -1 4202560 449 1240 0 0 94 0 0 1 19 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=21307/tid=21322] ppid=21302 vsize=672944 CPUtime=0.91 cores=4-31
/proc/21307/task/21322/stat : 21322 (plingeling) R 21302 21302 21276 0 -1 4202560 508 1240 0 0 90 0 0 1 19 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4231370 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=21307/tid=21323] ppid=21302 vsize=672944 CPUtime=0.96 cores=4-31
/proc/21307/task/21323/stat : 21323 (plingeling) R 21302 21302 21276 0 -1 4202560 502 1240 0 0 95 0 0 1 19 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4231344 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=21307/tid=21324] ppid=21302 vsize=672944 CPUtime=0.94 cores=4-31
/proc/21307/task/21324/stat : 21324 (plingeling) R 21302 21302 21276 0 -1 4202560 590 1240 0 0 93 0 0 1 23 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4231387 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=21307/tid=21325] ppid=21302 vsize=672944 CPUtime=0.96 cores=4-31
/proc/21307/task/21325/stat : 21325 (plingeling) R 21302 21302 21276 0 -1 4202560 336 1240 0 0 95 0 0 1 18 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4282959 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=21307/tid=21326] ppid=21302 vsize=672944 CPUtime=0.95 cores=4-31
/proc/21307/task/21326/stat : 21326 (plingeling) R 21302 21302 21276 0 -1 4202560 700 1240 0 0 94 0 0 1 18 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4302113 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=21307/tid=21327] ppid=21302 vsize=672944 CPUtime=0.93 cores=4-31
/proc/21307/task/21327/stat : 21327 (plingeling) R 21302 21302 21276 0 -1 4202560 513 1240 0 0 92 0 0 1 18 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4304672 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=21307/tid=21328] ppid=21302 vsize=672944 CPUtime=0.93 cores=4-31
/proc/21307/task/21328/stat : 21328 (plingeling) R 21302 21302 21276 0 -1 4202560 748 1240 0 0 92 0 0 1 18 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4211189 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=21307/tid=21329] ppid=21302 vsize=672944 CPUtime=0.91 cores=4-31
/proc/21307/task/21329/stat : 21329 (plingeling) R 21302 21302 21276 0 -1 4202560 465 1240 0 0 90 0 0 1 21 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4218234 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=21307/tid=21330] ppid=21302 vsize=672944 CPUtime=0.93 cores=4-31
/proc/21307/task/21330/stat : 21330 (plingeling) R 21302 21302 21276 0 -1 4202560 525 1240 0 0 92 0 0 1 21 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4218058 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=21307/tid=21331] ppid=21302 vsize=672944 CPUtime=0.95 cores=4-31
/proc/21307/task/21331/stat : 21331 (plingeling) R 21302 21302 21276 0 -1 4202560 555 1240 0 0 94 0 0 1 19 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4306802 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=21307/tid=21332] ppid=21302 vsize=672944 CPUtime=0.94 cores=4-31
/proc/21307/task/21332/stat : 21332 (plingeling) R 21302 21302 21276 0 -1 4202560 500 1240 0 0 93 0 0 1 21 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4232894 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=21307/tid=21333] ppid=21302 vsize=672944 CPUtime=0.95 cores=4-31
/proc/21307/task/21333/stat : 21333 (plingeling) R 21302 21302 21276 0 -1 4202560 466 1240 0 0 94 0 0 1 21 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=21307/tid=21334] ppid=21302 vsize=672944 CPUtime=0.94 cores=4-31
/proc/21307/task/21334/stat : 21334 (plingeling) R 21302 21302 21276 0 -1 4202560 365 1240 0 0 93 0 0 1 18 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4216192 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=21307/tid=21335] ppid=21302 vsize=672944 CPUtime=0.93 cores=4-31
/proc/21307/task/21335/stat : 21335 (plingeling) R 21302 21302 21276 0 -1 4202560 379 1240 0 0 92 0 0 1 23 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4233682 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=21307/tid=21336] ppid=21302 vsize=672944 CPUtime=0.93 cores=4-31
/proc/21307/task/21336/stat : 21336 (plingeling) R 21302 21302 21276 0 -1 4202560 481 1240 0 0 92 0 0 1 22 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4232894 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=21307/tid=21337] ppid=21302 vsize=672944 CPUtime=0.92 cores=4-31
/proc/21307/task/21337/stat : 21337 (plingeling) R 21302 21302 21276 0 -1 4202560 379 1240 0 0 91 0 0 1 22 0 29 0 598344663 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4233426 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=21307/tid=21338] ppid=21302 vsize=672944 CPUtime=0.92 cores=4-31
/proc/21307/task/21338/stat : 21338 (plingeling) R 21302 21302 21276 0 -1 4202560 444 1240 0 0 91 0 0 1 23 0 29 0 598344663 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4216192 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=21307/tid=21339] ppid=21302 vsize=672944 CPUtime=0.92 cores=4-31
/proc/21307/task/21339/stat : 21339 (plingeling) R 21302 21302 21276 0 -1 4202560 653 1240 0 0 91 0 0 1 23 0 29 0 598344664 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4230513 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=21307/tid=21340] ppid=21302 vsize=672944 CPUtime=0.87 cores=4-31
/proc/21307/task/21340/stat : 21340 (plingeling) R 21302 21302 21276 0 -1 4202560 420 1240 0 0 86 0 0 1 22 0 29 0 598344664 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4303232 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=21307/tid=21341] ppid=21302 vsize=672944 CPUtime=0.91 cores=4-31
/proc/21307/task/21341/stat : 21341 (plingeling) R 21302 21302 21276 0 -1 4202560 427 1240 0 0 90 0 0 1 22 0 29 0 598344664 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 32.61
Current children cumulated vsize (KiB) 1220560

[startup+3.10162 s]
/proc/loadavg: 27.57 31.12 31.75 33/447 21341
/proc/meminfo: memFree=256638004/264257624 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=18324 CPUtime=0 cores=0-31
/proc/21302/stat : 21302 (ppfolio) S 21300 21302 21276 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 598344607 18763776 386 268435456000 4194304 4287625 140733889966960 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 4 0 0 0
/proc/21302/statm: 4581 386 337 23 0 91 0
[pid=21303] ppid=21302 vsize=30828 CPUtime=3.08 cores=0
/proc/21303/stat : 21303 (cryptominisat) R 21302 21302 21276 0 -1 4202496 2792 0 0 0 308 0 0 0 25 0 1 0 598344608 31567872 2261 268435456000 4194304 4587354 140734909769936 18446744073709551615 4238280 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21303/statm: 7707 2261 327 96 0 4269 0
[pid=21304] ppid=21302 vsize=18644 CPUtime=3.08 cores=1
/proc/21304/stat : 21304 (clasp) R 21302 21302 21276 0 -1 4202496 2351 0 0 0 308 0 0 0 25 0 1 0 598344608 19091456 1986 268435456000 4194304 4785740 140735089727024 18446744073709551615 4550316 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21304/statm: 4661 1986 339 145 0 1706 0
[pid=21305] ppid=21302 vsize=457416 CPUtime=3.08 cores=2
/proc/21305/stat : 21305 (TNM) R 21302 21302 21276 0 -1 4202496 1133 0 0 0 308 0 0 0 25 0 1 0 598344608 468393984 1031 268435456000 134512640 134534564 4289164496 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21305/statm: 114354 1031 95 6 0 113019 0
[pid=21306] ppid=21302 vsize=24100 CPUtime=3.08 cores=3
/proc/21306/stat : 21306 (march_hi) R 21302 21302 21276 0 -1 4202496 8523 0 0 0 306 2 0 0 25 0 1 0 598344608 24678400 3194 268435456000 4194304 4331988 140736809350288 18446744073709551615 4229348 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21306/statm: 6025 3194 171 34 0 4467 0
[pid=21307] ppid=21302 vsize=672944 CPUtime=71.16 cores=4-31
/proc/21307/stat : 21307 (plingeling) S 21302 21302 21276 0 -1 4202496 31251 1240 0 0 7086 29 0 1 19 0 29 0 598344608 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/21307/statm: 168236 15571 159 40 0 166780 0
[pid=21307/tid=21314] ppid=21302 vsize=672944 CPUtime=2.51 cores=4-31
/proc/21307/task/21314/stat : 21314 (plingeling) R 21302 21302 21276 0 -1 4202560 860 1240 0 0 250 0 0 1 21 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=21307/tid=21315] ppid=21302 vsize=672944 CPUtime=2.55 cores=4-31
/proc/21307/task/21315/stat : 21315 (plingeling) R 21302 21302 21276 0 -1 4202560 754 1240 0 0 254 0 0 1 22 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4211054 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21307/tid=21316] ppid=21302 vsize=672944 CPUtime=2.55 cores=4-31
/proc/21307/task/21316/stat : 21316 (plingeling) R 21302 21302 21276 0 -1 4202560 906 1240 0 0 254 0 0 1 19 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4279432 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=21307/tid=21317] ppid=21302 vsize=672944 CPUtime=2.55 cores=4-31
/proc/21307/task/21317/stat : 21317 (plingeling) R 21302 21302 21276 0 -1 4202560 519 1240 0 0 254 0 0 1 22 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21307/tid=21318] ppid=21302 vsize=672944 CPUtime=2.54 cores=4-31
/proc/21307/task/21318/stat : 21318 (plingeling) R 21302 21302 21276 0 -1 4202560 566 1240 0 0 253 0 0 1 25 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=21307/tid=21319] ppid=21302 vsize=672944 CPUtime=2.54 cores=4-31
/proc/21307/task/21319/stat : 21319 (plingeling) R 21302 21302 21276 0 -1 4202560 791 1240 0 0 252 1 0 1 22 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331082 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=21307/tid=21320] ppid=21302 vsize=672944 CPUtime=2.55 cores=4-31
/proc/21307/task/21320/stat : 21320 (plingeling) R 21302 21302 21276 0 -1 4202560 900 1240 0 0 253 1 0 1 22 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=21307/tid=21321] ppid=21302 vsize=672944 CPUtime=2.51 cores=4-31
/proc/21307/task/21321/stat : 21321 (plingeling) R 21302 21302 21276 0 -1 4202560 705 1240 0 0 250 0 0 1 21 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=21307/tid=21322] ppid=21302 vsize=672944 CPUtime=2.5 cores=4-31
/proc/21307/task/21322/stat : 21322 (plingeling) R 21302 21302 21276 0 -1 4202560 764 1240 0 0 248 1 0 1 21 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4279985 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21307/tid=21323] ppid=21302 vsize=672944 CPUtime=2.52 cores=4-31
/proc/21307/task/21323/stat : 21323 (plingeling) R 21302 21302 21276 0 -1 4202560 758 1240 0 0 251 0 0 1 21 0 29 0 598344660 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330896 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=21307/tid=21324] ppid=21302 vsize=672944 CPUtime=2.54 cores=4-31
/proc/21307/task/21324/stat : 21324 (plingeling) R 21302 21302 21276 0 -1 4202560 846 1240 0 0 253 0 0 1 25 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=21307/tid=21325] ppid=21302 vsize=672944 CPUtime=2.56 cores=4-31
/proc/21307/task/21325/stat : 21325 (plingeling) R 21302 21302 21276 0 -1 4202560 336 1240 0 0 255 0 0 1 22 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4242651 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=21307/tid=21326] ppid=21302 vsize=672944 CPUtime=2.52 cores=4-31
/proc/21307/task/21326/stat : 21326 (plingeling) R 21302 21302 21276 0 -1 4202560 956 1240 0 0 251 0 0 1 21 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=21307/tid=21327] ppid=21302 vsize=672944 CPUtime=2.53 cores=4-31
/proc/21307/task/21327/stat : 21327 (plingeling) R 21302 21302 21276 0 -1 4202560 769 1240 0 0 251 1 0 1 21 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=21307/tid=21328] ppid=21302 vsize=672944 CPUtime=2.52 cores=4-31
/proc/21307/task/21328/stat : 21328 (plingeling) R 21302 21302 21276 0 -1 4202560 1004 1240 0 0 250 1 0 1 21 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=21307/tid=21329] ppid=21302 vsize=672944 CPUtime=2.51 cores=4-31
/proc/21307/task/21329/stat : 21329 (plingeling) R 21302 21302 21276 0 -1 4202560 721 1240 0 0 250 0 0 1 25 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4233978 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=21307/tid=21330] ppid=21302 vsize=672944 CPUtime=2.52 cores=4-31
/proc/21307/task/21330/stat : 21330 (plingeling) R 21302 21302 21276 0 -1 4202560 781 1240 0 0 251 0 0 1 25 0 29 0 598344661 689094656 15571 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=21307/tid=21331] ppid=21302 vsize=672944 CPUtime=2.52 cores=4-31

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

[pid=21305] ppid=21302 vsize=457420 CPUtime=4961.35 cores=2
/proc/21305/stat : 21305 (TNM) R 21302 21302 21276 0 -1 4202496 1143 0 0 0 496135 0 0 0 25 0 1 0 598344608 468398080 1041 268435456000 134512640 134534564 4289164496 18446744073709551615 3808480 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21305/statm: 114355 1041 103 6 0 113020 0
[pid=21306] ppid=21302 vsize=497232 CPUtime=4961.36 cores=3
/proc/21306/stat : 21306 (march_hi) R 21302 21302 21276 0 -1 4202496 103871 0 0 0 496051 85 0 0 25 0 1 0 598344608 509165568 98537 268435456000 4194304 4331988 140736809350288 18446744073709551615 4229294 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21306/statm: 124308 98537 172 34 0 122750 0
[pid=21307] ppid=21302 vsize=1014772 CPUtime=138757 cores=4-31
/proc/21307/stat : 21307 (plingeling) S 21302 21302 21276 0 -1 4202496 845757 1240 0 0 13875016 703 0 1 19 0 29 0 598344608 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/21307/statm: 253693 100968 159 40 0 252237 0
[pid=21307/tid=21314] ppid=21302 vsize=1014772 CPUtime=4960.78 cores=4-31
/proc/21307/task/21314/stat : 21314 (plingeling) R 21302 21302 21276 0 -1 4202560 35433 1240 0 0 496055 22 0 1 25 0 29 0 598344660 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=21307/tid=21315] ppid=21302 vsize=1014772 CPUtime=4959.31 cores=4-31
/proc/21307/task/21315/stat : 21315 (plingeling) R 21302 21302 21276 0 -1 4202560 34955 1240 0 0 495908 22 0 1 25 0 29 0 598344660 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4210704 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21307/tid=21316] ppid=21302 vsize=1014772 CPUtime=4959.62 cores=4-31
/proc/21307/task/21316/stat : 21316 (plingeling) R 21302 21302 21276 0 -1 4202560 21333 1240 0 0 495902 59 0 1 25 0 29 0 598344660 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=21307/tid=21317] ppid=21302 vsize=1014772 CPUtime=4960.82 cores=4-31
/proc/21307/task/21317/stat : 21317 (plingeling) R 21302 21302 21276 0 -1 4202560 11310 1240 0 0 496072 9 0 1 25 0 29 0 598344660 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4280645 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21307/tid=21318] ppid=21302 vsize=1014772 CPUtime=4960.82 cores=4-31
/proc/21307/task/21318/stat : 21318 (plingeling) R 21302 21302 21276 0 -1 4202560 39920 1240 0 0 496054 27 0 1 25 0 29 0 598344660 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=21307/tid=21319] ppid=21302 vsize=1014772 CPUtime=4936.61 cores=4-31
/proc/21307/task/21319/stat : 21319 (plingeling) R 21302 21302 21276 0 -1 4202560 33620 1240 0 0 493636 24 0 1 25 0 29 0 598344660 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331141 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=21307/tid=21320] ppid=21302 vsize=1014772 CPUtime=4960.82 cores=4-31
/proc/21307/task/21320/stat : 21320 (plingeling) R 21302 21302 21276 0 -1 4202560 35925 1240 0 0 496054 27 0 1 25 0 29 0 598344660 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=21307/tid=21321] ppid=21302 vsize=1014772 CPUtime=4960.79 cores=4-31
/proc/21307/task/21321/stat : 21321 (plingeling) R 21302 21302 21276 0 -1 4202560 45212 1240 0 0 496025 53 0 1 25 0 29 0 598344660 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=21307/tid=21322] ppid=21302 vsize=1014772 CPUtime=4960.77 cores=4-31
/proc/21307/task/21322/stat : 21322 (plingeling) R 21302 21302 21276 0 -1 4202560 21216 1240 0 0 496064 12 0 1 25 0 29 0 598344660 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21307/tid=21323] ppid=21302 vsize=1014772 CPUtime=4960.74 cores=4-31
/proc/21307/task/21323/stat : 21323 (plingeling) R 21302 21302 21276 0 -1 4202560 20776 1240 0 0 496060 13 0 1 25 0 29 0 598344660 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4234271 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=21307/tid=21324] ppid=21302 vsize=1014772 CPUtime=4959.72 cores=4-31
/proc/21307/task/21324/stat : 21324 (plingeling) R 21302 21302 21276 0 -1 4202560 37725 1240 0 0 495936 35 0 1 25 0 29 0 598344661 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4284076 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=21307/tid=21325] ppid=21302 vsize=1014772 CPUtime=4960.82 cores=4-31
/proc/21307/task/21325/stat : 21325 (plingeling) R 21302 21302 21276 0 -1 4202560 18710 1240 0 0 496068 13 0 1 25 0 29 0 598344661 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=21307/tid=21326] ppid=21302 vsize=1014772 CPUtime=4960.8 cores=4-31
/proc/21307/task/21326/stat : 21326 (plingeling) R 21302 21302 21276 0 -1 4202560 40757 1240 0 0 496048 31 0 1 25 0 29 0 598344661 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=21307/tid=21327] ppid=21302 vsize=1014772 CPUtime=4960.8 cores=4-31
/proc/21307/task/21327/stat : 21327 (plingeling) R 21302 21302 21276 0 -1 4202560 38063 1240 0 0 496053 26 0 1 25 0 29 0 598344661 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4234276 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=21307/tid=21328] ppid=21302 vsize=1014772 CPUtime=4960.79 cores=4-31
/proc/21307/task/21328/stat : 21328 (plingeling) R 21302 21302 21276 0 -1 4202560 23236 1240 0 0 496066 12 0 1 25 0 29 0 598344661 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=21307/tid=21329] ppid=21302 vsize=1014772 CPUtime=4960.8 cores=4-31
/proc/21307/task/21329/stat : 21329 (plingeling) R 21302 21302 21276 0 -1 4202560 28295 1240 0 0 496055 24 0 1 25 0 29 0 598344661 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4280645 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=21307/tid=21330] ppid=21302 vsize=1014772 CPUtime=4960.79 cores=4-31
/proc/21307/task/21330/stat : 21330 (plingeling) R 21302 21302 21276 0 -1 4202560 37428 1240 0 0 496055 23 0 1 25 0 29 0 598344661 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=21307/tid=21331] ppid=21302 vsize=1014772 CPUtime=4960.79 cores=4-31
/proc/21307/task/21331/stat : 21331 (plingeling) R 21302 21302 21276 0 -1 4202560 33983 1240 0 0 496051 27 0 1 25 0 29 0 598344661 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4234192 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=21307/tid=21332] ppid=21302 vsize=1014772 CPUtime=4960.78 cores=4-31
/proc/21307/task/21332/stat : 21332 (plingeling) R 21302 21302 21276 0 -1 4202560 35500 1240 0 0 496045 32 0 1 25 0 29 0 598344661 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=21307/tid=21333] ppid=21302 vsize=1014772 CPUtime=4960.82 cores=4-31
/proc/21307/task/21333/stat : 21333 (plingeling) R 21302 21302 21276 0 -1 4202560 21800 1240 0 0 496062 19 0 1 25 0 29 0 598344661 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4210549 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=21307/tid=21334] ppid=21302 vsize=1014772 CPUtime=4960.78 cores=4-31
/proc/21307/task/21334/stat : 21334 (plingeling) R 21302 21302 21276 0 -1 4202560 20110 1240 0 0 496064 13 0 1 25 0 29 0 598344661 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=21307/tid=21335] ppid=21302 vsize=1014772 CPUtime=4960.81 cores=4-31
/proc/21307/task/21335/stat : 21335 (plingeling) R 21302 21302 21276 0 -1 4202560 20443 1240 0 0 496071 9 0 1 25 0 29 0 598344661 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=21307/tid=21336] ppid=21302 vsize=1014772 CPUtime=4960.63 cores=4-31
/proc/21307/task/21336/stat : 21336 (plingeling) R 21302 21302 21276 0 -1 4202560 36085 1240 0 0 496024 38 0 1 25 0 29 0 598344661 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=21307/tid=21337] ppid=21302 vsize=1014772 CPUtime=4843.38 cores=4-31
/proc/21307/task/21337/stat : 21337 (plingeling) R 21302 21302 21276 0 -1 4202560 35636 1240 0 0 484296 41 0 1 25 0 29 0 598344663 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=21307/tid=21338] ppid=21302 vsize=1014772 CPUtime=4960.8 cores=4-31
/proc/21307/task/21338/stat : 21338 (plingeling) R 21302 21302 21276 0 -1 4202560 37649 1240 0 0 496050 29 0 1 25 0 29 0 598344663 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=21307/tid=21339] ppid=21302 vsize=1014772 CPUtime=4960.79 cores=4-31
/proc/21307/task/21339/stat : 21339 (plingeling) R 21302 21302 21276 0 -1 4202560 36022 1240 0 0 496049 29 0 1 25 0 29 0 598344664 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=21307/tid=21340] ppid=21302 vsize=1014772 CPUtime=4960.73 cores=4-31
/proc/21307/task/21340/stat : 21340 (plingeling) R 21302 21302 21276 0 -1 4202560 22221 1240 0 0 496062 10 0 1 25 0 29 0 598344664 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=21307/tid=21341] ppid=21302 vsize=1014772 CPUtime=4960.78 cores=4-31
/proc/21307/task/21341/stat : 21341 (plingeling) R 21302 21302 21276 0 -1 4202560 11452 1240 0 0 496071 6 0 1 25 0 29 0 598344664 1039126528 100968 268435456000 4194304 4356188 140736307119728 18446744073709551615 4282000 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 158603
Current children cumulated vsize (KiB) 3840644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5006.1 s]
/proc/loadavg: 32.08 32.11 32.09 34/447 21485
/proc/meminfo: memFree=255804440/264257624 swapFree=67111528/67111528
[pid=21302] ppid=21300 vsize=18324 CPUtime=0 cores=0-31
/proc/21302/stat : 21302 (ppfolio) S 21300 21302 21276 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 598344607 18763776 386 268435456000 4194304 4287625 140733889966960 18446744073709551615 258650975999 0 0 4096 65536 8875434335319097343 0 0 17 4 0 0 0
/proc/21302/statm: 4581 386 337 23 0 91 0
[pid=21303] ppid=21302 vsize=1802120 CPUtime=5005.19 cores=0
/proc/21303/stat : 21303 (cryptominisat) R 21302 21302 21276 0 -1 4202496 104030 0 0 0 500464 55 0 0 25 0 1 0 598344608 1845370880 24221 268435456000 4194304 4587354 140734909769936 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21303/statm: 450530 24221 337 96 0 447092 0
[pid=21304] ppid=21302 vsize=67404 CPUtime=5005.16 cores=1
/proc/21304/stat : 21304 (clasp) R 21302 21302 21276 0 -1 4202496 15249 0 0 0 500509 7 0 0 25 0 1 0 598344608 69021696 13902 268435456000 4194304 4785740 140735089727024 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21304/statm: 16851 13902 339 145 0 13896 0
[pid=21305] ppid=21302 vsize=457420 CPUtime=5005.18 cores=2
/proc/21305/stat : 21305 (TNM) R 21302 21302 21276 0 -1 4202496 1143 0 0 0 500518 0 0 0 25 0 1 0 598344608 468398080 1041 268435456000 134512640 134534564 4289164496 18446744073709551615 134528288 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21305/statm: 114355 1041 103 6 0 113020 0
[pid=21306] ppid=21302 vsize=497232 CPUtime=5005.18 cores=3
/proc/21306/stat : 21306 (march_hi) R 21302 21302 21276 0 -1 4202496 104445 0 0 0 500433 85 0 0 25 0 1 0 598344608 509165568 99111 268435456000 4194304 4331988 140736809350288 18446744073709551615 4229709 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21306/statm: 124308 99111 172 34 0 122750 0
[pid=21307] ppid=21302 vsize=1009908 CPUtime=139983 cores=4-31
/proc/21307/stat : 21307 (plingeling) S 21302 21302 21276 0 -1 4202496 849117 1240 0 0 13997612 704 0 1 19 0 29 0 598344608 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/21307/statm: 252477 99752 159 40 0 251021 0
[pid=21307/tid=21314] ppid=21302 vsize=1009908 CPUtime=5004.62 cores=4-31
/proc/21307/task/21314/stat : 21314 (plingeling) R 21302 21302 21276 0 -1 4202560 35433 1240 0 0 500439 22 0 1 25 0 29 0 598344660 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=21307/tid=21315] ppid=21302 vsize=1009908 CPUtime=5003.12 cores=4-31
/proc/21307/task/21315/stat : 21315 (plingeling) R 21302 21302 21276 0 -1 4202560 34955 1240 0 0 500289 22 0 1 25 0 29 0 598344660 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21307/tid=21316] ppid=21302 vsize=1009908 CPUtime=5003.44 cores=4-31
/proc/21307/task/21316/stat : 21316 (plingeling) R 21302 21302 21276 0 -1 4202560 22101 1240 0 0 500284 59 0 1 25 0 29 0 598344660 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=21307/tid=21317] ppid=21302 vsize=1009908 CPUtime=5004.65 cores=4-31
/proc/21307/task/21317/stat : 21317 (plingeling) R 21302 21302 21276 0 -1 4202560 11310 1240 0 0 500455 9 0 1 25 0 29 0 598344660 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21307/tid=21318] ppid=21302 vsize=1009908 CPUtime=5004.65 cores=4-31
/proc/21307/task/21318/stat : 21318 (plingeling) R 21302 21302 21276 0 -1 4202560 39920 1240 0 0 500437 27 0 1 25 0 29 0 598344660 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=21307/tid=21319] ppid=21302 vsize=1009908 CPUtime=4979.18 cores=4-31
/proc/21307/task/21319/stat : 21319 (plingeling) R 21302 21302 21276 0 -1 4202560 33620 1240 0 0 497893 24 0 1 25 0 29 0 598344660 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=21307/tid=21320] ppid=21302 vsize=1009908 CPUtime=5004.65 cores=4-31
/proc/21307/task/21320/stat : 21320 (plingeling) R 21302 21302 21276 0 -1 4202560 36437 1240 0 0 500437 27 0 1 25 0 29 0 598344660 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4332003 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=21307/tid=21321] ppid=21302 vsize=1009908 CPUtime=5004.62 cores=4-31
/proc/21307/task/21321/stat : 21321 (plingeling) R 21302 21302 21276 0 -1 4202560 45212 1240 0 0 500408 53 0 1 25 0 29 0 598344660 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=21307/tid=21322] ppid=21302 vsize=1009908 CPUtime=5004.61 cores=4-31
/proc/21307/task/21322/stat : 21322 (plingeling) R 21302 21302 21276 0 -1 4202560 21216 1240 0 0 500448 12 0 1 25 0 29 0 598344660 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330992 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21307/tid=21323] ppid=21302 vsize=1009908 CPUtime=5004.58 cores=4-31
/proc/21307/task/21323/stat : 21323 (plingeling) R 21302 21302 21276 0 -1 4202560 20776 1240 0 0 500444 13 0 1 25 0 29 0 598344660 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4234271 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=21307/tid=21324] ppid=21302 vsize=1009908 CPUtime=5003.54 cores=4-31
/proc/21307/task/21324/stat : 21324 (plingeling) R 21302 21302 21276 0 -1 4202560 37725 1240 0 0 500318 35 0 1 25 0 29 0 598344661 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=21307/tid=21325] ppid=21302 vsize=1009908 CPUtime=5004.65 cores=4-31
/proc/21307/task/21325/stat : 21325 (plingeling) R 21302 21302 21276 0 -1 4202560 19958 1240 0 0 500451 13 0 1 25 0 29 0 598344661 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=21307/tid=21326] ppid=21302 vsize=1009908 CPUtime=5004.63 cores=4-31
/proc/21307/task/21326/stat : 21326 (plingeling) R 21302 21302 21276 0 -1 4202560 40757 1240 0 0 500431 31 0 1 25 0 29 0 598344661 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331111 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=21307/tid=21327] ppid=21302 vsize=1009908 CPUtime=5004.63 cores=4-31
/proc/21307/task/21327/stat : 21327 (plingeling) R 21302 21302 21276 0 -1 4202560 38063 1240 0 0 500436 26 0 1 25 0 29 0 598344661 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=21307/tid=21328] ppid=21302 vsize=1009908 CPUtime=5004.62 cores=4-31
/proc/21307/task/21328/stat : 21328 (plingeling) R 21302 21302 21276 0 -1 4202560 23236 1240 0 0 500449 12 0 1 25 0 29 0 598344661 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330827 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=21307/tid=21329] ppid=21302 vsize=1009908 CPUtime=5004.63 cores=4-31
/proc/21307/task/21329/stat : 21329 (plingeling) R 21302 21302 21276 0 -1 4202560 28295 1240 0 0 500438 24 0 1 25 0 29 0 598344661 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=21307/tid=21330] ppid=21302 vsize=1009908 CPUtime=5004.62 cores=4-31
/proc/21307/task/21330/stat : 21330 (plingeling) R 21302 21302 21276 0 -1 4202560 37428 1240 0 0 500438 23 0 1 25 0 29 0 598344661 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=21307/tid=21331] ppid=21302 vsize=1009908 CPUtime=5004.63 cores=4-31
/proc/21307/task/21331/stat : 21331 (plingeling) R 21302 21302 21276 0 -1 4202560 33983 1240 0 0 500435 27 0 1 25 0 29 0 598344661 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4279344 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=21307/tid=21332] ppid=21302 vsize=1009908 CPUtime=5004.61 cores=4-31
/proc/21307/task/21332/stat : 21332 (plingeling) R 21302 21302 21276 0 -1 4202560 35660 1240 0 0 500428 32 0 1 25 0 29 0 598344661 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=21307/tid=21333] ppid=21302 vsize=1009908 CPUtime=5004.65 cores=4-31
/proc/21307/task/21333/stat : 21333 (plingeling) R 21302 21302 21276 0 -1 4202560 21800 1240 0 0 500445 19 0 1 25 0 29 0 598344661 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=21307/tid=21334] ppid=21302 vsize=1009908 CPUtime=5004.62 cores=4-31
/proc/21307/task/21334/stat : 21334 (plingeling) R 21302 21302 21276 0 -1 4202560 20654 1240 0 0 500448 13 0 1 25 0 29 0 598344661 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4283929 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=21307/tid=21335] ppid=21302 vsize=1009908 CPUtime=5004.64 cores=4-31
/proc/21307/task/21335/stat : 21335 (plingeling) R 21302 21302 21276 0 -1 4202560 20443 1240 0 0 500454 9 0 1 25 0 29 0 598344661 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331964 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=21307/tid=21336] ppid=21302 vsize=1009908 CPUtime=5004.46 cores=4-31
/proc/21307/task/21336/stat : 21336 (plingeling) R 21302 21302 21276 0 -1 4202560 36085 1240 0 0 500407 38 0 1 25 0 29 0 598344661 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=21307/tid=21337] ppid=21302 vsize=1009908 CPUtime=4887.21 cores=4-31
/proc/21307/task/21337/stat : 21337 (plingeling) R 21302 21302 21276 0 -1 4202560 35636 1240 0 0 488679 41 0 1 25 0 29 0 598344663 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4332260 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=21307/tid=21338] ppid=21302 vsize=1009908 CPUtime=5004.63 cores=4-31
/proc/21307/task/21338/stat : 21338 (plingeling) R 21302 21302 21276 0 -1 4202560 37649 1240 0 0 500433 29 0 1 25 0 29 0 598344663 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=21307/tid=21339] ppid=21302 vsize=1009908 CPUtime=5004.62 cores=4-31
/proc/21307/task/21339/stat : 21339 (plingeling) R 21302 21302 21276 0 -1 4202560 36022 1240 0 0 500432 29 0 1 25 0 29 0 598344664 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=21307/tid=21340] ppid=21302 vsize=1009908 CPUtime=5004.56 cores=4-31
/proc/21307/task/21340/stat : 21340 (plingeling) R 21302 21302 21276 0 -1 4202560 22221 1240 0 0 500445 10 0 1 25 0 29 0 598344664 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=21307/tid=21341] ppid=21302 vsize=1009908 CPUtime=5004.62 cores=4-31
/proc/21307/task/21341/stat : 21341 (plingeling) R 21302 21302 21276 0 -1 4202560 11580 1240 0 0 500455 6 0 1 25 0 29 0 598344664 1034145792 99752 268435456000 4194304 4356188 140736307119728 18446744073709551615 4331939 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 3852408

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21302 and gives
#  childrusage.ru_utime.tv_sec=15014
#  childrusage.ru_utime.tv_usec=943381
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=656900
# CPU time returned by wait4() is 15015.6
# while last known CPU time is 160004
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5006.15
CPU time (s): 160004
CPU user time (s): 159995
CPU system time (s): 8.52
CPU usage (%): 3196.14
Max. virtual memory (cumulated for all children) (KiB): 5538872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15014.9
system time used= 0.6569
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120951
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= 743
involuntary context switches= 80710

runsolver used 28.7496 second user time and 113.018 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-08 17:29:42
IDJOB=3347229
IDBENCH=70775
IDSOLVER=1808
FILE ID=node200/3347229-1304868582
RUNJOBID= node200-1304868582-21290
PBS_JOBID= 13281991
Free space on /tmp= 62052 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347229-1304868582/watcher-3347229-1304868582 -o /tmp/evaluation-result-3347229-1304868582/solver-3347229-1304868582 -C 160000 -W 5100 -M 266338304  ppfolio HOME/instance-3347229-1304868582.cnf

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

MD5SUM BENCH= 8d76aa747359ea8ccf15726792949452
RANDOM SEED=1119816358

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:      256760484 kB
Buffers:        360564 kB
Cached:        6795600 kB
SwapCached:          0 kB
Active:        6331836 kB
Inactive:       893316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      256760484 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10236 kB
Writeback:           0 kB
AnonPages:       70400 kB
Mapped:          13752 kB
Slab:           191536 kB
PageTables:       5720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   184832 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-08 18:53:10