Trace number 3472438

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 2815.09 102.08

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_kkb_unknown.cnf
MD5SUM254fcd4eae8129ad5842f186e24e0793
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2815.09
Satisfiable
(Un)Satisfiability was proved
Number of variables34510
Number of clauses701694
Sum of the clauses size2616281
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 252869
Number of clauses of size 384757
Number of clauses of size 4564068
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...646888/instance-3472438-1307646888.cnf
2.39/2.44	c Solving...
2815.00/102.03	s UNSATISFIABLE
2815.00/102.03	
2815.00/102.03	c Models        : 0     
2815.00/102.03	c Time          : 100.539s (Solving: 98.10s 1st Model: 0.00s Unsat: 98.10s)
2815.00/102.03	c CPU Time      : 2813.550s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3472438-1307646888/watcher-3472438-1307646888 -o /tmp/evaluation-result-3472438-1307646888/solver-3472438-1307646888 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472438-1307646888.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: 19.80 27.59 29.55 1/412 31259
/proc/meminfo: memFree=262248000/264257624 swapFree=67111528/67111528
[pid=31259] ppid=31257 vsize=30256 CPUtime=0.02 cores=0-31
/proc/31259/stat : 31259 (claspmt) R 31257 31259 31229 0 -1 4202496 3239 0 0 0 2 0 0 0 22 0 1 0 30075787 30982144 2728 270582939648 4194304 4964800 140733945635312 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31259/statm: 7564 2731 383 189 0 2438 0

[startup+0.045321 s]
/proc/loadavg: 19.80 27.59 29.55 1/412 31259
/proc/meminfo: memFree=262248000/264257624 swapFree=67111528/67111528
[pid=31259] ppid=31257 vsize=31816 CPUtime=0.03 cores=0-31
/proc/31259/stat : 31259 (claspmt) R 31257 31259 31229 0 -1 4202496 3742 0 0 0 3 0 0 0 22 0 1 0 30075787 32579584 3110 270582939648 4194304 4964800 140733945635312 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31259/statm: 7954 3113 383 189 0 2828 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 31816

[startup+0.101318 s]
/proc/loadavg: 19.80 27.59 29.55 1/412 31259
/proc/meminfo: memFree=262248000/264257624 swapFree=67111528/67111528
[pid=31259] ppid=31257 vsize=39860 CPUtime=0.09 cores=0-31
/proc/31259/stat : 31259 (claspmt) R 31257 31259 31229 0 -1 4202496 6470 0 0 0 8 1 0 0 22 0 1 0 30075787 40816640 4980 270582939648 4194304 4964800 140733945635312 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31259/statm: 9965 4983 383 189 0 4839 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39860

[startup+0.300335 s]
/proc/loadavg: 19.80 27.59 29.55 1/412 31259
/proc/meminfo: memFree=262248000/264257624 swapFree=67111528/67111528
[pid=31259] ppid=31257 vsize=69752 CPUtime=0.29 cores=0-31
/proc/31259/stat : 31259 (claspmt) R 31257 31259 31229 0 -1 4202496 16654 0 0 0 25 4 0 0 23 0 1 0 30075787 71426048 11940 270582939648 4194304 4964800 140733945635312 18446744073709551615 258650653112 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31259/statm: 17438 11948 394 189 0 12312 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69752

[startup+0.700356 s]
/proc/loadavg: 19.80 27.59 29.55 1/412 31259
/proc/meminfo: memFree=262248000/264257624 swapFree=67111528/67111528
[pid=31259] ppid=31257 vsize=94604 CPUtime=0.69 cores=0-31
/proc/31259/stat : 31259 (claspmt) R 31257 31259 31229 0 -1 4202496 22512 0 0 0 64 5 0 0 25 0 1 0 30075787 96874496 17798 270582939648 4194304 4964800 140733945635312 18446744073709551615 4607549 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31259/statm: 23651 17798 396 189 0 18525 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 94604

[startup+1.50037 s]
/proc/loadavg: 19.80 27.59 29.55 2/413 31260
/proc/meminfo: memFree=262178736/264257624 swapFree=67111528/67111528
[pid=31259] ppid=31257 vsize=94604 CPUtime=1.49 cores=0-31
/proc/31259/stat : 31259 (claspmt) R 31257 31259 31229 0 -1 4202496 22513 0 0 0 144 5 0 0 25 0 1 0 30075787 96874496 17799 270582939648 4194304 4964800 140733945635312 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31259/statm: 23651 17799 396 189 0 18525 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94604

[startup+3.10034 s]
/proc/loadavg: 19.80 27.59 29.55 2/413 31260
/proc/meminfo: memFree=262177000/264257624 swapFree=67111528/67111528
[pid=31259] ppid=31257 vsize=2137700 CPUtime=5.27 cores=0-31
/proc/31259/stat : 31259 (claspmt) S 31257 31259 31229 0 -1 4202496 80008 0 0 0 309 218 0 0 18 0 32 0 30075787 2189004800 66971 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31259/statm: 534425 66974 430 189 0 528774 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 2137700

[startup+6.30251 s]
/proc/loadavg: 20.69 27.65 29.56 13/444 31291
/proc/meminfo: memFree=261312992/264257624 swapFree=67111528/67111528
[pid=31259] ppid=31257 vsize=2172528 CPUtime=25.65 cores=0-31
/proc/31259/stat : 31259 (claspmt) S 31257 31259 31229 0 -1 4202496 301827 0 0 0 1294 1271 0 0 18 0 32 0 30075787 2224668672 288630 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31259/statm: 543132 288631 440 189 0 537481 0
[pid=31259/tid=31261] ppid=31257 vsize=2172528 CPUtime=0.67 cores=0-31
/proc/31259/task/31261/stat : 31261 (claspmt) S 31257 31259 31229 0 -1 4202560 7920 0 0 0 28 39 0 0 16 0 32 0 30076032 2224668672 288631 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604636341878240 0 0 -1 29 0 0 0
[pid=31259/tid=31262] ppid=31257 vsize=2172528 CPUtime=0.77 cores=0-31
/proc/31259/task/31262/stat : 31262 (claspmt) S 31257 31259 31229 0 -1 4202560 9399 0 0 0 35 42 0 0 16 0 32 0 30076032 2224668672 288631 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604637626482144 0 0 -1 28 0 0 0
[pid=31259/tid=31263] ppid=31257 vsize=2172528 CPUtime=0.66 cores=0-31
/proc/31259/task/31263/stat : 31263 (claspmt) S 31257 31259 31229 0 -1 4202560 9180 0 0 0 27 39 0 0 16 0 32 0 30076032 2224668672 288631 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604643581877728 0 0 -1 31 0 0 0
[pid=31259/tid=31264] ppid=31257 vsize=2172528 CPUtime=0.6 cores=0-31
/proc/31259/task/31264/stat : 31264 (claspmt) S 31257 31259 31229 0 -1 4202560 8192 0 0 0 24 36 0 0 15 0 32 0 30076032 2224668672 288632 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604505044606432 0 0 -1 4 0 0 0
[pid=31259/tid=31265] ppid=31257 vsize=2172528 CPUtime=0.99 cores=0-31
/proc/31259/task/31265/stat : 31265 (claspmt) R 31257 31259 31229 0 -1 4202560 9179 0 0 0 62 37 0 0 16 0 32 0 30076032 2224668672 288633 270582939648 4194304 4964800 140733945635312 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=31259/tid=31266] ppid=31257 vsize=2172528 CPUtime=0.6 cores=0-31
/proc/31259/task/31266/stat : 31266 (claspmt) S 31257 31259 31229 0 -1 4202560 7735 0 0 0 27 33 0 0 16 0 32 0 30076032 2224668672 288634 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604567781678560 0 0 -1 8 0 0 0
[pid=31259/tid=31267] ppid=31257 vsize=2172528 CPUtime=0.67 cores=0-31
/proc/31259/task/31267/stat : 31267 (claspmt) S 31257 31259 31229 0 -1 4202560 8468 0 0 0 31 36 0 0 16 0 32 0 30076032 2224668672 288634 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604505230679520 0 0 -1 20 0 0 0
[pid=31259/tid=31268] ppid=31257 vsize=2172528 CPUtime=0.67 cores=0-31
/proc/31259/task/31268/stat : 31268 (claspmt) S 31257 31259 31229 0 -1 4202560 8912 0 0 0 26 41 0 0 15 0 32 0 30076032 2224668672 288634 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604643475717600 0 0 -1 16 0 0 0
[pid=31259/tid=31269] ppid=31257 vsize=2172528 CPUtime=0.67 cores=0-31
/proc/31259/task/31269/stat : 31269 (claspmt) S 31257 31259 31229 0 -1 4202560 8642 0 0 0 28 39 0 0 15 0 32 0 30076032 2224668672 288634 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604643476037088 0 0 -1 18 0 0 0
[pid=31259/tid=31270] ppid=31257 vsize=2172528 CPUtime=0.74 cores=0-31
/proc/31259/task/31270/stat : 31270 (claspmt) S 31257 31259 31229 0 -1 4202560 9225 0 0 0 32 42 0 0 16 0 32 0 30076032 2224668672 288634 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604643475881440 0 0 -1 1 0 0 0
[pid=31259/tid=31271] ppid=31257 vsize=2172528 CPUtime=0.68 cores=0-31
/proc/31259/task/31271/stat : 31271 (claspmt) S 31257 31259 31229 0 -1 4202560 8384 0 0 0 29 39 0 0 16 0 32 0 30076032 2224668672 288634 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604501709463008 0 0 -1 30 0 0 0
[pid=31259/tid=31272] ppid=31257 vsize=2172528 CPUtime=0.72 cores=0-31
/proc/31259/task/31272/stat : 31272 (claspmt) S 31257 31259 31229 0 -1 4202560 8849 0 0 0 27 45 0 0 16 0 32 0 30076032 2224668672 288635 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604636341935584 0 0 -1 13 0 0 0
[pid=31259/tid=31273] ppid=31257 vsize=2172528 CPUtime=1.07 cores=0-31
/proc/31259/task/31273/stat : 31273 (claspmt) R 31257 31259 31229 0 -1 4202560 9405 0 0 0 65 42 0 0 16 0 32 0 30076032 2224668672 288635 270582939648 4194304 4964800 140733945635312 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31259/tid=31274] ppid=31257 vsize=2172528 CPUtime=0.7 cores=0-31
/proc/31259/task/31274/stat : 31274 (claspmt) S 31257 31259 31229 0 -1 4202560 9054 0 0 0 28 42 0 0 16 0 32 0 30076032 2224668672 288635 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604640978345440 0 0 -1 17 0 0 0
[pid=31259/tid=31275] ppid=31257 vsize=2172528 CPUtime=0.74 cores=0-31
/proc/31259/task/31275/stat : 31275 (claspmt) S 31257 31259 31229 0 -1 4202560 8955 0 0 0 33 41 0 0 16 0 32 0 30076032 2224668672 288636 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604640978181600 0 0 -1 9 0 0 0
[pid=31259/tid=31276] ppid=31257 vsize=2172528 CPUtime=0.71 cores=0-31
/proc/31259/task/31276/stat : 31276 (claspmt) S 31257 31259 31229 0 -1 4202560 8647 0 0 0 31 40 0 0 16 0 32 0 30076032 2224668672 288636 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604636342140384 0 0 -1 0 0 0 0
[pid=31259/tid=31277] ppid=31257 vsize=2172528 CPUtime=0.67 cores=0-31
/proc/31259/task/31277/stat : 31277 (claspmt) S 31257 31259 31229 0 -1 4202560 8807 0 0 0 26 41 0 0 16 0 32 0 30076032 2224668672 288637 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604636341911008 0 0 -1 3 0 0 0
[pid=31259/tid=31278] ppid=31257 vsize=2172528 CPUtime=0.7 cores=0-31
/proc/31259/task/31278/stat : 31278 (claspmt) S 31257 31259 31229 0 -1 4202560 9047 0 0 0 32 38 0 0 16 0 32 0 30076032 2224668672 288637 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604640978025952 0 0 -1 30 0 0 0
[pid=31259/tid=31279] ppid=31257 vsize=2172528 CPUtime=0.68 cores=0-31
/proc/31259/task/31279/stat : 31279 (claspmt) S 31257 31259 31229 0 -1 4202560 9057 0 0 0 30 38 0 0 16 0 32 0 30076032 2224668672 288639 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604492589530592 0 0 -1 11 0 0 0
[pid=31259/tid=31280] ppid=31257 vsize=2172528 CPUtime=0.69 cores=0-31
/proc/31259/task/31280/stat : 31280 (claspmt) S 31257 31259 31229 0 -1 4202560 8806 0 0 0 28 41 0 0 16 0 32 0 30076032 2224668672 288640 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604637139213792 0 0 -1 29 0 0 0
[pid=31259/tid=31281] ppid=31257 vsize=2172528 CPUtime=1.02 cores=0-31
/proc/31259/task/31281/stat : 31281 (claspmt) R 31257 31259 31229 0 -1 4202560 10015 0 0 0 58 44 0 0 16 0 32 0 30076033 2224668672 288641 270582939648 4194304 4964800 140733945635312 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=31259/tid=31282] ppid=31257 vsize=2172528 CPUtime=0.68 cores=0-31
/proc/31259/task/31282/stat : 31282 (claspmt) S 31257 31259 31229 0 -1 4202560 9290 0 0 0 28 40 0 0 16 0 32 0 30076033 2224668672 288641 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604497060036064 0 0 -1 12 0 0 0
[pid=31259/tid=31283] ppid=31257 vsize=2172528 CPUtime=0.77 cores=0-31
/proc/31259/task/31283/stat : 31283 (claspmt) S 31257 31259 31229 0 -1 4202560 8881 0 0 0 33 44 0 0 16 0 32 0 30076033 2224668672 288641 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604637626637792 0 0 -1 22 0 0 0
[pid=31259/tid=31284] ppid=31257 vsize=2172528 CPUtime=0.73 cores=0-31
/proc/31259/task/31284/stat : 31284 (claspmt) S 31257 31259 31229 0 -1 4202560 8895 0 0 0 30 43 0 0 16 0 32 0 30076033 2224668672 288642 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604637626318304 0 0 -1 26 0 0 0
[pid=31259/tid=31285] ppid=31257 vsize=2172528 CPUtime=0.69 cores=0-31
/proc/31259/task/31285/stat : 31285 (claspmt) S 31257 31259 31229 0 -1 4202560 8833 0 0 0 30 39 0 0 15 0 32 0 30076033 2224668672 288644 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604638420557280 0 0 -1 21 0 0 0
[pid=31259/tid=31286] ppid=31257 vsize=2172528 CPUtime=0.74 cores=0-31
/proc/31259/task/31286/stat : 31286 (claspmt) S 31257 31259 31229 0 -1 4202560 9369 0 0 0 33 41 0 0 16 0 32 0 30076033 2224668672 288645 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604636341951968 0 0 -1 11 0 0 0
[pid=31259/tid=31287] ppid=31257 vsize=2172528 CPUtime=0.71 cores=0-31
/proc/31259/task/31287/stat : 31287 (claspmt) S 31257 31259 31229 0 -1 4202560 9135 0 0 0 31 40 0 0 16 0 32 0 30076033 2224668672 288646 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604637139402208 0 0 -1 10 0 0 0
[pid=31259/tid=31288] ppid=31257 vsize=2172528 CPUtime=0.71 cores=0-31
/proc/31259/task/31288/stat : 31288 (claspmt) S 31257 31259 31229 0 -1 4202560 8919 0 0 0 29 42 0 0 15 0 32 0 30076033 2224668672 288647 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604638420909536 0 0 -1 5 0 0 0
[pid=31259/tid=31289] ppid=31257 vsize=2172528 CPUtime=1.01 cores=0-31
/proc/31259/task/31289/stat : 31289 (claspmt) R 31257 31259 31229 0 -1 4202560 9942 0 0 0 57 44 0 0 16 0 32 0 30076033 2224668672 288647 270582939648 4194304 4964800 140733945635312 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=31259/tid=31290] ppid=31257 vsize=2172528 CPUtime=0.69 cores=0-31
/proc/31259/task/31290/stat : 31290 (claspmt) S 31257 31259 31229 0 -1 4202560 9201 0 0 0 29 40 0 0 16 0 32 0 30076033 2224668672 288649 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604636341689824 0 0 -1 27 0 0 0
[pid=31259/tid=31291] ppid=31257 vsize=2172528 CPUtime=0.73 cores=0-31
/proc/31259/task/31291/stat : 31291 (claspmt) S 31257 31259 31229 0 -1 4202560 9020 0 0 0 34 39 0 0 16 0 32 0 30076033 2224668672 288650 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604637139566048 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 25.65
Current children cumulated vsize (KiB) 2172528

[startup+12.7018 s]
/proc/loadavg: 19.36 27.26 29.42 5/444 31291
/proc/meminfo: memFree=261083104/264257624 swapFree=67111528/67111528
[pid=31259] ppid=31257 vsize=2172528 CPUtime=51.23 cores=0-31
/proc/31259/stat : 31259 (claspmt) S 31257 31259 31229 0 -1 4202496 304857 0 0 0 3848 1275 0 0 18 0 32 0 30075787 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31259/statm: 543132 291660 440 189 0 537481 0
[pid=31259/tid=31261] ppid=31257 vsize=2172528 CPUtime=0.67 cores=0-31
/proc/31259/task/31261/stat : 31261 (claspmt) S 31257 31259 31229 0 -1 4202560 7920 0 0 0 28 39 0 0 16 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604636341878240 0 0 -1 29 0 0 0
[pid=31259/tid=31262] ppid=31257 vsize=2172528 CPUtime=0.77 cores=0-31
/proc/31259/task/31262/stat : 31262 (claspmt) S 31257 31259 31229 0 -1 4202560 9399 0 0 0 35 42 0 0 16 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604637626482144 0 0 -1 28 0 0 0
[pid=31259/tid=31263] ppid=31257 vsize=2172528 CPUtime=0.66 cores=0-31
/proc/31259/task/31263/stat : 31263 (claspmt) S 31257 31259 31229 0 -1 4202560 9180 0 0 0 27 39 0 0 16 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604643581877728 0 0 -1 31 0 0 0
[pid=31259/tid=31264] ppid=31257 vsize=2172528 CPUtime=0.6 cores=0-31
/proc/31259/task/31264/stat : 31264 (claspmt) S 31257 31259 31229 0 -1 4202560 8192 0 0 0 24 36 0 0 15 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604505044606432 0 0 -1 4 0 0 0
[pid=31259/tid=31265] ppid=31257 vsize=2172528 CPUtime=7.39 cores=0-31
/proc/31259/task/31265/stat : 31265 (claspmt) R 31257 31259 31229 0 -1 4202560 9665 0 0 0 701 38 0 0 25 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=31259/tid=31266] ppid=31257 vsize=2172528 CPUtime=0.6 cores=0-31
/proc/31259/task/31266/stat : 31266 (claspmt) S 31257 31259 31229 0 -1 4202560 7735 0 0 0 27 33 0 0 16 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604567781678560 0 0 -1 8 0 0 0
[pid=31259/tid=31267] ppid=31257 vsize=2172528 CPUtime=0.67 cores=0-31
/proc/31259/task/31267/stat : 31267 (claspmt) S 31257 31259 31229 0 -1 4202560 8468 0 0 0 31 36 0 0 16 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604505230679520 0 0 -1 20 0 0 0
[pid=31259/tid=31268] ppid=31257 vsize=2172528 CPUtime=0.67 cores=0-31
/proc/31259/task/31268/stat : 31268 (claspmt) S 31257 31259 31229 0 -1 4202560 8912 0 0 0 26 41 0 0 15 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604643475717600 0 0 -1 16 0 0 0
[pid=31259/tid=31269] ppid=31257 vsize=2172528 CPUtime=0.67 cores=0-31
/proc/31259/task/31269/stat : 31269 (claspmt) S 31257 31259 31229 0 -1 4202560 8642 0 0 0 28 39 0 0 15 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604643476037088 0 0 -1 18 0 0 0
[pid=31259/tid=31270] ppid=31257 vsize=2172528 CPUtime=0.74 cores=0-31
/proc/31259/task/31270/stat : 31270 (claspmt) S 31257 31259 31229 0 -1 4202560 9225 0 0 0 32 42 0 0 16 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604643475881440 0 0 -1 1 0 0 0
[pid=31259/tid=31271] ppid=31257 vsize=2172528 CPUtime=0.68 cores=0-31
/proc/31259/task/31271/stat : 31271 (claspmt) S 31257 31259 31229 0 -1 4202560 8384 0 0 0 29 39 0 0 16 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604501709463008 0 0 -1 30 0 0 0
[pid=31259/tid=31272] ppid=31257 vsize=2172528 CPUtime=0.72 cores=0-31
/proc/31259/task/31272/stat : 31272 (claspmt) S 31257 31259 31229 0 -1 4202560 8849 0 0 0 27 45 0 0 16 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604636341935584 0 0 -1 13 0 0 0
[pid=31259/tid=31273] ppid=31257 vsize=2172528 CPUtime=7.46 cores=0-31
/proc/31259/task/31273/stat : 31273 (claspmt) R 31257 31259 31229 0 -1 4202560 10223 0 0 0 703 43 0 0 25 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31259/tid=31274] ppid=31257 vsize=2172528 CPUtime=0.7 cores=0-31
/proc/31259/task/31274/stat : 31274 (claspmt) S 31257 31259 31229 0 -1 4202560 9054 0 0 0 28 42 0 0 16 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604640978345440 0 0 -1 17 0 0 0
[pid=31259/tid=31275] ppid=31257 vsize=2172528 CPUtime=0.74 cores=0-31
/proc/31259/task/31275/stat : 31275 (claspmt) S 31257 31259 31229 0 -1 4202560 8955 0 0 0 33 41 0 0 16 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604640978181600 0 0 -1 9 0 0 0
[pid=31259/tid=31276] ppid=31257 vsize=2172528 CPUtime=0.71 cores=0-31
/proc/31259/task/31276/stat : 31276 (claspmt) S 31257 31259 31229 0 -1 4202560 8647 0 0 0 31 40 0 0 16 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604636342140384 0 0 -1 0 0 0 0
[pid=31259/tid=31277] ppid=31257 vsize=2172528 CPUtime=0.67 cores=0-31
/proc/31259/task/31277/stat : 31277 (claspmt) S 31257 31259 31229 0 -1 4202560 8807 0 0 0 26 41 0 0 16 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604636341911008 0 0 -1 3 0 0 0
[pid=31259/tid=31278] ppid=31257 vsize=2172528 CPUtime=0.7 cores=0-31
/proc/31259/task/31278/stat : 31278 (claspmt) S 31257 31259 31229 0 -1 4202560 9047 0 0 0 32 38 0 0 16 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604640978025952 0 0 -1 30 0 0 0
[pid=31259/tid=31279] ppid=31257 vsize=2172528 CPUtime=0.68 cores=0-31
/proc/31259/task/31279/stat : 31279 (claspmt) S 31257 31259 31229 0 -1 4202560 9057 0 0 0 30 38 0 0 16 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604492589530592 0 0 -1 11 0 0 0
[pid=31259/tid=31280] ppid=31257 vsize=2172528 CPUtime=0.69 cores=0-31
/proc/31259/task/31280/stat : 31280 (claspmt) S 31257 31259 31229 0 -1 4202560 8806 0 0 0 28 41 0 0 16 0 32 0 30076032 2224668672 291660 270582939648 4194304 4964800 140733945635312 18446744073709551615 258662772457 0 0 4096 18946 18446604637139213792 0 0 -1 29 0 0 0
[pid=31259/tid=31281] ppid=31257 vsize=2172528 CPUtime=7.41 cores=0-31

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

/proc/31259/task/31261/stat : 31261 (claspmt) R 31257 31259 31229 0 -1 4202560 9815 0 0 0 8188 47 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4669417 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31259/tid=31262] ppid=31257 vsize=2172528 CPUtime=82.39 cores=0-31
/proc/31259/task/31262/stat : 31262 (claspmt) R 31257 31259 31229 0 -1 4202560 13222 0 0 0 8183 56 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=31259/tid=31263] ppid=31257 vsize=2172528 CPUtime=82.23 cores=0-31
/proc/31259/task/31263/stat : 31263 (claspmt) R 31257 31259 31229 0 -1 4202560 12280 0 0 0 8172 51 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=31259/tid=31264] ppid=31257 vsize=2172528 CPUtime=82.3 cores=0-31
/proc/31259/task/31264/stat : 31264 (claspmt) R 31257 31259 31229 0 -1 4202560 12531 0 0 0 8179 51 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=31259/tid=31265] ppid=31257 vsize=2172528 CPUtime=90.57 cores=0-31
/proc/31259/task/31265/stat : 31265 (claspmt) R 31257 31259 31229 0 -1 4202560 11913 0 0 0 9010 47 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=31259/tid=31266] ppid=31257 vsize=2172528 CPUtime=82.21 cores=0-31
/proc/31259/task/31266/stat : 31266 (claspmt) R 31257 31259 31229 0 -1 4202560 11380 0 0 0 8176 45 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=31259/tid=31267] ppid=31257 vsize=2172528 CPUtime=82.31 cores=0-31
/proc/31259/task/31267/stat : 31267 (claspmt) R 31257 31259 31229 0 -1 4202560 14898 0 0 0 8167 64 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=31259/tid=31268] ppid=31257 vsize=2172528 CPUtime=82.39 cores=0-31
/proc/31259/task/31268/stat : 31268 (claspmt) R 31257 31259 31229 0 -1 4202560 11019 0 0 0 8188 51 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4342162 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=31259/tid=31269] ppid=31257 vsize=2172528 CPUtime=82.38 cores=0-31
/proc/31259/task/31269/stat : 31269 (claspmt) R 31257 31259 31229 0 -1 4202560 10824 0 0 0 8191 47 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=31259/tid=31270] ppid=31257 vsize=2172528 CPUtime=82.39 cores=0-31
/proc/31259/task/31270/stat : 31270 (claspmt) R 31257 31259 31229 0 -1 4202560 13039 0 0 0 8182 57 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=31259/tid=31271] ppid=31257 vsize=2172528 CPUtime=82.31 cores=0-31
/proc/31259/task/31271/stat : 31271 (claspmt) R 31257 31259 31229 0 -1 4202560 11770 0 0 0 8180 51 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=31259/tid=31272] ppid=31257 vsize=2172528 CPUtime=82.39 cores=0-31
/proc/31259/task/31272/stat : 31272 (claspmt) R 31257 31259 31229 0 -1 4202560 13359 0 0 0 8180 59 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31259/tid=31273] ppid=31257 vsize=2172528 CPUtime=90.64 cores=0-31
/proc/31259/task/31273/stat : 31273 (claspmt) R 31257 31259 31229 0 -1 4202560 13565 0 0 0 9010 54 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31259/tid=31274] ppid=31257 vsize=2172528 CPUtime=82.2 cores=0-31
/proc/31259/task/31274/stat : 31274 (claspmt) R 31257 31259 31229 0 -1 4202560 14105 0 0 0 8160 60 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31259/tid=31275] ppid=31257 vsize=2172528 CPUtime=82.31 cores=0-31
/proc/31259/task/31275/stat : 31275 (claspmt) R 31257 31259 31229 0 -1 4202560 13521 0 0 0 8173 58 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31259/tid=31276] ppid=31257 vsize=2172528 CPUtime=82.4 cores=0-31
/proc/31259/task/31276/stat : 31276 (claspmt) R 31257 31259 31229 0 -1 4202560 10356 0 0 0 8191 49 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31259/tid=31277] ppid=31257 vsize=2172528 CPUtime=81.66 cores=0-31
/proc/31259/task/31277/stat : 31277 (claspmt) R 31257 31259 31229 0 -1 4202560 10579 0 0 0 8119 47 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670417 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=31259/tid=31278] ppid=31257 vsize=2172528 CPUtime=82.36 cores=0-31
/proc/31259/task/31278/stat : 31278 (claspmt) R 31257 31259 31229 0 -1 4202560 12737 0 0 0 8183 53 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=31259/tid=31279] ppid=31257 vsize=2172528 CPUtime=80.61 cores=0-31
/proc/31259/task/31279/stat : 31279 (claspmt) R 31257 31259 31229 0 -1 4202560 12806 0 0 0 8010 51 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=31259/tid=31280] ppid=31257 vsize=2172528 CPUtime=82.35 cores=0-31
/proc/31259/task/31280/stat : 31280 (claspmt) R 31257 31259 31229 0 -1 4202560 13029 0 0 0 8176 59 0 0 25 0 32 0 30076032 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=31259/tid=31281] ppid=31257 vsize=2172528 CPUtime=90.35 cores=0-31
/proc/31259/task/31281/stat : 31281 (claspmt) R 31257 31259 31229 0 -1 4202560 12960 0 0 0 8983 52 0 0 25 0 32 0 30076033 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=31259/tid=31282] ppid=31257 vsize=2172528 CPUtime=82.23 cores=0-31
/proc/31259/task/31282/stat : 31282 (claspmt) R 31257 31259 31229 0 -1 4202560 13178 0 0 0 8170 53 0 0 25 0 32 0 30076033 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=31259/tid=31283] ppid=31257 vsize=2172528 CPUtime=82.41 cores=0-31
/proc/31259/task/31283/stat : 31283 (claspmt) R 31257 31259 31229 0 -1 4202560 14665 0 0 0 8171 70 0 0 25 0 32 0 30076033 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670412 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31259/tid=31284] ppid=31257 vsize=2172528 CPUtime=82.44 cores=0-31
/proc/31259/task/31284/stat : 31284 (claspmt) R 31257 31259 31229 0 -1 4202560 10863 0 0 0 8191 53 0 0 25 0 32 0 30076033 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=31259/tid=31285] ppid=31257 vsize=2172528 CPUtime=82.4 cores=0-31
/proc/31259/task/31285/stat : 31285 (claspmt) R 31257 31259 31229 0 -1 4202560 10939 0 0 0 8192 48 0 0 25 0 32 0 30076033 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670351 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=31259/tid=31286] ppid=31257 vsize=2172528 CPUtime=82.34 cores=0-31
/proc/31259/task/31286/stat : 31286 (claspmt) R 31257 31259 31229 0 -1 4202560 12950 0 0 0 8181 53 0 0 25 0 32 0 30076033 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=31259/tid=31287] ppid=31257 vsize=2172528 CPUtime=82.34 cores=0-31
/proc/31259/task/31287/stat : 31287 (claspmt) R 31257 31259 31229 0 -1 4202560 13356 0 0 0 8180 54 0 0 25 0 32 0 30076033 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=31259/tid=31288] ppid=31257 vsize=2172528 CPUtime=82.35 cores=0-31
/proc/31259/task/31288/stat : 31288 (claspmt) R 31257 31259 31229 0 -1 4202560 12569 0 0 0 8182 53 0 0 25 0 32 0 30076033 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=31259/tid=31289] ppid=31257 vsize=2172528 CPUtime=90.34 cores=0-31
/proc/31259/task/31289/stat : 31289 (claspmt) R 31257 31259 31229 0 -1 4202560 14006 0 0 0 8979 55 0 0 25 0 32 0 30076033 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=31259/tid=31290] ppid=31257 vsize=2172528 CPUtime=82.18 cores=0-31
/proc/31259/task/31290/stat : 31290 (claspmt) R 31257 31259 31229 0 -1 4202560 13502 0 0 0 8161 57 0 0 25 0 32 0 30076033 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=31259/tid=31291] ppid=31257 vsize=2172528 CPUtime=82.32 cores=0-31
/proc/31259/task/31291/stat : 31291 (claspmt) R 31257 31259 31229 0 -1 4202560 13746 0 0 0 8171 61 0 0 25 0 32 0 30076033 2224668672 402985 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 2667
Current children cumulated vsize (KiB) 2172528

[startup+99.1017 s]
/proc/loadavg: 28.64 28.14 29.52 33/444 31293
/proc/meminfo: memFree=260643124/264257624 swapFree=67111528/67111528
[pid=31259] ppid=31257 vsize=2172528 CPUtime=2769.29 cores=0-31
/proc/31259/stat : 31259 (claspmt) R 31257 31259 31229 0 -1 4202496 416210 0 0 0 275229 1700 0 0 25 0 32 0 30075787 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/31259/statm: 543132 403013 463 189 0 537481 0
[pid=31259/tid=31261] ppid=31257 vsize=2172528 CPUtime=85.55 cores=0-31
/proc/31259/task/31261/stat : 31261 (claspmt) R 31257 31259 31229 0 -1 4202560 9815 0 0 0 8508 47 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31259/tid=31262] ppid=31257 vsize=2172528 CPUtime=85.59 cores=0-31
/proc/31259/task/31262/stat : 31262 (claspmt) R 31257 31259 31229 0 -1 4202560 13222 0 0 0 8503 56 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=31259/tid=31263] ppid=31257 vsize=2172528 CPUtime=85.43 cores=0-31
/proc/31259/task/31263/stat : 31263 (claspmt) R 31257 31259 31229 0 -1 4202560 12280 0 0 0 8492 51 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670259 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=31259/tid=31264] ppid=31257 vsize=2172528 CPUtime=85.51 cores=0-31
/proc/31259/task/31264/stat : 31264 (claspmt) R 31257 31259 31229 0 -1 4202560 12531 0 0 0 8499 52 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=31259/tid=31265] ppid=31257 vsize=2172528 CPUtime=93.76 cores=0-31
/proc/31259/task/31265/stat : 31265 (claspmt) R 31257 31259 31229 0 -1 4202560 11916 0 0 0 9329 47 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=31259/tid=31266] ppid=31257 vsize=2172528 CPUtime=85.41 cores=0-31
/proc/31259/task/31266/stat : 31266 (claspmt) R 31257 31259 31229 0 -1 4202560 11380 0 0 0 8496 45 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670440 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=31259/tid=31267] ppid=31257 vsize=2172528 CPUtime=85.51 cores=0-31
/proc/31259/task/31267/stat : 31267 (claspmt) R 31257 31259 31229 0 -1 4202560 14898 0 0 0 8487 64 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=31259/tid=31268] ppid=31257 vsize=2172528 CPUtime=85.59 cores=0-31
/proc/31259/task/31268/stat : 31268 (claspmt) R 31257 31259 31229 0 -1 4202560 11019 0 0 0 8508 51 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=31259/tid=31269] ppid=31257 vsize=2172528 CPUtime=85.59 cores=0-31
/proc/31259/task/31269/stat : 31269 (claspmt) R 31257 31259 31229 0 -1 4202560 10837 0 0 0 8511 48 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670338 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=31259/tid=31270] ppid=31257 vsize=2172528 CPUtime=85.59 cores=0-31
/proc/31259/task/31270/stat : 31270 (claspmt) R 31257 31259 31229 0 -1 4202560 13039 0 0 0 8502 57 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4644876 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=31259/tid=31271] ppid=31257 vsize=2172528 CPUtime=85.51 cores=0-31
/proc/31259/task/31271/stat : 31271 (claspmt) R 31257 31259 31229 0 -1 4202560 11770 0 0 0 8500 51 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=31259/tid=31272] ppid=31257 vsize=2172528 CPUtime=85.59 cores=0-31
/proc/31259/task/31272/stat : 31272 (claspmt) R 31257 31259 31229 0 -1 4202560 13359 0 0 0 8500 59 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31259/tid=31273] ppid=31257 vsize=2172528 CPUtime=93.84 cores=0-31
/proc/31259/task/31273/stat : 31273 (claspmt) R 31257 31259 31229 0 -1 4202560 13565 0 0 0 9330 54 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31259/tid=31274] ppid=31257 vsize=2172528 CPUtime=85.4 cores=0-31
/proc/31259/task/31274/stat : 31274 (claspmt) R 31257 31259 31229 0 -1 4202560 14109 0 0 0 8480 60 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31259/tid=31275] ppid=31257 vsize=2172528 CPUtime=85.51 cores=0-31
/proc/31259/task/31275/stat : 31275 (claspmt) R 31257 31259 31229 0 -1 4202560 13521 0 0 0 8493 58 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670658 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31259/tid=31276] ppid=31257 vsize=2172528 CPUtime=85.6 cores=0-31
/proc/31259/task/31276/stat : 31276 (claspmt) R 31257 31259 31229 0 -1 4202560 10356 0 0 0 8511 49 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4660118 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31259/tid=31277] ppid=31257 vsize=2172528 CPUtime=84.77 cores=0-31
/proc/31259/task/31277/stat : 31277 (claspmt) R 31257 31259 31229 0 -1 4202560 10579 0 0 0 8430 47 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=31259/tid=31278] ppid=31257 vsize=2172528 CPUtime=85.56 cores=0-31
/proc/31259/task/31278/stat : 31278 (claspmt) R 31257 31259 31229 0 -1 4202560 12737 0 0 0 8503 53 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=31259/tid=31279] ppid=31257 vsize=2172528 CPUtime=83.81 cores=0-31
/proc/31259/task/31279/stat : 31279 (claspmt) R 31257 31259 31229 0 -1 4202560 12806 0 0 0 8330 51 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=31259/tid=31280] ppid=31257 vsize=2172528 CPUtime=85.55 cores=0-31
/proc/31259/task/31280/stat : 31280 (claspmt) R 31257 31259 31229 0 -1 4202560 13029 0 0 0 8496 59 0 0 25 0 32 0 30076032 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4669507 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=31259/tid=31281] ppid=31257 vsize=2172528 CPUtime=93.55 cores=0-31
/proc/31259/task/31281/stat : 31281 (claspmt) R 31257 31259 31229 0 -1 4202560 12960 0 0 0 9303 52 0 0 25 0 32 0 30076033 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4668763 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=31259/tid=31282] ppid=31257 vsize=2172528 CPUtime=85.43 cores=0-31
/proc/31259/task/31282/stat : 31282 (claspmt) R 31257 31259 31229 0 -1 4202560 13178 0 0 0 8490 53 0 0 25 0 32 0 30076033 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=31259/tid=31283] ppid=31257 vsize=2172528 CPUtime=85.61 cores=0-31
/proc/31259/task/31283/stat : 31283 (claspmt) R 31257 31259 31229 0 -1 4202560 14669 0 0 0 8491 70 0 0 25 0 32 0 30076033 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31259/tid=31284] ppid=31257 vsize=2172528 CPUtime=85.64 cores=0-31
/proc/31259/task/31284/stat : 31284 (claspmt) R 31257 31259 31229 0 -1 4202560 10863 0 0 0 8511 53 0 0 25 0 32 0 30076033 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=31259/tid=31285] ppid=31257 vsize=2172528 CPUtime=85.6 cores=0-31
/proc/31259/task/31285/stat : 31285 (claspmt) R 31257 31259 31229 0 -1 4202560 10939 0 0 0 8512 48 0 0 25 0 32 0 30076033 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=31259/tid=31286] ppid=31257 vsize=2172528 CPUtime=85.54 cores=0-31
/proc/31259/task/31286/stat : 31286 (claspmt) R 31257 31259 31229 0 -1 4202560 12950 0 0 0 8501 53 0 0 25 0 32 0 30076033 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=31259/tid=31287] ppid=31257 vsize=2172528 CPUtime=85.54 cores=0-31
/proc/31259/task/31287/stat : 31287 (claspmt) R 31257 31259 31229 0 -1 4202560 13356 0 0 0 8500 54 0 0 25 0 32 0 30076033 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=31259/tid=31288] ppid=31257 vsize=2172528 CPUtime=85.55 cores=0-31
/proc/31259/task/31288/stat : 31288 (claspmt) R 31257 31259 31229 0 -1 4202560 12569 0 0 0 8502 53 0 0 25 0 32 0 30076033 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=31259/tid=31289] ppid=31257 vsize=2172528 CPUtime=93.54 cores=0-31
/proc/31259/task/31289/stat : 31289 (claspmt) R 31257 31259 31229 0 -1 4202560 14006 0 0 0 9299 55 0 0 25 0 32 0 30076033 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=31259/tid=31290] ppid=31257 vsize=2172528 CPUtime=85.37 cores=0-31
/proc/31259/task/31290/stat : 31290 (claspmt) R 31257 31259 31229 0 -1 4202560 13506 0 0 0 8480 57 0 0 19 0 32 0 30076033 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=31259/tid=31291] ppid=31257 vsize=2172528 CPUtime=85.52 cores=0-31
/proc/31259/task/31291/stat : 31291 (claspmt) R 31257 31259 31229 0 -1 4202560 13746 0 0 0 8491 61 0 0 25 0 32 0 30076033 2224668672 403013 270582939648 4194304 4964800 140733945635312 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 2769.29
Current children cumulated vsize (KiB) 2172528

[startup+100.701 s]
/proc/loadavg: 28.64 28.14 29.52 33/444 31293
/proc/meminfo: memFree=260643124/264257624 swapFree=67111528/67111528
[pid=31259] ppid=31257 vsize=2078012 CPUtime=2813.7 cores=0-31
/proc/31259/stat : 31259 (claspmt) R 31257 31259 31229 0 -1 4202496 416221 0 0 0 279662 1708 0 0 17 0 1 0 30075787 2127884288 401843 270582939648 4194304 4964800 140733945635312 18446744073709551615 258650611643 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/31259/statm: 519503 401843 474 189 0 513852 0
Current children cumulated CPU time (s) 2813.7
Current children cumulated vsize (KiB) 2078012

[startup+101.501 s]
/proc/loadavg: 28.64 28.14 29.52 2/413 31293
/proc/meminfo: memFree=260647852/264257624 swapFree=67111528/67111528
[pid=31259] ppid=31257 vsize=2078012 CPUtime=2814.5 cores=0-31
/proc/31259/stat : 31259 (claspmt) R 31257 31259 31229 0 -1 4202496 416221 0 0 0 279742 1708 0 0 18 0 1 0 30075787 2127884288 401256 270582939648 4194304 4964800 140733945635312 18446744073709551615 258650611643 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/31259/statm: 519503 401256 474 189 0 513852 0
Current children cumulated CPU time (s) 2814.5
Current children cumulated vsize (KiB) 2078012

[startup+101.901 s]
/proc/loadavg: 28.64 28.14 29.52 2/413 31293
/proc/meminfo: memFree=260647852/264257624 swapFree=67111528/67111528
[pid=31259] ppid=31257 vsize=2055552 CPUtime=2814.9 cores=0-31
/proc/31259/stat : 31259 (claspmt) R 31257 31259 31229 0 -1 4202496 416221 0 0 0 279782 1708 0 0 18 0 1 0 30075787 2104885248 390500 270582939648 4194304 4964800 140733945635312 18446744073709551615 258650604936 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/31259/statm: 513888 390500 474 189 0 508237 0
Current children cumulated CPU time (s) 2814.9
Current children cumulated vsize (KiB) 2055552

[startup+102.001 s]
/proc/loadavg: 28.64 28.14 29.52 2/413 31293
/proc/meminfo: memFree=260647852/264257624 swapFree=67111528/67111528
[pid=31259] ppid=31257 vsize=2055552 CPUtime=2815 cores=0-31
/proc/31259/stat : 31259 (claspmt) R 31257 31259 31229 0 -1 4202496 416221 0 0 0 279788 1712 0 0 19 0 1 0 30075787 2104885248 251619 270582939648 4194304 4964800 140733945635312 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/31259/statm: 513888 251619 474 189 0 508237 0
Current children cumulated CPU time (s) 2815
Current children cumulated vsize (KiB) 2055552

Child status: 20
Real time (s): 102.08
CPU time (s): 2815.09
CPU user time (s): 2797.89
CPU system time (s): 17.1984
CPU usage (%): 2757.73
Max. virtual memory (cumulated for all children) (KiB): 2172528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2797.89
system time used= 17.1984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416222
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= 601934
involuntary context switches= 12240

runsolver used 0.592909 second user time and 2.39464 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-09 21:14:49
IDJOB=3472438
IDBENCH=82496
IDSOLVER=1961
FILE ID=node200/3472438-1307646888
RUNJOBID= node200-1307646888-31243
PBS_JOBID= 13547800
Free space on /tmp= 61728 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_kkb_unknown.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-3472438-1307646888/watcher-3472438-1307646888 -o /tmp/evaluation-result-3472438-1307646888/solver-3472438-1307646888 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472438-1307646888.cnf

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

MD5SUM BENCH= 254fcd4eae8129ad5842f186e24e0793
RANDOM SEED=62848383

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:      262249156 kB
Buffers:        244240 kB
Cached:        1459784 kB
SwapCached:          0 kB
Active:         277400 kB
Inactive:      1489660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262249156 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           18376 kB
Writeback:           0 kB
AnonPages:       63300 kB
Mapped:          14476 kB
Slab:           163540 kB
PageTables:       4384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   167144 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= 61728 MiB
End job on node200 at 2011-06-09 21:16:31