Trace number 3472500

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 21500.1 674.299

General information on the benchmark

NameSAT03/industrial/maris/CNF/
gripper13u.shuffled-as.sat03-395.cnf
MD5SUM3889b7ed90cc1fbe8bc8d140a1763832
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark21500.1
Satisfiable
(Un)Satisfiability was proved
Number of variables4268
Number of clauses38965
Sum of the clauses size86077
Maximum clause length28
Minimum clause length1
Number of clauses of size 169
Number of clauses of size 235984
Number of clauses of size 3104
Number of clauses of size 42704
Number of clauses of size 50
Number of clauses of size over 5104

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...783366/instance-3472500-1307783366.cnf
0.09/0.14	c Solving...
21499.97/674.28	s UNSATISFIABLE
21499.97/674.28	
21499.97/674.28	c Models        : 0     
21499.97/674.28	c Time          : 673.314s (Solving: 673.18s 1st Model: 0.00s Unsat: 673.18s)
21499.97/674.28	c CPU Time      : 21499.080s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3472500-1307783366/watcher-3472500-1307783366 -o /tmp/evaluation-result-3472500-1307783366/solver-3472500-1307783366 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472500-1307783366.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: 19.16 27.38 30.33 1/413 9244
/proc/meminfo: memFree=262088560/264257624 swapFree=67111528/67111528
[pid=9244] ppid=9242 vsize=23212 CPUtime=0.02 cores=0-31
/proc/9244/stat : 9244 (claspmt) R 9242 9244 8998 0 -1 4202496 1188 0 0 0 2 0 0 0 23 0 1 0 43723457 23769088 994 270582939648 4194304 4964800 140734614124816 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9244/statm: 5803 994 386 189 0 677 0

[startup+0.0363699 s]
/proc/loadavg: 19.16 27.38 30.33 1/413 9244
/proc/meminfo: memFree=262088560/264257624 swapFree=67111528/67111528
[pid=9244] ppid=9242 vsize=23212 CPUtime=0.02 cores=0-31
/proc/9244/stat : 9244 (claspmt) R 9242 9244 8998 0 -1 4202496 1215 0 0 0 2 0 0 0 23 0 1 0 43723457 23769088 1021 270582939648 4194304 4964800 140734614124816 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9244/statm: 5803 1022 386 189 0 677 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23212

[startup+0.100455 s]
/proc/loadavg: 19.16 27.38 30.33 1/413 9244
/proc/meminfo: memFree=262088560/264257624 swapFree=67111528/67111528
[pid=9244] ppid=9242 vsize=24480 CPUtime=0.09 cores=0-31
/proc/9244/stat : 9244 (claspmt) R 9242 9244 8998 0 -1 4202496 1583 0 0 0 9 0 0 0 23 0 1 0 43723457 25067520 1349 270582939648 4194304 4964800 140734614124816 18446744073709551615 4607486 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9244/statm: 6120 1349 400 189 0 994 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24480

[startup+0.300456 s]
/proc/loadavg: 19.16 27.38 30.33 1/413 9244
/proc/meminfo: memFree=262088560/264257624 swapFree=67111528/67111528
[pid=9244] ppid=9242 vsize=1797852 CPUtime=0.81 cores=0-31
/proc/9244/stat : 9244 (claspmt) R 9242 9244 8998 0 -1 4202496 8703 0 0 0 56 25 0 0 17 0 32 0 43723457 1841000448 7373 270582939648 4194304 4964800 140734614124816 18446744073709551615 4342199 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/9244/statm: 449463 7374 450 189 0 443812 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 1797852

[startup+0.700354 s]
/proc/loadavg: 19.16 27.38 30.33 1/413 9244
/proc/meminfo: memFree=262088560/264257624 swapFree=67111528/67111528
[pid=9244] ppid=9242 vsize=1798384 CPUtime=11.04 cores=0-31
/proc/9244/stat : 9244 (claspmt) R 9242 9244 8998 0 -1 4202496 12411 0 0 0 1067 37 0 0 17 0 32 0 43723457 1841545216 11078 270582939648 4194304 4964800 140734614124816 18446744073709551615 4320890 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/9244/statm: 449596 11079 461 189 0 443945 0
Current children cumulated CPU time (s) 11.04
Current children cumulated vsize (KiB) 1798384

[startup+1.50138 s]
/proc/loadavg: 20.19 27.46 30.34 33/445 9276
/proc/meminfo: memFree=262033888/264257624 swapFree=67111528/67111528
[pid=9244] ppid=9242 vsize=1800264 CPUtime=36.12 cores=0-31
/proc/9244/stat : 9244 (claspmt) R 9242 9244 8998 0 -1 4202496 23504 0 0 0 3537 75 0 0 18 0 32 0 43723457 1843470336 22171 270582939648 4194304 4964800 140734614124816 18446744073709551615 4342154 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/9244/statm: 450066 22171 461 189 0 444415 0
[pid=9244/tid=9246] ppid=9242 vsize=1800264 CPUtime=1.13 cores=0-31
/proc/9244/task/9246/stat : 9246 (claspmt) R 9242 9244 8998 0 -1 4202560 505 0 0 0 112 1 0 0 18 0 32 0 43723471 1843470336 22171 270582939648 4194304 4964800 140734614124816 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9244/tid=9247] ppid=9242 vsize=1800264 CPUtime=1.08 cores=0-31
/proc/9244/task/9247/stat : 9247 (claspmt) R 9242 9244 8998 0 -1 4202560 1044 0 0 0 104 4 0 0 18 0 32 0 43723471 1843470336 22171 270582939648 4194304 4964800 140734614124816 18446744073709551615 4660185 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9244/tid=9248] ppid=9242 vsize=1800264 CPUtime=1.08 cores=0-31
/proc/9244/task/9248/stat : 9248 (claspmt) R 9242 9244 8998 0 -1 4202560 801 0 0 0 105 3 0 0 18 0 32 0 43723471 1843470336 22171 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9244/tid=9249] ppid=9242 vsize=1800264 CPUtime=1.13 cores=0-31
/proc/9244/task/9249/stat : 9249 (claspmt) R 9242 9244 8998 0 -1 4202560 561 0 0 0 111 2 0 0 17 0 32 0 43723471 1843470336 22171 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9244/tid=9250] ppid=9242 vsize=1800264 CPUtime=1.27 cores=0-31
/proc/9244/task/9250/stat : 9250 (claspmt) R 9242 9244 8998 0 -1 4202560 282 0 0 0 126 1 0 0 19 0 32 0 43723471 1843470336 22171 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669324 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9244/tid=9251] ppid=9242 vsize=1800264 CPUtime=1.08 cores=0-31
/proc/9244/task/9251/stat : 9251 (claspmt) R 9242 9244 8998 0 -1 4202560 661 0 0 0 106 2 0 0 18 0 32 0 43723471 1843470336 22174 270582939648 4194304 4964800 140734614124816 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9244/tid=9252] ppid=9242 vsize=1800264 CPUtime=1.08 cores=0-31
/proc/9244/task/9252/stat : 9252 (claspmt) R 9242 9244 8998 0 -1 4202560 862 0 0 0 105 3 0 0 18 0 32 0 43723471 1843470336 22174 270582939648 4194304 4964800 140734614124816 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9244/tid=9253] ppid=9242 vsize=1800264 CPUtime=1.13 cores=0-31
/proc/9244/task/9253/stat : 9253 (claspmt) R 9242 9244 8998 0 -1 4202560 560 0 0 0 111 2 0 0 18 0 32 0 43723471 1843470336 22174 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9244/tid=9254] ppid=9242 vsize=1800264 CPUtime=1.12 cores=0-31
/proc/9244/task/9254/stat : 9254 (claspmt) R 9242 9244 8998 0 -1 4202560 569 0 0 0 111 1 0 0 18 0 32 0 43723471 1843470336 22174 270582939648 4194304 4964800 140734614124816 18446744073709551615 4338784 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9244/tid=9255] ppid=9242 vsize=1800264 CPUtime=1.06 cores=0-31
/proc/9244/task/9255/stat : 9255 (claspmt) R 9242 9244 8998 0 -1 4202560 1195 0 0 0 104 2 0 0 18 0 32 0 43723471 1843470336 22174 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9244/tid=9256] ppid=9242 vsize=1800264 CPUtime=1.08 cores=0-31
/proc/9244/task/9256/stat : 9256 (claspmt) R 9242 9244 8998 0 -1 4202560 932 0 0 0 106 2 0 0 18 0 32 0 43723471 1843470336 22174 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9244/tid=9257] ppid=9242 vsize=1800264 CPUtime=1.13 cores=0-31
/proc/9244/task/9257/stat : 9257 (claspmt) R 9242 9244 8998 0 -1 4202560 634 0 0 0 112 1 0 0 18 0 32 0 43723471 1843470336 22174 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9244/tid=9258] ppid=9242 vsize=1800264 CPUtime=1.25 cores=0-31
/proc/9244/task/9258/stat : 9258 (claspmt) R 9242 9244 8998 0 -1 4202560 341 0 0 0 125 0 0 0 19 0 32 0 43723471 1843470336 22174 270582939648 4194304 4964800 140734614124816 18446744073709551615 4399598 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9244/tid=9259] ppid=9242 vsize=1800264 CPUtime=1.1 cores=0-31
/proc/9244/task/9259/stat : 9259 (claspmt) R 9242 9244 8998 0 -1 4202560 705 0 0 0 108 2 0 0 18 0 32 0 43723471 1843470336 22175 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9244/tid=9260] ppid=9242 vsize=1800264 CPUtime=1.07 cores=0-31
/proc/9244/task/9260/stat : 9260 (claspmt) R 9242 9244 8998 0 -1 4202560 802 0 0 0 105 2 0 0 18 0 32 0 43723471 1843470336 22176 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669493 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9244/tid=9261] ppid=9242 vsize=1800264 CPUtime=1.14 cores=0-31
/proc/9244/task/9261/stat : 9261 (claspmt) R 9242 9244 8998 0 -1 4202560 566 0 0 0 112 2 0 0 18 0 32 0 43723471 1843470336 22176 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9244/tid=9262] ppid=9242 vsize=1800264 CPUtime=1.14 cores=0-31
/proc/9244/task/9262/stat : 9262 (claspmt) R 9242 9244 8998 0 -1 4202560 553 0 0 0 112 2 0 0 18 0 32 0 43723471 1843470336 22176 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669733 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9244/tid=9263] ppid=9242 vsize=1800264 CPUtime=1.07 cores=0-31
/proc/9244/task/9263/stat : 9263 (claspmt) R 9242 9244 8998 0 -1 4202560 1151 0 0 0 104 3 0 0 18 0 32 0 43723471 1843470336 22177 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9244/tid=9264] ppid=9242 vsize=1800264 CPUtime=1.08 cores=0-31
/proc/9244/task/9264/stat : 9264 (claspmt) R 9242 9244 8998 0 -1 4202560 831 0 0 0 106 2 0 0 18 0 32 0 43723471 1843470336 22177 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669500 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9244/tid=9265] ppid=9242 vsize=1800264 CPUtime=1.12 cores=0-31
/proc/9244/task/9265/stat : 9265 (claspmt) R 9242 9244 8998 0 -1 4202560 577 0 0 0 111 1 0 0 18 0 32 0 43723471 1843470336 22177 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9244/tid=9266] ppid=9242 vsize=1800264 CPUtime=1.27 cores=0-31
/proc/9244/task/9266/stat : 9266 (claspmt) R 9242 9244 8998 0 -1 4202560 338 0 0 0 126 1 0 0 19 0 32 0 43723471 1843470336 22177 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9244/tid=9267] ppid=9242 vsize=1800264 CPUtime=1.07 cores=0-31
/proc/9244/task/9267/stat : 9267 (claspmt) R 9242 9244 8998 0 -1 4202560 679 0 0 0 106 1 0 0 18 0 32 0 43723471 1843470336 22177 270582939648 4194304 4964800 140734614124816 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9244/tid=9268] ppid=9242 vsize=1800264 CPUtime=1.08 cores=0-31
/proc/9244/task/9268/stat : 9268 (claspmt) R 9242 9244 8998 0 -1 4202560 904 0 0 0 105 3 0 0 18 0 32 0 43723471 1843470336 22177 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9244/tid=9269] ppid=9242 vsize=1800264 CPUtime=1.13 cores=0-31
/proc/9244/task/9269/stat : 9269 (claspmt) R 9242 9244 8998 0 -1 4202560 546 0 0 0 112 1 0 0 18 0 32 0 43723471 1843470336 22177 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9244/tid=9270] ppid=9242 vsize=1800264 CPUtime=1.12 cores=0-31
/proc/9244/task/9270/stat : 9270 (claspmt) R 9242 9244 8998 0 -1 4202560 525 0 0 0 110 2 0 0 18 0 32 0 43723471 1843470336 22177 270582939648 4194304 4964800 140734614124816 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9244/tid=9271] ppid=9242 vsize=1800264 CPUtime=1.03 cores=0-31
/proc/9244/task/9271/stat : 9271 (claspmt) R 9242 9244 8998 0 -1 4202560 1059 0 0 0 100 3 0 0 18 0 32 0 43723472 1843470336 22177 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9244/tid=9272] ppid=9242 vsize=1800264 CPUtime=1.08 cores=0-31
/proc/9244/task/9272/stat : 9272 (claspmt) R 9242 9244 8998 0 -1 4202560 739 0 0 0 107 1 0 0 18 0 32 0 43723472 1843470336 22177 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9244/tid=9273] ppid=9242 vsize=1800264 CPUtime=1.12 cores=0-31
/proc/9244/task/9273/stat : 9273 (claspmt) R 9242 9244 8998 0 -1 4202560 628 0 0 0 111 1 0 0 18 0 32 0 43723472 1843470336 22178 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9244/tid=9274] ppid=9242 vsize=1800264 CPUtime=1.25 cores=0-31
/proc/9244/task/9274/stat : 9274 (claspmt) R 9242 9244 8998 0 -1 4202560 337 0 0 0 125 0 0 0 19 0 32 0 43723472 1843470336 22178 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9244/tid=9275] ppid=9242 vsize=1800264 CPUtime=1.07 cores=0-31
/proc/9244/task/9275/stat : 9275 (claspmt) R 9242 9244 8998 0 -1 4202560 733 0 0 0 105 2 0 0 18 0 32 0 43723472 1843470336 22178 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9244/tid=9276] ppid=9242 vsize=1800264 CPUtime=0.95 cores=0-31
/proc/9244/task/9276/stat : 9276 (claspmt) R 9242 9244 8998 0 -1 4202560 805 0 0 0 92 3 0 0 18 0 32 0 43723472 1843470336 22178 270582939648 4194304 4964800 140734614124816 18446744073709551615 4338804 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 36.12
Current children cumulated vsize (KiB) 1800264

[startup+3.10144 s]
/proc/loadavg: 20.19 27.46 30.34 33/445 9276
/proc/meminfo: memFree=261990116/264257624 swapFree=67111528/67111528
[pid=9244] ppid=9242 vsize=1800952 CPUtime=87.1 cores=0-31
/proc/9244/stat : 9244 (claspmt) R 9242 9244 8998 0 -1 4202496 33272 0 0 0 8602 108 0 0 18 0 32 0 43723457 1844174848 31939 270582939648 4194304 4964800 140734614124816 18446744073709551615 4653507 0 0 4096 18946 18446744073709551615 0 0 17 31 0 0 0
/proc/9244/statm: 450238 31939 461 189 0 444587 0
[pid=9244/tid=9246] ppid=9242 vsize=1800952 CPUtime=2.72 cores=0-31
/proc/9244/task/9246/stat : 9246 (claspmt) R 9242 9244 8998 0 -1 4202560 693 0 0 0 271 1 0 0 20 0 32 0 43723471 1844174848 31939 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9244/tid=9247] ppid=9242 vsize=1800952 CPUtime=2.67 cores=0-31
/proc/9244/task/9247/stat : 9247 (claspmt) R 9242 9244 8998 0 -1 4202560 1594 0 0 0 262 5 0 0 20 0 32 0 43723471 1844174848 31939 270582939648 4194304 4964800 140734614124816 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9244/tid=9248] ppid=9242 vsize=1800952 CPUtime=2.68 cores=0-31
/proc/9244/task/9248/stat : 9248 (claspmt) R 9242 9244 8998 0 -1 4202560 1136 0 0 0 264 4 0 0 19 0 32 0 43723471 1844174848 31939 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9244/tid=9249] ppid=9242 vsize=1800952 CPUtime=2.72 cores=0-31
/proc/9244/task/9249/stat : 9249 (claspmt) R 9242 9244 8998 0 -1 4202560 797 0 0 0 269 3 0 0 20 0 32 0 43723471 1844174848 31939 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9244/tid=9250] ppid=9242 vsize=1800952 CPUtime=2.87 cores=0-31
/proc/9244/task/9250/stat : 9250 (claspmt) R 9242 9244 8998 0 -1 4202560 304 0 0 0 286 1 0 0 23 0 32 0 43723471 1844174848 31939 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670640 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9244/tid=9251] ppid=9242 vsize=1800952 CPUtime=2.67 cores=0-31
/proc/9244/task/9251/stat : 9251 (claspmt) R 9242 9244 8998 0 -1 4202560 942 0 0 0 265 2 0 0 20 0 32 0 43723471 1844174848 31939 270582939648 4194304 4964800 140734614124816 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9244/tid=9252] ppid=9242 vsize=1800952 CPUtime=2.67 cores=0-31
/proc/9244/task/9252/stat : 9252 (claspmt) R 9242 9244 8998 0 -1 4202560 1326 0 0 0 262 5 0 0 20 0 32 0 43723471 1844174848 31939 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9244/tid=9253] ppid=9242 vsize=1800952 CPUtime=2.72 cores=0-31
/proc/9244/task/9253/stat : 9253 (claspmt) R 9242 9244 8998 0 -1 4202560 789 0 0 0 269 3 0 0 20 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 258650614661 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9244/tid=9254] ppid=9242 vsize=1800952 CPUtime=2.72 cores=0-31
/proc/9244/task/9254/stat : 9254 (claspmt) R 9242 9244 8998 0 -1 4202560 776 0 0 0 270 2 0 0 20 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9244/tid=9255] ppid=9242 vsize=1800952 CPUtime=2.64 cores=0-31
/proc/9244/task/9255/stat : 9255 (claspmt) R 9242 9244 8998 0 -1 4202560 1731 0 0 0 261 3 0 0 18 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4660110 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9244/tid=9256] ppid=9242 vsize=1800952 CPUtime=2.68 cores=0-31
/proc/9244/task/9256/stat : 9256 (claspmt) R 9242 9244 8998 0 -1 4202560 1259 0 0 0 265 3 0 0 18 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9244/tid=9257] ppid=9242 vsize=1800952 CPUtime=2.72 cores=0-31
/proc/9244/task/9257/stat : 9257 (claspmt) R 9242 9244 8998 0 -1 4202560 844 0 0 0 270 2 0 0 20 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9244/tid=9258] ppid=9242 vsize=1800952 CPUtime=2.85 cores=0-31
/proc/9244/task/9258/stat : 9258 (claspmt) R 9242 9244 8998 0 -1 4202560 370 0 0 0 285 0 0 0 23 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670144 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9244/tid=9259] ppid=9242 vsize=1800952 CPUtime=2.7 cores=0-31
/proc/9244/task/9259/stat : 9259 (claspmt) R 9242 9244 8998 0 -1 4202560 928 0 0 0 267 3 0 0 18 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9244/tid=9260] ppid=9242 vsize=1800952 CPUtime=2.66 cores=0-31
/proc/9244/task/9260/stat : 9260 (claspmt) R 9242 9244 8998 0 -1 4202560 1331 0 0 0 263 3 0 0 19 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9244/tid=9261] ppid=9242 vsize=1800952 CPUtime=2.74 cores=0-31
/proc/9244/task/9261/stat : 9261 (claspmt) R 9242 9244 8998 0 -1 4202560 753 0 0 0 271 3 0 0 18 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9244/tid=9262] ppid=9242 vsize=1800952 CPUtime=2.74 cores=0-31
/proc/9244/task/9262/stat : 9262 (claspmt) R 9242 9244 8998 0 -1 4202560 786 0 0 0 271 3 0 0 20 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9244/tid=9263] ppid=9242 vsize=1800952 CPUtime=2.67 cores=0-31
/proc/9244/task/9263/stat : 9263 (claspmt) R 9242 9244 8998 0 -1 4202560 1574 0 0 0 262 5 0 0 20 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4320934 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9244/tid=9264] ppid=9242 vsize=1800952 CPUtime=2.68 cores=0-31
/proc/9244/task/9264/stat : 9264 (claspmt) R 9242 9244 8998 0 -1 4202560 1062 0 0 0 264 4 0 0 20 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9244/tid=9265] ppid=9242 vsize=1800952 CPUtime=2.71 cores=0-31
/proc/9244/task/9265/stat : 9265 (claspmt) R 9242 9244 8998 0 -1 4202560 801 0 0 0 269 2 0 0 19 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669360 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9244/tid=9266] ppid=9242 vsize=1800952 CPUtime=2.87 cores=0-31
/proc/9244/task/9266/stat : 9266 (claspmt) R 9242 9244 8998 0 -1 4202560 379 0 0 0 286 1 0 0 23 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9244/tid=9267] ppid=9242 vsize=1800952 CPUtime=2.68 cores=0-31
/proc/9244/task/9267/stat : 9267 (claspmt) R 9242 9244 8998 0 -1 4202560 992 0 0 0 265 3 0 0 19 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9244/tid=9268] ppid=9242 vsize=1800952 CPUtime=2.67 cores=0-31
/proc/9244/task/9268/stat : 9268 (claspmt) R 9242 9244 8998 0 -1 4202560 1731 0 0 0 261 6 0 0 20 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9244/tid=9269] ppid=9242 vsize=1800952 CPUtime=2.73 cores=0-31
/proc/9244/task/9269/stat : 9269 (claspmt) R 9242 9244 8998 0 -1 4202560 723 0 0 0 271 2 0 0 18 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4342228 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9244/tid=9270] ppid=9242 vsize=1800952 CPUtime=2.71 cores=0-31
/proc/9244/task/9270/stat : 9270 (claspmt) R 9242 9244 8998 0 -1 4202560 714 0 0 0 269 2 0 0 18 0 32 0 43723471 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669157 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9244/tid=9271] ppid=9242 vsize=1800952 CPUtime=2.6 cores=0-31
/proc/9244/task/9271/stat : 9271 (claspmt) R 9242 9244 8998 0 -1 4202560 1685 0 0 0 254 6 0 0 18 0 32 0 43723472 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9244/tid=9272] ppid=9242 vsize=1800952 CPUtime=2.68 cores=0-31
/proc/9244/task/9272/stat : 9272 (claspmt) R 9242 9244 8998 0 -1 4202560 981 0 0 0 266 2 0 0 18 0 32 0 43723472 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9244/tid=9273] ppid=9242 vsize=1800952 CPUtime=2.71 cores=0-31
/proc/9244/task/9273/stat : 9273 (claspmt) R 9242 9244 8998 0 -1 4202560 931 0 0 0 269 2 0 0 18 0 32 0 43723472 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670392 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9244/tid=9274] ppid=9242 vsize=1800952 CPUtime=2.85 cores=0-31
/proc/9244/task/9274/stat : 9274 (claspmt) R 9242 9244 8998 0 -1 4202560 372 0 0 0 285 0 0 0 23 0 32 0 43723472 1844174848 31940 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9244/tid=9275] ppid=9242 vsize=1800952 CPUtime=2.66 cores=0-31

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

/proc/9244/task/9246/stat : 9246 (claspmt) R 9242 9244 8998 0 -1 4202560 6301 0 0 0 66799 13 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9244/tid=9247] ppid=9242 vsize=1859740 CPUtime=667.91 cores=0-31
/proc/9244/task/9247/stat : 9247 (claspmt) R 9242 9244 8998 0 -1 4202560 10053 0 0 0 66769 22 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9244/tid=9248] ppid=9242 vsize=1859740 CPUtime=668.11 cores=0-31
/proc/9244/task/9248/stat : 9248 (claspmt) R 9242 9244 8998 0 -1 4202560 5531 0 0 0 66795 16 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9244/tid=9249] ppid=9242 vsize=1859740 CPUtime=668.18 cores=0-31
/proc/9244/task/9249/stat : 9249 (claspmt) R 9242 9244 8998 0 -1 4202560 7639 0 0 0 66795 23 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9244/tid=9250] ppid=9242 vsize=1859740 CPUtime=668.31 cores=0-31
/proc/9244/task/9250/stat : 9250 (claspmt) R 9242 9244 8998 0 -1 4202560 8650 0 0 0 66808 23 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9244/tid=9251] ppid=9242 vsize=1859740 CPUtime=668.1 cores=0-31
/proc/9244/task/9251/stat : 9251 (claspmt) R 9242 9244 8998 0 -1 4202560 5288 0 0 0 66792 18 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9244/tid=9252] ppid=9242 vsize=1859740 CPUtime=668.11 cores=0-31
/proc/9244/task/9252/stat : 9252 (claspmt) R 9242 9244 8998 0 -1 4202560 23997 0 0 0 66727 84 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9244/tid=9253] ppid=9242 vsize=1859740 CPUtime=668.16 cores=0-31
/proc/9244/task/9253/stat : 9253 (claspmt) R 9242 9244 8998 0 -1 4202560 4987 0 0 0 66801 15 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9244/tid=9254] ppid=9242 vsize=1859740 CPUtime=668.13 cores=0-31
/proc/9244/task/9254/stat : 9254 (claspmt) R 9242 9244 8998 0 -1 4202560 7215 0 0 0 66796 17 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670256 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9244/tid=9255] ppid=9242 vsize=1859740 CPUtime=668.06 cores=0-31
/proc/9244/task/9255/stat : 9255 (claspmt) R 9242 9244 8998 0 -1 4202560 11527 0 0 0 66782 24 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9244/tid=9256] ppid=9242 vsize=1859740 CPUtime=668.1 cores=0-31
/proc/9244/task/9256/stat : 9256 (claspmt) R 9242 9244 8998 0 -1 4202560 5663 0 0 0 66796 14 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4321023 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9244/tid=9257] ppid=9242 vsize=1859740 CPUtime=668.14 cores=0-31
/proc/9244/task/9257/stat : 9257 (claspmt) R 9242 9244 8998 0 -1 4202560 9624 0 0 0 66788 26 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9244/tid=9258] ppid=9242 vsize=1859740 CPUtime=668.3 cores=0-31
/proc/9244/task/9258/stat : 9258 (claspmt) R 9242 9244 8998 0 -1 4202560 8007 0 0 0 66809 21 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9244/tid=9259] ppid=9242 vsize=1859740 CPUtime=668.13 cores=0-31
/proc/9244/task/9259/stat : 9259 (claspmt) R 9242 9244 8998 0 -1 4202560 4998 0 0 0 66800 13 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9244/tid=9260] ppid=9242 vsize=1859740 CPUtime=668.08 cores=0-31
/proc/9244/task/9260/stat : 9260 (claspmt) R 9242 9244 8998 0 -1 4202560 25767 0 0 0 66720 88 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9244/tid=9261] ppid=9242 vsize=1859740 CPUtime=662.75 cores=0-31
/proc/9244/task/9261/stat : 9261 (claspmt) R 9242 9244 8998 0 -1 4202560 4595 0 0 0 66261 14 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9244/tid=9262] ppid=9242 vsize=1859740 CPUtime=668.14 cores=0-31
/proc/9244/task/9262/stat : 9262 (claspmt) R 9242 9244 8998 0 -1 4202560 7917 0 0 0 66795 19 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9244/tid=9263] ppid=9242 vsize=1859740 CPUtime=668.1 cores=0-31
/proc/9244/task/9263/stat : 9263 (claspmt) R 9242 9244 8998 0 -1 4202560 11423 0 0 0 66785 25 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669396 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9244/tid=9264] ppid=9242 vsize=1859740 CPUtime=668.11 cores=0-31
/proc/9244/task/9264/stat : 9264 (claspmt) R 9242 9244 8998 0 -1 4202560 5625 0 0 0 66794 17 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9244/tid=9265] ppid=9242 vsize=1859740 CPUtime=668.11 cores=0-31
/proc/9244/task/9265/stat : 9265 (claspmt) R 9242 9244 8998 0 -1 4202560 10041 0 0 0 66783 28 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9244/tid=9266] ppid=9242 vsize=1859740 CPUtime=668.29 cores=0-31
/proc/9244/task/9266/stat : 9266 (claspmt) R 9242 9244 8998 0 -1 4202560 7147 0 0 0 66808 21 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9244/tid=9267] ppid=9242 vsize=1859740 CPUtime=668.09 cores=0-31
/proc/9244/task/9267/stat : 9267 (claspmt) R 9242 9244 8998 0 -1 4202560 6417 0 0 0 66791 18 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9244/tid=9268] ppid=9242 vsize=1859740 CPUtime=668.1 cores=0-31
/proc/9244/task/9268/stat : 9268 (claspmt) R 9242 9244 8998 0 -1 4202560 22806 0 0 0 66733 77 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9244/tid=9269] ppid=9242 vsize=1859740 CPUtime=668.17 cores=0-31
/proc/9244/task/9269/stat : 9269 (claspmt) R 9242 9244 8998 0 -1 4202560 4971 0 0 0 66802 15 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9244/tid=9270] ppid=9242 vsize=1859740 CPUtime=667.85 cores=0-31
/proc/9244/task/9270/stat : 9270 (claspmt) R 9242 9244 8998 0 -1 4202560 6745 0 0 0 66761 24 0 0 25 0 32 0 43723471 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9244/tid=9271] ppid=9242 vsize=1859740 CPUtime=658.17 cores=0-31
/proc/9244/task/9271/stat : 9271 (claspmt) R 9242 9244 8998 0 -1 4202560 10071 0 0 0 65798 19 0 0 25 0 32 0 43723472 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9244/tid=9272] ppid=9242 vsize=1859740 CPUtime=668.1 cores=0-31
/proc/9244/task/9272/stat : 9272 (claspmt) R 9242 9244 8998 0 -1 4202560 5199 0 0 0 66795 15 0 0 25 0 32 0 43723472 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9244/tid=9273] ppid=9242 vsize=1859740 CPUtime=668.15 cores=0-31
/proc/9244/task/9273/stat : 9273 (claspmt) R 9242 9244 8998 0 -1 4202560 8759 0 0 0 66790 25 0 0 25 0 32 0 43723472 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9244/tid=9274] ppid=9242 vsize=1859740 CPUtime=668.26 cores=0-31
/proc/9244/task/9274/stat : 9274 (claspmt) R 9242 9244 8998 0 -1 4202560 9544 0 0 0 66801 25 0 0 25 0 32 0 43723472 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9244/tid=9275] ppid=9242 vsize=1859740 CPUtime=668.08 cores=0-31
/proc/9244/task/9275/stat : 9275 (claspmt) R 9242 9244 8998 0 -1 4202560 5066 0 0 0 66792 16 0 0 25 0 32 0 43723472 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9244/tid=9276] ppid=9242 vsize=1859740 CPUtime=667.97 cores=0-31
/proc/9244/task/9276/stat : 9276 (claspmt) R 9242 9244 8998 0 -1 4202560 27607 0 0 0 66701 96 0 0 25 0 32 0 43723472 1904373760 300838 270582939648 4194304 4964800 140734614124816 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 21361.5
Current children cumulated vsize (KiB) 1859740

[startup+671.902 s]
/proc/loadavg: 32.00 31.52 31.19 33/445 9294
/proc/meminfo: memFree=260893004/264257624 swapFree=67111528/67111528
[pid=9244] ppid=9242 vsize=1859740 CPUtime=21463.2 cores=0-31
/proc/9244/stat : 9244 (claspmt) R 9242 9244 8998 0 -1 4202496 306256 0 0 0 2145412 906 0 0 25 0 32 0 43723457 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670343 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/9244/statm: 464935 301057 463 189 0 459284 0
[pid=9244/tid=9246] ppid=9242 vsize=1859740 CPUtime=671.3 cores=0-31
/proc/9244/task/9246/stat : 9246 (claspmt) R 9242 9244 8998 0 -1 4202560 6301 0 0 0 67117 13 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9244/tid=9247] ppid=9242 vsize=1859740 CPUtime=671.09 cores=0-31
/proc/9244/task/9247/stat : 9247 (claspmt) R 9242 9244 8998 0 -1 4202560 10053 0 0 0 67087 22 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9244/tid=9248] ppid=9242 vsize=1859740 CPUtime=671.29 cores=0-31
/proc/9244/task/9248/stat : 9248 (claspmt) R 9242 9244 8998 0 -1 4202560 5531 0 0 0 67113 16 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9244/tid=9249] ppid=9242 vsize=1859740 CPUtime=671.36 cores=0-31
/proc/9244/task/9249/stat : 9249 (claspmt) R 9242 9244 8998 0 -1 4202560 7693 0 0 0 67113 23 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9244/tid=9250] ppid=9242 vsize=1859740 CPUtime=671.48 cores=0-31
/proc/9244/task/9250/stat : 9250 (claspmt) R 9242 9244 8998 0 -1 4202560 8693 0 0 0 67125 23 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9244/tid=9251] ppid=9242 vsize=1859740 CPUtime=671.28 cores=0-31
/proc/9244/task/9251/stat : 9251 (claspmt) R 9242 9244 8998 0 -1 4202560 5288 0 0 0 67110 18 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9244/tid=9252] ppid=9242 vsize=1859740 CPUtime=671.29 cores=0-31
/proc/9244/task/9252/stat : 9252 (claspmt) R 9242 9244 8998 0 -1 4202560 23997 0 0 0 67045 84 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9244/tid=9253] ppid=9242 vsize=1859740 CPUtime=671.34 cores=0-31
/proc/9244/task/9253/stat : 9253 (claspmt) R 9242 9244 8998 0 -1 4202560 4987 0 0 0 67119 15 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9244/tid=9254] ppid=9242 vsize=1859740 CPUtime=671.31 cores=0-31
/proc/9244/task/9254/stat : 9254 (claspmt) R 9242 9244 8998 0 -1 4202560 7216 0 0 0 67114 17 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9244/tid=9255] ppid=9242 vsize=1859740 CPUtime=671.24 cores=0-31
/proc/9244/task/9255/stat : 9255 (claspmt) R 9242 9244 8998 0 -1 4202560 11572 0 0 0 67100 24 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9244/tid=9256] ppid=9242 vsize=1859740 CPUtime=671.28 cores=0-31
/proc/9244/task/9256/stat : 9256 (claspmt) R 9242 9244 8998 0 -1 4202560 5663 0 0 0 67114 14 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9244/tid=9257] ppid=9242 vsize=1859740 CPUtime=671.32 cores=0-31
/proc/9244/task/9257/stat : 9257 (claspmt) R 9242 9244 8998 0 -1 4202560 9624 0 0 0 67106 26 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669486 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9244/tid=9258] ppid=9242 vsize=1859740 CPUtime=671.48 cores=0-31
/proc/9244/task/9258/stat : 9258 (claspmt) R 9242 9244 8998 0 -1 4202560 8058 0 0 0 67127 21 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9244/tid=9259] ppid=9242 vsize=1859740 CPUtime=671.3 cores=0-31
/proc/9244/task/9259/stat : 9259 (claspmt) R 9242 9244 8998 0 -1 4202560 4998 0 0 0 67117 13 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9244/tid=9260] ppid=9242 vsize=1859740 CPUtime=671.26 cores=0-31
/proc/9244/task/9260/stat : 9260 (claspmt) R 9242 9244 8998 0 -1 4202560 25767 0 0 0 67038 88 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4653186 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9244/tid=9261] ppid=9242 vsize=1859740 CPUtime=665.85 cores=0-31
/proc/9244/task/9261/stat : 9261 (claspmt) R 9242 9244 8998 0 -1 4202560 4595 0 0 0 66571 14 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9244/tid=9262] ppid=9242 vsize=1859740 CPUtime=671.32 cores=0-31
/proc/9244/task/9262/stat : 9262 (claspmt) R 9242 9244 8998 0 -1 4202560 7917 0 0 0 67113 19 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9244/tid=9263] ppid=9242 vsize=1859740 CPUtime=671.28 cores=0-31
/proc/9244/task/9263/stat : 9263 (claspmt) R 9242 9244 8998 0 -1 4202560 11424 0 0 0 67103 25 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9244/tid=9264] ppid=9242 vsize=1859740 CPUtime=671.29 cores=0-31
/proc/9244/task/9264/stat : 9264 (claspmt) R 9242 9244 8998 0 -1 4202560 5625 0 0 0 67112 17 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9244/tid=9265] ppid=9242 vsize=1859740 CPUtime=671.29 cores=0-31
/proc/9244/task/9265/stat : 9265 (claspmt) R 9242 9244 8998 0 -1 4202560 10043 0 0 0 67101 28 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669434 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9244/tid=9266] ppid=9242 vsize=1859740 CPUtime=671.47 cores=0-31
/proc/9244/task/9266/stat : 9266 (claspmt) R 9242 9244 8998 0 -1 4202560 7147 0 0 0 67126 21 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9244/tid=9267] ppid=9242 vsize=1859740 CPUtime=671.27 cores=0-31
/proc/9244/task/9267/stat : 9267 (claspmt) R 9242 9244 8998 0 -1 4202560 6418 0 0 0 67109 18 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9244/tid=9268] ppid=9242 vsize=1859740 CPUtime=671.28 cores=0-31
/proc/9244/task/9268/stat : 9268 (claspmt) R 9242 9244 8998 0 -1 4202560 22806 0 0 0 67051 77 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9244/tid=9269] ppid=9242 vsize=1859740 CPUtime=671.35 cores=0-31
/proc/9244/task/9269/stat : 9269 (claspmt) R 9242 9244 8998 0 -1 4202560 4971 0 0 0 67120 15 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9244/tid=9270] ppid=9242 vsize=1859740 CPUtime=671.03 cores=0-31
/proc/9244/task/9270/stat : 9270 (claspmt) R 9242 9244 8998 0 -1 4202560 6745 0 0 0 67079 24 0 0 25 0 32 0 43723471 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9244/tid=9271] ppid=9242 vsize=1859740 CPUtime=661.35 cores=0-31
/proc/9244/task/9271/stat : 9271 (claspmt) R 9242 9244 8998 0 -1 4202560 10071 0 0 0 66116 19 0 0 25 0 32 0 43723472 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9244/tid=9272] ppid=9242 vsize=1859740 CPUtime=671.28 cores=0-31
/proc/9244/task/9272/stat : 9272 (claspmt) R 9242 9244 8998 0 -1 4202560 5203 0 0 0 67113 15 0 0 25 0 32 0 43723472 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9244/tid=9273] ppid=9242 vsize=1859740 CPUtime=671.33 cores=0-31
/proc/9244/task/9273/stat : 9273 (claspmt) R 9242 9244 8998 0 -1 4202560 8771 0 0 0 67108 25 0 0 25 0 32 0 43723472 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9244/tid=9274] ppid=9242 vsize=1859740 CPUtime=671.44 cores=0-31
/proc/9244/task/9274/stat : 9274 (claspmt) R 9242 9244 8998 0 -1 4202560 9544 0 0 0 67119 25 0 0 25 0 32 0 43723472 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4362375 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9244/tid=9275] ppid=9242 vsize=1859740 CPUtime=671.26 cores=0-31
/proc/9244/task/9275/stat : 9275 (claspmt) R 9242 9244 8998 0 -1 4202560 5071 0 0 0 67110 16 0 0 25 0 32 0 43723472 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9244/tid=9276] ppid=9242 vsize=1859740 CPUtime=671.15 cores=0-31
/proc/9244/task/9276/stat : 9276 (claspmt) R 9242 9244 8998 0 -1 4202560 27607 0 0 0 67019 96 0 0 25 0 32 0 43723472 1904373760 301057 270582939648 4194304 4964800 140734614124816 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 21463.2
Current children cumulated vsize (KiB) 1859740

[startup+673.501 s]
/proc/loadavg: 32.00 31.52 31.19 5/418 9294
/proc/meminfo: memFree=260892716/264257624 swapFree=67111528/67111528
[pid=9244] ppid=9242 vsize=1766836 CPUtime=21499.2 cores=0-31
/proc/9244/stat : 9244 (claspmt) R 9242 9244 8998 0 -1 4202496 306319 0 0 0 2149009 916 0 0 22 0 1 0 43723457 1809240064 300406 270582939648 4194304 4964800 140734614124816 18446744073709551615 258650999159 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/9244/statm: 441709 300406 474 189 0 436058 0
Current children cumulated CPU time (s) 21499.2
Current children cumulated vsize (KiB) 1766836

[startup+673.901 s]
/proc/loadavg: 32.00 31.52 31.19 5/418 9294
/proc/meminfo: memFree=260892716/264257624 swapFree=67111528/67111528
[pid=9244] ppid=9242 vsize=1758164 CPUtime=21499.7 cores=0-31
/proc/9244/stat : 9244 (claspmt) R 9242 9244 8998 0 -1 4202496 306319 0 0 0 2149049 916 0 0 25 0 1 0 43723457 1800359936 298000 270582939648 4194304 4964800 140734614124816 18446744073709551615 4313376 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/9244/statm: 439541 298000 474 189 0 433890 0
Current children cumulated CPU time (s) 21499.7
Current children cumulated vsize (KiB) 1758164

[startup+674.101 s]
/proc/loadavg: 32.00 31.52 31.19 5/418 9294
/proc/meminfo: memFree=260892716/264257624 swapFree=67111528/67111528
[pid=9244] ppid=9242 vsize=1754912 CPUtime=21499.8 cores=0-31
/proc/9244/stat : 9244 (claspmt) R 9242 9244 8998 0 -1 4202496 306319 0 0 0 2149069 916 0 0 25 0 1 0 43723457 1797029888 295823 270582939648 4194304 4964800 140734614124816 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/9244/statm: 438728 295823 474 189 0 433077 0
Current children cumulated CPU time (s) 21499.8
Current children cumulated vsize (KiB) 1754912

[startup+674.201 s]
/proc/loadavg: 32.00 31.52 31.19 2/414 9294
/proc/meminfo: memFree=260943224/264257624 swapFree=67111528/67111528
[pid=9244] ppid=9242 vsize=1744084 CPUtime=21500 cores=0-31
/proc/9244/stat : 9244 (claspmt) R 9242 9244 8998 0 -1 4202496 306319 0 0 0 2149080 917 0 0 25 0 1 0 43723457 1785942016 262898 270582939648 4194304 4964800 140734614124816 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/9244/statm: 436021 262898 474 189 0 430370 0
Current children cumulated CPU time (s) 21500
Current children cumulated vsize (KiB) 1744084

Child status: 20
Real time (s): 674.299
CPU time (s): 21500.1
CPU user time (s): 21490.8
CPU system time (s): 9.25559
CPU usage (%): 3188.5
Max. virtual memory (cumulated for all children) (KiB): 1859740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21490.8
system time used= 9.25559
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306320
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= 112090
involuntary context switches= 49351

runsolver used 3.99039 second user time and 15.0437 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-11 11:09:26
IDJOB=3472500
IDBENCH=84180
IDSOLVER=1961
FILE ID=node200/3472500-1307783366
RUNJOBID= node200-1307783285-9012
PBS_JOBID= 13550776
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT03/industrial/maris/CNF/gripper13u.shuffled-as.sat03-395.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-3472500-1307783366/watcher-3472500-1307783366 -o /tmp/evaluation-result-3472500-1307783366/solver-3472500-1307783366 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472500-1307783366.cnf

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

MD5SUM BENCH= 3889b7ed90cc1fbe8bc8d140a1763832
RANDOM SEED=388977565

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:      262089460 kB
Buffers:        288096 kB
Cached:        1551716 kB
SwapCached:          0 kB
Active:         313388 kB
Inactive:      1589612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262089460 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1340 kB
Writeback:           0 kB
AnonPages:       64148 kB
Mapped:          14260 kB
Slab:           185080 kB
PageTables:       5292 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   170236 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-11 11:20:40