Trace number 3472315

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)? (TO) 160004 5008.73

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-27-s100.cnf
MD5SUMf47c33d2a9a327da4633207adfef7b77
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark22271.7
Satisfiable
(Un)Satisfiability was proved
Number of variables31951
Number of clauses96161
Sum of the clauses size226837
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261518
Number of clauses of size 334579
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 ...469817/instance-3472315-1307469817.cnf
0.39/0.45	c Solving...
160001.83/5006.63	
160001.83/5006.63	*** INTERRUPTED! ***
160001.83/5006.63	*** Shutting down threads...

Verifier Data

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

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3472315-1307469817/watcher-3472315-1307469817 -o /tmp/evaluation-result-3472315-1307469817/solver-3472315-1307469817 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472315-1307469817.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.10 30.89 31.60 1/413 16495
/proc/meminfo: memFree=263349272/264257624 swapFree=67111528/67111528
[pid=16495] ppid=16493 vsize=27736 CPUtime=0.02 cores=0-31
/proc/16495/stat : 16495 (claspmt) R 16493 16495 16349 0 -1 4202496 2427 0 0 0 2 0 0 0 21 0 1 0 12368572 28401664 2108 270582939648 4194304 4964800 140735583514832 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/16495/statm: 6934 2108 386 189 0 1808 0

[startup+0.0891699 s]
/proc/loadavg: 29.10 30.89 31.60 1/413 16495
/proc/meminfo: memFree=263349272/264257624 swapFree=67111528/67111528
[pid=16495] ppid=16493 vsize=30968 CPUtime=0.08 cores=0-31
/proc/16495/stat : 16495 (claspmt) R 16493 16495 16349 0 -1 4202496 3546 0 0 0 7 1 0 0 21 0 1 0 12368572 31711232 2935 270582939648 4194304 4964800 140735583514832 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/16495/statm: 7742 2936 386 189 0 2616 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30968

[startup+0.101124 s]
/proc/loadavg: 29.10 30.89 31.60 1/413 16495
/proc/meminfo: memFree=263349272/264257624 swapFree=67111528/67111528
[pid=16495] ppid=16493 vsize=33108 CPUtime=0.09 cores=0-31
/proc/16495/stat : 16495 (claspmt) R 16493 16495 16349 0 -1 4202496 4360 0 0 0 8 1 0 0 21 0 1 0 12368572 33902592 3331 270582939648 4194304 4964800 140735583514832 18446744073709551615 4624884 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/16495/statm: 8277 3341 395 189 0 3151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33108

[startup+0.301127 s]
/proc/loadavg: 29.10 30.89 31.60 1/413 16495
/proc/meminfo: memFree=263349272/264257624 swapFree=67111528/67111528
[pid=16495] ppid=16493 vsize=38244 CPUtime=0.29 cores=0-31
/proc/16495/stat : 16495 (claspmt) R 16493 16495 16349 0 -1 4202496 5704 0 0 0 28 1 0 0 22 0 1 0 12368572 39161856 4600 270582939648 4194304 4964800 140735583514832 18446744073709551615 4612418 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/16495/statm: 9561 4600 401 189 0 4435 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38244

[startup+0.701141 s]
/proc/loadavg: 29.10 30.89 31.60 1/413 16495
/proc/meminfo: memFree=263349272/264257624 swapFree=67111528/67111528
[pid=16495] ppid=16493 vsize=1667436 CPUtime=3.52 cores=0-31
/proc/16495/stat : 16495 (claspmt) S 16493 16495 16349 0 -1 4202496 38083 0 0 0 74 278 0 0 18 0 32 0 12368572 1707454464 28758 270582939648 4194304 4964800 140735583514832 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/16495/statm: 416859 28763 439 189 0 411208 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 1667436

[startup+1.50306 s]
/proc/loadavg: 29.10 30.89 31.60 13/445 16527
/proc/meminfo: memFree=263227148/264257624 swapFree=67111528/67111528
[pid=16495] ppid=16493 vsize=1668252 CPUtime=19.72 cores=0-31
/proc/16495/stat : 16495 (claspmt) R 16493 16495 16349 0 -1 4202496 44123 0 0 0 1673 299 0 0 16 0 32 0 12368572 1708290048 34783 270582939648 4194304 4964800 140735583514832 18446744073709551615 4362204 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/16495/statm: 417063 34784 458 189 0 411412 0
[pid=16495/tid=16497] ppid=16493 vsize=1668252 CPUtime=0.55 cores=0-31
/proc/16495/task/16497/stat : 16497 (claspmt) R 16493 16495 16349 0 -1 4202560 855 0 0 0 47 8 0 0 16 0 32 0 12368617 1708290048 34784 270582939648 4194304 4964800 140735583514832 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=16495/tid=16498] ppid=16493 vsize=1668252 CPUtime=0.57 cores=0-31
/proc/16495/task/16498/stat : 16498 (claspmt) R 16493 16495 16349 0 -1 4202560 1376 0 0 0 48 9 0 0 16 0 32 0 12368617 1708290048 34784 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670155 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=16495/tid=16499] ppid=16493 vsize=1668252 CPUtime=0.59 cores=0-31
/proc/16495/task/16499/stat : 16499 (claspmt) R 16493 16495 16349 0 -1 4202560 1346 0 0 0 49 10 0 0 16 0 32 0 12368617 1708290048 34784 270582939648 4194304 4964800 140735583514832 18446744073709551615 4361293 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=16495/tid=16500] ppid=16493 vsize=1668252 CPUtime=0.55 cores=0-31
/proc/16495/task/16500/stat : 16500 (claspmt) R 16493 16495 16349 0 -1 4202560 1127 0 0 0 46 9 0 0 16 0 32 0 12368617 1708290048 34784 270582939648 4194304 4964800 140735583514832 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=16495/tid=16501] ppid=16493 vsize=1668252 CPUtime=0.88 cores=0-31
/proc/16495/task/16501/stat : 16501 (claspmt) R 16493 16495 16349 0 -1 4202560 1100 0 0 0 79 9 0 0 18 0 32 0 12368617 1708290048 34784 270582939648 4194304 4964800 140735583514832 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=16495/tid=16502] ppid=16493 vsize=1668252 CPUtime=0.57 cores=0-31
/proc/16495/task/16502/stat : 16502 (claspmt) R 16493 16495 16349 0 -1 4202560 1350 0 0 0 48 9 0 0 16 0 32 0 12368617 1708290048 34784 270582939648 4194304 4964800 140735583514832 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=16495/tid=16503] ppid=16493 vsize=1668252 CPUtime=0.58 cores=0-31
/proc/16495/task/16503/stat : 16503 (claspmt) R 16493 16495 16349 0 -1 4202560 1400 0 0 0 47 11 0 0 16 0 32 0 12368617 1708290048 34784 270582939648 4194304 4964800 140735583514832 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=16495/tid=16504] ppid=16493 vsize=1668252 CPUtime=0.56 cores=0-31
/proc/16495/task/16504/stat : 16504 (claspmt) R 16493 16495 16349 0 -1 4202560 1059 0 0 0 46 10 0 0 16 0 32 0 12368617 1708290048 34785 270582939648 4194304 4964800 140735583514832 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=16495/tid=16505] ppid=16493 vsize=1668252 CPUtime=0.55 cores=0-31
/proc/16495/task/16505/stat : 16505 (claspmt) R 16493 16495 16349 0 -1 4202560 1047 0 0 0 47 8 0 0 16 0 32 0 12368617 1708290048 34785 270582939648 4194304 4964800 140735583514832 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=16495/tid=16506] ppid=16493 vsize=1668252 CPUtime=0.56 cores=0-31
/proc/16495/task/16506/stat : 16506 (claspmt) R 16493 16495 16349 0 -1 4202560 1463 0 0 0 47 9 0 0 16 0 32 0 12368617 1708290048 34785 270582939648 4194304 4964800 140735583514832 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=16495/tid=16507] ppid=16493 vsize=1668252 CPUtime=0.58 cores=0-31
/proc/16495/task/16507/stat : 16507 (claspmt) R 16493 16495 16349 0 -1 4202560 1312 0 0 0 48 10 0 0 16 0 32 0 12368617 1708290048 34785 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=16495/tid=16508] ppid=16493 vsize=1668252 CPUtime=0.57 cores=0-31
/proc/16495/task/16508/stat : 16508 (claspmt) R 16493 16495 16349 0 -1 4202560 1106 0 0 0 48 9 0 0 16 0 32 0 12368617 1708290048 34786 270582939648 4194304 4964800 140735583514832 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=16495/tid=16509] ppid=16493 vsize=1668252 CPUtime=0.88 cores=0-31
/proc/16495/task/16509/stat : 16509 (claspmt) R 16493 16495 16349 0 -1 4202560 1213 0 0 0 79 9 0 0 18 0 32 0 12368617 1708290048 34788 270582939648 4194304 4964800 140735583514832 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=16495/tid=16510] ppid=16493 vsize=1668252 CPUtime=0.58 cores=0-31
/proc/16495/task/16510/stat : 16510 (claspmt) R 16493 16495 16349 0 -1 4202560 1330 0 0 0 48 10 0 0 16 0 32 0 12368617 1708290048 34788 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=16495/tid=16511] ppid=16493 vsize=1668252 CPUtime=0.56 cores=0-31
/proc/16495/task/16511/stat : 16511 (claspmt) R 16493 16495 16349 0 -1 4202560 1367 0 0 0 46 10 0 0 16 0 32 0 12368618 1708290048 34788 270582939648 4194304 4964800 140735583514832 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=16495/tid=16512] ppid=16493 vsize=1668252 CPUtime=0.52 cores=0-31
/proc/16495/task/16512/stat : 16512 (claspmt) R 16493 16495 16349 0 -1 4202560 960 0 0 0 46 6 0 0 16 0 32 0 12368618 1708290048 34788 270582939648 4194304 4964800 140735583514832 18446744073709551615 4362287 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=16495/tid=16513] ppid=16493 vsize=1668252 CPUtime=0.54 cores=0-31
/proc/16495/task/16513/stat : 16513 (claspmt) R 16493 16495 16349 0 -1 4202560 1078 0 0 0 46 8 0 0 16 0 32 0 12368618 1708290048 34788 270582939648 4194304 4964800 140735583514832 18446744073709551615 4660104 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=16495/tid=16514] ppid=16493 vsize=1668252 CPUtime=0.57 cores=0-31
/proc/16495/task/16514/stat : 16514 (claspmt) R 16493 16495 16349 0 -1 4202560 1406 0 0 0 47 10 0 0 16 0 32 0 12368618 1708290048 34788 270582939648 4194304 4964800 140735583514832 18446744073709551615 4361247 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=16495/tid=16515] ppid=16493 vsize=1668252 CPUtime=0.54 cores=0-31
/proc/16495/task/16515/stat : 16515 (claspmt) R 16493 16495 16349 0 -1 4202560 1286 0 0 0 45 9 0 0 16 0 32 0 12368618 1708290048 34788 270582939648 4194304 4964800 140735583514832 18446744073709551615 4362810 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=16495/tid=16516] ppid=16493 vsize=1668252 CPUtime=0.5 cores=0-31
/proc/16495/task/16516/stat : 16516 (claspmt) R 16493 16495 16349 0 -1 4202560 1143 0 0 0 41 9 0 0 16 0 32 0 12368618 1708290048 34788 270582939648 4194304 4964800 140735583514832 18446744073709551615 4668588 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=16495/tid=16517] ppid=16493 vsize=1668252 CPUtime=0.85 cores=0-31
/proc/16495/task/16517/stat : 16517 (claspmt) R 16493 16495 16349 0 -1 4202560 1208 0 0 0 76 9 0 0 18 0 32 0 12368618 1708290048 34788 270582939648 4194304 4964800 140735583514832 18446744073709551615 4399292 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=16495/tid=16518] ppid=16493 vsize=1668252 CPUtime=0.56 cores=0-31
/proc/16495/task/16518/stat : 16518 (claspmt) R 16493 16495 16349 0 -1 4202560 1342 0 0 0 46 10 0 0 16 0 32 0 12368618 1708290048 34789 270582939648 4194304 4964800 140735583514832 18446744073709551615 4669579 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=16495/tid=16519] ppid=16493 vsize=1668252 CPUtime=0.57 cores=0-31
/proc/16495/task/16519/stat : 16519 (claspmt) R 16493 16495 16349 0 -1 4202560 1370 0 0 0 47 10 0 0 16 0 32 0 12368618 1708290048 34789 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670112 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=16495/tid=16520] ppid=16493 vsize=1668252 CPUtime=0.55 cores=0-31
/proc/16495/task/16520/stat : 16520 (claspmt) R 16493 16495 16349 0 -1 4202560 1092 0 0 0 46 9 0 0 16 0 32 0 12368618 1708290048 34790 270582939648 4194304 4964800 140735583514832 18446744073709551615 4342228 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=16495/tid=16521] ppid=16493 vsize=1668252 CPUtime=0.51 cores=0-31
/proc/16495/task/16521/stat : 16521 (claspmt) R 16493 16495 16349 0 -1 4202560 1092 0 0 0 44 7 0 0 16 0 32 0 12368618 1708290048 34791 270582939648 4194304 4964800 140735583514832 18446744073709551615 4362287 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=16495/tid=16522] ppid=16493 vsize=1668252 CPUtime=0.51 cores=0-31
/proc/16495/task/16522/stat : 16522 (claspmt) R 16493 16495 16349 0 -1 4202560 1415 0 0 0 44 7 0 0 16 0 32 0 12368618 1708290048 34791 270582939648 4194304 4964800 140735583514832 18446744073709551615 4669164 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=16495/tid=16523] ppid=16493 vsize=1668252 CPUtime=0.56 cores=0-31
/proc/16495/task/16523/stat : 16523 (claspmt) R 16493 16495 16349 0 -1 4202560 1278 0 0 0 48 8 0 0 16 0 32 0 12368618 1708290048 34791 270582939648 4194304 4964800 140735583514832 18446744073709551615 4660372 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=16495/tid=16524] ppid=16493 vsize=1668252 CPUtime=0.57 cores=0-31
/proc/16495/task/16524/stat : 16524 (claspmt) R 16493 16495 16349 0 -1 4202560 1118 0 0 0 47 10 0 0 16 0 32 0 12368618 1708290048 34792 270582939648 4194304 4964800 140735583514832 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=16495/tid=16525] ppid=16493 vsize=1668252 CPUtime=0.88 cores=0-31
/proc/16495/task/16525/stat : 16525 (claspmt) R 16493 16495 16349 0 -1 4202560 1157 0 0 0 78 10 0 0 18 0 32 0 12368618 1708290048 34792 270582939648 4194304 4964800 140735583514832 18446744073709551615 4399521 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=16495/tid=16526] ppid=16493 vsize=1668252 CPUtime=0.58 cores=0-31
/proc/16495/task/16526/stat : 16526 (claspmt) R 16493 16495 16349 0 -1 4202560 1315 0 0 0 49 9 0 0 16 0 32 0 12368618 1708290048 34792 270582939648 4194304 4964800 140735583514832 18446744073709551615 4675424 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=16495/tid=16527] ppid=16493 vsize=1668252 CPUtime=0.55 cores=0-31
/proc/16495/task/16527/stat : 16527 (claspmt) R 16493 16495 16349 0 -1 4202560 1394 0 0 0 46 9 0 0 16 0 32 0 12368618 1708290048 34792 270582939648 4194304 4964800 140735583514832 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 19.72
Current children cumulated vsize (KiB) 1668252

[startup+3.10212 s]
/proc/loadavg: 29.10 30.89 31.60 33/445 16527
/proc/meminfo: memFree=263198752/264257624 swapFree=67111528/67111528
[pid=16495] ppid=16493 vsize=1669968 CPUtime=70.78 cores=0-31
/proc/16495/stat : 16495 (claspmt) R 16493 16495 16349 0 -1 4202496 52783 0 0 0 6752 326 0 0 18 0 32 0 12368572 1710047232 43443 270582939648 4194304 4964800 140735583514832 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/16495/statm: 417492 43443 461 189 0 411841 0
[pid=16495/tid=16497] ppid=16493 vsize=1669968 CPUtime=2.15 cores=0-31
/proc/16495/task/16497/stat : 16497 (claspmt) R 16493 16495 16349 0 -1 4202560 965 0 0 0 206 9 0 0 18 0 32 0 12368617 1710047232 43443 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=16495/tid=16498] ppid=16493 vsize=1669968 CPUtime=2.16 cores=0-31
/proc/16495/task/16498/stat : 16498 (claspmt) R 16493 16495 16349 0 -1 4202560 1843 0 0 0 205 11 0 0 18 0 32 0 12368617 1710047232 43443 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=16495/tid=16499] ppid=16493 vsize=1669968 CPUtime=2.18 cores=0-31
/proc/16495/task/16499/stat : 16499 (claspmt) R 16493 16495 16349 0 -1 4202560 1427 0 0 0 208 10 0 0 18 0 32 0 12368617 1710047232 43444 270582939648 4194304 4964800 140735583514832 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=16495/tid=16500] ppid=16493 vsize=1669968 CPUtime=2.15 cores=0-31
/proc/16495/task/16500/stat : 16500 (claspmt) R 16493 16495 16349 0 -1 4202560 1762 0 0 0 204 11 0 0 18 0 32 0 12368617 1710047232 43444 270582939648 4194304 4964800 140735583514832 18446744073709551615 4669104 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=16495/tid=16501] ppid=16493 vsize=1669968 CPUtime=2.48 cores=0-31
/proc/16495/task/16501/stat : 16501 (claspmt) R 16493 16495 16349 0 -1 4202560 1102 0 0 0 239 9 0 0 21 0 32 0 12368617 1710047232 43444 270582939648 4194304 4964800 140735583514832 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=16495/tid=16502] ppid=16493 vsize=1669968 CPUtime=2.17 cores=0-31
/proc/16495/task/16502/stat : 16502 (claspmt) R 16493 16495 16349 0 -1 4202560 1529 0 0 0 207 10 0 0 18 0 32 0 12368617 1710047232 43444 270582939648 4194304 4964800 140735583514832 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=16495/tid=16503] ppid=16493 vsize=1669968 CPUtime=2.17 cores=0-31
/proc/16495/task/16503/stat : 16503 (claspmt) R 16493 16495 16349 0 -1 4202560 1965 0 0 0 205 12 0 0 18 0 32 0 12368617 1710047232 43444 270582939648 4194304 4964800 140735583514832 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=16495/tid=16504] ppid=16493 vsize=1669968 CPUtime=2.16 cores=0-31
/proc/16495/task/16504/stat : 16504 (claspmt) R 16493 16495 16349 0 -1 4202560 1189 0 0 0 206 10 0 0 18 0 32 0 12368617 1710047232 43445 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=16495/tid=16505] ppid=16493 vsize=1669968 CPUtime=2.14 cores=0-31
/proc/16495/task/16505/stat : 16505 (claspmt) R 16493 16495 16349 0 -1 4202560 1224 0 0 0 206 8 0 0 18 0 32 0 12368617 1710047232 43445 270582939648 4194304 4964800 140735583514832 18446744073709551615 4660384 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=16495/tid=16506] ppid=16493 vsize=1669968 CPUtime=2.16 cores=0-31
/proc/16495/task/16506/stat : 16506 (claspmt) R 16493 16495 16349 0 -1 4202560 1941 0 0 0 206 10 0 0 18 0 32 0 12368617 1710047232 43445 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=16495/tid=16507] ppid=16493 vsize=1669968 CPUtime=2.17 cores=0-31
/proc/16495/task/16507/stat : 16507 (claspmt) R 16493 16495 16349 0 -1 4202560 1404 0 0 0 207 10 0 0 18 0 32 0 12368617 1710047232 43445 270582939648 4194304 4964800 140735583514832 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=16495/tid=16508] ppid=16493 vsize=1669968 CPUtime=2.17 cores=0-31
/proc/16495/task/16508/stat : 16508 (claspmt) R 16493 16495 16349 0 -1 4202560 1649 0 0 0 206 11 0 0 18 0 32 0 12368617 1710047232 43445 270582939648 4194304 4964800 140735583514832 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=16495/tid=16509] ppid=16493 vsize=1669968 CPUtime=2.47 cores=0-31
/proc/16495/task/16509/stat : 16509 (claspmt) R 16493 16495 16349 0 -1 4202560 1217 0 0 0 238 9 0 0 21 0 32 0 12368617 1710047232 43445 270582939648 4194304 4964800 140735583514832 18446744073709551615 4399429 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=16495/tid=16510] ppid=16493 vsize=1669968 CPUtime=2.17 cores=0-31
/proc/16495/task/16510/stat : 16510 (claspmt) R 16493 16495 16349 0 -1 4202560 1503 0 0 0 206 11 0 0 18 0 32 0 12368617 1710047232 43445 270582939648 4194304 4964800 140735583514832 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=16495/tid=16511] ppid=16493 vsize=1669968 CPUtime=2.16 cores=0-31
/proc/16495/task/16511/stat : 16511 (claspmt) R 16493 16495 16349 0 -1 4202560 2002 0 0 0 203 13 0 0 18 0 32 0 12368618 1710047232 43445 270582939648 4194304 4964800 140735583514832 18446744073709551615 4360579 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=16495/tid=16512] ppid=16493 vsize=1669968 CPUtime=2.12 cores=0-31
/proc/16495/task/16512/stat : 16512 (claspmt) R 16493 16495 16349 0 -1 4202560 1104 0 0 0 205 7 0 0 18 0 32 0 12368618 1710047232 43445 270582939648 4194304 4964800 140735583514832 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=16495/tid=16513] ppid=16493 vsize=1669968 CPUtime=2.14 cores=0-31
/proc/16495/task/16513/stat : 16513 (claspmt) R 16493 16495 16349 0 -1 4202560 1232 0 0 0 206 8 0 0 18 0 32 0 12368618 1710047232 43445 270582939648 4194304 4964800 140735583514832 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=16495/tid=16514] ppid=16493 vsize=1669968 CPUtime=2.17 cores=0-31
/proc/16495/task/16514/stat : 16514 (claspmt) R 16493 16495 16349 0 -1 4202560 1893 0 0 0 206 11 0 0 18 0 32 0 12368618 1710047232 43445 270582939648 4194304 4964800 140735583514832 18446744073709551615 4668930 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=16495/tid=16515] ppid=16493 vsize=1669968 CPUtime=2.13 cores=0-31
/proc/16495/task/16515/stat : 16515 (claspmt) R 16493 16495 16349 0 -1 4202560 1349 0 0 0 204 9 0 0 18 0 32 0 12368618 1710047232 43445 270582939648 4194304 4964800 140735583514832 18446744073709551615 4660163 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=16495/tid=16516] ppid=16493 vsize=1669968 CPUtime=2.09 cores=0-31
/proc/16495/task/16516/stat : 16516 (claspmt) R 16493 16495 16349 0 -1 4202560 1607 0 0 0 198 11 0 0 18 0 32 0 12368618 1710047232 43446 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=16495/tid=16517] ppid=16493 vsize=1669968 CPUtime=2.41 cores=0-31
/proc/16495/task/16517/stat : 16517 (claspmt) R 16493 16495 16349 0 -1 4202560 1213 0 0 0 232 9 0 0 21 0 32 0 12368618 1710047232 43446 270582939648 4194304 4964800 140735583514832 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=16495/tid=16518] ppid=16493 vsize=1669968 CPUtime=2.16 cores=0-31
/proc/16495/task/16518/stat : 16518 (claspmt) R 16493 16495 16349 0 -1 4202560 1508 0 0 0 206 10 0 0 18 0 32 0 12368618 1710047232 43446 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=16495/tid=16519] ppid=16493 vsize=1669968 CPUtime=2.17 cores=0-31
/proc/16495/task/16519/stat : 16519 (claspmt) R 16493 16495 16349 0 -1 4202560 2005 0 0 0 206 11 0 0 18 0 32 0 12368618 1710047232 43446 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=16495/tid=16520] ppid=16493 vsize=1669968 CPUtime=2.15 cores=0-31
/proc/16495/task/16520/stat : 16520 (claspmt) R 16493 16495 16349 0 -1 4202560 1211 0 0 0 206 9 0 0 18 0 32 0 12368618 1710047232 43446 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=16495/tid=16521] ppid=16493 vsize=1669968 CPUtime=2.11 cores=0-31
/proc/16495/task/16521/stat : 16521 (claspmt) R 16493 16495 16349 0 -1 4202560 1217 0 0 0 203 8 0 0 18 0 32 0 12368618 1710047232 43447 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=16495/tid=16522] ppid=16493 vsize=1669968 CPUtime=2.11 cores=0-31
/proc/16495/task/16522/stat : 16522 (claspmt) R 16493 16495 16349 0 -1 4202560 1904 0 0 0 201 10 0 0 18 0 32 0 12368618 1710047232 43447 270582939648 4194304 4964800 140735583514832 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=16495/tid=16523] ppid=16493 vsize=1669968 CPUtime=2.16 cores=0-31
/proc/16495/task/16523/stat : 16523 (claspmt) R 16493 16495 16349 0 -1 4202560 1351 0 0 0 207 9 0 0 18 0 32 0 12368618 1710047232 43447 270582939648 4194304 4964800 140735583514832 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=16495/tid=16524] ppid=16493 vsize=1669968 CPUtime=2.16 cores=0-31
/proc/16495/task/16524/stat : 16524 (claspmt) R 16493 16495 16349 0 -1 4202560 1660 0 0 0 204 12 0 0 18 0 32 0 12368618 1710047232 43447 270582939648 4194304 4964800 140735583514832 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=16495/tid=16525] ppid=16493 vsize=1669968 CPUtime=2.48 cores=0-31
/proc/16495/task/16525/stat : 16525 (claspmt) R 16493 16495 16349 0 -1 4202560 1162 0 0 0 238 10 0 0 21 0 32 0 12368618 1710047232 43447 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=16495/tid=16526] ppid=16493 vsize=1669968 CPUtime=2.17 cores=0-31

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

[pid=16495/tid=16504] ppid=16493 vsize=5775544 CPUtime=4960.34 cores=0-31
/proc/16495/task/16504/stat : 16504 (claspmt) R 16493 16495 16349 0 -1 4202560 3543 0 0 0 496011 23 0 0 25 0 32 0 12368617 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=16495/tid=16505] ppid=16493 vsize=5775544 CPUtime=4960.02 cores=0-31
/proc/16495/task/16505/stat : 16505 (claspmt) R 16493 16495 16349 0 -1 4202560 2963 0 0 0 495987 15 0 0 25 0 32 0 12368617 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=16495/tid=16506] ppid=16493 vsize=5775544 CPUtime=4960.3 cores=0-31
/proc/16495/task/16506/stat : 16506 (claspmt) R 16493 16495 16349 0 -1 4202560 46359 0 0 0 495836 194 0 0 25 0 32 0 12368617 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=16495/tid=16507] ppid=16493 vsize=5775544 CPUtime=4960.34 cores=0-31
/proc/16495/task/16507/stat : 16507 (claspmt) R 16493 16495 16349 0 -1 4202560 2572 0 0 0 496021 13 0 0 25 0 32 0 12368617 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=16495/tid=16508] ppid=16493 vsize=5775544 CPUtime=4960.27 cores=0-31
/proc/16495/task/16508/stat : 16508 (claspmt) R 16493 16495 16349 0 -1 4202560 69721 0 0 0 495750 277 0 0 25 0 32 0 12368617 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=16495/tid=16509] ppid=16493 vsize=5775544 CPUtime=4957.09 cores=0-31
/proc/16495/task/16509/stat : 16509 (claspmt) R 16493 16495 16349 0 -1 4202560 59080 0 0 0 495435 274 0 0 25 0 32 0 12368617 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=16495/tid=16510] ppid=16493 vsize=5775544 CPUtime=4960.14 cores=0-31
/proc/16495/task/16510/stat : 16510 (claspmt) R 16493 16495 16349 0 -1 4202560 2755 0 0 0 495999 15 0 0 25 0 32 0 12368617 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=16495/tid=16511] ppid=16493 vsize=5775544 CPUtime=4960.23 cores=0-31
/proc/16495/task/16511/stat : 16511 (claspmt) R 16493 16495 16349 0 -1 4202560 138419 0 0 0 495429 594 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=16495/tid=16512] ppid=16493 vsize=5775544 CPUtime=4954.42 cores=0-31
/proc/16495/task/16512/stat : 16512 (claspmt) R 16493 16495 16349 0 -1 4202560 2647 0 0 0 495431 11 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=16495/tid=16513] ppid=16493 vsize=5775544 CPUtime=4960.25 cores=0-31
/proc/16495/task/16513/stat : 16513 (claspmt) R 16493 16495 16349 0 -1 4202560 3075 0 0 0 496008 17 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670546 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=16495/tid=16514] ppid=16493 vsize=5775544 CPUtime=4960.33 cores=0-31
/proc/16495/task/16514/stat : 16514 (claspmt) R 16493 16495 16349 0 -1 4202560 32628 0 0 0 495891 142 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=16495/tid=16515] ppid=16493 vsize=5775544 CPUtime=4946.06 cores=0-31
/proc/16495/task/16515/stat : 16515 (claspmt) R 16493 16495 16349 0 -1 4202560 2683 0 0 0 494591 15 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=16495/tid=16516] ppid=16493 vsize=5775544 CPUtime=4960.15 cores=0-31
/proc/16495/task/16516/stat : 16516 (claspmt) R 16493 16495 16349 0 -1 4202560 51214 0 0 0 495790 225 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=16495/tid=16517] ppid=16493 vsize=5775544 CPUtime=4950.99 cores=0-31
/proc/16495/task/16517/stat : 16517 (claspmt) R 16493 16495 16349 0 -1 4202560 55523 0 0 0 494876 223 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=16495/tid=16518] ppid=16493 vsize=5775544 CPUtime=4960.3 cores=0-31
/proc/16495/task/16518/stat : 16518 (claspmt) R 16493 16495 16349 0 -1 4202560 2843 0 0 0 496014 16 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670645 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=16495/tid=16519] ppid=16493 vsize=5775544 CPUtime=4960.23 cores=0-31
/proc/16495/task/16519/stat : 16519 (claspmt) R 16493 16495 16349 0 -1 4202560 155752 0 0 0 495351 672 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=16495/tid=16520] ppid=16493 vsize=5775544 CPUtime=4960.32 cores=0-31
/proc/16495/task/16520/stat : 16520 (claspmt) R 16493 16495 16349 0 -1 4202560 2604 0 0 0 496017 15 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=16495/tid=16521] ppid=16493 vsize=5775544 CPUtime=4912.19 cores=0-31
/proc/16495/task/16521/stat : 16521 (claspmt) R 16493 16495 16349 0 -1 4202560 3112 0 0 0 491204 15 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=16495/tid=16522] ppid=16493 vsize=5775544 CPUtime=4957.13 cores=0-31
/proc/16495/task/16522/stat : 16522 (claspmt) R 16493 16495 16349 0 -1 4202560 38456 0 0 0 495542 171 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=16495/tid=16523] ppid=16493 vsize=5775544 CPUtime=4960.34 cores=0-31
/proc/16495/task/16523/stat : 16523 (claspmt) R 16493 16495 16349 0 -1 4202560 2796 0 0 0 496022 12 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=16495/tid=16524] ppid=16493 vsize=5775544 CPUtime=4960.28 cores=0-31
/proc/16495/task/16524/stat : 16524 (claspmt) R 16493 16495 16349 0 -1 4202560 62024 0 0 0 495756 272 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4324719 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=16495/tid=16525] ppid=16493 vsize=5775544 CPUtime=4960.51 cores=0-31
/proc/16495/task/16525/stat : 16525 (claspmt) R 16493 16495 16349 0 -1 4202560 66309 0 0 0 495803 248 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=16495/tid=16526] ppid=16493 vsize=5775544 CPUtime=4942.7 cores=0-31
/proc/16495/task/16526/stat : 16526 (claspmt) R 16493 16495 16349 0 -1 4202560 3041 0 0 0 494255 15 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=16495/tid=16527] ppid=16493 vsize=5775544 CPUtime=4960.22 cores=0-31
/proc/16495/task/16527/stat : 16527 (claspmt) R 16493 16495 16349 0 -1 4202560 116163 0 0 0 495534 488 0 0 25 0 32 0 12368618 5914157056 1260209 270582939648 4194304 4964800 140735583514832 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 158585
Current children cumulated vsize (KiB) 5775544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5006.6 s]
/proc/loadavg: 32.00 32.00 32.00 33/445 16671
/proc/meminfo: memFree=258260608/264257624 swapFree=67111528/67111528
[pid=16495] ppid=16493 vsize=5775544 CPUtime=160002 cores=0-31
/proc/16495/stat : 16495 (claspmt) R 16493 16495 16349 0 -1 4202496 1299828 0 0 0 15994600 5583 0 0 25 0 32 0 12368572 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4627263 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/16495/statm: 1443886 1269850 463 189 0 1438235 0
[pid=16495/tid=16497] ppid=16493 vsize=5775544 CPUtime=5004.55 cores=0-31
/proc/16495/task/16497/stat : 16497 (claspmt) R 16493 16495 16349 0 -1 4202560 2681 0 0 0 500440 15 0 0 25 0 32 0 12368617 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=16495/tid=16498] ppid=16493 vsize=5775544 CPUtime=5004.6 cores=0-31
/proc/16495/task/16498/stat : 16498 (claspmt) R 16493 16495 16349 0 -1 4202560 40637 0 0 0 500313 147 0 0 25 0 32 0 12368617 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=16495/tid=16499] ppid=16493 vsize=5775544 CPUtime=4985.55 cores=0-31
/proc/16495/task/16499/stat : 16499 (claspmt) R 16493 16495 16349 0 -1 4202560 2852 0 0 0 498539 16 0 0 25 0 32 0 12368617 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=16495/tid=16500] ppid=16493 vsize=5775544 CPUtime=5004.56 cores=0-31
/proc/16495/task/16500/stat : 16500 (claspmt) R 16493 16495 16349 0 -1 4202560 53733 0 0 0 500234 222 0 0 25 0 32 0 12368617 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=16495/tid=16501] ppid=16493 vsize=5775544 CPUtime=5004.75 cores=0-31
/proc/16495/task/16501/stat : 16501 (claspmt) R 16493 16495 16349 0 -1 4202560 71523 0 0 0 500173 302 0 0 25 0 32 0 12368617 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=16495/tid=16502] ppid=16493 vsize=5775544 CPUtime=4987.23 cores=0-31
/proc/16495/task/16502/stat : 16502 (claspmt) R 16493 16495 16349 0 -1 4202560 2995 0 0 0 498709 14 0 0 25 0 32 0 12368617 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4361114 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=16495/tid=16503] ppid=16493 vsize=5775544 CPUtime=5004.53 cores=0-31
/proc/16495/task/16503/stat : 16503 (claspmt) R 16493 16495 16349 0 -1 4202560 184352 0 0 0 499610 843 0 0 25 0 32 0 12368617 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=16495/tid=16504] ppid=16493 vsize=5775544 CPUtime=5004.65 cores=0-31
/proc/16495/task/16504/stat : 16504 (claspmt) R 16493 16495 16349 0 -1 4202560 3543 0 0 0 500442 23 0 0 25 0 32 0 12368617 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=16495/tid=16505] ppid=16493 vsize=5775544 CPUtime=5004.33 cores=0-31
/proc/16495/task/16505/stat : 16505 (claspmt) R 16493 16495 16349 0 -1 4202560 2970 0 0 0 500418 15 0 0 25 0 32 0 12368617 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=16495/tid=16506] ppid=16493 vsize=5775544 CPUtime=5004.61 cores=0-31
/proc/16495/task/16506/stat : 16506 (claspmt) R 16493 16495 16349 0 -1 4202560 46359 0 0 0 500267 194 0 0 25 0 32 0 12368617 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=16495/tid=16507] ppid=16493 vsize=5775544 CPUtime=5004.66 cores=0-31
/proc/16495/task/16507/stat : 16507 (claspmt) R 16493 16495 16349 0 -1 4202560 2572 0 0 0 500453 13 0 0 25 0 32 0 12368617 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=16495/tid=16508] ppid=16493 vsize=5775544 CPUtime=5004.59 cores=0-31
/proc/16495/task/16508/stat : 16508 (claspmt) R 16493 16495 16349 0 -1 4202560 69721 0 0 0 500182 277 0 0 25 0 32 0 12368617 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=16495/tid=16509] ppid=16493 vsize=5775544 CPUtime=5001.38 cores=0-31
/proc/16495/task/16509/stat : 16509 (claspmt) R 16493 16495 16349 0 -1 4202560 59127 0 0 0 499863 275 0 0 25 0 32 0 12368617 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=16495/tid=16510] ppid=16493 vsize=5775544 CPUtime=5004.45 cores=0-31
/proc/16495/task/16510/stat : 16510 (claspmt) R 16493 16495 16349 0 -1 4202560 2755 0 0 0 500430 15 0 0 25 0 32 0 12368617 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=16495/tid=16511] ppid=16493 vsize=5775544 CPUtime=5004.54 cores=0-31
/proc/16495/task/16511/stat : 16511 (claspmt) R 16493 16495 16349 0 -1 4202560 138419 0 0 0 499860 594 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=16495/tid=16512] ppid=16493 vsize=5775544 CPUtime=4998.73 cores=0-31
/proc/16495/task/16512/stat : 16512 (claspmt) R 16493 16495 16349 0 -1 4202560 2647 0 0 0 499862 11 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=16495/tid=16513] ppid=16493 vsize=5775544 CPUtime=5004.56 cores=0-31
/proc/16495/task/16513/stat : 16513 (claspmt) R 16493 16495 16349 0 -1 4202560 3077 0 0 0 500439 17 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=16495/tid=16514] ppid=16493 vsize=5775544 CPUtime=5004.64 cores=0-31
/proc/16495/task/16514/stat : 16514 (claspmt) R 16493 16495 16349 0 -1 4202560 32628 0 0 0 500322 142 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670020 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=16495/tid=16515] ppid=16493 vsize=5775544 CPUtime=4990.38 cores=0-31
/proc/16495/task/16515/stat : 16515 (claspmt) R 16493 16495 16349 0 -1 4202560 2683 0 0 0 499023 15 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4660384 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=16495/tid=16516] ppid=16493 vsize=5775544 CPUtime=5004.47 cores=0-31
/proc/16495/task/16516/stat : 16516 (claspmt) R 16493 16495 16349 0 -1 4202560 51214 0 0 0 500222 225 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4653186 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=16495/tid=16517] ppid=16493 vsize=5775544 CPUtime=4995.31 cores=0-31
/proc/16495/task/16517/stat : 16517 (claspmt) R 16493 16495 16349 0 -1 4202560 55523 0 0 0 499308 223 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=16495/tid=16518] ppid=16493 vsize=5775544 CPUtime=5004.62 cores=0-31
/proc/16495/task/16518/stat : 16518 (claspmt) R 16493 16495 16349 0 -1 4202560 2843 0 0 0 500446 16 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=16495/tid=16519] ppid=16493 vsize=5775544 CPUtime=5004.53 cores=0-31
/proc/16495/task/16519/stat : 16519 (claspmt) R 16493 16495 16349 0 -1 4202560 160750 0 0 0 499756 697 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=16495/tid=16520] ppid=16493 vsize=5775544 CPUtime=5004.64 cores=0-31
/proc/16495/task/16520/stat : 16520 (claspmt) R 16493 16495 16349 0 -1 4202560 2604 0 0 0 500449 15 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4669005 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=16495/tid=16521] ppid=16493 vsize=5775544 CPUtime=4956.5 cores=0-31
/proc/16495/task/16521/stat : 16521 (claspmt) R 16493 16495 16349 0 -1 4202560 3112 0 0 0 495635 15 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=16495/tid=16522] ppid=16493 vsize=5775544 CPUtime=5001.44 cores=0-31
/proc/16495/task/16522/stat : 16522 (claspmt) R 16493 16495 16349 0 -1 4202560 38456 0 0 0 499973 171 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=16495/tid=16523] ppid=16493 vsize=5775544 CPUtime=5004.65 cores=0-31
/proc/16495/task/16523/stat : 16523 (claspmt) R 16493 16495 16349 0 -1 4202560 2796 0 0 0 500453 12 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=16495/tid=16524] ppid=16493 vsize=5775544 CPUtime=5004.59 cores=0-31
/proc/16495/task/16524/stat : 16524 (claspmt) R 16493 16495 16349 0 -1 4202560 62024 0 0 0 500187 272 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=16495/tid=16525] ppid=16493 vsize=5775544 CPUtime=5004.83 cores=0-31
/proc/16495/task/16525/stat : 16525 (claspmt) R 16493 16495 16349 0 -1 4202560 66309 0 0 0 500235 248 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=16495/tid=16526] ppid=16493 vsize=5775544 CPUtime=4985.75 cores=0-31
/proc/16495/task/16526/stat : 16526 (claspmt) R 16493 16495 16349 0 -1 4202560 3041 0 0 0 498560 15 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=16495/tid=16527] ppid=16493 vsize=5775544 CPUtime=5004.53 cores=0-31
/proc/16495/task/16527/stat : 16527 (claspmt) R 16493 16495 16349 0 -1 4202560 117927 0 0 0 499957 496 0 0 25 0 32 0 12368618 5914157056 1269850 270582939648 4194304 4964800 140735583514832 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 5775544

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -16495

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

[startup+5007.8 s]
/proc/loadavg: 32.00 32.00 32.00 2/415 16672
/proc/meminfo: memFree=258308588/264257624 swapFree=67111528/67111528
[pid=16495] ppid=16493 vsize=5649848 CPUtime=160003 cores=0-31
/proc/16495/stat : 16495 (claspmt) R 16493 16495 16349 0 -1 4202496 1299843 0 0 0 15994758 5584 0 0 25 0 1 0 12368572 5785444352 1245618 270582939648 4194304 4964800 140735583514832 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/16495/statm: 1412462 1245618 474 189 0 1406811 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 5649848

[startup+5008.2 s]
/proc/loadavg: 32.00 32.00 32.00 2/415 16672
/proc/meminfo: memFree=258422544/264257624 swapFree=67111528/67111528
[pid=16495] ppid=16493 vsize=5640848 CPUtime=160004 cores=0-31
/proc/16495/stat : 16495 (claspmt) R 16493 16495 16349 0 -1 4202496 1299843 0 0 0 15994801 5584 0 0 25 0 1 0 12368572 5776228352 1228743 270582939648 4194304 4964800 140735583514832 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/16495/statm: 1410212 1228743 474 189 0 1404561 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 5640848

[startup+5008.6 s]
/proc/loadavg: 32.00 32.00 32.00 2/415 16672
/proc/meminfo: memFree=258422544/264257624 swapFree=67111528/67111528
[pid=16495] ppid=16493 vsize=2967028 CPUtime=160004 cores=0-31
/proc/16495/stat : 16495 (claspmt) R 16493 16495 16349 0 -1 4202496 1299843 0 0 0 15994824 5598 0 0 25 0 1 0 12368572 3038236672 544873 270582939648 4194304 4964800 140735583514832 18446744073709551615 258650999159 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/16495/statm: 741757 544361 474 189 0 736106 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 2967028

[startup+5008.7 s]
/proc/loadavg: 32.00 32.00 32.00 2/415 16672
/proc/meminfo: memFree=258422544/264257624 swapFree=67111528/67111528
[pid=16495] ppid=16493 vsize=0 CPUtime=160004 cores=0-31
/proc/16495/stat : 16495 (claspmt) R 16493 16495 16349 0 -1 4203524 1299843 0 0 0 15994824 5608 0 0 25 0 1 0 12368572 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/16495/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 5008.73
CPU time (s): 160004
CPU user time (s): 159948
CPU system time (s): 56.1115
CPU usage (%): 3194.51
Max. virtual memory (cumulated for all children) (KiB): 5775544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159948
system time used= 56.1115
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1299843
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= 120252
involuntary context switches= 406083

runsolver used 27.3738 second user time and 113.884 second system time

The end

Launcher Data

Begin job on node200 at 2011-06-07 20:03:37
IDJOB=3472315
IDBENCH=70849
IDSOLVER=1961
FILE ID=node200/3472315-1307469817
RUNJOBID= node200-1307469681-16363
PBS_JOBID= 13509192
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.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-3472315-1307469817/watcher-3472315-1307469817 -o /tmp/evaluation-result-3472315-1307469817/solver-3472315-1307469817 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472315-1307469817.cnf

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

MD5SUM BENCH= f47c33d2a9a327da4633207adfef7b77
RANDOM SEED=934262861

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:      263349668 kB
Buffers:        137440 kB
Cached:         512860 kB
SwapCached:          0 kB
Active:         176828 kB
Inactive:       536268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263349668 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2460 kB
Writeback:           0 kB
AnonPages:       66256 kB
Mapped:          14244 kB
Slab:           118840 kB
PageTables:       5700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   163976 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 21:27:06