Trace number 3472554

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 10030.6 2467.63

General information on the benchmark

NameSAT-Race-2010-CNF/software-verification/
nec/hard-18-U-10652.cnf
MD5SUMf0f11935e861485056485b47c5e1a7c3
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark135.399
Satisfiable
(Un)Satisfiability was proved
Number of variables1987351
Number of clauses5963534
Sum of the clauses size14253662
Maximum clause length1155
Minimum clause length1
Number of clauses of size 1109
Number of clauses of size 23971661
Number of clauses of size 31984242
Number of clauses of size 4766
Number of clauses of size 5765
Number of clauses of size over 55991

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...873816/instance-3472554-1307873816.cnf
2.59/2.68	c Solving...
10030.52/2467.61	s UNSATISFIABLE
10030.52/2467.61	
10030.52/2467.61	c Models        : 0     
10030.52/2467.61	c Time          : 2464.617s (Solving: 2461.94s 1st Model: 0.00s Unsat: 2461.94s)
10030.52/2467.61	c CPU Time      : 10027.540s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3472554-1307873816/watcher-3472554-1307873816 -o /tmp/evaluation-result-3472554-1307873816/solver-3472554-1307873816 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472554-1307873816.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: 0.08 4.81 14.55 1/413 23342
/proc/meminfo: memFree=261628332/264257624 swapFree=67111528/67111528
[pid=23342] ppid=23340 vsize=273184 CPUtime=0.02 cores=0-31
/proc/23342/stat : 23342 (claspmt) R 23340 23342 23312 0 -1 4202496 3379 0 0 0 2 0 0 0 21 0 1 0 52769105 279740416 3308 270582939648 4194304 4964800 140735132014352 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/23342/statm: 68296 3316 373 189 0 63170 0

[startup+0.116468 s]
/proc/loadavg: 0.08 4.81 14.55 1/413 23342
/proc/meminfo: memFree=261628332/264257624 swapFree=67111528/67111528
[pid=23342] ppid=23340 vsize=273184 CPUtime=0.1 cores=0-31
/proc/23342/stat : 23342 (claspmt) R 23340 23342 23312 0 -1 4202496 16656 0 0 0 8 2 0 0 21 0 1 0 52769105 279740416 16585 270582939648 4194304 4964800 140735132014352 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/23342/statm: 68296 16596 373 189 0 63170 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 273184

[startup+0.20047 s]
/proc/loadavg: 0.08 4.81 14.55 1/413 23342
/proc/meminfo: memFree=261628332/264257624 swapFree=67111528/67111528
[pid=23342] ppid=23340 vsize=273184 CPUtime=0.19 cores=0-31
/proc/23342/stat : 23342 (claspmt) R 23340 23342 23312 0 -1 4202496 30139 0 0 0 14 5 0 0 21 0 1 0 52769105 279740416 30068 270582939648 4194304 4964800 140735132014352 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/23342/statm: 68296 30078 373 189 0 63170 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 273184

[startup+0.300471 s]
/proc/loadavg: 0.08 4.81 14.55 1/413 23342
/proc/meminfo: memFree=261628332/264257624 swapFree=67111528/67111528
[pid=23342] ppid=23340 vsize=273184 CPUtime=0.29 cores=0-31
/proc/23342/stat : 23342 (claspmt) R 23340 23342 23312 0 -1 4202496 46194 0 0 0 22 7 0 0 22 0 1 0 52769105 279740416 46123 270582939648 4194304 4964800 140735132014352 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/23342/statm: 68296 46132 373 189 0 63170 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 273184

[startup+0.700482 s]
/proc/loadavg: 0.08 4.81 14.55 1/413 23342
/proc/meminfo: memFree=261628332/264257624 swapFree=67111528/67111528
[pid=23342] ppid=23340 vsize=416920 CPUtime=0.69 cores=0-31
/proc/23342/stat : 23342 (claspmt) R 23340 23342 23312 0 -1 4202496 113123 0 0 0 52 17 0 0 23 0 1 0 52769105 426926080 97526 270582939648 4194304 4964800 140735132014352 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/23342/statm: 104230 97526 387 189 0 99104 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 416920

[startup+1.50051 s]
/proc/loadavg: 0.08 4.81 14.55 2/414 23343
/proc/meminfo: memFree=261232888/264257624 swapFree=67111528/67111528
[pid=23342] ppid=23340 vsize=428704 CPUtime=1.49 cores=0-31
/proc/23342/stat : 23342 (claspmt) R 23340 23342 23312 0 -1 4202496 116055 0 0 0 128 21 0 0 25 0 1 0 52769105 438992896 100458 270582939648 4194304 4964800 140735132014352 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/23342/statm: 107176 100458 387 189 0 102050 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 428704

[startup+3.10161 s]
/proc/loadavg: 0.08 4.81 14.55 2/414 23343
/proc/meminfo: memFree=261216560/264257624 swapFree=67111528/67111528
[pid=23342] ppid=23340 vsize=4316584 CPUtime=14.65 cores=0-31
/proc/23342/stat : 23342 (claspmt) S 23340 23342 23312 0 -1 4202496 360481 0 0 0 273 1192 0 0 18 0 32 0 52769105 4420182016 297499 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/23342/statm: 1079146 297515 424 189 0 1073495 0
Current children cumulated CPU time (s) 14.65
Current children cumulated vsize (KiB) 4316584

[startup+6.30155 s]
/proc/loadavg: 0.16 4.74 14.48 32/445 23374
/proc/meminfo: memFree=259305564/264257624 swapFree=67111528/67111528
[pid=23342] ppid=23340 vsize=4316584 CPUtime=113.78 cores=0-31
/proc/23342/stat : 23342 (claspmt) S 23340 23342 23312 0 -1 4202496 991876 0 0 0 455 10923 0 0 18 0 32 0 52769105 4420182016 676336 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/23342/statm: 1079146 676346 424 189 0 1073495 0
[pid=23342/tid=23344] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23344/stat : 23344 (claspmt) R 23340 23342 23312 0 -1 4202560 29630 0 0 0 6 352 0 0 25 0 32 0 52769373 4420182016 676346 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=23342/tid=23345] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23345/stat : 23345 (claspmt) R 23340 23342 23312 0 -1 4202560 29934 0 0 0 7 351 0 0 25 0 32 0 52769373 4420182016 676346 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=23342/tid=23346] ppid=23340 vsize=4316584 CPUtime=3.55 cores=0-31
/proc/23342/task/23346/stat : 23346 (claspmt) R 23340 23342 23312 0 -1 4202560 31641 0 0 0 10 345 0 0 25 0 32 0 52769373 4420182016 676358 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=23342/tid=23347] ppid=23340 vsize=4316584 CPUtime=3.59 cores=0-31
/proc/23342/task/23347/stat : 23347 (claspmt) R 23340 23342 23312 0 -1 4202560 17171 0 0 0 4 355 0 0 25 0 32 0 52769373 4420182016 676358 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=23342/tid=23348] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23348/stat : 23348 (claspmt) R 23340 23342 23312 0 -1 4202560 26926 0 0 0 5 353 0 0 25 0 32 0 52769373 4420182016 676358 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=23342/tid=23349] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23349/stat : 23349 (claspmt) R 23340 23342 23312 0 -1 4202560 15734 0 0 0 3 355 0 0 25 0 32 0 52769373 4420182016 676368 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=23342/tid=23350] ppid=23340 vsize=4316584 CPUtime=3.59 cores=0-31
/proc/23342/task/23350/stat : 23350 (claspmt) R 23340 23342 23312 0 -1 4202560 32241 0 0 0 12 347 0 0 25 0 32 0 52769373 4420182016 676368 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=23342/tid=23351] ppid=23340 vsize=4316584 CPUtime=3.57 cores=0-31
/proc/23342/task/23351/stat : 23351 (claspmt) R 23340 23342 23312 0 -1 4202560 29599 0 0 0 8 349 0 0 25 0 32 0 52769373 4420182016 676368 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=23342/tid=23352] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23352/stat : 23352 (claspmt) R 23340 23342 23312 0 -1 4202560 25001 0 0 0 6 352 0 0 25 0 32 0 52769373 4420182016 676377 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=23342/tid=23353] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23353/stat : 23353 (claspmt) R 23340 23342 23312 0 -1 4202560 27031 0 0 0 7 351 0 0 25 0 32 0 52769373 4420182016 676378 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=23342/tid=23354] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23354/stat : 23354 (claspmt) R 23340 23342 23312 0 -1 4202560 28274 0 0 0 6 352 0 0 25 0 32 0 52769373 4420182016 676378 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=23342/tid=23355] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23355/stat : 23355 (claspmt) R 23340 23342 23312 0 -1 4202560 29376 0 0 0 6 352 0 0 25 0 32 0 52769373 4420182016 676387 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=23342/tid=23356] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23356/stat : 23356 (claspmt) R 23340 23342 23312 0 -1 4202560 15594 0 0 0 5 353 0 0 25 0 32 0 52769373 4420182016 676391 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=23342/tid=23357] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23357/stat : 23357 (claspmt) R 23340 23342 23312 0 -1 4202560 31041 0 0 0 4 354 0 0 25 0 32 0 52769373 4420182016 676391 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=23342/tid=23358] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23358/stat : 23358 (claspmt) R 23340 23342 23312 0 -1 4202560 24616 0 0 0 6 352 0 0 25 0 32 0 52769373 4420182016 676400 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=23342/tid=23359] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23359/stat : 23359 (claspmt) R 23340 23342 23312 0 -1 4202560 30364 0 0 0 4 354 0 0 25 0 32 0 52769373 4420182016 676404 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=23342/tid=23360] ppid=23340 vsize=4316584 CPUtime=3.57 cores=0-31
/proc/23342/task/23360/stat : 23360 (claspmt) R 23340 23342 23312 0 -1 4202560 27901 0 0 0 7 350 0 0 25 0 32 0 52769373 4420182016 676404 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=23342/tid=23361] ppid=23340 vsize=4316584 CPUtime=3.55 cores=0-31
/proc/23342/task/23361/stat : 23361 (claspmt) R 23340 23342 23312 0 -1 4202560 34411 0 0 0 10 345 0 0 25 0 32 0 52769373 4420182016 676412 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=23342/tid=23362] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23362/stat : 23362 (claspmt) R 23340 23342 23312 0 -1 4202560 25984 0 0 0 6 352 0 0 25 0 32 0 52769373 4420182016 676416 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=23342/tid=23363] ppid=23340 vsize=4316584 CPUtime=3.59 cores=0-31
/proc/23342/task/23363/stat : 23363 (claspmt) R 23340 23342 23312 0 -1 4202560 25101 0 0 0 7 352 0 0 25 0 32 0 52769373 4420182016 676416 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=23342/tid=23364] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23364/stat : 23364 (claspmt) R 23340 23342 23312 0 -1 4202560 27569 0 0 0 8 350 0 0 25 0 32 0 52769373 4420182016 676423 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=23342/tid=23365] ppid=23340 vsize=4316584 CPUtime=3.54 cores=0-31
/proc/23342/task/23365/stat : 23365 (claspmt) R 23340 23342 23312 0 -1 4202560 22946 0 0 0 7 347 0 0 25 0 32 0 52769373 4420182016 676429 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=23342/tid=23366] ppid=23340 vsize=4316584 CPUtime=3.56 cores=0-31
/proc/23342/task/23366/stat : 23366 (claspmt) R 23340 23342 23312 0 -1 4202560 30006 0 0 0 10 346 0 0 25 0 32 0 52769373 4420182016 676429 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=23342/tid=23367] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23367/stat : 23367 (claspmt) R 23340 23342 23312 0 -1 4202560 30099 0 0 0 6 352 0 0 25 0 32 0 52769373 4420182016 676431 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=23342/tid=23368] ppid=23340 vsize=4316584 CPUtime=3.56 cores=0-31
/proc/23342/task/23368/stat : 23368 (claspmt) R 23340 23342 23312 0 -1 4202560 12799 0 0 0 1 355 0 0 25 0 32 0 52769374 4420182016 676442 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=23342/tid=23369] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23369/stat : 23369 (claspmt) R 23340 23342 23312 0 -1 4202560 28274 0 0 0 10 348 0 0 25 0 32 0 52769374 4420182016 676442 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=23342/tid=23370] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23370/stat : 23370 (claspmt) R 23340 23342 23312 0 -1 4202560 27611 0 0 0 7 351 0 0 25 0 32 0 52769374 4420182016 676446 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=23342/tid=23371] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23371/stat : 23371 (claspmt) R 23340 23342 23312 0 -1 4202560 29974 0 0 0 4 354 0 0 25 0 32 0 52769374 4420182016 676452 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=23342/tid=23372] ppid=23340 vsize=4316584 CPUtime=3.54 cores=0-31
/proc/23342/task/23372/stat : 23372 (claspmt) R 23340 23342 23312 0 -1 4202560 30026 0 0 0 8 346 0 0 25 0 32 0 52769374 4420182016 676452 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=23342/tid=23373] ppid=23340 vsize=4316584 CPUtime=3.58 cores=0-31
/proc/23342/task/23373/stat : 23373 (claspmt) R 23340 23342 23312 0 -1 4202560 25794 0 0 0 5 353 0 0 25 0 32 0 52769374 4420182016 676456 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=23342/tid=23374] ppid=23340 vsize=4316584 CPUtime=3.53 cores=0-31
/proc/23342/task/23374/stat : 23374 (claspmt) R 23340 23342 23312 0 -1 4202560 29654 0 0 0 6 347 0 0 25 0 32 0 52769374 4420182016 676464 270582939648 4194304 4964800 140735132014352 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 113.78
Current children cumulated vsize (KiB) 4316584

[startup+12.7019 s]
/proc/loadavg: 2.63 5.18 14.57 18/445 23374
/proc/meminfo: memFree=256180596/264257624 swapFree=67111528/67111528
[pid=23342] ppid=23340 vsize=6256304 CPUtime=217.99 cores=0-31
/proc/23342/stat : 23342 (claspmt) S 23340 23342 23312 0 -1 4202496 1968543 0 0 0 2091 19708 0 0 18 0 32 0 52769105 6406455296 1410146 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/23342/statm: 1564076 1410149 431 189 0 1558425 0
[pid=23342/tid=23344] ppid=23340 vsize=6256304 CPUtime=5.96 cores=0-31
/proc/23342/task/23344/stat : 23344 (claspmt) S 23340 23342 23312 0 -1 4202560 48787 0 0 0 18 578 0 0 18 0 32 0 52769373 6406455296 1410150 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497045642720 0 0 -1 17 0 0 0
[pid=23342/tid=23345] ppid=23340 vsize=6256304 CPUtime=7.46 cores=0-31
/proc/23342/task/23345/stat : 23345 (claspmt) D 23340 23342 23312 0 -1 4202560 71308 0 0 0 92 654 0 0 18 0 32 0 52769373 6406455296 1410154 270582939648 4194304 4964800 140735132014352 18446744073709551615 258650653381 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=23342/tid=23346] ppid=23340 vsize=6256304 CPUtime=6.83 cores=0-31
/proc/23342/task/23346/stat : 23346 (claspmt) S 23340 23342 23312 0 -1 4202560 74252 0 0 0 105 578 0 0 18 0 32 0 52769373 6406455296 1410163 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604505559031264 0 0 -1 23 0 0 0
[pid=23342/tid=23347] ppid=23340 vsize=6256304 CPUtime=6.9 cores=0-31
/proc/23342/task/23347/stat : 23347 (claspmt) S 23340 23342 23312 0 -1 4202560 48602 0 0 0 25 665 0 0 18 0 32 0 52769373 6406455296 1410165 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497212800480 0 0 -1 3 0 0 0
[pid=23342/tid=23348] ppid=23340 vsize=6256304 CPUtime=7.17 cores=0-31
/proc/23342/task/23348/stat : 23348 (claspmt) D 23340 23342 23312 0 -1 4202560 58456 0 0 0 40 677 0 0 18 0 32 0 52769373 6406455296 1410166 270582939648 4194304 4964800 140735132014352 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=23342/tid=23349] ppid=23340 vsize=6256304 CPUtime=7.3 cores=0-31
/proc/23342/task/23349/stat : 23349 (claspmt) R 23340 23342 23312 0 -1 4202560 52404 0 0 0 37 693 0 0 18 0 32 0 52769373 6406455296 1410167 270582939648 4194304 4964800 140735132014352 18446744073709551615 4652140 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=23342/tid=23350] ppid=23340 vsize=6256304 CPUtime=7.78 cores=0-31
/proc/23342/task/23350/stat : 23350 (claspmt) S 23340 23342 23312 0 -1 4202560 65582 0 0 0 183 595 0 0 19 0 32 0 52769373 6406455296 1410170 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604499625868768 0 0 -1 7 0 0 0
[pid=23342/tid=23351] ppid=23340 vsize=6256304 CPUtime=5.9 cores=0-31
/proc/23342/task/23351/stat : 23351 (claspmt) S 23340 23342 23312 0 -1 4202560 48726 0 0 0 20 570 0 0 18 0 32 0 52769373 6406455296 1410180 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497114529248 0 0 -1 11 0 0 0
[pid=23342/tid=23352] ppid=23340 vsize=6256304 CPUtime=6.57 cores=0-31
/proc/23342/task/23352/stat : 23352 (claspmt) S 23340 23342 23312 0 -1 4202560 48602 0 0 0 20 637 0 0 18 0 32 0 52769373 6406455296 1410180 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604503253409248 0 0 -1 29 0 0 0
[pid=23342/tid=23353] ppid=23340 vsize=6256304 CPUtime=7.6 cores=0-31
/proc/23342/task/23353/stat : 23353 (claspmt) S 23340 23342 23312 0 -1 4202560 62640 0 0 0 109 651 0 0 18 0 32 0 52769373 6406455296 1410182 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604501649956320 0 0 -1 4 0 0 0
[pid=23342/tid=23354] ppid=23340 vsize=6256304 CPUtime=7.64 cores=0-31
/proc/23342/task/23354/stat : 23354 (claspmt) S 23340 23342 23312 0 -1 4202560 64858 0 0 0 105 659 0 0 18 0 32 0 52769373 6406455296 1410183 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604499679215072 0 0 -1 13 0 0 0
[pid=23342/tid=23355] ppid=23340 vsize=6256304 CPUtime=6 cores=0-31
/proc/23342/task/23355/stat : 23355 (claspmt) S 23340 23342 23312 0 -1 4202560 48852 0 0 0 15 585 0 0 18 0 32 0 52769373 6406455296 1410184 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604501885869536 0 0 -1 25 0 0 0
[pid=23342/tid=23356] ppid=23340 vsize=6256304 CPUtime=7.18 cores=0-31
/proc/23342/task/23356/stat : 23356 (claspmt) R 23340 23342 23312 0 -1 4202560 49277 0 0 0 35 683 0 0 18 0 32 0 52769373 6406455296 1410192 270582939648 4194304 4964800 140735132014352 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=23342/tid=23357] ppid=23340 vsize=6256304 CPUtime=7.37 cores=0-31
/proc/23342/task/23357/stat : 23357 (claspmt) S 23340 23342 23312 0 -1 4202560 73510 0 0 0 100 637 0 0 18 0 32 0 52769373 6406455296 1410198 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604500432895456 0 0 -1 8 0 0 0
[pid=23342/tid=23358] ppid=23340 vsize=6256304 CPUtime=7.28 cores=0-31
/proc/23342/task/23358/stat : 23358 (claspmt) D 23340 23342 23312 0 -1 4202560 60714 0 0 0 45 683 0 0 18 0 32 0 52769373 6406455296 1410200 270582939648 4194304 4964800 140735132014352 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=23342/tid=23359] ppid=23340 vsize=6256304 CPUtime=5.69 cores=0-31
/proc/23342/task/23359/stat : 23359 (claspmt) S 23340 23342 23312 0 -1 4202560 48602 0 0 0 11 558 0 0 18 0 32 0 52769373 6406455296 1410201 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604561111948768 0 0 -1 24 0 0 0
[pid=23342/tid=23360] ppid=23340 vsize=6256304 CPUtime=6.1 cores=0-31
/proc/23342/task/23360/stat : 23360 (claspmt) S 23340 23342 23312 0 -1 4202560 48603 0 0 0 18 592 0 0 18 0 32 0 52769373 6406455296 1410202 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604503253392864 0 0 -1 27 0 0 0
[pid=23342/tid=23361] ppid=23340 vsize=6256304 CPUtime=6.1 cores=0-31
/proc/23342/task/23361/stat : 23361 (claspmt) S 23340 23342 23312 0 -1 4202560 75915 0 0 0 90 520 0 0 18 0 32 0 52769373 6406455296 1410210 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604505700949472 0 0 -1 15 0 0 0
[pid=23342/tid=23362] ppid=23340 vsize=6256304 CPUtime=7.54 cores=0-31
/proc/23342/task/23362/stat : 23362 (claspmt) R 23340 23342 23312 0 -1 4202560 64514 0 0 0 80 674 0 0 18 0 32 0 52769373 6406455296 1410218 270582939648 4194304 4964800 140735132014352 18446744073709551615 4376558 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=23342/tid=23363] ppid=23340 vsize=6256304 CPUtime=6.52 cores=0-31
/proc/23342/task/23363/stat : 23363 (claspmt) S 23340 23342 23312 0 -1 4202560 48603 0 0 0 21 631 0 0 18 0 32 0 52769373 6406455296 1410219 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497114504672 0 0 -1 5 0 0 0
[pid=23342/tid=23364] ppid=23340 vsize=6256304 CPUtime=7.25 cores=0-31

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

/proc/23342/task/23344/stat : 23344 (claspmt) S 23340 23342 23312 0 -1 4202560 48787 0 0 0 18 578 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497045642720 0 0 -1 17 0 0 0
[pid=23342/tid=23345] ppid=23340 vsize=6531952 CPUtime=7.65 cores=0-31
/proc/23342/task/23345/stat : 23345 (claspmt) S 23340 23342 23312 0 -1 4202560 73053 0 0 0 108 657 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604498965888480 0 0 -1 26 0 0 0
[pid=23342/tid=23346] ppid=23340 vsize=6531952 CPUtime=6.83 cores=0-31
/proc/23342/task/23346/stat : 23346 (claspmt) S 23340 23342 23312 0 -1 4202560 74252 0 0 0 105 578 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604505559031264 0 0 -1 23 0 0 0
[pid=23342/tid=23347] ppid=23340 vsize=6531952 CPUtime=6.9 cores=0-31
/proc/23342/task/23347/stat : 23347 (claspmt) S 23340 23342 23312 0 -1 4202560 48602 0 0 0 25 665 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497212800480 0 0 -1 3 0 0 0
[pid=23342/tid=23348] ppid=23340 vsize=6531952 CPUtime=2451.08 cores=0-31
/proc/23342/task/23348/stat : 23348 (claspmt) R 23340 23342 23312 0 -1 4202560 66739 0 0 0 244411 697 0 0 25 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=23342/tid=23349] ppid=23340 vsize=6531952 CPUtime=8.03 cores=0-31
/proc/23342/task/23349/stat : 23349 (claspmt) S 23340 23342 23312 0 -1 4202560 62609 0 0 0 105 698 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604501649948128 0 0 -1 22 0 0 0
[pid=23342/tid=23350] ppid=23340 vsize=6531952 CPUtime=7.78 cores=0-31
/proc/23342/task/23350/stat : 23350 (claspmt) S 23340 23342 23312 0 -1 4202560 65582 0 0 0 183 595 0 0 19 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604499625868768 0 0 -1 7 0 0 0
[pid=23342/tid=23351] ppid=23340 vsize=6531952 CPUtime=5.9 cores=0-31
/proc/23342/task/23351/stat : 23351 (claspmt) S 23340 23342 23312 0 -1 4202560 48726 0 0 0 20 570 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497114529248 0 0 -1 11 0 0 0
[pid=23342/tid=23352] ppid=23340 vsize=6531952 CPUtime=6.57 cores=0-31
/proc/23342/task/23352/stat : 23352 (claspmt) S 23340 23342 23312 0 -1 4202560 48602 0 0 0 20 637 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604503253409248 0 0 -1 29 0 0 0
[pid=23342/tid=23353] ppid=23340 vsize=6531952 CPUtime=7.6 cores=0-31
/proc/23342/task/23353/stat : 23353 (claspmt) S 23340 23342 23312 0 -1 4202560 62640 0 0 0 109 651 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604501649956320 0 0 -1 4 0 0 0
[pid=23342/tid=23354] ppid=23340 vsize=6531952 CPUtime=7.64 cores=0-31
/proc/23342/task/23354/stat : 23354 (claspmt) S 23340 23342 23312 0 -1 4202560 64858 0 0 0 105 659 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604499679215072 0 0 -1 13 0 0 0
[pid=23342/tid=23355] ppid=23340 vsize=6531952 CPUtime=6 cores=0-31
/proc/23342/task/23355/stat : 23355 (claspmt) S 23340 23342 23312 0 -1 4202560 48852 0 0 0 15 585 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604501885869536 0 0 -1 25 0 0 0
[pid=23342/tid=23356] ppid=23340 vsize=6531952 CPUtime=2450.91 cores=0-31
/proc/23342/task/23356/stat : 23356 (claspmt) R 23340 23342 23312 0 -1 4202560 61854 0 0 0 244382 709 0 0 25 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=23342/tid=23357] ppid=23340 vsize=6531952 CPUtime=7.37 cores=0-31
/proc/23342/task/23357/stat : 23357 (claspmt) S 23340 23342 23312 0 -1 4202560 73510 0 0 0 100 637 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604500432895456 0 0 -1 8 0 0 0
[pid=23342/tid=23358] ppid=23340 vsize=6531952 CPUtime=8.5 cores=0-31
/proc/23342/task/23358/stat : 23358 (claspmt) S 23340 23342 23312 0 -1 4202560 70688 0 0 0 140 710 0 0 19 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497114521056 0 0 -1 28 0 0 0
[pid=23342/tid=23359] ppid=23340 vsize=6531952 CPUtime=5.69 cores=0-31
/proc/23342/task/23359/stat : 23359 (claspmt) S 23340 23342 23312 0 -1 4202560 48602 0 0 0 11 558 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604561111948768 0 0 -1 24 0 0 0
[pid=23342/tid=23360] ppid=23340 vsize=6531952 CPUtime=6.1 cores=0-31
/proc/23342/task/23360/stat : 23360 (claspmt) S 23340 23342 23312 0 -1 4202560 48603 0 0 0 18 592 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604503253392864 0 0 -1 27 0 0 0
[pid=23342/tid=23361] ppid=23340 vsize=6531952 CPUtime=6.1 cores=0-31
/proc/23342/task/23361/stat : 23361 (claspmt) S 23340 23342 23312 0 -1 4202560 75915 0 0 0 90 520 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604505700949472 0 0 -1 15 0 0 0
[pid=23342/tid=23362] ppid=23340 vsize=6531952 CPUtime=7.77 cores=0-31
/proc/23342/task/23362/stat : 23362 (claspmt) S 23340 23342 23312 0 -1 4202560 69268 0 0 0 99 678 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604488445459936 0 0 -1 21 0 0 0
[pid=23342/tid=23363] ppid=23340 vsize=6531952 CPUtime=6.52 cores=0-31
/proc/23342/task/23363/stat : 23363 (claspmt) S 23340 23342 23312 0 -1 4202560 48603 0 0 0 21 631 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497114504672 0 0 -1 5 0 0 0
[pid=23342/tid=23364] ppid=23340 vsize=6531952 CPUtime=2451.69 cores=0-31
/proc/23342/task/23364/stat : 23364 (claspmt) R 23340 23342 23312 0 -1 4202560 59958 0 0 0 244493 676 0 0 25 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=23342/tid=23365] ppid=23340 vsize=6531952 CPUtime=7.89 cores=0-31
/proc/23342/task/23365/stat : 23365 (claspmt) S 23340 23342 23312 0 -1 4202560 61342 0 0 0 111 678 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604501649972704 0 0 -1 30 0 0 0
[pid=23342/tid=23366] ppid=23340 vsize=6531952 CPUtime=8.62 cores=0-31
/proc/23342/task/23366/stat : 23366 (claspmt) S 23340 23342 23312 0 -1 4202560 70190 0 0 0 197 665 0 0 19 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604505700916704 0 0 -1 30 0 0 0
[pid=23342/tid=23367] ppid=23340 vsize=6531952 CPUtime=5.79 cores=0-31
/proc/23342/task/23367/stat : 23367 (claspmt) S 23340 23342 23312 0 -1 4202560 48602 0 0 0 16 563 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604498569076192 0 0 -1 10 0 0 0
[pid=23342/tid=23368] ppid=23340 vsize=6531952 CPUtime=7.16 cores=0-31
/proc/23342/task/23368/stat : 23368 (claspmt) S 23340 23342 23312 0 -1 4202560 48522 0 0 0 22 694 0 0 18 0 32 0 52769374 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604486242811360 0 0 -1 31 0 0 0
[pid=23342/tid=23369] ppid=23340 vsize=6531952 CPUtime=7.71 cores=0-31
/proc/23342/task/23369/stat : 23369 (claspmt) S 23340 23342 23312 0 -1 4202560 67580 0 0 0 107 664 0 0 18 0 32 0 52769374 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604498965880288 0 0 -1 14 0 0 0
[pid=23342/tid=23370] ppid=23340 vsize=6531952 CPUtime=7.76 cores=0-31
/proc/23342/task/23370/stat : 23370 (claspmt) S 23340 23342 23312 0 -1 4202560 70058 0 0 0 98 678 0 0 18 0 32 0 52769374 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604504270429664 0 0 -1 22 0 0 0
[pid=23342/tid=23371] ppid=23340 vsize=6531952 CPUtime=5.72 cores=0-31
/proc/23342/task/23371/stat : 23371 (claspmt) S 23340 23342 23312 0 -1 4202560 48602 0 0 0 13 559 0 0 18 0 32 0 52769374 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497940962784 0 0 -1 16 0 0 0
[pid=23342/tid=23372] ppid=23340 vsize=6531952 CPUtime=2451.06 cores=0-31
/proc/23342/task/23372/stat : 23372 (claspmt) R 23340 23342 23312 0 -1 4202560 68054 0 0 0 244436 670 0 0 25 0 32 0 52769374 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=23342/tid=23373] ppid=23340 vsize=6531952 CPUtime=7.79 cores=0-31
/proc/23342/task/23373/stat : 23373 (claspmt) S 23340 23342 23312 0 -1 4202560 61006 0 0 0 114 665 0 0 18 0 32 0 52769374 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604493306969568 0 0 -1 12 0 0 0
[pid=23342/tid=23374] ppid=23340 vsize=6531952 CPUtime=8.51 cores=0-31
/proc/23342/task/23374/stat : 23374 (claspmt) S 23340 23342 23312 0 -1 4202560 70055 0 0 0 172 679 0 0 19 0 32 0 52769374 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604501135375840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 9999.56
Current children cumulated vsize (KiB) 6531952

[startup+2464 s]
/proc/loadavg: 4.00 4.02 4.77 5/445 23443
/proc/meminfo: memFree=255692952/264257624 swapFree=67111528/67111528
[pid=23342] ppid=23340 vsize=6531952 CPUtime=10025.2 cores=0-31
/proc/23342/stat : 23342 (claspmt) S 23340 23342 23312 0 -1 4202496 2043978 0 0 0 982683 19840 0 0 18 0 32 0 52769105 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/23342/statm: 1632988 1481963 434 189 0 1627337 0
[pid=23342/tid=23344] ppid=23340 vsize=6531952 CPUtime=5.96 cores=0-31
/proc/23342/task/23344/stat : 23344 (claspmt) S 23340 23342 23312 0 -1 4202560 48787 0 0 0 18 578 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497045642720 0 0 -1 17 0 0 0
[pid=23342/tid=23345] ppid=23340 vsize=6531952 CPUtime=7.65 cores=0-31
/proc/23342/task/23345/stat : 23345 (claspmt) S 23340 23342 23312 0 -1 4202560 73053 0 0 0 108 657 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604498965888480 0 0 -1 26 0 0 0
[pid=23342/tid=23346] ppid=23340 vsize=6531952 CPUtime=6.83 cores=0-31
/proc/23342/task/23346/stat : 23346 (claspmt) S 23340 23342 23312 0 -1 4202560 74252 0 0 0 105 578 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604505559031264 0 0 -1 23 0 0 0
[pid=23342/tid=23347] ppid=23340 vsize=6531952 CPUtime=6.9 cores=0-31
/proc/23342/task/23347/stat : 23347 (claspmt) S 23340 23342 23312 0 -1 4202560 48602 0 0 0 25 665 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497212800480 0 0 -1 3 0 0 0
[pid=23342/tid=23348] ppid=23340 vsize=6531952 CPUtime=2457.49 cores=0-31
/proc/23342/task/23348/stat : 23348 (claspmt) R 23340 23342 23312 0 -1 4202560 66739 0 0 0 245052 697 0 0 25 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=23342/tid=23349] ppid=23340 vsize=6531952 CPUtime=8.03 cores=0-31
/proc/23342/task/23349/stat : 23349 (claspmt) S 23340 23342 23312 0 -1 4202560 62609 0 0 0 105 698 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604501649948128 0 0 -1 22 0 0 0
[pid=23342/tid=23350] ppid=23340 vsize=6531952 CPUtime=7.78 cores=0-31
/proc/23342/task/23350/stat : 23350 (claspmt) S 23340 23342 23312 0 -1 4202560 65582 0 0 0 183 595 0 0 19 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604499625868768 0 0 -1 7 0 0 0
[pid=23342/tid=23351] ppid=23340 vsize=6531952 CPUtime=5.9 cores=0-31
/proc/23342/task/23351/stat : 23351 (claspmt) S 23340 23342 23312 0 -1 4202560 48726 0 0 0 20 570 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497114529248 0 0 -1 11 0 0 0
[pid=23342/tid=23352] ppid=23340 vsize=6531952 CPUtime=6.57 cores=0-31
/proc/23342/task/23352/stat : 23352 (claspmt) S 23340 23342 23312 0 -1 4202560 48602 0 0 0 20 637 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604503253409248 0 0 -1 29 0 0 0
[pid=23342/tid=23353] ppid=23340 vsize=6531952 CPUtime=7.6 cores=0-31
/proc/23342/task/23353/stat : 23353 (claspmt) S 23340 23342 23312 0 -1 4202560 62640 0 0 0 109 651 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604501649956320 0 0 -1 4 0 0 0
[pid=23342/tid=23354] ppid=23340 vsize=6531952 CPUtime=7.64 cores=0-31
/proc/23342/task/23354/stat : 23354 (claspmt) S 23340 23342 23312 0 -1 4202560 64858 0 0 0 105 659 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604499679215072 0 0 -1 13 0 0 0
[pid=23342/tid=23355] ppid=23340 vsize=6531952 CPUtime=6 cores=0-31
/proc/23342/task/23355/stat : 23355 (claspmt) S 23340 23342 23312 0 -1 4202560 48852 0 0 0 15 585 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604501885869536 0 0 -1 25 0 0 0
[pid=23342/tid=23356] ppid=23340 vsize=6531952 CPUtime=2457.33 cores=0-31
/proc/23342/task/23356/stat : 23356 (claspmt) R 23340 23342 23312 0 -1 4202560 61854 0 0 0 245024 709 0 0 25 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=23342/tid=23357] ppid=23340 vsize=6531952 CPUtime=7.37 cores=0-31
/proc/23342/task/23357/stat : 23357 (claspmt) S 23340 23342 23312 0 -1 4202560 73510 0 0 0 100 637 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604500432895456 0 0 -1 8 0 0 0
[pid=23342/tid=23358] ppid=23340 vsize=6531952 CPUtime=8.5 cores=0-31
/proc/23342/task/23358/stat : 23358 (claspmt) S 23340 23342 23312 0 -1 4202560 70688 0 0 0 140 710 0 0 19 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497114521056 0 0 -1 28 0 0 0
[pid=23342/tid=23359] ppid=23340 vsize=6531952 CPUtime=5.69 cores=0-31
/proc/23342/task/23359/stat : 23359 (claspmt) S 23340 23342 23312 0 -1 4202560 48602 0 0 0 11 558 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604561111948768 0 0 -1 24 0 0 0
[pid=23342/tid=23360] ppid=23340 vsize=6531952 CPUtime=6.1 cores=0-31
/proc/23342/task/23360/stat : 23360 (claspmt) S 23340 23342 23312 0 -1 4202560 48603 0 0 0 18 592 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604503253392864 0 0 -1 27 0 0 0
[pid=23342/tid=23361] ppid=23340 vsize=6531952 CPUtime=6.1 cores=0-31
/proc/23342/task/23361/stat : 23361 (claspmt) S 23340 23342 23312 0 -1 4202560 75915 0 0 0 90 520 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604505700949472 0 0 -1 15 0 0 0
[pid=23342/tid=23362] ppid=23340 vsize=6531952 CPUtime=7.77 cores=0-31
/proc/23342/task/23362/stat : 23362 (claspmt) S 23340 23342 23312 0 -1 4202560 69268 0 0 0 99 678 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604488445459936 0 0 -1 21 0 0 0
[pid=23342/tid=23363] ppid=23340 vsize=6531952 CPUtime=6.52 cores=0-31
/proc/23342/task/23363/stat : 23363 (claspmt) S 23340 23342 23312 0 -1 4202560 48603 0 0 0 21 631 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497114504672 0 0 -1 5 0 0 0
[pid=23342/tid=23364] ppid=23340 vsize=6531952 CPUtime=2458.1 cores=0-31
/proc/23342/task/23364/stat : 23364 (claspmt) R 23340 23342 23312 0 -1 4202560 59958 0 0 0 245134 676 0 0 25 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=23342/tid=23365] ppid=23340 vsize=6531952 CPUtime=7.89 cores=0-31
/proc/23342/task/23365/stat : 23365 (claspmt) S 23340 23342 23312 0 -1 4202560 61342 0 0 0 111 678 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604501649972704 0 0 -1 30 0 0 0
[pid=23342/tid=23366] ppid=23340 vsize=6531952 CPUtime=8.62 cores=0-31
/proc/23342/task/23366/stat : 23366 (claspmt) S 23340 23342 23312 0 -1 4202560 70190 0 0 0 197 665 0 0 19 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604505700916704 0 0 -1 30 0 0 0
[pid=23342/tid=23367] ppid=23340 vsize=6531952 CPUtime=5.79 cores=0-31
/proc/23342/task/23367/stat : 23367 (claspmt) S 23340 23342 23312 0 -1 4202560 48602 0 0 0 16 563 0 0 18 0 32 0 52769373 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604498569076192 0 0 -1 10 0 0 0
[pid=23342/tid=23368] ppid=23340 vsize=6531952 CPUtime=7.16 cores=0-31
/proc/23342/task/23368/stat : 23368 (claspmt) S 23340 23342 23312 0 -1 4202560 48522 0 0 0 22 694 0 0 18 0 32 0 52769374 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604486242811360 0 0 -1 31 0 0 0
[pid=23342/tid=23369] ppid=23340 vsize=6531952 CPUtime=7.71 cores=0-31
/proc/23342/task/23369/stat : 23369 (claspmt) S 23340 23342 23312 0 -1 4202560 67580 0 0 0 107 664 0 0 18 0 32 0 52769374 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604498965880288 0 0 -1 14 0 0 0
[pid=23342/tid=23370] ppid=23340 vsize=6531952 CPUtime=7.76 cores=0-31
/proc/23342/task/23370/stat : 23370 (claspmt) S 23340 23342 23312 0 -1 4202560 70058 0 0 0 98 678 0 0 18 0 32 0 52769374 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604504270429664 0 0 -1 22 0 0 0
[pid=23342/tid=23371] ppid=23340 vsize=6531952 CPUtime=5.72 cores=0-31
/proc/23342/task/23371/stat : 23371 (claspmt) S 23340 23342 23312 0 -1 4202560 48602 0 0 0 13 559 0 0 18 0 32 0 52769374 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604497940962784 0 0 -1 16 0 0 0
[pid=23342/tid=23372] ppid=23340 vsize=6531952 CPUtime=2457.48 cores=0-31
/proc/23342/task/23372/stat : 23372 (claspmt) R 23340 23342 23312 0 -1 4202560 68054 0 0 0 245078 670 0 0 25 0 32 0 52769374 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 4399625 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=23342/tid=23373] ppid=23340 vsize=6531952 CPUtime=7.79 cores=0-31
/proc/23342/task/23373/stat : 23373 (claspmt) S 23340 23342 23312 0 -1 4202560 61006 0 0 0 114 665 0 0 18 0 32 0 52769374 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604493306969568 0 0 -1 12 0 0 0
[pid=23342/tid=23374] ppid=23340 vsize=6531952 CPUtime=8.51 cores=0-31
/proc/23342/task/23374/stat : 23374 (claspmt) S 23340 23342 23312 0 -1 4202560 70055 0 0 0 172 679 0 0 19 0 32 0 52769374 6688718848 1481963 270582939648 4194304 4964800 140735132014352 18446744073709551615 258662772457 0 0 4096 18946 18446604501135375840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10025.2
Current children cumulated vsize (KiB) 6531952

[startup+2465.6 s]
/proc/loadavg: 4.00 4.02 4.77 2/414 23443
/proc/meminfo: memFree=256273148/264257624 swapFree=67111528/67111528
[pid=23342] ppid=23340 vsize=4869064 CPUtime=10028.5 cores=0-31
/proc/23342/stat : 23342 (claspmt) R 23340 23342 23312 0 -1 4202496 2043989 0 0 0 983001 19851 0 0 18 0 1 0 52769105 4985921536 1075582 270582939648 4194304 4964800 140735132014352 18446744073709551615 258650611701 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/23342/statm: 1217266 1075582 445 189 0 1211615 0
Current children cumulated CPU time (s) 10028.5
Current children cumulated vsize (KiB) 4869064

[startup+2466.4 s]
/proc/loadavg: 4.00 4.02 4.77 2/414 23443
/proc/meminfo: memFree=258604704/264257624 swapFree=67111528/67111528
[pid=23342] ppid=23340 vsize=3400324 CPUtime=10029.3 cores=0-31
/proc/23342/stat : 23342 (claspmt) R 23340 23342 23312 0 -1 4202496 2043989 0 0 0 983072 19860 0 0 19 0 1 0 52769105 3481931776 729925 270582939648 4194304 4964800 140735132014352 18446744073709551615 4646688 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/23342/statm: 850081 729925 445 189 0 844430 0
Current children cumulated CPU time (s) 10029.3
Current children cumulated vsize (KiB) 3400324

[startup+2467.2 s]
/proc/loadavg: 4.00 4.02 4.77 2/414 23443
/proc/meminfo: memFree=258604704/264257624 swapFree=67111528/67111528
[pid=23342] ppid=23340 vsize=1736200 CPUtime=10030.1 cores=0-31
/proc/23342/stat : 23342 (claspmt) R 23340 23342 23312 0 -1 4202496 2043989 0 0 0 983141 19871 0 0 21 0 1 0 52769105 1777868800 316770 270582939648 4194304 4964800 140735132014352 18446744073709551615 4646688 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/23342/statm: 434050 316770 445 189 0 428399 0
Current children cumulated CPU time (s) 10030.1
Current children cumulated vsize (KiB) 1736200

[startup+2467.6 s]
/proc/loadavg: 4.00 4.02 4.77 2/414 23443
/proc/meminfo: memFree=260360172/264257624 swapFree=67111528/67111528
[pid=23342] ppid=23340 vsize=813140 CPUtime=10030.5 cores=0-31
/proc/23342/stat : 23342 (claspmt) R 23340 23342 23312 0 -1 4202496 2043989 0 0 0 983175 19877 0 0 22 0 1 0 52769105 832655360 85056 270582939648 4194304 4964800 140735132014352 18446744073709551615 4646717 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/23342/statm: 203285 85056 445 189 0 197634 0
Current children cumulated CPU time (s) 10030.5
Current children cumulated vsize (KiB) 813140

Child status: 20
Real time (s): 2467.63
CPU time (s): 10030.6
CPU user time (s): 9831.76
CPU system time (s): 198.797
CPU usage (%): 406.486
Max. virtual memory (cumulated for all children) (KiB): 6531952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9831.76
system time used= 198.797
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2043990
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= 561119
involuntary context switches= 15048

runsolver used 12.975 second user time and 54.2318 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-12 12:17:02
IDJOB=3472554
IDBENCH=88172
IDSOLVER=1961
FILE ID=node200/3472554-1307873816
RUNJOBID= node200-1307873816-23326
PBS_JOBID= 13551118
Free space on /tmp= 61624 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT-Race-2010-CNF/software-verification/nec/hard-18-U-10652.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-3472554-1307873816/watcher-3472554-1307873816 -o /tmp/evaluation-result-3472554-1307873816/solver-3472554-1307873816 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472554-1307873816.cnf

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

MD5SUM BENCH= f0f11935e861485056485b47c5e1a7c3
RANDOM SEED=897487542

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:      261631616 kB
Buffers:        306016 kB
Cached:        1995248 kB
SwapCached:          0 kB
Active:         478060 kB
Inactive:      1886656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      261631616 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          122300 kB
Writeback:           0 kB
AnonPages:       63284 kB
Mapped:          14424 kB
Slab:           186796 kB
PageTables:       4340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   166504 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= 61624 MiB
End job on node200 at 2011-06-12 12:58:10