Trace number 3472297

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 1620.42 57.8936

General information on the benchmark

NameAPPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
MD5SUMa551844fb6a7f35cf6025d0a525ca14e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1620.42
Satisfiable
(Un)Satisfiability was proved
Number of variables153834
Number of clauses459965
Sum of the clauses size1073249
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2306642
Number of clauses of size 3153321
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 ...412804/instance-3472297-1307412804.cnf
5.28/5.30	c Solving...
1620.32/57.81	s UNSATISFIABLE
1620.32/57.81	
1620.32/57.81	c Models        : 0     
1620.32/57.81	c Time          : 56.959s (Solving: 51.67s 1st Model: 0.00s Unsat: 51.67s)
1620.32/57.81	c CPU Time      : 1619.490s

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-3472297-1307412804/watcher-3472297-1307412804 -o /tmp/evaluation-result-3472297-1307412804/solver-3472297-1307412804 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472297-1307412804.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: 23.92 30.25 30.52 1/413 13420
/proc/meminfo: memFree=263442780/264257624 swapFree=67111528/67111528
[pid=13420] ppid=13418 vsize=40412 CPUtime=0.02 cores=0-31
/proc/13420/stat : 13420 (claspmt) R 13418 13420 13335 0 -1 4202496 2119 0 0 0 2 0 0 0 21 0 1 0 6667368 41381888 2049 270582939648 4194304 4964800 140735121204720 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/13420/statm: 10103 2053 373 189 0 4977 0

[startup+0.050582 s]
/proc/loadavg: 23.92 30.25 30.52 1/413 13420
/proc/meminfo: memFree=263442780/264257624 swapFree=67111528/67111528
[pid=13420] ppid=13418 vsize=40412 CPUtime=0.04 cores=0-31
/proc/13420/stat : 13420 (claspmt) R 13418 13420 13335 0 -1 4202496 3434 0 0 0 4 0 0 0 21 0 1 0 6667368 41381888 3364 270582939648 4194304 4964800 140735121204720 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/13420/statm: 10103 3369 373 189 0 4977 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 40412

[startup+0.100584 s]
/proc/loadavg: 23.92 30.25 30.52 1/413 13420
/proc/meminfo: memFree=263442780/264257624 swapFree=67111528/67111528
[pid=13420] ppid=13418 vsize=51240 CPUtime=0.09 cores=0-31
/proc/13420/stat : 13420 (claspmt) R 13418 13420 13335 0 -1 4202496 9156 0 0 0 7 2 0 0 21 0 1 0 6667368 52469760 7886 270582939648 4194304 4964800 140735121204720 18446744073709551615 4367461 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/13420/statm: 12810 7896 383 189 0 7684 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 51240

[startup+0.300616 s]
/proc/loadavg: 23.92 30.25 30.52 1/413 13420
/proc/meminfo: memFree=263442780/264257624 swapFree=67111528/67111528
[pid=13420] ppid=13418 vsize=66524 CPUtime=0.29 cores=0-31
/proc/13420/stat : 13420 (claspmt) R 13418 13420 13335 0 -1 4202496 14423 0 0 0 25 4 0 0 22 0 1 0 6667368 68120576 11394 270582939648 4194304 4964800 140735121204720 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/13420/statm: 16631 11395 383 189 0 11505 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66524

[startup+0.700622 s]
/proc/loadavg: 23.92 30.25 30.52 1/413 13420
/proc/meminfo: memFree=263442780/264257624 swapFree=67111528/67111528
[pid=13420] ppid=13418 vsize=96424 CPUtime=0.69 cores=0-31
/proc/13420/stat : 13420 (claspmt) R 13418 13420 13335 0 -1 4202496 23514 0 0 0 62 7 0 0 23 0 1 0 6667368 98738176 18945 270582939648 4194304 4964800 140735121204720 18446744073709551615 4600360 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/13420/statm: 24106 18945 401 189 0 18980 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96424

[startup+1.50065 s]
/proc/loadavg: 23.92 30.25 30.52 2/414 13421
/proc/meminfo: memFree=263349952/264257624 swapFree=67111528/67111528
[pid=13420] ppid=13418 vsize=139312 CPUtime=1.49 cores=0-31
/proc/13420/stat : 13420 (claspmt) R 13418 13420 13335 0 -1 4202496 34077 0 0 0 139 10 0 0 25 0 1 0 6667368 142655488 29508 270582939648 4194304 4964800 140735121204720 18446744073709551615 4600405 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/13420/statm: 34828 29508 401 189 0 29702 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 139312

[startup+3.10071 s]
/proc/loadavg: 23.92 30.25 30.52 2/414 13421
/proc/meminfo: memFree=263304196/264257624 swapFree=67111528/67111528
[pid=13420] ppid=13418 vsize=181452 CPUtime=3.09 cores=0-31
/proc/13420/stat : 13420 (claspmt) R 13418 13420 13335 0 -1 4202496 44110 0 0 0 297 12 0 0 25 0 1 0 6667368 185806848 39541 270582939648 4194304 4964800 140735121204720 18446744073709551615 4612267 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/13420/statm: 45363 39541 401 189 0 40237 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 181452

[startup+6.30272 s]
/proc/loadavg: 22.09 29.77 30.36 32/445 13453
/proc/meminfo: memFree=263202160/264257624 swapFree=67111528/67111528
[pid=13420] ppid=13418 vsize=1421084 CPUtime=21.87 cores=0-31
/proc/13420/stat : 13420 (claspmt) S 13418 13420 13335 0 -1 4202496 195698 0 0 0 732 1455 0 0 18 0 32 0 6667368 1455190016 150998 270582939648 4194304 4964800 140735121204720 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/13420/statm: 355271 151006 435 189 0 349620 0
[pid=13420/tid=13423] ppid=13418 vsize=1421084 CPUtime=0.55 cores=0-31
/proc/13420/task/13423/stat : 13423 (claspmt) S 13418 13420 13335 0 -1 4202560 3893 0 0 0 5 50 0 0 16 0 32 0 6667899 1455190016 151011 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446604504066276832 0 0 -1 1 0 0 0
[pid=13420/tid=13424] ppid=13418 vsize=1421084 CPUtime=0.55 cores=0-31
/proc/13420/task/13424/stat : 13424 (claspmt) S 13418 13420 13335 0 -1 4202560 4525 0 0 0 5 50 0 0 16 0 32 0 6667899 1455190016 151020 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446604504222842336 0 0 -1 2 0 0 0
[pid=13420/tid=13425] ppid=13418 vsize=1421084 CPUtime=0.49 cores=0-31
/proc/13420/task/13425/stat : 13425 (claspmt) D 13418 13420 13335 0 -1 4202560 4495 0 0 0 5 44 0 0 16 0 32 0 6667899 1455190016 151028 270582939648 4194304 4964800 140735121204720 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13420/tid=13426] ppid=13418 vsize=1421084 CPUtime=0.51 cores=0-31
/proc/13420/task/13426/stat : 13426 (claspmt) S 13418 13420 13335 0 -1 4202560 5217 0 0 0 9 42 0 0 15 0 32 0 6667899 1455190016 151030 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446604505531465184 0 0 -1 5 0 0 0
[pid=13420/tid=13427] ppid=13418 vsize=1421084 CPUtime=0.56 cores=0-31
/proc/13420/task/13427/stat : 13427 (claspmt) D 13418 13420 13335 0 -1 4202560 4573 0 0 0 6 50 0 0 16 0 32 0 6667899 1455190016 151035 270582939648 4194304 4964800 140735121204720 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13420/tid=13428] ppid=13418 vsize=1421084 CPUtime=0.53 cores=0-31
/proc/13420/task/13428/stat : 13428 (claspmt) R 13418 13420 13335 0 -1 4202560 4832 0 0 0 4 49 0 0 16 0 32 0 6667899 1455190016 151056 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13420/tid=13429] ppid=13418 vsize=1421084 CPUtime=0.56 cores=0-31
/proc/13420/task/13429/stat : 13429 (claspmt) S 13418 13420 13335 0 -1 4202560 4999 0 0 0 6 50 0 0 16 0 32 0 6667899 1455190016 151057 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446604506003611104 0 0 -1 12 0 0 0
[pid=13420/tid=13430] ppid=13418 vsize=1421084 CPUtime=0.56 cores=0-31
/proc/13420/task/13430/stat : 13430 (claspmt) D 13418 13420 13335 0 -1 4202560 4050 0 0 0 5 51 0 0 16 0 32 0 6667899 1455190016 151059 270582939648 4194304 4964800 140735121204720 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13420/tid=13431] ppid=13418 vsize=1421084 CPUtime=0.54 cores=0-31
/proc/13420/task/13431/stat : 13431 (claspmt) D 13418 13420 13335 0 -1 4202560 4340 0 0 0 8 46 0 0 16 0 32 0 6667899 1455190016 151063 270582939648 4194304 4964800 140735121204720 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13420/tid=13432] ppid=13418 vsize=1421084 CPUtime=0.52 cores=0-31
/proc/13420/task/13432/stat : 13432 (claspmt) S 13418 13420 13335 0 -1 4202560 4928 0 0 0 5 47 0 0 16 0 32 0 6667899 1455190016 151067 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446604505427090912 0 0 -1 10 0 0 0
[pid=13420/tid=13433] ppid=13418 vsize=1421084 CPUtime=0.53 cores=0-31
/proc/13420/task/13433/stat : 13433 (claspmt) D 13418 13420 13335 0 -1 4202560 5074 0 0 0 6 47 0 0 16 0 32 0 6667899 1455190016 151074 270582939648 4194304 4964800 140735121204720 18446744073709551615 258650653381 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13420/tid=13434] ppid=13418 vsize=1421084 CPUtime=0.54 cores=0-31
/proc/13420/task/13434/stat : 13434 (claspmt) R 13418 13420 13335 0 -1 4202560 4911 0 0 0 7 47 0 0 15 0 32 0 6667899 1455190016 151076 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13420/tid=13435] ppid=13418 vsize=1421084 CPUtime=0.57 cores=0-31
/proc/13420/task/13435/stat : 13435 (claspmt) R 13418 13420 13335 0 -1 4202560 5442 0 0 0 13 44 0 0 16 0 32 0 6667899 1455190016 151077 270582939648 4194304 4964800 140735121204720 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13420/tid=13436] ppid=13418 vsize=1421084 CPUtime=0.52 cores=0-31
/proc/13420/task/13436/stat : 13436 (claspmt) R 13418 13420 13335 0 -1 4202560 4781 0 0 0 6 46 0 0 16 0 32 0 6667899 1455190016 151081 270582939648 4194304 4964800 140735121204720 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13420/tid=13437] ppid=13418 vsize=1421084 CPUtime=0.54 cores=0-31
/proc/13420/task/13437/stat : 13437 (claspmt) S 13418 13420 13335 0 -1 4202560 5084 0 0 0 4 50 0 0 16 0 32 0 6667899 1455190016 151086 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446744071566925984 0 0 -1 24 0 0 0
[pid=13420/tid=13438] ppid=13418 vsize=1421084 CPUtime=0.55 cores=0-31
/proc/13420/task/13438/stat : 13438 (claspmt) R 13418 13420 13335 0 -1 4202560 4616 0 0 0 7 48 0 0 16 0 32 0 6667899 1455190016 151091 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13420/tid=13439] ppid=13418 vsize=1421084 CPUtime=0.5 cores=0-31
/proc/13420/task/13439/stat : 13439 (claspmt) S 13418 13420 13335 0 -1 4202560 4496 0 0 0 7 43 0 0 15 0 32 0 6667899 1455190016 151095 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446604501842492896 0 0 -1 19 0 0 0
[pid=13420/tid=13440] ppid=13418 vsize=1421084 CPUtime=0.52 cores=0-31
/proc/13420/task/13440/stat : 13440 (claspmt) S 13418 13420 13335 0 -1 4202560 4897 0 0 0 6 46 0 0 16 0 32 0 6667899 1455190016 151098 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446744071566930224 0 0 -1 23 0 0 0
[pid=13420/tid=13441] ppid=13418 vsize=1421084 CPUtime=0.52 cores=0-31
/proc/13420/task/13441/stat : 13441 (claspmt) R 13418 13420 13335 0 -1 4202560 4824 0 0 0 6 46 0 0 15 0 32 0 6667899 1455190016 151099 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446604504517352928 0 0 -1 26 0 0 0
[pid=13420/tid=13442] ppid=13418 vsize=1421084 CPUtime=0.55 cores=0-31
/proc/13420/task/13442/stat : 13442 (claspmt) R 13418 13420 13335 0 -1 4202560 4332 0 0 0 5 50 0 0 16 0 32 0 6667899 1455190016 151110 270582939648 4194304 4964800 140735121204720 18446744073709551615 258650653309 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13420/tid=13443] ppid=13418 vsize=1421084 CPUtime=0.5 cores=0-31
/proc/13420/task/13443/stat : 13443 (claspmt) D 13418 13420 13335 0 -1 4202560 4599 0 0 0 5 45 0 0 16 0 32 0 6667899 1455190016 151121 270582939648 4194304 4964800 140735121204720 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13420/tid=13444] ppid=13418 vsize=1421084 CPUtime=0.54 cores=0-31
/proc/13420/task/13444/stat : 13444 (claspmt) S 13418 13420 13335 0 -1 4202560 4911 0 0 0 5 49 0 0 15 0 32 0 6667899 1455190016 151125 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446604504269938144 0 0 -1 8 0 0 0
[pid=13420/tid=13445] ppid=13418 vsize=1421084 CPUtime=0.51 cores=0-31
/proc/13420/task/13445/stat : 13445 (claspmt) S 13418 13420 13335 0 -1 4202560 6124 0 0 0 11 40 0 0 16 0 32 0 6667900 1455190016 151129 270582939648 4194304 4964800 140735121204720 18446744073709551615 258662772457 0 0 4096 18946 18446604568721636832 0 0 -1 13 0 0 0
[pid=13420/tid=13446] ppid=13418 vsize=1421084 CPUtime=0.51 cores=0-31
/proc/13420/task/13446/stat : 13446 (claspmt) S 13418 13420 13335 0 -1 4202560 4489 0 0 0 7 44 0 0 16 0 32 0 6667900 1455190016 151133 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446604504338546144 0 0 -1 22 0 0 0
[pid=13420/tid=13447] ppid=13418 vsize=1421084 CPUtime=0.51 cores=0-31
/proc/13420/task/13447/stat : 13447 (claspmt) R 13418 13420 13335 0 -1 4202560 4688 0 0 0 7 44 0 0 15 0 32 0 6667900 1455190016 151138 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13420/tid=13448] ppid=13418 vsize=1421084 CPUtime=0.51 cores=0-31
/proc/13420/task/13448/stat : 13448 (claspmt) S 13418 13420 13335 0 -1 4202560 5179 0 0 0 8 43 0 0 15 0 32 0 6667900 1455190016 151143 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446604504269946336 0 0 -1 17 0 0 0
[pid=13420/tid=13449] ppid=13418 vsize=1421084 CPUtime=0.52 cores=0-31
/proc/13420/task/13449/stat : 13449 (claspmt) S 13418 13420 13335 0 -1 4202560 5028 0 0 0 6 46 0 0 16 0 32 0 6667900 1455190016 151147 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446604504269929952 0 0 -1 18 0 0 0
[pid=13420/tid=13450] ppid=13418 vsize=1421084 CPUtime=0.51 cores=0-31
/proc/13420/task/13450/stat : 13450 (claspmt) S 13418 13420 13335 0 -1 4202560 4919 0 0 0 6 45 0 0 15 0 32 0 6667900 1455190016 151151 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446604504066268640 0 0 -1 19 0 0 0
[pid=13420/tid=13451] ppid=13418 vsize=1421084 CPUtime=0.45 cores=0-31
/proc/13420/task/13451/stat : 13451 (claspmt) R 13418 13420 13335 0 -1 4202560 4775 0 0 0 6 39 0 0 15 0 32 0 6667900 1455190016 151152 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13420/tid=13452] ppid=13418 vsize=1421084 CPUtime=0.5 cores=0-31
/proc/13420/task/13452/stat : 13452 (claspmt) S 13418 13420 13335 0 -1 4202560 4965 0 0 0 7 43 0 0 15 0 32 0 6667900 1455190016 151157 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446604504066293216 0 0 -1 11 0 0 0
[pid=13420/tid=13453] ppid=13418 vsize=1421084 CPUtime=0.52 cores=0-31
/proc/13420/task/13453/stat : 13453 (claspmt) S 13418 13420 13335 0 -1 4202560 5221 0 0 0 6 46 0 0 15 0 32 0 6667900 1455190016 151159 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651060958 0 0 4096 18946 18446744071566924224 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 21.87
Current children cumulated vsize (KiB) 1421084

[startup+12.7019 s]
/proc/loadavg: 22.88 29.81 30.37 33/445 13453
/proc/meminfo: memFree=262497128/264257624 swapFree=67111528/67111528
[pid=13420] ppid=13418 vsize=1497732 CPUtime=209.75 cores=0-31
/proc/13420/stat : 13420 (claspmt) R 13418 13420 13335 0 -1 4202496 294247 0 0 0 19237 1738 0 0 25 0 32 0 6667368 1533677568 248477 270582939648 4194304 4964800 140735121204720 18446744073709551615 4370264 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/13420/statm: 374433 248477 461 189 0 368782 0
[pid=13420/tid=13423] ppid=13418 vsize=1497732 CPUtime=6.39 cores=0-31
/proc/13420/task/13423/stat : 13423 (claspmt) R 13418 13420 13335 0 -1 4202560 6131 0 0 0 583 56 0 0 18 0 32 0 6667899 1533677568 248477 270582939648 4194304 4964800 140735121204720 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13420/tid=13424] ppid=13418 vsize=1497732 CPUtime=6.41 cores=0-31
/proc/13420/task/13424/stat : 13424 (claspmt) R 13418 13420 13335 0 -1 4202560 9724 0 0 0 576 65 0 0 18 0 32 0 6667899 1533677568 248477 270582939648 4194304 4964800 140735121204720 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13420/tid=13425] ppid=13418 vsize=1497732 CPUtime=6.34 cores=0-31
/proc/13420/task/13425/stat : 13425 (claspmt) R 13418 13420 13335 0 -1 4202560 8278 0 0 0 582 52 0 0 18 0 32 0 6667899 1533677568 248477 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13420/tid=13426] ppid=13418 vsize=1497732 CPUtime=6.27 cores=0-31
/proc/13420/task/13426/stat : 13426 (claspmt) R 13418 13420 13335 0 -1 4202560 7242 0 0 0 579 48 0 0 25 0 32 0 6667899 1533677568 248478 270582939648 4194304 4964800 140735121204720 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13420/tid=13427] ppid=13418 vsize=1497732 CPUtime=6.84 cores=0-31
/proc/13420/task/13427/stat : 13427 (claspmt) R 13418 13420 13335 0 -1 4202560 6321 0 0 0 629 55 0 0 25 0 32 0 6667899 1533677568 248478 270582939648 4194304 4964800 140735121204720 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13420/tid=13428] ppid=13418 vsize=1497732 CPUtime=6.37 cores=0-31
/proc/13420/task/13428/stat : 13428 (claspmt) R 13418 13420 13335 0 -1 4202560 8853 0 0 0 579 58 0 0 18 0 32 0 6667899 1533677568 248478 270582939648 4194304 4964800 140735121204720 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13420/tid=13429] ppid=13418 vsize=1497732 CPUtime=6.41 cores=0-31
/proc/13420/task/13429/stat : 13429 (claspmt) R 13418 13420 13335 0 -1 4202560 8364 0 0 0 579 62 0 0 18 0 32 0 6667899 1533677568 248478 270582939648 4194304 4964800 140735121204720 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13420/tid=13430] ppid=13418 vsize=1497732 CPUtime=6.41 cores=0-31
/proc/13420/task/13430/stat : 13430 (claspmt) R 13418 13420 13335 0 -1 4202560 6604 0 0 0 580 61 0 0 20 0 32 0 6667899 1533677568 248480 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13420/tid=13431] ppid=13418 vsize=1497732 CPUtime=6.38 cores=0-31
/proc/13420/task/13431/stat : 13431 (claspmt) R 13418 13420 13335 0 -1 4202560 6809 0 0 0 584 54 0 0 18 0 32 0 6667899 1533677568 248480 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13420/tid=13432] ppid=13418 vsize=1497732 CPUtime=6.35 cores=0-31
/proc/13420/task/13432/stat : 13432 (claspmt) R 13418 13420 13335 0 -1 4202560 9775 0 0 0 575 60 0 0 18 0 32 0 6667899 1533677568 248480 270582939648 4194304 4964800 140735121204720 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13420/tid=13433] ppid=13418 vsize=1497732 CPUtime=6.33 cores=0-31
/proc/13420/task/13433/stat : 13433 (claspmt) R 13418 13420 13335 0 -1 4202560 9123 0 0 0 576 57 0 0 18 0 32 0 6667899 1533677568 248480 270582939648 4194304 4964800 140735121204720 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13420/tid=13434] ppid=13418 vsize=1497732 CPUtime=6.31 cores=0-31
/proc/13420/task/13434/stat : 13434 (claspmt) R 13418 13420 13335 0 -1 4202560 7030 0 0 0 577 54 0 0 18 0 32 0 6667899 1533677568 248480 270582939648 4194304 4964800 140735121204720 18446744073709551615 4627269 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13420/tid=13435] ppid=13418 vsize=1497732 CPUtime=6.84 cores=0-31
/proc/13420/task/13435/stat : 13435 (claspmt) R 13418 13420 13335 0 -1 4202560 6282 0 0 0 637 47 0 0 25 0 32 0 6667899 1533677568 248480 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13420/tid=13436] ppid=13418 vsize=1497732 CPUtime=6.35 cores=0-31
/proc/13420/task/13436/stat : 13436 (claspmt) R 13418 13420 13335 0 -1 4202560 8622 0 0 0 580 55 0 0 22 0 32 0 6667899 1533677568 248480 270582939648 4194304 4964800 140735121204720 18446744073709551615 4462658 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13420/tid=13437] ppid=13418 vsize=1497732 CPUtime=6.35 cores=0-31
/proc/13420/task/13437/stat : 13437 (claspmt) R 13418 13420 13335 0 -1 4202560 8514 0 0 0 575 60 0 0 18 0 32 0 6667899 1533677568 248480 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13420/tid=13438] ppid=13418 vsize=1497732 CPUtime=6.36 cores=0-31
/proc/13420/task/13438/stat : 13438 (claspmt) R 13418 13420 13335 0 -1 4202560 6858 0 0 0 581 55 0 0 23 0 32 0 6667899 1533677568 248484 270582939648 4194304 4964800 140735121204720 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13420/tid=13439] ppid=13418 vsize=1497732 CPUtime=6.28 cores=0-31
/proc/13420/task/13439/stat : 13439 (claspmt) R 13418 13420 13335 0 -1 4202560 6777 0 0 0 577 51 0 0 18 0 32 0 6667899 1533677568 248486 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13420/tid=13440] ppid=13418 vsize=1497732 CPUtime=6.28 cores=0-31
/proc/13420/task/13440/stat : 13440 (claspmt) R 13418 13420 13335 0 -1 4202560 9626 0 0 0 569 59 0 0 19 0 32 0 6667899 1533677568 248486 270582939648 4194304 4964800 140735121204720 18446744073709551615 4654552 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=13420/tid=13441] ppid=13418 vsize=1497732 CPUtime=6.35 cores=0-31
/proc/13420/task/13441/stat : 13441 (claspmt) R 13418 13420 13335 0 -1 4202560 8781 0 0 0 579 56 0 0 18 0 32 0 6667899 1533677568 248486 270582939648 4194304 4964800 140735121204720 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13420/tid=13442] ppid=13418 vsize=1497732 CPUtime=6.39 cores=0-31
/proc/13420/task/13442/stat : 13442 (claspmt) R 13418 13420 13335 0 -1 4202560 6864 0 0 0 582 57 0 0 18 0 32 0 6667899 1533677568 248488 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13420/tid=13443] ppid=13418 vsize=1497732 CPUtime=6.77 cores=0-31

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

Current children cumulated vsize (KiB) 2321596

[startup+55.9014 s]
/proc/loadavg: 27.65 30.10 30.44 33/445 13453
/proc/meminfo: memFree=261895216/264257624 swapFree=67111528/67111528
[pid=13420] ppid=13418 vsize=2321596 CPUtime=1588.58 cores=0-31
/proc/13420/stat : 13420 (claspmt) R 13418 13420 13335 0 -1 4202496 434593 0 0 0 156752 2106 0 0 25 0 32 0 6667368 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4370224 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/13420/statm: 580399 388775 463 189 0 574748 0
[pid=13420/tid=13423] ppid=13418 vsize=2321596 CPUtime=49.54 cores=0-31
/proc/13420/task/13423/stat : 13423 (claspmt) R 13418 13420 13335 0 -1 4202560 8121 0 0 0 4894 60 0 0 19 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4629954 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13420/tid=13424] ppid=13418 vsize=2321596 CPUtime=49.47 cores=0-31
/proc/13420/task/13424/stat : 13424 (claspmt) R 13418 13420 13335 0 -1 4202560 21821 0 0 0 4851 96 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4336672 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13420/tid=13425] ppid=13418 vsize=2321596 CPUtime=48.39 cores=0-31
/proc/13420/task/13425/stat : 13425 (claspmt) R 13418 13420 13335 0 -1 4202560 11683 0 0 0 4779 60 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=13420/tid=13426] ppid=13418 vsize=2321596 CPUtime=49.4 cores=0-31
/proc/13420/task/13426/stat : 13426 (claspmt) R 13418 13420 13335 0 -1 4202560 10072 0 0 0 4883 57 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670530 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13420/tid=13427] ppid=13418 vsize=2321596 CPUtime=50 cores=0-31
/proc/13420/task/13427/stat : 13427 (claspmt) R 13418 13420 13335 0 -1 4202560 8577 0 0 0 4941 59 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4669584 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13420/tid=13428] ppid=13418 vsize=2321596 CPUtime=49.5 cores=0-31
/proc/13420/task/13428/stat : 13428 (claspmt) R 13418 13420 13335 0 -1 4202560 12000 0 0 0 4885 65 0 0 18 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13420/tid=13429] ppid=13418 vsize=2321596 CPUtime=49.51 cores=0-31
/proc/13420/task/13429/stat : 13429 (claspmt) R 13418 13420 13335 0 -1 4202560 15821 0 0 0 4866 85 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13420/tid=13430] ppid=13418 vsize=2321596 CPUtime=49.57 cores=0-31
/proc/13420/task/13430/stat : 13430 (claspmt) R 13418 13420 13335 0 -1 4202560 8927 0 0 0 4892 65 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4313794 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13420/tid=13431] ppid=13418 vsize=2321596 CPUtime=49.53 cores=0-31
/proc/13420/task/13431/stat : 13431 (claspmt) R 13418 13420 13335 0 -1 4202560 8631 0 0 0 4895 58 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4632289 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13420/tid=13432] ppid=13418 vsize=2321596 CPUtime=49.42 cores=0-31
/proc/13420/task/13432/stat : 13432 (claspmt) R 13418 13420 13335 0 -1 4202560 19995 0 0 0 4853 89 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13420/tid=13433] ppid=13418 vsize=2321596 CPUtime=49.47 cores=0-31
/proc/13420/task/13433/stat : 13433 (claspmt) R 13418 13420 13335 0 -1 4202560 12477 0 0 0 4880 67 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 258662782469 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13420/tid=13434] ppid=13418 vsize=2321596 CPUtime=49.46 cores=0-31
/proc/13420/task/13434/stat : 13434 (claspmt) R 13418 13420 13335 0 -1 4202560 10184 0 0 0 4883 63 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13420/tid=13435] ppid=13418 vsize=2321596 CPUtime=50 cores=0-31
/proc/13420/task/13435/stat : 13435 (claspmt) R 13418 13420 13335 0 -1 4202560 8463 0 0 0 4950 50 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13420/tid=13436] ppid=13418 vsize=2321596 CPUtime=49.49 cores=0-31
/proc/13420/task/13436/stat : 13436 (claspmt) R 13418 13420 13335 0 -1 4202560 12551 0 0 0 4885 64 0 0 19 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4644794 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13420/tid=13437] ppid=13418 vsize=2321596 CPUtime=49.43 cores=0-31
/proc/13420/task/13437/stat : 13437 (claspmt) R 13418 13420 13335 0 -1 4202560 15274 0 0 0 4866 77 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13420/tid=13438] ppid=13418 vsize=2321596 CPUtime=49.52 cores=0-31
/proc/13420/task/13438/stat : 13438 (claspmt) R 13418 13420 13335 0 -1 4202560 9052 0 0 0 4890 62 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4632289 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13420/tid=13439] ppid=13418 vsize=2321596 CPUtime=49.43 cores=0-31
/proc/13420/task/13439/stat : 13439 (claspmt) R 13418 13420 13335 0 -1 4202560 9300 0 0 0 4886 57 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13420/tid=13440] ppid=13418 vsize=2321596 CPUtime=49.31 cores=0-31
/proc/13420/task/13440/stat : 13440 (claspmt) R 13418 13420 13335 0 -1 4202560 21075 0 0 0 4840 91 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4337480 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13420/tid=13441] ppid=13418 vsize=2321596 CPUtime=49.48 cores=0-31
/proc/13420/task/13441/stat : 13441 (claspmt) R 13418 13420 13335 0 -1 4202560 12348 0 0 0 4882 66 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13420/tid=13442] ppid=13418 vsize=2321596 CPUtime=49.54 cores=0-31
/proc/13420/task/13442/stat : 13442 (claspmt) R 13418 13420 13335 0 -1 4202560 9624 0 0 0 4891 63 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13420/tid=13443] ppid=13418 vsize=2321596 CPUtime=49.95 cores=0-31
/proc/13420/task/13443/stat : 13443 (claspmt) R 13418 13420 13335 0 -1 4202560 7643 0 0 0 4943 52 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13420/tid=13444] ppid=13418 vsize=2321596 CPUtime=49.49 cores=0-31
/proc/13420/task/13444/stat : 13444 (claspmt) R 13418 13420 13335 0 -1 4202560 12523 0 0 0 4880 69 0 0 25 0 32 0 6667899 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13420/tid=13445] ppid=13418 vsize=2321596 CPUtime=49.34 cores=0-31
/proc/13420/task/13445/stat : 13445 (claspmt) R 13418 13420 13335 0 -1 4202560 15017 0 0 0 4871 63 0 0 25 0 32 0 6667900 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13420/tid=13446] ppid=13418 vsize=2321596 CPUtime=49.49 cores=0-31
/proc/13420/task/13446/stat : 13446 (claspmt) R 13418 13420 13335 0 -1 4202560 9541 0 0 0 4890 59 0 0 25 0 32 0 6667900 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13420/tid=13447] ppid=13418 vsize=2321596 CPUtime=49.4 cores=0-31
/proc/13420/task/13447/stat : 13447 (claspmt) R 13418 13420 13335 0 -1 4202560 9159 0 0 0 4881 59 0 0 25 0 32 0 6667900 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4338784 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13420/tid=13448] ppid=13418 vsize=2321596 CPUtime=49.34 cores=0-31
/proc/13420/task/13448/stat : 13448 (claspmt) R 13418 13420 13335 0 -1 4202560 21751 0 0 0 4844 90 0 0 25 0 32 0 6667900 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4660192 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13420/tid=13449] ppid=13418 vsize=2321596 CPUtime=49.48 cores=0-31
/proc/13420/task/13449/stat : 13449 (claspmt) R 13418 13420 13335 0 -1 4202560 12445 0 0 0 4885 63 0 0 25 0 32 0 6667900 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13420/tid=13450] ppid=13418 vsize=2321596 CPUtime=49.4 cores=0-31
/proc/13420/task/13450/stat : 13450 (claspmt) R 13418 13420 13335 0 -1 4202560 10850 0 0 0 4877 63 0 0 25 0 32 0 6667900 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13420/tid=13451] ppid=13418 vsize=2321596 CPUtime=49.9 cores=0-31
/proc/13420/task/13451/stat : 13451 (claspmt) R 13418 13420 13335 0 -1 4202560 7809 0 0 0 4944 46 0 0 25 0 32 0 6667900 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13420/tid=13452] ppid=13418 vsize=2321596 CPUtime=49.46 cores=0-31
/proc/13420/task/13452/stat : 13452 (claspmt) R 13418 13420 13335 0 -1 4202560 11953 0 0 0 4887 59 0 0 25 0 32 0 6667900 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4629954 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13420/tid=13453] ppid=13418 vsize=2321596 CPUtime=49.35 cores=0-31
/proc/13420/task/13453/stat : 13453 (claspmt) R 13418 13420 13335 0 -1 4202560 18346 0 0 0 4849 86 0 0 25 0 32 0 6667900 2377314304 388775 270582939648 4194304 4964800 140735121204720 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 1588.58
Current children cumulated vsize (KiB) 2321596

[startup+56.7015 s]
/proc/loadavg: 27.65 30.10 30.44 33/445 13453
/proc/meminfo: memFree=261895216/264257624 swapFree=67111528/67111528
[pid=13420] ppid=13418 vsize=2321596 CPUtime=1614.09 cores=0-31
/proc/13420/stat : 13420 (claspmt) R 13418 13420 13335 0 -1 4202496 434597 0 0 0 159299 2110 0 0 25 0 32 0 6667368 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/13420/statm: 580399 388779 463 189 0 574748 0
[pid=13420/tid=13423] ppid=13418 vsize=2321596 CPUtime=50.34 cores=0-31
/proc/13420/task/13423/stat : 13423 (claspmt) R 13418 13420 13335 0 -1 4202560 8121 0 0 0 4974 60 0 0 20 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13420/tid=13424] ppid=13418 vsize=2321596 CPUtime=50.27 cores=0-31
/proc/13420/task/13424/stat : 13424 (claspmt) R 13418 13420 13335 0 -1 4202560 21823 0 0 0 4931 96 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13420/tid=13425] ppid=13418 vsize=2321596 CPUtime=49.16 cores=0-31
/proc/13420/task/13425/stat : 13425 (claspmt) R 13418 13420 13335 0 -1 4202560 11683 0 0 0 4856 60 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4629794 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=13420/tid=13426] ppid=13418 vsize=2321596 CPUtime=50.21 cores=0-31
/proc/13420/task/13426/stat : 13426 (claspmt) R 13418 13420 13335 0 -1 4202560 10072 0 0 0 4963 58 0 0 18 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13420/tid=13427] ppid=13418 vsize=2321596 CPUtime=50.81 cores=0-31
/proc/13420/task/13427/stat : 13427 (claspmt) R 13418 13420 13335 0 -1 4202560 8577 0 0 0 5021 60 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4399569 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13420/tid=13428] ppid=13418 vsize=2321596 CPUtime=50.3 cores=0-31
/proc/13420/task/13428/stat : 13428 (claspmt) R 13418 13420 13335 0 -1 4202560 12000 0 0 0 4965 65 0 0 20 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13420/tid=13429] ppid=13418 vsize=2321596 CPUtime=50.3 cores=0-31
/proc/13420/task/13429/stat : 13429 (claspmt) R 13418 13420 13335 0 -1 4202560 15821 0 0 0 4945 85 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13420/tid=13430] ppid=13418 vsize=2321596 CPUtime=50.37 cores=0-31
/proc/13420/task/13430/stat : 13430 (claspmt) R 13418 13420 13335 0 -1 4202560 8927 0 0 0 4971 66 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13420/tid=13431] ppid=13418 vsize=2321596 CPUtime=50.33 cores=0-31
/proc/13420/task/13431/stat : 13431 (claspmt) R 13418 13420 13335 0 -1 4202560 8631 0 0 0 4975 58 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4668636 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13420/tid=13432] ppid=13418 vsize=2321596 CPUtime=50.22 cores=0-31
/proc/13420/task/13432/stat : 13432 (claspmt) R 13418 13420 13335 0 -1 4202560 19995 0 0 0 4933 89 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13420/tid=13433] ppid=13418 vsize=2321596 CPUtime=50.27 cores=0-31
/proc/13420/task/13433/stat : 13433 (claspmt) R 13418 13420 13335 0 -1 4202560 12477 0 0 0 4960 67 0 0 18 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 258662782469 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13420/tid=13434] ppid=13418 vsize=2321596 CPUtime=50.26 cores=0-31
/proc/13420/task/13434/stat : 13434 (claspmt) R 13418 13420 13335 0 -1 4202560 10184 0 0 0 4963 63 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4627281 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13420/tid=13435] ppid=13418 vsize=2321596 CPUtime=50.8 cores=0-31
/proc/13420/task/13435/stat : 13435 (claspmt) R 13418 13420 13335 0 -1 4202560 8464 0 0 0 5030 50 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13420/tid=13436] ppid=13418 vsize=2321596 CPUtime=50.28 cores=0-31
/proc/13420/task/13436/stat : 13436 (claspmt) R 13418 13420 13335 0 -1 4202560 12551 0 0 0 4964 64 0 0 18 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13420/tid=13437] ppid=13418 vsize=2321596 CPUtime=50.23 cores=0-31
/proc/13420/task/13437/stat : 13437 (claspmt) R 13418 13420 13335 0 -1 4202560 15274 0 0 0 4946 77 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13420/tid=13438] ppid=13418 vsize=2321596 CPUtime=50.32 cores=0-31
/proc/13420/task/13438/stat : 13438 (claspmt) R 13418 13420 13335 0 -1 4202560 9052 0 0 0 4970 62 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4314062 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13420/tid=13439] ppid=13418 vsize=2321596 CPUtime=50.22 cores=0-31
/proc/13420/task/13439/stat : 13439 (claspmt) R 13418 13420 13335 0 -1 4202560 9300 0 0 0 4965 57 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13420/tid=13440] ppid=13418 vsize=2321596 CPUtime=50.11 cores=0-31
/proc/13420/task/13440/stat : 13440 (claspmt) R 13418 13420 13335 0 -1 4202560 21075 0 0 0 4920 91 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13420/tid=13441] ppid=13418 vsize=2321596 CPUtime=50.28 cores=0-31
/proc/13420/task/13441/stat : 13441 (claspmt) R 13418 13420 13335 0 -1 4202560 12348 0 0 0 4962 66 0 0 18 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670511 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13420/tid=13442] ppid=13418 vsize=2321596 CPUtime=50.33 cores=0-31
/proc/13420/task/13442/stat : 13442 (claspmt) R 13418 13420 13335 0 -1 4202560 9624 0 0 0 4970 63 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4684732 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13420/tid=13443] ppid=13418 vsize=2321596 CPUtime=50.75 cores=0-31
/proc/13420/task/13443/stat : 13443 (claspmt) R 13418 13420 13335 0 -1 4202560 7644 0 0 0 5023 52 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 258662782469 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13420/tid=13444] ppid=13418 vsize=2321596 CPUtime=50.28 cores=0-31
/proc/13420/task/13444/stat : 13444 (claspmt) R 13418 13420 13335 0 -1 4202560 12523 0 0 0 4959 69 0 0 25 0 32 0 6667899 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4629970 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13420/tid=13445] ppid=13418 vsize=2321596 CPUtime=50.14 cores=0-31
/proc/13420/task/13445/stat : 13445 (claspmt) R 13418 13420 13335 0 -1 4202560 15017 0 0 0 4951 63 0 0 18 0 32 0 6667900 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4365674 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13420/tid=13446] ppid=13418 vsize=2321596 CPUtime=50.29 cores=0-31
/proc/13420/task/13446/stat : 13446 (claspmt) R 13418 13420 13335 0 -1 4202560 9541 0 0 0 4970 59 0 0 25 0 32 0 6667900 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13420/tid=13447] ppid=13418 vsize=2321596 CPUtime=50.2 cores=0-31
/proc/13420/task/13447/stat : 13447 (claspmt) R 13418 13420 13335 0 -1 4202560 9159 0 0 0 4961 59 0 0 25 0 32 0 6667900 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4629965 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13420/tid=13448] ppid=13418 vsize=2321596 CPUtime=50.14 cores=0-31
/proc/13420/task/13448/stat : 13448 (claspmt) R 13418 13420 13335 0 -1 4202560 21751 0 0 0 4924 90 0 0 25 0 32 0 6667900 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13420/tid=13449] ppid=13418 vsize=2321596 CPUtime=50.28 cores=0-31
/proc/13420/task/13449/stat : 13449 (claspmt) R 13418 13420 13335 0 -1 4202560 12445 0 0 0 4964 64 0 0 18 0 32 0 6667900 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 258662782469 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13420/tid=13450] ppid=13418 vsize=2321596 CPUtime=50.19 cores=0-31
/proc/13420/task/13450/stat : 13450 (claspmt) R 13418 13420 13335 0 -1 4202560 10850 0 0 0 4956 63 0 0 25 0 32 0 6667900 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13420/tid=13451] ppid=13418 vsize=2321596 CPUtime=50.7 cores=0-31
/proc/13420/task/13451/stat : 13451 (claspmt) R 13418 13420 13335 0 -1 4202560 7809 0 0 0 5024 46 0 0 25 0 32 0 6667900 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13420/tid=13452] ppid=13418 vsize=2321596 CPUtime=50.25 cores=0-31
/proc/13420/task/13452/stat : 13452 (claspmt) R 13418 13420 13335 0 -1 4202560 11953 0 0 0 4966 59 0 0 25 0 32 0 6667900 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13420/tid=13453] ppid=13418 vsize=2321596 CPUtime=50.15 cores=0-31
/proc/13420/task/13453/stat : 13453 (claspmt) R 13418 13420 13335 0 -1 4202560 18346 0 0 0 4929 86 0 0 25 0 32 0 6667900 2377314304 388779 270582939648 4194304 4964800 140735121204720 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 1614.09
Current children cumulated vsize (KiB) 2321596

[startup+57.5006 s]
/proc/loadavg: 27.65 30.10 30.44 2/414 13453
/proc/meminfo: memFree=261895340/264257624 swapFree=67111528/67111528
[pid=13420] ppid=13418 vsize=2168740 CPUtime=1620.02 cores=0-31
/proc/13420/stat : 13420 (claspmt) R 13418 13420 13335 0 -1 4202496 434608 0 0 0 159880 2122 0 0 17 0 1 0 6667368 2220789760 372879 270582939648 4194304 4964800 140735121204720 18446744073709551615 258650611899 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13420/statm: 542185 372879 474 189 0 536534 0
Current children cumulated CPU time (s) 1620.02
Current children cumulated vsize (KiB) 2168740

[startup+57.7006 s]
/proc/loadavg: 27.65 30.10 30.44 2/414 13453
/proc/meminfo: memFree=261895340/264257624 swapFree=67111528/67111528
[pid=13420] ppid=13418 vsize=2053348 CPUtime=1620.22 cores=0-31
/proc/13420/stat : 13420 (claspmt) R 13418 13420 13335 0 -1 4202496 434608 0 0 0 159899 2123 0 0 17 0 1 0 6667368 2102628352 343304 270582939648 4194304 4964800 140735121204720 18446744073709551615 4646717 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13420/statm: 513337 343304 474 189 0 507686 0
Current children cumulated CPU time (s) 1620.22
Current children cumulated vsize (KiB) 2053348

[startup+57.8006 s]
/proc/loadavg: 27.65 30.10 30.44 2/414 13453
/proc/meminfo: memFree=261895340/264257624 swapFree=67111528/67111528
[pid=13420] ppid=13418 vsize=1988440 CPUtime=1620.32 cores=0-31
/proc/13420/stat : 13420 (claspmt) R 13418 13420 13335 0 -1 4202496 434608 0 0 0 159908 2124 0 0 17 0 1 0 6667368 2036162560 312241 270582939648 4194304 4964800 140735121204720 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/13420/statm: 497110 312241 474 189 0 491459 0
Current children cumulated CPU time (s) 1620.32
Current children cumulated vsize (KiB) 1988440

Child status: 20
Real time (s): 57.8936
CPU time (s): 1620.42
CPU user time (s): 1599.09
CPU system time (s): 21.3298
CPU usage (%): 2798.97
Max. virtual memory (cumulated for all children) (KiB): 2321596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1599.09
system time used= 21.3298
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434609
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= 280047
involuntary context switches= 4257

runsolver used 0.367944 second user time and 1.36679 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-07 04:13:25
IDJOB=3472297
IDBENCH=70760
IDSOLVER=1961
FILE ID=node200/3472297-1307412804
RUNJOBID= node200-1307412790-13349
PBS_JOBID= 13509178
Free space on /tmp= 61736 MiB

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

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

MD5SUM BENCH= a551844fb6a7f35cf6025d0a525ca14e
RANDOM SEED=1032709673

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:      263442936 kB
Buffers:         87380 kB
Cached:         499040 kB
SwapCached:          0 kB
Active:         157152 kB
Inactive:       492644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263442936 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8820 kB
Writeback:           0 kB
AnonPages:       64596 kB
Mapped:          14864 kB
Slab:            85024 kB
PageTables:       4520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   164036 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61736 MiB
End job on node200 at 2011-06-07 04:14:23