Trace number 3472338

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 17681.4 555.856

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
MD5SUM66aa2e18c32a02f55a810347a9702c7f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark17681.4
Satisfiable
(Un)Satisfiability was proved
Number of variables1278
Number of clauses68055
Sum of the clauses size202155
Maximum clause length9
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22148
Number of clauses of size 365884
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...488153/instance-3472338-1307488153.cnf
1.02/1.11	c Solving...
17681.35/555.83	s UNSATISFIABLE
17681.35/555.83	
17681.35/555.83	c Models        : 0     
17681.35/555.83	c Time          : 555.568s (Solving: 554.47s 1st Model: 0.00s Unsat: 554.47s)
17681.35/555.83	c CPU Time      : 17681.130s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3472338-1307488153/watcher-3472338-1307488153 -o /tmp/evaluation-result-3472338-1307488153/solver-3472338-1307488153 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472338-1307488153.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: 8.70 15.23 23.56 1/413 18555
/proc/meminfo: memFree=263135880/264257624 swapFree=67111528/67111528
[pid=18555] ppid=18553 vsize=23100 CPUtime=0.02 cores=0-31
/proc/18555/stat : 18555 (claspmt) R 18553 18555 18347 0 -1 4202496 1161 0 0 0 2 0 0 0 20 0 1 0 14202210 23654400 991 270582939648 4194304 4964800 140736569384144 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/18555/statm: 5775 992 383 189 0 649 0

[startup+0.0762311 s]
/proc/loadavg: 8.70 15.23 23.56 1/413 18555
/proc/meminfo: memFree=263135880/264257624 swapFree=67111528/67111528
[pid=18555] ppid=18553 vsize=26576 CPUtime=0.07 cores=0-31
/proc/18555/stat : 18555 (claspmt) R 18553 18555 18347 0 -1 4202496 2208 0 0 0 6 1 0 0 20 0 1 0 14202210 27213824 1824 270582939648 4194304 4964800 140736569384144 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/18555/statm: 6644 1827 394 189 0 1518 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26576

[startup+0.101226 s]
/proc/loadavg: 8.70 15.23 23.56 1/413 18555
/proc/meminfo: memFree=263135880/264257624 swapFree=67111528/67111528
[pid=18555] ppid=18553 vsize=27020 CPUtime=0.09 cores=0-31
/proc/18555/stat : 18555 (claspmt) R 18553 18555 18347 0 -1 4202496 2287 0 0 0 8 1 0 0 20 0 1 0 14202210 27668480 1903 270582939648 4194304 4964800 140736569384144 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/18555/statm: 6755 1903 396 189 0 1629 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27020

[startup+0.301227 s]
/proc/loadavg: 8.70 15.23 23.56 1/413 18555
/proc/meminfo: memFree=263135880/264257624 swapFree=67111528/67111528
[pid=18555] ppid=18553 vsize=27020 CPUtime=0.29 cores=0-31
/proc/18555/stat : 18555 (claspmt) R 18553 18555 18347 0 -1 4202496 2287 0 0 0 28 1 0 0 21 0 1 0 14202210 27668480 1903 270582939648 4194304 4964800 140736569384144 18446744073709551615 4607644 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/18555/statm: 6755 1903 396 189 0 1629 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27020

[startup+0.701243 s]
/proc/loadavg: 8.70 15.23 23.56 1/413 18555
/proc/meminfo: memFree=263135880/264257624 swapFree=67111528/67111528
[pid=18555] ppid=18553 vsize=27548 CPUtime=0.69 cores=0-31
/proc/18555/stat : 18555 (claspmt) R 18553 18555 18347 0 -1 4202496 2443 0 0 0 68 1 0 0 22 0 1 0 14202210 28209152 2059 270582939648 4194304 4964800 140736569384144 18446744073709551615 4600389 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/18555/statm: 6887 2059 397 189 0 1761 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27548

[startup+1.50113 s]
/proc/loadavg: 8.70 15.23 23.56 3/414 18556
/proc/meminfo: memFree=263129044/264257624 swapFree=67111528/67111528
[pid=18555] ppid=18553 vsize=1080064 CPUtime=8.25 cores=0-31
/proc/18555/stat : 18555 (claspmt) R 18553 18555 18347 0 -1 4202496 13698 0 0 0 780 45 0 0 17 0 32 0 14202210 1105985536 12928 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668732 0 0 4096 18946 18446744073709551615 0 0 17 27 0 0 0
/proc/18555/statm: 270016 12928 461 189 0 264365 0
Current children cumulated CPU time (s) 8.25
Current children cumulated vsize (KiB) 1080064

[startup+3.10219 s]
/proc/loadavg: 8.70 15.23 23.56 33/445 18587
/proc/meminfo: memFree=263062504/264257624 swapFree=67111528/67111528
[pid=18555] ppid=18553 vsize=1085072 CPUtime=59.1 cores=0-31
/proc/18555/stat : 18555 (claspmt) R 18553 18555 18347 0 -1 4202496 30481 0 0 0 5820 90 0 0 20 0 32 0 14202210 1111113728 29711 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670437 0 0 4096 18946 18446744073709551615 0 0 17 27 0 0 0
/proc/18555/statm: 271268 29712 461 189 0 265617 0
[pid=18555/tid=18557] ppid=18553 vsize=1085072 CPUtime=1.8 cores=0-31
/proc/18555/task/18557/stat : 18557 (claspmt) R 18553 18555 18347 0 -1 4202560 752 0 0 0 178 2 0 0 18 0 32 0 14202322 1111113728 29712 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=18555/tid=18558] ppid=18553 vsize=1085072 CPUtime=1.79 cores=0-31
/proc/18555/task/18558/stat : 18558 (claspmt) R 18553 18555 18347 0 -1 4202560 686 0 0 0 178 1 0 0 18 0 32 0 14202322 1111113728 29712 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=18555/tid=18559] ppid=18553 vsize=1085072 CPUtime=1.79 cores=0-31
/proc/18555/task/18559/stat : 18559 (claspmt) R 18553 18555 18347 0 -1 4202560 646 0 0 0 178 1 0 0 18 0 32 0 14202322 1111113728 29712 270582939648 4194304 4964800 140736569384144 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=18555/tid=18560] ppid=18553 vsize=1085072 CPUtime=1.77 cores=0-31
/proc/18555/task/18560/stat : 18560 (claspmt) R 18553 18555 18347 0 -1 4202560 773 0 0 0 174 3 0 0 19 0 32 0 14202322 1111113728 29713 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=18555/tid=18561] ppid=18553 vsize=1085072 CPUtime=1.88 cores=0-31
/proc/18555/task/18561/stat : 18561 (claspmt) R 18553 18555 18347 0 -1 4202560 1325 0 0 0 185 3 0 0 19 0 32 0 14202322 1111113728 29717 270582939648 4194304 4964800 140736569384144 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18555/tid=18562] ppid=18553 vsize=1085072 CPUtime=1.8 cores=0-31
/proc/18555/task/18562/stat : 18562 (claspmt) R 18553 18555 18347 0 -1 4202560 771 0 0 0 178 2 0 0 19 0 32 0 14202322 1111113728 29717 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=18555/tid=18563] ppid=18553 vsize=1085072 CPUtime=1.79 cores=0-31
/proc/18555/task/18563/stat : 18563 (claspmt) R 18553 18555 18347 0 -1 4202560 962 0 0 0 177 2 0 0 18 0 32 0 14202322 1111113728 29717 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=18555/tid=18564] ppid=18553 vsize=1085072 CPUtime=1.81 cores=0-31
/proc/18555/task/18564/stat : 18564 (claspmt) R 18553 18555 18347 0 -1 4202560 667 0 0 0 179 2 0 0 19 0 32 0 14202322 1111113728 29717 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=18555/tid=18565] ppid=18553 vsize=1085072 CPUtime=1.8 cores=0-31
/proc/18555/task/18565/stat : 18565 (claspmt) R 18553 18555 18347 0 -1 4202560 760 0 0 0 178 2 0 0 19 0 32 0 14202322 1111113728 29718 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=18555/tid=18566] ppid=18553 vsize=1085072 CPUtime=1.8 cores=0-31
/proc/18555/task/18566/stat : 18566 (claspmt) D 18553 18555 18347 0 -1 4202560 728 0 0 0 178 2 0 0 18 0 32 0 14202322 1111113728 29718 270582939648 4194304 4964800 140736569384144 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=18555/tid=18567] ppid=18553 vsize=1085072 CPUtime=1.8 cores=0-31
/proc/18555/task/18567/stat : 18567 (claspmt) R 18553 18555 18347 0 -1 4202560 754 0 0 0 177 3 0 0 19 0 32 0 14202322 1111113728 29720 270582939648 4194304 4964800 140736569384144 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=18555/tid=18568] ppid=18553 vsize=1085072 CPUtime=1.78 cores=0-31
/proc/18555/task/18568/stat : 18568 (claspmt) R 18553 18555 18347 0 -1 4202560 924 0 0 0 176 2 0 0 18 0 32 0 14202322 1111113728 29720 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=18555/tid=18569] ppid=18553 vsize=1085072 CPUtime=1.88 cores=0-31
/proc/18555/task/18569/stat : 18569 (claspmt) R 18553 18555 18347 0 -1 4202560 1404 0 0 0 184 4 0 0 18 0 32 0 14202322 1111113728 29720 270582939648 4194304 4964800 140736569384144 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=18555/tid=18570] ppid=18553 vsize=1085072 CPUtime=1.79 cores=0-31
/proc/18555/task/18570/stat : 18570 (claspmt) R 18553 18555 18347 0 -1 4202560 793 0 0 0 177 2 0 0 19 0 32 0 14202322 1111113728 29720 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=18555/tid=18571] ppid=18553 vsize=1085072 CPUtime=1.78 cores=0-31
/proc/18555/task/18571/stat : 18571 (claspmt) R 18553 18555 18347 0 -1 4202560 992 0 0 0 175 3 0 0 19 0 32 0 14202322 1111113728 29720 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=18555/tid=18572] ppid=18553 vsize=1085072 CPUtime=1.8 cores=0-31
/proc/18555/task/18572/stat : 18572 (claspmt) R 18553 18555 18347 0 -1 4202560 766 0 0 0 178 2 0 0 18 0 32 0 14202322 1111113728 29720 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=18555/tid=18573] ppid=18553 vsize=1085072 CPUtime=1.81 cores=0-31
/proc/18555/task/18573/stat : 18573 (claspmt) R 18553 18555 18347 0 -1 4202560 744 0 0 0 179 2 0 0 18 0 32 0 14202322 1111113728 29720 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670403 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=18555/tid=18574] ppid=18553 vsize=1085072 CPUtime=1.78 cores=0-31
/proc/18555/task/18574/stat : 18574 (claspmt) R 18553 18555 18347 0 -1 4202560 719 0 0 0 177 1 0 0 18 0 32 0 14202322 1111113728 29720 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=18555/tid=18575] ppid=18553 vsize=1085072 CPUtime=1.8 cores=0-31
/proc/18555/task/18575/stat : 18575 (claspmt) R 18553 18555 18347 0 -1 4202560 686 0 0 0 178 2 0 0 18 0 32 0 14202322 1111113728 29720 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=18555/tid=18576] ppid=18553 vsize=1085072 CPUtime=1.8 cores=0-31
/proc/18555/task/18576/stat : 18576 (claspmt) R 18553 18555 18347 0 -1 4202560 1154 0 0 0 177 3 0 0 18 0 32 0 14202322 1111113728 29722 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=18555/tid=18577] ppid=18553 vsize=1085072 CPUtime=1.88 cores=0-31
/proc/18555/task/18577/stat : 18577 (claspmt) R 18553 18555 18347 0 -1 4202560 1104 0 0 0 185 3 0 0 18 0 32 0 14202323 1111113728 29722 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=18555/tid=18578] ppid=18553 vsize=1085072 CPUtime=1.78 cores=0-31
/proc/18555/task/18578/stat : 18578 (claspmt) R 18553 18555 18347 0 -1 4202560 892 0 0 0 175 3 0 0 19 0 32 0 14202323 1111113728 29722 270582939648 4194304 4964800 140736569384144 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=18555/tid=18579] ppid=18553 vsize=1085072 CPUtime=1.77 cores=0-31
/proc/18555/task/18579/stat : 18579 (claspmt) R 18553 18555 18347 0 -1 4202560 936 0 0 0 175 2 0 0 19 0 32 0 14202323 1111113728 29722 270582939648 4194304 4964800 140736569384144 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=18555/tid=18580] ppid=18553 vsize=1085072 CPUtime=1.82 cores=0-31
/proc/18555/task/18580/stat : 18580 (claspmt) R 18553 18555 18347 0 -1 4202560 716 0 0 0 180 2 0 0 19 0 32 0 14202323 1111113728 29722 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=18555/tid=18581] ppid=18553 vsize=1085072 CPUtime=1.79 cores=0-31
/proc/18555/task/18581/stat : 18581 (claspmt) R 18553 18555 18347 0 -1 4202560 754 0 0 0 177 2 0 0 19 0 32 0 14202323 1111113728 29724 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=18555/tid=18582] ppid=18553 vsize=1085072 CPUtime=1.77 cores=0-31
/proc/18555/task/18582/stat : 18582 (claspmt) R 18553 18555 18347 0 -1 4202560 662 0 0 0 175 2 0 0 18 0 32 0 14202323 1111113728 29724 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18555/tid=18583] ppid=18553 vsize=1085072 CPUtime=1.77 cores=0-31
/proc/18555/task/18583/stat : 18583 (claspmt) R 18553 18555 18347 0 -1 4202560 784 0 0 0 175 2 0 0 19 0 32 0 14202323 1111113728 29724 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=18555/tid=18584] ppid=18553 vsize=1085072 CPUtime=1.8 cores=0-31
/proc/18555/task/18584/stat : 18584 (claspmt) R 18553 18555 18347 0 -1 4202560 881 0 0 0 177 3 0 0 19 0 32 0 14202323 1111113728 29724 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=18555/tid=18585] ppid=18553 vsize=1085072 CPUtime=1.88 cores=0-31
/proc/18555/task/18585/stat : 18585 (claspmt) R 18553 18555 18347 0 -1 4202560 1261 0 0 0 185 3 0 0 18 0 32 0 14202323 1111113728 29725 270582939648 4194304 4964800 140736569384144 18446744073709551615 4659841 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=18555/tid=18586] ppid=18553 vsize=1085072 CPUtime=1.8 cores=0-31
/proc/18555/task/18586/stat : 18586 (claspmt) R 18553 18555 18347 0 -1 4202560 843 0 0 0 178 2 0 0 19 0 32 0 14202323 1111113728 29725 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=18555/tid=18587] ppid=18553 vsize=1085072 CPUtime=1.78 cores=0-31
/proc/18555/task/18587/stat : 18587 (claspmt) R 18553 18555 18347 0 -1 4202560 953 0 0 0 176 2 0 0 18 0 32 0 14202323 1111113728 29725 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 59.1
Current children cumulated vsize (KiB) 1085072

[startup+6.3013 s]
/proc/loadavg: 10.56 15.51 23.60 33/445 18587
/proc/meminfo: memFree=262978636/264257624 swapFree=67111528/67111528
[pid=18555] ppid=18553 vsize=1088416 CPUtime=161.25 cores=0-31
/proc/18555/stat : 18555 (claspmt) R 18553 18555 18347 0 -1 4202496 42642 0 0 0 16010 115 0 0 20 0 32 0 14202210 1114537984 41872 270582939648 4194304 4964800 140736569384144 18446744073709551615 4320879 0 0 4096 18946 18446744073709551615 0 0 17 27 0 0 0
/proc/18555/statm: 272104 41872 461 189 0 266453 0
[pid=18555/tid=18557] ppid=18553 vsize=1088416 CPUtime=4.99 cores=0-31
/proc/18555/task/18557/stat : 18557 (claspmt) R 18553 18555 18347 0 -1 4202560 1044 0 0 0 496 3 0 0 23 0 32 0 14202322 1114537984 41872 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=18555/tid=18558] ppid=18553 vsize=1088416 CPUtime=4.99 cores=0-31
/proc/18555/task/18558/stat : 18558 (claspmt) R 18553 18555 18347 0 -1 4202560 1175 0 0 0 497 2 0 0 25 0 32 0 14202322 1114537984 41872 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=18555/tid=18559] ppid=18553 vsize=1088416 CPUtime=4.99 cores=0-31
/proc/18555/task/18559/stat : 18559 (claspmt) R 18553 18555 18347 0 -1 4202560 996 0 0 0 497 2 0 0 21 0 32 0 14202322 1114537984 41872 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=18555/tid=18560] ppid=18553 vsize=1088416 CPUtime=4.96 cores=0-31
/proc/18555/task/18560/stat : 18560 (claspmt) R 18553 18555 18347 0 -1 4202560 1298 0 0 0 492 4 0 0 23 0 32 0 14202322 1114537984 41872 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=18555/tid=18561] ppid=18553 vsize=1088416 CPUtime=5.08 cores=0-31
/proc/18555/task/18561/stat : 18561 (claspmt) R 18553 18555 18347 0 -1 4202560 1923 0 0 0 504 4 0 0 25 0 32 0 14202322 1114537984 41872 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18555/tid=18562] ppid=18553 vsize=1088416 CPUtime=4.99 cores=0-31
/proc/18555/task/18562/stat : 18562 (claspmt) R 18553 18555 18347 0 -1 4202560 1101 0 0 0 496 3 0 0 25 0 32 0 14202322 1114537984 41872 270582939648 4194304 4964800 140736569384144 18446744073709551615 4628001 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=18555/tid=18563] ppid=18553 vsize=1088416 CPUtime=4.99 cores=0-31
/proc/18555/task/18563/stat : 18563 (claspmt) R 18553 18555 18347 0 -1 4202560 1301 0 0 0 495 4 0 0 25 0 32 0 14202322 1114537984 41872 270582939648 4194304 4964800 140736569384144 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=18555/tid=18564] ppid=18553 vsize=1088416 CPUtime=5 cores=0-31
/proc/18555/task/18564/stat : 18564 (claspmt) R 18553 18555 18347 0 -1 4202560 941 0 0 0 498 2 0 0 25 0 32 0 14202322 1114537984 41872 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=18555/tid=18565] ppid=18553 vsize=1088416 CPUtime=5 cores=0-31
/proc/18555/task/18565/stat : 18565 (claspmt) R 18553 18555 18347 0 -1 4202560 1003 0 0 0 497 3 0 0 25 0 32 0 14202322 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=18555/tid=18566] ppid=18553 vsize=1088416 CPUtime=4.99 cores=0-31
/proc/18555/task/18566/stat : 18566 (claspmt) R 18553 18555 18347 0 -1 4202560 1113 0 0 0 496 3 0 0 22 0 32 0 14202322 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=18555/tid=18567] ppid=18553 vsize=1088416 CPUtime=4.9 cores=0-31
/proc/18555/task/18567/stat : 18567 (claspmt) R 18553 18555 18347 0 -1 4202560 1092 0 0 0 487 3 0 0 25 0 32 0 14202322 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=18555/tid=18568] ppid=18553 vsize=1088416 CPUtime=4.98 cores=0-31
/proc/18555/task/18568/stat : 18568 (claspmt) R 18553 18555 18347 0 -1 4202560 1310 0 0 0 495 3 0 0 25 0 32 0 14202322 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=18555/tid=18569] ppid=18553 vsize=1088416 CPUtime=5.07 cores=0-31
/proc/18555/task/18569/stat : 18569 (claspmt) R 18553 18555 18347 0 -1 4202560 1916 0 0 0 502 5 0 0 25 0 32 0 14202322 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=18555/tid=18570] ppid=18553 vsize=1088416 CPUtime=4.99 cores=0-31
/proc/18555/task/18570/stat : 18570 (claspmt) R 18553 18555 18347 0 -1 4202560 1150 0 0 0 496 3 0 0 25 0 32 0 14202322 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=18555/tid=18571] ppid=18553 vsize=1088416 CPUtime=4.98 cores=0-31
/proc/18555/task/18571/stat : 18571 (claspmt) R 18553 18555 18347 0 -1 4202560 1398 0 0 0 493 5 0 0 21 0 32 0 14202322 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=18555/tid=18572] ppid=18553 vsize=1088416 CPUtime=4.99 cores=0-31
/proc/18555/task/18572/stat : 18572 (claspmt) R 18553 18555 18347 0 -1 4202560 1053 0 0 0 496 3 0 0 22 0 32 0 14202322 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=18555/tid=18573] ppid=18553 vsize=1088416 CPUtime=5 cores=0-31
/proc/18555/task/18573/stat : 18573 (claspmt) R 18553 18555 18347 0 -1 4202560 958 0 0 0 498 2 0 0 21 0 32 0 14202322 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4627257 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=18555/tid=18574] ppid=18553 vsize=1088416 CPUtime=4.99 cores=0-31
/proc/18555/task/18574/stat : 18574 (claspmt) R 18553 18555 18347 0 -1 4202560 1099 0 0 0 497 2 0 0 25 0 32 0 14202322 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=18555/tid=18575] ppid=18553 vsize=1088416 CPUtime=5 cores=0-31
/proc/18555/task/18575/stat : 18575 (claspmt) R 18553 18555 18347 0 -1 4202560 1041 0 0 0 497 3 0 0 25 0 32 0 14202322 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=18555/tid=18576] ppid=18553 vsize=1088416 CPUtime=5 cores=0-31
/proc/18555/task/18576/stat : 18576 (claspmt) R 18553 18555 18347 0 -1 4202560 1656 0 0 0 496 4 0 0 21 0 32 0 14202322 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=18555/tid=18577] ppid=18553 vsize=1088416 CPUtime=5.06 cores=0-31
/proc/18555/task/18577/stat : 18577 (claspmt) R 18553 18555 18347 0 -1 4202560 1914 0 0 0 502 4 0 0 23 0 32 0 14202323 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=18555/tid=18578] ppid=18553 vsize=1088416 CPUtime=4.99 cores=0-31
/proc/18555/task/18578/stat : 18578 (claspmt) R 18553 18555 18347 0 -1 4202560 1175 0 0 0 495 4 0 0 25 0 32 0 14202323 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=18555/tid=18579] ppid=18553 vsize=1088416 CPUtime=4.97 cores=0-31
/proc/18555/task/18579/stat : 18579 (claspmt) R 18553 18555 18347 0 -1 4202560 1234 0 0 0 494 3 0 0 25 0 32 0 14202323 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=18555/tid=18580] ppid=18553 vsize=1088416 CPUtime=5.01 cores=0-31
/proc/18555/task/18580/stat : 18580 (claspmt) R 18553 18555 18347 0 -1 4202560 985 0 0 0 499 2 0 0 25 0 32 0 14202323 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=18555/tid=18581] ppid=18553 vsize=1088416 CPUtime=4.99 cores=0-31
/proc/18555/task/18581/stat : 18581 (claspmt) R 18553 18555 18347 0 -1 4202560 967 0 0 0 496 3 0 0 25 0 32 0 14202323 1114537984 41875 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0

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

/proc/18555/task/18560/stat : 18560 (claspmt) R 18553 18555 18347 0 -1 4202560 11045 0 0 0 54860 22 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=18555/tid=18561] ppid=18553 vsize=2086400 CPUtime=548.9 cores=0-31
/proc/18555/task/18561/stat : 18561 (claspmt) R 18553 18555 18347 0 -1 4202560 10870 0 0 0 54868 22 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18555/tid=18562] ppid=18553 vsize=2086400 CPUtime=548.62 cores=0-31
/proc/18555/task/18562/stat : 18562 (claspmt) R 18553 18555 18347 0 -1 4202560 6151 0 0 0 54842 20 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=18555/tid=18563] ppid=18553 vsize=2086400 CPUtime=547.92 cores=0-31
/proc/18555/task/18563/stat : 18563 (claspmt) R 18553 18555 18347 0 -1 4202560 8788 0 0 0 54762 30 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=18555/tid=18564] ppid=18553 vsize=2086400 CPUtime=548.82 cores=0-31
/proc/18555/task/18564/stat : 18564 (claspmt) R 18553 18555 18347 0 -1 4202560 4112 0 0 0 54867 15 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4658834 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=18555/tid=18565] ppid=18553 vsize=2086400 CPUtime=548.78 cores=0-31
/proc/18555/task/18565/stat : 18565 (claspmt) R 18553 18555 18347 0 -1 4202560 9590 0 0 0 54861 17 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=18555/tid=18566] ppid=18553 vsize=2086400 CPUtime=548.84 cores=0-31
/proc/18555/task/18566/stat : 18566 (claspmt) R 18553 18555 18347 0 -1 4202560 14098 0 0 0 54863 21 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=18555/tid=18567] ppid=18553 vsize=2086400 CPUtime=547.71 cores=0-31
/proc/18555/task/18567/stat : 18567 (claspmt) R 18553 18555 18347 0 -1 4202560 5608 0 0 0 54757 14 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=18555/tid=18568] ppid=18553 vsize=2086400 CPUtime=548.81 cores=0-31
/proc/18555/task/18568/stat : 18568 (claspmt) R 18553 18555 18347 0 -1 4202560 8640 0 0 0 54865 16 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18555/tid=18569] ppid=18553 vsize=2086400 CPUtime=548.86 cores=0-31
/proc/18555/task/18569/stat : 18569 (claspmt) R 18553 18555 18347 0 -1 4202560 9269 0 0 0 54867 19 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 258650653522 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=18555/tid=18570] ppid=18553 vsize=2086400 CPUtime=548.82 cores=0-31
/proc/18555/task/18570/stat : 18570 (claspmt) R 18553 18555 18347 0 -1 4202560 6674 0 0 0 54866 16 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=18555/tid=18571] ppid=18553 vsize=2086400 CPUtime=548.79 cores=0-31
/proc/18555/task/18571/stat : 18571 (claspmt) R 18553 18555 18347 0 -1 4202560 7961 0 0 0 54853 26 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=18555/tid=18572] ppid=18553 vsize=2086400 CPUtime=548.81 cores=0-31
/proc/18555/task/18572/stat : 18572 (claspmt) R 18553 18555 18347 0 -1 4202560 4429 0 0 0 54867 14 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=18555/tid=18573] ppid=18553 vsize=2086400 CPUtime=548.76 cores=0-31
/proc/18555/task/18573/stat : 18573 (claspmt) R 18553 18555 18347 0 -1 4202560 9302 0 0 0 54860 16 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=18555/tid=18574] ppid=18553 vsize=2086400 CPUtime=545.02 cores=0-31
/proc/18555/task/18574/stat : 18574 (claspmt) R 18553 18555 18347 0 -1 4202560 18599 0 0 0 54471 31 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670261 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=18555/tid=18575] ppid=18553 vsize=2086400 CPUtime=548.82 cores=0-31
/proc/18555/task/18575/stat : 18575 (claspmt) R 18553 18555 18347 0 -1 4202560 5601 0 0 0 54867 15 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=18555/tid=18576] ppid=18553 vsize=2086400 CPUtime=548.82 cores=0-31
/proc/18555/task/18576/stat : 18576 (claspmt) R 18553 18555 18347 0 -1 4202560 9159 0 0 0 54865 17 0 0 25 0 32 0 14202322 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670392 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=18555/tid=18577] ppid=18553 vsize=2086400 CPUtime=548.85 cores=0-31
/proc/18555/task/18577/stat : 18577 (claspmt) R 18553 18555 18347 0 -1 4202560 9759 0 0 0 54865 20 0 0 25 0 32 0 14202323 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=18555/tid=18578] ppid=18553 vsize=2086400 CPUtime=548.8 cores=0-31
/proc/18555/task/18578/stat : 18578 (claspmt) R 18553 18555 18347 0 -1 4202560 5295 0 0 0 54869 11 0 0 25 0 32 0 14202323 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=18555/tid=18579] ppid=18553 vsize=2086400 CPUtime=548.75 cores=0-31
/proc/18555/task/18579/stat : 18579 (claspmt) R 18553 18555 18347 0 -1 4202560 11047 0 0 0 54840 35 0 0 25 0 32 0 14202323 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=18555/tid=18580] ppid=18553 vsize=2086400 CPUtime=548.82 cores=0-31
/proc/18555/task/18580/stat : 18580 (claspmt) R 18553 18555 18347 0 -1 4202560 5091 0 0 0 54864 18 0 0 25 0 32 0 14202323 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=18555/tid=18581] ppid=18553 vsize=2086400 CPUtime=544.08 cores=0-31
/proc/18555/task/18581/stat : 18581 (claspmt) R 18553 18555 18347 0 -1 4202560 9242 0 0 0 54393 15 0 0 25 0 32 0 14202323 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4362514 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=18555/tid=18582] ppid=18553 vsize=2086400 CPUtime=548.82 cores=0-31
/proc/18555/task/18582/stat : 18582 (claspmt) R 18553 18555 18347 0 -1 4202560 15579 0 0 0 54861 21 0 0 25 0 32 0 14202323 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=18555/tid=18583] ppid=18553 vsize=2086400 CPUtime=544.74 cores=0-31
/proc/18555/task/18583/stat : 18583 (claspmt) R 18553 18555 18347 0 -1 4202560 5743 0 0 0 54458 16 0 0 25 0 32 0 14202323 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=18555/tid=18584] ppid=18553 vsize=2086400 CPUtime=548.67 cores=0-31
/proc/18555/task/18584/stat : 18584 (claspmt) R 18553 18555 18347 0 -1 4202560 10823 0 0 0 54844 23 0 0 25 0 32 0 14202323 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=18555/tid=18585] ppid=18553 vsize=2086400 CPUtime=548.91 cores=0-31
/proc/18555/task/18585/stat : 18585 (claspmt) R 18553 18555 18347 0 -1 4202560 11352 0 0 0 54866 25 0 0 25 0 32 0 14202323 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=18555/tid=18586] ppid=18553 vsize=2086400 CPUtime=548.81 cores=0-31
/proc/18555/task/18586/stat : 18586 (claspmt) R 18553 18555 18347 0 -1 4202560 6187 0 0 0 54865 16 0 0 25 0 32 0 14202323 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=18555/tid=18587] ppid=18553 vsize=2086400 CPUtime=548.77 cores=0-31
/proc/18555/task/18587/stat : 18587 (claspmt) R 18553 18555 18347 0 -1 4202560 9610 0 0 0 54847 30 0 0 25 0 32 0 14202323 2136473600 279346 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 17547.7
Current children cumulated vsize (KiB) 2086400

[startup+553.502 s]
/proc/loadavg: 32.12 29.43 27.36 33/445 18601
/proc/meminfo: memFree=262022764/264257624 swapFree=67111528/67111528
[pid=18555] ppid=18553 vsize=2086400 CPUtime=17649.9 cores=0-31
/proc/18555/stat : 18555 (claspmt) R 18553 18555 18347 0 -1 4202496 288633 0 0 0 1764339 652 0 0 25 0 32 0 14202210 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/18555/statm: 521600 279673 463 189 0 515949 0
[pid=18555/tid=18557] ppid=18553 vsize=2086400 CPUtime=551.96 cores=0-31
/proc/18555/task/18557/stat : 18557 (claspmt) R 18553 18555 18347 0 -1 4202560 8778 0 0 0 55180 16 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4644896 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=18555/tid=18558] ppid=18553 vsize=2086400 CPUtime=552.05 cores=0-31
/proc/18555/task/18558/stat : 18558 (claspmt) R 18553 18555 18347 0 -1 4202560 16764 0 0 0 55180 25 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=18555/tid=18559] ppid=18553 vsize=2086400 CPUtime=552.01 cores=0-31
/proc/18555/task/18559/stat : 18559 (claspmt) R 18553 18555 18347 0 -1 4202560 5861 0 0 0 55186 15 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=18555/tid=18560] ppid=18553 vsize=2086400 CPUtime=552.02 cores=0-31
/proc/18555/task/18560/stat : 18560 (claspmt) R 18553 18555 18347 0 -1 4202560 11156 0 0 0 55180 22 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=18555/tid=18561] ppid=18553 vsize=2086400 CPUtime=552.1 cores=0-31
/proc/18555/task/18561/stat : 18561 (claspmt) R 18553 18555 18347 0 -1 4202560 10880 0 0 0 55188 22 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670392 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18555/tid=18562] ppid=18553 vsize=2086400 CPUtime=551.81 cores=0-31
/proc/18555/task/18562/stat : 18562 (claspmt) R 18553 18555 18347 0 -1 4202560 6151 0 0 0 55161 20 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=18555/tid=18563] ppid=18553 vsize=2086400 CPUtime=551.11 cores=0-31
/proc/18555/task/18563/stat : 18563 (claspmt) R 18553 18555 18347 0 -1 4202560 8801 0 0 0 55081 30 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=18555/tid=18564] ppid=18553 vsize=2086400 CPUtime=552.02 cores=0-31
/proc/18555/task/18564/stat : 18564 (claspmt) R 18553 18555 18347 0 -1 4202560 4112 0 0 0 55187 15 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668732 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=18555/tid=18565] ppid=18553 vsize=2086400 CPUtime=551.98 cores=0-31
/proc/18555/task/18565/stat : 18565 (claspmt) R 18553 18555 18347 0 -1 4202560 9592 0 0 0 55181 17 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 258650653514 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=18555/tid=18566] ppid=18553 vsize=2086400 CPUtime=552.04 cores=0-31
/proc/18555/task/18566/stat : 18566 (claspmt) R 18553 18555 18347 0 -1 4202560 14100 0 0 0 55183 21 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=18555/tid=18567] ppid=18553 vsize=2086400 CPUtime=550.91 cores=0-31
/proc/18555/task/18567/stat : 18567 (claspmt) R 18553 18555 18347 0 -1 4202560 5608 0 0 0 55077 14 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=18555/tid=18568] ppid=18553 vsize=2086400 CPUtime=552.01 cores=0-31
/proc/18555/task/18568/stat : 18568 (claspmt) R 18553 18555 18347 0 -1 4202560 8649 0 0 0 55185 16 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18555/tid=18569] ppid=18553 vsize=2086400 CPUtime=552.06 cores=0-31
/proc/18555/task/18569/stat : 18569 (claspmt) R 18553 18555 18347 0 -1 4202560 9269 0 0 0 55187 19 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=18555/tid=18570] ppid=18553 vsize=2086400 CPUtime=552.01 cores=0-31
/proc/18555/task/18570/stat : 18570 (claspmt) R 18553 18555 18347 0 -1 4202560 6677 0 0 0 55185 16 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=18555/tid=18571] ppid=18553 vsize=2086400 CPUtime=551.99 cores=0-31
/proc/18555/task/18571/stat : 18571 (claspmt) R 18553 18555 18347 0 -1 4202560 7961 0 0 0 55173 26 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=18555/tid=18572] ppid=18553 vsize=2086400 CPUtime=552.01 cores=0-31
/proc/18555/task/18572/stat : 18572 (claspmt) R 18553 18555 18347 0 -1 4202560 4429 0 0 0 55187 14 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=18555/tid=18573] ppid=18553 vsize=2086400 CPUtime=551.95 cores=0-31
/proc/18555/task/18573/stat : 18573 (claspmt) R 18553 18555 18347 0 -1 4202560 9302 0 0 0 55179 16 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4627451 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=18555/tid=18574] ppid=18553 vsize=2086400 CPUtime=548.21 cores=0-31
/proc/18555/task/18574/stat : 18574 (claspmt) R 18553 18555 18347 0 -1 4202560 18883 0 0 0 54790 31 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=18555/tid=18575] ppid=18553 vsize=2086400 CPUtime=552.02 cores=0-31
/proc/18555/task/18575/stat : 18575 (claspmt) R 18553 18555 18347 0 -1 4202560 5601 0 0 0 55187 15 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4627335 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=18555/tid=18576] ppid=18553 vsize=2086400 CPUtime=552.03 cores=0-31
/proc/18555/task/18576/stat : 18576 (claspmt) R 18553 18555 18347 0 -1 4202560 9159 0 0 0 55185 18 0 0 25 0 32 0 14202322 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=18555/tid=18577] ppid=18553 vsize=2086400 CPUtime=552.05 cores=0-31
/proc/18555/task/18577/stat : 18577 (claspmt) R 18553 18555 18347 0 -1 4202560 9760 0 0 0 55185 20 0 0 25 0 32 0 14202323 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=18555/tid=18578] ppid=18553 vsize=2086400 CPUtime=552 cores=0-31
/proc/18555/task/18578/stat : 18578 (claspmt) R 18553 18555 18347 0 -1 4202560 5346 0 0 0 55189 11 0 0 25 0 32 0 14202323 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=18555/tid=18579] ppid=18553 vsize=2086400 CPUtime=551.96 cores=0-31
/proc/18555/task/18579/stat : 18579 (claspmt) R 18553 18555 18347 0 -1 4202560 11047 0 0 0 55160 36 0 0 25 0 32 0 14202323 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=18555/tid=18580] ppid=18553 vsize=2086400 CPUtime=552.02 cores=0-31
/proc/18555/task/18580/stat : 18580 (claspmt) R 18553 18555 18347 0 -1 4202560 5091 0 0 0 55184 18 0 0 25 0 32 0 14202323 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=18555/tid=18581] ppid=18553 vsize=2086400 CPUtime=547.27 cores=0-31
/proc/18555/task/18581/stat : 18581 (claspmt) R 18553 18555 18347 0 -1 4202560 9244 0 0 0 54712 15 0 0 18 0 32 0 14202323 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 258650612750 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=18555/tid=18582] ppid=18553 vsize=2086400 CPUtime=552 cores=0-31
/proc/18555/task/18582/stat : 18582 (claspmt) R 18553 18555 18347 0 -1 4202560 15580 0 0 0 55179 21 0 0 18 0 32 0 14202323 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 258650653507 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=18555/tid=18583] ppid=18553 vsize=2086400 CPUtime=547.85 cores=0-31
/proc/18555/task/18583/stat : 18583 (claspmt) R 18553 18555 18347 0 -1 4202560 5743 0 0 0 54769 16 0 0 25 0 32 0 14202323 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4668732 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=18555/tid=18584] ppid=18553 vsize=2086400 CPUtime=551.87 cores=0-31
/proc/18555/task/18584/stat : 18584 (claspmt) R 18553 18555 18347 0 -1 4202560 10919 0 0 0 55164 23 0 0 25 0 32 0 14202323 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=18555/tid=18585] ppid=18553 vsize=2086400 CPUtime=552.1 cores=0-31
/proc/18555/task/18585/stat : 18585 (claspmt) R 18553 18555 18347 0 -1 4202560 11354 0 0 0 55185 25 0 0 25 0 32 0 14202323 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=18555/tid=18586] ppid=18553 vsize=2086400 CPUtime=552.01 cores=0-31
/proc/18555/task/18586/stat : 18586 (claspmt) R 18553 18555 18347 0 -1 4202560 6315 0 0 0 55185 16 0 0 25 0 32 0 14202323 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=18555/tid=18587] ppid=18553 vsize=2086400 CPUtime=551.97 cores=0-31
/proc/18555/task/18587/stat : 18587 (claspmt) R 18553 18555 18347 0 -1 4202560 9610 0 0 0 55167 30 0 0 25 0 32 0 14202323 2136473600 279673 270582939648 4194304 4964800 140736569384144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 17649.9
Current children cumulated vsize (KiB) 2086400

[startup+555.101 s]
/proc/loadavg: 32.12 29.43 27.36 30/445 18601
/proc/meminfo: memFree=262022144/264257624 swapFree=67111528/67111528
[pid=18555] ppid=18553 vsize=2086400 CPUtime=17680.6 cores=0-31
/proc/18555/stat : 18555 (claspmt) S 18553 18555 18347 0 -1 4202496 288668 0 0 0 1767331 732 0 0 15 0 3 0 14202210 2136473600 279118 270582939648 4194304 4964800 140736569384144 18446744073709551615 258662759221 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/18555/statm: 521600 279118 464 189 0 515949 0
[pid=18555/tid=18560] ppid=18553 vsize=2086400 CPUtime=553.59 cores=0-31
/proc/18555/task/18560/stat : 18560 (claspmt) R 18553 18555 18347 0 -1 4202560 11157 0 0 0 55334 25 0 0 18 0 3 0 14202322 2136473600 279118 270582939648 4194304 4964800 140736569384144 18446744073709551615 4644876 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18555/tid=18584] ppid=18553 vsize=2086400 CPUtime=553.44 cores=0-31
/proc/18555/task/18584/stat : 18584 (claspmt) R 18553 18555 18347 0 -1 4202560 10932 0 0 0 55320 24 0 0 18 0 3 0 14202323 2136473600 279118 270582939648 4194304 4964800 140736569384144 18446744073709551615 258650653584 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 17680.6
Current children cumulated vsize (KiB) 2086400

[startup+555.537 s]
/proc/loadavg: 32.12 29.43 27.36 2/415 18601
/proc/meminfo: memFree=262022740/264257624 swapFree=67111528/67111528
[pid=18555] ppid=18553 vsize=2012600 CPUtime=17681.1 cores=0-31
/proc/18555/stat : 18555 (claspmt) S 18553 18555 18347 0 -1 4202496 288668 0 0 0 1767377 732 0 0 15 0 2 0 14202210 2060902400 279082 270582939648 4194304 4964800 140736569384144 18446744073709551615 258662759221 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/18555/statm: 503150 279082 464 189 0 497499 0
[pid=18555/tid=18584] ppid=18553 vsize=2012600 CPUtime=553.88 cores=0-31
/proc/18555/task/18584/stat : 18584 (claspmt) R 18553 18555 18347 0 -1 4202560 10932 0 0 0 55364 24 0 0 18 0 2 0 14202323 2060902400 279082 270582939648 4194304 4964800 140736569384144 18446744073709551615 4644886 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 17681.1
Current children cumulated vsize (KiB) 2012600

[startup+555.701 s]
/proc/loadavg: 32.12 29.43 27.36 2/415 18601
/proc/meminfo: memFree=262022740/264257624 swapFree=67111528/67111528
[pid=18555] ppid=18553 vsize=1991176 CPUtime=17681.2 cores=0-31
/proc/18555/stat : 18555 (claspmt) R 18553 18555 18347 0 -1 4202496 288678 0 0 0 1767393 732 0 0 16 0 1 0 14202210 2038964224 277289 270582939648 4194304 4964800 140736569384144 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/18555/statm: 497794 277289 474 189 0 492143 0
Current children cumulated CPU time (s) 17681.2
Current children cumulated vsize (KiB) 1991176

[startup+555.801 s]
/proc/loadavg: 32.12 29.43 27.36 2/415 18601
/proc/meminfo: memFree=262022740/264257624 swapFree=67111528/67111528
[pid=18555] ppid=18553 vsize=1176048 CPUtime=17681.3 cores=0-31
/proc/18555/stat : 18555 (claspmt) R 18553 18555 18347 0 -1 4202496 288678 0 0 0 1767401 734 0 0 16 0 1 0 14202210 1204273152 184442 270582939648 4194304 4964800 140736569384144 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/18555/statm: 294012 183948 474 189 0 288361 0
Current children cumulated CPU time (s) 17681.3
Current children cumulated vsize (KiB) 1176048

Child status: 20
Real time (s): 555.856
CPU time (s): 17681.4
CPU user time (s): 17674
CPU system time (s): 7.40087
CPU usage (%): 3180.94
Max. virtual memory (cumulated for all children) (KiB): 2086400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17674
system time used= 7.40087
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288679
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= 182695
involuntary context switches= 39509

runsolver used 3.49947 second user time and 12.1941 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-08 01:09:13
IDJOB=3472338
IDBENCH=71078
IDSOLVER=1961
FILE ID=node200/3472338-1307488153
RUNJOBID= node200-1307487818-18361
PBS_JOBID= 13509200
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.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-3472338-1307488153/watcher-3472338-1307488153 -o /tmp/evaluation-result-3472338-1307488153/solver-3472338-1307488153 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472338-1307488153.cnf

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

MD5SUM BENCH= 66aa2e18c32a02f55a810347a9702c7f
RANDOM SEED=1843478482

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:      263136292 kB
Buffers:        149264 kB
Cached:         711516 kB
SwapCached:          0 kB
Active:         181280 kB
Inactive:       742712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263136292 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2236 kB
Writeback:           0 kB
AnonPages:       64504 kB
Mapped:          14868 kB
Slab:           120036 kB
PageTables:       4432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   169312 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= 61740 MiB
End job on node200 at 2011-06-08 01:18:29