Trace number 3472415

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
claspmt 2.0-R4095-patched (fixed)UNSAT 235.625 9.86998

General information on the benchmark

Nameapplication/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf
MD5SUM7599aafec7bebba20ceab50260cd7197
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark235.625
Satisfiable
(Un)Satisfiability was proved
Number of variables70167
Number of clauses209513
Sum of the clauses size488861
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2139674
Number of clauses of size 369837
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...624716/instance-3472415-1307624716.cnf
1.02/1.11	c Solving...
235.58/9.84	s UNSATISFIABLE
235.58/9.84	
235.58/9.84	c Models        : 0     
235.58/9.84	c Time          : 9.078s (Solving: 7.97s 1st Model: 0.00s Unsat: 7.97s)
235.58/9.84	c CPU Time      : 234.830s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3472415-1307624716/watcher-3472415-1307624716 -o /tmp/evaluation-result-3472415-1307624716/solver-3472415-1307624716 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472415-1307624716.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): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 27.31 31.12 31.77 1/413 28844
/proc/meminfo: memFree=262353828/264257624 swapFree=67111528/67111528
[pid=28844] ppid=28842 vsize=29804 CPUtime=0.02 cores=0-31
/proc/28844/stat : 28844 (claspmt) R 28842 28844 28760 0 -1 4202496 2243 0 0 0 2 0 0 0 21 0 1 0 27858538 30519296 2173 270582939648 4194304 4964800 140736761421408 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/28844/statm: 7451 2177 373 189 0 2325 0

[startup+0.046934 s]
/proc/loadavg: 27.31 31.12 31.77 1/413 28844
/proc/meminfo: memFree=262353828/264257624 swapFree=67111528/67111528
[pid=28844] ppid=28842 vsize=33924 CPUtime=0.03 cores=0-31
/proc/28844/stat : 28844 (claspmt) R 28842 28844 28760 0 -1 4202496 3746 0 0 0 3 0 0 0 21 0 1 0 27858538 34738176 3359 270582939648 4194304 4964800 140736761421408 18446744073709551615 4679106 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/28844/statm: 8481 3364 374 189 0 3355 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 33924

[startup+0.100937 s]
/proc/loadavg: 27.31 31.12 31.77 1/413 28844
/proc/meminfo: memFree=262353828/264257624 swapFree=67111528/67111528
[pid=28844] ppid=28842 vsize=38116 CPUtime=0.09 cores=0-31
/proc/28844/stat : 28844 (claspmt) R 28842 28844 28760 0 -1 4202496 5545 0 0 0 8 1 0 0 21 0 1 0 27858538 39030784 4635 270582939648 4194304 4964800 140736761421408 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/28844/statm: 9529 4636 383 189 0 4403 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38116

[startup+0.300993 s]
/proc/loadavg: 27.31 31.12 31.77 1/413 28844
/proc/meminfo: memFree=262353828/264257624 swapFree=67111528/67111528
[pid=28844] ppid=28842 vsize=53936 CPUtime=0.29 cores=0-31
/proc/28844/stat : 28844 (claspmt) R 28842 28844 28760 0 -1 4202496 10866 0 0 0 27 2 0 0 22 0 1 0 27858538 55230464 8413 270582939648 4194304 4964800 140736761421408 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/28844/statm: 13484 8414 396 189 0 8358 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53936

[startup+0.701008 s]
/proc/loadavg: 27.31 31.12 31.77 1/413 28844
/proc/meminfo: memFree=262353828/264257624 swapFree=67111528/67111528
[pid=28844] ppid=28842 vsize=61148 CPUtime=0.69 cores=0-31
/proc/28844/stat : 28844 (claspmt) R 28842 28844 28760 0 -1 4202496 12540 0 0 0 66 3 0 0 23 0 1 0 27858538 62615552 10087 270582939648 4194304 4964800 140736761421408 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/28844/statm: 15287 10087 401 189 0 10161 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61148

[startup+1.50092 s]
/proc/loadavg: 27.31 31.12 31.77 2/414 28845
/proc/meminfo: memFree=262312260/264257624 swapFree=67111528/67111528
[pid=28844] ppid=28842 vsize=1684896 CPUtime=7.96 cores=0-31
/proc/28844/stat : 28844 (claspmt) S 28842 28844 28760 0 -1 4202496 74739 0 0 0 153 643 0 0 18 0 32 0 27858538 1725333504 54368 270582939648 4194304 4964800 140736761421408 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/28844/statm: 421224 54368 435 189 0 415573 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 1684896

[startup+3.10194 s]
/proc/loadavg: 27.31 31.12 31.77 33/445 28876
/proc/meminfo: memFree=262008708/264257624 swapFree=67111528/67111528
[pid=28844] ppid=28842 vsize=1888260 CPUtime=43.96 cores=0-31
/proc/28844/stat : 28844 (claspmt) R 28842 28844 28760 0 -1 4202496 111245 0 0 0 3637 759 0 0 19 0 32 0 27858538 1933578240 90491 270582939648 4194304 4964800 140736761421408 18446744073709551615 4370288 0 0 4096 18946 18446744073709551615 0 0 17 30 0 0 0
/proc/28844/statm: 472065 90493 461 189 0 466414 0
[pid=28844/tid=28846] ppid=28842 vsize=1888260 CPUtime=1.32 cores=0-31
/proc/28844/task/28846/stat : 28846 (claspmt) R 28842 28844 28760 0 -1 4202560 2571 0 0 0 107 25 0 0 17 0 32 0 27858649 1933578240 90493 270582939648 4194304 4964800 140736761421408 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28844/tid=28847] ppid=28842 vsize=1888260 CPUtime=1.35 cores=0-31
/proc/28844/task/28847/stat : 28847 (claspmt) R 28842 28844 28760 0 -1 4202560 3124 0 0 0 109 26 0 0 17 0 32 0 27858649 1933578240 90493 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669471 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28844/tid=28848] ppid=28842 vsize=1888260 CPUtime=1.3 cores=0-31
/proc/28844/task/28848/stat : 28848 (claspmt) R 28842 28844 28760 0 -1 4202560 3455 0 0 0 104 26 0 0 17 0 32 0 27858649 1933578240 90493 270582939648 4194304 4964800 140736761421408 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=28844/tid=28849] ppid=28842 vsize=1888260 CPUtime=1.32 cores=0-31
/proc/28844/task/28849/stat : 28849 (claspmt) R 28842 28844 28760 0 -1 4202560 2786 0 0 0 109 23 0 0 17 0 32 0 27858649 1933578240 90494 270582939648 4194304 4964800 140736761421408 18446744073709551615 4370352 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=28844/tid=28850] ppid=28842 vsize=1888260 CPUtime=1.5 cores=0-31
/proc/28844/task/28850/stat : 28850 (claspmt) R 28842 28844 28760 0 -1 4202560 2949 0 0 0 124 26 0 0 19 0 32 0 27858649 1933578240 90495 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670392 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28844/tid=28851] ppid=28842 vsize=1888260 CPUtime=1.34 cores=0-31
/proc/28844/task/28851/stat : 28851 (claspmt) R 28842 28844 28760 0 -1 4202560 3697 0 0 0 109 25 0 0 17 0 32 0 27858649 1933578240 90495 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28844/tid=28852] ppid=28842 vsize=1888260 CPUtime=1.32 cores=0-31
/proc/28844/task/28852/stat : 28852 (claspmt) R 28842 28844 28760 0 -1 4202560 3238 0 0 0 108 24 0 0 17 0 32 0 27858649 1933578240 90495 270582939648 4194304 4964800 140736761421408 18446744073709551615 4342206 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28844/tid=28853] ppid=28842 vsize=1888260 CPUtime=1.32 cores=0-31
/proc/28844/task/28853/stat : 28853 (claspmt) R 28842 28844 28760 0 -1 4202560 2838 0 0 0 110 22 0 0 17 0 32 0 27858649 1933578240 90495 270582939648 4194304 4964800 140736761421408 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28844/tid=28854] ppid=28842 vsize=1888260 CPUtime=1.3 cores=0-31
/proc/28844/task/28854/stat : 28854 (claspmt) R 28842 28844 28760 0 -1 4202560 2814 0 0 0 108 22 0 0 17 0 32 0 27858649 1933578240 90495 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=28844/tid=28855] ppid=28842 vsize=1888260 CPUtime=1.32 cores=0-31
/proc/28844/task/28855/stat : 28855 (claspmt) R 28842 28844 28760 0 -1 4202560 3520 0 0 0 108 24 0 0 17 0 32 0 27858649 1933578240 90495 270582939648 4194304 4964800 140736761421408 18446744073709551615 4362958 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=28844/tid=28856] ppid=28842 vsize=1888260 CPUtime=1.33 cores=0-31
/proc/28844/task/28856/stat : 28856 (claspmt) R 28842 28844 28760 0 -1 4202560 3616 0 0 0 108 25 0 0 17 0 32 0 27858649 1933578240 90496 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670366 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=28844/tid=28857] ppid=28842 vsize=1888260 CPUtime=1.31 cores=0-31
/proc/28844/task/28857/stat : 28857 (claspmt) R 28842 28844 28760 0 -1 4202560 2856 0 0 0 107 24 0 0 17 0 32 0 27858649 1933578240 90497 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=28844/tid=28858] ppid=28842 vsize=1888260 CPUtime=1.48 cores=0-31
/proc/28844/task/28858/stat : 28858 (claspmt) R 28842 28844 28760 0 -1 4202560 3080 0 0 0 124 24 0 0 18 0 32 0 27858650 1933578240 90497 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670077 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=28844/tid=28859] ppid=28842 vsize=1888260 CPUtime=1.31 cores=0-31
/proc/28844/task/28859/stat : 28859 (claspmt) R 28842 28844 28760 0 -1 4202560 3607 0 0 0 108 23 0 0 17 0 32 0 27858650 1933578240 90497 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=28844/tid=28860] ppid=28842 vsize=1888260 CPUtime=1.33 cores=0-31
/proc/28844/task/28860/stat : 28860 (claspmt) R 28842 28844 28760 0 -1 4202560 2883 0 0 0 108 25 0 0 17 0 32 0 27858650 1933578240 90497 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28844/tid=28861] ppid=28842 vsize=1888260 CPUtime=1.3 cores=0-31
/proc/28844/task/28861/stat : 28861 (claspmt) R 28842 28844 28760 0 -1 4202560 2728 0 0 0 107 23 0 0 17 0 32 0 27858650 1933578240 90497 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=28844/tid=28862] ppid=28842 vsize=1888260 CPUtime=1.3 cores=0-31
/proc/28844/task/28862/stat : 28862 (claspmt) R 28842 28844 28760 0 -1 4202560 2814 0 0 0 107 23 0 0 17 0 32 0 27858650 1933578240 90497 270582939648 4194304 4964800 140736761421408 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=28844/tid=28863] ppid=28842 vsize=1888260 CPUtime=1.35 cores=0-31
/proc/28844/task/28863/stat : 28863 (claspmt) R 28842 28844 28760 0 -1 4202560 3705 0 0 0 110 25 0 0 17 0 32 0 27858650 1933578240 90497 270582939648 4194304 4964800 140736761421408 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=28844/tid=28864] ppid=28842 vsize=1888260 CPUtime=1.32 cores=0-31
/proc/28844/task/28864/stat : 28864 (claspmt) R 28842 28844 28760 0 -1 4202560 3636 0 0 0 107 25 0 0 17 0 32 0 27858650 1933578240 90497 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=28844/tid=28865] ppid=28842 vsize=1888260 CPUtime=1.3 cores=0-31
/proc/28844/task/28865/stat : 28865 (claspmt) R 28842 28844 28760 0 -1 4202560 2803 0 0 0 108 22 0 0 17 0 32 0 27858650 1933578240 90497 270582939648 4194304 4964800 140736761421408 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=28844/tid=28866] ppid=28842 vsize=1888260 CPUtime=1.5 cores=0-31
/proc/28844/task/28866/stat : 28866 (claspmt) R 28842 28844 28760 0 -1 4202560 3031 0 0 0 126 24 0 0 18 0 32 0 27858650 1933578240 90497 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=28844/tid=28867] ppid=28842 vsize=1888260 CPUtime=1.32 cores=0-31
/proc/28844/task/28867/stat : 28867 (claspmt) R 28842 28844 28760 0 -1 4202560 3576 0 0 0 109 23 0 0 17 0 32 0 27858650 1933578240 90497 270582939648 4194304 4964800 140736761421408 18446744073709551615 4342218 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=28844/tid=28868] ppid=28842 vsize=1888260 CPUtime=1.34 cores=0-31
/proc/28844/task/28868/stat : 28868 (claspmt) R 28842 28844 28760 0 -1 4202560 3217 0 0 0 109 25 0 0 17 0 32 0 27858650 1933578240 90498 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=28844/tid=28869] ppid=28842 vsize=1888260 CPUtime=1.3 cores=0-31
/proc/28844/task/28869/stat : 28869 (claspmt) R 28842 28844 28760 0 -1 4202560 2759 0 0 0 107 23 0 0 17 0 32 0 27858650 1933578240 90498 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=28844/tid=28870] ppid=28842 vsize=1888260 CPUtime=1.3 cores=0-31
/proc/28844/task/28870/stat : 28870 (claspmt) R 28842 28844 28760 0 -1 4202560 2946 0 0 0 108 22 0 0 17 0 32 0 27858650 1933578240 90498 270582939648 4194304 4964800 140736761421408 18446744073709551615 4370462 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=28844/tid=28871] ppid=28842 vsize=1888260 CPUtime=1.33 cores=0-31
/proc/28844/task/28871/stat : 28871 (claspmt) R 28842 28844 28760 0 -1 4202560 3434 0 0 0 108 25 0 0 17 0 32 0 27858650 1933578240 90498 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28844/tid=28872] ppid=28842 vsize=1888260 CPUtime=1.35 cores=0-31
/proc/28844/task/28872/stat : 28872 (claspmt) R 28842 28844 28760 0 -1 4202560 3134 0 0 0 109 26 0 0 17 0 32 0 27858650 1933578240 90498 270582939648 4194304 4964800 140736761421408 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=28844/tid=28873] ppid=28842 vsize=1888260 CPUtime=1.28 cores=0-31
/proc/28844/task/28873/stat : 28873 (claspmt) R 28842 28844 28760 0 -1 4202560 2789 0 0 0 108 20 0 0 17 0 32 0 27858650 1933578240 90498 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=28844/tid=28874] ppid=28842 vsize=1888260 CPUtime=1.5 cores=0-31
/proc/28844/task/28874/stat : 28874 (claspmt) R 28842 28844 28760 0 -1 4202560 2973 0 0 0 127 23 0 0 18 0 32 0 27858650 1933578240 90498 270582939648 4194304 4964800 140736761421408 18446744073709551615 4399521 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=28844/tid=28875] ppid=28842 vsize=1888260 CPUtime=1.3 cores=0-31
/proc/28844/task/28875/stat : 28875 (claspmt) R 28842 28844 28760 0 -1 4202560 3422 0 0 0 108 22 0 0 17 0 32 0 27858651 1933578240 90499 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=28844/tid=28876] ppid=28842 vsize=1888260 CPUtime=1.3 cores=0-31
/proc/28844/task/28876/stat : 28876 (claspmt) R 28842 28844 28760 0 -1 4202560 3163 0 0 0 109 21 0 0 17 0 32 0 27858651 1933578240 90499 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 43.96
Current children cumulated vsize (KiB) 1888260

[startup+6.30205 s]
/proc/loadavg: 27.69 31.13 31.77 33/445 28878
/proc/meminfo: memFree=261955176/264257624 swapFree=67111528/67111528
[pid=28844] ppid=28842 vsize=1890204 CPUtime=146.19 cores=0-31
/proc/28844/stat : 28844 (claspmt) R 28842 28844 28760 0 -1 4202496 123452 0 0 0 13831 788 0 0 25 0 32 0 27858538 1935568896 102696 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 30 0 0 0
/proc/28844/statm: 472551 102696 461 189 0 466900 0
[pid=28844/tid=28846] ppid=28842 vsize=1890204 CPUtime=4.52 cores=0-31
/proc/28844/task/28846/stat : 28846 (claspmt) R 28842 28844 28760 0 -1 4202560 2836 0 0 0 426 26 0 0 18 0 32 0 27858649 1935568896 102696 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28844/tid=28847] ppid=28842 vsize=1890204 CPUtime=4.55 cores=0-31
/proc/28844/task/28847/stat : 28847 (claspmt) R 28842 28844 28760 0 -1 4202560 3702 0 0 0 428 27 0 0 24 0 32 0 27858649 1935568896 102696 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28844/tid=28848] ppid=28842 vsize=1890204 CPUtime=4.41 cores=0-31
/proc/28844/task/28848/stat : 28848 (claspmt) R 28842 28844 28760 0 -1 4202560 3886 0 0 0 414 27 0 0 23 0 32 0 27858649 1935568896 102696 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=28844/tid=28849] ppid=28842 vsize=1890204 CPUtime=4.52 cores=0-31
/proc/28844/task/28849/stat : 28849 (claspmt) R 28842 28844 28760 0 -1 4202560 3179 0 0 0 428 24 0 0 22 0 32 0 27858649 1935568896 102696 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=28844/tid=28850] ppid=28842 vsize=1890204 CPUtime=4.7 cores=0-31
/proc/28844/task/28850/stat : 28850 (claspmt) R 28842 28844 28760 0 -1 4202560 3115 0 0 0 444 26 0 0 25 0 32 0 27858649 1935568896 102696 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28844/tid=28851] ppid=28842 vsize=1890204 CPUtime=4.53 cores=0-31
/proc/28844/task/28851/stat : 28851 (claspmt) R 28842 28844 28760 0 -1 4202560 4215 0 0 0 427 26 0 0 20 0 32 0 27858649 1935568896 102696 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28844/tid=28852] ppid=28842 vsize=1890204 CPUtime=4.51 cores=0-31
/proc/28844/task/28852/stat : 28852 (claspmt) R 28842 28844 28760 0 -1 4202560 3658 0 0 0 426 25 0 0 22 0 32 0 27858649 1935568896 102696 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28844/tid=28853] ppid=28842 vsize=1890204 CPUtime=4.51 cores=0-31
/proc/28844/task/28853/stat : 28853 (claspmt) R 28842 28844 28760 0 -1 4202560 3109 0 0 0 428 23 0 0 22 0 32 0 27858649 1935568896 102696 270582939648 4194304 4964800 140736761421408 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28844/tid=28854] ppid=28842 vsize=1890204 CPUtime=4.5 cores=0-31
/proc/28844/task/28854/stat : 28854 (claspmt) R 28842 28844 28760 0 -1 4202560 3030 0 0 0 428 22 0 0 18 0 32 0 27858649 1935568896 102697 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=28844/tid=28855] ppid=28842 vsize=1890204 CPUtime=4.51 cores=0-31
/proc/28844/task/28855/stat : 28855 (claspmt) R 28842 28844 28760 0 -1 4202560 4151 0 0 0 426 25 0 0 23 0 32 0 27858649 1935568896 102697 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=28844/tid=28856] ppid=28842 vsize=1890204 CPUtime=4.52 cores=0-31
/proc/28844/task/28856/stat : 28856 (claspmt) R 28842 28844 28760 0 -1 4202560 4138 0 0 0 426 26 0 0 23 0 32 0 27858649 1935568896 102698 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=28844/tid=28857] ppid=28842 vsize=1890204 CPUtime=4.51 cores=0-31
/proc/28844/task/28857/stat : 28857 (claspmt) R 28842 28844 28760 0 -1 4202560 3125 0 0 0 426 25 0 0 22 0 32 0 27858649 1935568896 102698 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=28844/tid=28858] ppid=28842 vsize=1890204 CPUtime=4.68 cores=0-31
/proc/28844/task/28858/stat : 28858 (claspmt) R 28842 28844 28760 0 -1 4202560 3239 0 0 0 444 24 0 0 25 0 32 0 27858650 1935568896 102698 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=28844/tid=28859] ppid=28842 vsize=1890204 CPUtime=4.51 cores=0-31
/proc/28844/task/28859/stat : 28859 (claspmt) R 28842 28844 28760 0 -1 4202560 4071 0 0 0 427 24 0 0 23 0 32 0 27858650 1935568896 102698 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=28844/tid=28860] ppid=28842 vsize=1890204 CPUtime=4.53 cores=0-31
/proc/28844/task/28860/stat : 28860 (claspmt) R 28842 28844 28760 0 -1 4202560 3260 0 0 0 426 27 0 0 24 0 32 0 27858650 1935568896 102698 270582939648 4194304 4964800 140736761421408 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28844/tid=28861] ppid=28842 vsize=1890204 CPUtime=4.49 cores=0-31
/proc/28844/task/28861/stat : 28861 (claspmt) R 28842 28844 28760 0 -1 4202560 3074 0 0 0 425 24 0 0 22 0 32 0 27858650 1935568896 102699 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=28844/tid=28862] ppid=28842 vsize=1890204 CPUtime=4.5 cores=0-31
/proc/28844/task/28862/stat : 28862 (claspmt) R 28842 28844 28760 0 -1 4202560 3114 0 0 0 426 24 0 0 22 0 32 0 27858650 1935568896 102699 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=28844/tid=28863] ppid=28842 vsize=1890204 CPUtime=4.55 cores=0-31
/proc/28844/task/28863/stat : 28863 (claspmt) R 28842 28844 28760 0 -1 4202560 4381 0 0 0 428 27 0 0 20 0 32 0 27858650 1935568896 102700 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=28844/tid=28864] ppid=28842 vsize=1890204 CPUtime=4.51 cores=0-31
/proc/28844/task/28864/stat : 28864 (claspmt) R 28842 28844 28760 0 -1 4202560 4203 0 0 0 425 26 0 0 23 0 32 0 27858650 1935568896 102700 270582939648 4194304 4964800 140736761421408 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=28844/tid=28865] ppid=28842 vsize=1890204 CPUtime=4.5 cores=0-31
/proc/28844/task/28865/stat : 28865 (claspmt) R 28842 28844 28760 0 -1 4202560 3171 0 0 0 426 24 0 0 22 0 32 0 27858650 1935568896 102700 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=28844/tid=28866] ppid=28842 vsize=1890204 CPUtime=4.69 cores=0-31
/proc/28844/task/28866/stat : 28866 (claspmt) R 28842 28844 28760 0 -1 4202560 3198 0 0 0 445 24 0 0 25 0 32 0 27858650 1935568896 102700 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668592 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=28844/tid=28867] ppid=28842 vsize=1890204 CPUtime=4.52 cores=0-31
/proc/28844/task/28867/stat : 28867 (claspmt) R 28842 28844 28760 0 -1 4202560 4088 0 0 0 428 24 0 0 20 0 32 0 27858650 1935568896 102700 270582939648 4194304 4964800 140736761421408 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=28844/tid=28868] ppid=28842 vsize=1890204 CPUtime=4.53 cores=0-31
/proc/28844/task/28868/stat : 28868 (claspmt) R 28842 28844 28760 0 -1 4202560 3599 0 0 0 427 26 0 0 22 0 32 0 27858650 1935568896 102700 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=28844/tid=28869] ppid=28842 vsize=1890204 CPUtime=4.5 cores=0-31
/proc/28844/task/28869/stat : 28869 (claspmt) R 28842 28844 28760 0 -1 4202560 3052 0 0 0 426 24 0 0 22 0 32 0 27858650 1935568896 102700 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=28844/tid=28870] ppid=28842 vsize=1890204 CPUtime=4.49 cores=0-31
/proc/28844/task/28870/stat : 28870 (claspmt) R 28842 28844 28760 0 -1 4202560 3252 0 0 0 427 22 0 0 22 0 32 0 27858650 1935568896 102700 270582939648 4194304 4964800 140736761421408 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 13 0 0 0

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

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

[startup+7.9021 s]
/proc/loadavg: 27.69 31.13 31.77 32/445 28878
/proc/meminfo: memFree=261927720/264257624 swapFree=67111528/67111528
[pid=28844] ppid=28842 vsize=1890936 CPUtime=197.31 cores=0-31
/proc/28844/stat : 28844 (claspmt) R 28842 28844 28760 0 -1 4202496 128481 0 0 0 18931 800 0 0 25 0 32 0 27858538 1936318464 107725 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669131 0 0 4096 18946 18446744073709551615 0 0 17 30 0 0 0
/proc/28844/statm: 472734 107725 461 189 0 467083 0
[pid=28844/tid=28846] ppid=28842 vsize=1890936 CPUtime=6.12 cores=0-31
/proc/28844/task/28846/stat : 28846 (claspmt) R 28842 28844 28760 0 -1 4202560 2881 0 0 0 586 26 0 0 20 0 32 0 27858649 1936318464 107727 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28844/tid=28847] ppid=28842 vsize=1890936 CPUtime=6.15 cores=0-31
/proc/28844/task/28847/stat : 28847 (claspmt) R 28842 28844 28760 0 -1 4202560 4008 0 0 0 586 29 0 0 19 0 32 0 27858649 1936318464 107727 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28844/tid=28848] ppid=28842 vsize=1890936 CPUtime=5.95 cores=0-31
/proc/28844/task/28848/stat : 28848 (claspmt) R 28842 28844 28760 0 -1 4202560 4135 0 0 0 567 28 0 0 25 0 32 0 27858649 1936318464 107727 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=28844/tid=28849] ppid=28842 vsize=1890936 CPUtime=6.12 cores=0-31
/proc/28844/task/28849/stat : 28849 (claspmt) R 28842 28844 28760 0 -1 4202560 3363 0 0 0 588 24 0 0 25 0 32 0 27858649 1936318464 107727 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=28844/tid=28850] ppid=28842 vsize=1890936 CPUtime=6.3 cores=0-31
/proc/28844/task/28850/stat : 28850 (claspmt) R 28842 28844 28760 0 -1 4202560 3150 0 0 0 604 26 0 0 25 0 32 0 27858649 1936318464 107727 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28844/tid=28851] ppid=28842 vsize=1890936 CPUtime=6.13 cores=0-31
/proc/28844/task/28851/stat : 28851 (claspmt) R 28842 28844 28760 0 -1 4202560 4477 0 0 0 586 27 0 0 25 0 32 0 27858649 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669500 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28844/tid=28852] ppid=28842 vsize=1890936 CPUtime=6.12 cores=0-31
/proc/28844/task/28852/stat : 28852 (claspmt) R 28842 28844 28760 0 -1 4202560 3782 0 0 0 586 26 0 0 25 0 32 0 27858649 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28844/tid=28853] ppid=28842 vsize=1890936 CPUtime=6.11 cores=0-31
/proc/28844/task/28853/stat : 28853 (claspmt) R 28842 28844 28760 0 -1 4202560 3129 0 0 0 588 23 0 0 25 0 32 0 27858649 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668920 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28844/tid=28854] ppid=28842 vsize=1890936 CPUtime=6.1 cores=0-31
/proc/28844/task/28854/stat : 28854 (claspmt) R 28842 28844 28760 0 -1 4202560 3080 0 0 0 588 22 0 0 20 0 32 0 27858649 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=28844/tid=28855] ppid=28842 vsize=1890936 CPUtime=6.11 cores=0-31
/proc/28844/task/28855/stat : 28855 (claspmt) R 28842 28844 28760 0 -1 4202560 4450 0 0 0 585 26 0 0 25 0 32 0 27858649 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=28844/tid=28856] ppid=28842 vsize=1890936 CPUtime=6.12 cores=0-31
/proc/28844/task/28856/stat : 28856 (claspmt) R 28842 28844 28760 0 -1 4202560 4402 0 0 0 586 26 0 0 25 0 32 0 27858649 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=28844/tid=28857] ppid=28842 vsize=1890936 CPUtime=6.11 cores=0-31
/proc/28844/task/28857/stat : 28857 (claspmt) R 28842 28844 28760 0 -1 4202560 3253 0 0 0 586 25 0 0 19 0 32 0 27858649 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=28844/tid=28858] ppid=28842 vsize=1890936 CPUtime=6.28 cores=0-31
/proc/28844/task/28858/stat : 28858 (claspmt) R 28842 28844 28760 0 -1 4202560 3295 0 0 0 604 24 0 0 25 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=28844/tid=28859] ppid=28842 vsize=1890936 CPUtime=6.12 cores=0-31
/proc/28844/task/28859/stat : 28859 (claspmt) R 28842 28844 28760 0 -1 4202560 4360 0 0 0 587 25 0 0 25 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669119 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=28844/tid=28860] ppid=28842 vsize=1890936 CPUtime=6.13 cores=0-31
/proc/28844/task/28860/stat : 28860 (claspmt) R 28842 28844 28760 0 -1 4202560 3401 0 0 0 586 27 0 0 25 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28844/tid=28861] ppid=28842 vsize=1890936 CPUtime=6.09 cores=0-31
/proc/28844/task/28861/stat : 28861 (claspmt) R 28842 28844 28760 0 -1 4202560 3113 0 0 0 585 24 0 0 25 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=28844/tid=28862] ppid=28842 vsize=1890936 CPUtime=6.1 cores=0-31
/proc/28844/task/28862/stat : 28862 (claspmt) R 28842 28844 28760 0 -1 4202560 3148 0 0 0 586 24 0 0 25 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669560 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=28844/tid=28863] ppid=28842 vsize=1890936 CPUtime=6.15 cores=0-31
/proc/28844/task/28863/stat : 28863 (claspmt) R 28842 28844 28760 0 -1 4202560 4718 0 0 0 587 28 0 0 25 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4361097 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=28844/tid=28864] ppid=28842 vsize=1890936 CPUtime=6.12 cores=0-31
/proc/28844/task/28864/stat : 28864 (claspmt) R 28842 28844 28760 0 -1 4202560 4454 0 0 0 585 27 0 0 19 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=28844/tid=28865] ppid=28842 vsize=1890936 CPUtime=6.11 cores=0-31
/proc/28844/task/28865/stat : 28865 (claspmt) R 28842 28844 28760 0 -1 4202560 3289 0 0 0 586 25 0 0 25 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=28844/tid=28866] ppid=28842 vsize=1890936 CPUtime=6.29 cores=0-31
/proc/28844/task/28866/stat : 28866 (claspmt) R 28842 28844 28760 0 -1 4202560 3252 0 0 0 605 24 0 0 25 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=28844/tid=28867] ppid=28842 vsize=1890936 CPUtime=6.12 cores=0-31
/proc/28844/task/28867/stat : 28867 (claspmt) R 28842 28844 28760 0 -1 4202560 4321 0 0 0 587 25 0 0 25 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=28844/tid=28868] ppid=28842 vsize=1890936 CPUtime=6.13 cores=0-31
/proc/28844/task/28868/stat : 28868 (claspmt) R 28842 28844 28760 0 -1 4202560 3714 0 0 0 587 26 0 0 25 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=28844/tid=28869] ppid=28842 vsize=1890936 CPUtime=6.09 cores=0-31
/proc/28844/task/28869/stat : 28869 (claspmt) R 28842 28844 28760 0 -1 4202560 3113 0 0 0 585 24 0 0 25 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=28844/tid=28870] ppid=28842 vsize=1890936 CPUtime=6.1 cores=0-31
/proc/28844/task/28870/stat : 28870 (claspmt) R 28842 28844 28760 0 -1 4202560 3310 0 0 0 587 23 0 0 25 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4371537 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=28844/tid=28871] ppid=28842 vsize=1890936 CPUtime=6.13 cores=0-31
/proc/28844/task/28871/stat : 28871 (claspmt) R 28842 28844 28760 0 -1 4202560 4310 0 0 0 586 27 0 0 23 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669086 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28844/tid=28872] ppid=28842 vsize=1890936 CPUtime=6.16 cores=0-31
/proc/28844/task/28872/stat : 28872 (claspmt) R 28842 28844 28760 0 -1 4202560 3876 0 0 0 588 28 0 0 25 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=28844/tid=28873] ppid=28842 vsize=1890936 CPUtime=6.07 cores=0-31
/proc/28844/task/28873/stat : 28873 (claspmt) R 28842 28844 28760 0 -1 4202560 3254 0 0 0 586 21 0 0 25 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=28844/tid=28874] ppid=28842 vsize=1890936 CPUtime=6.3 cores=0-31
/proc/28844/task/28874/stat : 28874 (claspmt) R 28842 28844 28760 0 -1 4202560 3189 0 0 0 607 23 0 0 25 0 32 0 27858650 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=28844/tid=28875] ppid=28842 vsize=1890936 CPUtime=6.1 cores=0-31
/proc/28844/task/28875/stat : 28875 (claspmt) R 28842 28844 28760 0 -1 4202560 4162 0 0 0 586 24 0 0 25 0 32 0 27858651 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=28844/tid=28876] ppid=28842 vsize=1890936 CPUtime=6.11 cores=0-31
/proc/28844/task/28876/stat : 28876 (claspmt) R 28842 28844 28760 0 -1 4202560 3751 0 0 0 588 23 0 0 25 0 32 0 27858651 1936318464 107728 270582939648 4194304 4964800 140736761421408 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 197.31
Current children cumulated vsize (KiB) 1890936

[startup+8.70213 s]
/proc/loadavg: 27.69 31.13 31.77 33/445 28878
/proc/meminfo: memFree=261917116/264257624 swapFree=67111528/67111528
[pid=28844] ppid=28842 vsize=1891336 CPUtime=223.5 cores=0-31
/proc/28844/stat : 28844 (claspmt) R 28842 28844 28760 0 -1 4202496 130733 0 0 0 21545 805 0 0 25 0 32 0 27858538 1936728064 109977 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 30 0 0 0
/proc/28844/statm: 472834 109977 461 189 0 467183 0
[pid=28844/tid=28846] ppid=28842 vsize=1891336 CPUtime=6.94 cores=0-31
/proc/28844/task/28846/stat : 28846 (claspmt) R 28842 28844 28760 0 -1 4202560 2895 0 0 0 668 26 0 0 23 0 32 0 27858649 1936728064 109978 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28844/tid=28847] ppid=28842 vsize=1891336 CPUtime=6.96 cores=0-31
/proc/28844/task/28847/stat : 28847 (claspmt) R 28842 28844 28760 0 -1 4202560 4126 0 0 0 667 29 0 0 21 0 32 0 27858649 1936728064 109979 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28844/tid=28848] ppid=28842 vsize=1891336 CPUtime=6.74 cores=0-31
/proc/28844/task/28848/stat : 28848 (claspmt) R 28842 28844 28760 0 -1 4202560 4263 0 0 0 646 28 0 0 25 0 32 0 27858649 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4660447 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=28844/tid=28849] ppid=28842 vsize=1891336 CPUtime=6.94 cores=0-31
/proc/28844/task/28849/stat : 28849 (claspmt) R 28842 28844 28760 0 -1 4202560 3425 0 0 0 670 24 0 0 25 0 32 0 27858649 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=28844/tid=28850] ppid=28842 vsize=1891336 CPUtime=7.12 cores=0-31
/proc/28844/task/28850/stat : 28850 (claspmt) R 28842 28844 28760 0 -1 4202560 3201 0 0 0 686 26 0 0 25 0 32 0 27858649 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4342228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28844/tid=28851] ppid=28842 vsize=1891336 CPUtime=6.95 cores=0-31
/proc/28844/task/28851/stat : 28851 (claspmt) R 28842 28844 28760 0 -1 4202560 4548 0 0 0 668 27 0 0 25 0 32 0 27858649 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28844/tid=28852] ppid=28842 vsize=1891336 CPUtime=6.93 cores=0-31
/proc/28844/task/28852/stat : 28852 (claspmt) R 28842 28844 28760 0 -1 4202560 3822 0 0 0 667 26 0 0 25 0 32 0 27858649 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669149 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28844/tid=28853] ppid=28842 vsize=1891336 CPUtime=6.93 cores=0-31
/proc/28844/task/28853/stat : 28853 (claspmt) R 28842 28844 28760 0 -1 4202560 3159 0 0 0 670 23 0 0 25 0 32 0 27858649 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28844/tid=28854] ppid=28842 vsize=1891336 CPUtime=6.92 cores=0-31
/proc/28844/task/28854/stat : 28854 (claspmt) R 28842 28844 28760 0 -1 4202560 3088 0 0 0 670 22 0 0 23 0 32 0 27858649 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=28844/tid=28855] ppid=28842 vsize=1891336 CPUtime=6.93 cores=0-31
/proc/28844/task/28855/stat : 28855 (claspmt) R 28842 28844 28760 0 -1 4202560 4581 0 0 0 667 26 0 0 18 0 32 0 27858649 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=28844/tid=28856] ppid=28842 vsize=1891336 CPUtime=6.94 cores=0-31
/proc/28844/task/28856/stat : 28856 (claspmt) R 28842 28844 28760 0 -1 4202560 4551 0 0 0 668 26 0 0 25 0 32 0 27858649 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668544 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=28844/tid=28857] ppid=28842 vsize=1891336 CPUtime=6.93 cores=0-31
/proc/28844/task/28857/stat : 28857 (claspmt) R 28842 28844 28760 0 -1 4202560 3332 0 0 0 668 25 0 0 21 0 32 0 27858649 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=28844/tid=28858] ppid=28842 vsize=1891336 CPUtime=7.1 cores=0-31
/proc/28844/task/28858/stat : 28858 (claspmt) R 28842 28844 28760 0 -1 4202560 3328 0 0 0 686 24 0 0 25 0 32 0 27858650 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=28844/tid=28859] ppid=28842 vsize=1891336 CPUtime=6.94 cores=0-31
/proc/28844/task/28859/stat : 28859 (claspmt) R 28842 28844 28760 0 -1 4202560 4435 0 0 0 669 25 0 0 25 0 32 0 27858650 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=28844/tid=28860] ppid=28842 vsize=1891336 CPUtime=6.94 cores=0-31
/proc/28844/task/28860/stat : 28860 (claspmt) R 28842 28844 28760 0 -1 4202560 3427 0 0 0 667 27 0 0 25 0 32 0 27858650 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668702 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=28844/tid=28861] ppid=28842 vsize=1891336 CPUtime=6.91 cores=0-31
/proc/28844/task/28861/stat : 28861 (claspmt) R 28842 28844 28760 0 -1 4202560 3120 0 0 0 667 24 0 0 25 0 32 0 27858650 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=28844/tid=28862] ppid=28842 vsize=1891336 CPUtime=6.92 cores=0-31
/proc/28844/task/28862/stat : 28862 (claspmt) R 28842 28844 28760 0 -1 4202560 3195 0 0 0 668 24 0 0 25 0 32 0 27858650 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669512 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=28844/tid=28863] ppid=28842 vsize=1891336 CPUtime=6.97 cores=0-31
/proc/28844/task/28863/stat : 28863 (claspmt) R 28842 28844 28760 0 -1 4202560 4873 0 0 0 668 29 0 0 25 0 32 0 27858650 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=28844/tid=28864] ppid=28842 vsize=1891336 CPUtime=6.93 cores=0-31
/proc/28844/task/28864/stat : 28864 (claspmt) R 28842 28844 28760 0 -1 4202560 4565 0 0 0 666 27 0 0 21 0 32 0 27858650 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=28844/tid=28865] ppid=28842 vsize=1891336 CPUtime=6.92 cores=0-31
/proc/28844/task/28865/stat : 28865 (claspmt) R 28842 28844 28760 0 -1 4202560 3344 0 0 0 667 25 0 0 25 0 32 0 27858650 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=28844/tid=28866] ppid=28842 vsize=1891336 CPUtime=7.11 cores=0-31
/proc/28844/task/28866/stat : 28866 (claspmt) R 28842 28844 28760 0 -1 4202560 3282 0 0 0 687 24 0 0 25 0 32 0 27858650 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669086 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=28844/tid=28867] ppid=28842 vsize=1891336 CPUtime=6.94 cores=0-31
/proc/28844/task/28867/stat : 28867 (claspmt) R 28842 28844 28760 0 -1 4202560 4395 0 0 0 669 25 0 0 25 0 32 0 27858650 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=28844/tid=28868] ppid=28842 vsize=1891336 CPUtime=6.95 cores=0-31
/proc/28844/task/28868/stat : 28868 (claspmt) R 28842 28844 28760 0 -1 4202560 3823 0 0 0 668 27 0 0 25 0 32 0 27858650 1936728064 109980 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=28844/tid=28869] ppid=28842 vsize=1891336 CPUtime=6.91 cores=0-31
/proc/28844/task/28869/stat : 28869 (claspmt) R 28842 28844 28760 0 -1 4202560 3138 0 0 0 667 24 0 0 25 0 32 0 27858650 1936728064 109981 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=28844/tid=28870] ppid=28842 vsize=1891336 CPUtime=6.92 cores=0-31
/proc/28844/task/28870/stat : 28870 (claspmt) R 28842 28844 28760 0 -1 4202560 3365 0 0 0 669 23 0 0 25 0 32 0 27858650 1936728064 109981 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=28844/tid=28871] ppid=28842 vsize=1891336 CPUtime=6.95 cores=0-31
/proc/28844/task/28871/stat : 28871 (claspmt) R 28842 28844 28760 0 -1 4202560 4510 0 0 0 668 27 0 0 25 0 32 0 27858650 1936728064 109981 270582939648 4194304 4964800 140736761421408 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28844/tid=28872] ppid=28842 vsize=1891336 CPUtime=6.97 cores=0-31
/proc/28844/task/28872/stat : 28872 (claspmt) R 28842 28844 28760 0 -1 4202560 3997 0 0 0 669 28 0 0 25 0 32 0 27858650 1936728064 109981 270582939648 4194304 4964800 140736761421408 18446744073709551615 4660168 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=28844/tid=28873] ppid=28842 vsize=1891336 CPUtime=6.89 cores=0-31
/proc/28844/task/28873/stat : 28873 (claspmt) R 28842 28844 28760 0 -1 4202560 3315 0 0 0 668 21 0 0 25 0 32 0 27858650 1936728064 109981 270582939648 4194304 4964800 140736761421408 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=28844/tid=28874] ppid=28842 vsize=1891336 CPUtime=7.12 cores=0-31
/proc/28844/task/28874/stat : 28874 (claspmt) R 28842 28844 28760 0 -1 4202560 3210 0 0 0 689 23 0 0 25 0 32 0 27858650 1936728064 109981 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=28844/tid=28875] ppid=28842 vsize=1891336 CPUtime=6.92 cores=0-31
/proc/28844/task/28875/stat : 28875 (claspmt) R 28842 28844 28760 0 -1 4202560 4245 0 0 0 668 24 0 0 25 0 32 0 27858651 1936728064 109981 270582939648 4194304 4964800 140736761421408 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=28844/tid=28876] ppid=28842 vsize=1891336 CPUtime=6.92 cores=0-31
/proc/28844/task/28876/stat : 28876 (claspmt) R 28842 28844 28760 0 -1 4202560 3819 0 0 0 669 23 0 0 25 0 32 0 27858651 1936728064 109981 270582939648 4194304 4964800 140736761421408 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 223.5
Current children cumulated vsize (KiB) 1891336

[startup+9.50132 s]
/proc/loadavg: 27.69 31.13 31.77 33/445 28878
/proc/meminfo: memFree=261917116/264257624 swapFree=67111528/67111528
[pid=28844] ppid=28842 vsize=1736532 CPUtime=235.25 cores=0-31
/proc/28844/stat : 28844 (claspmt) R 28842 28844 28760 0 -1 4202496 131638 0 0 0 22709 816 0 0 25 0 1 0 27858538 1778208768 94644 270582939648 4194304 4964800 140736761421408 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 17 30 0 0 0
/proc/28844/statm: 434133 94644 472 189 0 428482 0
Current children cumulated CPU time (s) 235.25
Current children cumulated vsize (KiB) 1736532

[startup+9.70032 s]
/proc/loadavg: 27.69 31.13 31.77 33/445 28878
/proc/meminfo: memFree=261917116/264257624 swapFree=67111528/67111528
[pid=28844] ppid=28842 vsize=1706904 CPUtime=235.45 cores=0-31
/proc/28844/stat : 28844 (claspmt) R 28842 28844 28760 0 -1 4202496 131638 0 0 0 22728 817 0 0 25 0 1 0 27858538 1747869696 87124 270582939648 4194304 4964800 140736761421408 18446744073709551615 4313434 0 0 4096 18946 0 0 0 17 30 0 0 0
/proc/28844/statm: 426726 87124 472 189 0 421075 0
Current children cumulated CPU time (s) 235.45
Current children cumulated vsize (KiB) 1706904

[startup+9.80034 s]
/proc/loadavg: 25.55 30.63 31.61 2/414 28878
/proc/meminfo: memFree=262021400/264257624 swapFree=67111528/67111528
[pid=28844] ppid=28842 vsize=1690444 CPUtime=235.58 cores=0-31
/proc/28844/stat : 28844 (claspmt) R 28842 28844 28760 0 -1 4202496 131638 0 0 0 22740 818 0 0 25 0 1 0 27858538 1731014656 65700 270582939648 4194304 4964800 140736761421408 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 30 0 0 0
/proc/28844/statm: 422611 65560 472 189 0 416960 0
Current children cumulated CPU time (s) 235.58
Current children cumulated vsize (KiB) 1690444

Child status: 20
Real time (s): 9.86998
CPU time (s): 235.625
CPU user time (s): 227.409
CPU system time (s): 8.21575
CPU usage (%): 2387.29
Max. virtual memory (cumulated for all children) (KiB): 1891336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 227.409
system time used= 8.21575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131639
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= 77344
involuntary context switches= 624

runsolver used 0.080987 second user time and 0.25996 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-09 15:05:17
IDJOB=3472415
IDBENCH=82465
IDSOLVER=1961
FILE ID=node200/3472415-1307624716
RUNJOBID= node200-1307624715-28774
PBS_JOBID= 13547777
Free space on /tmp= 61740 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3472415-1307624716/watcher-3472415-1307624716 -o /tmp/evaluation-result-3472415-1307624716/solver-3472415-1307624716 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472415-1307624716.cnf

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

MD5SUM BENCH= 7599aafec7bebba20ceab50260cd7197
RANDOM SEED=1185430345

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.045
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.045
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.02
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.045
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.045
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.045
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.09
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.045
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.06
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.045
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.07
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.045
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.06
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.045
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	: 3989.99
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.045
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.06
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.045
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.045
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.06
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.045
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.04
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.045
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.03
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.045
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	: 3990.07
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.045
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.08
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.045
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.05
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.045
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.045
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.08
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.045
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	: 3989.97
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.045
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.04
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.045
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.10
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.045
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.10
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.045
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.04
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.045
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.04
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.045
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.07
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.045
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.045
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.08
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.045
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.04
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.045
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.08
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.045
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.18
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.045
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:      262354100 kB
Buffers:        230592 kB
Cached:        1377556 kB
SwapCached:          0 kB
Active:         249064 kB
Inactive:      1422768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262354100 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4320 kB
Writeback:           0 kB
AnonPages:       60212 kB
Mapped:          13756 kB
Slab:           151784 kB
PageTables:       4560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   166244 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= 61740 MiB
End job on node200 at 2011-06-09 15:05:27