Trace number 3472262

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 23515.2 759.786

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
MD5SUM780d946576ec5746b4ea9832bb01dbc5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark23515.2
Satisfiable
(Un)Satisfiability was proved
Number of variables229544
Number of clauses1070757
Sum of the clauses size2471122
Maximum clause length10
Minimum clause length1
Number of clauses of size 119156
Number of clauses of size 2831957
Number of clauses of size 3176604
Number of clauses of size 44780
Number of clauses of size 519120
Number of clauses of size over 519140

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...353359/instance-3472262-1307353359.cnf
2.12/2.22	c Solving...
23515.07/759.73	s UNSATISFIABLE
23515.07/759.73	
23515.07/759.73	c Models        : 0     
23515.07/759.73	c Time          : 758.548s (Solving: 756.33s 1st Model: 0.00s Unsat: 756.33s)
23515.07/759.73	c CPU Time      : 23513.920s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3472262-1307353359/watcher-3472262-1307353359 -o /tmp/evaluation-result-3472262-1307353359/solver-3472262-1307353359 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472262-1307353359.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.56 30.08 24.80 1/413 8694
/proc/meminfo: memFree=263706564/264257624 swapFree=67111528/67111528
[pid=8694] ppid=8692 vsize=50028 CPUtime=0.02 cores=0-31
/proc/8694/stat : 8694 (claspmt) R 8692 8694 8668 0 -1 4202496 4785 0 0 0 2 0 0 0 22 0 1 0 722897 51228672 4714 270582939648 4194304 4964800 140734469868096 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/8694/statm: 12507 4722 373 189 0 7381 0

[startup+0.0440251 s]
/proc/loadavg: 29.56 30.08 24.80 1/413 8694
/proc/meminfo: memFree=263706564/264257624 swapFree=67111528/67111528
[pid=8694] ppid=8692 vsize=50028 CPUtime=0.03 cores=0-31
/proc/8694/stat : 8694 (claspmt) R 8692 8694 8668 0 -1 4202496 6389 0 0 0 3 0 0 0 22 0 1 0 722897 51228672 6318 270582939648 4194304 4964800 140734469868096 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/8694/statm: 12507 6328 373 189 0 7381 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 50028

[startup+0.101028 s]
/proc/loadavg: 29.56 30.08 24.80 1/413 8694
/proc/meminfo: memFree=263706564/264257624 swapFree=67111528/67111528
[pid=8694] ppid=8692 vsize=70604 CPUtime=0.09 cores=0-31
/proc/8694/stat : 8694 (claspmt) R 8692 8694 8668 0 -1 4202496 14906 0 0 0 7 2 0 0 22 0 1 0 722897 72298496 12569 270582939648 4194304 4964800 140734469868096 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/8694/statm: 17651 12572 383 189 0 12525 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 70604

[startup+0.301036 s]
/proc/loadavg: 29.56 30.08 24.80 1/413 8694
/proc/meminfo: memFree=263706564/264257624 swapFree=67111528/67111528
[pid=8694] ppid=8692 vsize=98580 CPUtime=0.28 cores=0-31
/proc/8694/stat : 8694 (claspmt) R 8692 8694 8668 0 -1 4202496 24927 0 0 0 24 4 0 0 23 0 1 0 722897 100945920 19025 270582939648 4194304 4964800 140734469868096 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/8694/statm: 24645 19027 383 189 0 19519 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 98580

[startup+0.701053 s]
/proc/loadavg: 29.56 30.08 24.80 1/413 8694
/proc/meminfo: memFree=263706564/264257624 swapFree=67111528/67111528
[pid=8694] ppid=8692 vsize=143404 CPUtime=0.69 cores=0-31
/proc/8694/stat : 8694 (claspmt) R 8692 8694 8668 0 -1 4202496 39806 0 0 0 62 7 0 0 25 0 1 0 722897 146845696 29555 270582939648 4194304 4964800 140734469868096 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/8694/statm: 35851 29555 397 189 0 30725 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 143404

[startup+1.50112 s]
/proc/loadavg: 29.56 30.08 24.80 2/414 8695
/proc/meminfo: memFree=263584896/264257624 swapFree=67111528/67111528
[pid=8694] ppid=8692 vsize=147504 CPUtime=1.49 cores=0-31
/proc/8694/stat : 8694 (claspmt) R 8692 8694 8668 0 -1 4202496 40927 0 0 0 142 7 0 0 25 0 1 0 722897 151044096 30676 270582939648 4194304 4964800 140734469868096 18446744073709551615 4623968 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/8694/statm: 36876 30676 401 189 0 31750 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 147504

[startup+3.10102 s]
/proc/loadavg: 27.27 29.60 24.67 2/414 8695
/proc/meminfo: memFree=263584220/264257624 swapFree=67111528/67111528
[pid=8694] ppid=8692 vsize=1383860 CPUtime=22.97 cores=0-31
/proc/8694/stat : 8694 (claspmt) S 8692 8694 8668 0 -1 4202496 209414 0 0 0 320 1977 0 0 18 0 32 0 722897 1417072640 143278 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/8694/statm: 345965 143278 438 189 0 340314 0
Current children cumulated CPU time (s) 22.97
Current children cumulated vsize (KiB) 1383860

[startup+6.30119 s]
/proc/loadavg: 27.27 29.60 24.67 5/445 8726
/proc/meminfo: memFree=262942644/264257624 swapFree=67111528/67111528
[pid=8694] ppid=8692 vsize=1799520 CPUtime=37.85 cores=0-31
/proc/8694/stat : 8694 (claspmt) S 8692 8694 8668 0 -1 4202496 262622 0 0 0 1636 2149 0 0 18 0 32 0 722897 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/8694/statm: 449880 191168 440 189 0 444229 0
[pid=8694/tid=8696] ppid=8692 vsize=1799520 CPUtime=0.76 cores=0-31
/proc/8694/task/8696/stat : 8696 (claspmt) S 8692 8694 8668 0 -1 4202560 6184 0 0 0 7 69 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505619398112 0 0 -1 21 0 0 0
[pid=8694/tid=8697] ppid=8692 vsize=1799520 CPUtime=0.86 cores=0-31
/proc/8694/task/8697/stat : 8697 (claspmt) S 8692 8694 8668 0 -1 4202560 7601 0 0 0 12 74 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505826328032 0 0 -1 2 0 0 0
[pid=8694/tid=8698] ppid=8692 vsize=1799520 CPUtime=0.85 cores=0-31
/proc/8694/task/8698/stat : 8698 (claspmt) S 8692 8694 8668 0 -1 4202560 8041 0 0 0 10 75 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504795618784 0 0 -1 3 0 0 0
[pid=8694/tid=8699] ppid=8692 vsize=1799520 CPUtime=0.81 cores=0-31
/proc/8694/task/8699/stat : 8699 (claspmt) S 8692 8694 8668 0 -1 4202560 5740 0 0 0 8 73 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604506035813856 0 0 -1 21 0 0 0
[pid=8694/tid=8700] ppid=8692 vsize=1799520 CPUtime=3.56 cores=0-31
/proc/8694/task/8700/stat : 8700 (claspmt) R 8692 8694 8668 0 -1 4202560 7232 0 0 0 285 71 0 0 22 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=8694/tid=8701] ppid=8692 vsize=1799520 CPUtime=0.81 cores=0-31
/proc/8694/task/8701/stat : 8701 (claspmt) S 8692 8694 8668 0 -1 4202560 8050 0 0 0 13 68 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604503948623328 0 0 -1 17 0 0 0
[pid=8694/tid=8702] ppid=8692 vsize=1799520 CPUtime=0.85 cores=0-31
/proc/8694/task/8702/stat : 8702 (claspmt) S 8692 8694 8668 0 -1 4202560 7548 0 0 0 13 72 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504822529504 0 0 -1 28 0 0 0
[pid=8694/tid=8703] ppid=8692 vsize=1799520 CPUtime=0.76 cores=0-31
/proc/8694/task/8703/stat : 8703 (claspmt) S 8692 8694 8668 0 -1 4202560 5715 0 0 0 7 69 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504795659744 0 0 -1 5 0 0 0
[pid=8694/tid=8704] ppid=8692 vsize=1799520 CPUtime=0.67 cores=0-31
/proc/8694/task/8704/stat : 8704 (claspmt) S 8692 8694 8668 0 -1 4202560 6251 0 0 0 7 60 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504822537696 0 0 -1 6 0 0 0
[pid=8694/tid=8705] ppid=8692 vsize=1799520 CPUtime=0.83 cores=0-31
/proc/8694/task/8705/stat : 8705 (claspmt) S 8692 8694 8668 0 -1 4202560 7877 0 0 0 12 71 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505483566560 0 0 -1 26 0 0 0
[pid=8694/tid=8706] ppid=8692 vsize=1799520 CPUtime=0.75 cores=0-31
/proc/8694/task/8706/stat : 8706 (claspmt) S 8692 8694 8668 0 -1 4202560 8429 0 0 0 13 62 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504795643360 0 0 -1 14 0 0 0
[pid=8694/tid=8707] ppid=8692 vsize=1799520 CPUtime=0.81 cores=0-31
/proc/8694/task/8707/stat : 8707 (claspmt) S 8692 8694 8668 0 -1 4202560 6141 0 0 0 6 75 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504795651552 0 0 -1 1 0 0 0
[pid=8694/tid=8708] ppid=8692 vsize=1799520 CPUtime=3.54 cores=0-31
/proc/8694/task/8708/stat : 8708 (claspmt) R 8692 8694 8668 0 -1 4202560 7069 0 0 0 284 70 0 0 23 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=8694/tid=8709] ppid=8692 vsize=1799520 CPUtime=0.81 cores=0-31
/proc/8694/task/8709/stat : 8709 (claspmt) S 8692 8694 8668 0 -1 4202560 8237 0 0 0 12 69 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504823152096 0 0 -1 23 0 0 0
[pid=8694/tid=8710] ppid=8692 vsize=1799520 CPUtime=0.82 cores=0-31
/proc/8694/task/8710/stat : 8710 (claspmt) S 8692 8694 8668 0 -1 4202560 7519 0 0 0 14 68 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505644588512 0 0 -1 7 0 0 0
[pid=8694/tid=8711] ppid=8692 vsize=1799520 CPUtime=0.69 cores=0-31
/proc/8694/task/8711/stat : 8711 (claspmt) S 8692 8694 8668 0 -1 4202560 6135 0 0 0 5 64 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604503948615136 0 0 -1 9 0 0 0
[pid=8694/tid=8712] ppid=8692 vsize=1799520 CPUtime=0.68 cores=0-31
/proc/8694/task/8712/stat : 8712 (claspmt) S 8692 8694 8668 0 -1 4202560 6406 0 0 0 6 62 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505483558368 0 0 -1 11 0 0 0
[pid=8694/tid=8713] ppid=8692 vsize=1799520 CPUtime=0.8 cores=0-31
/proc/8694/task/8713/stat : 8713 (claspmt) S 8692 8694 8668 0 -1 4202560 7518 0 0 0 9 71 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505644580320 0 0 -1 16 0 0 0
[pid=8694/tid=8714] ppid=8692 vsize=1799520 CPUtime=0.83 cores=0-31
/proc/8694/task/8714/stat : 8714 (claspmt) S 8692 8694 8668 0 -1 4202560 8186 0 0 0 12 71 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505619389920 0 0 -1 10 0 0 0
[pid=8694/tid=8715] ppid=8692 vsize=1799520 CPUtime=0.7 cores=0-31
/proc/8694/task/8715/stat : 8715 (claspmt) S 8692 8694 8668 0 -1 4202560 6322 0 0 0 7 63 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505644596704 0 0 -1 15 0 0 0
[pid=8694/tid=8716] ppid=8692 vsize=1799520 CPUtime=3.56 cores=0-31
/proc/8694/task/8716/stat : 8716 (claspmt) R 8692 8694 8668 0 -1 4202560 7393 0 0 0 285 71 0 0 23 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 4399557 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=8694/tid=8717] ppid=8692 vsize=1799520 CPUtime=0.84 cores=0-31
/proc/8694/task/8717/stat : 8717 (claspmt) S 8692 8694 8668 0 -1 4202560 7881 0 0 0 11 73 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505483550176 0 0 -1 12 0 0 0
[pid=8694/tid=8718] ppid=8692 vsize=1799520 CPUtime=0.8 cores=0-31
/proc/8694/task/8718/stat : 8718 (claspmt) S 8692 8694 8668 0 -1 4202560 7623 0 0 0 14 66 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504795586016 0 0 -1 22 0 0 0
[pid=8694/tid=8719] ppid=8692 vsize=1799520 CPUtime=0.67 cores=0-31
/proc/8694/task/8719/stat : 8719 (claspmt) S 8692 8694 8668 0 -1 4202560 5572 0 0 0 7 60 0 0 18 0 32 0 723120 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504265489888 0 0 -1 27 0 0 0
[pid=8694/tid=8720] ppid=8692 vsize=1799520 CPUtime=0.7 cores=0-31
/proc/8694/task/8720/stat : 8720 (claspmt) S 8692 8694 8668 0 -1 4202560 5895 0 0 0 5 65 0 0 18 0 32 0 723121 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604574801010144 0 0 -1 24 0 0 0
[pid=8694/tid=8721] ppid=8692 vsize=1799520 CPUtime=0.87 cores=0-31
/proc/8694/task/8721/stat : 8721 (claspmt) S 8692 8694 8668 0 -1 4202560 7954 0 0 0 11 76 0 0 18 0 32 0 723121 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604506035789280 0 0 -1 0 0 0 0
[pid=8694/tid=8722] ppid=8692 vsize=1799520 CPUtime=0.79 cores=0-31
/proc/8694/task/8722/stat : 8722 (claspmt) S 8692 8694 8668 0 -1 4202560 7998 0 0 0 10 69 0 0 18 0 32 0 723121 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505826311648 0 0 -1 20 0 0 0
[pid=8694/tid=8723] ppid=8692 vsize=1799520 CPUtime=0.74 cores=0-31
/proc/8694/task/8723/stat : 8723 (claspmt) S 8692 8694 8668 0 -1 4202560 6379 0 0 0 6 68 0 0 18 0 32 0 723121 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504822586848 0 0 -1 4 0 0 0
[pid=8694/tid=8724] ppid=8692 vsize=1799520 CPUtime=3.53 cores=0-31
/proc/8694/task/8724/stat : 8724 (claspmt) R 8692 8694 8668 0 -1 4202560 7246 0 0 0 289 64 0 0 22 0 32 0 723121 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 4399292 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=8694/tid=8725] ppid=8692 vsize=1799520 CPUtime=0.77 cores=0-31
/proc/8694/task/8725/stat : 8725 (claspmt) S 8692 8694 8668 0 -1 4202560 8180 0 0 0 11 66 0 0 18 0 32 0 723121 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505619381728 0 0 -1 25 0 0 0
[pid=8694/tid=8726] ppid=8692 vsize=1799520 CPUtime=0.82 cores=0-31
/proc/8694/task/8726/stat : 8726 (claspmt) S 8692 8694 8668 0 -1 4202560 7254 0 0 0 14 68 0 0 18 0 32 0 723121 1842708480 191168 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504795676128 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 37.85
Current children cumulated vsize (KiB) 1799520

[startup+12.7014 s]
/proc/loadavg: 23.69 28.75 24.45 5/445 8726
/proc/meminfo: memFree=262943080/264257624 swapFree=67111528/67111528
[pid=8694] ppid=8692 vsize=1799520 CPUtime=63.44 cores=0-31
/proc/8694/stat : 8694 (claspmt) S 8692 8694 8668 0 -1 4202496 262694 0 0 0 4195 2149 0 0 18 0 32 0 722897 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/8694/statm: 449880 191240 440 189 0 444229 0
[pid=8694/tid=8696] ppid=8692 vsize=1799520 CPUtime=0.76 cores=0-31
/proc/8694/task/8696/stat : 8696 (claspmt) S 8692 8694 8668 0 -1 4202560 6184 0 0 0 7 69 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505619398112 0 0 -1 21 0 0 0
[pid=8694/tid=8697] ppid=8692 vsize=1799520 CPUtime=0.86 cores=0-31
/proc/8694/task/8697/stat : 8697 (claspmt) S 8692 8694 8668 0 -1 4202560 7601 0 0 0 12 74 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505826328032 0 0 -1 2 0 0 0
[pid=8694/tid=8698] ppid=8692 vsize=1799520 CPUtime=0.85 cores=0-31
/proc/8694/task/8698/stat : 8698 (claspmt) S 8692 8694 8668 0 -1 4202560 8041 0 0 0 10 75 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504795618784 0 0 -1 3 0 0 0
[pid=8694/tid=8699] ppid=8692 vsize=1799520 CPUtime=0.81 cores=0-31
/proc/8694/task/8699/stat : 8699 (claspmt) S 8692 8694 8668 0 -1 4202560 5740 0 0 0 8 73 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604506035813856 0 0 -1 21 0 0 0
[pid=8694/tid=8700] ppid=8692 vsize=1799520 CPUtime=9.96 cores=0-31
/proc/8694/task/8700/stat : 8700 (claspmt) R 8692 8694 8668 0 -1 4202560 7248 0 0 0 925 71 0 0 25 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=8694/tid=8701] ppid=8692 vsize=1799520 CPUtime=0.81 cores=0-31
/proc/8694/task/8701/stat : 8701 (claspmt) S 8692 8694 8668 0 -1 4202560 8050 0 0 0 13 68 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604503948623328 0 0 -1 17 0 0 0
[pid=8694/tid=8702] ppid=8692 vsize=1799520 CPUtime=0.85 cores=0-31
/proc/8694/task/8702/stat : 8702 (claspmt) S 8692 8694 8668 0 -1 4202560 7548 0 0 0 13 72 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504822529504 0 0 -1 28 0 0 0
[pid=8694/tid=8703] ppid=8692 vsize=1799520 CPUtime=0.76 cores=0-31
/proc/8694/task/8703/stat : 8703 (claspmt) S 8692 8694 8668 0 -1 4202560 5715 0 0 0 7 69 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504795659744 0 0 -1 5 0 0 0
[pid=8694/tid=8704] ppid=8692 vsize=1799520 CPUtime=0.67 cores=0-31
/proc/8694/task/8704/stat : 8704 (claspmt) S 8692 8694 8668 0 -1 4202560 6251 0 0 0 7 60 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504822537696 0 0 -1 6 0 0 0
[pid=8694/tid=8705] ppid=8692 vsize=1799520 CPUtime=0.83 cores=0-31
/proc/8694/task/8705/stat : 8705 (claspmt) S 8692 8694 8668 0 -1 4202560 7877 0 0 0 12 71 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505483566560 0 0 -1 26 0 0 0
[pid=8694/tid=8706] ppid=8692 vsize=1799520 CPUtime=0.75 cores=0-31
/proc/8694/task/8706/stat : 8706 (claspmt) S 8692 8694 8668 0 -1 4202560 8429 0 0 0 13 62 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504795643360 0 0 -1 14 0 0 0
[pid=8694/tid=8707] ppid=8692 vsize=1799520 CPUtime=0.81 cores=0-31
/proc/8694/task/8707/stat : 8707 (claspmt) S 8692 8694 8668 0 -1 4202560 6141 0 0 0 6 75 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504795651552 0 0 -1 1 0 0 0
[pid=8694/tid=8708] ppid=8692 vsize=1799520 CPUtime=9.94 cores=0-31
/proc/8694/task/8708/stat : 8708 (claspmt) R 8692 8694 8668 0 -1 4202560 7079 0 0 0 924 70 0 0 25 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=8694/tid=8709] ppid=8692 vsize=1799520 CPUtime=0.81 cores=0-31
/proc/8694/task/8709/stat : 8709 (claspmt) S 8692 8694 8668 0 -1 4202560 8237 0 0 0 12 69 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604504823152096 0 0 -1 23 0 0 0
[pid=8694/tid=8710] ppid=8692 vsize=1799520 CPUtime=0.82 cores=0-31
/proc/8694/task/8710/stat : 8710 (claspmt) S 8692 8694 8668 0 -1 4202560 7519 0 0 0 14 68 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505644588512 0 0 -1 7 0 0 0
[pid=8694/tid=8711] ppid=8692 vsize=1799520 CPUtime=0.69 cores=0-31
/proc/8694/task/8711/stat : 8711 (claspmt) S 8692 8694 8668 0 -1 4202560 6135 0 0 0 5 64 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604503948615136 0 0 -1 9 0 0 0
[pid=8694/tid=8712] ppid=8692 vsize=1799520 CPUtime=0.68 cores=0-31
/proc/8694/task/8712/stat : 8712 (claspmt) S 8692 8694 8668 0 -1 4202560 6406 0 0 0 6 62 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505483558368 0 0 -1 11 0 0 0
[pid=8694/tid=8713] ppid=8692 vsize=1799520 CPUtime=0.8 cores=0-31
/proc/8694/task/8713/stat : 8713 (claspmt) S 8692 8694 8668 0 -1 4202560 7518 0 0 0 9 71 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505644580320 0 0 -1 16 0 0 0
[pid=8694/tid=8714] ppid=8692 vsize=1799520 CPUtime=0.83 cores=0-31
/proc/8694/task/8714/stat : 8714 (claspmt) S 8692 8694 8668 0 -1 4202560 8186 0 0 0 12 71 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505619389920 0 0 -1 10 0 0 0
[pid=8694/tid=8715] ppid=8692 vsize=1799520 CPUtime=0.7 cores=0-31
/proc/8694/task/8715/stat : 8715 (claspmt) S 8692 8694 8668 0 -1 4202560 6322 0 0 0 7 63 0 0 18 0 32 0 723120 1842708480 191240 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662772457 0 0 4096 18946 18446604505644596704 0 0 -1 15 0 0 0
[pid=8694/tid=8716] ppid=8692 vsize=1799520 CPUtime=9.96 cores=0-31

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

/proc/8694/task/8697/stat : 8697 (claspmt) R 8692 8694 8668 0 -1 4202560 31945 0 0 0 72404 115 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8694/tid=8698] ppid=8692 vsize=3138340 CPUtime=725.2 cores=0-31
/proc/8694/task/8698/stat : 8698 (claspmt) R 8692 8694 8668 0 -1 4202560 16820 0 0 0 72426 94 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8694/tid=8699] ppid=8692 vsize=3138340 CPUtime=725.01 cores=0-31
/proc/8694/task/8699/stat : 8699 (claspmt) R 8692 8694 8668 0 -1 4202560 18475 0 0 0 72391 110 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=8694/tid=8700] ppid=8692 vsize=3138340 CPUtime=745.68 cores=0-31
/proc/8694/task/8700/stat : 8700 (claspmt) R 8692 8694 8668 0 -1 4202560 20094 0 0 0 74471 97 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=8694/tid=8701] ppid=8692 vsize=3138340 CPUtime=725.07 cores=0-31
/proc/8694/task/8701/stat : 8701 (claspmt) R 8692 8694 8668 0 -1 4202560 17908 0 0 0 72416 91 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=8694/tid=8702] ppid=8692 vsize=3138340 CPUtime=724.8 cores=0-31
/proc/8694/task/8702/stat : 8702 (claspmt) R 8692 8694 8668 0 -1 4202560 34698 0 0 0 72308 172 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8694/tid=8703] ppid=8692 vsize=3138340 CPUtime=725.06 cores=0-31
/proc/8694/task/8703/stat : 8703 (claspmt) R 8692 8694 8668 0 -1 4202560 12270 0 0 0 72408 98 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8694/tid=8704] ppid=8692 vsize=3138340 CPUtime=724.96 cores=0-31
/proc/8694/task/8704/stat : 8704 (claspmt) R 8692 8694 8668 0 -1 4202560 13845 0 0 0 72417 79 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8694/tid=8705] ppid=8692 vsize=3138340 CPUtime=725.18 cores=0-31
/proc/8694/task/8705/stat : 8705 (claspmt) R 8692 8694 8668 0 -1 4202560 33315 0 0 0 72410 108 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=8694/tid=8706] ppid=8692 vsize=3138340 CPUtime=725.07 cores=0-31
/proc/8694/task/8706/stat : 8706 (claspmt) R 8692 8694 8668 0 -1 4202560 17269 0 0 0 72426 81 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=8694/tid=8707] ppid=8692 vsize=3138340 CPUtime=725.12 cores=0-31
/proc/8694/task/8707/stat : 8707 (claspmt) R 8692 8694 8668 0 -1 4202560 18805 0 0 0 72401 111 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8694/tid=8708] ppid=8692 vsize=3138340 CPUtime=745.7 cores=0-31
/proc/8694/task/8708/stat : 8708 (claspmt) R 8692 8694 8668 0 -1 4202560 21558 0 0 0 74471 99 0 0 19 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8694/tid=8709] ppid=8692 vsize=3138340 CPUtime=719.65 cores=0-31
/proc/8694/task/8709/stat : 8709 (claspmt) R 8692 8694 8668 0 -1 4202560 18997 0 0 0 71873 92 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=8694/tid=8710] ppid=8692 vsize=3138340 CPUtime=724.83 cores=0-31
/proc/8694/task/8710/stat : 8710 (claspmt) R 8692 8694 8668 0 -1 4202560 30696 0 0 0 72329 154 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=8694/tid=8711] ppid=8692 vsize=3138340 CPUtime=725.02 cores=0-31
/proc/8694/task/8711/stat : 8711 (claspmt) R 8692 8694 8668 0 -1 4202560 12108 0 0 0 72416 86 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=8694/tid=8712] ppid=8692 vsize=3138340 CPUtime=724.98 cores=0-31
/proc/8694/task/8712/stat : 8712 (claspmt) R 8692 8694 8668 0 -1 4202560 14537 0 0 0 72413 85 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4669535 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=8694/tid=8713] ppid=8692 vsize=3138340 CPUtime=724.93 cores=0-31
/proc/8694/task/8713/stat : 8713 (claspmt) R 8692 8694 8668 0 -1 4202560 30998 0 0 0 72375 118 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=8694/tid=8714] ppid=8692 vsize=3138340 CPUtime=725.16 cores=0-31
/proc/8694/task/8714/stat : 8714 (claspmt) R 8692 8694 8668 0 -1 4202560 17219 0 0 0 72425 91 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=8694/tid=8715] ppid=8692 vsize=3138340 CPUtime=724.96 cores=0-31
/proc/8694/task/8715/stat : 8715 (claspmt) R 8692 8694 8668 0 -1 4202560 18732 0 0 0 72400 96 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=8694/tid=8716] ppid=8692 vsize=3138340 CPUtime=745.72 cores=0-31
/proc/8694/task/8716/stat : 8716 (claspmt) R 8692 8694 8668 0 -1 4202560 21511 0 0 0 74471 101 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=8694/tid=8717] ppid=8692 vsize=3138340 CPUtime=722.01 cores=0-31
/proc/8694/task/8717/stat : 8717 (claspmt) R 8692 8694 8668 0 -1 4202560 16620 0 0 0 72109 92 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=8694/tid=8718] ppid=8692 vsize=3138340 CPUtime=723.15 cores=0-31
/proc/8694/task/8718/stat : 8718 (claspmt) R 8692 8694 8668 0 -1 4202560 47748 0 0 0 72091 224 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=8694/tid=8719] ppid=8692 vsize=3138340 CPUtime=723.37 cores=0-31
/proc/8694/task/8719/stat : 8719 (claspmt) R 8692 8694 8668 0 -1 4202560 12862 0 0 0 72248 89 0 0 25 0 32 0 723120 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=8694/tid=8720] ppid=8692 vsize=3138340 CPUtime=717.3 cores=0-31
/proc/8694/task/8720/stat : 8720 (claspmt) R 8692 8694 8668 0 -1 4202560 13868 0 0 0 71639 91 0 0 25 0 32 0 723121 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=8694/tid=8721] ppid=8692 vsize=3138340 CPUtime=725.16 cores=0-31
/proc/8694/task/8721/stat : 8721 (claspmt) R 8692 8694 8668 0 -1 4202560 30524 0 0 0 72401 115 0 0 25 0 32 0 723121 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=8694/tid=8722] ppid=8692 vsize=3138340 CPUtime=725.13 cores=0-31
/proc/8694/task/8722/stat : 8722 (claspmt) R 8692 8694 8668 0 -1 4202560 17765 0 0 0 72423 90 0 0 25 0 32 0 723121 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=8694/tid=8723] ppid=8692 vsize=3138340 CPUtime=724.74 cores=0-31
/proc/8694/task/8723/stat : 8723 (claspmt) R 8692 8694 8668 0 -1 4202560 20501 0 0 0 72372 102 0 0 25 0 32 0 723121 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8694/tid=8724] ppid=8692 vsize=3138340 CPUtime=745.31 cores=0-31
/proc/8694/task/8724/stat : 8724 (claspmt) R 8692 8694 8668 0 -1 4202560 22363 0 0 0 74440 91 0 0 25 0 32 0 723121 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4668627 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=8694/tid=8725] ppid=8692 vsize=3138340 CPUtime=725.05 cores=0-31
/proc/8694/task/8725/stat : 8725 (claspmt) R 8692 8694 8668 0 -1 4202560 18321 0 0 0 72417 88 0 0 25 0 32 0 723121 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=8694/tid=8726] ppid=8692 vsize=3138340 CPUtime=725.11 cores=0-31
/proc/8694/task/8726/stat : 8726 (claspmt) R 8692 8694 8668 0 -1 4202560 32866 0 0 0 72342 169 0 0 25 0 32 0 723121 3213660160 643164 270582939648 4194304 4964800 140734469868096 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 23265
Current children cumulated vsize (KiB) 3138340

[startup+755.102 s]
/proc/loadavg: 32.12 31.71 28.48 33/445 8749
/proc/meminfo: memFree=261135948/264257624 swapFree=67111528/67111528
[pid=8694] ppid=8692 vsize=3138340 CPUtime=23469.5 cores=0-31
/proc/8694/stat : 8694 (claspmt) R 8692 8694 8668 0 -1 4202496 716923 0 0 0 2343573 3377 0 0 25 0 32 0 722897 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/8694/statm: 784585 643050 463 189 0 778934 0
[pid=8694/tid=8696] ppid=8692 vsize=3138340 CPUtime=731.42 cores=0-31
/proc/8694/task/8696/stat : 8696 (claspmt) R 8692 8694 8668 0 -1 4202560 14573 0 0 0 73051 91 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=8694/tid=8697] ppid=8692 vsize=3138340 CPUtime=731.58 cores=0-31
/proc/8694/task/8697/stat : 8697 (claspmt) R 8692 8694 8668 0 -1 4202560 31945 0 0 0 73043 115 0 0 18 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8694/tid=8698] ppid=8692 vsize=3138340 CPUtime=731.59 cores=0-31
/proc/8694/task/8698/stat : 8698 (claspmt) R 8692 8694 8668 0 -1 4202560 16822 0 0 0 73065 94 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8694/tid=8699] ppid=8692 vsize=3138340 CPUtime=731.41 cores=0-31
/proc/8694/task/8699/stat : 8699 (claspmt) R 8692 8694 8668 0 -1 4202560 18475 0 0 0 73031 110 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=8694/tid=8700] ppid=8692 vsize=3138340 CPUtime=752.07 cores=0-31
/proc/8694/task/8700/stat : 8700 (claspmt) R 8692 8694 8668 0 -1 4202560 20096 0 0 0 75110 97 0 0 18 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=8694/tid=8701] ppid=8692 vsize=3138340 CPUtime=731.47 cores=0-31
/proc/8694/task/8701/stat : 8701 (claspmt) R 8692 8694 8668 0 -1 4202560 17909 0 0 0 73056 91 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=8694/tid=8702] ppid=8692 vsize=3138340 CPUtime=731.2 cores=0-31
/proc/8694/task/8702/stat : 8702 (claspmt) R 8692 8694 8668 0 -1 4202560 34699 0 0 0 72948 172 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8694/tid=8703] ppid=8692 vsize=3138340 CPUtime=731.46 cores=0-31
/proc/8694/task/8703/stat : 8703 (claspmt) R 8692 8694 8668 0 -1 4202560 12270 0 0 0 73048 98 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8694/tid=8704] ppid=8692 vsize=3138340 CPUtime=731.36 cores=0-31
/proc/8694/task/8704/stat : 8704 (claspmt) R 8692 8694 8668 0 -1 4202560 13845 0 0 0 73057 79 0 0 18 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8694/tid=8705] ppid=8692 vsize=3138340 CPUtime=731.58 cores=0-31
/proc/8694/task/8705/stat : 8705 (claspmt) R 8692 8694 8668 0 -1 4202560 33318 0 0 0 73050 108 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=8694/tid=8706] ppid=8692 vsize=3138340 CPUtime=731.47 cores=0-31
/proc/8694/task/8706/stat : 8706 (claspmt) R 8692 8694 8668 0 -1 4202560 17273 0 0 0 73066 81 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=8694/tid=8707] ppid=8692 vsize=3138340 CPUtime=731.51 cores=0-31
/proc/8694/task/8707/stat : 8707 (claspmt) R 8692 8694 8668 0 -1 4202560 18805 0 0 0 73040 111 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8694/tid=8708] ppid=8692 vsize=3138340 CPUtime=752.09 cores=0-31
/proc/8694/task/8708/stat : 8708 (claspmt) R 8692 8694 8668 0 -1 4202560 21559 0 0 0 75110 99 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8694/tid=8709] ppid=8692 vsize=3138340 CPUtime=725.87 cores=0-31
/proc/8694/task/8709/stat : 8709 (claspmt) R 8692 8694 8668 0 -1 4202560 18998 0 0 0 72495 92 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=8694/tid=8710] ppid=8692 vsize=3138340 CPUtime=731.23 cores=0-31
/proc/8694/task/8710/stat : 8710 (claspmt) R 8692 8694 8668 0 -1 4202560 30696 0 0 0 72969 154 0 0 18 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=8694/tid=8711] ppid=8692 vsize=3138340 CPUtime=731.42 cores=0-31
/proc/8694/task/8711/stat : 8711 (claspmt) R 8692 8694 8668 0 -1 4202560 12108 0 0 0 73056 86 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=8694/tid=8712] ppid=8692 vsize=3138340 CPUtime=731.38 cores=0-31
/proc/8694/task/8712/stat : 8712 (claspmt) R 8692 8694 8668 0 -1 4202560 14547 0 0 0 73053 85 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=8694/tid=8713] ppid=8692 vsize=3138340 CPUtime=731.32 cores=0-31
/proc/8694/task/8713/stat : 8713 (claspmt) R 8692 8694 8668 0 -1 4202560 30998 0 0 0 73014 118 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=8694/tid=8714] ppid=8692 vsize=3138340 CPUtime=731.56 cores=0-31
/proc/8694/task/8714/stat : 8714 (claspmt) R 8692 8694 8668 0 -1 4202560 17222 0 0 0 73065 91 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=8694/tid=8715] ppid=8692 vsize=3138340 CPUtime=731.36 cores=0-31
/proc/8694/task/8715/stat : 8715 (claspmt) R 8692 8694 8668 0 -1 4202560 18732 0 0 0 73040 96 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=8694/tid=8716] ppid=8692 vsize=3138340 CPUtime=752.12 cores=0-31
/proc/8694/task/8716/stat : 8716 (claspmt) R 8692 8694 8668 0 -1 4202560 21511 0 0 0 75110 102 0 0 18 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=8694/tid=8717] ppid=8692 vsize=3138340 CPUtime=728.39 cores=0-31
/proc/8694/task/8717/stat : 8717 (claspmt) R 8692 8694 8668 0 -1 4202560 16620 0 0 0 72746 93 0 0 18 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=8694/tid=8718] ppid=8692 vsize=3138340 CPUtime=729.55 cores=0-31
/proc/8694/task/8718/stat : 8718 (claspmt) R 8692 8694 8668 0 -1 4202560 47749 0 0 0 72731 224 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=8694/tid=8719] ppid=8692 vsize=3138340 CPUtime=729.76 cores=0-31
/proc/8694/task/8719/stat : 8719 (claspmt) R 8692 8694 8668 0 -1 4202560 12862 0 0 0 72887 89 0 0 25 0 32 0 723120 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=8694/tid=8720] ppid=8692 vsize=3138340 CPUtime=723.7 cores=0-31
/proc/8694/task/8720/stat : 8720 (claspmt) R 8692 8694 8668 0 -1 4202560 13868 0 0 0 72279 91 0 0 25 0 32 0 723121 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4669276 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=8694/tid=8721] ppid=8692 vsize=3138340 CPUtime=731.56 cores=0-31
/proc/8694/task/8721/stat : 8721 (claspmt) R 8692 8694 8668 0 -1 4202560 30524 0 0 0 73040 116 0 0 25 0 32 0 723121 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4313807 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=8694/tid=8722] ppid=8692 vsize=3138340 CPUtime=731.52 cores=0-31
/proc/8694/task/8722/stat : 8722 (claspmt) R 8692 8694 8668 0 -1 4202560 17765 0 0 0 73062 90 0 0 25 0 32 0 723121 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=8694/tid=8723] ppid=8692 vsize=3138340 CPUtime=731.14 cores=0-31
/proc/8694/task/8723/stat : 8723 (claspmt) R 8692 8694 8668 0 -1 4202560 20501 0 0 0 73012 102 0 0 25 0 32 0 723121 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8694/tid=8724] ppid=8692 vsize=3138340 CPUtime=751.71 cores=0-31
/proc/8694/task/8724/stat : 8724 (claspmt) R 8692 8694 8668 0 -1 4202560 22449 0 0 0 75080 91 0 0 25 0 32 0 723121 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=8694/tid=8725] ppid=8692 vsize=3138340 CPUtime=731.45 cores=0-31
/proc/8694/task/8725/stat : 8725 (claspmt) R 8692 8694 8668 0 -1 4202560 18321 0 0 0 73057 88 0 0 25 0 32 0 723121 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=8694/tid=8726] ppid=8692 vsize=3138340 CPUtime=731.52 cores=0-31
/proc/8694/task/8726/stat : 8726 (claspmt) R 8692 8694 8668 0 -1 4202560 32866 0 0 0 72982 170 0 0 25 0 32 0 723121 3213660160 643050 270582939648 4194304 4964800 140734469868096 18446744073709551615 4670282 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 23469.5
Current children cumulated vsize (KiB) 3138340

[startup+758.3 s]
/proc/loadavg: 31.79 31.65 28.48 2/415 8749
/proc/meminfo: memFree=261136096/264257624 swapFree=67111528/67111528
[pid=8694] ppid=8692 vsize=3138340 CPUtime=23513.7 cores=0-31
/proc/8694/stat : 8694 (claspmt) S 8692 8694 8668 0 -1 4202496 716931 0 0 0 2347843 3524 0 0 15 0 2 0 722897 3213660160 642455 270582939648 4194304 4964800 140734469868096 18446744073709551615 258662759221 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/8694/statm: 784585 642455 464 189 0 778934 0
[pid=8694/tid=8705] ppid=8692 vsize=3138340 CPUtime=734.77 cores=0-31
/proc/8694/task/8705/stat : 8705 (claspmt) R 8692 8694 8668 0 -1 4202560 33319 0 0 0 73366 111 0 0 19 0 2 0 723120 3213660160 642455 270582939648 4194304 4964800 140734469868096 18446744073709551615 258650653514 0 0 4096 18946 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 23513.7
Current children cumulated vsize (KiB) 3138340

[startup+759.1 s]
/proc/loadavg: 31.79 31.65 28.48 2/414 8749
/proc/meminfo: memFree=261164748/264257624 swapFree=67111528/67111528
[pid=8694] ppid=8692 vsize=3019216 CPUtime=23514.5 cores=0-31
/proc/8694/stat : 8694 (claspmt) R 8692 8694 8668 0 -1 4202496 716941 0 0 0 2347923 3524 0 0 16 0 1 0 722897 3091677184 634618 270582939648 4194304 4964800 140734469868096 18446744073709551615 4646717 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/8694/statm: 754804 634618 474 189 0 749153 0
Current children cumulated CPU time (s) 23514.5
Current children cumulated vsize (KiB) 3019216

[startup+759.5 s]
/proc/loadavg: 31.79 31.65 28.48 2/414 8749
/proc/meminfo: memFree=261164748/264257624 swapFree=67111528/67111528
[pid=8694] ppid=8692 vsize=3019216 CPUtime=23514.9 cores=0-31
/proc/8694/stat : 8694 (claspmt) R 8692 8694 8668 0 -1 4202496 716941 0 0 0 2347962 3524 0 0 16 0 1 0 722897 3091677184 632518 270582939648 4194304 4964800 140734469868096 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/8694/statm: 754804 632518 474 189 0 749153 0
Current children cumulated CPU time (s) 23514.9
Current children cumulated vsize (KiB) 3019216

[startup+759.701 s]
/proc/loadavg: 31.79 31.65 28.48 2/414 8749
/proc/meminfo: memFree=261164748/264257624 swapFree=67111528/67111528
[pid=8694] ppid=8692 vsize=2099468 CPUtime=23515.1 cores=0-31
/proc/8694/stat : 8694 (claspmt) R 8692 8694 8668 0 -1 4202496 716941 0 0 0 2347977 3530 0 0 17 0 1 0 722897 2149855232 366848 270582939648 4194304 4964800 140734469868096 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/8694/statm: 524867 366848 474 189 0 519216 0
Current children cumulated CPU time (s) 23515.1
Current children cumulated vsize (KiB) 2099468

Child status: 20
Real time (s): 759.786
CPU time (s): 23515.2
CPU user time (s): 23479.8
CPU system time (s): 35.3906
CPU usage (%): 3094.97
Max. virtual memory (cumulated for all children) (KiB): 3138340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23479.8
system time used= 35.3906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 716942
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= 238005
involuntary context switches= 49783

runsolver used 4.14637 second user time and 17.1844 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-06 11:42:40
IDJOB=3472262
IDBENCH=20384
IDSOLVER=1961
FILE ID=node200/3472262-1307353359
RUNJOBID= node200-1307353359-8682
PBS_JOBID= 13509157
Free space on /tmp= 61724 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-10-17-u.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-3472262-1307353359/watcher-3472262-1307353359 -o /tmp/evaluation-result-3472262-1307353359/solver-3472262-1307353359 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472262-1307353359.cnf

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

MD5SUM BENCH= 780d946576ec5746b4ea9832bb01dbc5
RANDOM SEED=404032871

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:      263706960 kB
Buffers:         23976 kB
Cached:         323672 kB
SwapCached:          0 kB
Active:         133340 kB
Inactive:       276864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263706960 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           20532 kB
Writeback:           0 kB
AnonPages:       62648 kB
Mapped:          14472 kB
Slab:            63544 kB
PageTables:       4436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   158740 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= 61724 MiB
End job on node200 at 2011-06-06 11:55:20