Trace number 3472281

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)? (TO) 160004 5012.17

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
MD5SUMcf1b8194ff6d413d396ac9e26bb031ef
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4897.74
Satisfiable
(Un)Satisfiability was proved
Number of variables50797
Number of clauses177980
Sum of the clauses size470252
Maximum clause length37
Minimum clause length1
Number of clauses of size 11318
Number of clauses of size 295086
Number of clauses of size 374860
Number of clauses of size 4486
Number of clauses of size 5945
Number of clauses of size over 55285

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...391291/instance-3472281-1307391291.cnf
0.68/0.72	c Solving...
160000.88/5009.83	
160000.88/5009.83	*** INTERRUPTED! ***
160000.88/5009.83	*** Shutting down threads...

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3472281-1307391291/watcher-3472281-1307391291 -o /tmp/evaluation-result-3472281-1307391291/solver-3472281-1307391291 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472281-1307391291.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: 29.51 31.49 31.84 1/413 11126
/proc/meminfo: memFree=263654848/264257624 swapFree=67111528/67111528
[pid=11126] ppid=11124 vsize=27364 CPUtime=0.02 cores=0-31
/proc/11126/stat : 11126 (claspmt) R 11124 11126 11100 0 -1 4202496 1696 0 0 0 2 0 0 0 21 0 1 0 4516003 28020736 1626 270582939648 4194304 4964800 140737301245872 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/11126/statm: 6841 1630 373 189 0 1715 0

[startup+0.102502 s]
/proc/loadavg: 29.51 31.49 31.84 1/413 11126
/proc/meminfo: memFree=263654848/264257624 swapFree=67111528/67111528
[pid=11126] ppid=11124 vsize=34444 CPUtime=0.09 cores=0-31
/proc/11126/stat : 11126 (claspmt) R 11124 11126 11100 0 -1 4202496 4501 0 0 0 8 1 0 0 21 0 1 0 4516003 35270656 3742 270582939648 4194304 4964800 140737301245872 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/11126/statm: 8611 3743 383 189 0 3485 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34444

[startup+0.200521 s]
/proc/loadavg: 29.51 31.49 31.84 1/413 11126
/proc/meminfo: memFree=263654848/264257624 swapFree=67111528/67111528
[pid=11126] ppid=11124 vsize=42740 CPUtime=0.19 cores=0-31
/proc/11126/stat : 11126 (claspmt) R 11124 11126 11100 0 -1 4202496 7524 0 0 0 17 2 0 0 22 0 1 0 4516003 43765760 5817 270582939648 4194304 4964800 140737301245872 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/11126/statm: 10685 5818 396 189 0 5559 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42740

[startup+0.300528 s]
/proc/loadavg: 29.51 31.49 31.84 1/413 11126
/proc/meminfo: memFree=263654848/264257624 swapFree=67111528/67111528
[pid=11126] ppid=11124 vsize=47680 CPUtime=0.29 cores=0-31
/proc/11126/stat : 11126 (claspmt) R 11124 11126 11100 0 -1 4202496 8675 0 0 0 27 2 0 0 22 0 1 0 4516003 48824320 6968 270582939648 4194304 4964800 140737301245872 18446744073709551615 4607641 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/11126/statm: 11920 6968 400 189 0 6794 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47680

[startup+0.700563 s]
/proc/loadavg: 29.51 31.49 31.84 1/413 11126
/proc/meminfo: memFree=263654848/264257624 swapFree=67111528/67111528
[pid=11126] ppid=11124 vsize=52580 CPUtime=0.68 cores=0-31
/proc/11126/stat : 11126 (claspmt) R 11124 11126 11100 0 -1 4202496 9896 0 0 0 66 2 0 0 24 0 1 0 4516003 53841920 8189 270582939648 4194304 4964800 140737301245872 18446744073709551615 4685934 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/11126/statm: 13145 8189 403 189 0 8019 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 52580

[startup+1.50254 s]
/proc/loadavg: 29.51 31.49 31.84 6/445 11158
/proc/meminfo: memFree=263473288/264257624 swapFree=67111528/67111528
[pid=11126] ppid=11124 vsize=1848600 CPUtime=7.31 cores=0-31
/proc/11126/stat : 11126 (claspmt) S 11124 11126 11100 0 -1 4202496 87385 0 0 0 208 523 0 0 18 0 32 0 4516003 1892966400 72514 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/11126/statm: 462150 72514 435 189 0 456499 0
[pid=11126/tid=11128] ppid=11124 vsize=1848600 CPUtime=0.19 cores=0-31
/proc/11126/task/11128/stat : 11128 (claspmt) S 11124 11126 11100 0 -1 4202560 2183 0 0 0 2 17 0 0 17 0 32 0 4516075 1892966400 72515 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604502181797344 0 0 -1 1 0 0 0
[pid=11126/tid=11129] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11129/stat : 11129 (claspmt) S 11124 11126 11100 0 -1 4202560 2736 0 0 0 3 17 0 0 17 0 32 0 4516075 1892966400 72516 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604502181805536 0 0 -1 30 0 0 0
[pid=11126/tid=11130] ppid=11124 vsize=1848600 CPUtime=0.22 cores=0-31
/proc/11126/task/11130/stat : 11130 (claspmt) S 11124 11126 11100 0 -1 4202560 2620 0 0 0 3 19 0 0 17 0 32 0 4516075 1892966400 72516 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505458204128 0 0 -1 0 0 0 0
[pid=11126/tid=11131] ppid=11124 vsize=1848600 CPUtime=0.16 cores=0-31
/proc/11126/task/11131/stat : 11131 (claspmt) S 11124 11126 11100 0 -1 4202560 2376 0 0 0 2 14 0 0 17 0 32 0 4516075 1892966400 72517 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604569167093216 0 0 -1 28 0 0 0
[pid=11126/tid=11132] ppid=11124 vsize=1848600 CPUtime=0.27 cores=0-31
/proc/11126/task/11132/stat : 11132 (claspmt) R 11124 11126 11100 0 -1 4202560 2548 0 0 0 11 16 0 0 17 0 32 0 4516075 1892966400 72517 270582939648 4194304 4964800 140737301245872 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11126/tid=11133] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11133/stat : 11133 (claspmt) S 11124 11126 11100 0 -1 4202560 2713 0 0 0 4 16 0 0 17 0 32 0 4516075 1892966400 72517 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505458212320 0 0 -1 12 0 0 0
[pid=11126/tid=11134] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11134/stat : 11134 (claspmt) S 11124 11126 11100 0 -1 4202560 2568 0 0 0 4 16 0 0 17 0 32 0 4516075 1892966400 72517 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505053978080 0 0 -1 26 0 0 0
[pid=11126/tid=11135] ppid=11124 vsize=1848600 CPUtime=0.17 cores=0-31
/proc/11126/task/11135/stat : 11135 (claspmt) S 11124 11126 11100 0 -1 4202560 2290 0 0 0 2 15 0 0 17 0 32 0 4516076 1892966400 72517 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604504516271584 0 0 -1 13 0 0 0
[pid=11126/tid=11136] ppid=11124 vsize=1848600 CPUtime=0.17 cores=0-31
/proc/11126/task/11136/stat : 11136 (claspmt) S 11124 11126 11100 0 -1 4202560 2282 0 0 0 2 15 0 0 17 0 32 0 4516076 1892966400 72517 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505447456224 0 0 -1 8 0 0 0
[pid=11126/tid=11137] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11137/stat : 11137 (claspmt) S 11124 11126 11100 0 -1 4202560 2589 0 0 0 4 16 0 0 17 0 32 0 4516076 1892966400 72518 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505749585376 0 0 -1 17 0 0 0
[pid=11126/tid=11138] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11138/stat : 11138 (claspmt) S 11124 11126 11100 0 -1 4202560 2698 0 0 0 3 17 0 0 17 0 32 0 4516076 1892966400 72518 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505602014688 0 0 -1 4 0 0 0
[pid=11126/tid=11139] ppid=11124 vsize=1848600 CPUtime=0.18 cores=0-31
/proc/11126/task/11139/stat : 11139 (claspmt) S 11124 11126 11100 0 -1 4202560 2193 0 0 0 2 16 0 0 17 0 32 0 4516076 1892966400 72518 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604501428764128 0 0 -1 7 0 0 0
[pid=11126/tid=11140] ppid=11124 vsize=1848600 CPUtime=0.26 cores=0-31
/proc/11126/task/11140/stat : 11140 (claspmt) R 11124 11126 11100 0 -1 4202560 2444 0 0 0 10 16 0 0 17 0 32 0 4516076 1892966400 72520 270582939648 4194304 4964800 140737301245872 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11126/tid=11141] ppid=11124 vsize=1848600 CPUtime=0.21 cores=0-31
/proc/11126/task/11141/stat : 11141 (claspmt) S 11124 11126 11100 0 -1 4202560 2492 0 0 0 3 18 0 0 17 0 32 0 4516076 1892966400 72522 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505214606816 0 0 -1 27 0 0 0
[pid=11126/tid=11142] ppid=11124 vsize=1848600 CPUtime=0.21 cores=0-31
/proc/11126/task/11142/stat : 11142 (claspmt) S 11124 11126 11100 0 -1 4202560 2480 0 0 0 5 16 0 0 17 0 32 0 4516076 1892966400 72522 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604504932244960 0 0 -1 2 0 0 0
[pid=11126/tid=11143] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11143/stat : 11143 (claspmt) S 11124 11126 11100 0 -1 4202560 2210 0 0 0 2 18 0 0 17 0 32 0 4516076 1892966400 72522 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604506025991648 0 0 -1 3 0 0 0
[pid=11126/tid=11144] ppid=11124 vsize=1848600 CPUtime=0.19 cores=0-31
/proc/11126/task/11144/stat : 11144 (claspmt) S 11124 11126 11100 0 -1 4202560 2275 0 0 0 2 17 0 0 17 0 32 0 4516076 1892966400 72523 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505474088416 0 0 -1 5 0 0 0
[pid=11126/tid=11145] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11145/stat : 11145 (claspmt) S 11124 11126 11100 0 -1 4202560 2697 0 0 0 3 17 0 0 17 0 32 0 4516076 1892966400 72524 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505053986272 0 0 -1 16 0 0 0
[pid=11126/tid=11146] ppid=11124 vsize=1848600 CPUtime=0.18 cores=0-31
/proc/11126/task/11146/stat : 11146 (claspmt) S 11124 11126 11100 0 -1 4202560 2700 0 0 0 4 14 0 0 17 0 32 0 4516076 1892966400 72524 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604501802245600 0 0 -1 14 0 0 0
[pid=11126/tid=11147] ppid=11124 vsize=1848600 CPUtime=0.18 cores=0-31
/proc/11126/task/11147/stat : 11147 (claspmt) S 11124 11126 11100 0 -1 4202560 2336 0 0 0 3 15 0 0 17 0 32 0 4516076 1892966400 72525 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604501602377184 0 0 -1 11 0 0 0
[pid=11126/tid=11148] ppid=11124 vsize=1848600 CPUtime=0.27 cores=0-31
/proc/11126/task/11148/stat : 11148 (claspmt) R 11124 11126 11100 0 -1 4202560 2459 0 0 0 9 18 0 0 17 0 32 0 4516076 1892966400 72526 270582939648 4194304 4964800 140737301245872 18446744073709551615 4669153 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11126/tid=11149] ppid=11124 vsize=1848600 CPUtime=0.19 cores=0-31
/proc/11126/task/11149/stat : 11149 (claspmt) S 11124 11126 11100 0 -1 4202560 2718 0 0 0 3 16 0 0 17 0 32 0 4516076 1892966400 72526 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604501460647392 0 0 -1 18 0 0 0
[pid=11126/tid=11150] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11150/stat : 11150 (claspmt) S 11124 11126 11100 0 -1 4202560 2598 0 0 0 4 16 0 0 17 0 32 0 4516076 1892966400 72527 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604504038587872 0 0 -1 6 0 0 0
[pid=11126/tid=11151] ppid=11124 vsize=1848600 CPUtime=0.16 cores=0-31
/proc/11126/task/11151/stat : 11151 (claspmt) S 11124 11126 11100 0 -1 4202560 2209 0 0 0 2 14 0 0 17 0 32 0 4516076 1892966400 72527 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604504298372576 0 0 -1 20 0 0 0
[pid=11126/tid=11152] ppid=11124 vsize=1848600 CPUtime=0.19 cores=0-31
/proc/11126/task/11152/stat : 11152 (claspmt) S 11124 11126 11100 0 -1 4202560 2282 0 0 0 2 17 0 0 17 0 32 0 4516076 1892966400 72528 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604504298364384 0 0 -1 19 0 0 0
[pid=11126/tid=11153] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11153/stat : 11153 (claspmt) S 11124 11126 11100 0 -1 4202560 2595 0 0 0 3 17 0 0 17 0 32 0 4516076 1892966400 72530 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604501590523360 0 0 -1 31 0 0 0
[pid=11126/tid=11154] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11154/stat : 11154 (claspmt) S 11124 11126 11100 0 -1 4202560 2674 0 0 0 3 17 0 0 17 0 32 0 4516076 1892966400 72531 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604501802253792 0 0 -1 29 0 0 0
[pid=11126/tid=11155] ppid=11124 vsize=1848600 CPUtime=0.18 cores=0-31
/proc/11126/task/11155/stat : 11155 (claspmt) S 11124 11126 11100 0 -1 4202560 2359 0 0 0 3 15 0 0 17 0 32 0 4516076 1892966400 72531 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604501600181728 0 0 -1 24 0 0 0
[pid=11126/tid=11156] ppid=11124 vsize=1848600 CPUtime=0.25 cores=0-31
/proc/11126/task/11156/stat : 11156 (claspmt) R 11124 11126 11100 0 -1 4202560 2552 0 0 0 10 15 0 0 17 0 32 0 4516076 1892966400 72531 270582939648 4194304 4964800 140737301245872 18446744073709551615 4673295 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=11126/tid=11157] ppid=11124 vsize=1848600 CPUtime=0.18 cores=0-31
/proc/11126/task/11157/stat : 11157 (claspmt) S 11124 11126 11100 0 -1 4202560 2702 0 0 0 4 14 0 0 17 0 32 0 4516076 1892966400 72532 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604504795446752 0 0 -1 23 0 0 0
[pid=11126/tid=11158] ppid=11124 vsize=1848600 CPUtime=0.21 cores=0-31
/proc/11126/task/11158/stat : 11158 (claspmt) S 11124 11126 11100 0 -1 4202560 2574 0 0 0 4 17 0 0 17 0 32 0 4516076 1892966400 72533 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604504096923104 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 1848600

[startup+3.10152 s]
/proc/loadavg: 27.47 31.03 31.69 5/445 11158
/proc/meminfo: memFree=263365112/264257624 swapFree=67111528/67111528
[pid=11126] ppid=11124 vsize=1848600 CPUtime=13.7 cores=0-31
/proc/11126/stat : 11126 (claspmt) S 11124 11126 11100 0 -1 4202496 87909 0 0 0 847 523 0 0 18 0 32 0 4516003 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/11126/statm: 462150 73038 439 189 0 456499 0
[pid=11126/tid=11128] ppid=11124 vsize=1848600 CPUtime=0.19 cores=0-31
/proc/11126/task/11128/stat : 11128 (claspmt) S 11124 11126 11100 0 -1 4202560 2183 0 0 0 2 17 0 0 17 0 32 0 4516075 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604502181797344 0 0 -1 1 0 0 0
[pid=11126/tid=11129] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11129/stat : 11129 (claspmt) S 11124 11126 11100 0 -1 4202560 2736 0 0 0 3 17 0 0 17 0 32 0 4516075 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604502181805536 0 0 -1 30 0 0 0
[pid=11126/tid=11130] ppid=11124 vsize=1848600 CPUtime=0.22 cores=0-31
/proc/11126/task/11130/stat : 11130 (claspmt) S 11124 11126 11100 0 -1 4202560 2620 0 0 0 3 19 0 0 17 0 32 0 4516075 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505458204128 0 0 -1 0 0 0 0
[pid=11126/tid=11131] ppid=11124 vsize=1848600 CPUtime=0.16 cores=0-31
/proc/11126/task/11131/stat : 11131 (claspmt) S 11124 11126 11100 0 -1 4202560 2376 0 0 0 2 14 0 0 17 0 32 0 4516075 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604569167093216 0 0 -1 28 0 0 0
[pid=11126/tid=11132] ppid=11124 vsize=1848600 CPUtime=1.87 cores=0-31
/proc/11126/task/11132/stat : 11132 (claspmt) R 11124 11126 11100 0 -1 4202560 2701 0 0 0 171 16 0 0 19 0 32 0 4516075 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11126/tid=11133] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11133/stat : 11133 (claspmt) S 11124 11126 11100 0 -1 4202560 2713 0 0 0 4 16 0 0 17 0 32 0 4516075 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505458212320 0 0 -1 12 0 0 0
[pid=11126/tid=11134] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11134/stat : 11134 (claspmt) S 11124 11126 11100 0 -1 4202560 2568 0 0 0 4 16 0 0 17 0 32 0 4516075 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505053978080 0 0 -1 26 0 0 0
[pid=11126/tid=11135] ppid=11124 vsize=1848600 CPUtime=0.17 cores=0-31
/proc/11126/task/11135/stat : 11135 (claspmt) S 11124 11126 11100 0 -1 4202560 2290 0 0 0 2 15 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604504516271584 0 0 -1 13 0 0 0
[pid=11126/tid=11136] ppid=11124 vsize=1848600 CPUtime=0.17 cores=0-31
/proc/11126/task/11136/stat : 11136 (claspmt) S 11124 11126 11100 0 -1 4202560 2282 0 0 0 2 15 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505447456224 0 0 -1 8 0 0 0
[pid=11126/tid=11137] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11137/stat : 11137 (claspmt) S 11124 11126 11100 0 -1 4202560 2589 0 0 0 4 16 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505749585376 0 0 -1 17 0 0 0
[pid=11126/tid=11138] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11138/stat : 11138 (claspmt) S 11124 11126 11100 0 -1 4202560 2698 0 0 0 3 17 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505602014688 0 0 -1 4 0 0 0
[pid=11126/tid=11139] ppid=11124 vsize=1848600 CPUtime=0.18 cores=0-31
/proc/11126/task/11139/stat : 11139 (claspmt) S 11124 11126 11100 0 -1 4202560 2193 0 0 0 2 16 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604501428764128 0 0 -1 7 0 0 0
[pid=11126/tid=11140] ppid=11124 vsize=1848600 CPUtime=1.86 cores=0-31
/proc/11126/task/11140/stat : 11140 (claspmt) R 11124 11126 11100 0 -1 4202560 2567 0 0 0 170 16 0 0 19 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11126/tid=11141] ppid=11124 vsize=1848600 CPUtime=0.21 cores=0-31
/proc/11126/task/11141/stat : 11141 (claspmt) S 11124 11126 11100 0 -1 4202560 2492 0 0 0 3 18 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505214606816 0 0 -1 27 0 0 0
[pid=11126/tid=11142] ppid=11124 vsize=1848600 CPUtime=0.21 cores=0-31
/proc/11126/task/11142/stat : 11142 (claspmt) S 11124 11126 11100 0 -1 4202560 2480 0 0 0 5 16 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604504932244960 0 0 -1 2 0 0 0
[pid=11126/tid=11143] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11143/stat : 11143 (claspmt) S 11124 11126 11100 0 -1 4202560 2210 0 0 0 2 18 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604506025991648 0 0 -1 3 0 0 0
[pid=11126/tid=11144] ppid=11124 vsize=1848600 CPUtime=0.19 cores=0-31
/proc/11126/task/11144/stat : 11144 (claspmt) S 11124 11126 11100 0 -1 4202560 2275 0 0 0 2 17 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505474088416 0 0 -1 5 0 0 0
[pid=11126/tid=11145] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11145/stat : 11145 (claspmt) S 11124 11126 11100 0 -1 4202560 2697 0 0 0 3 17 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604505053986272 0 0 -1 16 0 0 0
[pid=11126/tid=11146] ppid=11124 vsize=1848600 CPUtime=0.18 cores=0-31
/proc/11126/task/11146/stat : 11146 (claspmt) S 11124 11126 11100 0 -1 4202560 2700 0 0 0 4 14 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604501802245600 0 0 -1 14 0 0 0
[pid=11126/tid=11147] ppid=11124 vsize=1848600 CPUtime=0.18 cores=0-31
/proc/11126/task/11147/stat : 11147 (claspmt) S 11124 11126 11100 0 -1 4202560 2336 0 0 0 3 15 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604501602377184 0 0 -1 11 0 0 0
[pid=11126/tid=11148] ppid=11124 vsize=1848600 CPUtime=1.87 cores=0-31
/proc/11126/task/11148/stat : 11148 (claspmt) R 11124 11126 11100 0 -1 4202560 2580 0 0 0 169 18 0 0 19 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11126/tid=11149] ppid=11124 vsize=1848600 CPUtime=0.19 cores=0-31
/proc/11126/task/11149/stat : 11149 (claspmt) S 11124 11126 11100 0 -1 4202560 2718 0 0 0 3 16 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604501460647392 0 0 -1 18 0 0 0
[pid=11126/tid=11150] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11150/stat : 11150 (claspmt) S 11124 11126 11100 0 -1 4202560 2598 0 0 0 4 16 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604504038587872 0 0 -1 6 0 0 0
[pid=11126/tid=11151] ppid=11124 vsize=1848600 CPUtime=0.16 cores=0-31
/proc/11126/task/11151/stat : 11151 (claspmt) S 11124 11126 11100 0 -1 4202560 2209 0 0 0 2 14 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604504298372576 0 0 -1 20 0 0 0
[pid=11126/tid=11152] ppid=11124 vsize=1848600 CPUtime=0.19 cores=0-31
/proc/11126/task/11152/stat : 11152 (claspmt) S 11124 11126 11100 0 -1 4202560 2282 0 0 0 2 17 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604504298364384 0 0 -1 19 0 0 0
[pid=11126/tid=11153] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11153/stat : 11153 (claspmt) S 11124 11126 11100 0 -1 4202560 2595 0 0 0 3 17 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604501590523360 0 0 -1 31 0 0 0
[pid=11126/tid=11154] ppid=11124 vsize=1848600 CPUtime=0.2 cores=0-31
/proc/11126/task/11154/stat : 11154 (claspmt) S 11124 11126 11100 0 -1 4202560 2674 0 0 0 3 17 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604501802253792 0 0 -1 29 0 0 0
[pid=11126/tid=11155] ppid=11124 vsize=1848600 CPUtime=0.18 cores=0-31
/proc/11126/task/11155/stat : 11155 (claspmt) S 11124 11126 11100 0 -1 4202560 2359 0 0 0 3 15 0 0 17 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 258662772457 0 0 4096 18946 18446604501600181728 0 0 -1 24 0 0 0
[pid=11126/tid=11156] ppid=11124 vsize=1848600 CPUtime=1.85 cores=0-31
/proc/11126/task/11156/stat : 11156 (claspmt) R 11124 11126 11100 0 -1 4202560 2675 0 0 0 170 15 0 0 19 0 32 0 4516076 1892966400 73038 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=11126/tid=11157] ppid=11124 vsize=1848600 CPUtime=0.18 cores=0-31

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

/proc/11126/task/11130/stat : 11130 (claspmt) R 11124 11126 11100 0 -1 4202560 36761 0 0 0 495537 136 0 0 25 0 32 0 4516075 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11126/tid=11131] ppid=11124 vsize=8051964 CPUtime=4956.45 cores=0-31
/proc/11126/task/11131/stat : 11131 (claspmt) R 11124 11126 11100 0 -1 4202560 58957 0 0 0 495394 251 0 0 25 0 32 0 4516075 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=11126/tid=11132] ppid=11124 vsize=8051964 CPUtime=4956.02 cores=0-31
/proc/11126/task/11132/stat : 11132 (claspmt) R 11124 11126 11100 0 -1 4202560 39433 0 0 0 495453 149 0 0 25 0 32 0 4516075 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11126/tid=11133] ppid=11124 vsize=8051964 CPUtime=4954.01 cores=0-31
/proc/11126/task/11133/stat : 11133 (claspmt) R 11124 11126 11100 0 -1 4202560 39725 0 0 0 495213 188 0 0 25 0 32 0 4516075 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=11126/tid=11134] ppid=11124 vsize=8051964 CPUtime=4956.67 cores=0-31
/proc/11126/task/11134/stat : 11134 (claspmt) R 11124 11126 11100 0 -1 4202560 160410 0 0 0 495012 655 0 0 25 0 32 0 4516075 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=11126/tid=11135] ppid=11124 vsize=8051964 CPUtime=4956.72 cores=0-31
/proc/11126/task/11135/stat : 11135 (claspmt) R 11124 11126 11100 0 -1 4202560 45738 0 0 0 495475 197 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4362287 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=11126/tid=11136] ppid=11124 vsize=8051964 CPUtime=4956.56 cores=0-31
/proc/11126/task/11136/stat : 11136 (claspmt) R 11124 11126 11100 0 -1 4202560 23697 0 0 0 495572 84 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=11126/tid=11137] ppid=11124 vsize=8051964 CPUtime=4956.65 cores=0-31
/proc/11126/task/11137/stat : 11137 (claspmt) R 11124 11126 11100 0 -1 4202560 51798 0 0 0 495475 190 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=11126/tid=11138] ppid=11124 vsize=8051964 CPUtime=4955.47 cores=0-31
/proc/11126/task/11138/stat : 11138 (claspmt) R 11124 11126 11100 0 -1 4202560 45542 0 0 0 495376 171 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11126/tid=11139] ppid=11124 vsize=8051964 CPUtime=4956.82 cores=0-31
/proc/11126/task/11139/stat : 11139 (claspmt) R 11124 11126 11100 0 -1 4202560 48624 0 0 0 495482 200 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11126/tid=11140] ppid=11124 vsize=8051964 CPUtime=4959.7 cores=0-31
/proc/11126/task/11140/stat : 11140 (claspmt) R 11124 11126 11100 0 -1 4202560 54477 0 0 0 495782 188 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=11126/tid=11141] ppid=11124 vsize=8051964 CPUtime=4956.54 cores=0-31
/proc/11126/task/11141/stat : 11141 (claspmt) R 11124 11126 11100 0 -1 4202560 42763 0 0 0 495488 166 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11126/tid=11142] ppid=11124 vsize=8051964 CPUtime=4956.73 cores=0-31
/proc/11126/task/11142/stat : 11142 (claspmt) R 11124 11126 11100 0 -1 4202560 144784 0 0 0 495051 622 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11126/tid=11143] ppid=11124 vsize=8051964 CPUtime=4948.96 cores=0-31
/proc/11126/task/11143/stat : 11143 (claspmt) R 11124 11126 11100 0 -1 4202560 37372 0 0 0 494730 166 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=11126/tid=11144] ppid=11124 vsize=8051964 CPUtime=4890.5 cores=0-31
/proc/11126/task/11144/stat : 11144 (claspmt) R 11124 11126 11100 0 -1 4202560 24373 0 0 0 488966 84 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=11126/tid=11145] ppid=11124 vsize=8051964 CPUtime=4956.68 cores=0-31
/proc/11126/task/11145/stat : 11145 (claspmt) R 11124 11126 11100 0 -1 4202560 30566 0 0 0 495556 112 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=11126/tid=11146] ppid=11124 vsize=8051964 CPUtime=4956.74 cores=0-31
/proc/11126/task/11146/stat : 11146 (claspmt) R 11124 11126 11100 0 -1 4202560 41574 0 0 0 495512 162 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=11126/tid=11147] ppid=11124 vsize=8051964 CPUtime=4939.06 cores=0-31
/proc/11126/task/11147/stat : 11147 (claspmt) R 11124 11126 11100 0 -1 4202560 55183 0 0 0 493661 245 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=11126/tid=11148] ppid=11124 vsize=8051964 CPUtime=4959.86 cores=0-31
/proc/11126/task/11148/stat : 11148 (claspmt) R 11124 11126 11100 0 -1 4202560 51636 0 0 0 495795 191 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=11126/tid=11149] ppid=11124 vsize=8051964 CPUtime=4956.71 cores=0-31
/proc/11126/task/11149/stat : 11149 (claspmt) R 11124 11126 11100 0 -1 4202560 35985 0 0 0 495543 128 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=11126/tid=11150] ppid=11124 vsize=8051964 CPUtime=4956.72 cores=0-31
/proc/11126/task/11150/stat : 11150 (claspmt) R 11124 11126 11100 0 -1 4202560 171316 0 0 0 494951 721 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11126/tid=11151] ppid=11124 vsize=8051964 CPUtime=4956.7 cores=0-31
/proc/11126/task/11151/stat : 11151 (claspmt) R 11124 11126 11100 0 -1 4202560 40341 0 0 0 495499 171 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=11126/tid=11152] ppid=11124 vsize=8051964 CPUtime=4941.22 cores=0-31
/proc/11126/task/11152/stat : 11152 (claspmt) R 11124 11126 11100 0 -1 4202560 27162 0 0 0 494036 86 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=11126/tid=11153] ppid=11124 vsize=8051964 CPUtime=4947.34 cores=0-31
/proc/11126/task/11153/stat : 11153 (claspmt) R 11124 11126 11100 0 -1 4202560 34183 0 0 0 494612 122 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=11126/tid=11154] ppid=11124 vsize=8051964 CPUtime=4956.71 cores=0-31
/proc/11126/task/11154/stat : 11154 (claspmt) R 11124 11126 11100 0 -1 4202560 50954 0 0 0 495468 203 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=11126/tid=11155] ppid=11124 vsize=8051964 CPUtime=4956.78 cores=0-31
/proc/11126/task/11155/stat : 11155 (claspmt) R 11124 11126 11100 0 -1 4202560 57532 0 0 0 495454 224 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=11126/tid=11156] ppid=11124 vsize=8051964 CPUtime=4959.64 cores=0-31
/proc/11126/task/11156/stat : 11156 (claspmt) R 11124 11126 11100 0 -1 4202560 51191 0 0 0 495775 189 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11126/tid=11157] ppid=11124 vsize=8051964 CPUtime=4952.96 cores=0-31
/proc/11126/task/11157/stat : 11157 (claspmt) R 11124 11126 11100 0 -1 4202560 36829 0 0 0 495150 146 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=11126/tid=11158] ppid=11124 vsize=8051964 CPUtime=4954.6 cores=0-31
/proc/11126/task/11158/stat : 11158 (claspmt) R 11124 11126 11100 0 -1 4202560 123507 0 0 0 494911 549 0 0 25 0 32 0 4516076 8245211136 1721884 270582939648 4194304 4964800 140737301245872 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 158482
Current children cumulated vsize (KiB) 8051964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5009.8 s]
/proc/loadavg: 32.35 32.27 32.17 33/445 11303
/proc/meminfo: memFree=256756292/264257624 swapFree=67111528/67111528
[pid=11126] ppid=11124 vsize=8051964 CPUtime=160001 cores=0-31
/proc/11126/stat : 11126 (claspmt) R 11124 11126 11100 0 -1 4202496 1746828 0 0 0 15993073 7014 0 0 25 0 32 0 4516003 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/11126/statm: 2012991 1721904 463 189 0 2007340 0
[pid=11126/tid=11128] ppid=11124 vsize=8051964 CPUtime=5004.08 cores=0-31
/proc/11126/task/11128/stat : 11128 (claspmt) R 11124 11126 11100 0 -1 4202560 22261 0 0 0 500312 96 0 0 25 0 32 0 4516075 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=11126/tid=11129] ppid=11124 vsize=8051964 CPUtime=4998.56 cores=0-31
/proc/11126/task/11129/stat : 11129 (claspmt) R 11124 11126 11100 0 -1 4202560 28596 0 0 0 499747 109 0 0 25 0 32 0 4516075 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=11126/tid=11130] ppid=11124 vsize=8051964 CPUtime=5004.24 cores=0-31
/proc/11126/task/11130/stat : 11130 (claspmt) R 11124 11126 11100 0 -1 4202560 36761 0 0 0 500288 136 0 0 25 0 32 0 4516075 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=11126/tid=11131] ppid=11124 vsize=8051964 CPUtime=5003.96 cores=0-31
/proc/11126/task/11131/stat : 11131 (claspmt) R 11124 11126 11100 0 -1 4202560 58957 0 0 0 500145 251 0 0 25 0 32 0 4516075 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4362377 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=11126/tid=11132] ppid=11124 vsize=8051964 CPUtime=5003.53 cores=0-31
/proc/11126/task/11132/stat : 11132 (claspmt) R 11124 11126 11100 0 -1 4202560 39433 0 0 0 500204 149 0 0 25 0 32 0 4516075 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=11126/tid=11133] ppid=11124 vsize=8051964 CPUtime=5001.49 cores=0-31
/proc/11126/task/11133/stat : 11133 (claspmt) R 11124 11126 11100 0 -1 4202560 39725 0 0 0 499960 189 0 0 25 0 32 0 4516075 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=11126/tid=11134] ppid=11124 vsize=8051964 CPUtime=5004.18 cores=0-31
/proc/11126/task/11134/stat : 11134 (claspmt) R 11124 11126 11100 0 -1 4202560 160410 0 0 0 499763 655 0 0 25 0 32 0 4516075 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=11126/tid=11135] ppid=11124 vsize=8051964 CPUtime=5004.23 cores=0-31
/proc/11126/task/11135/stat : 11135 (claspmt) R 11124 11126 11100 0 -1 4202560 45738 0 0 0 500226 197 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=11126/tid=11136] ppid=11124 vsize=8051964 CPUtime=5004.07 cores=0-31
/proc/11126/task/11136/stat : 11136 (claspmt) R 11124 11126 11100 0 -1 4202560 23697 0 0 0 500323 84 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=11126/tid=11137] ppid=11124 vsize=8051964 CPUtime=5004.16 cores=0-31
/proc/11126/task/11137/stat : 11137 (claspmt) R 11124 11126 11100 0 -1 4202560 51798 0 0 0 500226 190 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=11126/tid=11138] ppid=11124 vsize=8051964 CPUtime=5002.97 cores=0-31
/proc/11126/task/11138/stat : 11138 (claspmt) R 11124 11126 11100 0 -1 4202560 45542 0 0 0 500126 171 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11126/tid=11139] ppid=11124 vsize=8051964 CPUtime=5004.33 cores=0-31
/proc/11126/task/11139/stat : 11139 (claspmt) R 11124 11126 11100 0 -1 4202560 48624 0 0 0 500233 200 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=11126/tid=11140] ppid=11124 vsize=8051964 CPUtime=5007.22 cores=0-31
/proc/11126/task/11140/stat : 11140 (claspmt) R 11124 11126 11100 0 -1 4202560 54477 0 0 0 500534 188 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4320989 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=11126/tid=11141] ppid=11124 vsize=8051964 CPUtime=5004.05 cores=0-31
/proc/11126/task/11141/stat : 11141 (claspmt) R 11124 11126 11100 0 -1 4202560 42763 0 0 0 500239 166 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=11126/tid=11142] ppid=11124 vsize=8051964 CPUtime=5004.24 cores=0-31
/proc/11126/task/11142/stat : 11142 (claspmt) R 11124 11126 11100 0 -1 4202560 144784 0 0 0 499802 622 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4669493 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11126/tid=11143] ppid=11124 vsize=8051964 CPUtime=4996.47 cores=0-31
/proc/11126/task/11143/stat : 11143 (claspmt) R 11124 11126 11100 0 -1 4202560 37372 0 0 0 499481 166 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=11126/tid=11144] ppid=11124 vsize=8051964 CPUtime=4938.01 cores=0-31
/proc/11126/task/11144/stat : 11144 (claspmt) R 11124 11126 11100 0 -1 4202560 24373 0 0 0 493717 84 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=11126/tid=11145] ppid=11124 vsize=8051964 CPUtime=5004.19 cores=0-31
/proc/11126/task/11145/stat : 11145 (claspmt) R 11124 11126 11100 0 -1 4202560 30567 0 0 0 500307 112 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=11126/tid=11146] ppid=11124 vsize=8051964 CPUtime=5004.26 cores=0-31
/proc/11126/task/11146/stat : 11146 (claspmt) R 11124 11126 11100 0 -1 4202560 41574 0 0 0 500264 162 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=11126/tid=11147] ppid=11124 vsize=8051964 CPUtime=4986.55 cores=0-31
/proc/11126/task/11147/stat : 11147 (claspmt) R 11124 11126 11100 0 -1 4202560 55183 0 0 0 498410 245 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=11126/tid=11148] ppid=11124 vsize=8051964 CPUtime=5007.38 cores=0-31
/proc/11126/task/11148/stat : 11148 (claspmt) R 11124 11126 11100 0 -1 4202560 51636 0 0 0 500547 191 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=11126/tid=11149] ppid=11124 vsize=8051964 CPUtime=5004.23 cores=0-31
/proc/11126/task/11149/stat : 11149 (claspmt) R 11124 11126 11100 0 -1 4202560 35985 0 0 0 500295 128 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=11126/tid=11150] ppid=11124 vsize=8051964 CPUtime=5004.23 cores=0-31
/proc/11126/task/11150/stat : 11150 (claspmt) R 11124 11126 11100 0 -1 4202560 171316 0 0 0 499702 721 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11126/tid=11151] ppid=11124 vsize=8051964 CPUtime=5004.21 cores=0-31
/proc/11126/task/11151/stat : 11151 (claspmt) R 11124 11126 11100 0 -1 4202560 40341 0 0 0 500250 171 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4669552 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=11126/tid=11152] ppid=11124 vsize=8051964 CPUtime=4988.73 cores=0-31
/proc/11126/task/11152/stat : 11152 (claspmt) R 11124 11126 11100 0 -1 4202560 27162 0 0 0 498787 86 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=11126/tid=11153] ppid=11124 vsize=8051964 CPUtime=4994.81 cores=0-31
/proc/11126/task/11153/stat : 11153 (claspmt) R 11124 11126 11100 0 -1 4202560 34183 0 0 0 499359 122 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=11126/tid=11154] ppid=11124 vsize=8051964 CPUtime=5004.22 cores=0-31
/proc/11126/task/11154/stat : 11154 (claspmt) R 11124 11126 11100 0 -1 4202560 50954 0 0 0 500219 203 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=11126/tid=11155] ppid=11124 vsize=8051964 CPUtime=5004.29 cores=0-31
/proc/11126/task/11155/stat : 11155 (claspmt) R 11124 11126 11100 0 -1 4202560 57532 0 0 0 500205 224 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=11126/tid=11156] ppid=11124 vsize=8051964 CPUtime=5007.15 cores=0-31
/proc/11126/task/11156/stat : 11156 (claspmt) R 11124 11126 11100 0 -1 4202560 51191 0 0 0 500526 189 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=11126/tid=11157] ppid=11124 vsize=8051964 CPUtime=5000.47 cores=0-31
/proc/11126/task/11157/stat : 11157 (claspmt) R 11124 11126 11100 0 -1 4202560 36829 0 0 0 499901 146 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4669512 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=11126/tid=11158] ppid=11124 vsize=8051964 CPUtime=5002.11 cores=0-31
/proc/11126/task/11158/stat : 11158 (claspmt) R 11124 11126 11100 0 -1 4202560 123507 0 0 0 499662 549 0 0 25 0 32 0 4516076 8245211136 1721904 270582939648 4194304 4964800 140737301245872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 8051964

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -11126

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

[startup+5011.1 s]
/proc/loadavg: 32.35 32.27 32.17 2/415 11304
/proc/meminfo: memFree=256778356/264257624 swapFree=67111528/67111528
[pid=11126] ppid=11124 vsize=7921892 CPUtime=160002 cores=0-31
/proc/11126/stat : 11126 (claspmt) R 11124 11126 11100 0 -1 4202496 1746840 0 0 0 15993233 7014 0 0 19 0 1 0 4516003 8112017408 1711595 270582939648 4194304 4964800 140737301245872 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 19 0 0 0
/proc/11126/statm: 1980473 1711595 474 189 0 1974822 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 7921892

[startup+5011.9 s]
/proc/loadavg: 32.35 32.27 32.17 2/415 11304
/proc/meminfo: memFree=256814316/264257624 swapFree=67111528/67111528
[pid=11126] ppid=11124 vsize=0 CPUtime=160003 cores=0-31
/proc/11126/stat : 11126 (claspmt) R 11124 11126 11100 0 -1 4203524 1746840 0 0 0 15993305 7022 0 0 21 0 1 0 4516003 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/11126/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5012.1 s]
/proc/loadavg: 32.35 32.27 32.17 2/415 11304
/proc/meminfo: memFree=256814316/264257624 swapFree=67111528/67111528
[pid=11126] ppid=11124 vsize=0 CPUtime=160003 cores=0-31
/proc/11126/stat : 11126 (claspmt) R 11124 11126 11100 0 -1 4203524 1746840 0 0 0 15993305 7042 0 0 21 0 1 0 4516003 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/11126/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 5012.17
CPU time (s): 160004
CPU user time (s): 159933
CPU system time (s): 70.4883
CPU usage (%): 3192.3
Max. virtual memory (cumulated for all children) (KiB): 8051964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159933
system time used= 70.4883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1746840
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= 269657
involuntary context switches= 401223

runsolver used 27.9747 second user time and 113.348 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-06 22:14:51
IDJOB=3472281
IDBENCH=20536
IDSOLVER=1961
FILE ID=node200/3472281-1307391291
RUNJOBID= node200-1307391291-11114
PBS_JOBID= 13509168
Free space on /tmp= 61740 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k100.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-3472281-1307391291/watcher-3472281-1307391291 -o /tmp/evaluation-result-3472281-1307391291/solver-3472281-1307391291 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472281-1307391291.cnf

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

MD5SUM BENCH= cf1b8194ff6d413d396ac9e26bb031ef
RANDOM SEED=1609555826

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:      263655260 kB
Buffers:         51676 kB
Cached:         345636 kB
SwapCached:          0 kB
Active:         144400 kB
Inactive:       315972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263655260 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5292 kB
Writeback:           0 kB
AnonPages:       63188 kB
Mapped:          14472 kB
Slab:            64288 kB
PageTables:       4436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   159740 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-06 23:38:23