Trace number 3347577

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ppfolio par? (TO) 160002 5005.73

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
64/aes_64_2_keyfind_1.cnf
MD5SUM1024a3346322fdba0a20b51f99eae4c0
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 variables1000
Number of clauses5176
Sum of the clauses size20024
Maximum clause length5
Minimum clause length1
Number of clauses of size 1136
Number of clauses of size 2160
Number of clauses of size 32080
Number of clauses of size 4672
Number of clauses of size 52128
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-3347577-1305367162/watcher-3347577-1305367162 -o /tmp/evaluation-result-3347577-1305367162/solver-3347577-1305367162 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347577-1305367162.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.31 31.07 31.74 1/413 29596
/proc/meminfo: memFree=255607868/264257624 swapFree=67111528/67111528
[pid=29596] ppid=29594 vsize=18324 CPUtime=0 cores=0-31
/proc/29596/stat : 29596 (ppfolio) S 29594 29596 29570 0 -1 4202496 513 0 0 0 0 0 0 0 25 0 1 0 648202604 18763776 386 268435456000 4194304 4287625 140734710454112 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 20 0 0 0
/proc/29596/statm: 4581 386 337 23 0 91 0

[startup+0.0923559 s]
/proc/loadavg: 27.31 31.07 31.74 1/413 29596
/proc/meminfo: memFree=255607868/264257624 swapFree=67111528/67111528
[pid=29596] ppid=29594 vsize=18324 CPUtime=0 cores=0-31
/proc/29596/stat : 29596 (ppfolio) S 29594 29596 29570 0 -1 4202496 513 0 0 0 0 0 0 0 25 0 1 0 648202604 18763776 386 268435456000 4194304 4287625 140734710454112 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 20 0 0 0
/proc/29596/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100378 s]
/proc/loadavg: 27.31 31.07 31.74 1/413 29596
/proc/meminfo: memFree=255607868/264257624 swapFree=67111528/67111528
[pid=29596] ppid=29594 vsize=18324 CPUtime=0 cores=0-31
/proc/29596/stat : 29596 (ppfolio) S 29594 29596 29570 0 -1 4202496 513 0 0 0 0 0 0 0 25 0 1 0 648202604 18763776 386 268435456000 4194304 4287625 140734710454112 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 20 0 0 0
/proc/29596/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300291 s]
/proc/loadavg: 27.31 31.07 31.74 1/413 29596
/proc/meminfo: memFree=255607868/264257624 swapFree=67111528/67111528
[pid=29596] ppid=29594 vsize=18324 CPUtime=0 cores=0-31
/proc/29596/stat : 29596 (ppfolio) S 29594 29596 29570 0 -1 4202496 513 0 0 0 0 0 0 0 25 0 1 0 648202604 18763776 386 268435456000 4194304 4287625 140734710454112 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 20 0 0 0
/proc/29596/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700305 s]
/proc/loadavg: 27.31 31.07 31.74 1/413 29596
/proc/meminfo: memFree=255607868/264257624 swapFree=67111528/67111528
[pid=29596] ppid=29594 vsize=18324 CPUtime=0 cores=0-31
/proc/29596/stat : 29596 (ppfolio) S 29594 29596 29570 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 648202604 18763776 386 268435456000 4194304 4287625 140734710454112 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 12 0 0 0
/proc/29596/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50133 s]
/proc/loadavg: 27.31 31.07 31.74 33/447 29635
/proc/meminfo: memFree=255568372/264257624 swapFree=67111528/67111528
[pid=29596] ppid=29594 vsize=18324 CPUtime=0 cores=0-31
/proc/29596/stat : 29596 (ppfolio) S 29594 29596 29570 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 648202604 18763776 386 268435456000 4194304 4287625 140734710454112 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 12 0 0 0
/proc/29596/statm: 4581 386 337 23 0 91 0
[pid=29597] ppid=29596 vsize=1155588 CPUtime=1.48 cores=0
/proc/29597/stat : 29597 (cryptominisat) R 29596 29596 29570 0 -1 4202496 2134 0 0 0 148 0 0 0 25 0 1 0 648202605 1183322112 1016 268435456000 4194304 4587354 140733554469856 18446744073709551615 4238282 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29597/statm: 288897 1016 330 96 0 285459 0
[pid=29598] ppid=29596 vsize=14372 CPUtime=1.48 cores=1
/proc/29598/stat : 29598 (clasp) R 29596 29596 29570 0 -1 4202496 1047 0 0 0 148 0 0 0 20 0 1 0 648202605 14716928 931 268435456000 4194304 4785740 140734289376352 18446744073709551615 4416786 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29598/statm: 3593 931 338 145 0 638 0
[pid=29599] ppid=29596 vsize=456096 CPUtime=1.48 cores=2
/proc/29599/stat : 29599 (TNM) R 29596 29596 29570 0 -1 4202496 448 0 0 0 148 0 0 0 20 0 1 0 648202605 467042304 346 268435456000 134512640 134534564 4290699328 18446744073709551615 134529775 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29599/statm: 114024 346 95 6 0 112689 0
[pid=29600] ppid=29596 vsize=10120 CPUtime=1.48 cores=3
/proc/29600/stat : 29600 (march_hi) R 29596 29596 29570 0 -1 4202496 1275 0 0 0 148 0 0 0 20 0 1 0 648202605 10362880 810 268435456000 4194304 4331988 140734749646672 18446744073709551615 4299264 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29600/statm: 2530 810 174 34 0 972 0
[pid=29601] ppid=29596 vsize=548136 CPUtime=37.99 cores=4-31
/proc/29601/stat : 29601 (plingeling) S 29596 29596 29570 0 -1 4202496 17403 1244 0 0 3781 18 0 0 21 0 29 0 648202605 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/29601/statm: 137034 16591 158 40 0 135578 0
[pid=29601/tid=29608] ppid=29596 vsize=548136 CPUtime=1.36 cores=4-31
/proc/29601/task/29608/stat : 29608 (plingeling) R 29596 29596 29570 0 -1 4202560 488 1244 0 0 136 0 0 0 19 0 29 0 648202617 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4280645 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29601/tid=29609] ppid=29596 vsize=548136 CPUtime=1.35 cores=4-31
/proc/29601/task/29609/stat : 29609 (plingeling) R 29596 29596 29570 0 -1 4202560 276 1244 0 0 135 0 0 0 19 0 29 0 648202617 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4334564 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29601/tid=29610] ppid=29596 vsize=548136 CPUtime=1.35 cores=4-31
/proc/29601/task/29610/stat : 29610 (plingeling) R 29596 29596 29570 0 -1 4202560 540 1244 0 0 135 0 0 0 19 0 29 0 648202617 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29601/tid=29611] ppid=29596 vsize=548136 CPUtime=1.35 cores=4-31
/proc/29601/task/29611/stat : 29611 (plingeling) R 29596 29596 29570 0 -1 4202560 674 1244 0 0 135 0 0 0 25 0 29 0 648202617 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4281677 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29601/tid=29612] ppid=29596 vsize=548136 CPUtime=1.35 cores=4-31
/proc/29601/task/29612/stat : 29612 (plingeling) R 29596 29596 29570 0 -1 4202560 660 1244 0 0 134 1 0 0 19 0 29 0 648202617 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4279608 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29601/tid=29613] ppid=29596 vsize=548136 CPUtime=1.35 cores=4-31
/proc/29601/task/29613/stat : 29613 (plingeling) R 29596 29596 29570 0 -1 4202560 449 1244 0 0 135 0 0 0 19 0 29 0 648202617 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4332288 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29601/tid=29614] ppid=29596 vsize=548136 CPUtime=1.36 cores=4-31
/proc/29601/task/29614/stat : 29614 (plingeling) R 29596 29596 29570 0 -1 4202560 507 1244 0 0 136 0 0 0 19 0 29 0 648202617 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4233936 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29601/tid=29615] ppid=29596 vsize=548136 CPUtime=1.36 cores=4-31
/proc/29601/task/29615/stat : 29615 (plingeling) R 29596 29596 29570 0 -1 4202560 790 1244 0 0 135 1 0 0 25 0 29 0 648202617 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29601/tid=29616] ppid=29596 vsize=548136 CPUtime=1.35 cores=4-31
/proc/29601/task/29616/stat : 29616 (plingeling) R 29596 29596 29570 0 -1 4202560 500 1244 0 0 135 0 0 0 25 0 29 0 648202617 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4281775 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29601/tid=29617] ppid=29596 vsize=548136 CPUtime=1.36 cores=4-31
/proc/29601/task/29617/stat : 29617 (plingeling) R 29596 29596 29570 0 -1 4202560 245 1244 0 0 136 0 0 0 25 0 29 0 648202617 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4332026 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29601/tid=29618] ppid=29596 vsize=548136 CPUtime=1.35 cores=4-31
/proc/29601/task/29618/stat : 29618 (plingeling) R 29596 29596 29570 0 -1 4202560 299 1244 0 0 135 0 0 0 25 0 29 0 648202617 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4332239 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29601/tid=29619] ppid=29596 vsize=548136 CPUtime=1.33 cores=4-31
/proc/29601/task/29619/stat : 29619 (plingeling) R 29596 29596 29570 0 -1 4202560 487 1244 0 0 133 0 0 0 19 0 29 0 648202617 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29601/tid=29620] ppid=29596 vsize=548136 CPUtime=1.34 cores=4-31
/proc/29601/task/29620/stat : 29620 (plingeling) R 29596 29596 29570 0 -1 4202560 593 1244 0 0 134 0 0 0 19 0 29 0 648202617 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29601/tid=29621] ppid=29596 vsize=548136 CPUtime=1.35 cores=4-31
/proc/29601/task/29621/stat : 29621 (plingeling) R 29596 29596 29570 0 -1 4202560 545 1244 0 0 135 0 0 0 25 0 29 0 648202617 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4330752 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29601/tid=29622] ppid=29596 vsize=548136 CPUtime=1.35 cores=4-31
/proc/29601/task/29622/stat : 29622 (plingeling) R 29596 29596 29570 0 -1 4202560 231 1244 0 0 135 0 0 0 19 0 29 0 648202617 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331728 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29601/tid=29623] ppid=29596 vsize=548136 CPUtime=1.34 cores=4-31
/proc/29601/task/29623/stat : 29623 (plingeling) R 29596 29596 29570 0 -1 4202560 567 1244 0 0 134 0 0 0 25 0 29 0 648202618 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29601/tid=29624] ppid=29596 vsize=548136 CPUtime=1.34 cores=4-31
/proc/29601/task/29624/stat : 29624 (plingeling) R 29596 29596 29570 0 -1 4202560 266 1244 0 0 134 0 0 0 25 0 29 0 648202618 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4332003 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29601/tid=29625] ppid=29596 vsize=548136 CPUtime=1.33 cores=4-31
/proc/29601/task/29625/stat : 29625 (plingeling) R 29596 29596 29570 0 -1 4202560 670 1244 0 0 133 0 0 0 25 0 29 0 648202618 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29601/tid=29626] ppid=29596 vsize=548136 CPUtime=1.34 cores=4-31
/proc/29601/task/29626/stat : 29626 (plingeling) R 29596 29596 29570 0 -1 4202560 202 1244 0 0 134 0 0 0 19 0 29 0 648202618 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4280645 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29601/tid=29627] ppid=29596 vsize=548136 CPUtime=1.35 cores=4-31
/proc/29601/task/29627/stat : 29627 (plingeling) R 29596 29596 29570 0 -1 4202560 674 1244 0 0 134 1 0 0 25 0 29 0 648202618 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29601/tid=29628] ppid=29596 vsize=548136 CPUtime=1.33 cores=4-31
/proc/29601/task/29628/stat : 29628 (plingeling) R 29596 29596 29570 0 -1 4202560 638 1244 0 0 133 0 0 0 25 0 29 0 648202619 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4210562 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29601/tid=29629] ppid=29596 vsize=548136 CPUtime=1.33 cores=4-31
/proc/29601/task/29629/stat : 29629 (plingeling) R 29596 29596 29570 0 -1 4202560 762 1244 0 0 133 0 0 0 19 0 29 0 648202619 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29601/tid=29630] ppid=29596 vsize=548136 CPUtime=1.32 cores=4-31
/proc/29601/task/29630/stat : 29630 (plingeling) R 29596 29596 29570 0 -1 4202560 664 1244 0 0 132 0 0 0 19 0 29 0 648202619 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29601/tid=29631] ppid=29596 vsize=548136 CPUtime=1.33 cores=4-31
/proc/29601/task/29631/stat : 29631 (plingeling) R 29596 29596 29570 0 -1 4202560 425 1244 0 0 133 0 0 0 25 0 29 0 648202619 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29601/tid=29632] ppid=29596 vsize=548136 CPUtime=1.33 cores=4-31
/proc/29601/task/29632/stat : 29632 (plingeling) R 29596 29596 29570 0 -1 4202560 397 1244 0 0 133 0 0 0 25 0 29 0 648202619 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331422 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29601/tid=29633] ppid=29596 vsize=548136 CPUtime=1.33 cores=4-31
/proc/29601/task/29633/stat : 29633 (plingeling) R 29596 29596 29570 0 -1 4202560 474 1244 0 0 133 0 0 0 19 0 29 0 648202619 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4330856 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29601/tid=29634] ppid=29596 vsize=548136 CPUtime=1.33 cores=4-31
/proc/29601/task/29634/stat : 29634 (plingeling) R 29596 29596 29570 0 -1 4202560 462 1244 0 0 133 0 0 0 25 0 29 0 648202619 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29601/tid=29635] ppid=29596 vsize=548136 CPUtime=1.33 cores=4-31
/proc/29601/task/29635/stat : 29635 (plingeling) R 29596 29596 29570 0 -1 4202560 700 1244 0 0 133 0 0 0 25 0 29 0 648202619 561291264 16591 268435456000 4194304 4356188 140737227748032 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 43.91
Current children cumulated vsize (KiB) 2202636

[startup+3.10139 s]
/proc/loadavg: 27.31 31.07 31.74 33/447 29635
/proc/meminfo: memFree=255525412/264257624 swapFree=67111528/67111528
[pid=29596] ppid=29594 vsize=18324 CPUtime=0 cores=0-31
/proc/29596/stat : 29596 (ppfolio) S 29594 29596 29570 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 648202604 18763776 386 268435456000 4194304 4287625 140734710454112 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 12 0 0 0
/proc/29596/statm: 4581 386 337 23 0 91 0
[pid=29597] ppid=29596 vsize=1162636 CPUtime=3.08 cores=0
/proc/29597/stat : 29597 (cryptominisat) R 29596 29596 29570 0 -1 4202496 5006 0 0 0 307 1 0 0 25 0 1 0 648202605 1190539264 2879 268435456000 4194304 4587354 140733554469856 18446744073709551615 258650652545 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29597/statm: 290659 2879 336 96 0 287221 0
[pid=29598] ppid=29596 vsize=15040 CPUtime=3.08 cores=1
/proc/29598/stat : 29598 (clasp) R 29596 29596 29570 0 -1 4202496 1212 0 0 0 308 0 0 0 25 0 1 0 648202605 15400960 1096 268435456000 4194304 4785740 140734289376352 18446744073709551615 4278081 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29598/statm: 3760 1096 338 145 0 805 0
[pid=29599] ppid=29596 vsize=456096 CPUtime=3.08 cores=2
/proc/29599/stat : 29599 (TNM) R 29596 29596 29570 0 -1 4202496 448 0 0 0 308 0 0 0 25 0 1 0 648202605 467042304 346 268435456000 134512640 134534564 4290699328 18446744073709551615 134530360 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29599/statm: 114024 346 95 6 0 112689 0
[pid=29600] ppid=29596 vsize=10324 CPUtime=3.08 cores=3
/proc/29600/stat : 29600 (march_hi) R 29596 29596 29570 0 -1 4202496 1327 0 0 0 308 0 0 0 25 0 1 0 648202605 10571776 862 268435456000 4194304 4331988 140734749646672 18446744073709551615 4299462 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29600/statm: 2581 862 175 34 0 1023 0
[pid=29601] ppid=29596 vsize=559012 CPUtime=82.73 cores=4-31
/proc/29601/stat : 29601 (plingeling) S 29596 29596 29570 0 -1 4202496 24860 1244 0 0 8247 26 0 0 21 0 29 0 648202605 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/29601/statm: 139753 19325 158 40 0 138297 0
[pid=29601/tid=29608] ppid=29596 vsize=559012 CPUtime=2.96 cores=4-31
/proc/29601/task/29608/stat : 29608 (plingeling) R 29596 29596 29570 0 -1 4202560 810 1244 0 0 295 1 0 0 25 0 29 0 648202617 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4279697 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29601/tid=29609] ppid=29596 vsize=559012 CPUtime=2.95 cores=4-31
/proc/29601/task/29609/stat : 29609 (plingeling) R 29596 29596 29570 0 -1 4202560 694 1244 0 0 295 0 0 0 24 0 29 0 648202617 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331960 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29601/tid=29610] ppid=29596 vsize=559012 CPUtime=2.96 cores=4-31
/proc/29601/task/29610/stat : 29610 (plingeling) R 29596 29596 29570 0 -1 4202560 734 1244 0 0 295 1 0 0 24 0 29 0 648202617 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331173 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29601/tid=29611] ppid=29596 vsize=559012 CPUtime=2.95 cores=4-31
/proc/29601/task/29611/stat : 29611 (plingeling) R 29596 29596 29570 0 -1 4202560 947 1244 0 0 295 0 0 0 25 0 29 0 648202617 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4281657 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29601/tid=29612] ppid=29596 vsize=559012 CPUtime=2.94 cores=4-31
/proc/29601/task/29612/stat : 29612 (plingeling) R 29596 29596 29570 0 -1 4202560 997 1244 0 0 293 1 0 0 24 0 29 0 648202617 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29601/tid=29613] ppid=29596 vsize=559012 CPUtime=2.95 cores=4-31
/proc/29601/task/29613/stat : 29613 (plingeling) R 29596 29596 29570 0 -1 4202560 931 1244 0 0 294 1 0 0 22 0 29 0 648202617 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29601/tid=29614] ppid=29596 vsize=559012 CPUtime=2.96 cores=4-31
/proc/29601/task/29614/stat : 29614 (plingeling) R 29596 29596 29570 0 -1 4202560 669 1244 0 0 296 0 0 0 23 0 29 0 648202617 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4234377 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29601/tid=29615] ppid=29596 vsize=559012 CPUtime=2.95 cores=4-31
/proc/29601/task/29615/stat : 29615 (plingeling) R 29596 29596 29570 0 -1 4202560 1014 1244 0 0 294 1 0 0 25 0 29 0 648202617 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331208 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29601/tid=29616] ppid=29596 vsize=559012 CPUtime=2.95 cores=4-31
/proc/29601/task/29616/stat : 29616 (plingeling) R 29596 29596 29570 0 -1 4202560 694 1244 0 0 295 0 0 0 25 0 29 0 648202617 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29601/tid=29617] ppid=29596 vsize=559012 CPUtime=2.95 cores=4-31
/proc/29601/task/29617/stat : 29617 (plingeling) R 29596 29596 29570 0 -1 4202560 730 1244 0 0 295 0 0 0 25 0 29 0 648202617 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4332007 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29601/tid=29618] ppid=29596 vsize=559012 CPUtime=2.95 cores=4-31
/proc/29601/task/29618/stat : 29618 (plingeling) R 29596 29596 29570 0 -1 4202560 801 1244 0 0 295 0 0 0 25 0 29 0 648202617 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4332272 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29601/tid=29619] ppid=29596 vsize=559012 CPUtime=2.9 cores=4-31
/proc/29601/task/29619/stat : 29619 (plingeling) R 29596 29596 29570 0 -1 4202560 713 1244 0 0 289 1 0 0 22 0 29 0 648202617 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29601/tid=29620] ppid=29596 vsize=559012 CPUtime=2.94 cores=4-31
/proc/29601/task/29620/stat : 29620 (plingeling) R 29596 29596 29570 0 -1 4202560 755 1244 0 0 294 0 0 0 23 0 29 0 648202617 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331631 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29601/tid=29621] ppid=29596 vsize=559012 CPUtime=2.95 cores=4-31
/proc/29601/task/29621/stat : 29621 (plingeling) R 29596 29596 29570 0 -1 4202560 610 1244 0 0 295 0 0 0 25 0 29 0 648202617 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4211022 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29601/tid=29622] ppid=29596 vsize=559012 CPUtime=2.94 cores=4-31
/proc/29601/task/29622/stat : 29622 (plingeling) R 29596 29596 29570 0 -1 4202560 605 1244 0 0 294 0 0 0 25 0 29 0 648202617 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4279401 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29601/tid=29623] ppid=29596 vsize=559012 CPUtime=2.94 cores=4-31
/proc/29601/task/29623/stat : 29623 (plingeling) R 29596 29596 29570 0 -1 4202560 857 1244 0 0 294 0 0 0 25 0 29 0 648202618 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29601/tid=29624] ppid=29596 vsize=559012 CPUtime=2.94 cores=4-31
/proc/29601/task/29624/stat : 29624 (plingeling) R 29596 29596 29570 0 -1 4202560 656 1244 0 0 294 0 0 0 25 0 29 0 648202618 572428288 19325 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331776 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29601/tid=29625] ppid=29596 vsize=559012 CPUtime=2.93 cores=4-31

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

/proc/29597/statm: 330122 43319 336 96 0 326684 0
[pid=29598] ppid=29596 vsize=53804 CPUtime=5004.76 cores=1
/proc/29598/stat : 29598 (clasp) R 29596 29596 29570 0 -1 4202496 10058 0 0 0 500471 5 0 0 25 0 1 0 648202605 55095296 9942 268435456000 4194304 4785740 140734289376352 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29598/statm: 13451 9942 339 145 0 10496 0
[pid=29599] ppid=29596 vsize=456100 CPUtime=5004.73 cores=2
/proc/29599/stat : 29599 (TNM) R 29596 29596 29570 0 -1 4202496 457 0 0 0 500473 0 0 0 25 0 1 0 648202605 467046400 355 268435456000 134512640 134534564 4290699328 18446744073709551615 134528902 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29599/statm: 114025 355 103 6 0 112690 0
[pid=29600] ppid=29596 vsize=346080 CPUtime=5004.74 cores=3
/proc/29600/stat : 29600 (march_hi) R 29596 29596 29570 0 -1 4202496 79062 0 0 0 500375 99 0 0 25 0 1 0 648202605 354385920 78597 268435456000 4194304 4331988 140734749646672 18446744073709551615 4265310 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29600/statm: 86520 78597 175 34 0 84962 0
[pid=29601] ppid=29596 vsize=1478580 CPUtime=139983 cores=4-31
/proc/29601/stat : 29601 (plingeling) S 29596 29596 29570 0 -1 4202496 3106050 1244 0 0 13995909 2353 0 0 21 0 29 0 648202605 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/29601/statm: 369645 248913 158 40 0 368189 0
[pid=29601/tid=29608] ppid=29596 vsize=1478580 CPUtime=5004.61 cores=4-31
/proc/29601/task/29608/stat : 29608 (plingeling) R 29596 29596 29570 0 -1 4202560 118033 1244 0 0 500376 85 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29601/tid=29609] ppid=29596 vsize=1478580 CPUtime=5004.42 cores=4-31
/proc/29601/task/29609/stat : 29609 (plingeling) R 29596 29596 29570 0 -1 4202560 98558 1244 0 0 500372 70 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29601/tid=29610] ppid=29596 vsize=1478580 CPUtime=5004.29 cores=4-31
/proc/29601/task/29610/stat : 29610 (plingeling) R 29596 29596 29570 0 -1 4202560 92356 1244 0 0 500360 69 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29601/tid=29611] ppid=29596 vsize=1478580 CPUtime=5004.53 cores=4-31
/proc/29601/task/29611/stat : 29611 (plingeling) R 29596 29596 29570 0 -1 4202560 123673 1244 0 0 500362 91 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29601/tid=29612] ppid=29596 vsize=1478580 CPUtime=5004.62 cores=4-31
/proc/29601/task/29612/stat : 29612 (plingeling) R 29596 29596 29570 0 -1 4202560 106764 1244 0 0 500383 79 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4332133 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29601/tid=29613] ppid=29596 vsize=1478580 CPUtime=4864.18 cores=4-31
/proc/29601/task/29613/stat : 29613 (plingeling) R 29596 29596 29570 0 -1 4202560 106793 1244 0 0 486337 81 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29601/tid=29614] ppid=29596 vsize=1478580 CPUtime=5004.58 cores=4-31
/proc/29601/task/29614/stat : 29614 (plingeling) R 29596 29596 29570 0 -1 4202560 114373 1244 0 0 500379 79 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29601/tid=29615] ppid=29596 vsize=1478580 CPUtime=5004.64 cores=4-31
/proc/29601/task/29615/stat : 29615 (plingeling) R 29596 29596 29570 0 -1 4202560 83675 1244 0 0 500337 127 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29601/tid=29616] ppid=29596 vsize=1478580 CPUtime=5004.41 cores=4-31
/proc/29601/task/29616/stat : 29616 (plingeling) R 29596 29596 29570 0 -1 4202560 113150 1244 0 0 500365 76 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29601/tid=29617] ppid=29596 vsize=1478580 CPUtime=5004.59 cores=4-31
/proc/29601/task/29617/stat : 29617 (plingeling) R 29596 29596 29570 0 -1 4202560 120640 1244 0 0 500368 91 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331971 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29601/tid=29618] ppid=29596 vsize=1478580 CPUtime=5002.53 cores=4-31
/proc/29601/task/29618/stat : 29618 (plingeling) R 29596 29596 29570 0 -1 4202560 123784 1244 0 0 500121 132 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29601/tid=29619] ppid=29596 vsize=1478580 CPUtime=5003.81 cores=4-31
/proc/29601/task/29619/stat : 29619 (plingeling) R 29596 29596 29570 0 -1 4202560 106959 1244 0 0 500309 72 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29601/tid=29620] ppid=29596 vsize=1478580 CPUtime=5004.61 cores=4-31
/proc/29601/task/29620/stat : 29620 (plingeling) R 29596 29596 29570 0 -1 4202560 110908 1244 0 0 500398 63 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4281914 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29601/tid=29621] ppid=29596 vsize=1478580 CPUtime=5003.98 cores=4-31
/proc/29601/task/29621/stat : 29621 (plingeling) R 29596 29596 29570 0 -1 4202560 106026 1244 0 0 500327 71 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29601/tid=29622] ppid=29596 vsize=1478580 CPUtime=5004.46 cores=4-31
/proc/29601/task/29622/stat : 29622 (plingeling) R 29596 29596 29570 0 -1 4202560 110857 1244 0 0 500367 79 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29601/tid=29623] ppid=29596 vsize=1478580 CPUtime=5004.62 cores=4-31
/proc/29601/task/29623/stat : 29623 (plingeling) R 29596 29596 29570 0 -1 4202560 91296 1244 0 0 500358 104 0 0 25 0 29 0 648202618 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29601/tid=29624] ppid=29596 vsize=1478580 CPUtime=5004.54 cores=4-31
/proc/29601/task/29624/stat : 29624 (plingeling) R 29596 29596 29570 0 -1 4202560 110551 1244 0 0 500376 78 0 0 25 0 29 0 648202618 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29601/tid=29625] ppid=29596 vsize=1478580 CPUtime=5004.6 cores=4-31
/proc/29601/task/29625/stat : 29625 (plingeling) R 29596 29596 29570 0 -1 4202560 120644 1244 0 0 500369 91 0 0 25 0 29 0 648202618 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331389 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29601/tid=29626] ppid=29596 vsize=1478580 CPUtime=5004.62 cores=4-31
/proc/29601/task/29626/stat : 29626 (plingeling) R 29596 29596 29570 0 -1 4202560 124342 1244 0 0 500379 83 0 0 25 0 29 0 648202618 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29601/tid=29627] ppid=29596 vsize=1478580 CPUtime=5004.57 cores=4-31
/proc/29601/task/29627/stat : 29627 (plingeling) R 29596 29596 29570 0 -1 4202560 105017 1244 0 0 500392 65 0 0 25 0 29 0 648202618 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29601/tid=29628] ppid=29596 vsize=1478580 CPUtime=5003.09 cores=4-31
/proc/29601/task/29628/stat : 29628 (plingeling) R 29596 29596 29570 0 -1 4202560 123031 1244 0 0 500232 77 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29601/tid=29629] ppid=29596 vsize=1478580 CPUtime=5004.55 cores=4-31
/proc/29601/task/29629/stat : 29629 (plingeling) R 29596 29596 29570 0 -1 4202560 118016 1244 0 0 500374 81 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29601/tid=29630] ppid=29596 vsize=1478580 CPUtime=5004.57 cores=4-31
/proc/29601/task/29630/stat : 29630 (plingeling) R 29596 29596 29570 0 -1 4202560 122879 1244 0 0 500375 82 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4332007 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29601/tid=29631] ppid=29596 vsize=1478580 CPUtime=5004.6 cores=4-31
/proc/29601/task/29631/stat : 29631 (plingeling) R 29596 29596 29570 0 -1 4202560 91188 1244 0 0 500343 117 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29601/tid=29632] ppid=29596 vsize=1478580 CPUtime=5004.6 cores=4-31
/proc/29601/task/29632/stat : 29632 (plingeling) R 29596 29596 29570 0 -1 4202560 102055 1244 0 0 500402 58 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29601/tid=29633] ppid=29596 vsize=1478580 CPUtime=5004.46 cores=4-31
/proc/29601/task/29633/stat : 29633 (plingeling) R 29596 29596 29570 0 -1 4202560 113524 1244 0 0 500380 66 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29601/tid=29634] ppid=29596 vsize=1478580 CPUtime=5004.55 cores=4-31
/proc/29601/task/29634/stat : 29634 (plingeling) R 29596 29596 29570 0 -1 4202560 116666 1244 0 0 500388 67 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4279435 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29601/tid=29635] ppid=29596 vsize=1478580 CPUtime=5004.62 cores=4-31
/proc/29601/task/29635/stat : 29635 (plingeling) R 29596 29596 29570 0 -1 4202560 127074 1244 0 0 500358 104 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 3673376

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

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

[startup+5005.7 s]
/proc/loadavg: 32.02 32.04 32.05 33/447 29790
/proc/meminfo: memFree=254089180/264257624 swapFree=67111528/67111528
[pid=29596] ppid=29594 vsize=18324 CPUtime=0 cores=0-31
/proc/29596/stat : 29596 (ppfolio) S 29594 29596 29570 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 648202604 18763776 386 268435456000 4194304 4287625 140734710454112 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 12 0 0 0
/proc/29596/statm: 4581 386 337 23 0 91 0
[pid=29597] ppid=29596 vsize=1320488 CPUtime=5004.76 cores=0
/proc/29597/stat : 29597 (cryptominisat) R 29596 29596 29570 0 -1 4202496 341030 0 0 0 500245 231 0 0 25 0 1 0 648202605 1352179712 43319 268435456000 4194304 4587354 140733554469856 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29597/statm: 330122 43319 336 96 0 326684 0
[pid=29598] ppid=29596 vsize=53804 CPUtime=5004.76 cores=1
/proc/29598/stat : 29598 (clasp) R 29596 29596 29570 0 -1 4202496 10058 0 0 0 500471 5 0 0 25 0 1 0 648202605 55095296 9942 268435456000 4194304 4785740 140734289376352 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29598/statm: 13451 9942 339 145 0 10496 0
[pid=29599] ppid=29596 vsize=456100 CPUtime=5004.73 cores=2
/proc/29599/stat : 29599 (TNM) R 29596 29596 29570 0 -1 4202496 457 0 0 0 500473 0 0 0 25 0 1 0 648202605 467046400 355 268435456000 134512640 134534564 4290699328 18446744073709551615 134528902 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29599/statm: 114025 355 103 6 0 112690 0
[pid=29600] ppid=29596 vsize=346080 CPUtime=5004.74 cores=3
/proc/29600/stat : 29600 (march_hi) R 29596 29596 29570 0 -1 4202496 79062 0 0 0 500375 99 0 0 25 0 1 0 648202605 354385920 78597 268435456000 4194304 4331988 140734749646672 18446744073709551615 4265310 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29600/statm: 86520 78597 175 34 0 84962 0
[pid=29601] ppid=29596 vsize=1478580 CPUtime=139983 cores=4-31
/proc/29601/stat : 29601 (plingeling) S 29596 29596 29570 0 -1 4202496 3106050 1244 0 0 13995909 2353 0 0 21 0 29 0 648202605 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/29601/statm: 369645 248913 158 40 0 368189 0
[pid=29601/tid=29608] ppid=29596 vsize=1478580 CPUtime=5004.61 cores=4-31
/proc/29601/task/29608/stat : 29608 (plingeling) R 29596 29596 29570 0 -1 4202560 118033 1244 0 0 500376 85 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29601/tid=29609] ppid=29596 vsize=1478580 CPUtime=5004.42 cores=4-31
/proc/29601/task/29609/stat : 29609 (plingeling) R 29596 29596 29570 0 -1 4202560 98558 1244 0 0 500372 70 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29601/tid=29610] ppid=29596 vsize=1478580 CPUtime=5004.29 cores=4-31
/proc/29601/task/29610/stat : 29610 (plingeling) R 29596 29596 29570 0 -1 4202560 92356 1244 0 0 500360 69 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29601/tid=29611] ppid=29596 vsize=1478580 CPUtime=5004.53 cores=4-31
/proc/29601/task/29611/stat : 29611 (plingeling) R 29596 29596 29570 0 -1 4202560 123673 1244 0 0 500362 91 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29601/tid=29612] ppid=29596 vsize=1478580 CPUtime=5004.62 cores=4-31
/proc/29601/task/29612/stat : 29612 (plingeling) R 29596 29596 29570 0 -1 4202560 106764 1244 0 0 500383 79 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4332133 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29601/tid=29613] ppid=29596 vsize=1478580 CPUtime=4864.18 cores=4-31
/proc/29601/task/29613/stat : 29613 (plingeling) R 29596 29596 29570 0 -1 4202560 106793 1244 0 0 486337 81 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29601/tid=29614] ppid=29596 vsize=1478580 CPUtime=5004.58 cores=4-31
/proc/29601/task/29614/stat : 29614 (plingeling) R 29596 29596 29570 0 -1 4202560 114373 1244 0 0 500379 79 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29601/tid=29615] ppid=29596 vsize=1478580 CPUtime=5004.64 cores=4-31
/proc/29601/task/29615/stat : 29615 (plingeling) R 29596 29596 29570 0 -1 4202560 83675 1244 0 0 500337 127 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29601/tid=29616] ppid=29596 vsize=1478580 CPUtime=5004.41 cores=4-31
/proc/29601/task/29616/stat : 29616 (plingeling) R 29596 29596 29570 0 -1 4202560 113150 1244 0 0 500365 76 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29601/tid=29617] ppid=29596 vsize=1478580 CPUtime=5004.59 cores=4-31
/proc/29601/task/29617/stat : 29617 (plingeling) R 29596 29596 29570 0 -1 4202560 120640 1244 0 0 500368 91 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331971 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29601/tid=29618] ppid=29596 vsize=1478580 CPUtime=5002.53 cores=4-31
/proc/29601/task/29618/stat : 29618 (plingeling) R 29596 29596 29570 0 -1 4202560 123784 1244 0 0 500121 132 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29601/tid=29619] ppid=29596 vsize=1478580 CPUtime=5003.81 cores=4-31
/proc/29601/task/29619/stat : 29619 (plingeling) R 29596 29596 29570 0 -1 4202560 106959 1244 0 0 500309 72 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29601/tid=29620] ppid=29596 vsize=1478580 CPUtime=5004.61 cores=4-31
/proc/29601/task/29620/stat : 29620 (plingeling) R 29596 29596 29570 0 -1 4202560 110908 1244 0 0 500398 63 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4281914 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29601/tid=29621] ppid=29596 vsize=1478580 CPUtime=5003.98 cores=4-31
/proc/29601/task/29621/stat : 29621 (plingeling) R 29596 29596 29570 0 -1 4202560 106026 1244 0 0 500327 71 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29601/tid=29622] ppid=29596 vsize=1478580 CPUtime=5004.46 cores=4-31
/proc/29601/task/29622/stat : 29622 (plingeling) R 29596 29596 29570 0 -1 4202560 110857 1244 0 0 500367 79 0 0 25 0 29 0 648202617 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29601/tid=29623] ppid=29596 vsize=1478580 CPUtime=5004.62 cores=4-31
/proc/29601/task/29623/stat : 29623 (plingeling) R 29596 29596 29570 0 -1 4202560 91296 1244 0 0 500358 104 0 0 25 0 29 0 648202618 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29601/tid=29624] ppid=29596 vsize=1478580 CPUtime=5004.54 cores=4-31
/proc/29601/task/29624/stat : 29624 (plingeling) R 29596 29596 29570 0 -1 4202560 110551 1244 0 0 500376 78 0 0 25 0 29 0 648202618 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29601/tid=29625] ppid=29596 vsize=1478580 CPUtime=5004.6 cores=4-31
/proc/29601/task/29625/stat : 29625 (plingeling) R 29596 29596 29570 0 -1 4202560 120644 1244 0 0 500369 91 0 0 25 0 29 0 648202618 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331389 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29601/tid=29626] ppid=29596 vsize=1478580 CPUtime=5004.62 cores=4-31
/proc/29601/task/29626/stat : 29626 (plingeling) R 29596 29596 29570 0 -1 4202560 124342 1244 0 0 500379 83 0 0 25 0 29 0 648202618 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29601/tid=29627] ppid=29596 vsize=1478580 CPUtime=5004.57 cores=4-31
/proc/29601/task/29627/stat : 29627 (plingeling) R 29596 29596 29570 0 -1 4202560 105017 1244 0 0 500392 65 0 0 25 0 29 0 648202618 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29601/tid=29628] ppid=29596 vsize=1478580 CPUtime=5003.09 cores=4-31
/proc/29601/task/29628/stat : 29628 (plingeling) R 29596 29596 29570 0 -1 4202560 123031 1244 0 0 500232 77 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29601/tid=29629] ppid=29596 vsize=1478580 CPUtime=5004.55 cores=4-31
/proc/29601/task/29629/stat : 29629 (plingeling) R 29596 29596 29570 0 -1 4202560 118016 1244 0 0 500374 81 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29601/tid=29630] ppid=29596 vsize=1478580 CPUtime=5004.57 cores=4-31
/proc/29601/task/29630/stat : 29630 (plingeling) R 29596 29596 29570 0 -1 4202560 122879 1244 0 0 500375 82 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4332007 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29601/tid=29631] ppid=29596 vsize=1478580 CPUtime=5004.6 cores=4-31
/proc/29601/task/29631/stat : 29631 (plingeling) R 29596 29596 29570 0 -1 4202560 91188 1244 0 0 500343 117 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29601/tid=29632] ppid=29596 vsize=1478580 CPUtime=5004.6 cores=4-31
/proc/29601/task/29632/stat : 29632 (plingeling) R 29596 29596 29570 0 -1 4202560 102055 1244 0 0 500402 58 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29601/tid=29633] ppid=29596 vsize=1478580 CPUtime=5004.46 cores=4-31
/proc/29601/task/29633/stat : 29633 (plingeling) R 29596 29596 29570 0 -1 4202560 113524 1244 0 0 500380 66 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29601/tid=29634] ppid=29596 vsize=1478580 CPUtime=5004.55 cores=4-31
/proc/29601/task/29634/stat : 29634 (plingeling) R 29596 29596 29570 0 -1 4202560 116666 1244 0 0 500388 67 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4279435 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29601/tid=29635] ppid=29596 vsize=1478580 CPUtime=5004.62 cores=4-31
/proc/29601/task/29635/stat : 29635 (plingeling) R 29596 29596 29570 0 -1 4202560 127074 1244 0 0 500358 104 0 0 25 0 29 0 648202619 1514065920 248913 268435456000 4194304 4356188 140737227748032 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 3673376

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 5005.73
CPU time (s): 160002
CPU user time (s): 159975
CPU system time (s): 26.88
CPU usage (%): 3196.37
Max. virtual memory (cumulated for all children) (KiB): 5975428

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

runsolver used 27.1859 second user time and 113.993 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-14 11:59:22
IDJOB=3347577
IDBENCH=83418
IDSOLVER=1808
FILE ID=node200/3347577-1305367162
RUNJOBID= node200-1305367162-29584
PBS_JOBID= 13282115
Free space on /tmp= 62052 MiB

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

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

MD5SUM BENCH= 1024a3346322fdba0a20b51f99eae4c0
RANDOM SEED=2105186309

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:      255608272 kB
Buffers:        435576 kB
Cached:        7808992 kB
SwapCached:          0 kB
Active:        7380564 kB
Inactive:       932664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255608272 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10268 kB
Writeback:           0 kB
AnonPages:       69628 kB
Mapped:          14876 kB
Slab:           250000 kB
PageTables:       4044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   191540 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62040 MiB
End job on node200 at 2011-05-14 13:22:50