Trace number 3472503

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 27577 864.969

General information on the benchmark

NameSAT03/industrial/goldberg/hard_eq_check/
k2mul.miter.shuffled-as.sat03-355.cnf
MD5SUM77e0700cbaeeb3d63a4820608fc84761
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5940.8
Satisfiable
(Un)Satisfiability was proved
Number of variables11680
Number of clauses74581
Sum of the clauses size252050
Maximum clause length86
Minimum clause length1
Number of clauses of size 14
Number of clauses of size 217176
Number of clauses of size 334696
Number of clauses of size 40
Number of clauses of size 522704
Number of clauses of size over 51

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...790207/instance-3472503-1307790207.cnf
0.29/0.35	c Solving...
27576.96/864.94	s UNSATISFIABLE
27576.96/864.94	
27576.96/864.94	c Models        : 0     
27576.96/864.94	c Time          : 864.158s (Solving: 863.82s 1st Model: 0.00s Unsat: 863.82s)
27576.96/864.94	c CPU Time      : 27576.230s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3472503-1307790207/watcher-3472503-1307790207 -o /tmp/evaluation-result-3472503-1307790207/solver-3472503-1307790207 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472503-1307790207.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 31.57 31.88 2/413 9726
/proc/meminfo: memFree=262083960/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=24252 CPUtime=0.03 cores=0-31
/proc/9726/stat : 9726 (claspmt) R 9724 9726 9696 0 -1 4202496 1450 0 0 0 3 0 0 0 22 0 1 0 44407592 24834048 1253 270582939648 4194304 4964800 140733443334656 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9726/statm: 6063 1253 386 189 0 937 0

[startup+0.0952629 s]
/proc/loadavg: 29.48 31.57 31.88 2/413 9726
/proc/meminfo: memFree=262083960/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=28408 CPUtime=0.08 cores=0-31
/proc/9726/stat : 9726 (claspmt) R 9724 9726 9696 0 -1 4202496 2856 0 0 0 8 0 0 0 22 0 1 0 44407592 29089792 2290 270582939648 4194304 4964800 140733443334656 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9726/statm: 7102 2290 396 189 0 1976 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28408

[startup+0.101257 s]
/proc/loadavg: 29.48 31.57 31.88 2/413 9726
/proc/meminfo: memFree=262083960/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=28672 CPUtime=0.09 cores=0-31
/proc/9726/stat : 9726 (claspmt) R 9724 9726 9696 0 -1 4202496 2912 0 0 0 9 0 0 0 22 0 1 0 44407592 29360128 2346 270582939648 4194304 4964800 140733443334656 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9726/statm: 7168 2346 397 189 0 2042 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28672

[startup+0.300266 s]
/proc/loadavg: 29.48 31.57 31.88 2/413 9726
/proc/meminfo: memFree=262083960/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=30412 CPUtime=0.29 cores=0-31
/proc/9726/stat : 9726 (claspmt) R 9724 9726 9696 0 -1 4202496 3325 0 0 0 29 0 0 0 23 0 1 0 44407592 31141888 2759 270582939648 4194304 4964800 140733443334656 18446744073709551615 4601745 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/9726/statm: 7603 2759 401 189 0 2477 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30412

[startup+0.700242 s]
/proc/loadavg: 29.48 31.57 31.88 2/413 9726
/proc/meminfo: memFree=262083960/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=1881028 CPUtime=2.46 cores=0-31
/proc/9726/stat : 9726 (claspmt) S 9724 9726 9696 0 -1 4202496 30998 0 0 0 94 152 0 0 18 0 32 0 44407592 1926172672 27481 270582939648 4194304 4964800 140733443334656 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9726/statm: 470257 27490 435 189 0 464606 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 1881028

[startup+1.5022 s]
/proc/loadavg: 29.48 31.57 31.88 5/445 9758
/proc/meminfo: memFree=261975064/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=1881556 CPUtime=10.08 cores=0-31
/proc/9726/stat : 9726 (claspmt) R 9724 9726 9696 0 -1 4202496 35082 0 0 0 841 167 0 0 17 0 32 0 44407592 1926713344 31564 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670264 0 0 4096 18946 18446744073709551615 0 0 17 23 0 0 0
/proc/9726/statm: 470389 31565 451 189 0 464738 0
[pid=9726/tid=9728] ppid=9724 vsize=1881556 CPUtime=0.21 cores=0-31
/proc/9726/task/9728/stat : 9728 (claspmt) R 9724 9726 9696 0 -1 4202560 841 0 0 0 18 3 0 0 16 0 32 0 44407628 1926713344 31566 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9726/tid=9729] ppid=9724 vsize=1881556 CPUtime=0.22 cores=0-31
/proc/9726/task/9729/stat : 9729 (claspmt) R 9724 9726 9696 0 -1 4202560 1056 0 0 0 17 5 0 0 16 0 32 0 44407628 1926713344 31568 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9726/tid=9730] ppid=9724 vsize=1881556 CPUtime=0.2 cores=0-31
/proc/9726/task/9730/stat : 9730 (claspmt) R 9724 9726 9696 0 -1 4202560 1056 0 0 0 16 4 0 0 16 0 32 0 44407628 1926713344 31568 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9726/tid=9731] ppid=9724 vsize=1881556 CPUtime=0.23 cores=0-31
/proc/9726/task/9731/stat : 9731 (claspmt) R 9724 9726 9696 0 -1 4202560 877 0 0 0 18 5 0 0 16 0 32 0 44407628 1926713344 31570 270582939648 4194304 4964800 140733443334656 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9726/tid=9732] ppid=9724 vsize=1881556 CPUtime=0.8 cores=0-31
/proc/9726/task/9732/stat : 9732 (claspmt) R 9724 9726 9696 0 -1 4202560 931 0 0 0 75 5 0 0 18 0 32 0 44407628 1926713344 31570 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9726/tid=9733] ppid=9724 vsize=1881556 CPUtime=0.21 cores=0-31
/proc/9726/task/9733/stat : 9733 (claspmt) R 9724 9726 9696 0 -1 4202560 1178 0 0 0 17 4 0 0 16 0 32 0 44407628 1926713344 31570 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9726/tid=9734] ppid=9724 vsize=1881556 CPUtime=0.22 cores=0-31
/proc/9726/task/9734/stat : 9734 (claspmt) R 9724 9726 9696 0 -1 4202560 1058 0 0 0 18 4 0 0 16 0 32 0 44407628 1926713344 31570 270582939648 4194304 4964800 140733443334656 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9726/tid=9735] ppid=9724 vsize=1881556 CPUtime=0.21 cores=0-31
/proc/9726/task/9735/stat : 9735 (claspmt) R 9724 9726 9696 0 -1 4202560 863 0 0 0 17 4 0 0 16 0 32 0 44407628 1926713344 31573 270582939648 4194304 4964800 140733443334656 18446744073709551615 4372759 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9726/tid=9736] ppid=9724 vsize=1881556 CPUtime=0.21 cores=0-31
/proc/9726/task/9736/stat : 9736 (claspmt) R 9724 9726 9696 0 -1 4202560 949 0 0 0 17 4 0 0 16 0 32 0 44407628 1926713344 31573 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9726/tid=9737] ppid=9724 vsize=1881556 CPUtime=0.22 cores=0-31
/proc/9726/task/9737/stat : 9737 (claspmt) R 9724 9726 9696 0 -1 4202560 1060 0 0 0 18 4 0 0 16 0 32 0 44407628 1926713344 31574 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669973 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9726/tid=9738] ppid=9724 vsize=1881556 CPUtime=0.23 cores=0-31
/proc/9726/task/9738/stat : 9738 (claspmt) R 9724 9726 9696 0 -1 4202560 1127 0 0 0 18 5 0 0 16 0 32 0 44407628 1926713344 31574 270582939648 4194304 4964800 140733443334656 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9726/tid=9739] ppid=9724 vsize=1881556 CPUtime=0.22 cores=0-31
/proc/9726/task/9739/stat : 9739 (claspmt) R 9724 9726 9696 0 -1 4202560 931 0 0 0 18 4 0 0 16 0 32 0 44407628 1926713344 31575 270582939648 4194304 4964800 140733443334656 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9726/tid=9740] ppid=9724 vsize=1881556 CPUtime=0.83 cores=0-31
/proc/9726/task/9740/stat : 9740 (claspmt) R 9724 9726 9696 0 -1 4202560 1078 0 0 0 79 4 0 0 18 0 32 0 44407628 1926713344 31575 270582939648 4194304 4964800 140733443334656 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9726/tid=9741] ppid=9724 vsize=1881556 CPUtime=0.23 cores=0-31
/proc/9726/task/9741/stat : 9741 (claspmt) R 9724 9726 9696 0 -1 4202560 1077 0 0 0 18 5 0 0 16 0 32 0 44407628 1926713344 31576 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9726/tid=9742] ppid=9724 vsize=1881556 CPUtime=0.21 cores=0-31
/proc/9726/task/9742/stat : 9742 (claspmt) R 9724 9726 9696 0 -1 4202560 1047 0 0 0 17 4 0 0 16 0 32 0 44407628 1926713344 31576 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9726/tid=9743] ppid=9724 vsize=1881556 CPUtime=0.22 cores=0-31
/proc/9726/task/9743/stat : 9743 (claspmt) R 9724 9726 9696 0 -1 4202560 935 0 0 0 17 5 0 0 16 0 32 0 44407628 1926713344 31576 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9726/tid=9744] ppid=9724 vsize=1881556 CPUtime=0.22 cores=0-31
/proc/9726/task/9744/stat : 9744 (claspmt) R 9724 9726 9696 0 -1 4202560 947 0 0 0 18 4 0 0 16 0 32 0 44407628 1926713344 31577 270582939648 4194304 4964800 140733443334656 18446744073709551615 4651367 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9726/tid=9745] ppid=9724 vsize=1881556 CPUtime=0.23 cores=0-31
/proc/9726/task/9745/stat : 9745 (claspmt) R 9724 9726 9696 0 -1 4202560 1057 0 0 0 17 6 0 0 16 0 32 0 44407628 1926713344 31577 270582939648 4194304 4964800 140733443334656 18446744073709551615 4668770 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9726/tid=9746] ppid=9724 vsize=1881556 CPUtime=0.22 cores=0-31
/proc/9726/task/9746/stat : 9746 (claspmt) R 9724 9726 9696 0 -1 4202560 1131 0 0 0 17 5 0 0 16 0 32 0 44407628 1926713344 31577 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9726/tid=9747] ppid=9724 vsize=1881556 CPUtime=0.22 cores=0-31
/proc/9726/task/9747/stat : 9747 (claspmt) R 9724 9726 9696 0 -1 4202560 946 0 0 0 17 5 0 0 16 0 32 0 44407628 1926713344 31577 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9726/tid=9748] ppid=9724 vsize=1881556 CPUtime=0.79 cores=0-31
/proc/9726/task/9748/stat : 9748 (claspmt) R 9724 9726 9696 0 -1 4202560 987 0 0 0 73 6 0 0 18 0 32 0 44407628 1926713344 31577 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9726/tid=9749] ppid=9724 vsize=1881556 CPUtime=0.24 cores=0-31
/proc/9726/task/9749/stat : 9749 (claspmt) R 9724 9726 9696 0 -1 4202560 1097 0 0 0 18 6 0 0 16 0 32 0 44407628 1926713344 31577 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9726/tid=9750] ppid=9724 vsize=1881556 CPUtime=0.23 cores=0-31
/proc/9726/task/9750/stat : 9750 (claspmt) R 9724 9726 9696 0 -1 4202560 1024 0 0 0 18 5 0 0 16 0 32 0 44407628 1926713344 31577 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9726/tid=9751] ppid=9724 vsize=1881556 CPUtime=0.22 cores=0-31
/proc/9726/task/9751/stat : 9751 (claspmt) R 9724 9726 9696 0 -1 4202560 933 0 0 0 18 4 0 0 16 0 32 0 44407628 1926713344 31577 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9726/tid=9752] ppid=9724 vsize=1881556 CPUtime=0.22 cores=0-31
/proc/9726/task/9752/stat : 9752 (claspmt) R 9724 9726 9696 0 -1 4202560 967 0 0 0 16 6 0 0 16 0 32 0 44407628 1926713344 31578 270582939648 4194304 4964800 140733443334656 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9726/tid=9753] ppid=9724 vsize=1881556 CPUtime=0.23 cores=0-31
/proc/9726/task/9753/stat : 9753 (claspmt) R 9724 9726 9696 0 -1 4202560 1018 0 0 0 18 5 0 0 16 0 32 0 44407628 1926713344 31578 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9726/tid=9754] ppid=9724 vsize=1881556 CPUtime=0.23 cores=0-31
/proc/9726/task/9754/stat : 9754 (claspmt) R 9724 9726 9696 0 -1 4202560 1088 0 0 0 17 6 0 0 16 0 32 0 44407629 1926713344 31578 270582939648 4194304 4964800 140733443334656 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9726/tid=9755] ppid=9724 vsize=1881556 CPUtime=0.23 cores=0-31
/proc/9726/task/9755/stat : 9755 (claspmt) R 9724 9726 9696 0 -1 4202560 918 0 0 0 18 5 0 0 16 0 32 0 44407629 1926713344 31578 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9726/tid=9756] ppid=9724 vsize=1881556 CPUtime=0.84 cores=0-31
/proc/9726/task/9756/stat : 9756 (claspmt) R 9724 9726 9696 0 -1 4202560 893 0 0 0 80 4 0 0 18 0 32 0 44407629 1926713344 31578 270582939648 4194304 4964800 140733443334656 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9726/tid=9757] ppid=9724 vsize=1881556 CPUtime=0.24 cores=0-31
/proc/9726/task/9757/stat : 9757 (claspmt) R 9724 9726 9696 0 -1 4202560 1159 0 0 0 18 6 0 0 16 0 32 0 44407629 1926713344 31578 270582939648 4194304 4964800 140733443334656 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9726/tid=9758] ppid=9724 vsize=1881556 CPUtime=0.22 cores=0-31
/proc/9726/task/9758/stat : 9758 (claspmt) R 9724 9726 9696 0 -1 4202560 1081 0 0 0 18 4 0 0 16 0 32 0 44407629 1926713344 31578 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 10.08
Current children cumulated vsize (KiB) 1881556

[startup+3.10225 s]
/proc/loadavg: 29.48 31.57 31.88 34/445 9758
/proc/meminfo: memFree=261954176/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=1882392 CPUtime=61.2 cores=0-31
/proc/9726/stat : 9726 (claspmt) R 9724 9726 9696 0 -1 4202496 39997 0 0 0 5941 179 0 0 20 0 32 0 44407592 1927569408 36478 270582939648 4194304 4964800 140733443334656 18446744073709551615 4660185 0 0 4096 18946 18446744073709551615 0 0 17 23 0 0 0
/proc/9726/statm: 470598 36479 461 189 0 464947 0
[pid=9726/tid=9728] ppid=9724 vsize=1882392 CPUtime=1.81 cores=0-31
/proc/9726/task/9728/stat : 9728 (claspmt) R 9724 9726 9696 0 -1 4202560 998 0 0 0 178 3 0 0 18 0 32 0 44407628 1927569408 36479 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9726/tid=9729] ppid=9724 vsize=1882392 CPUtime=1.83 cores=0-31
/proc/9726/task/9729/stat : 9729 (claspmt) R 9724 9726 9696 0 -1 4202560 1284 0 0 0 177 6 0 0 17 0 32 0 44407628 1927569408 36479 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669187 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9726/tid=9730] ppid=9724 vsize=1882392 CPUtime=1.81 cores=0-31
/proc/9726/task/9730/stat : 9730 (claspmt) R 9724 9726 9696 0 -1 4202560 1177 0 0 0 176 5 0 0 17 0 32 0 44407628 1927569408 36479 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9726/tid=9731] ppid=9724 vsize=1882392 CPUtime=1.83 cores=0-31
/proc/9726/task/9731/stat : 9731 (claspmt) R 9724 9726 9696 0 -1 4202560 1043 0 0 0 177 6 0 0 17 0 32 0 44407628 1927569408 36480 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9726/tid=9732] ppid=9724 vsize=1882392 CPUtime=2.4 cores=0-31
/proc/9726/task/9732/stat : 9732 (claspmt) R 9724 9726 9696 0 -1 4202560 954 0 0 0 235 5 0 0 20 0 32 0 44407628 1927569408 36480 270582939648 4194304 4964800 140733443334656 18446744073709551615 4399625 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9726/tid=9733] ppid=9724 vsize=1882392 CPUtime=1.82 cores=0-31
/proc/9726/task/9733/stat : 9733 (claspmt) R 9724 9726 9696 0 -1 4202560 1386 0 0 0 177 5 0 0 17 0 32 0 44407628 1927569408 36480 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9726/tid=9734] ppid=9724 vsize=1882392 CPUtime=1.82 cores=0-31
/proc/9726/task/9734/stat : 9734 (claspmt) R 9724 9726 9696 0 -1 4202560 1244 0 0 0 177 5 0 0 18 0 32 0 44407628 1927569408 36480 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9726/tid=9735] ppid=9724 vsize=1882392 CPUtime=1.81 cores=0-31
/proc/9726/task/9735/stat : 9735 (claspmt) R 9724 9726 9696 0 -1 4202560 996 0 0 0 177 4 0 0 17 0 32 0 44407628 1927569408 36480 270582939648 4194304 4964800 140733443334656 18446744073709551615 4342154 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9726/tid=9736] ppid=9724 vsize=1882392 CPUtime=1.81 cores=0-31
/proc/9726/task/9736/stat : 9736 (claspmt) R 9724 9726 9696 0 -1 4202560 1115 0 0 0 176 5 0 0 17 0 32 0 44407628 1927569408 36481 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9726/tid=9737] ppid=9724 vsize=1882392 CPUtime=1.81 cores=0-31
/proc/9726/task/9737/stat : 9737 (claspmt) R 9724 9726 9696 0 -1 4202560 1239 0 0 0 177 4 0 0 18 0 32 0 44407628 1927569408 36481 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9726/tid=9738] ppid=9724 vsize=1882392 CPUtime=1.83 cores=0-31
/proc/9726/task/9738/stat : 9738 (claspmt) R 9724 9726 9696 0 -1 4202560 1283 0 0 0 178 5 0 0 17 0 32 0 44407628 1927569408 36481 270582939648 4194304 4964800 140733443334656 18446744073709551615 4363560 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9726/tid=9739] ppid=9724 vsize=1882392 CPUtime=1.82 cores=0-31
/proc/9726/task/9739/stat : 9739 (claspmt) R 9724 9726 9696 0 -1 4202560 1089 0 0 0 177 5 0 0 17 0 32 0 44407628 1927569408 36481 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9726/tid=9740] ppid=9724 vsize=1882392 CPUtime=2.37 cores=0-31
/proc/9726/task/9740/stat : 9740 (claspmt) R 9724 9726 9696 0 -1 4202560 1104 0 0 0 233 4 0 0 20 0 32 0 44407628 1927569408 36481 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9726/tid=9741] ppid=9724 vsize=1882392 CPUtime=1.82 cores=0-31
/proc/9726/task/9741/stat : 9741 (claspmt) R 9724 9726 9696 0 -1 4202560 1271 0 0 0 177 5 0 0 18 0 32 0 44407628 1927569408 36481 270582939648 4194304 4964800 140733443334656 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9726/tid=9742] ppid=9724 vsize=1882392 CPUtime=1.82 cores=0-31
/proc/9726/task/9742/stat : 9742 (claspmt) R 9724 9726 9696 0 -1 4202560 1278 0 0 0 177 5 0 0 17 0 32 0 44407628 1927569408 36481 270582939648 4194304 4964800 140733443334656 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9726/tid=9743] ppid=9724 vsize=1882392 CPUtime=1.82 cores=0-31
/proc/9726/task/9743/stat : 9743 (claspmt) R 9724 9726 9696 0 -1 4202560 1084 0 0 0 176 6 0 0 17 0 32 0 44407628 1927569408 36481 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9726/tid=9744] ppid=9724 vsize=1882392 CPUtime=1.83 cores=0-31
/proc/9726/task/9744/stat : 9744 (claspmt) R 9724 9726 9696 0 -1 4202560 1115 0 0 0 178 5 0 0 18 0 32 0 44407628 1927569408 36481 270582939648 4194304 4964800 140733443334656 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9726/tid=9745] ppid=9724 vsize=1882392 CPUtime=1.82 cores=0-31
/proc/9726/task/9745/stat : 9745 (claspmt) R 9724 9726 9696 0 -1 4202560 1205 0 0 0 176 6 0 0 17 0 32 0 44407628 1927569408 36481 270582939648 4194304 4964800 140733443334656 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9726/tid=9746] ppid=9724 vsize=1882392 CPUtime=1.82 cores=0-31
/proc/9726/task/9746/stat : 9746 (claspmt) R 9724 9726 9696 0 -1 4202560 1293 0 0 0 177 5 0 0 18 0 32 0 44407628 1927569408 36482 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9726/tid=9747] ppid=9724 vsize=1882392 CPUtime=1.82 cores=0-31
/proc/9726/task/9747/stat : 9747 (claspmt) R 9724 9726 9696 0 -1 4202560 1091 0 0 0 176 6 0 0 18 0 32 0 44407628 1927569408 36482 270582939648 4194304 4964800 140733443334656 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9726/tid=9748] ppid=9724 vsize=1882392 CPUtime=2.39 cores=0-31
/proc/9726/task/9748/stat : 9748 (claspmt) R 9724 9726 9696 0 -1 4202560 1000 0 0 0 233 6 0 0 20 0 32 0 44407628 1927569408 36483 270582939648 4194304 4964800 140733443334656 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9726/tid=9749] ppid=9724 vsize=1882392 CPUtime=1.84 cores=0-31
/proc/9726/task/9749/stat : 9749 (claspmt) R 9724 9726 9696 0 -1 4202560 1276 0 0 0 178 6 0 0 18 0 32 0 44407628 1927569408 36483 270582939648 4194304 4964800 140733443334656 18446744073709551615 4332103 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9726/tid=9750] ppid=9724 vsize=1882392 CPUtime=1.82 cores=0-31
/proc/9726/task/9750/stat : 9750 (claspmt) R 9724 9726 9696 0 -1 4202560 1224 0 0 0 177 5 0 0 18 0 32 0 44407628 1927569408 36483 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669523 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9726/tid=9751] ppid=9724 vsize=1882392 CPUtime=1.82 cores=0-31
/proc/9726/task/9751/stat : 9751 (claspmt) R 9724 9726 9696 0 -1 4202560 1074 0 0 0 177 5 0 0 17 0 32 0 44407628 1927569408 36483 270582939648 4194304 4964800 140733443334656 18446744073709551615 4342232 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9726/tid=9752] ppid=9724 vsize=1882392 CPUtime=1.82 cores=0-31
/proc/9726/task/9752/stat : 9752 (claspmt) R 9724 9726 9696 0 -1 4202560 1112 0 0 0 176 6 0 0 17 0 32 0 44407628 1927569408 36483 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9726/tid=9753] ppid=9724 vsize=1882392 CPUtime=1.83 cores=0-31
/proc/9726/task/9753/stat : 9753 (claspmt) R 9724 9726 9696 0 -1 4202560 1183 0 0 0 177 6 0 0 17 0 32 0 44407628 1927569408 36483 270582939648 4194304 4964800 140733443334656 18446744073709551615 4660447 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9726/tid=9754] ppid=9724 vsize=1882392 CPUtime=1.83 cores=0-31
/proc/9726/task/9754/stat : 9754 (claspmt) R 9724 9726 9696 0 -1 4202560 1266 0 0 0 177 6 0 0 17 0 32 0 44407629 1927569408 36483 270582939648 4194304 4964800 140733443334656 18446744073709551615 4362958 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9726/tid=9755] ppid=9724 vsize=1882392 CPUtime=1.82 cores=0-31
/proc/9726/task/9755/stat : 9755 (claspmt) R 9724 9726 9696 0 -1 4202560 1063 0 0 0 177 5 0 0 17 0 32 0 44407629 1927569408 36484 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9726/tid=9756] ppid=9724 vsize=1882392 CPUtime=2.45 cores=0-31
/proc/9726/task/9756/stat : 9756 (claspmt) R 9724 9726 9696 0 -1 4202560 913 0 0 0 240 5 0 0 20 0 32 0 44407629 1927569408 36484 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9726/tid=9757] ppid=9724 vsize=1882392 CPUtime=1.84 cores=0-31

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

[pid=9726/tid=9755] ppid=9724 vsize=3759792 CPUtime=859.11 cores=0-31
/proc/9726/task/9755/stat : 9755 (claspmt) R 9724 9726 9696 0 -1 4202560 26960 0 0 0 85811 100 0 0 25 0 32 0 44407629 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9726/tid=9756] ppid=9724 vsize=3759792 CPUtime=859.77 cores=0-31
/proc/9726/task/9756/stat : 9756 (claspmt) R 9724 9726 9696 0 -1 4202560 17891 0 0 0 85910 67 0 0 25 0 32 0 44407629 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9726/tid=9757] ppid=9724 vsize=3759792 CPUtime=859.18 cores=0-31
/proc/9726/task/9757/stat : 9757 (claspmt) R 9724 9726 9696 0 -1 4202560 5869 0 0 0 85896 22 0 0 25 0 32 0 44407629 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9726/tid=9758] ppid=9724 vsize=3759792 CPUtime=859.05 cores=0-31
/proc/9726/task/9758/stat : 9758 (claspmt) R 9724 9726 9696 0 -1 4202560 108479 0 0 0 85649 256 0 0 25 0 32 0 44407629 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 27470.4
Current children cumulated vsize (KiB) 3759792

[startup+862.301 s]
/proc/loadavg: 32.04 32.00 31.95 33/445 9780
/proc/meminfo: memFree=259060928/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=3759792 CPUtime=27522.1 cores=0-31
/proc/9726/stat : 9726 (claspmt) R 9724 9726 9696 0 -1 4202496 771597 0 0 0 2749899 2310 0 0 25 0 32 0 44407592 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 27 0 0 0
/proc/9726/statm: 939948 757221 463 189 0 934297 0
[pid=9726/tid=9728] ppid=9724 vsize=3759792 CPUtime=855.55 cores=0-31
/proc/9726/task/9728/stat : 9728 (claspmt) R 9724 9726 9696 0 -1 4202560 5261 0 0 0 85537 18 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9726/tid=9729] ppid=9724 vsize=3759792 CPUtime=860.73 cores=0-31
/proc/9726/task/9729/stat : 9729 (claspmt) R 9724 9726 9696 0 -1 4202560 26492 0 0 0 85992 81 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9726/tid=9730] ppid=9724 vsize=3759792 CPUtime=860.79 cores=0-31
/proc/9726/task/9730/stat : 9730 (claspmt) R 9724 9726 9696 0 -1 4202560 4721 0 0 0 86059 20 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9726/tid=9731] ppid=9724 vsize=3759792 CPUtime=860.73 cores=0-31
/proc/9726/task/9731/stat : 9731 (claspmt) R 9724 9726 9696 0 -1 4202560 25364 0 0 0 85984 89 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4362349 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9726/tid=9732] ppid=9724 vsize=3759792 CPUtime=861.22 cores=0-31
/proc/9726/task/9732/stat : 9732 (claspmt) R 9724 9726 9696 0 -1 4202560 18635 0 0 0 86051 71 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9726/tid=9733] ppid=9724 vsize=3759792 CPUtime=860.77 cores=0-31
/proc/9726/task/9733/stat : 9733 (claspmt) R 9724 9726 9696 0 -1 4202560 5619 0 0 0 86055 22 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9726/tid=9734] ppid=9724 vsize=3759792 CPUtime=860.66 cores=0-31
/proc/9726/task/9734/stat : 9734 (claspmt) R 9724 9726 9696 0 -1 4202560 96371 0 0 0 85840 226 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9726/tid=9735] ppid=9724 vsize=3759792 CPUtime=860.8 cores=0-31
/proc/9726/task/9735/stat : 9735 (claspmt) R 9724 9726 9696 0 -1 4202560 4691 0 0 0 86057 23 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4668822 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9726/tid=9736] ppid=9724 vsize=3759792 CPUtime=860.77 cores=0-31
/proc/9726/task/9736/stat : 9736 (claspmt) R 9724 9726 9696 0 -1 4202560 3604 0 0 0 86062 15 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9726/tid=9737] ppid=9724 vsize=3759792 CPUtime=858.34 cores=0-31
/proc/9726/task/9737/stat : 9737 (claspmt) R 9724 9726 9696 0 -1 4202560 22383 0 0 0 85765 69 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669460 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9726/tid=9738] ppid=9724 vsize=3759792 CPUtime=860.82 cores=0-31
/proc/9726/task/9738/stat : 9738 (claspmt) R 9724 9726 9696 0 -1 4202560 4290 0 0 0 86064 18 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9726/tid=9739] ppid=9724 vsize=3759792 CPUtime=860.74 cores=0-31
/proc/9726/task/9739/stat : 9739 (claspmt) R 9724 9726 9696 0 -1 4202560 20814 0 0 0 86007 67 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9726/tid=9740] ppid=9724 vsize=3759792 CPUtime=851.62 cores=0-31
/proc/9726/task/9740/stat : 9740 (claspmt) R 9724 9726 9696 0 -1 4202560 23120 0 0 0 85072 90 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9726/tid=9741] ppid=9724 vsize=3759792 CPUtime=860.8 cores=0-31
/proc/9726/task/9741/stat : 9741 (claspmt) R 9724 9726 9696 0 -1 4202560 4730 0 0 0 86060 20 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4321116 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9726/tid=9742] ppid=9724 vsize=3759792 CPUtime=860.51 cores=0-31
/proc/9726/task/9742/stat : 9742 (claspmt) R 9724 9726 9696 0 -1 4202560 84981 0 0 0 85831 220 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9726/tid=9743] ppid=9724 vsize=3759792 CPUtime=860.81 cores=0-31
/proc/9726/task/9743/stat : 9743 (claspmt) R 9724 9726 9696 0 -1 4202560 5368 0 0 0 86057 24 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9726/tid=9744] ppid=9724 vsize=3759792 CPUtime=860.56 cores=0-31
/proc/9726/task/9744/stat : 9744 (claspmt) R 9724 9726 9696 0 -1 4202560 4894 0 0 0 86038 18 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9726/tid=9745] ppid=9724 vsize=3759792 CPUtime=860.72 cores=0-31
/proc/9726/task/9745/stat : 9745 (claspmt) R 9724 9726 9696 0 -1 4202560 22231 0 0 0 85998 74 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9726/tid=9746] ppid=9724 vsize=3759792 CPUtime=860.79 cores=0-31
/proc/9726/task/9746/stat : 9746 (claspmt) R 9724 9726 9696 0 -1 4202560 5125 0 0 0 86059 20 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9726/tid=9747] ppid=9724 vsize=3759792 CPUtime=860.76 cores=0-31
/proc/9726/task/9747/stat : 9747 (claspmt) R 9724 9726 9696 0 -1 4202560 26577 0 0 0 85975 101 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9726/tid=9748] ppid=9724 vsize=3759792 CPUtime=859.62 cores=0-31
/proc/9726/task/9748/stat : 9748 (claspmt) R 9724 9726 9696 0 -1 4202560 13565 0 0 0 85910 52 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9726/tid=9749] ppid=9724 vsize=3759792 CPUtime=860.8 cores=0-31
/proc/9726/task/9749/stat : 9749 (claspmt) R 9724 9726 9696 0 -1 4202560 5043 0 0 0 86060 20 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9726/tid=9750] ppid=9724 vsize=3759792 CPUtime=860.63 cores=0-31
/proc/9726/task/9750/stat : 9750 (claspmt) R 9724 9726 9696 0 -1 4202560 129743 0 0 0 85741 322 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9726/tid=9751] ppid=9724 vsize=3759792 CPUtime=860.79 cores=0-31
/proc/9726/task/9751/stat : 9751 (claspmt) R 9724 9726 9696 0 -1 4202560 5432 0 0 0 86056 23 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9726/tid=9752] ppid=9724 vsize=3759792 CPUtime=860.79 cores=0-31
/proc/9726/task/9752/stat : 9752 (claspmt) R 9724 9726 9696 0 -1 4202560 3378 0 0 0 86062 17 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669078 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9726/tid=9753] ppid=9724 vsize=3759792 CPUtime=860.21 cores=0-31
/proc/9726/task/9753/stat : 9753 (claspmt) R 9724 9726 9696 0 -1 4202560 27877 0 0 0 85928 93 0 0 25 0 32 0 44407628 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9726/tid=9754] ppid=9724 vsize=3759792 CPUtime=860.8 cores=0-31
/proc/9726/task/9754/stat : 9754 (claspmt) R 9724 9726 9696 0 -1 4202560 5388 0 0 0 86057 23 0 0 25 0 32 0 44407629 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9726/tid=9755] ppid=9724 vsize=3759792 CPUtime=860.73 cores=0-31
/proc/9726/task/9755/stat : 9755 (claspmt) R 9724 9726 9696 0 -1 4202560 26960 0 0 0 85973 100 0 0 25 0 32 0 44407629 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9726/tid=9756] ppid=9724 vsize=3759792 CPUtime=861.39 cores=0-31
/proc/9726/task/9756/stat : 9756 (claspmt) R 9724 9726 9696 0 -1 4202560 17891 0 0 0 86072 67 0 0 25 0 32 0 44407629 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9726/tid=9757] ppid=9724 vsize=3759792 CPUtime=860.8 cores=0-31
/proc/9726/task/9757/stat : 9757 (claspmt) R 9724 9726 9696 0 -1 4202560 5869 0 0 0 86058 22 0 0 25 0 32 0 44407629 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9726/tid=9758] ppid=9724 vsize=3759792 CPUtime=860.67 cores=0-31
/proc/9726/task/9758/stat : 9758 (claspmt) R 9724 9726 9696 0 -1 4202560 108479 0 0 0 85811 256 0 0 25 0 32 0 44407629 3850027008 757221 270582939648 4194304 4964800 140733443334656 18446744073709551615 4313814 0 0 4096 18946 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 27522.1
Current children cumulated vsize (KiB) 3759792

[startup+863.901 s]
/proc/loadavg: 32.04 32.00 31.95 33/445 9780
/proc/meminfo: memFree=259060928/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=3759792 CPUtime=27572.6 cores=0-31
/proc/9726/stat : 9726 (claspmt) R 9724 9726 9696 0 -1 4202496 771597 0 0 0 2754943 2315 0 0 25 0 32 0 44407592 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4690283 0 0 4096 18946 18446744073709551615 0 0 17 27 0 0 0
/proc/9726/statm: 939948 757218 463 189 0 934297 0
[pid=9726/tid=9728] ppid=9724 vsize=3759792 CPUtime=857.09 cores=0-31
/proc/9726/task/9728/stat : 9728 (claspmt) R 9724 9726 9696 0 -1 4202560 5261 0 0 0 85691 18 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9726/tid=9729] ppid=9724 vsize=3759792 CPUtime=862.31 cores=0-31
/proc/9726/task/9729/stat : 9729 (claspmt) R 9724 9726 9696 0 -1 4202560 26492 0 0 0 86150 81 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9726/tid=9730] ppid=9724 vsize=3759792 CPUtime=862.37 cores=0-31
/proc/9726/task/9730/stat : 9730 (claspmt) R 9724 9726 9696 0 -1 4202560 4721 0 0 0 86217 20 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9726/tid=9731] ppid=9724 vsize=3759792 CPUtime=862.31 cores=0-31
/proc/9726/task/9731/stat : 9731 (claspmt) R 9724 9726 9696 0 -1 4202560 25364 0 0 0 86142 89 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9726/tid=9732] ppid=9724 vsize=3759792 CPUtime=862.79 cores=0-31
/proc/9726/task/9732/stat : 9732 (claspmt) R 9724 9726 9696 0 -1 4202560 18635 0 0 0 86207 72 0 0 18 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9726/tid=9733] ppid=9724 vsize=3759792 CPUtime=862.35 cores=0-31
/proc/9726/task/9733/stat : 9733 (claspmt) R 9724 9726 9696 0 -1 4202560 5619 0 0 0 86213 22 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9726/tid=9734] ppid=9724 vsize=3759792 CPUtime=862.23 cores=0-31
/proc/9726/task/9734/stat : 9734 (claspmt) R 9724 9726 9696 0 -1 4202560 96371 0 0 0 85997 226 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9726/tid=9735] ppid=9724 vsize=3759792 CPUtime=862.38 cores=0-31
/proc/9726/task/9735/stat : 9735 (claspmt) R 9724 9726 9696 0 -1 4202560 4691 0 0 0 86215 23 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9726/tid=9736] ppid=9724 vsize=3759792 CPUtime=862.35 cores=0-31
/proc/9726/task/9736/stat : 9736 (claspmt) R 9724 9726 9696 0 -1 4202560 3604 0 0 0 86220 15 0 0 18 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9726/tid=9737] ppid=9724 vsize=3759792 CPUtime=859.92 cores=0-31
/proc/9726/task/9737/stat : 9737 (claspmt) R 9724 9726 9696 0 -1 4202560 22383 0 0 0 85923 69 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9726/tid=9738] ppid=9724 vsize=3759792 CPUtime=862.4 cores=0-31
/proc/9726/task/9738/stat : 9738 (claspmt) R 9724 9726 9696 0 -1 4202560 4290 0 0 0 86221 19 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9726/tid=9739] ppid=9724 vsize=3759792 CPUtime=862.32 cores=0-31
/proc/9726/task/9739/stat : 9739 (claspmt) R 9724 9726 9696 0 -1 4202560 20814 0 0 0 86165 67 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9726/tid=9740] ppid=9724 vsize=3759792 CPUtime=853.19 cores=0-31
/proc/9726/task/9740/stat : 9740 (claspmt) R 9724 9726 9696 0 -1 4202560 23120 0 0 0 85229 90 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9726/tid=9741] ppid=9724 vsize=3759792 CPUtime=862.38 cores=0-31
/proc/9726/task/9741/stat : 9741 (claspmt) R 9724 9726 9696 0 -1 4202560 4730 0 0 0 86218 20 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9726/tid=9742] ppid=9724 vsize=3759792 CPUtime=862.08 cores=0-31
/proc/9726/task/9742/stat : 9742 (claspmt) R 9724 9726 9696 0 -1 4202560 84981 0 0 0 85988 220 0 0 18 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9726/tid=9743] ppid=9724 vsize=3759792 CPUtime=862.38 cores=0-31
/proc/9726/task/9743/stat : 9743 (claspmt) R 9724 9726 9696 0 -1 4202560 5368 0 0 0 86214 24 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670511 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9726/tid=9744] ppid=9724 vsize=3759792 CPUtime=862.13 cores=0-31
/proc/9726/task/9744/stat : 9744 (claspmt) R 9724 9726 9696 0 -1 4202560 4894 0 0 0 86195 18 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9726/tid=9745] ppid=9724 vsize=3759792 CPUtime=862.29 cores=0-31
/proc/9726/task/9745/stat : 9745 (claspmt) R 9724 9726 9696 0 -1 4202560 22231 0 0 0 86155 74 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9726/tid=9746] ppid=9724 vsize=3759792 CPUtime=862.36 cores=0-31
/proc/9726/task/9746/stat : 9746 (claspmt) R 9724 9726 9696 0 -1 4202560 5125 0 0 0 86216 20 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9726/tid=9747] ppid=9724 vsize=3759792 CPUtime=862.34 cores=0-31
/proc/9726/task/9747/stat : 9747 (claspmt) R 9724 9726 9696 0 -1 4202560 26577 0 0 0 86133 101 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9726/tid=9748] ppid=9724 vsize=3759792 CPUtime=861.2 cores=0-31
/proc/9726/task/9748/stat : 9748 (claspmt) R 9724 9726 9696 0 -1 4202560 13565 0 0 0 86067 53 0 0 18 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4313794 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9726/tid=9749] ppid=9724 vsize=3759792 CPUtime=862.37 cores=0-31
/proc/9726/task/9749/stat : 9749 (claspmt) R 9724 9726 9696 0 -1 4202560 5043 0 0 0 86217 20 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9726/tid=9750] ppid=9724 vsize=3759792 CPUtime=862.2 cores=0-31
/proc/9726/task/9750/stat : 9750 (claspmt) R 9724 9726 9696 0 -1 4202560 129743 0 0 0 85898 322 0 0 18 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9726/tid=9751] ppid=9724 vsize=3759792 CPUtime=862.37 cores=0-31
/proc/9726/task/9751/stat : 9751 (claspmt) R 9724 9726 9696 0 -1 4202560 5432 0 0 0 86214 23 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9726/tid=9752] ppid=9724 vsize=3759792 CPUtime=862.36 cores=0-31
/proc/9726/task/9752/stat : 9752 (claspmt) R 9724 9726 9696 0 -1 4202560 3378 0 0 0 86219 17 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9726/tid=9753] ppid=9724 vsize=3759792 CPUtime=861.79 cores=0-31
/proc/9726/task/9753/stat : 9753 (claspmt) R 9724 9726 9696 0 -1 4202560 27877 0 0 0 86086 93 0 0 25 0 32 0 44407628 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9726/tid=9754] ppid=9724 vsize=3759792 CPUtime=862.37 cores=0-31
/proc/9726/task/9754/stat : 9754 (claspmt) R 9724 9726 9696 0 -1 4202560 5388 0 0 0 86214 23 0 0 20 0 32 0 44407629 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9726/tid=9755] ppid=9724 vsize=3759792 CPUtime=862.31 cores=0-31
/proc/9726/task/9755/stat : 9755 (claspmt) R 9724 9726 9696 0 -1 4202560 26960 0 0 0 86131 100 0 0 25 0 32 0 44407629 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9726/tid=9756] ppid=9724 vsize=3759792 CPUtime=862.97 cores=0-31
/proc/9726/task/9756/stat : 9756 (claspmt) R 9724 9726 9696 0 -1 4202560 17891 0 0 0 86230 67 0 0 25 0 32 0 44407629 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9726/tid=9757] ppid=9724 vsize=3759792 CPUtime=862.38 cores=0-31
/proc/9726/task/9757/stat : 9757 (claspmt) R 9724 9726 9696 0 -1 4202560 5869 0 0 0 86216 22 0 0 25 0 32 0 44407629 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669711 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9726/tid=9758] ppid=9724 vsize=3759792 CPUtime=862.25 cores=0-31
/proc/9726/task/9758/stat : 9758 (claspmt) R 9724 9726 9696 0 -1 4202560 108479 0 0 0 85969 256 0 0 25 0 32 0 44407629 3850027008 757218 270582939648 4194304 4964800 140733443334656 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 27572.6
Current children cumulated vsize (KiB) 3759792

[startup+864.701 s]
/proc/loadavg: 32.04 32.00 31.95 2/414 9780
/proc/meminfo: memFree=259118216/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=3595296 CPUtime=27576.8 cores=0-31
/proc/9726/stat : 9726 (claspmt) R 9724 9726 9696 0 -1 4202496 771609 0 0 0 2755261 2414 0 0 25 0 1 0 44407592 3681583104 704105 270582939648 4194304 4964800 140733443334656 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 17 27 0 0 0
/proc/9726/statm: 898824 704105 474 189 0 893173 0
Current children cumulated CPU time (s) 27576.8
Current children cumulated vsize (KiB) 3595296

[startup+864.901 s]
/proc/loadavg: 32.04 32.00 31.95 2/414 9780
/proc/meminfo: memFree=259118216/264257624 swapFree=67111528/67111528
[pid=9726] ppid=9724 vsize=2228624 CPUtime=27577 cores=0-31
/proc/9726/stat : 9726 (claspmt) R 9724 9726 9696 0 -1 4202496 771609 0 0 0 2755263 2433 0 0 25 0 1 0 44407592 2282110976 222925 270582939648 4194304 4964800 140733443334656 18446744073709551615 258650981722 0 0 4096 18946 0 0 0 17 27 0 0 0
/proc/9726/statm: 557156 222925 474 189 0 551505 0
Current children cumulated CPU time (s) 27577
Current children cumulated vsize (KiB) 2228624

Child status: 20
Real time (s): 864.969
CPU time (s): 27577
CPU user time (s): 27552.6
CPU system time (s): 24.4003
CPU usage (%): 3188.21
Max. virtual memory (cumulated for all children) (KiB): 3759792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27552.6
system time used= 24.4003
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 771610
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= 202458
involuntary context switches= 69289

runsolver used 4.81227 second user time and 19.639 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-11 13:03:27
IDJOB=3472503
IDBENCH=84215
IDSOLVER=1961
FILE ID=node200/3472503-1307790207
RUNJOBID= node200-1307790207-9710
PBS_JOBID= 13550789
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.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-3472503-1307790207/watcher-3472503-1307790207 -o /tmp/evaluation-result-3472503-1307790207/solver-3472503-1307790207 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472503-1307790207.cnf

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

MD5SUM BENCH= 77e0700cbaeeb3d63a4820608fc84761
RANDOM SEED=1388919776

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:      262085248 kB
Buffers:        289308 kB
Cached:        1553608 kB
SwapCached:          0 kB
Active:         316452 kB
Inactive:      1589972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262085248 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2244 kB
Writeback:           0 kB
AnonPages:       63964 kB
Mapped:          14112 kB
Slab:           185600 kB
PageTables:       4552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   167992 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-11 13:17:52