Trace number 3472266

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 91676.5 2868.88

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-01.cnf
MD5SUMd2f77e32530988f77dca5112174eee00
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark57347.5
Satisfiable
(Un)Satisfiability was proved
Number of variables7502
Number of clauses28770
Sum of the clauses size76290
Maximum clause length847
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 215814
Number of clauses of size 311119
Number of clauses of size 4733
Number of clauses of size 5172
Number of clauses of size over 5931

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...359937/instance-3472266-1307359937.cnf
0.05/0.09	c Solving...
91676.45/2868.84	s UNSATISFIABLE
91676.45/2868.84	
91676.45/2868.84	c Models        : 0     
91676.45/2868.84	c Time          : 2868.584s (Solving: 2868.49s 1st Model: 0.00s Unsat: 2868.49s)
91676.45/2868.84	c CPU Time      : 91676.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.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-3472266-1307359937/watcher-3472266-1307359937 -o /tmp/evaluation-result-3472266-1307359937/solver-3472266-1307359937 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472266-1307359937.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.46 31.52 31.66 1/413 9193
/proc/meminfo: memFree=263714968/264257624 swapFree=67111528/67111528
[pid=9193] ppid=9191 vsize=23972 CPUtime=0.01 cores=0-31
/proc/9193/stat : 9193 (claspmt) R 9191 9193 9108 0 -1 4202496 1453 0 0 0 1 0 0 0 25 0 1 0 1380581 24547328 1215 270582939648 4194304 4964800 140736252301392 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9193/statm: 5993 1215 396 189 0 867 0

[startup+0.0635851 s]
/proc/loadavg: 30.46 31.52 31.66 1/413 9193
/proc/meminfo: memFree=263714968/264257624 swapFree=67111528/67111528
[pid=9193] ppid=9191 vsize=25476 CPUtime=0.05 cores=0-31
/proc/9193/stat : 9193 (claspmt) R 9191 9193 9108 0 -1 4202496 1827 0 0 0 5 0 0 0 25 0 1 0 1380581 26087424 1589 270582939648 4194304 4964800 140736252301392 18446744073709551615 4621721 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/9193/statm: 6369 1589 401 189 0 1243 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25476

[startup+0.100555 s]
/proc/loadavg: 30.46 31.52 31.66 1/413 9193
/proc/meminfo: memFree=263714968/264257624 swapFree=67111528/67111528
[pid=9193] ppid=9191 vsize=271896 CPUtime=0.09 cores=0-31
/proc/9193/stat : 9193 (claspmt) D 9191 9193 9108 0 -1 4202496 2200 0 0 0 8 1 0 0 19 0 12 0 1380581 278421504 1805 270582939648 4194304 4964800 140736252301392 18446744073709551615 258650999114 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/9193/statm: 68999 1809 427 189 0 63348 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 271896

[startup+0.300703 s]
/proc/loadavg: 30.46 31.52 31.66 1/413 9193
/proc/meminfo: memFree=263714968/264257624 swapFree=67111528/67111528
[pid=9193] ppid=9191 vsize=1677436 CPUtime=3.68 cores=0-31
/proc/9193/stat : 9193 (claspmt) R 9191 9193 9108 0 -1 4202496 14060 0 0 0 303 65 0 0 18 0 32 0 1380581 1717694464 11903 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668698 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/9193/statm: 419359 12020 461 189 0 413708 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 1677436

[startup+0.700456 s]
/proc/loadavg: 30.46 31.52 31.66 1/413 9193
/proc/meminfo: memFree=263714968/264257624 swapFree=67111528/67111528
[pid=9193] ppid=9191 vsize=1677964 CPUtime=16.16 cores=0-31
/proc/9193/stat : 9193 (claspmt) R 9191 9193 9108 0 -1 4202496 17425 0 0 0 1538 78 0 0 18 0 32 0 1380581 1718235136 15268 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/9193/statm: 419491 15269 461 189 0 413840 0
Current children cumulated CPU time (s) 16.16
Current children cumulated vsize (KiB) 1677964

[startup+1.50148 s]
/proc/loadavg: 30.46 31.52 31.66 33/445 9225
/proc/meminfo: memFree=263648236/264257624 swapFree=67111528/67111528
[pid=9193] ppid=9191 vsize=1678888 CPUtime=41.53 cores=0-31
/proc/9193/stat : 9193 (claspmt) R 9191 9193 9108 0 -1 4202496 23119 0 0 0 4055 98 0 0 18 0 32 0 1380581 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668753 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/9193/statm: 419722 20962 461 189 0 414071 0
[pid=9193/tid=9195] ppid=9191 vsize=1678888 CPUtime=1.29 cores=0-31
/proc/9193/task/9195/stat : 9195 (claspmt) R 9191 9193 9108 0 -1 4202560 535 0 0 0 127 2 0 0 18 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9193/tid=9196] ppid=9191 vsize=1678888 CPUtime=1.29 cores=0-31
/proc/9193/task/9196/stat : 9196 (claspmt) R 9191 9193 9108 0 -1 4202560 861 0 0 0 125 4 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9193/tid=9197] ppid=9191 vsize=1678888 CPUtime=1.29 cores=0-31
/proc/9193/task/9197/stat : 9197 (claspmt) R 9191 9193 9108 0 -1 4202560 727 0 0 0 127 2 0 0 18 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9193/tid=9198] ppid=9191 vsize=1678888 CPUtime=1.27 cores=0-31
/proc/9193/task/9198/stat : 9198 (claspmt) R 9191 9193 9108 0 -1 4202560 768 0 0 0 125 2 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9193/tid=9199] ppid=9191 vsize=1678888 CPUtime=1.29 cores=0-31
/proc/9193/task/9199/stat : 9199 (claspmt) R 9191 9193 9108 0 -1 4202560 413 0 0 0 128 1 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9193/tid=9200] ppid=9191 vsize=1678888 CPUtime=1.29 cores=0-31
/proc/9193/task/9200/stat : 9200 (claspmt) R 9191 9193 9108 0 -1 4202560 669 0 0 0 126 3 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4660936 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9193/tid=9201] ppid=9191 vsize=1678888 CPUtime=1.29 cores=0-31
/proc/9193/task/9201/stat : 9201 (claspmt) R 9191 9193 9108 0 -1 4202560 906 0 0 0 125 4 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9193/tid=9202] ppid=9191 vsize=1678888 CPUtime=1.28 cores=0-31
/proc/9193/task/9202/stat : 9202 (claspmt) R 9191 9193 9108 0 -1 4202560 603 0 0 0 125 3 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9193/tid=9203] ppid=9191 vsize=1678888 CPUtime=1.29 cores=0-31
/proc/9193/task/9203/stat : 9203 (claspmt) R 9191 9193 9108 0 -1 4202560 624 0 0 0 126 3 0 0 18 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9193/tid=9204] ppid=9191 vsize=1678888 CPUtime=1.27 cores=0-31
/proc/9193/task/9204/stat : 9204 (claspmt) R 9191 9193 9108 0 -1 4202560 854 0 0 0 125 2 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9193/tid=9205] ppid=9191 vsize=1678888 CPUtime=1.29 cores=0-31
/proc/9193/task/9205/stat : 9205 (claspmt) R 9191 9193 9108 0 -1 4202560 679 0 0 0 126 3 0 0 18 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9193/tid=9206] ppid=9191 vsize=1678888 CPUtime=1.29 cores=0-31
/proc/9193/task/9206/stat : 9206 (claspmt) R 9191 9193 9108 0 -1 4202560 678 0 0 0 126 3 0 0 18 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9193/tid=9207] ppid=9191 vsize=1678888 CPUtime=1.32 cores=0-31
/proc/9193/task/9207/stat : 9207 (claspmt) R 9191 9193 9108 0 -1 4202560 394 0 0 0 130 2 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4660427 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9193/tid=9208] ppid=9191 vsize=1678888 CPUtime=1.29 cores=0-31
/proc/9193/task/9208/stat : 9208 (claspmt) R 9191 9193 9108 0 -1 4202560 621 0 0 0 127 2 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669493 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9193/tid=9209] ppid=9191 vsize=1678888 CPUtime=1.28 cores=0-31
/proc/9193/task/9209/stat : 9209 (claspmt) R 9191 9193 9108 0 -1 4202560 848 0 0 0 124 4 0 0 18 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9193/tid=9210] ppid=9191 vsize=1678888 CPUtime=1.3 cores=0-31
/proc/9193/task/9210/stat : 9210 (claspmt) R 9191 9193 9108 0 -1 4202560 575 0 0 0 127 3 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9193/tid=9211] ppid=9191 vsize=1678888 CPUtime=1.27 cores=0-31
/proc/9193/task/9211/stat : 9211 (claspmt) R 9191 9193 9108 0 -1 4202560 622 0 0 0 125 2 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4660463 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9193/tid=9212] ppid=9191 vsize=1678888 CPUtime=1.26 cores=0-31
/proc/9193/task/9212/stat : 9212 (claspmt) R 9191 9193 9108 0 -1 4202560 817 0 0 0 123 3 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 258650623147 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9193/tid=9213] ppid=9191 vsize=1678888 CPUtime=1.29 cores=0-31
/proc/9193/task/9213/stat : 9213 (claspmt) R 9191 9193 9108 0 -1 4202560 667 0 0 0 127 2 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9193/tid=9214] ppid=9191 vsize=1678888 CPUtime=1.29 cores=0-31
/proc/9193/task/9214/stat : 9214 (claspmt) R 9191 9193 9108 0 -1 4202560 674 0 0 0 127 2 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9193/tid=9215] ppid=9191 vsize=1678888 CPUtime=1.3 cores=0-31
/proc/9193/task/9215/stat : 9215 (claspmt) R 9191 9193 9108 0 -1 4202560 385 0 0 0 128 2 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9193/tid=9216] ppid=9191 vsize=1678888 CPUtime=1.29 cores=0-31
/proc/9193/task/9216/stat : 9216 (claspmt) R 9191 9193 9108 0 -1 4202560 645 0 0 0 127 2 0 0 18 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9193/tid=9217] ppid=9191 vsize=1678888 CPUtime=1.28 cores=0-31
/proc/9193/task/9217/stat : 9217 (claspmt) R 9191 9193 9108 0 -1 4202560 913 0 0 0 124 4 0 0 18 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9193/tid=9218] ppid=9191 vsize=1678888 CPUtime=1.28 cores=0-31
/proc/9193/task/9218/stat : 9218 (claspmt) R 9191 9193 9108 0 -1 4202560 591 0 0 0 126 2 0 0 18 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4632322 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9193/tid=9219] ppid=9191 vsize=1678888 CPUtime=1.27 cores=0-31
/proc/9193/task/9219/stat : 9219 (claspmt) R 9191 9193 9108 0 -1 4202560 629 0 0 0 125 2 0 0 19 0 32 0 1380591 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669410 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9193/tid=9220] ppid=9191 vsize=1678888 CPUtime=1.26 cores=0-31
/proc/9193/task/9220/stat : 9220 (claspmt) R 9191 9193 9108 0 -1 4202560 901 0 0 0 124 2 0 0 18 0 32 0 1380592 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9193/tid=9221] ppid=9191 vsize=1678888 CPUtime=1.28 cores=0-31
/proc/9193/task/9221/stat : 9221 (claspmt) R 9191 9193 9108 0 -1 4202560 641 0 0 0 126 2 0 0 19 0 32 0 1380592 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9193/tid=9222] ppid=9191 vsize=1678888 CPUtime=1.27 cores=0-31
/proc/9193/task/9222/stat : 9222 (claspmt) R 9191 9193 9108 0 -1 4202560 647 0 0 0 125 2 0 0 19 0 32 0 1380592 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4653186 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9193/tid=9223] ppid=9191 vsize=1678888 CPUtime=1.32 cores=0-31
/proc/9193/task/9223/stat : 9223 (claspmt) R 9191 9193 9108 0 -1 4202560 398 0 0 0 130 2 0 0 19 0 32 0 1380592 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9193/tid=9224] ppid=9191 vsize=1678888 CPUtime=1.29 cores=0-31
/proc/9193/task/9224/stat : 9224 (claspmt) R 9191 9193 9108 0 -1 4202560 618 0 0 0 126 3 0 0 18 0 32 0 1380592 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9193/tid=9225] ppid=9191 vsize=1678888 CPUtime=1.27 cores=0-31
/proc/9193/task/9225/stat : 9225 (claspmt) R 9191 9193 9108 0 -1 4202560 922 0 0 0 124 3 0 0 19 0 32 0 1380592 1719181312 20962 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 41.53
Current children cumulated vsize (KiB) 1678888

[startup+3.10154 s]
/proc/loadavg: 30.46 31.52 31.66 33/445 9225
/proc/meminfo: memFree=263614880/264257624 swapFree=67111528/67111528
[pid=9193] ppid=9191 vsize=1679416 CPUtime=92.58 cores=0-31
/proc/9193/stat : 9193 (claspmt) R 9191 9193 9108 0 -1 4202496 28477 0 0 0 9141 117 0 0 21 0 32 0 1380581 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/9193/statm: 419854 26320 461 189 0 414203 0
[pid=9193/tid=9195] ppid=9191 vsize=1679416 CPUtime=2.88 cores=0-31
/proc/9193/task/9195/stat : 9195 (claspmt) R 9191 9193 9108 0 -1 4202560 615 0 0 0 286 2 0 0 21 0 32 0 1380591 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4653348 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9193/tid=9196] ppid=9191 vsize=1679416 CPUtime=2.88 cores=0-31
/proc/9193/task/9196/stat : 9196 (claspmt) R 9191 9193 9108 0 -1 4202560 1151 0 0 0 284 4 0 0 19 0 32 0 1380591 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9193/tid=9197] ppid=9191 vsize=1679416 CPUtime=2.89 cores=0-31
/proc/9193/task/9197/stat : 9197 (claspmt) R 9191 9193 9108 0 -1 4202560 834 0 0 0 286 3 0 0 21 0 32 0 1380591 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668732 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9193/tid=9198] ppid=9191 vsize=1679416 CPUtime=2.86 cores=0-31
/proc/9193/task/9198/stat : 9198 (claspmt) R 9191 9193 9108 0 -1 4202560 892 0 0 0 284 2 0 0 22 0 32 0 1380591 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669563 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9193/tid=9199] ppid=9191 vsize=1679416 CPUtime=2.88 cores=0-31
/proc/9193/task/9199/stat : 9199 (claspmt) R 9191 9193 9108 0 -1 4202560 637 0 0 0 287 1 0 0 23 0 32 0 1380591 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9193/tid=9200] ppid=9191 vsize=1679416 CPUtime=2.89 cores=0-31
/proc/9193/task/9200/stat : 9200 (claspmt) R 9191 9193 9108 0 -1 4202560 782 0 0 0 285 4 0 0 22 0 32 0 1380591 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9193/tid=9201] ppid=9191 vsize=1679416 CPUtime=2.88 cores=0-31
/proc/9193/task/9201/stat : 9201 (claspmt) R 9191 9193 9108 0 -1 4202560 1192 0 0 0 283 5 0 0 22 0 32 0 1380591 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9193/tid=9202] ppid=9191 vsize=1679416 CPUtime=2.87 cores=0-31
/proc/9193/task/9202/stat : 9202 (claspmt) R 9191 9193 9108 0 -1 4202560 693 0 0 0 284 3 0 0 22 0 32 0 1380591 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9193/tid=9203] ppid=9191 vsize=1679416 CPUtime=2.9 cores=0-31
/proc/9193/task/9203/stat : 9203 (claspmt) R 9191 9193 9108 0 -1 4202560 726 0 0 0 286 4 0 0 21 0 32 0 1380591 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669523 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9193/tid=9204] ppid=9191 vsize=1679416 CPUtime=2.87 cores=0-31
/proc/9193/task/9204/stat : 9204 (claspmt) R 9191 9193 9108 0 -1 4202560 1148 0 0 0 283 4 0 0 19 0 32 0 1380591 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9193/tid=9205] ppid=9191 vsize=1679416 CPUtime=2.89 cores=0-31
/proc/9193/task/9205/stat : 9205 (claspmt) R 9191 9193 9108 0 -1 4202560 742 0 0 0 285 4 0 0 20 0 32 0 1380591 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9193/tid=9206] ppid=9191 vsize=1679416 CPUtime=2.89 cores=0-31
/proc/9193/task/9206/stat : 9206 (claspmt) R 9191 9193 9108 0 -1 4202560 822 0 0 0 285 4 0 0 20 0 32 0 1380591 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9193/tid=9207] ppid=9191 vsize=1679416 CPUtime=2.91 cores=0-31
/proc/9193/task/9207/stat : 9207 (claspmt) R 9191 9193 9108 0 -1 4202560 621 0 0 0 288 3 0 0 19 0 32 0 1380591 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9193/tid=9208] ppid=9191 vsize=1679416 CPUtime=2.89 cores=0-31
/proc/9193/task/9208/stat : 9208 (claspmt) R 9191 9193 9108 0 -1 4202560 704 0 0 0 287 2 0 0 22 0 32 0 1380591 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9193/tid=9209] ppid=9191 vsize=1679416 CPUtime=2.87 cores=0-31
/proc/9193/task/9209/stat : 9209 (claspmt) R 9191 9193 9108 0 -1 4202560 1247 0 0 0 282 5 0 0 19 0 32 0 1380591 1719721984 26320 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669338 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9193/tid=9210] ppid=9191 vsize=1679416 CPUtime=2.89 cores=0-31
/proc/9193/task/9210/stat : 9210 (claspmt) R 9191 9193 9108 0 -1 4202560 657 0 0 0 286 3 0 0 20 0 32 0 1380591 1719721984 26321 270582939648 4194304 4964800 140736252301392 18446744073709551615 4653507 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9193/tid=9211] ppid=9191 vsize=1679416 CPUtime=2.87 cores=0-31
/proc/9193/task/9211/stat : 9211 (claspmt) R 9191 9193 9108 0 -1 4202560 699 0 0 0 285 2 0 0 23 0 32 0 1380591 1719721984 26321 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9193/tid=9212] ppid=9191 vsize=1679416 CPUtime=2.86 cores=0-31
/proc/9193/task/9212/stat : 9212 (claspmt) R 9191 9193 9108 0 -1 4202560 1136 0 0 0 282 4 0 0 19 0 32 0 1380591 1719721984 26321 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670212 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9193/tid=9213] ppid=9191 vsize=1679416 CPUtime=2.89 cores=0-31
/proc/9193/task/9213/stat : 9213 (claspmt) R 9191 9193 9108 0 -1 4202560 765 0 0 0 286 3 0 0 23 0 32 0 1380591 1719721984 26321 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9193/tid=9214] ppid=9191 vsize=1679416 CPUtime=2.89 cores=0-31
/proc/9193/task/9214/stat : 9214 (claspmt) R 9191 9193 9108 0 -1 4202560 798 0 0 0 286 3 0 0 22 0 32 0 1380591 1719721984 26321 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9193/tid=9215] ppid=9191 vsize=1679416 CPUtime=2.89 cores=0-31
/proc/9193/task/9215/stat : 9215 (claspmt) R 9191 9193 9108 0 -1 4202560 615 0 0 0 287 2 0 0 19 0 32 0 1380591 1719721984 26321 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9193/tid=9216] ppid=9191 vsize=1679416 CPUtime=2.89 cores=0-31
/proc/9193/task/9216/stat : 9216 (claspmt) R 9191 9193 9108 0 -1 4202560 737 0 0 0 287 2 0 0 21 0 32 0 1380591 1719721984 26321 270582939648 4194304 4964800 140736252301392 18446744073709551615 4660123 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9193/tid=9217] ppid=9191 vsize=1679416 CPUtime=2.86 cores=0-31
/proc/9193/task/9217/stat : 9217 (claspmt) R 9191 9193 9108 0 -1 4202560 1201 0 0 0 281 5 0 0 21 0 32 0 1380591 1719721984 26321 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9193/tid=9218] ppid=9191 vsize=1679416 CPUtime=2.87 cores=0-31
/proc/9193/task/9218/stat : 9218 (claspmt) R 9191 9193 9108 0 -1 4202560 719 0 0 0 285 2 0 0 21 0 32 0 1380591 1719721984 26321 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669333 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9193/tid=9219] ppid=9191 vsize=1679416 CPUtime=2.88 cores=0-31
/proc/9193/task/9219/stat : 9219 (claspmt) R 9191 9193 9108 0 -1 4202560 714 0 0 0 285 3 0 0 23 0 32 0 1380591 1719721984 26321 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9193/tid=9220] ppid=9191 vsize=1679416 CPUtime=2.82 cores=0-31
/proc/9193/task/9220/stat : 9220 (claspmt) R 9191 9193 9108 0 -1 4202560 1186 0 0 0 279 3 0 0 20 0 32 0 1380592 1719721984 26321 270582939648 4194304 4964800 140736252301392 18446744073709551615 4660849 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9193/tid=9221] ppid=9191 vsize=1679416 CPUtime=2.88 cores=0-31
/proc/9193/task/9221/stat : 9221 (claspmt) R 9191 9193 9108 0 -1 4202560 740 0 0 0 285 3 0 0 23 0 32 0 1380592 1719721984 26321 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9193/tid=9222] ppid=9191 vsize=1679416 CPUtime=2.87 cores=0-31
/proc/9193/task/9222/stat : 9222 (claspmt) R 9191 9193 9108 0 -1 4202560 778 0 0 0 284 3 0 0 19 0 32 0 1380592 1719721984 26321 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9193/tid=9223] ppid=9191 vsize=1679416 CPUtime=2.9 cores=0-31
/proc/9193/task/9223/stat : 9223 (claspmt) R 9191 9193 9108 0 -1 4202560 648 0 0 0 288 2 0 0 24 0 32 0 1380592 1719721984 26321 270582939648 4194304 4964800 140736252301392 18446744073709551615 4653191 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9193/tid=9224] ppid=9191 vsize=1679416 CPUtime=2.88 cores=0-31

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

[pid=9193/tid=9222] ppid=9191 vsize=1723988 CPUtime=2866.14 cores=0-31
/proc/9193/task/9222/stat : 9222 (claspmt) R 9191 9193 9108 0 -1 4202560 6194 0 0 0 286580 34 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9193/tid=9223] ppid=9191 vsize=1723988 CPUtime=2866.15 cores=0-31
/proc/9193/task/9223/stat : 9223 (claspmt) R 9191 9193 9108 0 -1 4202560 8251 0 0 0 286576 39 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9193/tid=9224] ppid=9191 vsize=1723988 CPUtime=2865.98 cores=0-31
/proc/9193/task/9224/stat : 9224 (claspmt) R 9191 9193 9108 0 -1 4202560 2550 0 0 0 286578 20 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9193/tid=9225] ppid=9191 vsize=1723988 CPUtime=2866.13 cores=0-31
/proc/9193/task/9225/stat : 9225 (claspmt) R 9191 9193 9108 0 -1 4202560 27409 0 0 0 286505 108 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 91630.4
Current children cumulated vsize (KiB) 1723988

[startup+2867.9 s]
/proc/loadavg: 32.02 32.05 32.00 33/445 9313
/proc/meminfo: memFree=262712992/264257624 swapFree=67111528/67111528
[pid=9193] ppid=9191 vsize=1723988 CPUtime=91656 cores=0-31
/proc/9193/stat : 9193 (claspmt) R 9191 9193 9108 0 -1 4202496 260733 0 0 0 9164224 1372 0 0 25 0 32 0 1380581 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668712 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/9193/statm: 430997 250936 463 189 0 425346 0
[pid=9193/tid=9195] ppid=9191 vsize=1723988 CPUtime=2866.29 cores=0-31
/proc/9193/task/9195/stat : 9195 (claspmt) R 9191 9193 9108 0 -1 4202560 3954 0 0 0 286606 23 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9193/tid=9196] ppid=9191 vsize=1723988 CPUtime=2865.8 cores=0-31
/proc/9193/task/9196/stat : 9196 (claspmt) R 9191 9193 9108 0 -1 4202560 9574 0 0 0 286532 48 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4361293 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9193/tid=9197] ppid=9191 vsize=1723988 CPUtime=2860.42 cores=0-31
/proc/9193/task/9197/stat : 9197 (claspmt) R 9191 9193 9108 0 -1 4202560 2830 0 0 0 286021 21 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4320905 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9193/tid=9198] ppid=9191 vsize=1723988 CPUtime=2866.16 cores=0-31
/proc/9193/task/9198/stat : 9198 (claspmt) R 9191 9193 9108 0 -1 4202560 7547 0 0 0 286578 38 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9193/tid=9199] ppid=9191 vsize=1723988 CPUtime=2866.89 cores=0-31
/proc/9193/task/9199/stat : 9199 (claspmt) R 9191 9193 9108 0 -1 4202560 6672 0 0 0 286655 34 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9193/tid=9200] ppid=9191 vsize=1723988 CPUtime=2866.85 cores=0-31
/proc/9193/task/9200/stat : 9200 (claspmt) R 9191 9193 9108 0 -1 4202560 2707 0 0 0 286664 21 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9193/tid=9201] ppid=9191 vsize=1723988 CPUtime=2866.87 cores=0-31
/proc/9193/task/9201/stat : 9201 (claspmt) R 9191 9193 9108 0 -1 4202560 26999 0 0 0 286580 107 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9193/tid=9202] ppid=9191 vsize=1723988 CPUtime=2854.5 cores=0-31
/proc/9193/task/9202/stat : 9202 (claspmt) R 9191 9193 9108 0 -1 4202560 2182 0 0 0 285426 24 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9193/tid=9203] ppid=9191 vsize=1723988 CPUtime=2865.4 cores=0-31
/proc/9193/task/9203/stat : 9203 (claspmt) R 9191 9193 9108 0 -1 4202560 4201 0 0 0 286489 51 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9193/tid=9204] ppid=9191 vsize=1723988 CPUtime=2866.88 cores=0-31
/proc/9193/task/9204/stat : 9204 (claspmt) R 9191 9193 9108 0 -1 4202560 10089 0 0 0 286639 49 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9193/tid=9205] ppid=9191 vsize=1723988 CPUtime=2866.88 cores=0-31
/proc/9193/task/9205/stat : 9205 (claspmt) R 9191 9193 9108 0 -1 4202560 3061 0 0 0 286665 23 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4361293 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9193/tid=9206] ppid=9191 vsize=1723988 CPUtime=2866.86 cores=0-31
/proc/9193/task/9206/stat : 9206 (claspmt) R 9191 9193 9108 0 -1 4202560 7670 0 0 0 286644 42 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9193/tid=9207] ppid=9191 vsize=1723988 CPUtime=2866.3 cores=0-31
/proc/9193/task/9207/stat : 9207 (claspmt) R 9191 9193 9108 0 -1 4202560 7252 0 0 0 286590 40 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9193/tid=9208] ppid=9191 vsize=1723988 CPUtime=2866.54 cores=0-31
/proc/9193/task/9208/stat : 9208 (claspmt) R 9191 9193 9108 0 -1 4202560 2834 0 0 0 286635 19 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9193/tid=9209] ppid=9191 vsize=1723988 CPUtime=2866.93 cores=0-31
/proc/9193/task/9209/stat : 9209 (claspmt) R 9191 9193 9108 0 -1 4202560 28438 0 0 0 286568 125 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9193/tid=9210] ppid=9191 vsize=1723988 CPUtime=2854 cores=0-31
/proc/9193/task/9210/stat : 9210 (claspmt) R 9191 9193 9108 0 -1 4202560 1985 0 0 0 285378 22 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9193/tid=9211] ppid=9191 vsize=1723988 CPUtime=2853.09 cores=0-31
/proc/9193/task/9211/stat : 9211 (claspmt) R 9191 9193 9108 0 -1 4202560 4169 0 0 0 285277 32 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9193/tid=9212] ppid=9191 vsize=1723988 CPUtime=2866.87 cores=0-31
/proc/9193/task/9212/stat : 9212 (claspmt) R 9191 9193 9108 0 -1 4202560 10095 0 0 0 286638 49 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9193/tid=9213] ppid=9191 vsize=1723988 CPUtime=2866.88 cores=0-31
/proc/9193/task/9213/stat : 9213 (claspmt) R 9191 9193 9108 0 -1 4202560 2567 0 0 0 286664 24 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669779 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9193/tid=9214] ppid=9191 vsize=1723988 CPUtime=2858.93 cores=0-31
/proc/9193/task/9214/stat : 9214 (claspmt) R 9191 9193 9108 0 -1 4202560 7682 0 0 0 285852 41 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9193/tid=9215] ppid=9191 vsize=1723988 CPUtime=2866.91 cores=0-31
/proc/9193/task/9215/stat : 9215 (claspmt) R 9191 9193 9108 0 -1 4202560 7774 0 0 0 286647 44 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669441 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9193/tid=9216] ppid=9191 vsize=1723988 CPUtime=2850.98 cores=0-31
/proc/9193/task/9216/stat : 9216 (claspmt) R 9191 9193 9108 0 -1 4202560 2674 0 0 0 285074 24 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9193/tid=9217] ppid=9191 vsize=1723988 CPUtime=2866.88 cores=0-31
/proc/9193/task/9217/stat : 9217 (claspmt) R 9191 9193 9108 0 -1 4202560 29437 0 0 0 286571 117 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9193/tid=9218] ppid=9191 vsize=1723988 CPUtime=2866.79 cores=0-31
/proc/9193/task/9218/stat : 9218 (claspmt) R 9191 9193 9108 0 -1 4202560 2551 0 0 0 286660 19 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9193/tid=9219] ppid=9191 vsize=1723988 CPUtime=2866.45 cores=0-31
/proc/9193/task/9219/stat : 9219 (claspmt) R 9191 9193 9108 0 -1 4202560 4073 0 0 0 286615 30 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9193/tid=9220] ppid=9191 vsize=1723988 CPUtime=2856.92 cores=0-31
/proc/9193/task/9220/stat : 9220 (claspmt) R 9191 9193 9108 0 -1 4202560 10791 0 0 0 285640 52 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9193/tid=9221] ppid=9191 vsize=1723988 CPUtime=2866.87 cores=0-31
/proc/9193/task/9221/stat : 9221 (claspmt) R 9191 9193 9108 0 -1 4202560 2339 0 0 0 286668 19 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9193/tid=9222] ppid=9191 vsize=1723988 CPUtime=2866.94 cores=0-31
/proc/9193/task/9222/stat : 9222 (claspmt) R 9191 9193 9108 0 -1 4202560 6194 0 0 0 286660 34 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668702 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9193/tid=9223] ppid=9191 vsize=1723988 CPUtime=2866.95 cores=0-31
/proc/9193/task/9223/stat : 9223 (claspmt) R 9191 9193 9108 0 -1 4202560 8251 0 0 0 286656 39 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670507 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9193/tid=9224] ppid=9191 vsize=1723988 CPUtime=2866.78 cores=0-31
/proc/9193/task/9224/stat : 9224 (claspmt) R 9191 9193 9108 0 -1 4202560 2550 0 0 0 286658 20 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9193/tid=9225] ppid=9191 vsize=1723988 CPUtime=2866.93 cores=0-31
/proc/9193/task/9225/stat : 9225 (claspmt) R 9191 9193 9108 0 -1 4202560 27409 0 0 0 286585 108 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 91656
Current children cumulated vsize (KiB) 1723988

[startup+2868.3 s]
/proc/loadavg: 32.02 32.05 32.00 33/445 9313
/proc/meminfo: memFree=262712992/264257624 swapFree=67111528/67111528
[pid=9193] ppid=9191 vsize=1723988 CPUtime=91668.8 cores=0-31
/proc/9193/stat : 9193 (claspmt) R 9191 9193 9108 0 -1 4202496 260733 0 0 0 9165502 1373 0 0 25 0 32 0 1380581 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669338 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/9193/statm: 430997 250936 463 189 0 425346 0
[pid=9193/tid=9195] ppid=9191 vsize=1723988 CPUtime=2866.69 cores=0-31
/proc/9193/task/9195/stat : 9195 (claspmt) R 9191 9193 9108 0 -1 4202560 3954 0 0 0 286646 23 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9193/tid=9196] ppid=9191 vsize=1723988 CPUtime=2866.2 cores=0-31
/proc/9193/task/9196/stat : 9196 (claspmt) R 9191 9193 9108 0 -1 4202560 9574 0 0 0 286572 48 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=9193/tid=9197] ppid=9191 vsize=1723988 CPUtime=2860.82 cores=0-31
/proc/9193/task/9197/stat : 9197 (claspmt) R 9191 9193 9108 0 -1 4202560 2830 0 0 0 286061 21 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4684074 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=9193/tid=9198] ppid=9191 vsize=1723988 CPUtime=2866.56 cores=0-31
/proc/9193/task/9198/stat : 9198 (claspmt) R 9191 9193 9108 0 -1 4202560 7547 0 0 0 286618 38 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=9193/tid=9199] ppid=9191 vsize=1723988 CPUtime=2867.29 cores=0-31
/proc/9193/task/9199/stat : 9199 (claspmt) R 9191 9193 9108 0 -1 4202560 6672 0 0 0 286695 34 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=9193/tid=9200] ppid=9191 vsize=1723988 CPUtime=2867.25 cores=0-31
/proc/9193/task/9200/stat : 9200 (claspmt) R 9191 9193 9108 0 -1 4202560 2707 0 0 0 286704 21 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=9193/tid=9201] ppid=9191 vsize=1723988 CPUtime=2867.27 cores=0-31
/proc/9193/task/9201/stat : 9201 (claspmt) R 9191 9193 9108 0 -1 4202560 26999 0 0 0 286620 107 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=9193/tid=9202] ppid=9191 vsize=1723988 CPUtime=2854.9 cores=0-31
/proc/9193/task/9202/stat : 9202 (claspmt) R 9191 9193 9108 0 -1 4202560 2182 0 0 0 285466 24 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669563 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=9193/tid=9203] ppid=9191 vsize=1723988 CPUtime=2865.8 cores=0-31
/proc/9193/task/9203/stat : 9203 (claspmt) R 9191 9193 9108 0 -1 4202560 4201 0 0 0 286529 51 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=9193/tid=9204] ppid=9191 vsize=1723988 CPUtime=2867.28 cores=0-31
/proc/9193/task/9204/stat : 9204 (claspmt) R 9191 9193 9108 0 -1 4202560 10089 0 0 0 286679 49 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=9193/tid=9205] ppid=9191 vsize=1723988 CPUtime=2867.28 cores=0-31
/proc/9193/task/9205/stat : 9205 (claspmt) R 9191 9193 9108 0 -1 4202560 3061 0 0 0 286705 23 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=9193/tid=9206] ppid=9191 vsize=1723988 CPUtime=2867.26 cores=0-31
/proc/9193/task/9206/stat : 9206 (claspmt) R 9191 9193 9108 0 -1 4202560 7670 0 0 0 286684 42 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=9193/tid=9207] ppid=9191 vsize=1723988 CPUtime=2866.7 cores=0-31
/proc/9193/task/9207/stat : 9207 (claspmt) R 9191 9193 9108 0 -1 4202560 7252 0 0 0 286630 40 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9193/tid=9208] ppid=9191 vsize=1723988 CPUtime=2866.94 cores=0-31
/proc/9193/task/9208/stat : 9208 (claspmt) R 9191 9193 9108 0 -1 4202560 2834 0 0 0 286675 19 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=9193/tid=9209] ppid=9191 vsize=1723988 CPUtime=2867.33 cores=0-31
/proc/9193/task/9209/stat : 9209 (claspmt) R 9191 9193 9108 0 -1 4202560 28438 0 0 0 286608 125 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4653136 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=9193/tid=9210] ppid=9191 vsize=1723988 CPUtime=2854.39 cores=0-31
/proc/9193/task/9210/stat : 9210 (claspmt) R 9191 9193 9108 0 -1 4202560 1985 0 0 0 285417 22 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=9193/tid=9211] ppid=9191 vsize=1723988 CPUtime=2853.49 cores=0-31
/proc/9193/task/9211/stat : 9211 (claspmt) R 9191 9193 9108 0 -1 4202560 4169 0 0 0 285317 32 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=9193/tid=9212] ppid=9191 vsize=1723988 CPUtime=2867.27 cores=0-31
/proc/9193/task/9212/stat : 9212 (claspmt) R 9191 9193 9108 0 -1 4202560 10095 0 0 0 286678 49 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=9193/tid=9213] ppid=9191 vsize=1723988 CPUtime=2867.28 cores=0-31
/proc/9193/task/9213/stat : 9213 (claspmt) R 9191 9193 9108 0 -1 4202560 2567 0 0 0 286704 24 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=9193/tid=9214] ppid=9191 vsize=1723988 CPUtime=2859.33 cores=0-31
/proc/9193/task/9214/stat : 9214 (claspmt) R 9191 9193 9108 0 -1 4202560 7682 0 0 0 285892 41 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9193/tid=9215] ppid=9191 vsize=1723988 CPUtime=2867.31 cores=0-31
/proc/9193/task/9215/stat : 9215 (claspmt) R 9191 9193 9108 0 -1 4202560 7774 0 0 0 286687 44 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=9193/tid=9216] ppid=9191 vsize=1723988 CPUtime=2851.38 cores=0-31
/proc/9193/task/9216/stat : 9216 (claspmt) R 9191 9193 9108 0 -1 4202560 2674 0 0 0 285114 24 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=9193/tid=9217] ppid=9191 vsize=1723988 CPUtime=2867.27 cores=0-31
/proc/9193/task/9217/stat : 9217 (claspmt) R 9191 9193 9108 0 -1 4202560 29437 0 0 0 286610 117 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=9193/tid=9218] ppid=9191 vsize=1723988 CPUtime=2867.19 cores=0-31
/proc/9193/task/9218/stat : 9218 (claspmt) R 9191 9193 9108 0 -1 4202560 2551 0 0 0 286700 19 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4678032 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9193/tid=9219] ppid=9191 vsize=1723988 CPUtime=2866.85 cores=0-31
/proc/9193/task/9219/stat : 9219 (claspmt) R 9191 9193 9108 0 -1 4202560 4073 0 0 0 286655 30 0 0 25 0 32 0 1380591 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=9193/tid=9220] ppid=9191 vsize=1723988 CPUtime=2857.32 cores=0-31
/proc/9193/task/9220/stat : 9220 (claspmt) R 9191 9193 9108 0 -1 4202560 10791 0 0 0 285680 52 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=9193/tid=9221] ppid=9191 vsize=1723988 CPUtime=2867.27 cores=0-31
/proc/9193/task/9221/stat : 9221 (claspmt) R 9191 9193 9108 0 -1 4202560 2339 0 0 0 286708 19 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=9193/tid=9222] ppid=9191 vsize=1723988 CPUtime=2867.34 cores=0-31
/proc/9193/task/9222/stat : 9222 (claspmt) R 9191 9193 9108 0 -1 4202560 6194 0 0 0 286700 34 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9193/tid=9223] ppid=9191 vsize=1723988 CPUtime=2867.35 cores=0-31
/proc/9193/task/9223/stat : 9223 (claspmt) R 9191 9193 9108 0 -1 4202560 8251 0 0 0 286696 39 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=9193/tid=9224] ppid=9191 vsize=1723988 CPUtime=2867.18 cores=0-31
/proc/9193/task/9224/stat : 9224 (claspmt) R 9191 9193 9108 0 -1 4202560 2550 0 0 0 286698 20 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=9193/tid=9225] ppid=9191 vsize=1723988 CPUtime=2867.33 cores=0-31
/proc/9193/task/9225/stat : 9225 (claspmt) R 9191 9193 9108 0 -1 4202560 27409 0 0 0 286625 108 0 0 25 0 32 0 1380592 1765363712 250936 270582939648 4194304 4964800 140736252301392 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 91668.8
Current children cumulated vsize (KiB) 1723988

[startup+2868.7 s]
/proc/loadavg: 32.02 32.05 32.00 2/414 9313
/proc/meminfo: memFree=262722276/264257624 swapFree=67111528/67111528
[pid=9193] ppid=9191 vsize=1619648 CPUtime=91676.3 cores=0-31
/proc/9193/stat : 9193 (claspmt) R 9191 9193 9108 0 -1 4202496 260744 0 0 0 9166197 1437 0 0 17 0 1 0 1380581 1658519552 246657 270582939648 4194304 4964800 140736252301392 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9193/statm: 404912 246657 474 189 0 399261 0
Current children cumulated CPU time (s) 91676.3
Current children cumulated vsize (KiB) 1619648

[startup+2868.84 s]
/proc/loadavg: 32.02 32.05 32.00 2/414 9313
/proc/meminfo: memFree=262722276/264257624 swapFree=67111528/67111528
[pid=9193] ppid=9191 vsize=1587280 CPUtime=91676.4 cores=0-31
/proc/9193/stat : 9193 (claspmt) R 9191 9193 9108 0 -1 4202496 260744 0 0 0 9166202 1442 0 0 17 0 1 0 1380581 1625374720 113463 270582939648 4194304 4964800 140736252301392 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9193/statm: 396820 113463 474 189 0 391169 0
Current children cumulated CPU time (s) 91676.4
Current children cumulated vsize (KiB) 1587280

Child status: 20
Real time (s): 2868.88
CPU time (s): 91676.5
CPU user time (s): 91662
CPU system time (s): 14.4728
CPU usage (%): 3195.55
Max. virtual memory (cumulated for all children) (KiB): 1723988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91662
system time used= 14.4728
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260745
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= 359755
involuntary context switches= 233929

runsolver used 16.4845 second user time and 64.4102 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-06 13:32:17
IDJOB=3472266
IDBENCH=20399
IDSOLVER=1961
FILE ID=node200/3472266-1307359937
RUNJOBID= node200-1307359919-9122
PBS_JOBID= 13509160
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-01.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-3472266-1307359937/watcher-3472266-1307359937 -o /tmp/evaluation-result-3472266-1307359937/solver-3472266-1307359937 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472266-1307359937.cnf

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

MD5SUM BENCH= d2f77e32530988f77dca5112174eee00
RANDOM SEED=1622742056

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:      263715256 kB
Buffers:         28968 kB
Cached:         310732 kB
SwapCached:          0 kB
Active:         139652 kB
Inactive:       263584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263715256 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1492 kB
Writeback:           0 kB
AnonPages:       61988 kB
Mapped:          14212 kB
Slab:            62524 kB
PageTables:       4896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   159904 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= 61744 MiB
End job on node200 at 2011-06-06 14:20:06