Trace number 3472502

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 36726 1151.95

General information on the benchmark

NameSAT03/industrial/goldberg/hard_eq_check/
x1mul.miter.shuffled-as.sat03-359.cnf
MD5SUM9edcffddbe07377cf6685697aafad673
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2279.68
Satisfiable
(Un)Satisfiability was proved
Number of variables8756
Number of clauses55571
Sum of the clauses size187746
Maximum clause length70
Minimum clause length1
Number of clauses of size 128
Number of clauses of size 212786
Number of clauses of size 325852
Number of clauses of size 40
Number of clauses of size 516904
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 ...789053/instance-3472502-1307789053.cnf
0.19/0.25	c Solving...
36725.90/1151.92	s UNSATISFIABLE
36725.90/1151.92	
36725.90/1151.92	c Models        : 0     
36725.90/1151.92	c Time          : 1151.186s (Solving: 1150.94s 1st Model: 0.00s Unsat: 1150.94s)
36725.90/1151.92	c CPU Time      : 36725.200s

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-3472502-1307789053/watcher-3472502-1307789053 -o /tmp/evaluation-result-3472502-1307789053/solver-3472502-1307789053 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472502-1307789053.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: 30.03 31.73 31.93 1/413 9594
/proc/meminfo: memFree=262082220/264257624 swapFree=67111528/67111528
[pid=9594] ppid=9592 vsize=23676 CPUtime=0.02 cores=0-31
/proc/9594/stat : 9594 (claspmt) R 9592 9594 9564 0 -1 4202496 1313 0 0 0 2 0 0 0 22 0 1 0 44292200 24244224 1138 270582939648 4194304 4964800 140734863425760 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/9594/statm: 5952 1139 386 189 0 826 0

[startup+0.0696331 s]
/proc/loadavg: 30.03 31.73 31.93 1/413 9594
/proc/meminfo: memFree=262082220/264257624 swapFree=67111528/67111528
[pid=9594] ppid=9592 vsize=26340 CPUtime=0.06 cores=0-31
/proc/9594/stat : 9594 (claspmt) R 9592 9594 9564 0 -1 4202496 2189 0 0 0 6 0 0 0 22 0 1 0 44292200 26972160 1794 270582939648 4194304 4964800 140734863425760 18446744073709551615 258650653104 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/9594/statm: 6585 1794 396 189 0 1459 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 26340

[startup+0.100601 s]
/proc/loadavg: 30.03 31.73 31.93 1/413 9594
/proc/meminfo: memFree=262082220/264257624 swapFree=67111528/67111528
[pid=9594] ppid=9592 vsize=27740 CPUtime=0.09 cores=0-31
/proc/9594/stat : 9594 (claspmt) R 9592 9594 9564 0 -1 4202496 2501 0 0 0 9 0 0 0 22 0 1 0 44292200 28405760 2106 270582939648 4194304 4964800 140734863425760 18446744073709551615 4625265 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/9594/statm: 6935 2106 397 189 0 1809 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27740

[startup+0.300463 s]
/proc/loadavg: 30.03 31.73 31.93 1/413 9594
/proc/meminfo: memFree=262082220/264257624 swapFree=67111528/67111528
[pid=9594] ppid=9592 vsize=689652 CPUtime=0.61 cores=0-31
/proc/9594/stat : 9594 (claspmt) S 9592 9594 9564 0 -1 4202496 8736 0 0 0 28 33 0 0 18 0 32 0 44292200 706203648 6387 270582939648 4194304 4964800 140734863425760 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/9594/statm: 172413 6390 439 189 0 166762 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 689652

[startup+0.700638 s]
/proc/loadavg: 30.03 31.73 31.93 1/413 9594
/proc/meminfo: memFree=262082220/264257624 swapFree=67111528/67111528
[pid=9594] ppid=9592 vsize=1873076 CPUtime=2.38 cores=0-31
/proc/9594/stat : 9594 (claspmt) S 9592 9594 9564 0 -1 4202496 23712 0 0 0 146 92 0 0 18 0 32 0 44292200 1918029824 21085 270582939648 4194304 4964800 140734863425760 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/9594/statm: 468269 21085 435 189 0 462618 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 1873076

[startup+1.50251 s]
/proc/loadavg: 30.03 31.73 31.93 34/445 9626
/proc/meminfo: memFree=261992048/264257624 swapFree=67111528/67111528
[pid=9594] ppid=9592 vsize=1873604 CPUtime=24.02 cores=0-31
/proc/9594/stat : 9594 (claspmt) R 9592 9594 9564 0 -1 4202496 27731 0 0 0 2296 106 0 0 16 0 32 0 44292200 1918570496 25099 270582939648 4194304 4964800 140734863425760 18446744073709551615 4652110 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/9594/statm: 468401 25100 461 189 0 462750 0
[pid=9594/tid=9596] ppid=9592 vsize=1873604 CPUtime=0.7 cores=0-31
/proc/9594/task/9596/stat : 9596 (claspmt) R 9592 9594 9564 0 -1 4202560 496 0 0 0 69 1 0 0 16 0 32 0 44292226 1918570496 25100 270582939648 4194304 4964800 140734863425760 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9594/tid=9597] ppid=9592 vsize=1873604 CPUtime=0.7 cores=0-31
/proc/9594/task/9597/stat : 9597 (claspmt) R 9592 9594 9564 0 -1 4202560 942 0 0 0 66 4 0 0 16 0 32 0 44292226 1918570496 25100 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9594/tid=9598] ppid=9592 vsize=1873604 CPUtime=0.68 cores=0-31
/proc/9594/task/9598/stat : 9598 (claspmt) R 9592 9594 9564 0 -1 4202560 950 0 0 0 65 3 0 0 16 0 32 0 44292226 1918570496 25100 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9594/tid=9599] ppid=9592 vsize=1873604 CPUtime=0.72 cores=0-31
/proc/9594/task/9599/stat : 9599 (claspmt) R 9592 9594 9564 0 -1 4202560 653 0 0 0 70 2 0 0 16 0 32 0 44292226 1918570496 25100 270582939648 4194304 4964800 140734863425760 18446744073709551615 4651952 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9594/tid=9600] ppid=9592 vsize=1873604 CPUtime=0.98 cores=0-31
/proc/9594/task/9600/stat : 9600 (claspmt) R 9592 9594 9564 0 -1 4202560 790 0 0 0 95 3 0 0 18 0 32 0 44292226 1918570496 25100 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9594/tid=9601] ppid=9592 vsize=1873604 CPUtime=0.67 cores=0-31
/proc/9594/task/9601/stat : 9601 (claspmt) R 9592 9594 9564 0 -1 4202560 973 0 0 0 64 3 0 0 16 0 32 0 44292226 1918570496 25100 270582939648 4194304 4964800 140734863425760 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9594/tid=9602] ppid=9592 vsize=1873604 CPUtime=0.7 cores=0-31
/proc/9594/task/9602/stat : 9602 (claspmt) R 9592 9594 9564 0 -1 4202560 853 0 0 0 67 3 0 0 16 0 32 0 44292226 1918570496 25100 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9594/tid=9603] ppid=9592 vsize=1873604 CPUtime=0.73 cores=0-31
/proc/9594/task/9603/stat : 9603 (claspmt) R 9592 9594 9564 0 -1 4202560 675 0 0 0 70 3 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4374525 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9594/tid=9604] ppid=9592 vsize=1873604 CPUtime=0.72 cores=0-31
/proc/9594/task/9604/stat : 9604 (claspmt) R 9592 9594 9564 0 -1 4202560 623 0 0 0 70 2 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4342213 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9594/tid=9605] ppid=9592 vsize=1873604 CPUtime=0.68 cores=0-31
/proc/9594/task/9605/stat : 9605 (claspmt) R 9592 9594 9564 0 -1 4202560 906 0 0 0 65 3 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9594/tid=9606] ppid=9592 vsize=1873604 CPUtime=0.68 cores=0-31
/proc/9594/task/9606/stat : 9606 (claspmt) R 9592 9594 9564 0 -1 4202560 966 0 0 0 64 4 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9594/tid=9607] ppid=9592 vsize=1873604 CPUtime=0.71 cores=0-31
/proc/9594/task/9607/stat : 9607 (claspmt) R 9592 9594 9564 0 -1 4202560 617 0 0 0 69 2 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9594/tid=9608] ppid=9592 vsize=1873604 CPUtime=0.99 cores=0-31
/proc/9594/task/9608/stat : 9608 (claspmt) R 9592 9594 9564 0 -1 4202560 772 0 0 0 96 3 0 0 18 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670282 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9594/tid=9609] ppid=9592 vsize=1873604 CPUtime=0.67 cores=0-31
/proc/9594/task/9609/stat : 9609 (claspmt) R 9592 9594 9564 0 -1 4202560 898 0 0 0 64 3 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9594/tid=9610] ppid=9592 vsize=1873604 CPUtime=0.68 cores=0-31
/proc/9594/task/9610/stat : 9610 (claspmt) R 9592 9594 9564 0 -1 4202560 885 0 0 0 65 3 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669579 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9594/tid=9611] ppid=9592 vsize=1873604 CPUtime=0.71 cores=0-31
/proc/9594/task/9611/stat : 9611 (claspmt) R 9592 9594 9564 0 -1 4202560 678 0 0 0 69 2 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9594/tid=9612] ppid=9592 vsize=1873604 CPUtime=0.73 cores=0-31
/proc/9594/task/9612/stat : 9612 (claspmt) R 9592 9594 9564 0 -1 4202560 676 0 0 0 70 3 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4652251 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9594/tid=9613] ppid=9592 vsize=1873604 CPUtime=0.7 cores=0-31
/proc/9594/task/9613/stat : 9613 (claspmt) R 9592 9594 9564 0 -1 4202560 863 0 0 0 66 4 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4362864 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9594/tid=9614] ppid=9592 vsize=1873604 CPUtime=0.68 cores=0-31
/proc/9594/task/9614/stat : 9614 (claspmt) R 9592 9594 9564 0 -1 4202560 890 0 0 0 64 4 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9594/tid=9615] ppid=9592 vsize=1873604 CPUtime=0.72 cores=0-31
/proc/9594/task/9615/stat : 9615 (claspmt) R 9592 9594 9564 0 -1 4202560 667 0 0 0 69 3 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9594/tid=9616] ppid=9592 vsize=1873604 CPUtime=1.02 cores=0-31
/proc/9594/task/9616/stat : 9616 (claspmt) R 9592 9594 9564 0 -1 4202560 728 0 0 0 99 3 0 0 18 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9594/tid=9617] ppid=9592 vsize=1873604 CPUtime=0.68 cores=0-31
/proc/9594/task/9617/stat : 9617 (claspmt) R 9592 9594 9564 0 -1 4202560 911 0 0 0 65 3 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670688 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9594/tid=9618] ppid=9592 vsize=1873604 CPUtime=0.67 cores=0-31
/proc/9594/task/9618/stat : 9618 (claspmt) R 9592 9594 9564 0 -1 4202560 875 0 0 0 64 3 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9594/tid=9619] ppid=9592 vsize=1873604 CPUtime=0.74 cores=0-31
/proc/9594/task/9619/stat : 9619 (claspmt) R 9592 9594 9564 0 -1 4202560 671 0 0 0 70 4 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4652110 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9594/tid=9620] ppid=9592 vsize=1873604 CPUtime=0.68 cores=0-31
/proc/9594/task/9620/stat : 9620 (claspmt) R 9592 9594 9564 0 -1 4202560 635 0 0 0 66 2 0 0 16 0 32 0 44292226 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4342228 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9594/tid=9621] ppid=9592 vsize=1873604 CPUtime=0.68 cores=0-31
/proc/9594/task/9621/stat : 9621 (claspmt) R 9592 9594 9564 0 -1 4202560 923 0 0 0 65 3 0 0 16 0 32 0 44292227 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669093 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9594/tid=9622] ppid=9592 vsize=1873604 CPUtime=0.69 cores=0-31
/proc/9594/task/9622/stat : 9622 (claspmt) R 9592 9594 9564 0 -1 4202560 930 0 0 0 65 4 0 0 16 0 32 0 44292227 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668672 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9594/tid=9623] ppid=9592 vsize=1873604 CPUtime=0.72 cores=0-31
/proc/9594/task/9623/stat : 9623 (claspmt) R 9592 9594 9564 0 -1 4202560 676 0 0 0 70 2 0 0 16 0 32 0 44292227 1918570496 25101 270582939648 4194304 4964800 140734863425760 18446744073709551615 4342196 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9594/tid=9624] ppid=9592 vsize=1873604 CPUtime=1.01 cores=0-31
/proc/9594/task/9624/stat : 9624 (claspmt) R 9592 9594 9564 0 -1 4202560 777 0 0 0 99 2 0 0 18 0 32 0 44292227 1918570496 25102 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9594/tid=9625] ppid=9592 vsize=1873604 CPUtime=0.67 cores=0-31
/proc/9594/task/9625/stat : 9625 (claspmt) R 9592 9594 9564 0 -1 4202560 923 0 0 0 65 2 0 0 16 0 32 0 44292227 1918570496 25102 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670403 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9594/tid=9626] ppid=9592 vsize=1873604 CPUtime=0.68 cores=0-31
/proc/9594/task/9626/stat : 9626 (claspmt) R 9592 9594 9564 0 -1 4202560 938 0 0 0 65 3 0 0 16 0 32 0 44292227 1918570496 25102 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668801 0 0 4096 18946 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 24.02
Current children cumulated vsize (KiB) 1873604

[startup+3.10156 s]
/proc/loadavg: 30.03 31.73 31.93 33/445 9626
/proc/meminfo: memFree=261979172/264257624 swapFree=67111528/67111528
[pid=9594] ppid=9592 vsize=1875148 CPUtime=75 cores=0-31
/proc/9594/stat : 9594 (claspmt) R 9592 9594 9564 0 -1 4202496 36757 0 0 0 7369 131 0 0 18 0 32 0 44292200 1920151552 34125 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/9594/statm: 468787 34126 461 189 0 463136 0
[pid=9594/tid=9596] ppid=9592 vsize=1875148 CPUtime=2.29 cores=0-31
/proc/9594/task/9596/stat : 9596 (claspmt) R 9592 9594 9564 0 -1 4202560 697 0 0 0 227 2 0 0 18 0 32 0 44292226 1920151552 34126 270582939648 4194304 4964800 140734863425760 18446744073709551615 4684735 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9594/tid=9597] ppid=9592 vsize=1875148 CPUtime=2.29 cores=0-31
/proc/9594/task/9597/stat : 9597 (claspmt) R 9592 9594 9564 0 -1 4202560 1376 0 0 0 224 5 0 0 18 0 32 0 44292226 1920151552 34127 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9594/tid=9598] ppid=9592 vsize=1875148 CPUtime=2.28 cores=0-31
/proc/9594/task/9598/stat : 9598 (claspmt) R 9592 9594 9564 0 -1 4202560 1284 0 0 0 224 4 0 0 18 0 32 0 44292226 1920151552 34128 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9594/tid=9599] ppid=9592 vsize=1875148 CPUtime=2.31 cores=0-31
/proc/9594/task/9599/stat : 9599 (claspmt) R 9592 9594 9564 0 -1 4202560 924 0 0 0 227 4 0 0 18 0 32 0 44292226 1920151552 34128 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9594/tid=9600] ppid=9592 vsize=1875148 CPUtime=2.58 cores=0-31
/proc/9594/task/9600/stat : 9600 (claspmt) R 9592 9594 9564 0 -1 4202560 808 0 0 0 255 3 0 0 21 0 32 0 44292226 1920151552 34128 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668721 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9594/tid=9601] ppid=9592 vsize=1875148 CPUtime=2.27 cores=0-31
/proc/9594/task/9601/stat : 9601 (claspmt) R 9592 9594 9564 0 -1 4202560 1275 0 0 0 223 4 0 0 18 0 32 0 44292226 1920151552 34128 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9594/tid=9602] ppid=9592 vsize=1875148 CPUtime=2.28 cores=0-31
/proc/9594/task/9602/stat : 9602 (claspmt) R 9592 9594 9564 0 -1 4202560 1453 0 0 0 224 4 0 0 18 0 32 0 44292226 1920151552 34128 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9594/tid=9603] ppid=9592 vsize=1875148 CPUtime=2.31 cores=0-31
/proc/9594/task/9603/stat : 9603 (claspmt) R 9592 9594 9564 0 -1 4202560 901 0 0 0 228 3 0 0 18 0 32 0 44292226 1920151552 34128 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9594/tid=9604] ppid=9592 vsize=1875148 CPUtime=2.32 cores=0-31
/proc/9594/task/9604/stat : 9604 (claspmt) R 9592 9594 9564 0 -1 4202560 793 0 0 0 229 3 0 0 18 0 32 0 44292226 1920151552 34128 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9594/tid=9605] ppid=9592 vsize=1875148 CPUtime=2.28 cores=0-31
/proc/9594/task/9605/stat : 9605 (claspmt) R 9592 9594 9564 0 -1 4202560 1334 0 0 0 224 4 0 0 18 0 32 0 44292226 1920151552 34128 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9594/tid=9606] ppid=9592 vsize=1875148 CPUtime=2.27 cores=0-31
/proc/9594/task/9606/stat : 9606 (claspmt) R 9592 9594 9564 0 -1 4202560 1265 0 0 0 223 4 0 0 18 0 32 0 44292226 1920151552 34129 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9594/tid=9607] ppid=9592 vsize=1875148 CPUtime=2.3 cores=0-31
/proc/9594/task/9607/stat : 9607 (claspmt) R 9592 9594 9564 0 -1 4202560 858 0 0 0 227 3 0 0 18 0 32 0 44292226 1920151552 34129 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668969 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9594/tid=9608] ppid=9592 vsize=1875148 CPUtime=2.6 cores=0-31
/proc/9594/task/9608/stat : 9608 (claspmt) R 9592 9594 9564 0 -1 4202560 783 0 0 0 256 4 0 0 21 0 32 0 44292226 1920151552 34129 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9594/tid=9609] ppid=9592 vsize=1875148 CPUtime=2.28 cores=0-31
/proc/9594/task/9609/stat : 9609 (claspmt) R 9592 9594 9564 0 -1 4202560 1218 0 0 0 223 5 0 0 18 0 32 0 44292226 1920151552 34129 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670077 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9594/tid=9610] ppid=9592 vsize=1875148 CPUtime=2.27 cores=0-31
/proc/9594/task/9610/stat : 9610 (claspmt) R 9592 9594 9564 0 -1 4202560 1336 0 0 0 223 4 0 0 18 0 32 0 44292226 1920151552 34129 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9594/tid=9611] ppid=9592 vsize=1875148 CPUtime=2.3 cores=0-31
/proc/9594/task/9611/stat : 9611 (claspmt) R 9592 9594 9564 0 -1 4202560 887 0 0 0 227 3 0 0 18 0 32 0 44292226 1920151552 34129 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9594/tid=9612] ppid=9592 vsize=1875148 CPUtime=2.32 cores=0-31
/proc/9594/task/9612/stat : 9612 (claspmt) R 9592 9594 9564 0 -1 4202560 844 0 0 0 229 3 0 0 18 0 32 0 44292226 1920151552 34130 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9594/tid=9613] ppid=9592 vsize=1875148 CPUtime=2.3 cores=0-31
/proc/9594/task/9613/stat : 9613 (claspmt) R 9592 9594 9564 0 -1 4202560 1316 0 0 0 224 6 0 0 18 0 32 0 44292226 1920151552 34130 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9594/tid=9614] ppid=9592 vsize=1875148 CPUtime=2.27 cores=0-31
/proc/9594/task/9614/stat : 9614 (claspmt) R 9592 9594 9564 0 -1 4202560 1259 0 0 0 222 5 0 0 18 0 32 0 44292226 1920151552 34130 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9594/tid=9615] ppid=9592 vsize=1875148 CPUtime=2.31 cores=0-31
/proc/9594/task/9615/stat : 9615 (claspmt) R 9592 9594 9564 0 -1 4202560 919 0 0 0 228 3 0 0 18 0 32 0 44292226 1920151552 34130 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668770 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9594/tid=9616] ppid=9592 vsize=1875148 CPUtime=2.62 cores=0-31
/proc/9594/task/9616/stat : 9616 (claspmt) R 9592 9594 9564 0 -1 4202560 768 0 0 0 259 3 0 0 21 0 32 0 44292226 1920151552 34130 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9594/tid=9617] ppid=9592 vsize=1875148 CPUtime=2.27 cores=0-31
/proc/9594/task/9617/stat : 9617 (claspmt) R 9592 9594 9564 0 -1 4202560 1243 0 0 0 222 5 0 0 18 0 32 0 44292226 1920151552 34130 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668781 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9594/tid=9618] ppid=9592 vsize=1875148 CPUtime=2.23 cores=0-31
/proc/9594/task/9618/stat : 9618 (claspmt) R 9592 9594 9564 0 -1 4202560 1309 0 0 0 219 4 0 0 18 0 32 0 44292226 1920151552 34130 270582939648 4194304 4964800 140734863425760 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9594/tid=9619] ppid=9592 vsize=1875148 CPUtime=2.32 cores=0-31
/proc/9594/task/9619/stat : 9619 (claspmt) R 9592 9594 9564 0 -1 4202560 911 0 0 0 228 4 0 0 18 0 32 0 44292226 1920151552 34130 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9594/tid=9620] ppid=9592 vsize=1875148 CPUtime=2.27 cores=0-31
/proc/9594/task/9620/stat : 9620 (claspmt) R 9592 9594 9564 0 -1 4202560 843 0 0 0 225 2 0 0 18 0 32 0 44292226 1920151552 34130 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670160 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9594/tid=9621] ppid=9592 vsize=1875148 CPUtime=2.27 cores=0-31
/proc/9594/task/9621/stat : 9621 (claspmt) R 9592 9594 9564 0 -1 4202560 1361 0 0 0 223 4 0 0 18 0 32 0 44292227 1920151552 34133 270582939648 4194304 4964800 140734863425760 18446744073709551615 4673275 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9594/tid=9622] ppid=9592 vsize=1875148 CPUtime=2.29 cores=0-31
/proc/9594/task/9622/stat : 9622 (claspmt) R 9592 9594 9564 0 -1 4202560 1201 0 0 0 224 5 0 0 18 0 32 0 44292227 1920151552 34138 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9594/tid=9623] ppid=9592 vsize=1875148 CPUtime=2.32 cores=0-31
/proc/9594/task/9623/stat : 9623 (claspmt) R 9592 9594 9564 0 -1 4202560 931 0 0 0 229 3 0 0 18 0 32 0 44292227 1920151552 34138 270582939648 4194304 4964800 140734863425760 18446744073709551615 4359861 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9594/tid=9624] ppid=9592 vsize=1875148 CPUtime=2.61 cores=0-31
/proc/9594/task/9624/stat : 9624 (claspmt) R 9592 9594 9564 0 -1 4202560 812 0 0 0 259 2 0 0 21 0 32 0 44292227 1920151552 34138 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9594/tid=9625] ppid=9592 vsize=1875148 CPUtime=2.26 cores=0-31

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

/proc/9594/task/9598/stat : 9598 (claspmt) R 9592 9594 9564 0 -1 4202560 4962 0 0 0 113498 18 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9594/tid=9599] ppid=9592 vsize=3677392 CPUtime=1144.39 cores=0-31
/proc/9594/task/9599/stat : 9599 (claspmt) R 9592 9594 9564 0 -1 4202560 12521 0 0 0 114391 48 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9594/tid=9600] ppid=9592 vsize=3677392 CPUtime=1139.09 cores=0-31
/proc/9594/task/9600/stat : 9600 (claspmt) R 9592 9594 9564 0 -1 4202560 11755 0 0 0 113861 48 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9594/tid=9601] ppid=9592 vsize=3677392 CPUtime=1144.33 cores=0-31
/proc/9594/task/9601/stat : 9601 (claspmt) R 9592 9594 9564 0 -1 4202560 4705 0 0 0 114419 14 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9594/tid=9602] ppid=9592 vsize=3677392 CPUtime=1144.28 cores=0-31
/proc/9594/task/9602/stat : 9602 (claspmt) R 9592 9594 9564 0 -1 4202560 89051 0 0 0 114130 298 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9594/tid=9603] ppid=9592 vsize=3677392 CPUtime=1144.41 cores=0-31
/proc/9594/task/9603/stat : 9603 (claspmt) R 9592 9594 9564 0 -1 4202560 4177 0 0 0 114422 19 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9594/tid=9604] ppid=9592 vsize=3677392 CPUtime=1144.36 cores=0-31
/proc/9594/task/9604/stat : 9604 (claspmt) R 9592 9594 9564 0 -1 4202560 4356 0 0 0 114423 13 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669520 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9594/tid=9605] ppid=9592 vsize=3677392 CPUtime=1144.32 cores=0-31
/proc/9594/task/9605/stat : 9605 (claspmt) R 9592 9594 9564 0 -1 4202560 14681 0 0 0 114377 55 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9594/tid=9606] ppid=9592 vsize=3677392 CPUtime=1144.33 cores=0-31
/proc/9594/task/9606/stat : 9606 (claspmt) R 9592 9594 9564 0 -1 4202560 4762 0 0 0 114417 16 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9594/tid=9607] ppid=9592 vsize=3677392 CPUtime=1144.35 cores=0-31
/proc/9594/task/9607/stat : 9607 (claspmt) R 9592 9594 9564 0 -1 4202560 19150 0 0 0 114358 77 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9594/tid=9608] ppid=9592 vsize=3677392 CPUtime=1144.57 cores=0-31
/proc/9594/task/9608/stat : 9608 (claspmt) R 9592 9594 9564 0 -1 4202560 12723 0 0 0 114408 49 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9594/tid=9609] ppid=9592 vsize=3677392 CPUtime=1144.35 cores=0-31
/proc/9594/task/9609/stat : 9609 (claspmt) R 9592 9594 9564 0 -1 4202560 4442 0 0 0 114416 19 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9594/tid=9610] ppid=9592 vsize=3677392 CPUtime=1144.27 cores=0-31
/proc/9594/task/9610/stat : 9610 (claspmt) R 9592 9594 9564 0 -1 4202560 88531 0 0 0 114123 304 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9594/tid=9611] ppid=9592 vsize=3677392 CPUtime=1140.15 cores=0-31
/proc/9594/task/9611/stat : 9611 (claspmt) R 9592 9594 9564 0 -1 4202560 3817 0 0 0 113998 17 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9594/tid=9612] ppid=9592 vsize=3677392 CPUtime=1144.43 cores=0-31
/proc/9594/task/9612/stat : 9612 (claspmt) R 9592 9594 9564 0 -1 4202560 4627 0 0 0 114427 16 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9594/tid=9613] ppid=9592 vsize=3677392 CPUtime=1144.38 cores=0-31
/proc/9594/task/9613/stat : 9613 (claspmt) R 9592 9594 9564 0 -1 4202560 13295 0 0 0 114397 41 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9594/tid=9614] ppid=9592 vsize=3677392 CPUtime=1143.99 cores=0-31
/proc/9594/task/9614/stat : 9614 (claspmt) R 9592 9594 9564 0 -1 4202560 5147 0 0 0 114370 29 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4644896 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9594/tid=9615] ppid=9592 vsize=3677392 CPUtime=1144.12 cores=0-31
/proc/9594/task/9615/stat : 9615 (claspmt) R 9592 9594 9564 0 -1 4202560 13792 0 0 0 114359 53 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9594/tid=9616] ppid=9592 vsize=3677392 CPUtime=1144.68 cores=0-31
/proc/9594/task/9616/stat : 9616 (claspmt) R 9592 9594 9564 0 -1 4202560 14498 0 0 0 114415 53 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9594/tid=9617] ppid=9592 vsize=3677392 CPUtime=1141.03 cores=0-31
/proc/9594/task/9617/stat : 9617 (claspmt) R 9592 9594 9564 0 -1 4202560 4345 0 0 0 114082 21 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9594/tid=9618] ppid=9592 vsize=3677392 CPUtime=1143.42 cores=0-31
/proc/9594/task/9618/stat : 9618 (claspmt) R 9592 9594 9564 0 -1 4202560 100529 0 0 0 114009 333 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668973 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9594/tid=9619] ppid=9592 vsize=3677392 CPUtime=1144.38 cores=0-31
/proc/9594/task/9619/stat : 9619 (claspmt) R 9592 9594 9564 0 -1 4202560 3456 0 0 0 114421 17 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9594/tid=9620] ppid=9592 vsize=3677392 CPUtime=1141.45 cores=0-31
/proc/9594/task/9620/stat : 9620 (claspmt) R 9592 9594 9564 0 -1 4202560 4670 0 0 0 114131 14 0 0 25 0 32 0 44292226 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9594/tid=9621] ppid=9592 vsize=3677392 CPUtime=1144.34 cores=0-31
/proc/9594/task/9621/stat : 9621 (claspmt) R 9592 9594 9564 0 -1 4202560 12659 0 0 0 114398 36 0 0 25 0 32 0 44292227 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9594/tid=9622] ppid=9592 vsize=3677392 CPUtime=1144.37 cores=0-31
/proc/9594/task/9622/stat : 9622 (claspmt) R 9592 9594 9564 0 -1 4202560 4343 0 0 0 114417 20 0 0 25 0 32 0 44292227 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9594/tid=9623] ppid=9592 vsize=3677392 CPUtime=1144.38 cores=0-31
/proc/9594/task/9623/stat : 9623 (claspmt) R 9592 9594 9564 0 -1 4202560 17469 0 0 0 114371 67 0 0 25 0 32 0 44292227 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9594/tid=9624] ppid=9592 vsize=3677392 CPUtime=1144.24 cores=0-31
/proc/9594/task/9624/stat : 9624 (claspmt) R 9592 9594 9564 0 -1 4202560 13362 0 0 0 114373 51 0 0 25 0 32 0 44292227 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9594/tid=9625] ppid=9592 vsize=3677392 CPUtime=1144.35 cores=0-31
/proc/9594/task/9625/stat : 9625 (claspmt) R 9592 9594 9564 0 -1 4202560 4640 0 0 0 114419 16 0 0 25 0 32 0 44292227 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9594/tid=9626] ppid=9592 vsize=3677392 CPUtime=1144.27 cores=0-31
/proc/9594/task/9626/stat : 9626 (claspmt) R 9592 9594 9564 0 -1 4202560 63767 0 0 0 114226 201 0 0 25 0 32 0 44292227 3765649408 576120 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 36587.9
Current children cumulated vsize (KiB) 3677392

[startup+1148.7 s]
/proc/loadavg: 32.05 32.10 32.06 33/445 9665
/proc/meminfo: memFree=259786828/264257624 swapFree=67111528/67111528
[pid=9594] ppid=9592 vsize=3677392 CPUtime=36690.1 cores=0-31
/proc/9594/stat : 9594 (claspmt) R 9592 9594 9564 0 -1 4202496 583918 0 0 0 3666954 2059 0 0 25 0 32 0 44292200 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4362262 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/9594/statm: 919348 575993 463 189 0 913697 0
[pid=9594/tid=9596] ppid=9592 vsize=3677392 CPUtime=1147.55 cores=0-31
/proc/9594/task/9596/stat : 9596 (claspmt) R 9592 9594 9564 0 -1 4202560 4146 0 0 0 114742 13 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9594/tid=9597] ppid=9592 vsize=3677392 CPUtime=1141.83 cores=0-31
/proc/9594/task/9597/stat : 9597 (claspmt) R 9592 9594 9564 0 -1 4202560 14256 0 0 0 114131 52 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9594/tid=9598] ppid=9592 vsize=3677392 CPUtime=1138.36 cores=0-31
/proc/9594/task/9598/stat : 9598 (claspmt) R 9592 9594 9564 0 -1 4202560 4962 0 0 0 113818 18 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9594/tid=9599] ppid=9592 vsize=3677392 CPUtime=1147.59 cores=0-31
/proc/9594/task/9599/stat : 9599 (claspmt) R 9592 9594 9564 0 -1 4202560 12521 0 0 0 114711 48 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9594/tid=9600] ppid=9592 vsize=3677392 CPUtime=1142.2 cores=0-31
/proc/9594/task/9600/stat : 9600 (claspmt) R 9592 9594 9564 0 -1 4202560 11755 0 0 0 114172 48 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9594/tid=9601] ppid=9592 vsize=3677392 CPUtime=1147.53 cores=0-31
/proc/9594/task/9601/stat : 9601 (claspmt) R 9592 9594 9564 0 -1 4202560 4705 0 0 0 114739 14 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9594/tid=9602] ppid=9592 vsize=3677392 CPUtime=1147.48 cores=0-31
/proc/9594/task/9602/stat : 9602 (claspmt) R 9592 9594 9564 0 -1 4202560 89051 0 0 0 114450 298 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9594/tid=9603] ppid=9592 vsize=3677392 CPUtime=1147.61 cores=0-31
/proc/9594/task/9603/stat : 9603 (claspmt) R 9592 9594 9564 0 -1 4202560 4177 0 0 0 114742 19 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9594/tid=9604] ppid=9592 vsize=3677392 CPUtime=1147.56 cores=0-31
/proc/9594/task/9604/stat : 9604 (claspmt) R 9592 9594 9564 0 -1 4202560 4356 0 0 0 114743 13 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9594/tid=9605] ppid=9592 vsize=3677392 CPUtime=1147.53 cores=0-31
/proc/9594/task/9605/stat : 9605 (claspmt) R 9592 9594 9564 0 -1 4202560 14681 0 0 0 114697 56 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669538 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9594/tid=9606] ppid=9592 vsize=3677392 CPUtime=1147.53 cores=0-31
/proc/9594/task/9606/stat : 9606 (claspmt) R 9592 9594 9564 0 -1 4202560 4762 0 0 0 114737 16 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9594/tid=9607] ppid=9592 vsize=3677392 CPUtime=1147.55 cores=0-31
/proc/9594/task/9607/stat : 9607 (claspmt) R 9592 9594 9564 0 -1 4202560 19150 0 0 0 114678 77 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9594/tid=9608] ppid=9592 vsize=3677392 CPUtime=1147.76 cores=0-31
/proc/9594/task/9608/stat : 9608 (claspmt) R 9592 9594 9564 0 -1 4202560 12723 0 0 0 114727 49 0 0 23 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9594/tid=9609] ppid=9592 vsize=3677392 CPUtime=1147.54 cores=0-31
/proc/9594/task/9609/stat : 9609 (claspmt) R 9592 9594 9564 0 -1 4202560 4442 0 0 0 114735 19 0 0 22 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670496 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9594/tid=9610] ppid=9592 vsize=3677392 CPUtime=1147.47 cores=0-31
/proc/9594/task/9610/stat : 9610 (claspmt) R 9592 9594 9564 0 -1 4202560 88531 0 0 0 114443 304 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9594/tid=9611] ppid=9592 vsize=3677392 CPUtime=1143.35 cores=0-31
/proc/9594/task/9611/stat : 9611 (claspmt) R 9592 9594 9564 0 -1 4202560 3817 0 0 0 114318 17 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9594/tid=9612] ppid=9592 vsize=3677392 CPUtime=1147.64 cores=0-31
/proc/9594/task/9612/stat : 9612 (claspmt) R 9592 9594 9564 0 -1 4202560 4627 0 0 0 114747 17 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=9594/tid=9613] ppid=9592 vsize=3677392 CPUtime=1147.58 cores=0-31
/proc/9594/task/9613/stat : 9613 (claspmt) R 9592 9594 9564 0 -1 4202560 13295 0 0 0 114717 41 0 0 23 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9594/tid=9614] ppid=9592 vsize=3677392 CPUtime=1147.19 cores=0-31
/proc/9594/task/9614/stat : 9614 (claspmt) R 9592 9594 9564 0 -1 4202560 5147 0 0 0 114690 29 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669560 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9594/tid=9615] ppid=9592 vsize=3677392 CPUtime=1147.32 cores=0-31
/proc/9594/task/9615/stat : 9615 (claspmt) R 9592 9594 9564 0 -1 4202560 13792 0 0 0 114679 53 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9594/tid=9616] ppid=9592 vsize=3677392 CPUtime=1147.88 cores=0-31
/proc/9594/task/9616/stat : 9616 (claspmt) R 9592 9594 9564 0 -1 4202560 14498 0 0 0 114735 53 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9594/tid=9617] ppid=9592 vsize=3677392 CPUtime=1144.23 cores=0-31
/proc/9594/task/9617/stat : 9617 (claspmt) R 9592 9594 9564 0 -1 4202560 4345 0 0 0 114402 21 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9594/tid=9618] ppid=9592 vsize=3677392 CPUtime=1146.62 cores=0-31
/proc/9594/task/9618/stat : 9618 (claspmt) R 9592 9594 9564 0 -1 4202560 100529 0 0 0 114329 333 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9594/tid=9619] ppid=9592 vsize=3677392 CPUtime=1147.57 cores=0-31
/proc/9594/task/9619/stat : 9619 (claspmt) R 9592 9594 9564 0 -1 4202560 3456 0 0 0 114740 17 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670678 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9594/tid=9620] ppid=9592 vsize=3677392 CPUtime=1144.65 cores=0-31
/proc/9594/task/9620/stat : 9620 (claspmt) R 9592 9594 9564 0 -1 4202560 4670 0 0 0 114451 14 0 0 25 0 32 0 44292226 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9594/tid=9621] ppid=9592 vsize=3677392 CPUtime=1147.54 cores=0-31
/proc/9594/task/9621/stat : 9621 (claspmt) R 9592 9594 9564 0 -1 4202560 12659 0 0 0 114718 36 0 0 25 0 32 0 44292227 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9594/tid=9622] ppid=9592 vsize=3677392 CPUtime=1147.57 cores=0-31
/proc/9594/task/9622/stat : 9622 (claspmt) R 9592 9594 9564 0 -1 4202560 4343 0 0 0 114737 20 0 0 25 0 32 0 44292227 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9594/tid=9623] ppid=9592 vsize=3677392 CPUtime=1147.58 cores=0-31
/proc/9594/task/9623/stat : 9623 (claspmt) R 9592 9594 9564 0 -1 4202560 17469 0 0 0 114691 67 0 0 25 0 32 0 44292227 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9594/tid=9624] ppid=9592 vsize=3677392 CPUtime=1147.44 cores=0-31
/proc/9594/task/9624/stat : 9624 (claspmt) R 9592 9594 9564 0 -1 4202560 13362 0 0 0 114693 51 0 0 25 0 32 0 44292227 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9594/tid=9625] ppid=9592 vsize=3677392 CPUtime=1147.55 cores=0-31
/proc/9594/task/9625/stat : 9625 (claspmt) R 9592 9594 9564 0 -1 4202560 4640 0 0 0 114739 16 0 0 25 0 32 0 44292227 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4669523 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9594/tid=9626] ppid=9592 vsize=3677392 CPUtime=1147.47 cores=0-31
/proc/9594/task/9626/stat : 9626 (claspmt) R 9592 9594 9564 0 -1 4202560 63767 0 0 0 114546 201 0 0 25 0 32 0 44292227 3765649408 575993 270582939648 4194304 4964800 140734863425760 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 36690.1
Current children cumulated vsize (KiB) 3677392

[startup+1150.3 s]
/proc/loadavg: 32.04 32.10 32.06 34/445 9665
/proc/meminfo: memFree=259786828/264257624 swapFree=67111528/67111528
[pid=9594] ppid=9592 vsize=3669192 CPUtime=36724.3 cores=0-31
/proc/9594/stat : 9594 (claspmt) S 9592 9594 9564 0 -1 4202496 583919 0 0 0 3670317 2113 0 0 16 0 2 0 44292200 3757252608 574529 270582939648 4194304 4964800 140734863425760 18446744073709551615 258662759221 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/9594/statm: 917298 574529 464 189 0 911647 0
[pid=9594/tid=9607] ppid=9592 vsize=3669192 CPUtime=1149.15 cores=0-31
/proc/9594/task/9607/stat : 9607 (claspmt) R 9592 9594 9564 0 -1 4202560 19150 0 0 0 114837 78 0 0 18 0 2 0 44292226 3757252608 574529 270582939648 4194304 4964800 140734863425760 18446744073709551615 258650653522 0 0 4096 18946 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 36724.3
Current children cumulated vsize (KiB) 3669192

[startup+1151.1 s]
/proc/loadavg: 32.04 32.10 32.06 2/415 9665
/proc/meminfo: memFree=259791408/264257624 swapFree=67111528/67111528
[pid=9594] ppid=9592 vsize=3669192 CPUtime=36725.1 cores=0-31
/proc/9594/stat : 9594 (claspmt) S 9592 9594 9564 0 -1 4202496 583919 0 0 0 3670397 2113 0 0 16 0 2 0 44292200 3757252608 574527 270582939648 4194304 4964800 140734863425760 18446744073709551615 258662759221 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/9594/statm: 917298 574527 464 189 0 911647 0
[pid=9594/tid=9607] ppid=9592 vsize=3669192 CPUtime=1149.95 cores=0-31
/proc/9594/task/9607/stat : 9607 (claspmt) R 9592 9594 9564 0 -1 4202560 19150 0 0 0 114917 78 0 0 19 0 2 0 44292226 3757252608 574527 270582939648 4194304 4964800 140734863425760 18446744073709551615 4644896 0 0 4096 18946 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 36725.1
Current children cumulated vsize (KiB) 3669192

[startup+1151.5 s]
/proc/loadavg: 32.04 32.10 32.06 2/415 9665
/proc/meminfo: memFree=259791408/264257624 swapFree=67111528/67111528
[pid=9594] ppid=9592 vsize=3581224 CPUtime=36725.5 cores=0-31
/proc/9594/stat : 9594 (claspmt) R 9592 9594 9564 0 -1 4202496 583929 0 0 0 3670437 2113 0 0 16 0 1 0 44292200 3667173376 572051 270582939648 4194304 4964800 140734863425760 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/9594/statm: 895306 572051 474 189 0 889655 0
Current children cumulated CPU time (s) 36725.5
Current children cumulated vsize (KiB) 3581224

[startup+1151.9 s]
/proc/loadavg: 32.04 32.10 32.06 2/414 9667
/proc/meminfo: memFree=259813116/264257624 swapFree=67111528/67111528
[pid=9594] ppid=9592 vsize=1870152 CPUtime=36725.9 cores=0-31
/proc/9594/stat : 9594 (claspmt) R 9592 9594 9564 0 -1 4202496 583929 0 0 0 3670465 2125 0 0 16 0 1 0 44292200 1915035648 154679 270582939648 4194304 4964800 140734863425760 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/9594/statm: 467538 154660 474 189 0 461887 0
Current children cumulated CPU time (s) 36725.9
Current children cumulated vsize (KiB) 1870152

Child status: 20
Real time (s): 1151.95
CPU time (s): 36726
CPU user time (s): 36704.7
CPU system time (s): 21.3028
CPU usage (%): 3188.16
Max. virtual memory (cumulated for all children) (KiB): 3677392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36704.7
system time used= 21.3028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 583930
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= 200851
involuntary context switches= 91538

runsolver used 6.79297 second user time and 25.7251 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-11 12:44:13
IDJOB=3472502
IDBENCH=84211
IDSOLVER=1961
FILE ID=node200/3472502-1307789053
RUNJOBID= node200-1307789053-9578
PBS_JOBID= 13550778
Free space on /tmp= 61744 MiB

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

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

MD5SUM BENCH= 9edcffddbe07377cf6685697aafad673
RANDOM SEED=172518583

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:      262083748 kB
Buffers:        288880 kB
Cached:        1552712 kB
SwapCached:          0 kB
Active:         315756 kB
Inactive:      1589316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262083748 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3572 kB
Writeback:          84 kB
AnonPages:       63784 kB
Mapped:          14104 kB
Slab:           185372 kB
PageTables:       4244 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   171540 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:03:25