Trace number 3347243

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) 160003 5006.16

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsarray/
countbitsarray04_32.cnf
MD5SUM2fe3650d4a602f63086e937176360ebb
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 variables8750
Number of clauses25865
Sum of the clauses size60349
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 217242
Number of clauses of size 38621
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-3347243-1304930070/watcher-3347243-1304930070 -o /tmp/evaluation-result-3347243-1304930070/solver-3347243-1304930070 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347243-1304930070.cnf 

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

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


[startup+0 s]
/proc/loadavg: 29.52 31.59 31.92 1/413 24750
/proc/meminfo: memFree=256753660/264257624 swapFree=67111528/67111528
[pid=24750] ppid=24748 vsize=18324 CPUtime=0 cores=0-31
/proc/24750/stat : 24750 (ppfolio) S 24748 24750 24724 0 -1 4202496 514 0 0 0 0 0 0 0 24 0 1 0 604493408 18763776 386 268435456000 4194304 4287625 140736357581056 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 4 0 0 0
/proc/24750/statm: 4581 386 337 23 0 91 0

[startup+0.12546 s]
/proc/loadavg: 29.52 31.59 31.92 1/413 24750
/proc/meminfo: memFree=256753660/264257624 swapFree=67111528/67111528
[pid=24750] ppid=24748 vsize=18324 CPUtime=0 cores=0-31
/proc/24750/stat : 24750 (ppfolio) S 24748 24750 24724 0 -1 4202496 514 0 0 0 0 0 0 0 24 0 1 0 604493408 18763776 386 268435456000 4194304 4287625 140736357581056 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 4 0 0 0
/proc/24750/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.200434 s]
/proc/loadavg: 29.52 31.59 31.92 1/413 24750
/proc/meminfo: memFree=256753660/264257624 swapFree=67111528/67111528
[pid=24750] ppid=24748 vsize=18324 CPUtime=0 cores=0-31
/proc/24750/stat : 24750 (ppfolio) S 24748 24750 24724 0 -1 4202496 514 0 0 0 0 0 0 0 23 0 1 0 604493408 18763776 386 268435456000 4194304 4287625 140736357581056 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 4 0 0 0
/proc/24750/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300459 s]
/proc/loadavg: 29.52 31.59 31.92 1/413 24750
/proc/meminfo: memFree=256753660/264257624 swapFree=67111528/67111528
[pid=24750] ppid=24748 vsize=18324 CPUtime=0 cores=0-31
/proc/24750/stat : 24750 (ppfolio) S 24748 24750 24724 0 -1 4202496 514 0 0 0 0 0 0 0 22 0 1 0 604493408 18763776 386 268435456000 4194304 4287625 140736357581056 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 4 0 0 0
/proc/24750/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700389 s]
/proc/loadavg: 29.52 31.59 31.92 1/413 24750
/proc/meminfo: memFree=256753660/264257624 swapFree=67111528/67111528
[pid=24750] ppid=24748 vsize=18324 CPUtime=0 cores=0-31
/proc/24750/stat : 24750 (ppfolio) S 24748 24750 24724 0 -1 4202496 514 0 0 0 0 0 0 0 19 0 1 0 604493408 18763776 386 268435456000 4194304 4287625 140736357581056 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 24 0 0 0
/proc/24750/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50141 s]
/proc/loadavg: 29.52 31.59 31.92 34/447 24789
/proc/meminfo: memFree=256663284/264257624 swapFree=67111528/67111528
[pid=24750] ppid=24748 vsize=18324 CPUtime=0 cores=0-31
/proc/24750/stat : 24750 (ppfolio) S 24748 24750 24724 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 604493408 18763776 386 268435456000 4194304 4287625 140736357581056 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 24 0 0 0
/proc/24750/statm: 4581 386 337 23 0 91 0
[pid=24751] ppid=24750 vsize=1590000 CPUtime=1.49 cores=0
/proc/24751/stat : 24751 (cryptominisat) R 24750 24750 24724 0 -1 4202496 2931 0 0 0 148 1 0 0 20 0 1 0 604493408 1628160000 2009 268435456000 4194304 4587354 140734450791536 18446744073709551615 4239028 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24751/statm: 397500 2009 330 96 0 394062 0
[pid=24752] ppid=24750 vsize=18016 CPUtime=1.49 cores=1
/proc/24752/stat : 24752 (clasp) R 24750 24750 24724 0 -1 4202496 2211 0 0 0 148 1 0 0 20 0 1 0 604493408 18448384 1840 268435456000 4194304 4785740 140735223069856 18446744073709551615 4290578 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/24752/statm: 4504 1840 339 145 0 1549 0
[pid=24753] ppid=24750 vsize=457552 CPUtime=1.48 cores=2
/proc/24753/stat : 24753 (TNM) R 24750 24750 24724 0 -1 4202496 1147 0 0 0 148 0 0 0 20 0 1 0 604493408 468533248 1045 268435456000 134512640 134534564 4291481968 18446744073709551615 134529775 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24753/statm: 114388 1045 95 6 0 113053 0
[pid=24754] ppid=24750 vsize=23752 CPUtime=1.48 cores=3
/proc/24754/stat : 24754 (march_hi) R 24750 24750 24724 0 -1 4202496 8859 0 0 0 145 3 0 0 20 0 1 0 604493408 24322048 3981 268435456000 4194304 4331988 140733542542992 18446744073709551615 4229294 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24754/statm: 5938 3981 171 34 0 4380 0
[pid=24755] ppid=24750 vsize=538220 CPUtime=27 cores=4-31
/proc/24755/stat : 24755 (plingeling) S 24750 24750 24724 0 -1 4202496 20610 1239 0 0 2676 23 0 1 19 0 29 0 604493409 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/24755/statm: 134555 13115 159 40 0 133099 0
[pid=24755/tid=24762] ppid=24750 vsize=538220 CPUtime=0.95 cores=4-31
/proc/24755/task/24762/stat : 24762 (plingeling) R 24750 24750 24724 0 -1 4202560 366 1239 0 0 94 0 0 1 23 0 29 0 604493460 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4281540 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24755/tid=24763] ppid=24750 vsize=538220 CPUtime=0.95 cores=4-31
/proc/24755/task/24763/stat : 24763 (plingeling) R 24750 24750 24724 0 -1 4202560 346 1239 0 0 94 0 0 1 19 0 29 0 604493460 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4234247 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24755/tid=24764] ppid=24750 vsize=538220 CPUtime=0.95 cores=4-31
/proc/24755/task/24764/stat : 24764 (plingeling) R 24750 24750 24724 0 -1 4202560 237 1239 0 0 94 0 0 1 19 0 29 0 604493460 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=24755/tid=24765] ppid=24750 vsize=538220 CPUtime=0.95 cores=4-31
/proc/24755/task/24765/stat : 24765 (plingeling) R 24750 24750 24724 0 -1 4202560 421 1239 0 0 94 0 0 1 19 0 29 0 604493460 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24755/tid=24766] ppid=24750 vsize=538220 CPUtime=0.96 cores=4-31
/proc/24755/task/24766/stat : 24766 (plingeling) R 24750 24750 24724 0 -1 4202560 292 1239 0 0 94 1 0 1 19 0 29 0 604493460 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4332293 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24755/tid=24767] ppid=24750 vsize=538220 CPUtime=0.94 cores=4-31
/proc/24755/task/24767/stat : 24767 (plingeling) R 24750 24750 24724 0 -1 4202560 335 1239 0 0 93 0 0 1 21 0 29 0 604493460 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24755/tid=24768] ppid=24750 vsize=538220 CPUtime=0.95 cores=4-31
/proc/24755/task/24768/stat : 24768 (plingeling) R 24750 24750 24724 0 -1 4202560 330 1239 0 0 94 0 0 1 19 0 29 0 604493460 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4330876 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24755/tid=24769] ppid=24750 vsize=538220 CPUtime=0.92 cores=4-31
/proc/24755/task/24769/stat : 24769 (plingeling) R 24750 24750 24724 0 -1 4202560 207 1239 0 0 91 0 0 1 19 0 29 0 604493460 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24755/tid=24770] ppid=24750 vsize=538220 CPUtime=0.95 cores=4-31
/proc/24755/task/24770/stat : 24770 (plingeling) R 24750 24750 24724 0 -1 4202560 318 1239 0 0 94 0 0 1 19 0 29 0 604493460 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4281802 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24755/tid=24771] ppid=24750 vsize=538220 CPUtime=0.95 cores=4-31
/proc/24755/task/24771/stat : 24771 (plingeling) R 24750 24750 24724 0 -1 4202560 456 1239 0 0 94 0 0 1 19 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331335 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24755/tid=24772] ppid=24750 vsize=538220 CPUtime=0.95 cores=4-31
/proc/24755/task/24772/stat : 24772 (plingeling) R 24750 24750 24724 0 -1 4202560 215 1239 0 0 94 0 0 1 23 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4283885 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24755/tid=24773] ppid=24750 vsize=538220 CPUtime=0.96 cores=4-31
/proc/24755/task/24773/stat : 24773 (plingeling) R 24750 24750 24724 0 -1 4202560 381 1239 0 0 94 1 0 1 19 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4244500 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24755/tid=24774] ppid=24750 vsize=538220 CPUtime=0.95 cores=4-31
/proc/24755/task/24774/stat : 24774 (plingeling) R 24750 24750 24724 0 -1 4202560 319 1239 0 0 94 0 0 1 19 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4279490 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24755/tid=24775] ppid=24750 vsize=538220 CPUtime=0.95 cores=4-31
/proc/24755/task/24775/stat : 24775 (plingeling) R 24750 24750 24724 0 -1 4202560 398 1239 0 0 94 0 0 1 19 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4334501 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24755/tid=24776] ppid=24750 vsize=538220 CPUtime=0.91 cores=4-31
/proc/24755/task/24776/stat : 24776 (plingeling) R 24750 24750 24724 0 -1 4202560 414 1239 0 0 90 0 0 1 23 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4300648 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24755/tid=24777] ppid=24750 vsize=538220 CPUtime=0.95 cores=4-31
/proc/24755/task/24777/stat : 24777 (plingeling) R 24750 24750 24724 0 -1 4202560 254 1239 0 0 94 0 0 1 23 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331141 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24755/tid=24778] ppid=24750 vsize=538220 CPUtime=0.96 cores=4-31
/proc/24755/task/24778/stat : 24778 (plingeling) R 24750 24750 24724 0 -1 4202560 251 1239 0 0 95 0 0 1 19 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24755/tid=24779] ppid=24750 vsize=538220 CPUtime=0.93 cores=4-31
/proc/24755/task/24779/stat : 24779 (plingeling) R 24750 24750 24724 0 -1 4202560 485 1239 0 0 92 0 0 1 19 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24755/tid=24780] ppid=24750 vsize=538220 CPUtime=0.94 cores=4-31
/proc/24755/task/24780/stat : 24780 (plingeling) R 24750 24750 24724 0 -1 4202560 295 1239 0 0 93 0 0 1 18 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4302592 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24755/tid=24781] ppid=24750 vsize=538220 CPUtime=0.93 cores=4-31
/proc/24755/task/24781/stat : 24781 (plingeling) R 24750 24750 24724 0 -1 4202560 594 1239 0 0 92 0 0 1 21 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4234276 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24755/tid=24782] ppid=24750 vsize=538220 CPUtime=0.93 cores=4-31
/proc/24755/task/24782/stat : 24782 (plingeling) R 24750 24750 24724 0 -1 4202560 352 1239 0 0 92 0 0 1 19 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4241930 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24755/tid=24783] ppid=24750 vsize=538220 CPUtime=0.93 cores=4-31
/proc/24755/task/24783/stat : 24783 (plingeling) R 24750 24750 24724 0 -1 4202560 289 1239 0 0 92 0 0 1 19 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24755/tid=24784] ppid=24750 vsize=538220 CPUtime=0.95 cores=4-31
/proc/24755/task/24784/stat : 24784 (plingeling) R 24750 24750 24724 0 -1 4202560 315 1239 0 0 94 0 0 1 23 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24755/tid=24785] ppid=24750 vsize=538220 CPUtime=0.96 cores=4-31
/proc/24755/task/24785/stat : 24785 (plingeling) R 24750 24750 24724 0 -1 4202560 405 1239 0 0 95 0 0 1 23 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331939 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24755/tid=24786] ppid=24750 vsize=538220 CPUtime=0.93 cores=4-31
/proc/24755/task/24786/stat : 24786 (plingeling) R 24750 24750 24724 0 -1 4202560 221 1239 0 0 92 0 0 1 19 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24755/tid=24787] ppid=24750 vsize=538220 CPUtime=0.94 cores=4-31
/proc/24755/task/24787/stat : 24787 (plingeling) R 24750 24750 24724 0 -1 4202560 435 1239 0 0 93 0 0 1 23 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4262087 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24755/tid=24788] ppid=24750 vsize=538220 CPUtime=0.95 cores=4-31
/proc/24755/task/24788/stat : 24788 (plingeling) R 24750 24750 24724 0 -1 4202560 372 1239 0 0 94 0 0 1 19 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24755/tid=24789] ppid=24750 vsize=538220 CPUtime=0.95 cores=4-31
/proc/24755/task/24789/stat : 24789 (plingeling) R 24750 24750 24724 0 -1 4202560 347 1239 0 0 94 0 0 1 23 0 29 0 604493461 551137280 13115 268435456000 4194304 4356188 140735496176784 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 32.94
Current children cumulated vsize (KiB) 2645864

[startup+3.10147 s]
/proc/loadavg: 29.88 31.63 31.93 33/447 24789
/proc/meminfo: memFree=256622488/264257624 swapFree=67111528/67111528
[pid=24750] ppid=24748 vsize=18324 CPUtime=0 cores=0-31
/proc/24750/stat : 24750 (ppfolio) S 24748 24750 24724 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 604493408 18763776 386 268435456000 4194304 4287625 140736357581056 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 24 0 0 0
/proc/24750/statm: 4581 386 337 23 0 91 0
[pid=24751] ppid=24750 vsize=1593332 CPUtime=3.09 cores=0
/proc/24751/stat : 24751 (cryptominisat) R 24750 24750 24724 0 -1 4202496 4864 0 0 0 307 2 0 0 25 0 1 0 604493408 1631571968 2609 268435456000 4194304 4587354 140734450791536 18446744073709551615 4238658 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24751/statm: 398333 2609 336 96 0 394895 0
[pid=24752] ppid=24750 vsize=20048 CPUtime=3.08 cores=1
/proc/24752/stat : 24752 (clasp) R 24750 24750 24724 0 -1 4202496 2711 0 0 0 307 1 0 0 25 0 1 0 604493408 20529152 2340 268435456000 4194304 4785740 140735223069856 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/24752/statm: 5012 2340 339 145 0 2057 0
[pid=24753] ppid=24750 vsize=457552 CPUtime=3.08 cores=2
/proc/24753/stat : 24753 (TNM) R 24750 24750 24724 0 -1 4202496 1147 0 0 0 308 0 0 0 25 0 1 0 604493408 468533248 1045 268435456000 134512640 134534564 4291481968 18446744073709551615 3901823 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24753/statm: 114388 1045 95 6 0 113053 0
[pid=24754] ppid=24750 vsize=24148 CPUtime=3.08 cores=3
/proc/24754/stat : 24754 (march_hi) R 24750 24750 24724 0 -1 4202496 8945 0 0 0 305 3 0 0 25 0 1 0 604493408 24727552 4067 268435456000 4194304 4331988 140733542542992 18446744073709551615 4211427 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24754/statm: 6037 4067 171 34 0 4479 0
[pid=24755] ppid=24750 vsize=572200 CPUtime=71.62 cores=4-31
/proc/24755/stat : 24755 (plingeling) S 24750 24750 24724 0 -1 4202496 37026 1239 0 0 7125 36 0 1 19 0 29 0 604493409 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/24755/statm: 143050 25064 159 40 0 141594 0
[pid=24755/tid=24762] ppid=24750 vsize=572200 CPUtime=2.55 cores=4-31
/proc/24755/task/24762/stat : 24762 (plingeling) R 24750 24750 24724 0 -1 4202560 1107 1239 0 0 254 0 0 1 25 0 29 0 604493460 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4260345 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24755/tid=24763] ppid=24750 vsize=572200 CPUtime=2.56 cores=4-31
/proc/24755/task/24763/stat : 24763 (plingeling) R 24750 24750 24724 0 -1 4202560 1024 1239 0 0 254 1 0 1 22 0 29 0 604493460 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4281793 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24755/tid=24764] ppid=24750 vsize=572200 CPUtime=2.54 cores=4-31
/proc/24755/task/24764/stat : 24764 (plingeling) R 24750 24750 24724 0 -1 4202560 813 1239 0 0 253 0 0 1 22 0 29 0 604493460 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4334582 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=24755/tid=24765] ppid=24750 vsize=572200 CPUtime=2.55 cores=4-31
/proc/24755/task/24765/stat : 24765 (plingeling) R 24750 24750 24724 0 -1 4202560 1189 1239 0 0 253 1 0 1 22 0 29 0 604493460 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331946 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24755/tid=24766] ppid=24750 vsize=572200 CPUtime=2.53 cores=4-31
/proc/24755/task/24766/stat : 24766 (plingeling) R 24750 24750 24724 0 -1 4202560 957 1239 0 0 251 1 0 1 18 0 29 0 604493460 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24755/tid=24767] ppid=24750 vsize=572200 CPUtime=2.54 cores=4-31
/proc/24755/task/24767/stat : 24767 (plingeling) R 24750 24750 24724 0 -1 4202560 645 1239 0 0 253 0 0 1 25 0 29 0 604493460 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24755/tid=24768] ppid=24750 vsize=572200 CPUtime=2.55 cores=4-31
/proc/24755/task/24768/stat : 24768 (plingeling) R 24750 24750 24724 0 -1 4202560 692 1239 0 0 254 0 0 1 22 0 29 0 604493460 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4233150 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24755/tid=24769] ppid=24750 vsize=572200 CPUtime=2.52 cores=4-31
/proc/24755/task/24769/stat : 24769 (plingeling) R 24750 24750 24724 0 -1 4202560 1167 1239 0 0 250 1 0 1 22 0 29 0 604493460 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4210557 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24755/tid=24770] ppid=24750 vsize=572200 CPUtime=2.55 cores=4-31
/proc/24755/task/24770/stat : 24770 (plingeling) R 24750 24750 24724 0 -1 4202560 966 1239 0 0 253 1 0 1 22 0 29 0 604493460 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24755/tid=24771] ppid=24750 vsize=572200 CPUtime=2.55 cores=4-31
/proc/24755/task/24771/stat : 24771 (plingeling) R 24750 24750 24724 0 -1 4202560 902 1239 0 0 254 0 0 1 22 0 29 0 604493461 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4230759 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24755/tid=24772] ppid=24750 vsize=572200 CPUtime=2.55 cores=4-31
/proc/24755/task/24772/stat : 24772 (plingeling) R 24750 24750 24724 0 -1 4202560 850 1239 0 0 253 1 0 1 20 0 29 0 604493461 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24755/tid=24773] ppid=24750 vsize=572200 CPUtime=2.55 cores=4-31
/proc/24755/task/24773/stat : 24773 (plingeling) R 24750 24750 24724 0 -1 4202560 1126 1239 0 0 253 1 0 1 22 0 29 0 604493461 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24755/tid=24774] ppid=24750 vsize=572200 CPUtime=2.55 cores=4-31
/proc/24755/task/24774/stat : 24774 (plingeling) R 24750 24750 24724 0 -1 4202560 715 1239 0 0 254 0 0 1 22 0 29 0 604493461 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24755/tid=24775] ppid=24750 vsize=572200 CPUtime=2.54 cores=4-31
/proc/24755/task/24775/stat : 24775 (plingeling) R 24750 24750 24724 0 -1 4202560 1119 1239 0 0 252 1 0 1 18 0 29 0 604493461 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4250782 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24755/tid=24776] ppid=24750 vsize=572200 CPUtime=2.47 cores=4-31
/proc/24755/task/24776/stat : 24776 (plingeling) R 24750 24750 24724 0 -1 4202560 858 1239 0 0 246 0 0 1 20 0 29 0 604493461 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24755/tid=24777] ppid=24750 vsize=572200 CPUtime=2.55 cores=4-31
/proc/24755/task/24777/stat : 24777 (plingeling) R 24750 24750 24724 0 -1 4202560 918 1239 0 0 253 1 0 1 25 0 29 0 604493461 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4232872 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24755/tid=24778] ppid=24750 vsize=572200 CPUtime=2.53 cores=4-31
/proc/24755/task/24778/stat : 24778 (plingeling) R 24750 24750 24724 0 -1 4202560 768 1239 0 0 251 1 0 1 22 0 29 0 604493461 585932800 25064 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331011 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24755/tid=24779] ppid=24750 vsize=572200 CPUtime=2.53 cores=4-31

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

[pid=24753] ppid=24750 vsize=457556 CPUtime=4961.33 cores=2
/proc/24753/stat : 24753 (TNM) R 24750 24750 24724 0 -1 4202496 1156 0 0 0 496133 0 0 0 25 0 1 0 604493408 468537344 1054 268435456000 134512640 134534564 4291481968 18446744073709551615 134530309 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24753/statm: 114389 1054 103 6 0 113054 0
[pid=24754] ppid=24750 vsize=1031484 CPUtime=4961.35 cores=3
/proc/24754/stat : 24754 (march_hi) R 24750 24750 24724 0 -1 4202496 195809 0 0 0 495915 220 0 0 25 0 1 0 604493408 1056239616 190931 268435456000 4194304 4331988 140733542542992 18446744073709551615 4237171 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24754/statm: 257871 190931 172 34 0 256313 0
[pid=24755] ppid=24750 vsize=1665920 CPUtime=138756 cores=4-31
/proc/24755/stat : 24755 (plingeling) S 24750 24750 24724 0 -1 4202496 5678104 1239 0 0 13872100 3544 0 1 19 0 29 0 604493409 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/24755/statm: 416480 299700 159 40 0 415024 0
[pid=24755/tid=24762] ppid=24750 vsize=1665920 CPUtime=4960.73 cores=4-31
/proc/24755/task/24762/stat : 24762 (plingeling) R 24750 24750 24724 0 -1 4202560 211644 1239 0 0 495949 123 0 1 25 0 29 0 604493460 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24755/tid=24763] ppid=24750 vsize=1665920 CPUtime=4960.72 cores=4-31
/proc/24755/task/24763/stat : 24763 (plingeling) R 24750 24750 24724 0 -1 4202560 208010 1239 0 0 495935 136 0 1 25 0 29 0 604493460 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24755/tid=24764] ppid=24750 vsize=1665920 CPUtime=4922.09 cores=4-31
/proc/24755/task/24764/stat : 24764 (plingeling) R 24750 24750 24724 0 -1 4202560 209143 1239 0 0 492082 126 0 1 25 0 29 0 604493460 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24755/tid=24765] ppid=24750 vsize=1665920 CPUtime=4960.71 cores=4-31
/proc/24755/task/24765/stat : 24765 (plingeling) R 24750 24750 24724 0 -1 4202560 185295 1239 0 0 495969 101 0 1 25 0 29 0 604493460 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24755/tid=24766] ppid=24750 vsize=1665920 CPUtime=4960.77 cores=4-31
/proc/24755/task/24766/stat : 24766 (plingeling) R 24750 24750 24724 0 -1 4202560 203974 1239 0 0 495971 105 0 1 25 0 29 0 604493460 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24755/tid=24767] ppid=24750 vsize=1665920 CPUtime=4960.74 cores=4-31
/proc/24755/task/24767/stat : 24767 (plingeling) R 24750 24750 24724 0 -1 4202560 203343 1239 0 0 495961 112 0 1 25 0 29 0 604493460 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24755/tid=24768] ppid=24750 vsize=1665920 CPUtime=4960.08 cores=4-31
/proc/24755/task/24768/stat : 24768 (plingeling) R 24750 24750 24724 0 -1 4202560 218014 1239 0 0 495869 138 0 1 25 0 29 0 604493460 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24755/tid=24769] ppid=24750 vsize=1665920 CPUtime=4957.02 cores=4-31
/proc/24755/task/24769/stat : 24769 (plingeling) R 24750 24750 24724 0 -1 4202560 182044 1239 0 0 495510 191 0 1 25 0 29 0 604493460 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24755/tid=24770] ppid=24750 vsize=1665920 CPUtime=4960.67 cores=4-31
/proc/24755/task/24770/stat : 24770 (plingeling) R 24750 24750 24724 0 -1 4202560 204879 1239 0 0 495945 121 0 1 25 0 29 0 604493460 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24755/tid=24771] ppid=24750 vsize=1665920 CPUtime=4960.8 cores=4-31
/proc/24755/task/24771/stat : 24771 (plingeling) R 24750 24750 24724 0 -1 4202560 210191 1239 0 0 495960 119 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24755/tid=24772] ppid=24750 vsize=1665920 CPUtime=4905.43 cores=4-31
/proc/24755/task/24772/stat : 24772 (plingeling) R 24750 24750 24724 0 -1 4202560 214395 1239 0 0 490428 114 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24755/tid=24773] ppid=24750 vsize=1665920 CPUtime=4960.76 cores=4-31
/proc/24755/task/24773/stat : 24773 (plingeling) R 24750 24750 24724 0 -1 4202560 191024 1239 0 0 495958 117 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24755/tid=24774] ppid=24750 vsize=1665920 CPUtime=4960.75 cores=4-31
/proc/24755/task/24774/stat : 24774 (plingeling) R 24750 24750 24724 0 -1 4202560 202133 1239 0 0 495964 110 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24755/tid=24775] ppid=24750 vsize=1665920 CPUtime=4960.78 cores=4-31
/proc/24755/task/24775/stat : 24775 (plingeling) R 24750 24750 24724 0 -1 4202560 225416 1239 0 0 495940 137 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24755/tid=24776] ppid=24750 vsize=1665920 CPUtime=4955.92 cores=4-31
/proc/24755/task/24776/stat : 24776 (plingeling) R 24750 24750 24724 0 -1 4202560 208068 1239 0 0 495479 112 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331178 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24755/tid=24777] ppid=24750 vsize=1665920 CPUtime=4960.07 cores=4-31
/proc/24755/task/24777/stat : 24777 (plingeling) R 24750 24750 24724 0 -1 4202560 167075 1239 0 0 495854 152 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24755/tid=24778] ppid=24750 vsize=1665920 CPUtime=4960.77 cores=4-31
/proc/24755/task/24778/stat : 24778 (plingeling) R 24750 24750 24724 0 -1 4202560 225194 1239 0 0 495934 142 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331992 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24755/tid=24779] ppid=24750 vsize=1665920 CPUtime=4958.62 cores=4-31
/proc/24755/task/24779/stat : 24779 (plingeling) R 24750 24750 24724 0 -1 4202560 210010 1239 0 0 495690 171 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24755/tid=24780] ppid=24750 vsize=1665920 CPUtime=4953.26 cores=4-31
/proc/24755/task/24780/stat : 24780 (plingeling) R 24750 24750 24724 0 -1 4202560 224636 1239 0 0 495189 136 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4332125 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=24755/tid=24781] ppid=24750 vsize=1665920 CPUtime=4960.63 cores=4-31
/proc/24755/task/24781/stat : 24781 (plingeling) R 24750 24750 24724 0 -1 4202560 182171 1239 0 0 495950 112 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24755/tid=24782] ppid=24750 vsize=1665920 CPUtime=4960.7 cores=4-31
/proc/24755/task/24782/stat : 24782 (plingeling) R 24750 24750 24724 0 -1 4202560 210158 1239 0 0 495957 112 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24755/tid=24783] ppid=24750 vsize=1665920 CPUtime=4947.11 cores=4-31
/proc/24755/task/24783/stat : 24783 (plingeling) R 24750 24750 24724 0 -1 4202560 217754 1239 0 0 494588 122 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24755/tid=24784] ppid=24750 vsize=1665920 CPUtime=4958.22 cores=4-31
/proc/24755/task/24784/stat : 24784 (plingeling) R 24750 24750 24724 0 -1 4202560 220162 1239 0 0 495691 130 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24755/tid=24785] ppid=24750 vsize=1665920 CPUtime=4960.7 cores=4-31
/proc/24755/task/24785/stat : 24785 (plingeling) R 24750 24750 24724 0 -1 4202560 151390 1239 0 0 495888 181 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24755/tid=24786] ppid=24750 vsize=1665920 CPUtime=4959.29 cores=4-31
/proc/24755/task/24786/stat : 24786 (plingeling) R 24750 24750 24724 0 -1 4202560 201140 1239 0 0 495811 117 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24755/tid=24787] ppid=24750 vsize=1665920 CPUtime=4960.37 cores=4-31
/proc/24755/task/24787/stat : 24787 (plingeling) R 24750 24750 24724 0 -1 4202560 209596 1239 0 0 495942 94 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24755/tid=24788] ppid=24750 vsize=1665920 CPUtime=4947.43 cores=4-31
/proc/24755/task/24788/stat : 24788 (plingeling) R 24750 24750 24724 0 -1 4202560 184077 1239 0 0 494643 99 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331335 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24755/tid=24789] ppid=24750 vsize=1665920 CPUtime=4960.79 cores=4-31
/proc/24755/task/24789/stat : 24789 (plingeling) R 24750 24750 24724 0 -1 4202560 186208 1239 0 0 495983 95 0 1 25 0 29 0 604493461 1705902080 299700 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 158602
Current children cumulated vsize (KiB) 5023172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5006.1 s]
/proc/loadavg: 32.00 32.01 32.00 34/447 24935
/proc/meminfo: memFree=254453468/264257624 swapFree=67111528/67111528
[pid=24750] ppid=24748 vsize=18324 CPUtime=0 cores=0-31
/proc/24750/stat : 24750 (ppfolio) S 24748 24750 24724 0 -1 4202496 514 0 0 0 0 0 0 0 15 0 1 0 604493408 18763776 386 268435456000 4194304 4287625 140736357581056 18446744073709551615 258650975999 0 0 4096 65536 9199842629754290175 0 0 17 24 0 0 0
/proc/24750/statm: 4581 386 337 23 0 91 0
[pid=24751] ppid=24750 vsize=1674040 CPUtime=5005.19 cores=0
/proc/24751/stat : 24751 (cryptominisat) R 24750 24750 24724 0 -1 4202496 432723 0 0 0 500231 288 0 0 25 0 1 0 604493408 1714216960 27929 268435456000 4194304 4587354 140734450791536 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/24751/statm: 418510 27929 336 96 0 415072 0
[pid=24752] ppid=24750 vsize=176132 CPUtime=5005.18 cores=1
/proc/24752/stat : 24752 (clasp) R 24750 24750 24724 0 -1 4202496 40294 0 0 0 500500 18 0 0 25 0 1 0 604493408 180359168 39761 268435456000 4194304 4785740 140735223069856 18446744073709551615 4287252 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/24752/statm: 44033 39761 339 145 0 41078 0
[pid=24753] ppid=24750 vsize=457556 CPUtime=5005.16 cores=2
/proc/24753/stat : 24753 (TNM) R 24750 24750 24724 0 -1 4202496 1156 0 0 0 500516 0 0 0 25 0 1 0 604493408 468537344 1054 268435456000 134512640 134534564 4291481968 18446744073709551615 134528273 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24753/statm: 114389 1054 103 6 0 113054 0
[pid=24754] ppid=24750 vsize=1031484 CPUtime=5005.19 cores=3
/proc/24754/stat : 24754 (march_hi) R 24750 24750 24724 0 -1 4202496 197591 0 0 0 500296 223 0 0 25 0 1 0 604493408 1056239616 192713 268435456000 4194304 4331988 140733542542992 18446744073709551615 4286594 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24754/statm: 257871 192713 172 34 0 256313 0
[pid=24755] ppid=24750 vsize=1724032 CPUtime=139982 cores=4-31
/proc/24755/stat : 24755 (plingeling) S 24750 24750 24724 0 -1 4202496 5711384 1239 0 0 13994690 3555 0 1 19 0 29 0 604493409 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/24755/statm: 431008 314228 159 40 0 429552 0
[pid=24755/tid=24762] ppid=24750 vsize=1724032 CPUtime=5004.56 cores=4-31
/proc/24755/task/24762/stat : 24762 (plingeling) R 24750 24750 24724 0 -1 4202560 211644 1239 0 0 500332 123 0 1 25 0 29 0 604493460 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331264 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24755/tid=24763] ppid=24750 vsize=1724032 CPUtime=5004.55 cores=4-31
/proc/24755/task/24763/stat : 24763 (plingeling) R 24750 24750 24724 0 -1 4202560 209802 1239 0 0 500318 136 0 1 25 0 29 0 604493460 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24755/tid=24764] ppid=24750 vsize=1724032 CPUtime=4964.66 cores=4-31
/proc/24755/task/24764/stat : 24764 (plingeling) R 24750 24750 24724 0 -1 4202560 209399 1239 0 0 496339 126 0 1 25 0 29 0 604493460 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24755/tid=24765] ppid=24750 vsize=1724032 CPUtime=5004.54 cores=4-31
/proc/24755/task/24765/stat : 24765 (plingeling) R 24750 24750 24724 0 -1 4202560 186447 1239 0 0 500352 101 0 1 25 0 29 0 604493460 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24755/tid=24766] ppid=24750 vsize=1724032 CPUtime=5004.61 cores=4-31
/proc/24755/task/24766/stat : 24766 (plingeling) R 24750 24750 24724 0 -1 4202560 206470 1239 0 0 500354 106 0 1 25 0 29 0 604493460 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24755/tid=24767] ppid=24750 vsize=1724032 CPUtime=5004.57 cores=4-31
/proc/24755/task/24767/stat : 24767 (plingeling) R 24750 24750 24724 0 -1 4202560 203535 1239 0 0 500344 112 0 1 25 0 29 0 604493460 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4332109 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24755/tid=24768] ppid=24750 vsize=1724032 CPUtime=5003.9 cores=4-31
/proc/24755/task/24768/stat : 24768 (plingeling) R 24750 24750 24724 0 -1 4202560 220702 1239 0 0 500251 138 0 1 25 0 29 0 604493460 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24755/tid=24769] ppid=24750 vsize=1724032 CPUtime=5000.85 cores=4-31
/proc/24755/task/24769/stat : 24769 (plingeling) R 24750 24750 24724 0 -1 4202560 183580 1239 0 0 499892 192 0 1 25 0 29 0 604493460 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24755/tid=24770] ppid=24750 vsize=1724032 CPUtime=5004.48 cores=4-31
/proc/24755/task/24770/stat : 24770 (plingeling) R 24750 24750 24724 0 -1 4202560 206031 1239 0 0 500325 122 0 1 25 0 29 0 604493460 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331264 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24755/tid=24771] ppid=24750 vsize=1724032 CPUtime=5004.64 cores=4-31
/proc/24755/task/24771/stat : 24771 (plingeling) R 24750 24750 24724 0 -1 4202560 213263 1239 0 0 500343 120 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4279704 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24755/tid=24772] ppid=24750 vsize=1724032 CPUtime=4949.26 cores=4-31
/proc/24755/task/24772/stat : 24772 (plingeling) R 24750 24750 24724 0 -1 4202560 215291 1239 0 0 494811 114 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24755/tid=24773] ppid=24750 vsize=1724032 CPUtime=5004.59 cores=4-31
/proc/24755/task/24773/stat : 24773 (plingeling) R 24750 24750 24724 0 -1 4202560 192816 1239 0 0 500340 118 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24755/tid=24774] ppid=24750 vsize=1724032 CPUtime=5004.58 cores=4-31
/proc/24755/task/24774/stat : 24774 (plingeling) R 24750 24750 24724 0 -1 4202560 203029 1239 0 0 500347 110 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24755/tid=24775] ppid=24750 vsize=1724032 CPUtime=5004.61 cores=4-31
/proc/24755/task/24775/stat : 24775 (plingeling) R 24750 24750 24724 0 -1 4202560 226696 1239 0 0 500323 137 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24755/tid=24776] ppid=24750 vsize=1724032 CPUtime=4999.75 cores=4-31
/proc/24755/task/24776/stat : 24776 (plingeling) R 24750 24750 24724 0 -1 4202560 208836 1239 0 0 499862 112 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24755/tid=24777] ppid=24750 vsize=1724032 CPUtime=5003.91 cores=4-31
/proc/24755/task/24777/stat : 24777 (plingeling) R 24750 24750 24724 0 -1 4202560 168099 1239 0 0 500237 153 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24755/tid=24778] ppid=24750 vsize=1724032 CPUtime=5004.61 cores=4-31
/proc/24755/task/24778/stat : 24778 (plingeling) R 24750 24750 24724 0 -1 4202560 225322 1239 0 0 500318 142 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24755/tid=24779] ppid=24750 vsize=1724032 CPUtime=5002.45 cores=4-31
/proc/24755/task/24779/stat : 24779 (plingeling) R 24750 24750 24724 0 -1 4202560 211546 1239 0 0 500073 171 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24755/tid=24780] ppid=24750 vsize=1724032 CPUtime=4997.09 cores=4-31
/proc/24755/task/24780/stat : 24780 (plingeling) R 24750 24750 24724 0 -1 4202560 224636 1239 0 0 499572 136 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=24755/tid=24781] ppid=24750 vsize=1724032 CPUtime=5004.47 cores=4-31
/proc/24755/task/24781/stat : 24781 (plingeling) R 24750 24750 24724 0 -1 4202560 184603 1239 0 0 500333 113 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24755/tid=24782] ppid=24750 vsize=1724032 CPUtime=5004.54 cores=4-31
/proc/24755/task/24782/stat : 24782 (plingeling) R 24750 24750 24724 0 -1 4202560 210286 1239 0 0 500341 112 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24755/tid=24783] ppid=24750 vsize=1724032 CPUtime=4990.94 cores=4-31
/proc/24755/task/24783/stat : 24783 (plingeling) R 24750 24750 24724 0 -1 4202560 218778 1239 0 0 498971 122 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4332007 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24755/tid=24784] ppid=24750 vsize=1724032 CPUtime=5002.05 cores=4-31
/proc/24755/task/24784/stat : 24784 (plingeling) R 24750 24750 24724 0 -1 4202560 220674 1239 0 0 500073 131 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24755/tid=24785] ppid=24750 vsize=1724032 CPUtime=5004.54 cores=4-31
/proc/24755/task/24785/stat : 24785 (plingeling) R 24750 24750 24724 0 -1 4202560 151390 1239 0 0 500272 181 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24755/tid=24786] ppid=24750 vsize=1724032 CPUtime=5003.1 cores=4-31
/proc/24755/task/24786/stat : 24786 (plingeling) R 24750 24750 24724 0 -1 4202560 203060 1239 0 0 500192 117 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24755/tid=24787] ppid=24750 vsize=1724032 CPUtime=5004.2 cores=4-31
/proc/24755/task/24787/stat : 24787 (plingeling) R 24750 24750 24724 0 -1 4202560 211004 1239 0 0 500324 95 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4234377 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24755/tid=24788] ppid=24750 vsize=1724032 CPUtime=4991.26 cores=4-31
/proc/24755/task/24788/stat : 24788 (plingeling) R 24750 24750 24724 0 -1 4202560 185613 1239 0 0 499026 99 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24755/tid=24789] ppid=24750 vsize=1724032 CPUtime=5004.62 cores=4-31
/proc/24755/task/24789/stat : 24789 (plingeling) R 24750 24750 24724 0 -1 4202560 187872 1239 0 0 500366 95 0 1 25 0 29 0 604493461 1765408768 314228 268435456000 4194304 4356188 140735496176784 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 5081568

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 24750 and gives
#  childrusage.ru_utime.tv_sec=5005
#  childrusage.ru_utime.tv_usec=173098
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=12998
# CPU time returned by wait4() is 5005.19
# while last known CPU time is 160003
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5006.16
CPU time (s): 160003
CPU user time (s): 159962
CPU system time (s): 40.85
CPU usage (%): 3196.13
Max. virtual memory (cumulated for all children) (KiB): 6632264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5005.17
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1671
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= 488
involuntary context switches= 12522

runsolver used 29.4275 second user time and 111.908 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-09 10:34:30
IDJOB=3347243
IDBENCH=70810
IDSOLVER=1808
FILE ID=node200/3347243-1304930070
RUNJOBID= node200-1304930070-24738
PBS_JOBID= 13282005
Free space on /tmp= 62052 MiB

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

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

MD5SUM BENCH= 2fe3650d4a602f63086e937176360ebb
RANDOM SEED=156248339

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:      256754188 kB
Buffers:        364280 kB
Cached:        6796580 kB
SwapCached:          0 kB
Active:        6338476 kB
Inactive:       891408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      256754188 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10188 kB
Writeback:           4 kB
AnonPages:       70520 kB
Mapped:          13216 kB
Slab:           191732 kB
PageTables:       4848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   186596 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-09 11:57:58