Trace number 3472307

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) 160005 5007.85

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsarray/
countbitsarray04_32.cnf
MD5SUM2fe3650d4a602f63086e937176360ebb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables8750
Number of clauses25865
Sum of the clauses size60349
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 217242
Number of clauses of size 38621
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...443919/instance-3472307-1307443919.cnf
0.10/0.13	c Solving...
160003.80/5006.93	
160003.80/5006.93	*** INTERRUPTED! ***
160003.80/5006.93	*** Shutting down threads...
160004.94/5007.84	s UNKNOWN
160004.94/5007.84	
160004.94/5007.84	c INTERRUPTED   : 1
160004.94/5007.84	c Models        : 0+    
160004.94/5007.84	c Time          : 5006.923s (Solving: 5006.80s 1st Model: 0.00s Unsat: 0.00s)
160004.94/5007.84	c CPU Time      : 160004.060s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

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-3472307-1307443919/watcher-3472307-1307443919 -o /tmp/evaluation-result-3472307-1307443919/solver-3472307-1307443919 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472307-1307443919.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.74 31.69 31.10 1/413 15109
/proc/meminfo: memFree=263371340/264257624 swapFree=67111528/67111528
[pid=15109] ppid=15107 vsize=24228 CPUtime=0.02 cores=0-31
/proc/15109/stat : 15109 (claspmt) R 15107 15109 15083 0 -1 4202496 1535 0 0 0 2 0 0 0 23 0 1 0 9778764 24809472 1275 270582939648 4194304 4964800 140735959338688 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/15109/statm: 6057 1275 396 189 0 931 0

[startup+0.114705 s]
/proc/loadavg: 29.74 31.69 31.10 1/413 15109
/proc/meminfo: memFree=263371340/264257624 swapFree=67111528/67111528
[pid=15109] ppid=15107 vsize=26076 CPUtime=0.1 cores=0-31
/proc/15109/stat : 15109 (claspmt) R 15107 15109 15083 0 -1 4202496 1984 0 0 0 10 0 0 0 24 0 1 0 9778764 26701824 1724 270582939648 4194304 4964800 140735959338688 18446744073709551615 4601757 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/15109/statm: 6519 1724 401 189 0 1393 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 26076

[startup+0.200531 s]
/proc/loadavg: 29.74 31.69 31.10 1/413 15109
/proc/meminfo: memFree=263371340/264257624 swapFree=67111528/67111528
[pid=15109] ppid=15107 vsize=1417748 CPUtime=0.66 cores=0-31
/proc/15109/stat : 15109 (claspmt) S 15107 15109 15083 0 -1 4202496 10368 0 0 0 20 46 0 0 18 0 32 0 9778764 1451773952 7862 270582939648 4194304 4964800 140735959338688 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/15109/statm: 354437 7871 432 189 0 348786 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 1417748

[startup+0.30068 s]
/proc/loadavg: 29.74 31.69 31.10 1/413 15109
/proc/meminfo: memFree=263371340/264257624 swapFree=67111528/67111528
[pid=15109] ppid=15107 vsize=2008524 CPUtime=1.04 cores=0-31
/proc/15109/stat : 15109 (claspmt) S 15107 15109 15083 0 -1 4202496 15653 0 0 0 44 60 0 0 18 0 32 0 9778764 2056728576 13147 270582939648 4194304 4964800 140735959338688 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/15109/statm: 502131 13147 440 189 0 496480 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 2008524

[startup+0.70055 s]
/proc/loadavg: 29.74 31.69 31.10 1/413 15109
/proc/meminfo: memFree=263371340/264257624 swapFree=67111528/67111528
[pid=15109] ppid=15107 vsize=2008524 CPUtime=12.95 cores=0-31
/proc/15109/stat : 15109 (claspmt) R 15107 15109 15083 0 -1 4202496 16961 0 0 0 1232 63 0 0 17 0 32 0 9778764 2056728576 14455 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669011 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/15109/statm: 502131 14455 461 189 0 496480 0
Current children cumulated CPU time (s) 12.95
Current children cumulated vsize (KiB) 2008524

[startup+1.50158 s]
/proc/loadavg: 29.92 31.70 31.10 32/445 15141
/proc/meminfo: memFree=263301132/264257624 swapFree=67111528/67111528
[pid=15109] ppid=15107 vsize=2008724 CPUtime=38.36 cores=0-31
/proc/15109/stat : 15109 (claspmt) R 15107 15109 15083 0 -1 4202496 23847 0 0 0 3746 90 0 0 18 0 32 0 9778764 2056933376 21341 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/15109/statm: 502181 21341 461 189 0 496530 0
[pid=15109/tid=15111] ppid=15107 vsize=2008724 CPUtime=1.2 cores=0-31
/proc/15109/task/15111/stat : 15111 (claspmt) R 15107 15109 15083 0 -1 4202560 508 0 0 0 118 2 0 0 18 0 32 0 9778778 2056933376 21341 270582939648 4194304 4964800 140735959338688 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=15109/tid=15112] ppid=15107 vsize=2008724 CPUtime=1.19 cores=0-31
/proc/15109/task/15112/stat : 15112 (claspmt) R 15107 15109 15083 0 -1 4202560 931 0 0 0 117 2 0 0 18 0 32 0 9778778 2056933376 21341 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670415 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=15109/tid=15113] ppid=15107 vsize=2008724 CPUtime=1.21 cores=0-31
/proc/15109/task/15113/stat : 15113 (claspmt) R 15107 15109 15083 0 -1 4202560 756 0 0 0 118 3 0 0 18 0 32 0 9778778 2056933376 21341 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15109/tid=15114] ppid=15107 vsize=2008724 CPUtime=1.21 cores=0-31
/proc/15109/task/15114/stat : 15114 (claspmt) R 15107 15109 15083 0 -1 4202560 612 0 0 0 118 3 0 0 18 0 32 0 9778778 2056933376 21341 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=15109/tid=15115] ppid=15107 vsize=2008724 CPUtime=1.21 cores=0-31
/proc/15109/task/15115/stat : 15115 (claspmt) R 15107 15109 15083 0 -1 4202560 510 0 0 0 120 1 0 0 19 0 32 0 9778778 2056933376 21341 270582939648 4194304 4964800 140735959338688 18446744073709551615 258650646895 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=15109/tid=15116] ppid=15107 vsize=2008724 CPUtime=1.18 cores=0-31
/proc/15109/task/15116/stat : 15116 (claspmt) R 15107 15109 15083 0 -1 4202560 660 0 0 0 116 2 0 0 18 0 32 0 9778778 2056933376 21341 270582939648 4194304 4964800 140735959338688 18446744073709551615 4378516 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=15109/tid=15117] ppid=15107 vsize=2008724 CPUtime=1.19 cores=0-31
/proc/15109/task/15117/stat : 15117 (claspmt) R 15107 15109 15083 0 -1 4202560 911 0 0 0 116 3 0 0 18 0 32 0 9778778 2056933376 21341 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669396 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=15109/tid=15118] ppid=15107 vsize=2008724 CPUtime=1.2 cores=0-31
/proc/15109/task/15118/stat : 15118 (claspmt) R 15107 15109 15083 0 -1 4202560 592 0 0 0 118 2 0 0 18 0 32 0 9778778 2056933376 21341 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=15109/tid=15119] ppid=15107 vsize=2008724 CPUtime=1.2 cores=0-31
/proc/15109/task/15119/stat : 15119 (claspmt) R 15107 15109 15083 0 -1 4202560 543 0 0 0 118 2 0 0 18 0 32 0 9778778 2056933376 21341 270582939648 4194304 4964800 140735959338688 18446744073709551615 4668544 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=15109/tid=15120] ppid=15107 vsize=2008724 CPUtime=1.2 cores=0-31
/proc/15109/task/15120/stat : 15120 (claspmt) R 15107 15109 15083 0 -1 4202560 935 0 0 0 117 3 0 0 18 0 32 0 9778778 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 258650646892 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=15109/tid=15121] ppid=15107 vsize=2008724 CPUtime=1.2 cores=0-31
/proc/15109/task/15121/stat : 15121 (claspmt) R 15107 15109 15083 0 -1 4202560 735 0 0 0 118 2 0 0 18 0 32 0 9778778 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4674003 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=15109/tid=15122] ppid=15107 vsize=2008724 CPUtime=1.2 cores=0-31
/proc/15109/task/15122/stat : 15122 (claspmt) R 15107 15109 15083 0 -1 4202560 641 0 0 0 118 2 0 0 18 0 32 0 9778778 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=15109/tid=15123] ppid=15107 vsize=2008724 CPUtime=1.22 cores=0-31
/proc/15109/task/15123/stat : 15123 (claspmt) R 15107 15109 15083 0 -1 4202560 477 0 0 0 120 2 0 0 18 0 32 0 9778778 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4321023 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=15109/tid=15124] ppid=15107 vsize=2008724 CPUtime=1.1 cores=0-31
/proc/15109/task/15124/stat : 15124 (claspmt) R 15107 15109 15083 0 -1 4202560 665 0 0 0 108 2 0 0 18 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4627278 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=15109/tid=15125] ppid=15107 vsize=2008724 CPUtime=1.11 cores=0-31
/proc/15109/task/15125/stat : 15125 (claspmt) R 15107 15109 15083 0 -1 4202560 1118 0 0 0 108 3 0 0 18 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=15109/tid=15126] ppid=15107 vsize=2008724 CPUtime=1.2 cores=0-31
/proc/15109/task/15126/stat : 15126 (claspmt) R 15107 15109 15083 0 -1 4202560 554 0 0 0 117 3 0 0 19 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=15109/tid=15127] ppid=15107 vsize=2008724 CPUtime=1.2 cores=0-31
/proc/15109/task/15127/stat : 15127 (claspmt) R 15107 15109 15083 0 -1 4202560 567 0 0 0 118 2 0 0 18 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4338784 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=15109/tid=15128] ppid=15107 vsize=2008724 CPUtime=1.18 cores=0-31
/proc/15109/task/15128/stat : 15128 (claspmt) R 15107 15109 15083 0 -1 4202560 829 0 0 0 116 2 0 0 18 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=15109/tid=15129] ppid=15107 vsize=2008724 CPUtime=1.19 cores=0-31
/proc/15109/task/15129/stat : 15129 (claspmt) R 15107 15109 15083 0 -1 4202560 683 0 0 0 116 3 0 0 18 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=15109/tid=15130] ppid=15107 vsize=2008724 CPUtime=1.2 cores=0-31
/proc/15109/task/15130/stat : 15130 (claspmt) R 15107 15109 15083 0 -1 4202560 697 0 0 0 117 3 0 0 19 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669476 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=15109/tid=15131] ppid=15107 vsize=2008724 CPUtime=1.23 cores=0-31
/proc/15109/task/15131/stat : 15131 (claspmt) R 15107 15109 15083 0 -1 4202560 563 0 0 0 122 1 0 0 19 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=15109/tid=15132] ppid=15107 vsize=2008724 CPUtime=1.18 cores=0-31
/proc/15109/task/15132/stat : 15132 (claspmt) R 15107 15109 15083 0 -1 4202560 678 0 0 0 116 2 0 0 18 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4378523 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15109/tid=15133] ppid=15107 vsize=2008724 CPUtime=1.13 cores=0-31
/proc/15109/task/15133/stat : 15133 (claspmt) R 15107 15109 15083 0 -1 4202560 995 0 0 0 110 3 0 0 18 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4660500 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=15109/tid=15134] ppid=15107 vsize=2008724 CPUtime=1.21 cores=0-31
/proc/15109/task/15134/stat : 15134 (claspmt) R 15107 15109 15083 0 -1 4202560 586 0 0 0 119 2 0 0 19 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=15109/tid=15135] ppid=15107 vsize=2008724 CPUtime=1.21 cores=0-31
/proc/15109/task/15135/stat : 15135 (claspmt) R 15107 15109 15083 0 -1 4202560 520 0 0 0 118 3 0 0 19 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=15109/tid=15136] ppid=15107 vsize=2008724 CPUtime=1.19 cores=0-31
/proc/15109/task/15136/stat : 15136 (claspmt) R 15107 15109 15083 0 -1 4202560 858 0 0 0 116 3 0 0 19 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=15109/tid=15137] ppid=15107 vsize=2008724 CPUtime=1.18 cores=0-31
/proc/15109/task/15137/stat : 15137 (claspmt) R 15107 15109 15083 0 -1 4202560 632 0 0 0 116 2 0 0 19 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=15109/tid=15138] ppid=15107 vsize=2008724 CPUtime=1.2 cores=0-31
/proc/15109/task/15138/stat : 15138 (claspmt) R 15107 15109 15083 0 -1 4202560 533 0 0 0 118 2 0 0 19 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=15109/tid=15139] ppid=15107 vsize=2008724 CPUtime=1.08 cores=0-31
/proc/15109/task/15139/stat : 15139 (claspmt) R 15107 15109 15083 0 -1 4202560 558 0 0 0 106 2 0 0 18 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=15109/tid=15140] ppid=15107 vsize=2008724 CPUtime=1.18 cores=0-31
/proc/15109/task/15140/stat : 15140 (claspmt) R 15107 15109 15083 0 -1 4202560 687 0 0 0 116 2 0 0 19 0 32 0 9778779 2056933376 21342 270582939648 4194304 4964800 140735959338688 18446744073709551615 4658846 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=15109/tid=15141] ppid=15107 vsize=2008724 CPUtime=1.13 cores=0-31
/proc/15109/task/15141/stat : 15141 (claspmt) R 15107 15109 15083 0 -1 4202560 967 0 0 0 110 3 0 0 18 0 32 0 9778779 2056933376 21343 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 38.36
Current children cumulated vsize (KiB) 2008724

[startup+3.10163 s]
/proc/loadavg: 29.92 31.70 31.10 33/445 15141
/proc/meminfo: memFree=263270876/264257624 swapFree=67111528/67111528
[pid=15109] ppid=15107 vsize=2009252 CPUtime=89.35 cores=0-31
/proc/15109/stat : 15109 (claspmt) R 15107 15109 15083 0 -1 4202496 33088 0 0 0 8816 119 0 0 18 0 32 0 9778764 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669479 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/15109/statm: 502313 30582 461 189 0 496662 0
[pid=15109/tid=15111] ppid=15107 vsize=2009252 CPUtime=2.79 cores=0-31
/proc/15109/task/15111/stat : 15111 (claspmt) R 15107 15109 15083 0 -1 4202560 668 0 0 0 277 2 0 0 21 0 32 0 9778778 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=15109/tid=15112] ppid=15107 vsize=2009252 CPUtime=2.79 cores=0-31
/proc/15109/task/15112/stat : 15112 (claspmt) R 15107 15109 15083 0 -1 4202560 1279 0 0 0 276 3 0 0 18 0 32 0 9778778 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=15109/tid=15113] ppid=15107 vsize=2009252 CPUtime=2.8 cores=0-31
/proc/15109/task/15113/stat : 15113 (claspmt) R 15107 15109 15083 0 -1 4202560 903 0 0 0 277 3 0 0 22 0 32 0 9778778 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15109/tid=15114] ppid=15107 vsize=2009252 CPUtime=2.8 cores=0-31
/proc/15109/task/15114/stat : 15114 (claspmt) R 15107 15109 15083 0 -1 4202560 808 0 0 0 277 3 0 0 18 0 32 0 9778778 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=15109/tid=15115] ppid=15107 vsize=2009252 CPUtime=2.8 cores=0-31
/proc/15109/task/15115/stat : 15115 (claspmt) R 15107 15109 15083 0 -1 4202560 910 0 0 0 278 2 0 0 18 0 32 0 9778778 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669507 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=15109/tid=15116] ppid=15107 vsize=2009252 CPUtime=2.73 cores=0-31
/proc/15109/task/15116/stat : 15116 (claspmt) R 15107 15109 15083 0 -1 4202560 811 0 0 0 271 2 0 0 18 0 32 0 9778778 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=15109/tid=15117] ppid=15107 vsize=2009252 CPUtime=2.78 cores=0-31
/proc/15109/task/15117/stat : 15117 (claspmt) R 15107 15109 15083 0 -1 4202560 1637 0 0 0 273 5 0 0 18 0 32 0 9778778 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669078 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=15109/tid=15118] ppid=15107 vsize=2009252 CPUtime=2.79 cores=0-31
/proc/15109/task/15118/stat : 15118 (claspmt) R 15107 15109 15083 0 -1 4202560 763 0 0 0 277 2 0 0 19 0 32 0 9778778 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=15109/tid=15119] ppid=15107 vsize=2009252 CPUtime=2.8 cores=0-31
/proc/15109/task/15119/stat : 15119 (claspmt) R 15107 15109 15083 0 -1 4202560 699 0 0 0 277 3 0 0 21 0 32 0 9778778 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=15109/tid=15120] ppid=15107 vsize=2009252 CPUtime=2.8 cores=0-31
/proc/15109/task/15120/stat : 15120 (claspmt) R 15107 15109 15083 0 -1 4202560 1179 0 0 0 276 4 0 0 20 0 32 0 9778778 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=15109/tid=15121] ppid=15107 vsize=2009252 CPUtime=2.8 cores=0-31
/proc/15109/task/15121/stat : 15121 (claspmt) R 15107 15109 15083 0 -1 4202560 860 0 0 0 277 3 0 0 20 0 32 0 9778778 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=15109/tid=15122] ppid=15107 vsize=2009252 CPUtime=2.79 cores=0-31
/proc/15109/task/15122/stat : 15122 (claspmt) R 15107 15109 15083 0 -1 4202560 878 0 0 0 277 2 0 0 20 0 32 0 9778778 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4660064 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=15109/tid=15123] ppid=15107 vsize=2009252 CPUtime=2.82 cores=0-31
/proc/15109/task/15123/stat : 15123 (claspmt) R 15107 15109 15083 0 -1 4202560 852 0 0 0 278 4 0 0 19 0 32 0 9778778 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=15109/tid=15124] ppid=15107 vsize=2009252 CPUtime=2.7 cores=0-31
/proc/15109/task/15124/stat : 15124 (claspmt) R 15107 15109 15083 0 -1 4202560 817 0 0 0 268 2 0 0 20 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=15109/tid=15125] ppid=15107 vsize=2009252 CPUtime=2.7 cores=0-31
/proc/15109/task/15125/stat : 15125 (claspmt) R 15107 15109 15083 0 -1 4202560 1810 0 0 0 264 6 0 0 18 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4366045 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=15109/tid=15126] ppid=15107 vsize=2009252 CPUtime=2.79 cores=0-31
/proc/15109/task/15126/stat : 15126 (claspmt) R 15107 15109 15083 0 -1 4202560 719 0 0 0 276 3 0 0 22 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4668552 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=15109/tid=15127] ppid=15107 vsize=2009252 CPUtime=2.79 cores=0-31
/proc/15109/task/15127/stat : 15127 (claspmt) R 15107 15109 15083 0 -1 4202560 702 0 0 0 277 2 0 0 21 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=15109/tid=15128] ppid=15107 vsize=2009252 CPUtime=2.77 cores=0-31
/proc/15109/task/15128/stat : 15128 (claspmt) R 15107 15109 15083 0 -1 4202560 1078 0 0 0 274 3 0 0 22 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=15109/tid=15129] ppid=15107 vsize=2009252 CPUtime=2.78 cores=0-31
/proc/15109/task/15129/stat : 15129 (claspmt) R 15107 15109 15083 0 -1 4202560 929 0 0 0 274 4 0 0 20 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=15109/tid=15130] ppid=15107 vsize=2009252 CPUtime=2.8 cores=0-31
/proc/15109/task/15130/stat : 15130 (claspmt) R 15107 15109 15083 0 -1 4202560 920 0 0 0 276 4 0 0 20 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=15109/tid=15131] ppid=15107 vsize=2009252 CPUtime=2.83 cores=0-31
/proc/15109/task/15131/stat : 15131 (claspmt) R 15107 15109 15083 0 -1 4202560 852 0 0 0 281 2 0 0 24 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670378 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=15109/tid=15132] ppid=15107 vsize=2009252 CPUtime=2.78 cores=0-31
/proc/15109/task/15132/stat : 15132 (claspmt) R 15107 15109 15083 0 -1 4202560 918 0 0 0 275 3 0 0 21 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670020 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15109/tid=15133] ppid=15107 vsize=2009252 CPUtime=2.73 cores=0-31
/proc/15109/task/15133/stat : 15133 (claspmt) R 15107 15109 15083 0 -1 4202560 1588 0 0 0 268 5 0 0 18 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=15109/tid=15134] ppid=15107 vsize=2009252 CPUtime=2.8 cores=0-31
/proc/15109/task/15134/stat : 15134 (claspmt) R 15107 15109 15083 0 -1 4202560 738 0 0 0 278 2 0 0 22 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4371537 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=15109/tid=15135] ppid=15107 vsize=2009252 CPUtime=2.81 cores=0-31
/proc/15109/task/15135/stat : 15135 (claspmt) R 15107 15109 15083 0 -1 4202560 676 0 0 0 278 3 0 0 22 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=15109/tid=15136] ppid=15107 vsize=2009252 CPUtime=2.79 cores=0-31
/proc/15109/task/15136/stat : 15136 (claspmt) R 15107 15109 15083 0 -1 4202560 1247 0 0 0 275 4 0 0 21 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=15109/tid=15137] ppid=15107 vsize=2009252 CPUtime=2.78 cores=0-31
/proc/15109/task/15137/stat : 15137 (claspmt) R 15107 15109 15083 0 -1 4202560 854 0 0 0 275 3 0 0 18 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=15109/tid=15138] ppid=15107 vsize=2009252 CPUtime=2.8 cores=0-31
/proc/15109/task/15138/stat : 15138 (claspmt) R 15107 15109 15083 0 -1 4202560 735 0 0 0 277 3 0 0 18 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=15109/tid=15139] ppid=15107 vsize=2009252 CPUtime=2.67 cores=0-31
/proc/15109/task/15139/stat : 15139 (claspmt) R 15107 15109 15083 0 -1 4202560 1111 0 0 0 263 4 0 0 18 0 32 0 9778779 2057474048 30582 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=15109/tid=15140] ppid=15107 vsize=2009252 CPUtime=2.78 cores=0-31

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

[pid=15109/tid=15116] ppid=15107 vsize=3941076 CPUtime=4958.39 cores=0-31
/proc/15109/task/15116/stat : 15116 (claspmt) R 15107 15109 15083 0 -1 4202560 11790 0 0 0 495743 96 0 0 25 0 32 0 9778778 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=15109/tid=15117] ppid=15107 vsize=3941076 CPUtime=4952.38 cores=0-31
/proc/15109/task/15117/stat : 15117 (claspmt) R 15107 15109 15083 0 -1 4202560 57318 0 0 0 494979 259 0 0 25 0 32 0 9778778 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=15109/tid=15118] ppid=15107 vsize=3941076 CPUtime=4955.72 cores=0-31
/proc/15109/task/15118/stat : 15118 (claspmt) R 15107 15109 15083 0 -1 4202560 11107 0 0 0 495464 108 0 0 25 0 32 0 9778778 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=15109/tid=15119] ppid=15107 vsize=3941076 CPUtime=4957.54 cores=0-31
/proc/15109/task/15119/stat : 15119 (claspmt) R 15107 15109 15083 0 -1 4202560 16414 0 0 0 495633 121 0 0 25 0 32 0 9778778 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=15109/tid=15120] ppid=15107 vsize=3941076 CPUtime=4960.22 cores=0-31
/proc/15109/task/15120/stat : 15120 (claspmt) R 15107 15109 15083 0 -1 4202560 18672 0 0 0 495907 115 0 0 25 0 32 0 9778778 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=15109/tid=15121] ppid=15107 vsize=3941076 CPUtime=4946.83 cores=0-31
/proc/15109/task/15121/stat : 15121 (claspmt) R 15107 15109 15083 0 -1 4202560 11186 0 0 0 494567 116 0 0 25 0 32 0 9778778 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4654506 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=15109/tid=15122] ppid=15107 vsize=3941076 CPUtime=4956.41 cores=0-31
/proc/15109/task/15122/stat : 15122 (claspmt) R 15107 15109 15083 0 -1 4202560 18876 0 0 0 495515 126 0 0 25 0 32 0 9778778 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15109/tid=15123] ppid=15107 vsize=3941076 CPUtime=4954.73 cores=0-31
/proc/15109/task/15123/stat : 15123 (claspmt) R 15107 15109 15083 0 -1 4202560 18644 0 0 0 495337 136 0 0 25 0 32 0 9778778 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=15109/tid=15124] ppid=15107 vsize=3941076 CPUtime=4958.55 cores=0-31
/proc/15109/task/15124/stat : 15124 (claspmt) R 15107 15109 15083 0 -1 4202560 11064 0 0 0 495753 102 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=15109/tid=15125] ppid=15107 vsize=3941076 CPUtime=4960.07 cores=0-31
/proc/15109/task/15125/stat : 15125 (claspmt) R 15107 15109 15083 0 -1 4202560 55855 0 0 0 495738 269 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=15109/tid=15126] ppid=15107 vsize=3941076 CPUtime=4960 cores=0-31
/proc/15109/task/15126/stat : 15126 (claspmt) R 15107 15109 15083 0 -1 4202560 11085 0 0 0 495910 90 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=15109/tid=15127] ppid=15107 vsize=3941076 CPUtime=4950.21 cores=0-31
/proc/15109/task/15127/stat : 15127 (claspmt) R 15107 15109 15083 0 -1 4202560 16852 0 0 0 494933 88 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=15109/tid=15128] ppid=15107 vsize=3941076 CPUtime=4938.9 cores=0-31
/proc/15109/task/15128/stat : 15128 (claspmt) R 15107 15109 15083 0 -1 4202560 18349 0 0 0 493765 125 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4660419 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=15109/tid=15129] ppid=15107 vsize=3941076 CPUtime=4959.87 cores=0-31
/proc/15109/task/15129/stat : 15129 (claspmt) R 15107 15109 15083 0 -1 4202560 8731 0 0 0 495882 105 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669512 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=15109/tid=15130] ppid=15107 vsize=3941076 CPUtime=4945.16 cores=0-31
/proc/15109/task/15130/stat : 15130 (claspmt) R 15107 15109 15083 0 -1 4202560 19187 0 0 0 494392 124 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=15109/tid=15131] ppid=15107 vsize=3941076 CPUtime=4955.37 cores=0-31
/proc/15109/task/15131/stat : 15131 (claspmt) R 15107 15109 15083 0 -1 4202560 18571 0 0 0 495412 125 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=15109/tid=15132] ppid=15107 vsize=3941076 CPUtime=4959.71 cores=0-31
/proc/15109/task/15132/stat : 15132 (claspmt) R 15107 15109 15083 0 -1 4202560 10423 0 0 0 495882 89 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15109/tid=15133] ppid=15107 vsize=3941076 CPUtime=4958.02 cores=0-31
/proc/15109/task/15133/stat : 15133 (claspmt) R 15107 15109 15083 0 -1 4202560 58828 0 0 0 495532 270 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=15109/tid=15134] ppid=15107 vsize=3941076 CPUtime=4959.91 cores=0-31
/proc/15109/task/15134/stat : 15134 (claspmt) R 15107 15109 15083 0 -1 4202560 8935 0 0 0 495891 100 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=15109/tid=15135] ppid=15107 vsize=3941076 CPUtime=4952.26 cores=0-31
/proc/15109/task/15135/stat : 15135 (claspmt) R 15107 15109 15083 0 -1 4202560 17089 0 0 0 495121 105 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=15109/tid=15136] ppid=15107 vsize=3941076 CPUtime=4950.81 cores=0-31
/proc/15109/task/15136/stat : 15136 (claspmt) R 15107 15109 15083 0 -1 4202560 18112 0 0 0 494963 118 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4654540 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=15109/tid=15137] ppid=15107 vsize=3941076 CPUtime=4956.99 cores=0-31
/proc/15109/task/15137/stat : 15137 (claspmt) R 15107 15109 15083 0 -1 4202560 9803 0 0 0 495604 95 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=15109/tid=15138] ppid=15107 vsize=3941076 CPUtime=4960.23 cores=0-31
/proc/15109/task/15138/stat : 15138 (claspmt) R 15107 15109 15083 0 -1 4202560 20314 0 0 0 495888 135 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=15109/tid=15139] ppid=15107 vsize=3941076 CPUtime=4960.17 cores=0-31
/proc/15109/task/15139/stat : 15139 (claspmt) R 15107 15109 15083 0 -1 4202560 18235 0 0 0 495893 124 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=15109/tid=15140] ppid=15107 vsize=3941076 CPUtime=4959.94 cores=0-31
/proc/15109/task/15140/stat : 15140 (claspmt) R 15107 15109 15083 0 -1 4202560 10234 0 0 0 495902 92 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669294 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=15109/tid=15141] ppid=15107 vsize=3941076 CPUtime=4960.16 cores=0-31
/proc/15109/task/15141/stat : 15141 (claspmt) R 15107 15109 15083 0 -1 4202560 54736 0 0 0 495770 246 0 0 25 0 32 0 9778779 4035661824 617694 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 158578
Current children cumulated vsize (KiB) 3941076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5006.9 s]
/proc/loadavg: 32.07 32.06 32.04 33/445 15296
/proc/meminfo: memFree=260894720/264257624 swapFree=67111528/67111528
[pid=15109] ppid=15107 vsize=3941956 CPUtime=160004 cores=0-31
/proc/15109/stat : 15109 (claspmt) R 15107 15109 15083 0 -1 4202496 647081 0 0 0 15996219 4161 0 0 25 0 32 0 9778764 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669509 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/15109/statm: 985489 618903 463 189 0 979838 0
[pid=15109/tid=15111] ppid=15107 vsize=3941956 CPUtime=5004.4 cores=0-31
/proc/15109/task/15111/stat : 15111 (claspmt) R 15107 15109 15083 0 -1 4202560 17864 0 0 0 500348 92 0 0 25 0 32 0 9778778 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=15109/tid=15112] ppid=15107 vsize=3941956 CPUtime=4994.56 cores=0-31
/proc/15109/task/15112/stat : 15112 (claspmt) R 15107 15109 15083 0 -1 4202560 17194 0 0 0 499338 118 0 0 25 0 32 0 9778778 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=15109/tid=15113] ppid=15107 vsize=3941956 CPUtime=4983.36 cores=0-31
/proc/15109/task/15113/stat : 15113 (claspmt) R 15107 15109 15083 0 -1 4202560 10195 0 0 0 498221 115 0 0 25 0 32 0 9778778 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=15109/tid=15114] ppid=15107 vsize=3941956 CPUtime=5004.74 cores=0-31
/proc/15109/task/15114/stat : 15114 (claspmt) R 15107 15109 15083 0 -1 4202560 20165 0 0 0 500368 106 0 0 25 0 32 0 9778778 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=15109/tid=15115] ppid=15107 vsize=3941956 CPUtime=5004.77 cores=0-31
/proc/15109/task/15115/stat : 15115 (claspmt) R 15107 15109 15083 0 -1 4202560 18168 0 0 0 500347 130 0 0 25 0 32 0 9778778 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=15109/tid=15116] ppid=15107 vsize=3941956 CPUtime=5003 cores=0-31
/proc/15109/task/15116/stat : 15116 (claspmt) R 15107 15109 15083 0 -1 4202560 11790 0 0 0 500203 97 0 0 25 0 32 0 9778778 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=15109/tid=15117] ppid=15107 vsize=3941956 CPUtime=4996.99 cores=0-31
/proc/15109/task/15117/stat : 15117 (claspmt) R 15107 15109 15083 0 -1 4202560 57422 0 0 0 499439 260 0 0 25 0 32 0 9778778 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=15109/tid=15118] ppid=15107 vsize=3941956 CPUtime=5000.33 cores=0-31
/proc/15109/task/15118/stat : 15118 (claspmt) R 15107 15109 15083 0 -1 4202560 11169 0 0 0 499924 109 0 0 25 0 32 0 9778778 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=15109/tid=15119] ppid=15107 vsize=3941956 CPUtime=5002.11 cores=0-31
/proc/15109/task/15119/stat : 15119 (claspmt) R 15107 15109 15083 0 -1 4202560 16523 0 0 0 500088 123 0 0 25 0 32 0 9778778 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=15109/tid=15120] ppid=15107 vsize=3941956 CPUtime=5004.82 cores=0-31
/proc/15109/task/15120/stat : 15120 (claspmt) R 15107 15109 15083 0 -1 4202560 18675 0 0 0 500366 116 0 0 25 0 32 0 9778778 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669500 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=15109/tid=15121] ppid=15107 vsize=3941956 CPUtime=4991.43 cores=0-31
/proc/15109/task/15121/stat : 15121 (claspmt) R 15107 15109 15083 0 -1 4202560 11186 0 0 0 499026 117 0 0 25 0 32 0 9778778 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=15109/tid=15122] ppid=15107 vsize=3941956 CPUtime=5001.01 cores=0-31
/proc/15109/task/15122/stat : 15122 (claspmt) R 15107 15109 15083 0 -1 4202560 18877 0 0 0 499974 127 0 0 25 0 32 0 9778778 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669476 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=15109/tid=15123] ppid=15107 vsize=3941956 CPUtime=4999.34 cores=0-31
/proc/15109/task/15123/stat : 15123 (claspmt) R 15107 15109 15083 0 -1 4202560 18653 0 0 0 499797 137 0 0 25 0 32 0 9778778 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4653203 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=15109/tid=15124] ppid=15107 vsize=3941956 CPUtime=5003.15 cores=0-31
/proc/15109/task/15124/stat : 15124 (claspmt) R 15107 15109 15083 0 -1 4202560 11064 0 0 0 500212 103 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=15109/tid=15125] ppid=15107 vsize=3941956 CPUtime=5004.68 cores=0-31
/proc/15109/task/15125/stat : 15125 (claspmt) R 15107 15109 15083 0 -1 4202560 55907 0 0 0 500198 270 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=15109/tid=15126] ppid=15107 vsize=3941956 CPUtime=5004.61 cores=0-31
/proc/15109/task/15126/stat : 15126 (claspmt) R 15107 15109 15083 0 -1 4202560 11125 0 0 0 500370 91 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=15109/tid=15127] ppid=15107 vsize=3941956 CPUtime=4994.81 cores=0-31
/proc/15109/task/15127/stat : 15127 (claspmt) R 15107 15109 15083 0 -1 4202560 16959 0 0 0 499392 89 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=15109/tid=15128] ppid=15107 vsize=3941956 CPUtime=4983.5 cores=0-31
/proc/15109/task/15128/stat : 15128 (claspmt) R 15107 15109 15083 0 -1 4202560 18391 0 0 0 498225 125 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=15109/tid=15129] ppid=15107 vsize=3941956 CPUtime=5004.47 cores=0-31
/proc/15109/task/15129/stat : 15129 (claspmt) R 15107 15109 15083 0 -1 4202560 8763 0 0 0 500342 105 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=15109/tid=15130] ppid=15107 vsize=3941956 CPUtime=4989.75 cores=0-31
/proc/15109/task/15130/stat : 15130 (claspmt) R 15107 15109 15083 0 -1 4202560 19287 0 0 0 498851 124 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=15109/tid=15131] ppid=15107 vsize=3941956 CPUtime=4999.98 cores=0-31
/proc/15109/task/15131/stat : 15131 (claspmt) R 15107 15109 15083 0 -1 4202560 18686 0 0 0 499872 126 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=15109/tid=15132] ppid=15107 vsize=3941956 CPUtime=5004.32 cores=0-31
/proc/15109/task/15132/stat : 15132 (claspmt) R 15107 15109 15083 0 -1 4202560 10423 0 0 0 500342 90 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=15109/tid=15133] ppid=15107 vsize=3941956 CPUtime=5002.63 cores=0-31
/proc/15109/task/15133/stat : 15133 (claspmt) R 15107 15109 15083 0 -1 4202560 58864 0 0 0 499992 271 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=15109/tid=15134] ppid=15107 vsize=3941956 CPUtime=5004.51 cores=0-31
/proc/15109/task/15134/stat : 15134 (claspmt) R 15107 15109 15083 0 -1 4202560 8952 0 0 0 500351 100 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=15109/tid=15135] ppid=15107 vsize=3941956 CPUtime=4996.87 cores=0-31
/proc/15109/task/15135/stat : 15135 (claspmt) R 15107 15109 15083 0 -1 4202560 17228 0 0 0 499581 106 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=15109/tid=15136] ppid=15107 vsize=3941956 CPUtime=4994.16 cores=0-31
/proc/15109/task/15136/stat : 15136 (claspmt) R 15107 15109 15083 0 -1 4202560 18180 0 0 0 499297 119 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=15109/tid=15137] ppid=15107 vsize=3941956 CPUtime=5001.58 cores=0-31
/proc/15109/task/15137/stat : 15137 (claspmt) R 15107 15109 15083 0 -1 4202560 9803 0 0 0 500063 95 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4312134 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=15109/tid=15138] ppid=15107 vsize=3941956 CPUtime=5004.85 cores=0-31
/proc/15109/task/15138/stat : 15138 (claspmt) R 15107 15109 15083 0 -1 4202560 20381 0 0 0 500349 136 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=15109/tid=15139] ppid=15107 vsize=3941956 CPUtime=5004.78 cores=0-31
/proc/15109/task/15139/stat : 15139 (claspmt) R 15107 15109 15083 0 -1 4202560 18368 0 0 0 500353 125 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4321093 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=15109/tid=15140] ppid=15107 vsize=3941956 CPUtime=5004.54 cores=0-31
/proc/15109/task/15140/stat : 15140 (claspmt) R 15107 15109 15083 0 -1 4202560 10234 0 0 0 500361 93 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=15109/tid=15141] ppid=15107 vsize=3941956 CPUtime=5004.77 cores=0-31
/proc/15109/task/15141/stat : 15141 (claspmt) R 15107 15109 15083 0 -1 4202560 54897 0 0 0 500230 247 0 0 25 0 32 0 9778779 4036562944 618903 270582939648 4194304 4964800 140735959338688 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 3941956

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

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

[startup+5007.1 s]
/proc/loadavg: 32.07 32.06 32.04 33/445 15296
/proc/meminfo: memFree=260894720/264257624 swapFree=67111528/67111528
[pid=15109] ppid=15107 vsize=3845292 CPUtime=160004 cores=0-31
/proc/15109/stat : 15109 (claspmt) R 15107 15109 15083 0 -1 4202496 647092 0 0 0 15996262 4161 0 0 25 0 1 0 9778764 3937579008 617334 270582939648 4194304 4964800 140735959338688 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/15109/statm: 961323 617334 474 189 0 955672 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 3845292

[startup+5007.5 s]
/proc/loadavg: 32.07 32.06 32.04 2/415 15297
/proc/meminfo: memFree=260901780/264257624 swapFree=67111528/67111528
[pid=15109] ppid=15107 vsize=3832184 CPUtime=160005 cores=0-31
/proc/15109/stat : 15109 (claspmt) R 15107 15109 15083 0 -1 4202496 647092 0 0 0 15996301 4162 0 0 25 0 1 0 9778764 3924156416 613409 270582939648 4194304 4964800 140735959338688 18446744073709551615 258650611701 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/15109/statm: 958046 613409 474 189 0 952395 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 3832184

[startup+5007.7 s]
/proc/loadavg: 32.07 32.06 32.04 2/415 15297
/proc/meminfo: memFree=260901780/264257624 swapFree=67111528/67111528
[pid=15109] ppid=15107 vsize=3746948 CPUtime=160005 cores=0-31
/proc/15109/stat : 15109 (claspmt) R 15107 15109 15083 0 -1 4202496 647092 0 0 0 15996320 4163 0 0 25 0 1 0 9778764 3836874752 561537 270582939648 4194304 4964800 140735959338688 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/15109/statm: 936737 561537 474 189 0 931086 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 3746948

[startup+5007.8 s]
/proc/loadavg: 32.07 32.06 32.04 2/415 15297
/proc/meminfo: memFree=260901780/264257624 swapFree=67111528/67111528
[pid=15109] ppid=15107 vsize=2098076 CPUtime=160005 cores=0-31
/proc/15109/stat : 15109 (claspmt) R 15107 15109 15083 0 -1 4202496 647092 0 0 0 15996320 4173 0 0 25 0 1 0 9778764 2148429824 166419 270582939648 4194304 4964800 140735959338688 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/15109/statm: 524519 165907 474 189 0 518868 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 2098076

Child status: 0
Real time (s): 5007.85
CPU time (s): 160005
CPU user time (s): 159963
CPU system time (s): 41.7826
CPU usage (%): 3195.09
Max. virtual memory (cumulated for all children) (KiB): 3941956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159963
system time used= 41.7826
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 647093
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= 1736976
involuntary context switches= 393344

runsolver used 30.5883 second user time and 110.588 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-07 12:51:59
IDJOB=3472307
IDBENCH=70810
IDSOLVER=1961
FILE ID=node200/3472307-1307443919
RUNJOBID= node200-1307443919-15097
PBS_JOBID= 13509186
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray04_32.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-3472307-1307443919/watcher-3472307-1307443919 -o /tmp/evaluation-result-3472307-1307443919/solver-3472307-1307443919 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472307-1307443919.cnf

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

MD5SUM BENCH= 2fe3650d4a602f63086e937176360ebb
RANDOM SEED=1186698078

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:      263371868 kB
Buffers:        123092 kB
Cached:         503312 kB
SwapCached:          0 kB
Active:         170180 kB
Inactive:       519312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263371868 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1468 kB
Writeback:           0 kB
AnonPages:       64028 kB
Mapped:          14404 kB
Slab:           119256 kB
PageTables:       4272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   161228 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61740 MiB
End job on node200 at 2011-06-07 14:15:28