Trace number 3472423

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 753.096 26.9155

General information on the benchmark

Nameapplication/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf
MD5SUMab962ce6f14e7741edd1ff987decb0b7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark753.096
Satisfiable
(Un)Satisfiability was proved
Number of variables102621
Number of clauses307469
Sum of the clauses size717425
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2204978
Number of clauses of size 3102489
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 ...639944/instance-3472423-1307639944.cnf
1.39/1.41	c Solving...
752.97/26.89	s UNSATISFIABLE
752.97/26.89	
752.97/26.89	c Models        : 0     
752.97/26.89	c Time          : 25.874s (Solving: 24.47s 1st Model: 0.00s Unsat: 24.47s)
752.97/26.89	c CPU Time      : 752.060s

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-3472423-1307639944/watcher-3472423-1307639944 -o /tmp/evaluation-result-3472423-1307639944/solver-3472423-1307639944 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472423-1307639944.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: 25.57 30.10 31.33 1/412 29925
/proc/meminfo: memFree=262331356/264257624 swapFree=67111528/67111528
[pid=29925] ppid=29923 vsize=33892 CPUtime=0.02 cores=0-31
/proc/29925/stat : 29925 (claspmt) R 29923 29925 29615 0 -1 4202496 2359 0 0 0 2 0 0 0 21 0 1 0 29381322 34705408 2288 270582939648 4194304 4964800 140734673764480 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/29925/statm: 8473 2292 373 189 0 3347 0

[startup+0.092013 s]
/proc/loadavg: 25.57 30.10 31.33 1/412 29925
/proc/meminfo: memFree=262331356/264257624 swapFree=67111528/67111528
[pid=29925] ppid=29923 vsize=42664 CPUtime=0.08 cores=0-31
/proc/29925/stat : 29925 (claspmt) R 29923 29925 29615 0 -1 4202496 6748 0 0 0 6 2 0 0 21 0 1 0 29381322 43687936 5786 270582939648 4194304 4964800 140734673764480 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/29925/statm: 10666 5788 383 189 0 5540 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 42664

[startup+0.100976 s]
/proc/loadavg: 25.57 30.10 31.33 1/412 29925
/proc/meminfo: memFree=262331356/264257624 swapFree=67111528/67111528
[pid=29925] ppid=29923 vsize=43352 CPUtime=0.09 cores=0-31
/proc/29925/stat : 29925 (claspmt) R 29923 29925 29615 0 -1 4202496 6969 0 0 0 7 2 0 0 21 0 1 0 29381322 44392448 5926 270582939648 4194304 4964800 140734673764480 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/29925/statm: 10838 5927 383 189 0 5712 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43352

[startup+0.301024 s]
/proc/loadavg: 25.57 30.10 31.33 1/412 29925
/proc/meminfo: memFree=262331356/264257624 swapFree=67111528/67111528
[pid=29925] ppid=29923 vsize=59544 CPUtime=0.29 cores=0-31
/proc/29925/stat : 29925 (claspmt) R 29923 29925 29615 0 -1 4202496 13030 0 0 0 26 3 0 0 22 0 1 0 29381322 60973056 10006 270582939648 4194304 4964800 140734673764480 18446744073709551615 4615767 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/29925/statm: 14886 10006 396 189 0 9760 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59544

[startup+0.70104 s]
/proc/loadavg: 25.57 30.10 31.33 1/412 29925
/proc/meminfo: memFree=262331356/264257624 swapFree=67111528/67111528
[pid=29925] ppid=29923 vsize=73292 CPUtime=0.69 cores=0-31
/proc/29925/stat : 29925 (claspmt) R 29923 29925 29615 0 -1 4202496 16368 0 0 0 65 4 0 0 24 0 1 0 29381322 75051008 13344 270582939648 4194304 4964800 140734673764480 18446744073709551615 4615447 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/29925/statm: 18323 13344 401 189 0 13197 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73292

[startup+1.51829 s]
/proc/loadavg: 25.57 30.10 31.33 2/413 29926
/proc/meminfo: memFree=262271828/264257624 swapFree=67111528/67111528
[pid=29925] ppid=29923 vsize=631532 CPUtime=3.84 cores=0-31
/proc/29925/stat : 29925 (claspmt) S 29923 29925 29615 0 -1 4202496 45010 0 0 0 145 239 0 0 18 0 32 0 29381322 646688768 33814 270582939648 4194304 4964800 140734673764480 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/29925/statm: 157883 33825 428 189 0 152232 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 631532

[startup+3.10297 s]
/proc/loadavg: 26.00 30.12 31.33 6/444 29957
/proc/meminfo: memFree=261979812/264257624 swapFree=67111528/67111528
[pid=29925] ppid=29923 vsize=2044148 CPUtime=25.49 cores=0-31
/proc/29925/stat : 29925 (claspmt) R 29923 29925 29615 0 -1 4202496 145809 0 0 0 1494 1055 0 0 18 0 32 0 29381322 2093207552 116234 270582939648 4194304 4964800 140734673764480 18446744073709551615 4370264 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/29925/statm: 511037 116234 461 189 0 505386 0
[pid=29925/tid=29927] ppid=29923 vsize=2044148 CPUtime=0.75 cores=0-31
/proc/29925/task/29927/stat : 29927 (claspmt) R 29923 29925 29615 0 -1 4202560 3337 0 0 0 37 38 0 0 16 0 32 0 29381463 2093207552 116234 270582939648 4194304 4964800 140734673764480 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29925/tid=29928] ppid=29923 vsize=2044148 CPUtime=0.73 cores=0-31
/proc/29925/task/29928/stat : 29928 (claspmt) R 29923 29925 29615 0 -1 4202560 4339 0 0 0 39 34 0 0 16 0 32 0 29381463 2093207552 116234 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29925/tid=29929] ppid=29923 vsize=2044148 CPUtime=0.71 cores=0-31
/proc/29925/task/29929/stat : 29929 (claspmt) R 29923 29925 29615 0 -1 4202560 4694 0 0 0 37 34 0 0 16 0 32 0 29381463 2093207552 116234 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668588 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=29925/tid=29930] ppid=29923 vsize=2044148 CPUtime=0.71 cores=0-31
/proc/29925/task/29930/stat : 29930 (claspmt) R 29923 29925 29615 0 -1 4202560 3600 0 0 0 37 34 0 0 16 0 32 0 29381463 2093207552 116234 270582939648 4194304 4964800 140734673764480 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29925/tid=29931] ppid=29923 vsize=2044148 CPUtime=1.12 cores=0-31
/proc/29925/task/29931/stat : 29931 (claspmt) R 29923 29925 29615 0 -1 4202560 3936 0 0 0 77 35 0 0 18 0 32 0 29381463 2093207552 116235 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=29925/tid=29932] ppid=29923 vsize=2044148 CPUtime=0.73 cores=0-31
/proc/29925/task/29932/stat : 29932 (claspmt) R 29923 29925 29615 0 -1 4202560 4546 0 0 0 37 36 0 0 16 0 32 0 29381463 2093207552 116235 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29925/tid=29933] ppid=29923 vsize=2044148 CPUtime=0.74 cores=0-31
/proc/29925/task/29933/stat : 29933 (claspmt) R 29923 29925 29615 0 -1 4202560 4174 0 0 0 38 36 0 0 16 0 32 0 29381463 2093207552 116235 270582939648 4194304 4964800 140734673764480 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=29925/tid=29934] ppid=29923 vsize=2044148 CPUtime=0.7 cores=0-31
/proc/29925/task/29934/stat : 29934 (claspmt) R 29923 29925 29615 0 -1 4202560 3500 0 0 0 36 34 0 0 16 0 32 0 29381464 2093207552 116235 270582939648 4194304 4964800 140734673764480 18446744073709551615 4370443 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=29925/tid=29935] ppid=29923 vsize=2044148 CPUtime=0.67 cores=0-31
/proc/29925/task/29935/stat : 29935 (claspmt) R 29923 29925 29615 0 -1 4202560 3625 0 0 0 35 32 0 0 16 0 32 0 29381464 2093207552 116235 270582939648 4194304 4964800 140734673764480 18446744073709551615 4370266 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=29925/tid=29936] ppid=29923 vsize=2044148 CPUtime=0.74 cores=0-31
/proc/29925/task/29936/stat : 29936 (claspmt) R 29923 29925 29615 0 -1 4202560 4523 0 0 0 40 34 0 0 16 0 32 0 29381464 2093207552 116236 270582939648 4194304 4964800 140734673764480 18446744073709551615 4379609 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29925/tid=29937] ppid=29923 vsize=2044148 CPUtime=0.71 cores=0-31
/proc/29925/task/29937/stat : 29937 (claspmt) R 29923 29925 29615 0 -1 4202560 4401 0 0 0 37 34 0 0 16 0 32 0 29381464 2093207552 116236 270582939648 4194304 4964800 140734673764480 18446744073709551615 4379123 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=29925/tid=29938] ppid=29923 vsize=2044148 CPUtime=0.72 cores=0-31
/proc/29925/task/29938/stat : 29938 (claspmt) R 29923 29925 29615 0 -1 4202560 3737 0 0 0 36 36 0 0 16 0 32 0 29381464 2093207552 116236 270582939648 4194304 4964800 140734673764480 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=29925/tid=29939] ppid=29923 vsize=2044148 CPUtime=1.05 cores=0-31
/proc/29925/task/29939/stat : 29939 (claspmt) R 29923 29925 29615 0 -1 4202560 4066 0 0 0 70 35 0 0 18 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4399302 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=29925/tid=29940] ppid=29923 vsize=2044148 CPUtime=0.73 cores=0-31
/proc/29925/task/29940/stat : 29940 (claspmt) R 29923 29925 29615 0 -1 4202560 4603 0 0 0 38 35 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4629451 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=29925/tid=29941] ppid=29923 vsize=2044148 CPUtime=0.72 cores=0-31
/proc/29925/task/29941/stat : 29941 (claspmt) R 29923 29925 29615 0 -1 4202560 4148 0 0 0 39 33 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=29925/tid=29942] ppid=29923 vsize=2044148 CPUtime=0.66 cores=0-31
/proc/29925/task/29942/stat : 29942 (claspmt) R 29923 29925 29615 0 -1 4202560 3748 0 0 0 36 30 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4370266 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=29925/tid=29943] ppid=29923 vsize=2044148 CPUtime=0.71 cores=0-31
/proc/29925/task/29943/stat : 29943 (claspmt) R 29923 29925 29615 0 -1 4202560 3631 0 0 0 37 34 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4370259 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=29925/tid=29944] ppid=29923 vsize=2044148 CPUtime=0.74 cores=0-31
/proc/29925/task/29944/stat : 29944 (claspmt) R 29923 29925 29615 0 -1 4202560 4374 0 0 0 38 36 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29925/tid=29945] ppid=29923 vsize=2044148 CPUtime=0.71 cores=0-31
/proc/29925/task/29945/stat : 29945 (claspmt) R 29923 29925 29615 0 -1 4202560 4453 0 0 0 37 34 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=29925/tid=29946] ppid=29923 vsize=2044148 CPUtime=0.69 cores=0-31
/proc/29925/task/29946/stat : 29946 (claspmt) R 29923 29925 29615 0 -1 4202560 3706 0 0 0 36 33 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4370266 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=29925/tid=29947] ppid=29923 vsize=2044148 CPUtime=1.11 cores=0-31
/proc/29925/task/29947/stat : 29947 (claspmt) R 29923 29925 29615 0 -1 4202560 3814 0 0 0 78 33 0 0 18 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668732 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29925/tid=29948] ppid=29923 vsize=2044148 CPUtime=0.68 cores=0-31
/proc/29925/task/29948/stat : 29948 (claspmt) R 29923 29925 29615 0 -1 4202560 4717 0 0 0 39 29 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=29925/tid=29949] ppid=29923 vsize=2044148 CPUtime=0.7 cores=0-31
/proc/29925/task/29949/stat : 29949 (claspmt) R 29923 29925 29615 0 -1 4202560 4042 0 0 0 37 33 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668763 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=29925/tid=29950] ppid=29923 vsize=2044148 CPUtime=0.68 cores=0-31
/proc/29925/task/29950/stat : 29950 (claspmt) R 29923 29925 29615 0 -1 4202560 3505 0 0 0 38 30 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4370269 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29925/tid=29951] ppid=29923 vsize=2044148 CPUtime=0.65 cores=0-31
/proc/29925/task/29951/stat : 29951 (claspmt) R 29923 29925 29615 0 -1 4202560 3629 0 0 0 37 28 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4370229 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=29925/tid=29952] ppid=29923 vsize=2044148 CPUtime=0.73 cores=0-31
/proc/29925/task/29952/stat : 29952 (claspmt) R 29923 29925 29615 0 -1 4202560 4448 0 0 0 38 35 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=29925/tid=29953] ppid=29923 vsize=2044148 CPUtime=0.67 cores=0-31
/proc/29925/task/29953/stat : 29953 (claspmt) R 29923 29925 29615 0 -1 4202560 4688 0 0 0 39 28 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=29925/tid=29954] ppid=29923 vsize=2044148 CPUtime=0.69 cores=0-31
/proc/29925/task/29954/stat : 29954 (claspmt) R 29923 29925 29615 0 -1 4202560 3723 0 0 0 37 32 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4370443 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=29925/tid=29955] ppid=29923 vsize=2044148 CPUtime=1.06 cores=0-31
/proc/29925/task/29955/stat : 29955 (claspmt) R 29923 29925 29615 0 -1 4202560 3698 0 0 0 77 29 0 0 18 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=29925/tid=29956] ppid=29923 vsize=2044148 CPUtime=0.75 cores=0-31
/proc/29925/task/29956/stat : 29956 (claspmt) R 29923 29925 29615 0 -1 4202560 4714 0 0 0 36 39 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4631220 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=29925/tid=29957] ppid=29923 vsize=2044148 CPUtime=0.69 cores=0-31
/proc/29925/task/29957/stat : 29957 (claspmt) R 29923 29925 29615 0 -1 4202560 4192 0 0 0 39 30 0 0 16 0 32 0 29381464 2093207552 116237 270582939648 4194304 4964800 140734673764480 18446744073709551615 4321116 0 0 4096 18946 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2044148

[startup+6.30208 s]
/proc/loadavg: 26.00 30.12 31.33 34/444 29959
/proc/meminfo: memFree=261837596/264257624 swapFree=67111528/67111528
[pid=29925] ppid=29923 vsize=2044148 CPUtime=127.53 cores=0-31
/proc/29925/stat : 29925 (claspmt) R 29923 29925 29615 0 -1 4202496 156939 0 0 0 11665 1088 0 0 25 0 32 0 29381322 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/29925/statm: 511037 127364 461 189 0 505386 0
[pid=29925/tid=29927] ppid=29923 vsize=2044148 CPUtime=3.94 cores=0-31
/proc/29925/task/29927/stat : 29927 (claspmt) R 29923 29925 29615 0 -1 4202560 3606 0 0 0 355 39 0 0 20 0 32 0 29381463 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29925/tid=29928] ppid=29923 vsize=2044148 CPUtime=3.92 cores=0-31
/proc/29925/task/29928/stat : 29928 (claspmt) R 29923 29925 29615 0 -1 4202560 4860 0 0 0 357 35 0 0 20 0 32 0 29381463 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29925/tid=29929] ppid=29923 vsize=2044148 CPUtime=3.91 cores=0-31
/proc/29925/task/29929/stat : 29929 (claspmt) R 29923 29925 29615 0 -1 4202560 5249 0 0 0 356 35 0 0 18 0 32 0 29381463 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=29925/tid=29930] ppid=29923 vsize=2044148 CPUtime=3.9 cores=0-31
/proc/29925/task/29930/stat : 29930 (claspmt) R 29923 29925 29615 0 -1 4202560 4005 0 0 0 354 36 0 0 20 0 32 0 29381463 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4628039 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29925/tid=29931] ppid=29923 vsize=2044148 CPUtime=4.32 cores=0-31
/proc/29925/task/29931/stat : 29931 (claspmt) R 29923 29925 29615 0 -1 4202560 3941 0 0 0 397 35 0 0 25 0 32 0 29381463 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669283 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=29925/tid=29932] ppid=29923 vsize=2044148 CPUtime=3.92 cores=0-31
/proc/29925/task/29932/stat : 29932 (claspmt) R 29923 29925 29615 0 -1 4202560 4942 0 0 0 355 37 0 0 20 0 32 0 29381463 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29925/tid=29933] ppid=29923 vsize=2044148 CPUtime=3.92 cores=0-31
/proc/29925/task/29933/stat : 29933 (claspmt) R 29923 29925 29615 0 -1 4202560 4651 0 0 0 355 37 0 0 20 0 32 0 29381463 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=29925/tid=29934] ppid=29923 vsize=2044148 CPUtime=3.88 cores=0-31
/proc/29925/task/29934/stat : 29934 (claspmt) R 29923 29925 29615 0 -1 4202560 3807 0 0 0 354 34 0 0 20 0 32 0 29381464 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=29925/tid=29935] ppid=29923 vsize=2044148 CPUtime=3.86 cores=0-31
/proc/29925/task/29935/stat : 29935 (claspmt) R 29923 29925 29615 0 -1 4202560 4001 0 0 0 353 33 0 0 20 0 32 0 29381464 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=29925/tid=29936] ppid=29923 vsize=2044148 CPUtime=3.93 cores=0-31
/proc/29925/task/29936/stat : 29936 (claspmt) R 29923 29925 29615 0 -1 4202560 5043 0 0 0 357 36 0 0 20 0 32 0 29381464 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29925/tid=29937] ppid=29923 vsize=2044148 CPUtime=3.91 cores=0-31
/proc/29925/task/29937/stat : 29937 (claspmt) R 29923 29925 29615 0 -1 4202560 4793 0 0 0 355 36 0 0 20 0 32 0 29381464 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4320883 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=29925/tid=29938] ppid=29923 vsize=2044148 CPUtime=3.8 cores=0-31
/proc/29925/task/29938/stat : 29938 (claspmt) R 29923 29925 29615 0 -1 4202560 4134 0 0 0 343 37 0 0 20 0 32 0 29381464 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=29925/tid=29939] ppid=29923 vsize=2044148 CPUtime=4.24 cores=0-31
/proc/29925/task/29939/stat : 29939 (claspmt) R 29923 29925 29615 0 -1 4202560 4196 0 0 0 389 35 0 0 25 0 32 0 29381464 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668721 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=29925/tid=29940] ppid=29923 vsize=2044148 CPUtime=3.91 cores=0-31
/proc/29925/task/29940/stat : 29940 (claspmt) R 29923 29925 29615 0 -1 4202560 4965 0 0 0 355 36 0 0 20 0 32 0 29381464 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4653144 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=29925/tid=29941] ppid=29923 vsize=2044148 CPUtime=3.91 cores=0-31
/proc/29925/task/29941/stat : 29941 (claspmt) R 29923 29925 29615 0 -1 4202560 4549 0 0 0 357 34 0 0 20 0 32 0 29381464 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=29925/tid=29942] ppid=29923 vsize=2044148 CPUtime=3.85 cores=0-31
/proc/29925/task/29942/stat : 29942 (claspmt) R 29923 29925 29615 0 -1 4202560 4062 0 0 0 354 31 0 0 20 0 32 0 29381464 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4370269 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=29925/tid=29943] ppid=29923 vsize=2044148 CPUtime=3.89 cores=0-31
/proc/29925/task/29943/stat : 29943 (claspmt) R 29923 29925 29615 0 -1 4202560 3947 0 0 0 354 35 0 0 20 0 32 0 29381464 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=29925/tid=29944] ppid=29923 vsize=2044148 CPUtime=3.93 cores=0-31
/proc/29925/task/29944/stat : 29944 (claspmt) R 29923 29925 29615 0 -1 4202560 4896 0 0 0 355 38 0 0 19 0 32 0 29381464 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=29925/tid=29945] ppid=29923 vsize=2044148 CPUtime=3.91 cores=0-31
/proc/29925/task/29945/stat : 29945 (claspmt) R 29923 29925 29615 0 -1 4202560 4831 0 0 0 356 35 0 0 20 0 32 0 29381464 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=29925/tid=29946] ppid=29923 vsize=2044148 CPUtime=3.88 cores=0-31
/proc/29925/task/29946/stat : 29946 (claspmt) R 29923 29925 29615 0 -1 4202560 4059 0 0 0 354 34 0 0 20 0 32 0 29381464 2093207552 127364 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=29925/tid=29947] ppid=29923 vsize=2044148 CPUtime=4.31 cores=0-31
/proc/29925/task/29947/stat : 29947 (claspmt) R 29923 29925 29615 0 -1 4202560 3820 0 0 0 398 33 0 0 25 0 32 0 29381464 2093207552 127365 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29925/tid=29948] ppid=29923 vsize=2044148 CPUtime=3.87 cores=0-31
/proc/29925/task/29948/stat : 29948 (claspmt) R 29923 29925 29615 0 -1 4202560 5064 0 0 0 357 30 0 0 20 0 32 0 29381464 2093207552 127365 270582939648 4194304 4964800 140734673764480 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=29925/tid=29949] ppid=29923 vsize=2044148 CPUtime=3.89 cores=0-31
/proc/29925/task/29949/stat : 29949 (claspmt) R 29923 29925 29615 0 -1 4202560 4360 0 0 0 355 34 0 0 20 0 32 0 29381464 2093207552 127365 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=29925/tid=29950] ppid=29923 vsize=2044148 CPUtime=3.87 cores=0-31
/proc/29925/task/29950/stat : 29950 (claspmt) R 29923 29925 29615 0 -1 4202560 3813 0 0 0 356 31 0 0 20 0 32 0 29381464 2093207552 127365 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29925/tid=29951] ppid=29923 vsize=2044148 CPUtime=3.84 cores=0-31
/proc/29925/task/29951/stat : 29951 (claspmt) R 29923 29925 29615 0 -1 4202560 3971 0 0 0 355 29 0 0 19 0 32 0 29381464 2093207552 127365 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0

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

[startup+12.7023 s]
/proc/loadavg: 26.48 30.15 31.33 33/444 29959
/proc/meminfo: memFree=261766392/264257624 swapFree=67111528/67111528
[pid=29925] ppid=29923 vsize=2045716 CPUtime=332.03 cores=0-31
/proc/29925/stat : 29925 (claspmt) R 29923 29925 29615 0 -1 4202496 174204 0 0 0 32070 1133 0 0 25 0 32 0 29381322 2094813184 144629 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668737 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/29925/statm: 511429 144629 461 189 0 505778 0
[pid=29925/tid=29927] ppid=29923 vsize=2045716 CPUtime=10.34 cores=0-31
/proc/29925/task/29927/stat : 29927 (claspmt) R 29923 29925 29615 0 -1 4202560 3907 0 0 0 994 40 0 0 25 0 32 0 29381463 2094813184 144629 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29925/tid=29928] ppid=29923 vsize=2045716 CPUtime=10.31 cores=0-31
/proc/29925/task/29928/stat : 29928 (claspmt) R 29923 29925 29615 0 -1 4202560 5786 0 0 0 994 37 0 0 25 0 32 0 29381463 2094813184 144629 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29925/tid=29929] ppid=29923 vsize=2045716 CPUtime=10.31 cores=0-31
/proc/29925/task/29929/stat : 29929 (claspmt) R 29923 29925 29615 0 -1 4202560 6033 0 0 0 993 38 0 0 25 0 32 0 29381463 2094813184 144629 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=29925/tid=29930] ppid=29923 vsize=2045716 CPUtime=10.3 cores=0-31
/proc/29925/task/29930/stat : 29930 (claspmt) R 29923 29925 29615 0 -1 4202560 4576 0 0 0 993 37 0 0 22 0 32 0 29381463 2094813184 144629 270582939648 4194304 4964800 140734673764480 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29925/tid=29931] ppid=29923 vsize=2045716 CPUtime=10.71 cores=0-31
/proc/29925/task/29931/stat : 29931 (claspmt) R 29923 29925 29615 0 -1 4202560 4333 0 0 0 1036 35 0 0 25 0 32 0 29381463 2094813184 144629 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670366 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=29925/tid=29932] ppid=29923 vsize=2045716 CPUtime=10.31 cores=0-31
/proc/29925/task/29932/stat : 29932 (claspmt) R 29923 29925 29615 0 -1 4202560 5710 0 0 0 992 39 0 0 25 0 32 0 29381463 2094813184 144629 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669352 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29925/tid=29933] ppid=29923 vsize=2045716 CPUtime=10.33 cores=0-31
/proc/29925/task/29933/stat : 29933 (claspmt) R 29923 29925 29615 0 -1 4202560 5118 0 0 0 993 40 0 0 25 0 32 0 29381463 2094813184 144629 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=29925/tid=29934] ppid=29923 vsize=2045716 CPUtime=10.28 cores=0-31
/proc/29925/task/29934/stat : 29934 (claspmt) R 29923 29925 29615 0 -1 4202560 3969 0 0 0 993 35 0 0 25 0 32 0 29381464 2094813184 144629 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=29925/tid=29935] ppid=29923 vsize=2045716 CPUtime=10.26 cores=0-31
/proc/29925/task/29935/stat : 29935 (claspmt) R 29923 29925 29615 0 -1 4202560 4185 0 0 0 993 33 0 0 25 0 32 0 29381464 2094813184 144629 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=29925/tid=29936] ppid=29923 vsize=2045716 CPUtime=10.33 cores=0-31
/proc/29925/task/29936/stat : 29936 (claspmt) R 29923 29925 29615 0 -1 4202560 5993 0 0 0 994 39 0 0 25 0 32 0 29381464 2094813184 144629 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29925/tid=29937] ppid=29923 vsize=2045716 CPUtime=10.31 cores=0-31
/proc/29925/task/29937/stat : 29937 (claspmt) R 29923 29925 29615 0 -1 4202560 5540 0 0 0 993 38 0 0 25 0 32 0 29381464 2094813184 144629 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=29925/tid=29938] ppid=29923 vsize=2045716 CPUtime=10.01 cores=0-31
/proc/29925/task/29938/stat : 29938 (claspmt) R 29923 29925 29615 0 -1 4202560 4823 0 0 0 962 39 0 0 25 0 32 0 29381464 2094813184 144629 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=29925/tid=29939] ppid=29923 vsize=2045716 CPUtime=10.63 cores=0-31
/proc/29925/task/29939/stat : 29939 (claspmt) R 29923 29925 29615 0 -1 4202560 4507 0 0 0 1028 35 0 0 25 0 32 0 29381464 2094813184 144629 270582939648 4194304 4964800 140734673764480 18446744073709551615 4651391 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=29925/tid=29940] ppid=29923 vsize=2045716 CPUtime=10.31 cores=0-31
/proc/29925/task/29940/stat : 29940 (claspmt) R 29923 29925 29615 0 -1 4202560 5639 0 0 0 994 37 0 0 25 0 32 0 29381464 2094813184 144629 270582939648 4194304 4964800 140734673764480 18446744073709551615 4629451 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=29925/tid=29941] ppid=29923 vsize=2045716 CPUtime=10.32 cores=0-31
/proc/29925/task/29941/stat : 29941 (claspmt) R 29923 29925 29615 0 -1 4202560 5015 0 0 0 996 36 0 0 25 0 32 0 29381464 2094813184 144630 270582939648 4194304 4964800 140734673764480 18446744073709551615 4631168 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=29925/tid=29942] ppid=29923 vsize=2045716 CPUtime=10.25 cores=0-31
/proc/29925/task/29942/stat : 29942 (claspmt) R 29923 29925 29615 0 -1 4202560 4240 0 0 0 993 32 0 0 25 0 32 0 29381464 2094813184 144630 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669008 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=29925/tid=29943] ppid=29923 vsize=2045716 CPUtime=10.29 cores=0-31
/proc/29925/task/29943/stat : 29943 (claspmt) R 29923 29925 29615 0 -1 4202560 4135 0 0 0 994 35 0 0 25 0 32 0 29381464 2094813184 144630 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=29925/tid=29944] ppid=29923 vsize=2045716 CPUtime=10.33 cores=0-31
/proc/29925/task/29944/stat : 29944 (claspmt) R 29923 29925 29615 0 -1 4202560 5726 0 0 0 994 39 0 0 25 0 32 0 29381464 2094813184 144630 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=29925/tid=29945] ppid=29923 vsize=2045716 CPUtime=10.3 cores=0-31
/proc/29925/task/29945/stat : 29945 (claspmt) R 29923 29925 29615 0 -1 4202560 5557 0 0 0 992 38 0 0 25 0 32 0 29381464 2094813184 144630 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=29925/tid=29946] ppid=29923 vsize=2045716 CPUtime=10.27 cores=0-31
/proc/29925/task/29946/stat : 29946 (claspmt) R 29923 29925 29615 0 -1 4202560 4704 0 0 0 992 35 0 0 18 0 32 0 29381464 2094813184 144630 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=29925/tid=29947] ppid=29923 vsize=2045716 CPUtime=10.7 cores=0-31
/proc/29925/task/29947/stat : 29947 (claspmt) R 29923 29925 29615 0 -1 4202560 4294 0 0 0 1037 33 0 0 25 0 32 0 29381464 2094813184 144630 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670691 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29925/tid=29948] ppid=29923 vsize=2045716 CPUtime=10.26 cores=0-31
/proc/29925/task/29948/stat : 29948 (claspmt) R 29923 29925 29615 0 -1 4202560 5865 0 0 0 995 31 0 0 25 0 32 0 29381464 2094813184 144631 270582939648 4194304 4964800 140734673764480 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=29925/tid=29949] ppid=29923 vsize=2045716 CPUtime=10.29 cores=0-31
/proc/29925/task/29949/stat : 29949 (claspmt) R 29923 29925 29615 0 -1 4202560 4926 0 0 0 993 36 0 0 25 0 32 0 29381464 2094813184 144631 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668585 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=29925/tid=29950] ppid=29923 vsize=2045716 CPUtime=10.28 cores=0-31
/proc/29925/task/29950/stat : 29950 (claspmt) R 29923 29925 29615 0 -1 4202560 3945 0 0 0 996 32 0 0 25 0 32 0 29381464 2094813184 144631 270582939648 4194304 4964800 140734673764480 18446744073709551615 4651391 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29925/tid=29951] ppid=29923 vsize=2045716 CPUtime=10.23 cores=0-31
/proc/29925/task/29951/stat : 29951 (claspmt) R 29923 29925 29615 0 -1 4202560 4218 0 0 0 993 30 0 0 25 0 32 0 29381464 2094813184 144631 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=29925/tid=29952] ppid=29923 vsize=2045716 CPUtime=10.32 cores=0-31
/proc/29925/task/29952/stat : 29952 (claspmt) R 29923 29925 29615 0 -1 4202560 5881 0 0 0 993 39 0 0 25 0 32 0 29381464 2094813184 144631 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=29925/tid=29953] ppid=29923 vsize=2045716 CPUtime=10.26 cores=0-31
/proc/29925/task/29953/stat : 29953 (claspmt) R 29923 29925 29615 0 -1 4202560 5850 0 0 0 995 31 0 0 25 0 32 0 29381464 2094813184 144631 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=29925/tid=29954] ppid=29923 vsize=2045716 CPUtime=10.27 cores=0-31
/proc/29925/task/29954/stat : 29954 (claspmt) R 29923 29925 29615 0 -1 4202560 4721 0 0 0 994 33 0 0 25 0 32 0 29381464 2094813184 144631 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=29925/tid=29955] ppid=29923 vsize=2045716 CPUtime=10.66 cores=0-31
/proc/29925/task/29955/stat : 29955 (claspmt) R 29923 29925 29615 0 -1 4202560 4170 0 0 0 1035 31 0 0 25 0 32 0 29381464 2094813184 144631 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=29925/tid=29956] ppid=29923 vsize=2045716 CPUtime=10.34 cores=0-31
/proc/29925/task/29956/stat : 29956 (claspmt) R 29923 29925 29615 0 -1 4202560 5841 0 0 0 992 42 0 0 25 0 32 0 29381464 2094813184 144631 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=29925/tid=29957] ppid=29923 vsize=2045716 CPUtime=10.29 cores=0-31
/proc/29925/task/29957/stat : 29957 (claspmt) R 29923 29925 29615 0 -1 4202560 5090 0 0 0 995 34 0 0 25 0 32 0 29381464 2094813184 144631 270582939648 4194304 4964800 140734673764480 18446744073709551615 4366360 0 0 4096 18946 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 332.03
Current children cumulated vsize (KiB) 2045716

[startup+25.5018 s]
/proc/loadavg: 27.77 30.25 31.35 33/444 29959
/proc/meminfo: memFree=261704492/264257624 swapFree=67111528/67111528
[pid=29925] ppid=29923 vsize=2047828 CPUtime=741.1 cores=0-31
/proc/29925/stat : 29925 (claspmt) R 29923 29925 29615 0 -1 4202496 188669 0 0 0 72928 1182 0 0 25 0 32 0 29381322 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669399 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/29925/statm: 511957 159094 461 189 0 506306 0
[pid=29925/tid=29927] ppid=29923 vsize=2047828 CPUtime=23.13 cores=0-31
/proc/29925/task/29927/stat : 29927 (claspmt) R 29923 29925 29615 0 -1 4202560 4015 0 0 0 2273 40 0 0 18 0 32 0 29381463 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29925/tid=29928] ppid=29923 vsize=2047828 CPUtime=23.11 cores=0-31
/proc/29925/task/29928/stat : 29928 (claspmt) R 29923 29925 29615 0 -1 4202560 6640 0 0 0 2271 40 0 0 25 0 32 0 29381463 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29925/tid=29929] ppid=29923 vsize=2047828 CPUtime=23.1 cores=0-31
/proc/29925/task/29929/stat : 29929 (claspmt) R 29923 29925 29615 0 -1 4202560 6575 0 0 0 2271 39 0 0 25 0 32 0 29381463 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=29925/tid=29930] ppid=29923 vsize=2047828 CPUtime=23.09 cores=0-31
/proc/29925/task/29930/stat : 29930 (claspmt) R 29923 29925 29615 0 -1 4202560 4990 0 0 0 2271 38 0 0 25 0 32 0 29381463 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29925/tid=29931] ppid=29923 vsize=2047828 CPUtime=23.51 cores=0-31
/proc/29925/task/29931/stat : 29931 (claspmt) R 29923 29925 29615 0 -1 4202560 4504 0 0 0 2315 36 0 0 25 0 32 0 29381463 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=29925/tid=29932] ppid=29923 vsize=2047828 CPUtime=23.11 cores=0-31
/proc/29925/task/29932/stat : 29932 (claspmt) R 29923 29925 29615 0 -1 4202560 6205 0 0 0 2270 41 0 0 25 0 32 0 29381463 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669457 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29925/tid=29933] ppid=29923 vsize=2047828 CPUtime=23.12 cores=0-31
/proc/29925/task/29933/stat : 29933 (claspmt) R 29923 29925 29615 0 -1 4202560 5833 0 0 0 2269 43 0 0 25 0 32 0 29381463 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=29925/tid=29934] ppid=29923 vsize=2047828 CPUtime=23.08 cores=0-31
/proc/29925/task/29934/stat : 29934 (claspmt) R 29923 29925 29615 0 -1 4202560 4121 0 0 0 2272 36 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=29925/tid=29935] ppid=29923 vsize=2047828 CPUtime=23.06 cores=0-31
/proc/29925/task/29935/stat : 29935 (claspmt) R 29923 29925 29615 0 -1 4202560 4365 0 0 0 2272 34 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=29925/tid=29936] ppid=29923 vsize=2047828 CPUtime=23.13 cores=0-31
/proc/29925/task/29936/stat : 29936 (claspmt) R 29923 29925 29615 0 -1 4202560 6903 0 0 0 2270 43 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29925/tid=29937] ppid=29923 vsize=2047828 CPUtime=23.1 cores=0-31
/proc/29925/task/29937/stat : 29937 (claspmt) R 29923 29925 29615 0 -1 4202560 5954 0 0 0 2271 39 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=29925/tid=29938] ppid=29923 vsize=2047828 CPUtime=22.44 cores=0-31
/proc/29925/task/29938/stat : 29938 (claspmt) R 29923 29925 29615 0 -1 4202560 5430 0 0 0 2203 41 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670020 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=29925/tid=29939] ppid=29923 vsize=2047828 CPUtime=23.43 cores=0-31
/proc/29925/task/29939/stat : 29939 (claspmt) R 29923 29925 29615 0 -1 4202560 4666 0 0 0 2308 35 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670239 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=29925/tid=29940] ppid=29923 vsize=2047828 CPUtime=23.11 cores=0-31
/proc/29925/task/29940/stat : 29940 (claspmt) R 29923 29925 29615 0 -1 4202560 6320 0 0 0 2271 40 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4627281 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=29925/tid=29941] ppid=29923 vsize=2047828 CPUtime=23.11 cores=0-31
/proc/29925/task/29941/stat : 29941 (claspmt) R 29923 29925 29615 0 -1 4202560 5577 0 0 0 2273 38 0 0 20 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=29925/tid=29942] ppid=29923 vsize=2047828 CPUtime=23.05 cores=0-31
/proc/29925/task/29942/stat : 29942 (claspmt) R 29923 29925 29615 0 -1 4202560 4438 0 0 0 2272 33 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=29925/tid=29943] ppid=29923 vsize=2047828 CPUtime=23.09 cores=0-31
/proc/29925/task/29943/stat : 29943 (claspmt) R 29923 29925 29615 0 -1 4202560 4319 0 0 0 2273 36 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=29925/tid=29944] ppid=29923 vsize=2047828 CPUtime=23.11 cores=0-31
/proc/29925/task/29944/stat : 29944 (claspmt) R 29923 29925 29615 0 -1 4202560 6680 0 0 0 2268 43 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=29925/tid=29945] ppid=29923 vsize=2047828 CPUtime=23.09 cores=0-31
/proc/29925/task/29945/stat : 29945 (claspmt) R 29923 29925 29615 0 -1 4202560 5879 0 0 0 2270 39 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=29925/tid=29946] ppid=29923 vsize=2047828 CPUtime=23.07 cores=0-31
/proc/29925/task/29946/stat : 29946 (claspmt) R 29923 29925 29615 0 -1 4202560 5226 0 0 0 2270 37 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=29925/tid=29947] ppid=29923 vsize=2047828 CPUtime=23.49 cores=0-31
/proc/29925/task/29947/stat : 29947 (claspmt) R 29923 29925 29615 0 -1 4202560 4468 0 0 0 2316 33 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29925/tid=29948] ppid=29923 vsize=2047828 CPUtime=23.06 cores=0-31
/proc/29925/task/29948/stat : 29948 (claspmt) R 29923 29925 29615 0 -1 4202560 6383 0 0 0 2273 33 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=29925/tid=29949] ppid=29923 vsize=2047828 CPUtime=23.09 cores=0-31
/proc/29925/task/29949/stat : 29949 (claspmt) R 29923 29925 29615 0 -1 4202560 5666 0 0 0 2270 39 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=29925/tid=29950] ppid=29923 vsize=2047828 CPUtime=23.07 cores=0-31
/proc/29925/task/29950/stat : 29950 (claspmt) R 29923 29925 29615 0 -1 4202560 4211 0 0 0 2274 33 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29925/tid=29951] ppid=29923 vsize=2047828 CPUtime=23.04 cores=0-31
/proc/29925/task/29951/stat : 29951 (claspmt) R 29923 29925 29615 0 -1 4202560 4361 0 0 0 2273 31 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=29925/tid=29952] ppid=29923 vsize=2047828 CPUtime=23.11 cores=0-31
/proc/29925/task/29952/stat : 29952 (claspmt) R 29923 29925 29615 0 -1 4202560 6443 0 0 0 2270 41 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=29925/tid=29953] ppid=29923 vsize=2047828 CPUtime=23.07 cores=0-31
/proc/29925/task/29953/stat : 29953 (claspmt) R 29923 29925 29615 0 -1 4202560 6273 0 0 0 2274 33 0 0 19 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=29925/tid=29954] ppid=29923 vsize=2047828 CPUtime=23.06 cores=0-31
/proc/29925/task/29954/stat : 29954 (claspmt) R 29923 29925 29615 0 -1 4202560 5448 0 0 0 2271 35 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=29925/tid=29955] ppid=29923 vsize=2047828 CPUtime=23.46 cores=0-31
/proc/29925/task/29955/stat : 29955 (claspmt) R 29923 29925 29615 0 -1 4202560 4366 0 0 0 2315 31 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=29925/tid=29956] ppid=29923 vsize=2047828 CPUtime=23.13 cores=0-31
/proc/29925/task/29956/stat : 29956 (claspmt) R 29923 29925 29615 0 -1 4202560 6281 0 0 0 2270 43 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=29925/tid=29957] ppid=29923 vsize=2047828 CPUtime=23.08 cores=0-31
/proc/29925/task/29957/stat : 29957 (claspmt) R 29923 29925 29615 0 -1 4202560 5802 0 0 0 2271 37 0 0 25 0 32 0 29381464 2096975872 159094 270582939648 4194304 4964800 140734673764480 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 741.1
Current children cumulated vsize (KiB) 2047828

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

[startup+26.3009 s]
/proc/loadavg: 27.77 30.25 31.35 2/413 29959
/proc/meminfo: memFree=261763624/264257624 swapFree=67111528/67111528
[pid=29925] ppid=29923 vsize=1891868 CPUtime=752.51 cores=0-31
/proc/29925/stat : 29925 (claspmt) R 29923 29925 29615 0 -1 4202496 188685 0 0 0 74038 1213 0 0 25 0 1 0 29381322 1937272832 142625 270582939648 4194304 4964800 140734673764480 18446744073709551615 258650613570 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29925/statm: 472967 142625 472 189 0 467316 0
Current children cumulated CPU time (s) 752.51
Current children cumulated vsize (KiB) 1891868

[startup+26.7009 s]
/proc/loadavg: 27.77 30.25 31.35 2/413 29959
/proc/meminfo: memFree=261763624/264257624 swapFree=67111528/67111528
[pid=29925] ppid=29923 vsize=1834124 CPUtime=752.88 cores=0-31
/proc/29925/stat : 29925 (claspmt) R 29923 29925 29615 0 -1 4202496 188685 0 0 0 74074 1214 0 0 25 0 1 0 29381322 1878142976 127978 270582939648 4194304 4964800 140734673764480 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/29925/statm: 458531 127978 472 189 0 452880 0
Current children cumulated CPU time (s) 752.88
Current children cumulated vsize (KiB) 1834124

[startup+26.9009 s]
/proc/loadavg: 27.77 30.25 31.35 2/413 29959
/proc/meminfo: memFree=261763624/264257624 swapFree=67111528/67111528
[pid=29925] ppid=29923 vsize=0 CPUtime=753.08 cores=0-31
/proc/29925/stat : 29925 (claspmt) R 29923 29925 29615 0 -1 4202500 188686 0 0 0 74091 1217 0 0 25 0 1 0 29381322 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/29925/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 753.08
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 26.9155
CPU time (s): 753.096
CPU user time (s): 740.91
CPU system time (s): 12.1861
CPU usage (%): 2798.01
Max. virtual memory (cumulated for all children) (KiB): 2047828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 740.91
system time used= 12.1861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188686
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= 95558
involuntary context switches= 1456

runsolver used 0.158975 second user time and 0.673897 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-09 19:19:04
IDJOB=3472423
IDBENCH=82473
IDSOLVER=1961
FILE ID=node200/3472423-1307639944
RUNJOBID= node200-1307639768-29629
PBS_JOBID= 13547780
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-k45-pdtviseisenberg1-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-3472423-1307639944/watcher-3472423-1307639944 -o /tmp/evaluation-result-3472423-1307639944/solver-3472423-1307639944 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472423-1307639944.cnf

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

MD5SUM BENCH= ab962ce6f14e7741edd1ff987decb0b7
RANDOM SEED=362752759

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:      262332396 kB
Buffers:        235160 kB
Cached:        1392348 kB
SwapCached:          0 kB
Active:         255880 kB
Inactive:      1435228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262332396 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5980 kB
Writeback:           0 kB
AnonPages:       63132 kB
Mapped:          14476 kB
Slab:           152304 kB
PageTables:       3516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   166332 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= 61736 MiB
End job on node200 at 2011-06-09 19:19:31