Trace number 3472346

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 383.181 14.7883

General information on the benchmark

Namevelev-pipe-o-uns-1.1-6.cnf
MD5SUMd986f0b849e7c714ed5d3a26373567af
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark383.181
Satisfiable
(Un)Satisfiability was proved
Number of variables17710
Number of clauses304026
Sum of the clauses size890580
Maximum clause length131
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2268354
Number of clauses of size 326401
Number of clauses of size 4173
Number of clauses of size 5120
Number of clauses of size over 58977

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...508445/instance-3472346-1307508445.cnf
0.89/0.95	c Solving...
383.09/14.77	s UNSATISFIABLE
383.09/14.77	
383.09/14.77	c Models        : 0     
383.09/14.77	c Time          : 14.417s (Solving: 13.47s 1st Model: 0.00s Unsat: 13.47s)
383.09/14.77	c CPU Time      : 382.810s

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-3472346-1307508445/watcher-3472346-1307508445 -o /tmp/evaluation-result-3472346-1307508445/solver-3472346-1307508445 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472346-1307508445.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: 3.31 3.94 4.08 1/413 20203
/proc/meminfo: memFree=263055048/264257624 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=25540 CPUtime=0.02 cores=0-31
/proc/20203/stat : 20203 (claspmt) R 20201 20203 20117 0 -1 4202496 1809 0 0 0 2 0 0 0 20 0 1 0 16231395 26152960 1564 270582939648 4194304 4964800 140736596110864 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20203/statm: 6385 1565 383 189 0 1259 0

[startup+0.120959 s]
/proc/loadavg: 3.31 3.94 4.08 1/413 20203
/proc/meminfo: memFree=263055048/264257624 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=31436 CPUtime=0.11 cores=0-31
/proc/20203/stat : 20203 (claspmt) R 20201 20203 20117 0 -1 4202496 3900 0 0 0 10 1 0 0 20 0 1 0 16231395 32190464 2947 270582939648 4194304 4964800 140736596110864 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20203/statm: 7859 2948 383 189 0 2733 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 31436

[startup+0.200958 s]
/proc/loadavg: 3.31 3.94 4.08 1/413 20203
/proc/meminfo: memFree=263055048/264257624 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=36468 CPUtime=0.19 cores=0-31
/proc/20203/stat : 20203 (claspmt) R 20201 20203 20117 0 -1 4202496 5603 0 0 0 17 2 0 0 20 0 1 0 16231395 37343232 4244 270582939648 4194304 4964800 140736596110864 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20203/statm: 9117 4245 383 189 0 3991 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36468

[startup+0.300969 s]
/proc/loadavg: 3.31 3.94 4.08 1/413 20203
/proc/meminfo: memFree=263055048/264257624 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=45316 CPUtime=0.29 cores=0-31
/proc/20203/stat : 20203 (claspmt) R 20201 20203 20117 0 -1 4202496 7908 0 0 0 26 3 0 0 21 0 1 0 16231395 46403584 6377 270582939648 4194304 4964800 140736596110864 18446744073709551615 258650653280 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20203/statm: 11329 6388 396 189 0 6203 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45316

[startup+0.700995 s]
/proc/loadavg: 3.31 3.94 4.08 1/413 20203
/proc/meminfo: memFree=263055048/264257624 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=47168 CPUtime=0.69 cores=0-31
/proc/20203/stat : 20203 (claspmt) R 20201 20203 20117 0 -1 4202496 8531 0 0 0 66 3 0 0 22 0 1 0 16231395 48300032 7000 270582939648 4194304 4964800 140736596110864 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20203/statm: 11792 7001 401 189 0 6666 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47168

[startup+1.50298 s]
/proc/loadavg: 3.31 3.94 4.08 5/445 20237
/proc/meminfo: memFree=262975416/264257624 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=1769716 CPUtime=3.59 cores=0-31
/proc/20203/stat : 20203 (claspmt) S 20201 20203 20117 0 -1 4202496 40456 0 0 0 224 135 0 0 18 0 32 0 16231395 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/20203/statm: 442429 34198 439 189 0 436778 0
[pid=20203/tid=20207] ppid=20201 vsize=1769716 CPUtime=0.03 cores=0-31
/proc/20203/task/20207/stat : 20207 (claspmt) S 20201 20203 20117 0 -1 4202560 582 0 0 0 1 2 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604568955362784 0 0 -1 17 0 0 0
[pid=20203/tid=20208] ppid=20201 vsize=1769716 CPUtime=0.05 cores=0-31
/proc/20203/task/20208/stat : 20208 (claspmt) S 20201 20203 20117 0 -1 4202560 1119 0 0 0 2 3 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604498718703072 0 0 -1 6 0 0 0
[pid=20203/tid=20209] ppid=20201 vsize=1769716 CPUtime=0.05 cores=0-31
/proc/20203/task/20209/stat : 20209 (claspmt) S 20201 20203 20117 0 -1 4202560 1101 0 0 0 2 3 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604497813061088 0 0 -1 7 0 0 0
[pid=20203/tid=20210] ppid=20201 vsize=1769716 CPUtime=0.03 cores=0-31
/proc/20203/task/20210/stat : 20210 (claspmt) S 20201 20203 20117 0 -1 4202560 838 0 0 0 0 3 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604498301107680 0 0 -1 4 0 0 0
[pid=20203/tid=20211] ppid=20201 vsize=1769716 CPUtime=0.24 cores=0-31
/proc/20203/task/20211/stat : 20211 (claspmt) R 20201 20203 20117 0 -1 4202560 1126 0 0 0 20 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=20203/tid=20212] ppid=20201 vsize=1769716 CPUtime=0.06 cores=0-31
/proc/20203/task/20212/stat : 20212 (claspmt) S 20201 20203 20117 0 -1 4202560 1115 0 0 0 2 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604501312626144 0 0 -1 25 0 0 0
[pid=20203/tid=20213] ppid=20201 vsize=1769716 CPUtime=0.06 cores=0-31
/proc/20203/task/20213/stat : 20213 (claspmt) S 20201 20203 20117 0 -1 4202560 1054 0 0 0 2 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604500038565344 0 0 -1 24 0 0 0
[pid=20203/tid=20214] ppid=20201 vsize=1769716 CPUtime=0.04 cores=0-31
/proc/20203/task/20214/stat : 20214 (claspmt) S 20201 20203 20117 0 -1 4202560 821 0 0 0 0 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604501741485536 0 0 -1 28 0 0 0
[pid=20203/tid=20215] ppid=20201 vsize=1769716 CPUtime=0.04 cores=0-31
/proc/20203/task/20215/stat : 20215 (claspmt) S 20201 20203 20117 0 -1 4202560 900 0 0 0 0 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604504585682400 0 0 -1 29 0 0 0
[pid=20203/tid=20216] ppid=20201 vsize=1769716 CPUtime=0.06 cores=0-31
/proc/20203/task/20216/stat : 20216 (claspmt) S 20201 20203 20117 0 -1 4202560 1040 0 0 0 3 3 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604505540558304 0 0 -1 16 0 0 0
[pid=20203/tid=20217] ppid=20201 vsize=1769716 CPUtime=0.05 cores=0-31
/proc/20203/task/20217/stat : 20217 (claspmt) S 20201 20203 20117 0 -1 4202560 1130 0 0 0 1 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604501430779360 0 0 -1 12 0 0 0
[pid=20203/tid=20218] ppid=20201 vsize=1769716 CPUtime=0.04 cores=0-31
/proc/20203/task/20218/stat : 20218 (claspmt) S 20201 20203 20117 0 -1 4202560 925 0 0 0 0 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604506068966880 0 0 -1 18 0 0 0
[pid=20203/tid=20219] ppid=20201 vsize=1769716 CPUtime=0.24 cores=0-31
/proc/20203/task/20219/stat : 20219 (claspmt) R 20201 20203 20117 0 -1 4202560 1144 0 0 0 20 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 4399617 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=20203/tid=20220] ppid=20201 vsize=1769716 CPUtime=0.06 cores=0-31
/proc/20203/task/20220/stat : 20220 (claspmt) S 20201 20203 20117 0 -1 4202560 1095 0 0 0 2 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604499739205088 0 0 -1 2 0 0 0
[pid=20203/tid=20221] ppid=20201 vsize=1769716 CPUtime=0.06 cores=0-31
/proc/20203/task/20221/stat : 20221 (claspmt) S 20201 20203 20117 0 -1 4202560 1010 0 0 0 2 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604559134875104 0 0 -1 9 0 0 0
[pid=20203/tid=20222] ppid=20201 vsize=1769716 CPUtime=0.03 cores=0-31
/proc/20203/task/20222/stat : 20222 (claspmt) S 20201 20203 20117 0 -1 4202560 859 0 0 0 0 3 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604502057975264 0 0 -1 15 0 0 0
[pid=20203/tid=20223] ppid=20201 vsize=1769716 CPUtime=0.04 cores=0-31
/proc/20203/task/20223/stat : 20223 (claspmt) S 20201 20203 20117 0 -1 4202560 928 0 0 0 0 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604500354153952 0 0 -1 10 0 0 0
[pid=20203/tid=20224] ppid=20201 vsize=1769716 CPUtime=0.05 cores=0-31
/proc/20203/task/20224/stat : 20224 (claspmt) S 20201 20203 20117 0 -1 4202560 1055 0 0 0 2 3 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604506000973280 0 0 -1 20 0 0 0
[pid=20203/tid=20225] ppid=20201 vsize=1769716 CPUtime=0.06 cores=0-31
/proc/20203/task/20225/stat : 20225 (claspmt) S 20201 20203 20117 0 -1 4202560 1107 0 0 0 2 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604502246006240 0 0 -1 11 0 0 0
[pid=20203/tid=20226] ppid=20201 vsize=1769716 CPUtime=0.04 cores=0-31
/proc/20203/task/20226/stat : 20226 (claspmt) S 20201 20203 20117 0 -1 4202560 921 0 0 0 0 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604504942345696 0 0 -1 1 0 0 0
[pid=20203/tid=20227] ppid=20201 vsize=1769716 CPUtime=0.25 cores=0-31
/proc/20203/task/20227/stat : 20227 (claspmt) R 20201 20203 20117 0 -1 4202560 1007 0 0 0 21 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=20203/tid=20228] ppid=20201 vsize=1769716 CPUtime=0.07 cores=0-31
/proc/20203/task/20228/stat : 20228 (claspmt) S 20201 20203 20117 0 -1 4202560 1132 0 0 0 2 5 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604498962529760 0 0 -1 3 0 0 0
[pid=20203/tid=20229] ppid=20201 vsize=1769716 CPUtime=0.06 cores=0-31
/proc/20203/task/20229/stat : 20229 (claspmt) S 20201 20203 20117 0 -1 4202560 1036 0 0 0 2 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604501985730016 0 0 -1 30 0 0 0
[pid=20203/tid=20230] ppid=20201 vsize=1769716 CPUtime=0.03 cores=0-31
/proc/20203/task/20230/stat : 20230 (claspmt) S 20201 20203 20117 0 -1 4202560 898 0 0 0 0 3 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604504934071776 0 0 -1 2 0 0 0
[pid=20203/tid=20231] ppid=20201 vsize=1769716 CPUtime=0.03 cores=0-31
/proc/20203/task/20231/stat : 20231 (claspmt) S 20201 20203 20117 0 -1 4202560 907 0 0 0 0 3 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604503016644064 0 0 -1 27 0 0 0
[pid=20203/tid=20232] ppid=20201 vsize=1769716 CPUtime=0.08 cores=0-31
/proc/20203/task/20232/stat : 20232 (claspmt) S 20201 20203 20117 0 -1 4202560 1084 0 0 0 3 5 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604502100049376 0 0 -1 22 0 0 0
[pid=20203/tid=20233] ppid=20201 vsize=1769716 CPUtime=0.05 cores=0-31
/proc/20203/task/20233/stat : 20233 (claspmt) S 20201 20203 20117 0 -1 4202560 1065 0 0 0 2 3 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604501345779168 0 0 -1 5 0 0 0
[pid=20203/tid=20234] ppid=20201 vsize=1769716 CPUtime=0.04 cores=0-31
/proc/20203/task/20234/stat : 20234 (claspmt) S 20201 20203 20117 0 -1 4202560 918 0 0 0 0 4 0 0 17 0 32 0 16231491 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604505882697184 0 0 -1 21 0 0 0
[pid=20203/tid=20235] ppid=20201 vsize=1769716 CPUtime=0.22 cores=0-31
/proc/20203/task/20235/stat : 20235 (claspmt) R 20201 20203 20117 0 -1 4202560 1050 0 0 0 19 3 0 0 17 0 32 0 16231492 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 4668544 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=20203/tid=20236] ppid=20201 vsize=1769716 CPUtime=0.06 cores=0-31
/proc/20203/task/20236/stat : 20236 (claspmt) S 20201 20203 20117 0 -1 4202560 1069 0 0 0 2 4 0 0 17 0 32 0 16231492 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604499591454176 0 0 -1 1 0 0 0
[pid=20203/tid=20237] ppid=20201 vsize=1769716 CPUtime=0.06 cores=0-31
/proc/20203/task/20237/stat : 20237 (claspmt) S 20201 20203 20117 0 -1 4202560 934 0 0 0 3 3 0 0 17 0 32 0 16231492 1812189184 34198 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662772457 0 0 4096 18946 18446604503100456416 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 1769716

[startup+3.10195 s]
/proc/loadavg: 3.37 3.94 4.08 5/445 20237
/proc/meminfo: memFree=262918996/264257624 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=1769716 CPUtime=23.79 cores=0-31
/proc/20203/stat : 20203 (claspmt) R 20201 20203 20117 0 -1 4202496 49094 0 0 0 2201 178 0 0 18 0 32 0 16231395 1812189184 42835 270582939648 4194304 4964800 140736596110864 18446744073709551615 4342228 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/20203/statm: 442429 42837 461 189 0 436778 0
[pid=20203/tid=20207] ppid=20201 vsize=1769716 CPUtime=0.53 cores=0-31
/proc/20203/task/20207/stat : 20207 (claspmt) R 20201 20203 20117 0 -1 4202560 830 0 0 0 50 3 0 0 16 0 32 0 16231491 1812189184 42837 270582939648 4194304 4964800 140736596110864 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=20203/tid=20208] ppid=20201 vsize=1769716 CPUtime=0.55 cores=0-31
/proc/20203/task/20208/stat : 20208 (claspmt) R 20201 20203 20117 0 -1 4202560 1578 0 0 0 48 7 0 0 16 0 32 0 16231491 1812189184 42838 270582939648 4194304 4964800 140736596110864 18446744073709551615 4695182 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20203/tid=20209] ppid=20201 vsize=1769716 CPUtime=0.56 cores=0-31
/proc/20203/task/20209/stat : 20209 (claspmt) R 20201 20203 20117 0 -1 4202560 1408 0 0 0 51 5 0 0 16 0 32 0 16231491 1812189184 42838 270582939648 4194304 4964800 140736596110864 18446744073709551615 4362802 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=20203/tid=20210] ppid=20201 vsize=1769716 CPUtime=0.54 cores=0-31
/proc/20203/task/20210/stat : 20210 (claspmt) R 20201 20203 20117 0 -1 4202560 1081 0 0 0 49 5 0 0 16 0 32 0 16231491 1812189184 42838 270582939648 4194304 4964800 140736596110864 18446744073709551615 4652165 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=20203/tid=20211] ppid=20201 vsize=1769716 CPUtime=1.83 cores=0-31
/proc/20203/task/20211/stat : 20211 (claspmt) R 20201 20203 20117 0 -1 4202560 1191 0 0 0 179 4 0 0 20 0 32 0 16231491 1812189184 42838 270582939648 4194304 4964800 140736596110864 18446744073709551615 4668544 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=20203/tid=20212] ppid=20201 vsize=1769716 CPUtime=0.54 cores=0-31
/proc/20203/task/20212/stat : 20212 (claspmt) R 20201 20203 20117 0 -1 4202560 1271 0 0 0 50 4 0 0 16 0 32 0 16231491 1812189184 42838 270582939648 4194304 4964800 140736596110864 18446744073709551615 4668564 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=20203/tid=20213] ppid=20201 vsize=1769716 CPUtime=0.56 cores=0-31
/proc/20203/task/20213/stat : 20213 (claspmt) R 20201 20203 20117 0 -1 4202560 1424 0 0 0 49 7 0 0 16 0 32 0 16231491 1812189184 42838 270582939648 4194304 4964800 140736596110864 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20203/tid=20214] ppid=20201 vsize=1769716 CPUtime=0.54 cores=0-31
/proc/20203/task/20214/stat : 20214 (claspmt) R 20201 20203 20117 0 -1 4202560 1114 0 0 0 49 5 0 0 16 0 32 0 16231491 1812189184 42838 270582939648 4194304 4964800 140736596110864 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=20203/tid=20215] ppid=20201 vsize=1769716 CPUtime=0.54 cores=0-31
/proc/20203/task/20215/stat : 20215 (claspmt) R 20201 20203 20117 0 -1 4202560 1186 0 0 0 49 5 0 0 16 0 32 0 16231491 1812189184 42838 270582939648 4194304 4964800 140736596110864 18446744073709551615 4652146 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=20203/tid=20216] ppid=20201 vsize=1769716 CPUtime=0.55 cores=0-31
/proc/20203/task/20216/stat : 20216 (claspmt) R 20201 20203 20117 0 -1 4202560 1547 0 0 0 50 5 0 0 16 0 32 0 16231491 1812189184 42838 270582939648 4194304 4964800 140736596110864 18446744073709551615 4362938 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=20203/tid=20217] ppid=20201 vsize=1769716 CPUtime=0.56 cores=0-31
/proc/20203/task/20217/stat : 20217 (claspmt) R 20201 20203 20117 0 -1 4202560 1408 0 0 0 50 6 0 0 16 0 32 0 16231491 1812189184 42838 270582939648 4194304 4964800 140736596110864 18446744073709551615 4668588 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=20203/tid=20218] ppid=20201 vsize=1769716 CPUtime=0.52 cores=0-31
/proc/20203/task/20218/stat : 20218 (claspmt) R 20201 20203 20117 0 -1 4202560 1175 0 0 0 48 4 0 0 16 0 32 0 16231491 1812189184 42838 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=20203/tid=20219] ppid=20201 vsize=1769716 CPUtime=1.84 cores=0-31
/proc/20203/task/20219/stat : 20219 (claspmt) R 20201 20203 20117 0 -1 4202560 1194 0 0 0 180 4 0 0 20 0 32 0 16231491 1812189184 42838 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=20203/tid=20220] ppid=20201 vsize=1769716 CPUtime=0.55 cores=0-31
/proc/20203/task/20220/stat : 20220 (claspmt) R 20201 20203 20117 0 -1 4202560 1267 0 0 0 50 5 0 0 16 0 32 0 16231491 1812189184 42839 270582939648 4194304 4964800 140736596110864 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20203/tid=20221] ppid=20201 vsize=1769716 CPUtime=0.56 cores=0-31
/proc/20203/task/20221/stat : 20221 (claspmt) R 20201 20203 20117 0 -1 4202560 1368 0 0 0 50 6 0 0 16 0 32 0 16231491 1812189184 42842 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=20203/tid=20222] ppid=20201 vsize=1769716 CPUtime=0.54 cores=0-31
/proc/20203/task/20222/stat : 20222 (claspmt) R 20201 20203 20117 0 -1 4202560 1077 0 0 0 49 5 0 0 16 0 32 0 16231491 1812189184 42842 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=20203/tid=20223] ppid=20201 vsize=1769716 CPUtime=0.55 cores=0-31
/proc/20203/task/20223/stat : 20223 (claspmt) R 20201 20203 20117 0 -1 4202560 1161 0 0 0 50 5 0 0 16 0 32 0 16231491 1812189184 42842 270582939648 4194304 4964800 140736596110864 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=20203/tid=20224] ppid=20201 vsize=1769716 CPUtime=0.55 cores=0-31
/proc/20203/task/20224/stat : 20224 (claspmt) R 20201 20203 20117 0 -1 4202560 1543 0 0 0 49 6 0 0 16 0 32 0 16231491 1812189184 42843 270582939648 4194304 4964800 140736596110864 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=20203/tid=20225] ppid=20201 vsize=1769716 CPUtime=0.56 cores=0-31
/proc/20203/task/20225/stat : 20225 (claspmt) R 20201 20203 20117 0 -1 4202560 1393 0 0 0 50 6 0 0 16 0 32 0 16231491 1812189184 42843 270582939648 4194304 4964800 140736596110864 18446744073709551615 4362958 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=20203/tid=20226] ppid=20201 vsize=1769716 CPUtime=0.54 cores=0-31
/proc/20203/task/20226/stat : 20226 (claspmt) R 20201 20203 20117 0 -1 4202560 1211 0 0 0 49 5 0 0 16 0 32 0 16231491 1812189184 42843 270582939648 4194304 4964800 140736596110864 18446744073709551615 4359964 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=20203/tid=20227] ppid=20201 vsize=1769716 CPUtime=1.83 cores=0-31
/proc/20203/task/20227/stat : 20227 (claspmt) R 20201 20203 20117 0 -1 4202560 1033 0 0 0 179 4 0 0 20 0 32 0 16231491 1812189184 42843 270582939648 4194304 4964800 140736596110864 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=20203/tid=20228] ppid=20201 vsize=1769716 CPUtime=0.57 cores=0-31
/proc/20203/task/20228/stat : 20228 (claspmt) R 20201 20203 20117 0 -1 4202560 1341 0 0 0 51 6 0 0 16 0 32 0 16231491 1812189184 42843 270582939648 4194304 4964800 140736596110864 18446744073709551615 4678234 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20203/tid=20229] ppid=20201 vsize=1769716 CPUtime=0.56 cores=0-31
/proc/20203/task/20229/stat : 20229 (claspmt) R 20201 20203 20117 0 -1 4202560 1412 0 0 0 49 7 0 0 16 0 32 0 16231491 1812189184 42843 270582939648 4194304 4964800 140736596110864 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=20203/tid=20230] ppid=20201 vsize=1769716 CPUtime=0.55 cores=0-31
/proc/20203/task/20230/stat : 20230 (claspmt) R 20201 20203 20117 0 -1 4202560 1113 0 0 0 51 4 0 0 16 0 32 0 16231491 1812189184 42843 270582939648 4194304 4964800 140736596110864 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=20203/tid=20231] ppid=20201 vsize=1769716 CPUtime=0.53 cores=0-31
/proc/20203/task/20231/stat : 20231 (claspmt) R 20201 20203 20117 0 -1 4202560 1190 0 0 0 49 4 0 0 16 0 32 0 16231491 1812189184 42843 270582939648 4194304 4964800 140736596110864 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=20203/tid=20232] ppid=20201 vsize=1769716 CPUtime=0.57 cores=0-31
/proc/20203/task/20232/stat : 20232 (claspmt) R 20201 20203 20117 0 -1 4202560 1596 0 0 0 50 7 0 0 16 0 32 0 16231491 1812189184 42843 270582939648 4194304 4964800 140736596110864 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=20203/tid=20233] ppid=20201 vsize=1769716 CPUtime=0.56 cores=0-31
/proc/20203/task/20233/stat : 20233 (claspmt) R 20201 20203 20117 0 -1 4202560 1351 0 0 0 51 5 0 0 16 0 32 0 16231491 1812189184 42843 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20203/tid=20234] ppid=20201 vsize=1769716 CPUtime=0.54 cores=0-31
/proc/20203/task/20234/stat : 20234 (claspmt) R 20201 20203 20117 0 -1 4202560 1169 0 0 0 49 5 0 0 16 0 32 0 16231491 1812189184 42843 270582939648 4194304 4964800 140736596110864 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20203/tid=20235] ppid=20201 vsize=1769716 CPUtime=1.79 cores=0-31
/proc/20203/task/20235/stat : 20235 (claspmt) R 20201 20203 20117 0 -1 4202560 1092 0 0 0 176 3 0 0 20 0 32 0 16231492 1812189184 42844 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=20203/tid=20236] ppid=20201 vsize=1769716 CPUtime=0.54 cores=0-31

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

/proc/meminfo: memFree=262615968/264257624 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=1774288 CPUtime=332.29 cores=0-31
/proc/20203/stat : 20203 (claspmt) R 20201 20203 20117 0 -1 4202496 117299 0 0 0 32834 395 0 0 25 0 32 0 16231395 1816870912 111040 270582939648 4194304 4964800 140736596110864 18446744073709551615 4370224 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/20203/statm: 443572 111040 463 189 0 437921 0
[pid=20203/tid=20207] ppid=20201 vsize=1774288 CPUtime=10.2 cores=0-31
/proc/20203/task/20207/stat : 20207 (claspmt) R 20201 20203 20117 0 -1 4202560 1774 0 0 0 1014 6 0 0 25 0 32 0 16231491 1816870912 111040 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=20203/tid=20208] ppid=20201 vsize=1774288 CPUtime=10.17 cores=0-31
/proc/20203/task/20208/stat : 20208 (claspmt) R 20201 20203 20117 0 -1 4202560 5653 0 0 0 998 19 0 0 23 0 32 0 16231491 1816870912 111040 270582939648 4194304 4964800 140736596110864 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20203/tid=20209] ppid=20201 vsize=1774288 CPUtime=10.21 cores=0-31
/proc/20203/task/20209/stat : 20209 (claspmt) R 20201 20203 20117 0 -1 4202560 4089 0 0 0 1008 13 0 0 20 0 32 0 16231491 1816870912 111040 270582939648 4194304 4964800 140736596110864 18446744073709551615 4379082 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=20203/tid=20210] ppid=20201 vsize=1774288 CPUtime=10.22 cores=0-31
/proc/20203/task/20210/stat : 20210 (claspmt) R 20201 20203 20117 0 -1 4202560 2250 0 0 0 1014 8 0 0 19 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4321069 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=20203/tid=20211] ppid=20201 vsize=1774288 CPUtime=11.52 cores=0-31
/proc/20203/task/20211/stat : 20211 (claspmt) R 20201 20203 20117 0 -1 4202560 1207 0 0 0 1148 4 0 0 25 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=20203/tid=20212] ppid=20201 vsize=1774288 CPUtime=10.18 cores=0-31
/proc/20203/task/20212/stat : 20212 (claspmt) R 20201 20203 20117 0 -1 4202560 4081 0 0 0 1006 12 0 0 22 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=20203/tid=20213] ppid=20201 vsize=1774288 CPUtime=10.16 cores=0-31
/proc/20203/task/20213/stat : 20213 (claspmt) R 20201 20203 20117 0 -1 4202560 5712 0 0 0 996 20 0 0 20 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4660513 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20203/tid=20214] ppid=20201 vsize=1774288 CPUtime=10.2 cores=0-31
/proc/20203/task/20214/stat : 20214 (claspmt) R 20201 20203 20117 0 -1 4202560 2221 0 0 0 1012 8 0 0 25 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=20203/tid=20215] ppid=20201 vsize=1774288 CPUtime=10.22 cores=0-31
/proc/20203/task/20215/stat : 20215 (claspmt) R 20201 20203 20117 0 -1 4202560 2052 0 0 0 1013 9 0 0 25 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670212 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=20203/tid=20216] ppid=20201 vsize=1774288 CPUtime=10.18 cores=0-31
/proc/20203/task/20216/stat : 20216 (claspmt) R 20201 20203 20117 0 -1 4202560 5580 0 0 0 999 19 0 0 20 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=20203/tid=20217] ppid=20201 vsize=1774288 CPUtime=10.19 cores=0-31
/proc/20203/task/20217/stat : 20217 (claspmt) R 20201 20203 20117 0 -1 4202560 4350 0 0 0 1004 15 0 0 22 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=20203/tid=20218] ppid=20201 vsize=1774288 CPUtime=10.2 cores=0-31
/proc/20203/task/20218/stat : 20218 (claspmt) R 20201 20203 20117 0 -1 4202560 2287 0 0 0 1012 8 0 0 25 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=20203/tid=20219] ppid=20201 vsize=1774288 CPUtime=11.53 cores=0-31
/proc/20203/task/20219/stat : 20219 (claspmt) R 20201 20203 20117 0 -1 4202560 1207 0 0 0 1149 4 0 0 25 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4399407 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=20203/tid=20220] ppid=20201 vsize=1774288 CPUtime=10.19 cores=0-31
/proc/20203/task/20220/stat : 20220 (claspmt) R 20201 20203 20117 0 -1 4202560 4005 0 0 0 1007 12 0 0 25 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20203/tid=20221] ppid=20201 vsize=1774288 CPUtime=10.14 cores=0-31
/proc/20203/task/20221/stat : 20221 (claspmt) R 20201 20203 20117 0 -1 4202560 5325 0 0 0 994 20 0 0 22 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=20203/tid=20222] ppid=20201 vsize=1774288 CPUtime=10.2 cores=0-31
/proc/20203/task/20222/stat : 20222 (claspmt) R 20201 20203 20117 0 -1 4202560 2033 0 0 0 1012 8 0 0 22 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4632324 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=20203/tid=20223] ppid=20201 vsize=1774288 CPUtime=10.22 cores=0-31
/proc/20203/task/20223/stat : 20223 (claspmt) R 20201 20203 20117 0 -1 4202560 2149 0 0 0 1013 9 0 0 25 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=20203/tid=20224] ppid=20201 vsize=1774288 CPUtime=10.17 cores=0-31
/proc/20203/task/20224/stat : 20224 (claspmt) R 20201 20203 20117 0 -1 4202560 5382 0 0 0 1000 17 0 0 20 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=20203/tid=20225] ppid=20201 vsize=1774288 CPUtime=10.19 cores=0-31
/proc/20203/task/20225/stat : 20225 (claspmt) R 20201 20203 20117 0 -1 4202560 4122 0 0 0 1005 14 0 0 25 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=20203/tid=20226] ppid=20201 vsize=1774288 CPUtime=10.22 cores=0-31
/proc/20203/task/20226/stat : 20226 (claspmt) R 20201 20203 20117 0 -1 4202560 2446 0 0 0 1013 9 0 0 25 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670160 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=20203/tid=20227] ppid=20201 vsize=1774288 CPUtime=11.27 cores=0-31
/proc/20203/task/20227/stat : 20227 (claspmt) R 20201 20203 20117 0 -1 4202560 1051 0 0 0 1123 4 0 0 25 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20203/tid=20228] ppid=20201 vsize=1774288 CPUtime=10.13 cores=0-31
/proc/20203/task/20228/stat : 20228 (claspmt) R 20201 20203 20117 0 -1 4202560 4317 0 0 0 997 16 0 0 25 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=20203/tid=20229] ppid=20201 vsize=1774288 CPUtime=10.17 cores=0-31
/proc/20203/task/20229/stat : 20229 (claspmt) R 20201 20203 20117 0 -1 4202560 6213 0 0 0 995 22 0 0 21 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=20203/tid=20230] ppid=20201 vsize=1774288 CPUtime=10.22 cores=0-31
/proc/20203/task/20230/stat : 20230 (claspmt) R 20201 20203 20117 0 -1 4202560 2061 0 0 0 1014 8 0 0 23 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=20203/tid=20231] ppid=20201 vsize=1774288 CPUtime=10.21 cores=0-31
/proc/20203/task/20231/stat : 20231 (claspmt) R 20201 20203 20117 0 -1 4202560 2205 0 0 0 1013 8 0 0 20 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=20203/tid=20232] ppid=20201 vsize=1774288 CPUtime=10.18 cores=0-31
/proc/20203/task/20232/stat : 20232 (claspmt) R 20201 20203 20117 0 -1 4202560 5371 0 0 0 998 20 0 0 20 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4342204 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=20203/tid=20233] ppid=20201 vsize=1774288 CPUtime=10.2 cores=0-31
/proc/20203/task/20233/stat : 20233 (claspmt) R 20201 20203 20117 0 -1 4202560 3905 0 0 0 1007 13 0 0 20 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670259 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20203/tid=20234] ppid=20201 vsize=1774288 CPUtime=10.21 cores=0-31
/proc/20203/task/20234/stat : 20234 (claspmt) R 20201 20203 20117 0 -1 4202560 2272 0 0 0 1013 8 0 0 25 0 32 0 16231491 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20203/tid=20235] ppid=20201 vsize=1774288 CPUtime=11.48 cores=0-31
/proc/20203/task/20235/stat : 20235 (claspmt) R 20201 20203 20117 0 -1 4202560 1102 0 0 0 1145 3 0 0 25 0 32 0 16231492 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670097 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=20203/tid=20236] ppid=20201 vsize=1774288 CPUtime=10.19 cores=0-31
/proc/20203/task/20236/stat : 20236 (claspmt) R 20201 20203 20117 0 -1 4202560 3761 0 0 0 1006 13 0 0 20 0 32 0 16231492 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=20203/tid=20237] ppid=20201 vsize=1774288 CPUtime=10.16 cores=0-31
/proc/20203/task/20237/stat : 20237 (claspmt) R 20201 20203 20117 0 -1 4202560 6301 0 0 0 995 21 0 0 20 0 32 0 16231492 1816870912 111041 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 332.29
Current children cumulated vsize (KiB) 1774288

[startup+13.6023 s]
/proc/loadavg: 7.77 4.86 4.38 33/445 20237
/proc/meminfo: memFree=262611628/264257624 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=1774288 CPUtime=357.85 cores=0-31
/proc/20203/stat : 20203 (claspmt) R 20201 20203 20117 0 -1 4202496 117802 0 0 0 35388 397 0 0 25 0 32 0 16231395 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4669017 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/20203/statm: 443572 111543 463 189 0 437921 0
[pid=20203/tid=20207] ppid=20201 vsize=1774288 CPUtime=11 cores=0-31
/proc/20203/task/20207/stat : 20207 (claspmt) R 20201 20203 20117 0 -1 4202560 1774 0 0 0 1094 6 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4342186 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=20203/tid=20208] ppid=20201 vsize=1774288 CPUtime=10.96 cores=0-31
/proc/20203/task/20208/stat : 20208 (claspmt) R 20201 20203 20117 0 -1 4202560 5757 0 0 0 1077 19 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20203/tid=20209] ppid=20201 vsize=1774288 CPUtime=11.01 cores=0-31
/proc/20203/task/20209/stat : 20209 (claspmt) R 20201 20203 20117 0 -1 4202560 4097 0 0 0 1088 13 0 0 21 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670129 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=20203/tid=20210] ppid=20201 vsize=1774288 CPUtime=11.02 cores=0-31
/proc/20203/task/20210/stat : 20210 (claspmt) R 20201 20203 20117 0 -1 4202560 2255 0 0 0 1094 8 0 0 21 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4660104 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=20203/tid=20211] ppid=20201 vsize=1774288 CPUtime=12.32 cores=0-31
/proc/20203/task/20211/stat : 20211 (claspmt) R 20201 20203 20117 0 -1 4202560 1207 0 0 0 1228 4 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=20203/tid=20212] ppid=20201 vsize=1774288 CPUtime=10.98 cores=0-31
/proc/20203/task/20212/stat : 20212 (claspmt) R 20201 20203 20117 0 -1 4202560 4093 0 0 0 1086 12 0 0 18 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=20203/tid=20213] ppid=20201 vsize=1774288 CPUtime=10.96 cores=0-31
/proc/20203/task/20213/stat : 20213 (claspmt) R 20201 20203 20117 0 -1 4202560 5715 0 0 0 1076 20 0 0 21 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20203/tid=20214] ppid=20201 vsize=1774288 CPUtime=11 cores=0-31
/proc/20203/task/20214/stat : 20214 (claspmt) R 20201 20203 20117 0 -1 4202560 2221 0 0 0 1092 8 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=20203/tid=20215] ppid=20201 vsize=1774288 CPUtime=11.02 cores=0-31
/proc/20203/task/20215/stat : 20215 (claspmt) R 20201 20203 20117 0 -1 4202560 2052 0 0 0 1093 9 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=20203/tid=20216] ppid=20201 vsize=1774288 CPUtime=10.98 cores=0-31
/proc/20203/task/20216/stat : 20216 (claspmt) R 20201 20203 20117 0 -1 4202560 5583 0 0 0 1079 19 0 0 23 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4660447 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=20203/tid=20217] ppid=20201 vsize=1774288 CPUtime=10.99 cores=0-31
/proc/20203/task/20217/stat : 20217 (claspmt) R 20201 20203 20117 0 -1 4202560 4351 0 0 0 1084 15 0 0 18 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=20203/tid=20218] ppid=20201 vsize=1774288 CPUtime=11 cores=0-31
/proc/20203/task/20218/stat : 20218 (claspmt) R 20201 20203 20117 0 -1 4202560 2328 0 0 0 1092 8 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=20203/tid=20219] ppid=20201 vsize=1774288 CPUtime=12.33 cores=0-31
/proc/20203/task/20219/stat : 20219 (claspmt) R 20201 20203 20117 0 -1 4202560 1207 0 0 0 1229 4 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=20203/tid=20220] ppid=20201 vsize=1774288 CPUtime=10.99 cores=0-31
/proc/20203/task/20220/stat : 20220 (claspmt) R 20201 20203 20117 0 -1 4202560 4012 0 0 0 1087 12 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20203/tid=20221] ppid=20201 vsize=1774288 CPUtime=10.95 cores=0-31
/proc/20203/task/20221/stat : 20221 (claspmt) R 20201 20203 20117 0 -1 4202560 5399 0 0 0 1074 21 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=20203/tid=20222] ppid=20201 vsize=1774288 CPUtime=11 cores=0-31
/proc/20203/task/20222/stat : 20222 (claspmt) R 20201 20203 20117 0 -1 4202560 2049 0 0 0 1092 8 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=20203/tid=20223] ppid=20201 vsize=1774288 CPUtime=11.02 cores=0-31
/proc/20203/task/20223/stat : 20223 (claspmt) R 20201 20203 20117 0 -1 4202560 2149 0 0 0 1093 9 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4327267 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=20203/tid=20224] ppid=20201 vsize=1774288 CPUtime=10.96 cores=0-31
/proc/20203/task/20224/stat : 20224 (claspmt) R 20201 20203 20117 0 -1 4202560 5382 0 0 0 1079 17 0 0 18 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=20203/tid=20225] ppid=20201 vsize=1774288 CPUtime=10.99 cores=0-31
/proc/20203/task/20225/stat : 20225 (claspmt) R 20201 20203 20117 0 -1 4202560 4130 0 0 0 1085 14 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=20203/tid=20226] ppid=20201 vsize=1774288 CPUtime=11.03 cores=0-31
/proc/20203/task/20226/stat : 20226 (claspmt) R 20201 20203 20117 0 -1 4202560 2459 0 0 0 1093 10 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4370259 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=20203/tid=20227] ppid=20201 vsize=1774288 CPUtime=12.07 cores=0-31
/proc/20203/task/20227/stat : 20227 (claspmt) R 20201 20203 20117 0 -1 4202560 1051 0 0 0 1203 4 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4399313 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20203/tid=20228] ppid=20201 vsize=1774288 CPUtime=10.9 cores=0-31
/proc/20203/task/20228/stat : 20228 (claspmt) R 20201 20203 20117 0 -1 4202560 4406 0 0 0 1074 16 0 0 18 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=20203/tid=20229] ppid=20201 vsize=1774288 CPUtime=10.97 cores=0-31
/proc/20203/task/20229/stat : 20229 (claspmt) R 20201 20203 20117 0 -1 4202560 6213 0 0 0 1075 22 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670199 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=20203/tid=20230] ppid=20201 vsize=1774288 CPUtime=11.02 cores=0-31
/proc/20203/task/20230/stat : 20230 (claspmt) R 20201 20203 20117 0 -1 4202560 2062 0 0 0 1094 8 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4652140 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=20203/tid=20231] ppid=20201 vsize=1774288 CPUtime=11.01 cores=0-31
/proc/20203/task/20231/stat : 20231 (claspmt) R 20201 20203 20117 0 -1 4202560 2205 0 0 0 1093 8 0 0 21 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=20203/tid=20232] ppid=20201 vsize=1774288 CPUtime=10.98 cores=0-31
/proc/20203/task/20232/stat : 20232 (claspmt) R 20201 20203 20117 0 -1 4202560 5469 0 0 0 1078 20 0 0 23 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=20203/tid=20233] ppid=20201 vsize=1774288 CPUtime=11 cores=0-31
/proc/20203/task/20233/stat : 20233 (claspmt) R 20201 20203 20117 0 -1 4202560 3911 0 0 0 1087 13 0 0 22 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20203/tid=20234] ppid=20201 vsize=1774288 CPUtime=11.01 cores=0-31
/proc/20203/task/20234/stat : 20234 (claspmt) R 20201 20203 20117 0 -1 4202560 2277 0 0 0 1093 8 0 0 25 0 32 0 16231491 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20203/tid=20235] ppid=20201 vsize=1774288 CPUtime=12.28 cores=0-31
/proc/20203/task/20235/stat : 20235 (claspmt) R 20201 20203 20117 0 -1 4202560 1102 0 0 0 1225 3 0 0 25 0 32 0 16231492 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=20203/tid=20236] ppid=20201 vsize=1774288 CPUtime=10.99 cores=0-31
/proc/20203/task/20236/stat : 20236 (claspmt) R 20201 20203 20117 0 -1 4202560 3768 0 0 0 1086 13 0 0 22 0 32 0 16231492 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4362900 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=20203/tid=20237] ppid=20201 vsize=1774288 CPUtime=10.95 cores=0-31
/proc/20203/task/20237/stat : 20237 (claspmt) R 20201 20203 20117 0 -1 4202560 6302 0 0 0 1074 21 0 0 22 0 32 0 16231492 1816870912 111543 270582939648 4194304 4964800 140736596110864 18446744073709551615 4668544 0 0 4096 18946 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 357.85
Current children cumulated vsize (KiB) 1774288

[startup+14.4225 s]
/proc/loadavg: 7.77 4.86 4.38 33/445 20237
/proc/meminfo: memFree=262611392/264257624 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=1757888 CPUtime=382.81 cores=0-31
/proc/20203/stat : 20203 (claspmt) S 20201 20203 20117 0 -1 4202496 117862 0 0 0 37857 424 0 0 25 0 3 0 16231395 1800077312 111584 270582939648 4194304 4964800 140736596110864 18446744073709551615 258662759221 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/20203/statm: 439472 111584 464 189 0 433821 0
[pid=20203/tid=20220] ppid=20201 vsize=1757888 CPUtime=11.81 cores=0-31
/proc/20203/task/20220/stat : 20220 (claspmt) R 20201 20203 20117 0 -1 4202560 4017 0 0 0 1167 14 0 0 18 0 3 0 16231491 1800077312 111584 270582939648 4194304 4964800 140736596110864 18446744073709551615 258651060958 0 0 4096 18946 18446604501985730016 0 0 -1 2 0 0 0
[pid=20203/tid=20236] ppid=20201 vsize=1757888 CPUtime=11.81 cores=0-31
/proc/20203/task/20236/stat : 20236 (claspmt) R 20201 20203 20117 0 -1 4202560 3774 0 0 0 1166 15 0 0 18 0 3 0 16231492 1800077312 111584 270582939648 4194304 4964800 140736596110864 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 382.81
Current children cumulated vsize (KiB) 1757888

[startup+14.6005 s]
/proc/loadavg: 7.77 4.86 4.38 33/445 20237
/proc/meminfo: memFree=262611392/264257624 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=1681872 CPUtime=382.99 cores=0-31
/proc/20203/stat : 20203 (claspmt) R 20201 20203 20117 0 -1 4202496 117872 0 0 0 37875 424 0 0 25 0 1 0 16231395 1722236928 110779 270582939648 4194304 4964800 140736596110864 18446744073709551615 258650611751 0 0 4096 18946 0 0 0 17 19 0 0 0
/proc/20203/statm: 420468 110779 474 189 0 414817 0
Current children cumulated CPU time (s) 382.99
Current children cumulated vsize (KiB) 1681872

[startup+14.7005 s]
/proc/loadavg: 7.77 4.86 4.38 33/445 20237
/proc/meminfo: memFree=262611392/264257624 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=1681872 CPUtime=383.09 cores=0-31
/proc/20203/stat : 20203 (claspmt) R 20201 20203 20117 0 -1 4202496 117872 0 0 0 37885 424 0 0 25 0 1 0 16231395 1722236928 110533 270582939648 4194304 4964800 140736596110864 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 19 0 0 0
/proc/20203/statm: 420468 110533 474 189 0 414817 0
Current children cumulated CPU time (s) 383.09
Current children cumulated vsize (KiB) 1681872

Child status: 20
Real time (s): 14.7883
CPU time (s): 383.181
CPU user time (s): 378.898
CPU system time (s): 4.28235
CPU usage (%): 2591.11
Max. virtual memory (cumulated for all children) (KiB): 1774288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 378.898
system time used= 4.28235
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117873
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= 108489
involuntary context switches= 1807

runsolver used 0.102984 second user time and 0.353946 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-08 06:47:25
IDJOB=3472346
IDBENCH=71718
IDSOLVER=1961
FILE ID=node200/3472346-1307508445
RUNJOBID= node200-1307508300-20131
PBS_JOBID= 13509205
Free space on /tmp= 61740 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.1-6.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-3472346-1307508445/watcher-3472346-1307508445 -o /tmp/evaluation-result-3472346-1307508445/solver-3472346-1307508445 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472346-1307508445.cnf

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

MD5SUM BENCH= d986f0b849e7c714ed5d3a26373567af
RANDOM SEED=743825677

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:      263055328 kB
Buffers:        162136 kB
Cached:         781264 kB
SwapCached:          0 kB
Active:         193228 kB
Inactive:       813360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263055328 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6652 kB
Writeback:           0 kB
AnonPages:       63416 kB
Mapped:          14532 kB
Slab:           120580 kB
PageTables:       4404 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   163888 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61736 MiB
End job on node200 at 2011-06-08 06:47:40