Trace number 3472431

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 7424.74 238.079

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf
MD5SUMa4c7dbdc89378b1335eea4904f9f5cb5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3474.22
Satisfiable
(Un)Satisfiability was proved
Number of variables156058
Number of clauses466691
Sum of the clauses size1088943
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2311126
Number of clauses of size 3155563
Number of clauses of size 40
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 ...645533/instance-3472431-1307645533.cnf
2.38/2.44	c Solving...
7424.65/238.03	s UNSATISFIABLE
7424.65/238.03	
7424.65/238.03	c Models        : 0     
7424.65/238.03	c Time          : 236.047s (Solving: 233.61s 1st Model: 0.00s Unsat: 233.61s)
7424.65/238.03	c CPU Time      : 7422.710s

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-3472431-1307645533/watcher-3472431-1307645533 -o /tmp/evaluation-result-3472431-1307645533/solver-3472431-1307645533 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472431-1307645533.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 29.48 30.92 31.29 1/412 30687
/proc/meminfo: memFree=262298836/264257624 swapFree=67111528/67111528
[pid=30687] ppid=30685 vsize=40696 CPUtime=0.02 cores=0-31
/proc/30687/stat : 30687 (claspmt) R 30685 30687 30657 0 -1 4202496 4874 0 0 0 2 0 0 0 21 0 1 0 29940255 41672704 4804 270582939648 4194304 4964800 140733308691456 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30687/statm: 10174 4812 373 189 0 5048 0

[startup+0.121605 s]
/proc/loadavg: 29.48 30.92 31.29 1/412 30687
/proc/meminfo: memFree=262298836/264257624 swapFree=67111528/67111528
[pid=30687] ppid=30685 vsize=63276 CPUtime=0.11 cores=0-31
/proc/30687/stat : 30687 (claspmt) R 30685 30687 30657 0 -1 4202496 12513 0 0 0 9 2 0 0 22 0 1 0 29940255 64794624 10479 270582939648 4194304 4964800 140733308691456 18446744073709551615 258650653381 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30687/statm: 15819 10494 383 189 0 10693 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 63276

[startup+0.200562 s]
/proc/loadavg: 29.48 30.92 31.29 1/412 30687
/proc/meminfo: memFree=262298836/264257624 swapFree=67111528/67111528
[pid=30687] ppid=30685 vsize=71052 CPUtime=0.19 cores=0-31
/proc/30687/stat : 30687 (claspmt) R 30685 30687 30657 0 -1 4202496 15821 0 0 0 16 3 0 0 22 0 1 0 29940255 72757248 12773 270582939648 4194304 4964800 140733308691456 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30687/statm: 17763 12774 383 189 0 12637 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 71052

[startup+0.300576 s]
/proc/loadavg: 29.48 30.92 31.29 1/412 30687
/proc/meminfo: memFree=262298836/264257624 swapFree=67111528/67111528
[pid=30687] ppid=30685 vsize=90988 CPUtime=0.29 cores=0-31
/proc/30687/stat : 30687 (claspmt) R 30685 30687 30657 0 -1 4202496 22769 0 0 0 25 4 0 0 22 0 1 0 29940255 93171712 17246 270582939648 4194304 4964800 140733308691456 18446744073709551615 4617330 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30687/statm: 22747 17247 396 189 0 17621 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 90988

[startup+0.700581 s]
/proc/loadavg: 29.48 30.92 31.29 1/412 30687
/proc/meminfo: memFree=262298836/264257624 swapFree=67111528/67111528
[pid=30687] ppid=30685 vsize=105556 CPUtime=0.69 cores=0-31
/proc/30687/stat : 30687 (claspmt) R 30685 30687 30657 0 -1 4202496 26116 0 0 0 64 5 0 0 23 0 1 0 29940255 108089344 20593 270582939648 4194304 4964800 140733308691456 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30687/statm: 26389 20594 401 189 0 21263 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105556

[startup+1.50061 s]
/proc/loadavg: 29.48 30.92 31.29 2/413 30688
/proc/meminfo: memFree=262210292/264257624 swapFree=67111528/67111528
[pid=30687] ppid=30685 vsize=117176 CPUtime=1.49 cores=0-31
/proc/30687/stat : 30687 (claspmt) R 30685 30687 30657 0 -1 4202496 28995 0 0 0 144 5 0 0 25 0 1 0 29940255 119988224 23472 270582939648 4194304 4964800 140733308691456 18446744073709551615 4622620 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30687/statm: 29294 23472 401 189 0 24168 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117176

[startup+3.10055 s]
/proc/loadavg: 29.48 30.92 31.29 2/413 30688
/proc/meminfo: memFree=262206136/264257624 swapFree=67111528/67111528
[pid=30687] ppid=30685 vsize=1488724 CPUtime=17.39 cores=0-31
/proc/30687/stat : 30687 (claspmt) S 30685 30687 30657 0 -1 4202496 145826 0 0 0 307 1432 0 0 18 0 32 0 29940255 1524453376 102413 270582939648 4194304 4964800 140733308691456 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/30687/statm: 372181 102413 434 189 0 366530 0
Current children cumulated CPU time (s) 17.39
Current children cumulated vsize (KiB) 1488724

[startup+6.30165 s]
/proc/loadavg: 29.61 30.92 31.28 33/444 30719
/proc/meminfo: memFree=261609612/264257624 swapFree=67111528/67111528
[pid=30687] ppid=30685 vsize=2226812 CPUtime=81.21 cores=0-31
/proc/30687/stat : 30687 (claspmt) R 30685 30687 30657 0 -1 4202496 220404 0 0 0 6461 1660 0 0 20 0 32 0 29940255 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 31 0 0 0
/proc/30687/statm: 556703 174478 461 189 0 551052 0
[pid=30687/tid=30689] ppid=30685 vsize=2226812 CPUtime=2.33 cores=0-31
/proc/30687/task/30689/stat : 30689 (claspmt) R 30685 30687 30657 0 -1 4202560 5369 0 0 0 186 47 0 0 17 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30687/tid=30690] ppid=30685 vsize=2226812 CPUtime=2.46 cores=0-31
/proc/30687/task/30690/stat : 30690 (claspmt) R 30685 30687 30657 0 -1 4202560 6900 0 0 0 190 56 0 0 17 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670674 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=30687/tid=30691] ppid=30685 vsize=2226812 CPUtime=2.47 cores=0-31
/proc/30687/task/30691/stat : 30691 (claspmt) R 30685 30687 30657 0 -1 4202560 6679 0 0 0 189 58 0 0 18 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30687/tid=30692] ppid=30685 vsize=2226812 CPUtime=2.43 cores=0-31
/proc/30687/task/30692/stat : 30692 (claspmt) R 30685 30687 30657 0 -1 4202560 5572 0 0 0 186 57 0 0 17 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=30687/tid=30693] ppid=30685 vsize=2226812 CPUtime=2.79 cores=0-31
/proc/30687/task/30693/stat : 30693 (claspmt) R 30685 30687 30657 0 -1 4202560 6018 0 0 0 220 59 0 0 19 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4399515 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30687/tid=30694] ppid=30685 vsize=2226812 CPUtime=2.4 cores=0-31
/proc/30687/task/30694/stat : 30694 (claspmt) R 30685 30687 30657 0 -1 4202560 7033 0 0 0 187 53 0 0 18 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30687/tid=30695] ppid=30685 vsize=2226812 CPUtime=2.44 cores=0-31
/proc/30687/task/30695/stat : 30695 (claspmt) R 30685 30687 30657 0 -1 4202560 6364 0 0 0 193 51 0 0 18 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30687/tid=30696] ppid=30685 vsize=2226812 CPUtime=2.36 cores=0-31
/proc/30687/task/30696/stat : 30696 (claspmt) R 30685 30687 30657 0 -1 4202560 5326 0 0 0 187 49 0 0 17 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=30687/tid=30697] ppid=30685 vsize=2226812 CPUtime=2.34 cores=0-31
/proc/30687/task/30697/stat : 30697 (claspmt) R 30685 30687 30657 0 -1 4202560 5108 0 0 0 188 46 0 0 17 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4372759 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=30687/tid=30698] ppid=30685 vsize=2226812 CPUtime=2.44 cores=0-31
/proc/30687/task/30698/stat : 30698 (claspmt) R 30685 30687 30657 0 -1 4202560 6726 0 0 0 189 55 0 0 17 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30687/tid=30699] ppid=30685 vsize=2226812 CPUtime=2.44 cores=0-31
/proc/30687/task/30699/stat : 30699 (claspmt) R 30685 30687 30657 0 -1 4202560 6020 0 0 0 189 55 0 0 18 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30687/tid=30700] ppid=30685 vsize=2226812 CPUtime=2.37 cores=0-31
/proc/30687/task/30700/stat : 30700 (claspmt) R 30685 30687 30657 0 -1 4202560 5465 0 0 0 186 51 0 0 17 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=30687/tid=30701] ppid=30685 vsize=2226812 CPUtime=2.98 cores=0-31
/proc/30687/task/30701/stat : 30701 (claspmt) R 30685 30687 30657 0 -1 4202560 6208 0 0 0 250 48 0 0 20 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30687/tid=30702] ppid=30685 vsize=2226812 CPUtime=2.43 cores=0-31
/proc/30687/task/30702/stat : 30702 (claspmt) R 30685 30687 30657 0 -1 4202560 6962 0 0 0 189 54 0 0 17 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669026 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=30687/tid=30703] ppid=30685 vsize=2226812 CPUtime=2.45 cores=0-31
/proc/30687/task/30703/stat : 30703 (claspmt) R 30685 30687 30657 0 -1 4202560 6311 0 0 0 190 55 0 0 17 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=30687/tid=30704] ppid=30685 vsize=2226812 CPUtime=2.37 cores=0-31
/proc/30687/task/30704/stat : 30704 (claspmt) R 30685 30687 30657 0 -1 4202560 5548 0 0 0 185 52 0 0 17 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669288 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=30687/tid=30705] ppid=30685 vsize=2226812 CPUtime=2.43 cores=0-31
/proc/30687/task/30705/stat : 30705 (claspmt) R 30685 30687 30657 0 -1 4202560 5638 0 0 0 187 56 0 0 17 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30687/tid=30706] ppid=30685 vsize=2226812 CPUtime=2.39 cores=0-31
/proc/30687/task/30706/stat : 30706 (claspmt) R 30685 30687 30657 0 -1 4202560 6584 0 0 0 188 51 0 0 18 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30687/tid=30707] ppid=30685 vsize=2226812 CPUtime=2.43 cores=0-31
/proc/30687/task/30707/stat : 30707 (claspmt) R 30685 30687 30657 0 -1 4202560 6930 0 0 0 189 54 0 0 17 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30687/tid=30708] ppid=30685 vsize=2226812 CPUtime=2.37 cores=0-31
/proc/30687/task/30708/stat : 30708 (claspmt) R 30685 30687 30657 0 -1 4202560 5601 0 0 0 185 52 0 0 17 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=30687/tid=30709] ppid=30685 vsize=2226812 CPUtime=2.98 cores=0-31
/proc/30687/task/30709/stat : 30709 (claspmt) R 30685 30687 30657 0 -1 4202560 5911 0 0 0 243 55 0 0 21 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30687/tid=30710] ppid=30685 vsize=2226812 CPUtime=2.41 cores=0-31
/proc/30687/task/30710/stat : 30710 (claspmt) R 30685 30687 30657 0 -1 4202560 6663 0 0 0 190 51 0 0 18 0 32 0 29940500 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=30687/tid=30711] ppid=30685 vsize=2226812 CPUtime=2.43 cores=0-31
/proc/30687/task/30711/stat : 30711 (claspmt) R 30685 30687 30657 0 -1 4202560 6108 0 0 0 191 52 0 0 17 0 32 0 29940501 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=30687/tid=30712] ppid=30685 vsize=2226812 CPUtime=2.37 cores=0-31
/proc/30687/task/30712/stat : 30712 (claspmt) R 30685 30687 30657 0 -1 4202560 5500 0 0 0 185 52 0 0 17 0 32 0 29940501 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30687/tid=30713] ppid=30685 vsize=2226812 CPUtime=2.38 cores=0-31
/proc/30687/task/30713/stat : 30713 (claspmt) R 30685 30687 30657 0 -1 4202560 5494 0 0 0 183 55 0 0 17 0 32 0 29940501 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=30687/tid=30714] ppid=30685 vsize=2226812 CPUtime=2.45 cores=0-31
/proc/30687/task/30714/stat : 30714 (claspmt) R 30685 30687 30657 0 -1 4202560 6713 0 0 0 190 55 0 0 17 0 32 0 29940501 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=30687/tid=30715] ppid=30685 vsize=2226812 CPUtime=2.43 cores=0-31
/proc/30687/task/30715/stat : 30715 (claspmt) R 30685 30687 30657 0 -1 4202560 6952 0 0 0 188 55 0 0 17 0 32 0 29940501 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4362915 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=30687/tid=30716] ppid=30685 vsize=2226812 CPUtime=2.36 cores=0-31
/proc/30687/task/30716/stat : 30716 (claspmt) R 30685 30687 30657 0 -1 4202560 5384 0 0 0 185 51 0 0 17 0 32 0 29940501 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4370269 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=30687/tid=30717] ppid=30685 vsize=2226812 CPUtime=2.92 cores=0-31
/proc/30687/task/30717/stat : 30717 (claspmt) R 30685 30687 30657 0 -1 4202560 5858 0 0 0 242 50 0 0 21 0 32 0 29940501 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30687/tid=30718] ppid=30685 vsize=2226812 CPUtime=2.43 cores=0-31
/proc/30687/task/30718/stat : 30718 (claspmt) R 30685 30687 30657 0 -1 4202560 7036 0 0 0 190 53 0 0 18 0 32 0 29940501 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30687/tid=30719] ppid=30685 vsize=2226812 CPUtime=2.39 cores=0-31
/proc/30687/task/30719/stat : 30719 (claspmt) R 30685 30687 30657 0 -1 4202560 6296 0 0 0 191 48 0 0 17 0 32 0 29940501 2280255488 174478 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 81.21
Current children cumulated vsize (KiB) 2226812

[startup+12.7019 s]
/proc/loadavg: 29.80 30.94 31.29 33/444 30719
/proc/meminfo: memFree=261566944/264257624 swapFree=67111528/67111528
[pid=30687] ppid=30685 vsize=2226812 CPUtime=285.75 cores=0-31
/proc/30687/stat : 30687 (claspmt) R 30685 30687 30657 0 -1 4202496 231058 0 0 0 26881 1694 0 0 25 0 32 0 29940255 2280255488 185132 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668689 0 0 4096 18946 18446744073709551615 0 0 17 31 0 0 0
/proc/30687/statm: 556703 185132 461 189 0 551052 0
[pid=30687/tid=30689] ppid=30685 vsize=2226812 CPUtime=8.72 cores=0-31
/proc/30687/task/30689/stat : 30689 (claspmt) R 30685 30687 30657 0 -1 4202560 5447 0 0 0 825 47 0 0 25 0 32 0 29940500 2280255488 185132 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30687/tid=30690] ppid=30685 vsize=2226812 CPUtime=8.86 cores=0-31
/proc/30687/task/30690/stat : 30690 (claspmt) R 30685 30687 30657 0 -1 4202560 7327 0 0 0 828 58 0 0 25 0 32 0 29940500 2280255488 185132 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=30687/tid=30691] ppid=30685 vsize=2226812 CPUtime=8.87 cores=0-31
/proc/30687/task/30691/stat : 30691 (claspmt) R 30685 30687 30657 0 -1 4202560 7021 0 0 0 828 59 0 0 25 0 32 0 29940500 2280255488 185132 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30687/tid=30692] ppid=30685 vsize=2226812 CPUtime=8.83 cores=0-31
/proc/30687/task/30692/stat : 30692 (claspmt) R 30685 30687 30657 0 -1 4202560 5792 0 0 0 825 58 0 0 25 0 32 0 29940500 2280255488 185132 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=30687/tid=30693] ppid=30685 vsize=2226812 CPUtime=9.19 cores=0-31
/proc/30687/task/30693/stat : 30693 (claspmt) R 30685 30687 30657 0 -1 4202560 6020 0 0 0 860 59 0 0 25 0 32 0 29940500 2280255488 185132 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30687/tid=30694] ppid=30685 vsize=2226812 CPUtime=8.8 cores=0-31
/proc/30687/task/30694/stat : 30694 (claspmt) R 30685 30687 30657 0 -1 4202560 7432 0 0 0 826 54 0 0 25 0 32 0 29940500 2280255488 185132 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669038 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30687/tid=30695] ppid=30685 vsize=2226812 CPUtime=8.84 cores=0-31
/proc/30687/task/30695/stat : 30695 (claspmt) R 30685 30687 30657 0 -1 4202560 7025 0 0 0 830 54 0 0 18 0 32 0 29940500 2280255488 185132 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30687/tid=30696] ppid=30685 vsize=2226812 CPUtime=8.76 cores=0-31
/proc/30687/task/30696/stat : 30696 (claspmt) R 30685 30687 30657 0 -1 4202560 5555 0 0 0 826 50 0 0 25 0 32 0 29940500 2280255488 185132 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=30687/tid=30697] ppid=30685 vsize=2226812 CPUtime=8.74 cores=0-31
/proc/30687/task/30697/stat : 30697 (claspmt) R 30685 30687 30657 0 -1 4202560 5363 0 0 0 827 47 0 0 25 0 32 0 29940500 2280255488 185132 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=30687/tid=30698] ppid=30685 vsize=2226812 CPUtime=8.84 cores=0-31
/proc/30687/task/30698/stat : 30698 (claspmt) R 30685 30687 30657 0 -1 4202560 7271 0 0 0 827 57 0 0 25 0 32 0 29940500 2280255488 185132 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30687/tid=30699] ppid=30685 vsize=2226812 CPUtime=8.85 cores=0-31
/proc/30687/task/30699/stat : 30699 (claspmt) R 30685 30687 30657 0 -1 4202560 6252 0 0 0 829 56 0 0 25 0 32 0 29940500 2280255488 185132 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30687/tid=30700] ppid=30685 vsize=2226812 CPUtime=8.77 cores=0-31
/proc/30687/task/30700/stat : 30700 (claspmt) R 30685 30687 30657 0 -1 4202560 5796 0 0 0 824 53 0 0 25 0 32 0 29940500 2280255488 185132 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=30687/tid=30701] ppid=30685 vsize=2226812 CPUtime=9.38 cores=0-31
/proc/30687/task/30701/stat : 30701 (claspmt) R 30685 30687 30657 0 -1 4202560 6208 0 0 0 890 48 0 0 25 0 32 0 29940500 2280255488 185132 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30687/tid=30702] ppid=30685 vsize=2226812 CPUtime=8.82 cores=0-31
/proc/30687/task/30702/stat : 30702 (claspmt) R 30685 30687 30657 0 -1 4202560 7355 0 0 0 828 54 0 0 19 0 32 0 29940500 2280255488 185132 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=30687/tid=30703] ppid=30685 vsize=2226812 CPUtime=8.84 cores=0-31
/proc/30687/task/30703/stat : 30703 (claspmt) R 30685 30687 30657 0 -1 4202560 7099 0 0 0 826 58 0 0 25 0 32 0 29940500 2280255488 185133 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=30687/tid=30704] ppid=30685 vsize=2226812 CPUtime=8.76 cores=0-31
/proc/30687/task/30704/stat : 30704 (claspmt) R 30685 30687 30657 0 -1 4202560 5800 0 0 0 823 53 0 0 25 0 32 0 29940500 2280255488 185133 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669512 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=30687/tid=30705] ppid=30685 vsize=2226812 CPUtime=8.83 cores=0-31
/proc/30687/task/30705/stat : 30705 (claspmt) R 30685 30687 30657 0 -1 4202560 5875 0 0 0 826 57 0 0 25 0 32 0 29940500 2280255488 185133 270582939648 4194304 4964800 140733308691456 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30687/tid=30706] ppid=30685 vsize=2226812 CPUtime=8.79 cores=0-31
/proc/30687/task/30706/stat : 30706 (claspmt) R 30685 30687 30657 0 -1 4202560 7072 0 0 0 826 53 0 0 25 0 32 0 29940500 2280255488 185133 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30687/tid=30707] ppid=30685 vsize=2226812 CPUtime=8.82 cores=0-31
/proc/30687/task/30707/stat : 30707 (claspmt) R 30685 30687 30657 0 -1 4202560 7401 0 0 0 827 55 0 0 19 0 32 0 29940500 2280255488 185133 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30687/tid=30708] ppid=30685 vsize=2226812 CPUtime=8.76 cores=0-31
/proc/30687/task/30708/stat : 30708 (claspmt) R 30685 30687 30657 0 -1 4202560 5894 0 0 0 823 53 0 0 25 0 32 0 29940500 2280255488 185133 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=30687/tid=30709] ppid=30685 vsize=2226812 CPUtime=9.38 cores=0-31

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

Current children cumulated vsize (KiB) 2312572

[startup+233.602 s]
/proc/loadavg: 32.01 31.53 31.44 33/444 30725
/proc/meminfo: memFree=260873628/264257624 swapFree=67111528/67111528
[pid=30687] ppid=30685 vsize=2312572 CPUtime=7345.87 cores=0-31
/proc/30687/stat : 30687 (claspmt) R 30685 30687 30657 0 -1 4202496 404234 0 0 0 732279 2308 0 0 25 0 32 0 29940255 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669357 0 0 4096 18946 18446744073709551615 0 0 17 23 0 0 0
/proc/30687/statm: 578143 358303 463 189 0 572492 0
[pid=30687/tid=30689] ppid=30685 vsize=2312572 CPUtime=229.57 cores=0-31
/proc/30687/task/30689/stat : 30689 (claspmt) R 30685 30687 30657 0 -1 4202560 7529 0 0 0 22903 54 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30687/tid=30690] ppid=30685 vsize=2312572 CPUtime=229.07 cores=0-31
/proc/30687/task/30690/stat : 30690 (claspmt) R 30685 30687 30657 0 -1 4202560 16092 0 0 0 22816 91 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30687/tid=30691] ppid=30685 vsize=2312572 CPUtime=228.56 cores=0-31
/proc/30687/task/30691/stat : 30691 (claspmt) R 30685 30687 30657 0 -1 4202560 13643 0 0 0 22775 81 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30687/tid=30692] ppid=30685 vsize=2312572 CPUtime=228.66 cores=0-31
/proc/30687/task/30692/stat : 30692 (claspmt) R 30685 30687 30657 0 -1 4202560 13467 0 0 0 22784 82 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=30687/tid=30693] ppid=30685 vsize=2312572 CPUtime=230.06 cores=0-31
/proc/30687/task/30693/stat : 30693 (claspmt) R 30685 30687 30657 0 -1 4202560 6493 0 0 0 22945 61 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669294 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30687/tid=30694] ppid=30685 vsize=2312572 CPUtime=229.61 cores=0-31
/proc/30687/task/30694/stat : 30694 (claspmt) R 30685 30687 30657 0 -1 4202560 15229 0 0 0 22881 80 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30687/tid=30695] ppid=30685 vsize=2312572 CPUtime=227.31 cores=0-31
/proc/30687/task/30695/stat : 30695 (claspmt) R 30685 30687 30657 0 -1 4202560 15599 0 0 0 22644 87 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669542 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=30687/tid=30696] ppid=30685 vsize=2312572 CPUtime=229.6 cores=0-31
/proc/30687/task/30696/stat : 30696 (claspmt) R 30685 30687 30657 0 -1 4202560 8321 0 0 0 22899 61 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=30687/tid=30697] ppid=30685 vsize=2312572 CPUtime=229.35 cores=0-31
/proc/30687/task/30697/stat : 30697 (claspmt) R 30685 30687 30657 0 -1 4202560 7275 0 0 0 22878 57 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=30687/tid=30698] ppid=30685 vsize=2312572 CPUtime=229.65 cores=0-31
/proc/30687/task/30698/stat : 30698 (claspmt) R 30685 30687 30657 0 -1 4202560 18250 0 0 0 22868 97 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30687/tid=30699] ppid=30685 vsize=2312572 CPUtime=229.24 cores=0-31
/proc/30687/task/30699/stat : 30699 (claspmt) R 30685 30687 30657 0 -1 4202560 12318 0 0 0 22848 76 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=30687/tid=30700] ppid=30685 vsize=2312572 CPUtime=229.59 cores=0-31
/proc/30687/task/30700/stat : 30700 (claspmt) R 30685 30687 30657 0 -1 4202560 14079 0 0 0 22875 84 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=30687/tid=30701] ppid=30685 vsize=2312572 CPUtime=230.24 cores=0-31
/proc/30687/task/30701/stat : 30701 (claspmt) R 30685 30687 30657 0 -1 4202560 6764 0 0 0 22975 49 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669523 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30687/tid=30702] ppid=30685 vsize=2312572 CPUtime=229.65 cores=0-31
/proc/30687/task/30702/stat : 30702 (claspmt) R 30685 30687 30657 0 -1 4202560 13411 0 0 0 22889 76 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=30687/tid=30703] ppid=30685 vsize=2312572 CPUtime=229.67 cores=0-31
/proc/30687/task/30703/stat : 30703 (claspmt) R 30685 30687 30657 0 -1 4202560 15679 0 0 0 22880 87 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=30687/tid=30704] ppid=30685 vsize=2312572 CPUtime=229.48 cores=0-31
/proc/30687/task/30704/stat : 30704 (claspmt) R 30685 30687 30657 0 -1 4202560 7531 0 0 0 22886 62 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=30687/tid=30705] ppid=30685 vsize=2312572 CPUtime=229.67 cores=0-31
/proc/30687/task/30705/stat : 30705 (claspmt) R 30685 30687 30657 0 -1 4202560 7723 0 0 0 22904 63 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30687/tid=30706] ppid=30685 vsize=2312572 CPUtime=229.59 cores=0-31
/proc/30687/task/30706/stat : 30706 (claspmt) R 30685 30687 30657 0 -1 4202560 16472 0 0 0 22872 87 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30687/tid=30707] ppid=30685 vsize=2312572 CPUtime=229.65 cores=0-31
/proc/30687/task/30707/stat : 30707 (claspmt) R 30685 30687 30657 0 -1 4202560 14339 0 0 0 22885 80 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30687/tid=30708] ppid=30685 vsize=2312572 CPUtime=229.59 cores=0-31
/proc/30687/task/30708/stat : 30708 (claspmt) R 30685 30687 30657 0 -1 4202560 12276 0 0 0 22886 73 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=30687/tid=30709] ppid=30685 vsize=2312572 CPUtime=230.24 cores=0-31
/proc/30687/task/30709/stat : 30709 (claspmt) R 30685 30687 30657 0 -1 4202560 6749 0 0 0 22968 56 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668924 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30687/tid=30710] ppid=30685 vsize=2312572 CPUtime=229.51 cores=0-31
/proc/30687/task/30710/stat : 30710 (claspmt) R 30685 30687 30657 0 -1 4202560 12576 0 0 0 22879 72 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669429 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30687/tid=30711] ppid=30685 vsize=2312572 CPUtime=229.65 cores=0-31
/proc/30687/task/30711/stat : 30711 (claspmt) R 30685 30687 30657 0 -1 4202560 12898 0 0 0 22890 75 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670020 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=30687/tid=30712] ppid=30685 vsize=2312572 CPUtime=229.62 cores=0-31
/proc/30687/task/30712/stat : 30712 (claspmt) R 30685 30687 30657 0 -1 4202560 8102 0 0 0 22901 61 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30687/tid=30713] ppid=30685 vsize=2312572 CPUtime=229.63 cores=0-31
/proc/30687/task/30713/stat : 30713 (claspmt) R 30685 30687 30657 0 -1 4202560 7023 0 0 0 22903 60 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=30687/tid=30714] ppid=30685 vsize=2312572 CPUtime=229.65 cores=0-31
/proc/30687/task/30714/stat : 30714 (claspmt) R 30685 30687 30657 0 -1 4202560 16015 0 0 0 22878 87 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=30687/tid=30715] ppid=30685 vsize=2312572 CPUtime=229.64 cores=0-31
/proc/30687/task/30715/stat : 30715 (claspmt) R 30685 30687 30657 0 -1 4202560 14959 0 0 0 22881 83 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=30687/tid=30716] ppid=30685 vsize=2312572 CPUtime=229.58 cores=0-31
/proc/30687/task/30716/stat : 30716 (claspmt) R 30685 30687 30657 0 -1 4202560 14304 0 0 0 22874 84 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=30687/tid=30717] ppid=30685 vsize=2312572 CPUtime=230.17 cores=0-31
/proc/30687/task/30717/stat : 30717 (claspmt) R 30685 30687 30657 0 -1 4202560 6104 0 0 0 22967 50 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669078 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30687/tid=30718] ppid=30685 vsize=2312572 CPUtime=229.58 cores=0-31
/proc/30687/task/30718/stat : 30718 (claspmt) R 30685 30687 30657 0 -1 4202560 15230 0 0 0 22878 80 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669434 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30687/tid=30719] ppid=30685 vsize=2312572 CPUtime=229.61 cores=0-31
/proc/30687/task/30719/stat : 30719 (claspmt) R 30685 30687 30657 0 -1 4202560 16132 0 0 0 22879 82 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7345.87
Current children cumulated vsize (KiB) 2312572

[startup+235.202 s]
/proc/loadavg: 32.01 31.53 31.44 33/444 30725
/proc/meminfo: memFree=260873628/264257624 swapFree=67111528/67111528
[pid=30687] ppid=30685 vsize=2312572 CPUtime=7397.02 cores=0-31
/proc/30687/stat : 30687 (claspmt) R 30685 30687 30657 0 -1 4202496 404234 0 0 0 737394 2308 0 0 25 0 32 0 29940255 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 23 0 0 0
/proc/30687/statm: 578143 358303 463 189 0 572492 0
[pid=30687/tid=30689] ppid=30685 vsize=2312572 CPUtime=231.17 cores=0-31
/proc/30687/task/30689/stat : 30689 (claspmt) R 30685 30687 30657 0 -1 4202560 7529 0 0 0 23063 54 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30687/tid=30690] ppid=30685 vsize=2312572 CPUtime=230.67 cores=0-31
/proc/30687/task/30690/stat : 30690 (claspmt) R 30685 30687 30657 0 -1 4202560 16092 0 0 0 22976 91 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30687/tid=30691] ppid=30685 vsize=2312572 CPUtime=230.16 cores=0-31
/proc/30687/task/30691/stat : 30691 (claspmt) R 30685 30687 30657 0 -1 4202560 13643 0 0 0 22935 81 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668934 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30687/tid=30692] ppid=30685 vsize=2312572 CPUtime=230.22 cores=0-31
/proc/30687/task/30692/stat : 30692 (claspmt) R 30685 30687 30657 0 -1 4202560 13467 0 0 0 22940 82 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=30687/tid=30693] ppid=30685 vsize=2312572 CPUtime=231.65 cores=0-31
/proc/30687/task/30693/stat : 30693 (claspmt) R 30685 30687 30657 0 -1 4202560 6493 0 0 0 23104 61 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30687/tid=30694] ppid=30685 vsize=2312572 CPUtime=231.21 cores=0-31
/proc/30687/task/30694/stat : 30694 (claspmt) R 30685 30687 30657 0 -1 4202560 15229 0 0 0 23041 80 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30687/tid=30695] ppid=30685 vsize=2312572 CPUtime=228.91 cores=0-31
/proc/30687/task/30695/stat : 30695 (claspmt) R 30685 30687 30657 0 -1 4202560 15599 0 0 0 22804 87 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=30687/tid=30696] ppid=30685 vsize=2312572 CPUtime=231.19 cores=0-31
/proc/30687/task/30696/stat : 30696 (claspmt) R 30685 30687 30657 0 -1 4202560 8321 0 0 0 23058 61 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=30687/tid=30697] ppid=30685 vsize=2312572 CPUtime=230.95 cores=0-31
/proc/30687/task/30697/stat : 30697 (claspmt) R 30685 30687 30657 0 -1 4202560 7275 0 0 0 23038 57 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=30687/tid=30698] ppid=30685 vsize=2312572 CPUtime=231.25 cores=0-31
/proc/30687/task/30698/stat : 30698 (claspmt) R 30685 30687 30657 0 -1 4202560 18250 0 0 0 23028 97 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30687/tid=30699] ppid=30685 vsize=2312572 CPUtime=230.84 cores=0-31
/proc/30687/task/30699/stat : 30699 (claspmt) R 30685 30687 30657 0 -1 4202560 12318 0 0 0 23008 76 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=30687/tid=30700] ppid=30685 vsize=2312572 CPUtime=231.19 cores=0-31
/proc/30687/task/30700/stat : 30700 (claspmt) R 30685 30687 30657 0 -1 4202560 14079 0 0 0 23035 84 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=30687/tid=30701] ppid=30685 vsize=2312572 CPUtime=231.84 cores=0-31
/proc/30687/task/30701/stat : 30701 (claspmt) R 30685 30687 30657 0 -1 4202560 6764 0 0 0 23135 49 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669425 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30687/tid=30702] ppid=30685 vsize=2312572 CPUtime=231.25 cores=0-31
/proc/30687/task/30702/stat : 30702 (claspmt) R 30685 30687 30657 0 -1 4202560 13411 0 0 0 23049 76 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=30687/tid=30703] ppid=30685 vsize=2312572 CPUtime=231.27 cores=0-31
/proc/30687/task/30703/stat : 30703 (claspmt) R 30685 30687 30657 0 -1 4202560 15679 0 0 0 23040 87 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=30687/tid=30704] ppid=30685 vsize=2312572 CPUtime=231.08 cores=0-31
/proc/30687/task/30704/stat : 30704 (claspmt) R 30685 30687 30657 0 -1 4202560 7531 0 0 0 23046 62 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=30687/tid=30705] ppid=30685 vsize=2312572 CPUtime=231.27 cores=0-31
/proc/30687/task/30705/stat : 30705 (claspmt) R 30685 30687 30657 0 -1 4202560 7723 0 0 0 23064 63 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30687/tid=30706] ppid=30685 vsize=2312572 CPUtime=231.2 cores=0-31
/proc/30687/task/30706/stat : 30706 (claspmt) R 30685 30687 30657 0 -1 4202560 16472 0 0 0 23032 88 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30687/tid=30707] ppid=30685 vsize=2312572 CPUtime=231.25 cores=0-31
/proc/30687/task/30707/stat : 30707 (claspmt) R 30685 30687 30657 0 -1 4202560 14339 0 0 0 23045 80 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30687/tid=30708] ppid=30685 vsize=2312572 CPUtime=231.19 cores=0-31
/proc/30687/task/30708/stat : 30708 (claspmt) R 30685 30687 30657 0 -1 4202560 12276 0 0 0 23046 73 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669417 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=30687/tid=30709] ppid=30685 vsize=2312572 CPUtime=231.84 cores=0-31
/proc/30687/task/30709/stat : 30709 (claspmt) R 30685 30687 30657 0 -1 4202560 6749 0 0 0 23128 56 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30687/tid=30710] ppid=30685 vsize=2312572 CPUtime=231.11 cores=0-31
/proc/30687/task/30710/stat : 30710 (claspmt) R 30685 30687 30657 0 -1 4202560 12576 0 0 0 23039 72 0 0 25 0 32 0 29940500 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30687/tid=30711] ppid=30685 vsize=2312572 CPUtime=231.25 cores=0-31
/proc/30687/task/30711/stat : 30711 (claspmt) R 30685 30687 30657 0 -1 4202560 12898 0 0 0 23050 75 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=30687/tid=30712] ppid=30685 vsize=2312572 CPUtime=231.22 cores=0-31
/proc/30687/task/30712/stat : 30712 (claspmt) R 30685 30687 30657 0 -1 4202560 8102 0 0 0 23061 61 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4370273 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30687/tid=30713] ppid=30685 vsize=2312572 CPUtime=231.23 cores=0-31
/proc/30687/task/30713/stat : 30713 (claspmt) R 30685 30687 30657 0 -1 4202560 7023 0 0 0 23063 60 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=30687/tid=30714] ppid=30685 vsize=2312572 CPUtime=231.25 cores=0-31
/proc/30687/task/30714/stat : 30714 (claspmt) R 30685 30687 30657 0 -1 4202560 16015 0 0 0 23038 87 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=30687/tid=30715] ppid=30685 vsize=2312572 CPUtime=231.24 cores=0-31
/proc/30687/task/30715/stat : 30715 (claspmt) R 30685 30687 30657 0 -1 4202560 14959 0 0 0 23041 83 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=30687/tid=30716] ppid=30685 vsize=2312572 CPUtime=231.18 cores=0-31
/proc/30687/task/30716/stat : 30716 (claspmt) R 30685 30687 30657 0 -1 4202560 14304 0 0 0 23034 84 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=30687/tid=30717] ppid=30685 vsize=2312572 CPUtime=231.77 cores=0-31
/proc/30687/task/30717/stat : 30717 (claspmt) R 30685 30687 30657 0 -1 4202560 6104 0 0 0 23127 50 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30687/tid=30718] ppid=30685 vsize=2312572 CPUtime=231.18 cores=0-31
/proc/30687/task/30718/stat : 30718 (claspmt) R 30685 30687 30657 0 -1 4202560 15230 0 0 0 23038 80 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30687/tid=30719] ppid=30685 vsize=2312572 CPUtime=231.21 cores=0-31
/proc/30687/task/30719/stat : 30719 (claspmt) R 30685 30687 30657 0 -1 4202560 16132 0 0 0 23039 82 0 0 25 0 32 0 29940501 2368073728 358303 270582939648 4194304 4964800 140733308691456 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7397.02
Current children cumulated vsize (KiB) 2312572

[startup+236.801 s]
/proc/loadavg: 32.01 31.53 31.44 2/413 30725
/proc/meminfo: memFree=260907240/264257624 swapFree=67111528/67111528
[pid=30687] ppid=30685 vsize=2144180 CPUtime=7423.45 cores=0-31
/proc/30687/stat : 30687 (claspmt) R 30685 30687 30657 0 -1 4202496 404245 0 0 0 740030 2315 0 0 25 0 1 0 29940255 2195640320 338317 270582939648 4194304 4964800 140733308691456 18446744073709551615 258650613570 0 0 4096 18946 0 0 0 17 23 0 0 0
/proc/30687/statm: 536045 338317 474 189 0 530394 0
Current children cumulated CPU time (s) 7423.45
Current children cumulated vsize (KiB) 2144180

[startup+237.601 s]
/proc/loadavg: 32.01 31.53 31.44 2/413 30725
/proc/meminfo: memFree=261072036/264257624 swapFree=67111528/67111528
[pid=30687] ppid=30685 vsize=2027124 CPUtime=7424.26 cores=0-31
/proc/30687/stat : 30687 (claspmt) R 30685 30687 30657 0 -1 4202496 404245 0 0 0 740110 2316 0 0 25 0 1 0 29940255 2075774976 308185 270582939648 4194304 4964800 140733308691456 18446744073709551615 258650611746 0 0 4096 18946 0 0 0 17 23 0 0 0
/proc/30687/statm: 506781 308185 474 189 0 501130 0
Current children cumulated CPU time (s) 7424.26
Current children cumulated vsize (KiB) 2027124

[startup+238.001 s]
/proc/loadavg: 32.01 31.53 31.44 2/413 30725
/proc/meminfo: memFree=261072036/264257624 swapFree=67111528/67111528
[pid=30687] ppid=30685 vsize=1975912 CPUtime=7424.65 cores=0-31
/proc/30687/stat : 30687 (claspmt) R 30685 30687 30657 0 -1 4202496 404245 0 0 0 740147 2318 0 0 25 0 1 0 29940255 2023333888 263026 270582939648 4194304 4964800 140733308691456 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 23 0 0 0
/proc/30687/statm: 493978 263026 474 189 0 488327 0
Current children cumulated CPU time (s) 7424.65
Current children cumulated vsize (KiB) 1975912

Child status: 20
Real time (s): 238.079
CPU time (s): 7424.74
CPU user time (s): 7401.48
CPU system time (s): 23.2605
CPU usage (%): 3118.6
Max. virtual memory (cumulated for all children) (KiB): 2312572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7401.48
system time used= 23.2605
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404246
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= 151346
involuntary context switches= 16674

runsolver used 1.34679 second user time and 5.40818 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-09 20:52:14
IDJOB=3472431
IDBENCH=82488
IDSOLVER=1961
FILE ID=node200/3472431-1307645533
RUNJOBID= node200-1307645533-30671
PBS_JOBID= 13547782
Free space on /tmp= 61736 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.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-3472431-1307645533/watcher-3472431-1307645533 -o /tmp/evaluation-result-3472431-1307645533/solver-3472431-1307645533 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472431-1307645533.cnf

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

MD5SUM BENCH= a4c7dbdc89378b1335eea4904f9f5cb5
RANDOM SEED=1983168421

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:      262300008 kB
Buffers:        243316 kB
Cached:        1408548 kB
SwapCached:          0 kB
Active:         267536 kB
Inactive:      1447804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262300008 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8704 kB
Writeback:           0 kB
AnonPages:       64408 kB
Mapped:          13480 kB
Slab:           162936 kB
PageTables:       4640 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   163744 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61736 MiB
End job on node200 at 2011-06-09 20:56:12