Trace number 3472455

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 915.033 29.7014

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom13.cnf
MD5SUMf3c2fb082f5fbc8fb1f714d6ee13929d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark915.033
Satisfiable
(Un)Satisfiability was proved
Number of variables19995
Number of clauses66333
Sum of the clauses size168341
Maximum clause length698
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 235137
Number of clauses of size 330832
Number of clauses of size 490
Number of clauses of size 511
Number of clauses of size over 5262

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...690229/instance-3472455-1307690229.cnf
0.29/0.39	c Solving...
914.94/29.69	s UNSATISFIABLE
914.94/29.69	
914.94/29.69	c Models        : 0     
914.94/29.69	c Time          : 29.406s (Solving: 29.02s 1st Model: 0.00s Unsat: 29.02s)
914.94/29.69	c CPU Time      : 914.730s

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-3472455-1307690229/watcher-3472455-1307690229 -o /tmp/evaluation-result-3472455-1307690229/solver-3472455-1307690229 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472455-1307690229.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: 27.42 31.18 31.75 1/412 2006
/proc/meminfo: memFree=262187060/264257624 swapFree=67111528/67111528
[pid=2006] ppid=2004 vsize=23376 CPUtime=0 cores=0-31
/proc/2006/stat : 2006 (claspmt) R 2004 2006 1976 0 -1 4202496 578 0 0 0 0 0 0 0 23 0 1 0 34409780 23937024 508 270582939648 4194304 4964800 140734070671408 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/2006/statm: 5844 512 373 189 0 718 0

[startup+0.074108 s]
/proc/loadavg: 27.42 31.18 31.75 1/412 2006
/proc/meminfo: memFree=262187060/264257624 swapFree=67111528/67111528
[pid=2006] ppid=2004 vsize=28904 CPUtime=0.06 cores=0-31
/proc/2006/stat : 2006 (claspmt) R 2004 2006 1976 0 -1 4202496 3112 0 0 0 6 0 0 0 23 0 1 0 34409780 29597696 2399 270582939648 4194304 4964800 140734070671408 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/2006/statm: 7226 2399 396 189 0 2100 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 28904

[startup+0.101112 s]
/proc/loadavg: 27.42 31.18 31.75 1/412 2006
/proc/meminfo: memFree=262187060/264257624 swapFree=67111528/67111528
[pid=2006] ppid=2004 vsize=30812 CPUtime=0.09 cores=0-31
/proc/2006/stat : 2006 (claspmt) R 2004 2006 1976 0 -1 4202496 3531 0 0 0 9 0 0 0 23 0 1 0 34409780 31551488 2818 270582939648 4194304 4964800 140734070671408 18446744073709551615 4615573 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/2006/statm: 7703 2818 396 189 0 2577 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30812

[startup+0.301115 s]
/proc/loadavg: 27.42 31.18 31.75 1/412 2006
/proc/meminfo: memFree=262187060/264257624 swapFree=67111528/67111528
[pid=2006] ppid=2004 vsize=33560 CPUtime=0.29 cores=0-31
/proc/2006/stat : 2006 (claspmt) R 2004 2006 1976 0 -1 4202496 4211 0 0 0 29 0 0 0 25 0 1 0 34409780 34365440 3498 270582939648 4194304 4964800 140734070671408 18446744073709551615 4621676 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/2006/statm: 8390 3498 401 189 0 3264 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33560

[startup+0.701112 s]
/proc/loadavg: 27.42 31.18 31.75 1/412 2006
/proc/meminfo: memFree=262187060/264257624 swapFree=67111528/67111528
[pid=2006] ppid=2004 vsize=1905032 CPUtime=2.9 cores=0-31
/proc/2006/stat : 2006 (claspmt) S 2004 2006 1976 0 -1 4202496 30462 0 0 0 107 183 0 0 18 0 32 0 34409780 1950752768 24592 270582939648 4194304 4964800 140734070671408 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/2006/statm: 476258 24592 440 189 0 470607 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 1905032

[startup+1.50305 s]
/proc/loadavg: 27.42 31.18 31.75 33/444 2038
/proc/meminfo: memFree=262085780/264257624 swapFree=67111528/67111528
[pid=2006] ppid=2004 vsize=1905164 CPUtime=27.6 cores=0-31
/proc/2006/stat : 2006 (claspmt) R 2004 2006 1976 0 -1 4202496 35154 0 0 0 2559 201 0 0 16 0 32 0 34409780 1950887936 29283 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669523 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/2006/statm: 476291 29284 461 189 0 470640 0
[pid=2006/tid=2008] ppid=2004 vsize=1905164 CPUtime=0.8 cores=0-31
/proc/2006/task/2008/stat : 2008 (claspmt) R 2004 2006 1976 0 -1 4202560 676 0 0 0 77 3 0 0 16 0 32 0 34409820 1950887936 29284 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=2006/tid=2009] ppid=2004 vsize=1905164 CPUtime=0.83 cores=0-31
/proc/2006/task/2009/stat : 2009 (claspmt) R 2004 2006 1976 0 -1 4202560 1110 0 0 0 78 5 0 0 17 0 32 0 34409820 1950887936 29284 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670140 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=2006/tid=2010] ppid=2004 vsize=1905164 CPUtime=0.82 cores=0-31
/proc/2006/task/2010/stat : 2010 (claspmt) R 2004 2006 1976 0 -1 4202560 1142 0 0 0 75 7 0 0 17 0 32 0 34409820 1950887936 29284 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2006/tid=2011] ppid=2004 vsize=1905164 CPUtime=0.84 cores=0-31
/proc/2006/task/2011/stat : 2011 (claspmt) R 2004 2006 1976 0 -1 4202560 926 0 0 0 78 6 0 0 17 0 32 0 34409820 1950887936 29285 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668683 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=2006/tid=2012] ppid=2004 vsize=1905164 CPUtime=0.95 cores=0-31
/proc/2006/task/2012/stat : 2012 (claspmt) R 2004 2006 1976 0 -1 4202560 815 0 0 0 90 5 0 0 18 0 32 0 34409820 1950887936 29286 270582939648 4194304 4964800 140734070671408 18446744073709551615 4674507 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=2006/tid=2013] ppid=2004 vsize=1905164 CPUtime=0.83 cores=0-31
/proc/2006/task/2013/stat : 2013 (claspmt) R 2004 2006 1976 0 -1 4202560 1019 0 0 0 77 6 0 0 17 0 32 0 34409820 1950887936 29286 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=2006/tid=2014] ppid=2004 vsize=1905164 CPUtime=0.83 cores=0-31
/proc/2006/task/2014/stat : 2014 (claspmt) R 2004 2006 1976 0 -1 4202560 1084 0 0 0 76 7 0 0 17 0 32 0 34409820 1950887936 29286 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=2006/tid=2015] ppid=2004 vsize=1905164 CPUtime=0.84 cores=0-31
/proc/2006/task/2015/stat : 2015 (claspmt) R 2004 2006 1976 0 -1 4202560 920 0 0 0 78 6 0 0 17 0 32 0 34409820 1950887936 29286 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=2006/tid=2016] ppid=2004 vsize=1905164 CPUtime=0.83 cores=0-31
/proc/2006/task/2016/stat : 2016 (claspmt) R 2004 2006 1976 0 -1 4202560 884 0 0 0 77 6 0 0 17 0 32 0 34409820 1950887936 29286 270582939648 4194304 4964800 140734070671408 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2006/tid=2017] ppid=2004 vsize=1905164 CPUtime=0.83 cores=0-31
/proc/2006/task/2017/stat : 2017 (claspmt) R 2004 2006 1976 0 -1 4202560 1085 0 0 0 77 6 0 0 17 0 32 0 34409820 1950887936 29286 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=2006/tid=2018] ppid=2004 vsize=1905164 CPUtime=0.84 cores=0-31
/proc/2006/task/2018/stat : 2018 (claspmt) R 2004 2006 1976 0 -1 4202560 1063 0 0 0 77 7 0 0 17 0 32 0 34409820 1950887936 29286 270582939648 4194304 4964800 140734070671408 18446744073709551615 4332351 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=2006/tid=2019] ppid=2004 vsize=1905164 CPUtime=0.83 cores=0-31
/proc/2006/task/2019/stat : 2019 (claspmt) R 2004 2006 1976 0 -1 4202560 945 0 0 0 77 6 0 0 17 0 32 0 34409820 1950887936 29286 270582939648 4194304 4964800 140734070671408 18446744073709551615 4660449 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=2006/tid=2020] ppid=2004 vsize=1905164 CPUtime=0.95 cores=0-31
/proc/2006/task/2020/stat : 2020 (claspmt) R 2004 2006 1976 0 -1 4202560 910 0 0 0 89 6 0 0 19 0 32 0 34409820 1950887936 29286 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668607 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=2006/tid=2021] ppid=2004 vsize=1905164 CPUtime=0.84 cores=0-31
/proc/2006/task/2021/stat : 2021 (claspmt) R 2004 2006 1976 0 -1 4202560 1049 0 0 0 77 7 0 0 17 0 32 0 34409820 1950887936 29288 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=2006/tid=2022] ppid=2004 vsize=1905164 CPUtime=0.82 cores=0-31
/proc/2006/task/2022/stat : 2022 (claspmt) R 2004 2006 1976 0 -1 4202560 1042 0 0 0 76 6 0 0 17 0 32 0 34409820 1950887936 29289 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669086 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=2006/tid=2023] ppid=2004 vsize=1905164 CPUtime=0.83 cores=0-31
/proc/2006/task/2023/stat : 2023 (claspmt) R 2004 2006 1976 0 -1 4202560 884 0 0 0 77 6 0 0 17 0 32 0 34409820 1950887936 29289 270582939648 4194304 4964800 140734070671408 18446744073709551615 4653441 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=2006/tid=2024] ppid=2004 vsize=1905164 CPUtime=0.85 cores=0-31
/proc/2006/task/2024/stat : 2024 (claspmt) R 2004 2006 1976 0 -1 4202560 887 0 0 0 78 7 0 0 17 0 32 0 34409820 1950887936 29289 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668588 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=2006/tid=2025] ppid=2004 vsize=1905164 CPUtime=0.83 cores=0-31
/proc/2006/task/2025/stat : 2025 (claspmt) R 2004 2006 1976 0 -1 4202560 1078 0 0 0 76 7 0 0 17 0 32 0 34409821 1950887936 29290 270582939648 4194304 4964800 140734070671408 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=2006/tid=2026] ppid=2004 vsize=1905164 CPUtime=0.84 cores=0-31
/proc/2006/task/2026/stat : 2026 (claspmt) R 2004 2006 1976 0 -1 4202560 1122 0 0 0 78 6 0 0 17 0 32 0 34409821 1950887936 29290 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=2006/tid=2027] ppid=2004 vsize=1905164 CPUtime=0.84 cores=0-31
/proc/2006/task/2027/stat : 2027 (claspmt) R 2004 2006 1976 0 -1 4202560 954 0 0 0 77 7 0 0 17 0 32 0 34409821 1950887936 29290 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670160 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=2006/tid=2028] ppid=2004 vsize=1905164 CPUtime=0.93 cores=0-31
/proc/2006/task/2028/stat : 2028 (claspmt) R 2004 2006 1976 0 -1 4202560 852 0 0 0 88 5 0 0 19 0 32 0 34409821 1950887936 29290 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669170 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=2006/tid=2029] ppid=2004 vsize=1905164 CPUtime=0.83 cores=0-31
/proc/2006/task/2029/stat : 2029 (claspmt) R 2004 2006 1976 0 -1 4202560 1031 0 0 0 77 6 0 0 17 0 32 0 34409821 1950887936 29290 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=2006/tid=2030] ppid=2004 vsize=1905164 CPUtime=0.8 cores=0-31
/proc/2006/task/2030/stat : 2030 (claspmt) R 2004 2006 1976 0 -1 4202560 1102 0 0 0 77 3 0 0 17 0 32 0 34409821 1950887936 29291 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669078 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=2006/tid=2031] ppid=2004 vsize=1905164 CPUtime=0.82 cores=0-31
/proc/2006/task/2031/stat : 2031 (claspmt) R 2004 2006 1976 0 -1 4202560 852 0 0 0 77 5 0 0 17 0 32 0 34409821 1950887936 29298 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=2006/tid=2032] ppid=2004 vsize=1905164 CPUtime=0.84 cores=0-31
/proc/2006/task/2032/stat : 2032 (claspmt) R 2004 2006 1976 0 -1 4202560 883 0 0 0 78 6 0 0 17 0 32 0 34409821 1950887936 29299 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=2006/tid=2033] ppid=2004 vsize=1905164 CPUtime=0.83 cores=0-31
/proc/2006/task/2033/stat : 2033 (claspmt) R 2004 2006 1976 0 -1 4202560 1131 0 0 0 77 6 0 0 17 0 32 0 34409821 1950887936 29299 270582939648 4194304 4964800 140734070671408 18446744073709551615 4684013 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=2006/tid=2034] ppid=2004 vsize=1905164 CPUtime=0.82 cores=0-31
/proc/2006/task/2034/stat : 2034 (claspmt) R 2004 2006 1976 0 -1 4202560 1117 0 0 0 76 6 0 0 17 0 32 0 34409821 1950887936 29299 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=2006/tid=2035] ppid=2004 vsize=1905164 CPUtime=0.84 cores=0-31
/proc/2006/task/2035/stat : 2035 (claspmt) R 2004 2006 1976 0 -1 4202560 933 0 0 0 78 6 0 0 18 0 32 0 34409821 1950887936 29299 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=2006/tid=2036] ppid=2004 vsize=1905164 CPUtime=0.91 cores=0-31
/proc/2006/task/2036/stat : 2036 (claspmt) R 2004 2006 1976 0 -1 4202560 904 0 0 0 86 5 0 0 18 0 32 0 34409821 1950887936 29299 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=2006/tid=2037] ppid=2004 vsize=1905164 CPUtime=0.83 cores=0-31
/proc/2006/task/2037/stat : 2037 (claspmt) R 2004 2006 1976 0 -1 4202560 1063 0 0 0 77 6 0 0 17 0 32 0 34409821 1950887936 29299 270582939648 4194304 4964800 140734070671408 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=2006/tid=2038] ppid=2004 vsize=1905164 CPUtime=0.79 cores=0-31
/proc/2006/task/2038/stat : 2038 (claspmt) R 2004 2006 1976 0 -1 4202560 1055 0 0 0 72 7 0 0 17 0 32 0 34409821 1950887936 29300 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 27.6
Current children cumulated vsize (KiB) 1905164

[startup+3.1021 s]
/proc/loadavg: 27.42 31.18 31.75 33/444 2038
/proc/meminfo: memFree=262045604/264257624 swapFree=67111528/67111528
[pid=2006] ppid=2004 vsize=1906640 CPUtime=78.54 cores=0-31
/proc/2006/stat : 2006 (claspmt) R 2004 2006 1976 0 -1 4202496 47121 0 0 0 7617 237 0 0 18 0 32 0 34409780 1952399360 41250 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669396 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/2006/statm: 476660 41250 461 189 0 471009 0
[pid=2006/tid=2008] ppid=2004 vsize=1906640 CPUtime=2.4 cores=0-31
/proc/2006/task/2008/stat : 2008 (claspmt) R 2004 2006 1976 0 -1 4202560 974 0 0 0 236 4 0 0 18 0 32 0 34409820 1952399360 41250 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=2006/tid=2009] ppid=2004 vsize=1906640 CPUtime=2.43 cores=0-31
/proc/2006/task/2009/stat : 2009 (claspmt) R 2004 2006 1976 0 -1 4202560 1650 0 0 0 236 7 0 0 19 0 32 0 34409820 1952399360 41250 270582939648 4194304 4964800 140734070671408 18446744073709551615 4342162 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=2006/tid=2010] ppid=2004 vsize=1906640 CPUtime=2.42 cores=0-31
/proc/2006/task/2010/stat : 2010 (claspmt) R 2004 2006 1976 0 -1 4202560 1514 0 0 0 234 8 0 0 19 0 32 0 34409820 1952399360 41250 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2006/tid=2011] ppid=2004 vsize=1906640 CPUtime=2.41 cores=0-31
/proc/2006/task/2011/stat : 2011 (claspmt) R 2004 2006 1976 0 -1 4202560 1346 0 0 0 235 6 0 0 19 0 32 0 34409820 1952399360 41250 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670434 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=2006/tid=2012] ppid=2004 vsize=1906640 CPUtime=2.55 cores=0-31
/proc/2006/task/2012/stat : 2012 (claspmt) R 2004 2006 1976 0 -1 4202560 895 0 0 0 250 5 0 0 21 0 32 0 34409820 1952399360 41250 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=2006/tid=2013] ppid=2004 vsize=1906640 CPUtime=2.42 cores=0-31
/proc/2006/task/2013/stat : 2013 (claspmt) R 2004 2006 1976 0 -1 4202560 1406 0 0 0 235 7 0 0 19 0 32 0 34409820 1952399360 41250 270582939648 4194304 4964800 140734070671408 18446744073709551615 4684104 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=2006/tid=2014] ppid=2004 vsize=1906640 CPUtime=2.43 cores=0-31
/proc/2006/task/2014/stat : 2014 (claspmt) R 2004 2006 1976 0 -1 4202560 1601 0 0 0 234 9 0 0 19 0 32 0 34409820 1952399360 41250 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=2006/tid=2015] ppid=2004 vsize=1906640 CPUtime=2.43 cores=0-31
/proc/2006/task/2015/stat : 2015 (claspmt) R 2004 2006 1976 0 -1 4202560 1224 0 0 0 236 7 0 0 18 0 32 0 34409820 1952399360 41250 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=2006/tid=2016] ppid=2004 vsize=1906640 CPUtime=2.4 cores=0-31
/proc/2006/task/2016/stat : 2016 (claspmt) R 2004 2006 1976 0 -1 4202560 1281 0 0 0 232 8 0 0 19 0 32 0 34409820 1952399360 41250 270582939648 4194304 4964800 140734070671408 18446744073709551615 4627341 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=2006/tid=2017] ppid=2004 vsize=1906640 CPUtime=2.42 cores=0-31
/proc/2006/task/2017/stat : 2017 (claspmt) R 2004 2006 1976 0 -1 4202560 1610 0 0 0 235 7 0 0 19 0 32 0 34409820 1952399360 41250 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=2006/tid=2018] ppid=2004 vsize=1906640 CPUtime=2.43 cores=0-31
/proc/2006/task/2018/stat : 2018 (claspmt) R 2004 2006 1976 0 -1 4202560 1422 0 0 0 235 8 0 0 19 0 32 0 34409820 1952399360 41251 270582939648 4194304 4964800 140734070671408 18446744073709551615 4363327 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=2006/tid=2019] ppid=2004 vsize=1906640 CPUtime=2.42 cores=0-31
/proc/2006/task/2019/stat : 2019 (claspmt) R 2004 2006 1976 0 -1 4202560 1333 0 0 0 235 7 0 0 19 0 32 0 34409820 1952399360 41251 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=2006/tid=2020] ppid=2004 vsize=1906640 CPUtime=2.54 cores=0-31
/proc/2006/task/2020/stat : 2020 (claspmt) R 2004 2006 1976 0 -1 4202560 998 0 0 0 248 6 0 0 22 0 32 0 34409820 1952399360 41251 270582939648 4194304 4964800 140734070671408 18446744073709551615 4374314 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=2006/tid=2021] ppid=2004 vsize=1906640 CPUtime=2.43 cores=0-31
/proc/2006/task/2021/stat : 2021 (claspmt) R 2004 2006 1976 0 -1 4202560 1403 0 0 0 235 8 0 0 18 0 32 0 34409820 1952399360 41252 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=2006/tid=2022] ppid=2004 vsize=1906640 CPUtime=2.42 cores=0-31
/proc/2006/task/2022/stat : 2022 (claspmt) R 2004 2006 1976 0 -1 4202560 1641 0 0 0 233 9 0 0 20 0 32 0 34409820 1952399360 41253 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=2006/tid=2023] ppid=2004 vsize=1906640 CPUtime=2.42 cores=0-31
/proc/2006/task/2023/stat : 2023 (claspmt) R 2004 2006 1976 0 -1 4202560 1211 0 0 0 235 7 0 0 19 0 32 0 34409820 1952399360 41253 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2006/tid=2024] ppid=2004 vsize=1906640 CPUtime=2.43 cores=0-31
/proc/2006/task/2024/stat : 2024 (claspmt) R 2004 2006 1976 0 -1 4202560 1237 0 0 0 236 7 0 0 19 0 32 0 34409820 1952399360 41253 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=2006/tid=2025] ppid=2004 vsize=1906640 CPUtime=2.41 cores=0-31
/proc/2006/task/2025/stat : 2025 (claspmt) R 2004 2006 1976 0 -1 4202560 1705 0 0 0 233 8 0 0 19 0 32 0 34409821 1952399360 41253 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=2006/tid=2026] ppid=2004 vsize=1906640 CPUtime=2.44 cores=0-31
/proc/2006/task/2026/stat : 2026 (claspmt) R 2004 2006 1976 0 -1 4202560 1457 0 0 0 237 7 0 0 19 0 32 0 34409821 1952399360 41253 270582939648 4194304 4964800 140734070671408 18446744073709551615 4363334 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=2006/tid=2027] ppid=2004 vsize=1906640 CPUtime=2.43 cores=0-31
/proc/2006/task/2027/stat : 2027 (claspmt) R 2004 2006 1976 0 -1 4202560 1335 0 0 0 235 8 0 0 19 0 32 0 34409821 1952399360 41253 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=2006/tid=2028] ppid=2004 vsize=1906640 CPUtime=2.53 cores=0-31
/proc/2006/task/2028/stat : 2028 (claspmt) R 2004 2006 1976 0 -1 4202560 1001 0 0 0 247 6 0 0 22 0 32 0 34409821 1952399360 41253 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668946 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=2006/tid=2029] ppid=2004 vsize=1906640 CPUtime=2.42 cores=0-31
/proc/2006/task/2029/stat : 2029 (claspmt) R 2004 2006 1976 0 -1 4202560 1364 0 0 0 235 7 0 0 18 0 32 0 34409821 1952399360 41253 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=2006/tid=2030] ppid=2004 vsize=1906640 CPUtime=2.4 cores=0-31
/proc/2006/task/2030/stat : 2030 (claspmt) R 2004 2006 1976 0 -1 4202560 1651 0 0 0 235 5 0 0 20 0 32 0 34409821 1952399360 41253 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=2006/tid=2031] ppid=2004 vsize=1906640 CPUtime=2.41 cores=0-31
/proc/2006/task/2031/stat : 2031 (claspmt) R 2004 2006 1976 0 -1 4202560 1120 0 0 0 235 6 0 0 19 0 32 0 34409821 1952399360 41253 270582939648 4194304 4964800 140734070671408 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=2006/tid=2032] ppid=2004 vsize=1906640 CPUtime=2.43 cores=0-31
/proc/2006/task/2032/stat : 2032 (claspmt) R 2004 2006 1976 0 -1 4202560 1237 0 0 0 236 7 0 0 18 0 32 0 34409821 1952399360 41253 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=2006/tid=2033] ppid=2004 vsize=1906640 CPUtime=2.43 cores=0-31
/proc/2006/task/2033/stat : 2033 (claspmt) R 2004 2006 1976 0 -1 4202560 1736 0 0 0 235 8 0 0 19 0 32 0 34409821 1952399360 41253 270582939648 4194304 4964800 140734070671408 18446744073709551615 4321025 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=2006/tid=2034] ppid=2004 vsize=1906640 CPUtime=2.4 cores=0-31
/proc/2006/task/2034/stat : 2034 (claspmt) R 2004 2006 1976 0 -1 4202560 1463 0 0 0 233 7 0 0 20 0 32 0 34409821 1952399360 41253 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=2006/tid=2035] ppid=2004 vsize=1906640 CPUtime=2.43 cores=0-31
/proc/2006/task/2035/stat : 2035 (claspmt) R 2004 2006 1976 0 -1 4202560 1314 0 0 0 236 7 0 0 18 0 32 0 34409821 1952399360 41253 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=2006/tid=2036] ppid=2004 vsize=1906640 CPUtime=2.51 cores=0-31
/proc/2006/task/2036/stat : 2036 (claspmt) R 2004 2006 1976 0 -1 4202560 1004 0 0 0 246 5 0 0 22 0 32 0 34409821 1952399360 41253 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670440 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=2006/tid=2037] ppid=2004 vsize=1906640 CPUtime=2.43 cores=0-31

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

[pid=2006/tid=2035] ppid=2004 vsize=1912952 CPUtime=26.41 cores=0-31
/proc/2006/task/2035/stat : 2035 (claspmt) R 2004 2006 1976 0 -1 4202560 2552 0 0 0 2631 10 0 0 25 0 32 0 34409821 1958862848 80762 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=2006/tid=2036] ppid=2004 vsize=1912952 CPUtime=26.5 cores=0-31
/proc/2006/task/2036/stat : 2036 (claspmt) R 2004 2006 1976 0 -1 4202560 2660 0 0 0 2639 11 0 0 25 0 32 0 34409821 1958862848 80762 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=2006/tid=2037] ppid=2004 vsize=1912952 CPUtime=26.42 cores=0-31
/proc/2006/task/2037/stat : 2037 (claspmt) R 2004 2006 1976 0 -1 4202560 2275 0 0 0 2633 9 0 0 25 0 32 0 34409821 1958862848 80762 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=2006/tid=2038] ppid=2004 vsize=1912952 CPUtime=26.36 cores=0-31
/proc/2006/task/2038/stat : 2038 (claspmt) R 2004 2006 1976 0 -1 4202560 3545 0 0 0 2623 13 0 0 25 0 32 0 34409821 1958862848 80762 270582939648 4194304 4964800 140734070671408 18446744073709551615 258651060958 0 0 4096 18946 18446744071566933064 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 845.47
Current children cumulated vsize (KiB) 1912952

[startup+28.702 s]
/proc/loadavg: 29.05 31.26 31.76 33/444 2038
/proc/meminfo: memFree=261866980/264257624 swapFree=67111528/67111528
[pid=2006] ppid=2004 vsize=1912952 CPUtime=896.61 cores=0-31
/proc/2006/stat : 2006 (claspmt) R 2004 2006 1976 0 -1 4202496 87558 0 0 0 89318 343 0 0 25 0 32 0 34409780 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/2006/statm: 478238 81670 463 189 0 472587 0
[pid=2006/tid=2008] ppid=2004 vsize=1912952 CPUtime=27.99 cores=0-31
/proc/2006/task/2008/stat : 2008 (claspmt) R 2004 2006 1976 0 -1 4202560 1775 0 0 0 2793 6 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=2006/tid=2009] ppid=2004 vsize=1912952 CPUtime=28.02 cores=0-31
/proc/2006/task/2009/stat : 2009 (claspmt) R 2004 2006 1976 0 -1 4202560 4069 0 0 0 2791 11 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=2006/tid=2010] ppid=2004 vsize=1912952 CPUtime=27.97 cores=0-31
/proc/2006/task/2010/stat : 2010 (claspmt) R 2004 2006 1976 0 -1 4202560 2155 0 0 0 2788 9 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=2006/tid=2011] ppid=2004 vsize=1912952 CPUtime=28 cores=0-31
/proc/2006/task/2011/stat : 2011 (claspmt) R 2004 2006 1976 0 -1 4202560 2591 0 0 0 2789 11 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=2006/tid=2012] ppid=2004 vsize=1912952 CPUtime=28.14 cores=0-31
/proc/2006/task/2012/stat : 2012 (claspmt) R 2004 2006 1976 0 -1 4202560 2052 0 0 0 2805 9 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=2006/tid=2013] ppid=2004 vsize=1912952 CPUtime=28.01 cores=0-31
/proc/2006/task/2013/stat : 2013 (claspmt) R 2004 2006 1976 0 -1 4202560 2287 0 0 0 2792 9 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=2006/tid=2014] ppid=2004 vsize=1912952 CPUtime=28.01 cores=0-31
/proc/2006/task/2014/stat : 2014 (claspmt) R 2004 2006 1976 0 -1 4202560 3407 0 0 0 2787 14 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668627 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=2006/tid=2015] ppid=2004 vsize=1912952 CPUtime=28.02 cores=0-31
/proc/2006/task/2015/stat : 2015 (claspmt) R 2004 2006 1976 0 -1 4202560 2195 0 0 0 2792 10 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669523 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=2006/tid=2016] ppid=2004 vsize=1912952 CPUtime=27.89 cores=0-31
/proc/2006/task/2016/stat : 2016 (claspmt) R 2004 2006 1976 0 -1 4202560 2160 0 0 0 2779 10 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2006/tid=2017] ppid=2004 vsize=1912952 CPUtime=28 cores=0-31
/proc/2006/task/2017/stat : 2017 (claspmt) R 2004 2006 1976 0 -1 4202560 3754 0 0 0 2789 11 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=2006/tid=2018] ppid=2004 vsize=1912952 CPUtime=28.03 cores=0-31
/proc/2006/task/2018/stat : 2018 (claspmt) R 2004 2006 1976 0 -1 4202560 2305 0 0 0 2793 10 0 0 24 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668576 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=2006/tid=2019] ppid=2004 vsize=1912952 CPUtime=27.39 cores=0-31
/proc/2006/task/2019/stat : 2019 (claspmt) R 2004 2006 1976 0 -1 4202560 2421 0 0 0 2729 10 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=2006/tid=2020] ppid=2004 vsize=1912952 CPUtime=28.13 cores=0-31
/proc/2006/task/2020/stat : 2020 (claspmt) R 2004 2006 1976 0 -1 4202560 2461 0 0 0 2801 12 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=2006/tid=2021] ppid=2004 vsize=1912952 CPUtime=28.02 cores=0-31
/proc/2006/task/2021/stat : 2021 (claspmt) R 2004 2006 1976 0 -1 4202560 2223 0 0 0 2792 10 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=2006/tid=2022] ppid=2004 vsize=1912952 CPUtime=28 cores=0-31
/proc/2006/task/2022/stat : 2022 (claspmt) R 2004 2006 1976 0 -1 4202560 3659 0 0 0 2785 15 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=2006/tid=2023] ppid=2004 vsize=1912952 CPUtime=28.01 cores=0-31
/proc/2006/task/2023/stat : 2023 (claspmt) R 2004 2006 1976 0 -1 4202560 1927 0 0 0 2791 10 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2006/tid=2024] ppid=2004 vsize=1912952 CPUtime=28.03 cores=0-31
/proc/2006/task/2024/stat : 2024 (claspmt) R 2004 2006 1976 0 -1 4202560 2118 0 0 0 2793 10 0 0 25 0 32 0 34409820 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=2006/tid=2025] ppid=2004 vsize=1912952 CPUtime=28.01 cores=0-31
/proc/2006/task/2025/stat : 2025 (claspmt) R 2004 2006 1976 0 -1 4202560 4351 0 0 0 2788 13 0 0 25 0 32 0 34409821 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=2006/tid=2026] ppid=2004 vsize=1912952 CPUtime=28.02 cores=0-31
/proc/2006/task/2026/stat : 2026 (claspmt) R 2004 2006 1976 0 -1 4202560 2200 0 0 0 2793 9 0 0 25 0 32 0 34409821 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=2006/tid=2027] ppid=2004 vsize=1912952 CPUtime=28.01 cores=0-31
/proc/2006/task/2027/stat : 2027 (claspmt) R 2004 2006 1976 0 -1 4202560 2266 0 0 0 2791 10 0 0 25 0 32 0 34409821 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=2006/tid=2028] ppid=2004 vsize=1912952 CPUtime=28.13 cores=0-31
/proc/2006/task/2028/stat : 2028 (claspmt) R 2004 2006 1976 0 -1 4202560 2041 0 0 0 2804 9 0 0 25 0 32 0 34409821 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=2006/tid=2029] ppid=2004 vsize=1912952 CPUtime=28.01 cores=0-31
/proc/2006/task/2029/stat : 2029 (claspmt) R 2004 2006 1976 0 -1 4202560 2190 0 0 0 2791 10 0 0 25 0 32 0 34409821 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=2006/tid=2030] ppid=2004 vsize=1912952 CPUtime=27.97 cores=0-31
/proc/2006/task/2030/stat : 2030 (claspmt) R 2004 2006 1976 0 -1 4202560 3740 0 0 0 2786 11 0 0 25 0 32 0 34409821 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=2006/tid=2031] ppid=2004 vsize=1912952 CPUtime=28 cores=0-31
/proc/2006/task/2031/stat : 2031 (claspmt) R 2004 2006 1976 0 -1 4202560 1904 0 0 0 2793 7 0 0 25 0 32 0 34409821 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4642460 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=2006/tid=2032] ppid=2004 vsize=1912952 CPUtime=28.02 cores=0-31
/proc/2006/task/2032/stat : 2032 (claspmt) R 2004 2006 1976 0 -1 4202560 2151 0 0 0 2792 10 0 0 25 0 32 0 34409821 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669434 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=2006/tid=2033] ppid=2004 vsize=1912952 CPUtime=28.02 cores=0-31
/proc/2006/task/2033/stat : 2033 (claspmt) R 2004 2006 1976 0 -1 4202560 4036 0 0 0 2789 13 0 0 25 0 32 0 34409821 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=2006/tid=2034] ppid=2004 vsize=1912952 CPUtime=27.98 cores=0-31
/proc/2006/task/2034/stat : 2034 (claspmt) R 2004 2006 1976 0 -1 4202560 2247 0 0 0 2790 8 0 0 25 0 32 0 34409821 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=2006/tid=2035] ppid=2004 vsize=1912952 CPUtime=28.01 cores=0-31
/proc/2006/task/2035/stat : 2035 (claspmt) R 2004 2006 1976 0 -1 4202560 2557 0 0 0 2791 10 0 0 25 0 32 0 34409821 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=2006/tid=2036] ppid=2004 vsize=1912952 CPUtime=28.1 cores=0-31
/proc/2006/task/2036/stat : 2036 (claspmt) R 2004 2006 1976 0 -1 4202560 2665 0 0 0 2799 11 0 0 25 0 32 0 34409821 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=2006/tid=2037] ppid=2004 vsize=1912952 CPUtime=28.02 cores=0-31
/proc/2006/task/2037/stat : 2037 (claspmt) R 2004 2006 1976 0 -1 4202560 2300 0 0 0 2793 9 0 0 25 0 32 0 34409821 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=2006/tid=2038] ppid=2004 vsize=1912952 CPUtime=27.96 cores=0-31
/proc/2006/task/2038/stat : 2038 (claspmt) R 2004 2006 1976 0 -1 4202560 3695 0 0 0 2782 14 0 0 25 0 32 0 34409821 1958862848 81670 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 896.61
Current children cumulated vsize (KiB) 1912952

[startup+29.102 s]
/proc/loadavg: 29.05 31.26 31.76 33/444 2038
/proc/meminfo: memFree=261866980/264257624 swapFree=67111528/67111528
[pid=2006] ppid=2004 vsize=1912952 CPUtime=909.4 cores=0-31
/proc/2006/stat : 2006 (claspmt) R 2004 2006 1976 0 -1 4202496 87696 0 0 0 90597 343 0 0 25 0 32 0 34409780 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669280 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/2006/statm: 478238 81808 463 189 0 472587 0
[pid=2006/tid=2008] ppid=2004 vsize=1912952 CPUtime=28.39 cores=0-31
/proc/2006/task/2008/stat : 2008 (claspmt) R 2004 2006 1976 0 -1 4202560 1780 0 0 0 2833 6 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670077 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=2006/tid=2009] ppid=2004 vsize=1912952 CPUtime=28.42 cores=0-31
/proc/2006/task/2009/stat : 2009 (claspmt) R 2004 2006 1976 0 -1 4202560 4075 0 0 0 2831 11 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=2006/tid=2010] ppid=2004 vsize=1912952 CPUtime=28.37 cores=0-31
/proc/2006/task/2010/stat : 2010 (claspmt) R 2004 2006 1976 0 -1 4202560 2163 0 0 0 2828 9 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4653322 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=2006/tid=2011] ppid=2004 vsize=1912952 CPUtime=28.4 cores=0-31
/proc/2006/task/2011/stat : 2011 (claspmt) R 2004 2006 1976 0 -1 4202560 2596 0 0 0 2829 11 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=2006/tid=2012] ppid=2004 vsize=1912952 CPUtime=28.54 cores=0-31
/proc/2006/task/2012/stat : 2012 (claspmt) R 2004 2006 1976 0 -1 4202560 2055 0 0 0 2845 9 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=2006/tid=2013] ppid=2004 vsize=1912952 CPUtime=28.41 cores=0-31
/proc/2006/task/2013/stat : 2013 (claspmt) R 2004 2006 1976 0 -1 4202560 2287 0 0 0 2832 9 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669978 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=2006/tid=2014] ppid=2004 vsize=1912952 CPUtime=28.41 cores=0-31
/proc/2006/task/2014/stat : 2014 (claspmt) R 2004 2006 1976 0 -1 4202560 3407 0 0 0 2827 14 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=2006/tid=2015] ppid=2004 vsize=1912952 CPUtime=28.42 cores=0-31
/proc/2006/task/2015/stat : 2015 (claspmt) R 2004 2006 1976 0 -1 4202560 2199 0 0 0 2832 10 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=2006/tid=2016] ppid=2004 vsize=1912952 CPUtime=28.29 cores=0-31
/proc/2006/task/2016/stat : 2016 (claspmt) R 2004 2006 1976 0 -1 4202560 2165 0 0 0 2819 10 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2006/tid=2017] ppid=2004 vsize=1912952 CPUtime=28.4 cores=0-31
/proc/2006/task/2017/stat : 2017 (claspmt) R 2004 2006 1976 0 -1 4202560 3755 0 0 0 2829 11 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=2006/tid=2018] ppid=2004 vsize=1912952 CPUtime=28.43 cores=0-31
/proc/2006/task/2018/stat : 2018 (claspmt) R 2004 2006 1976 0 -1 4202560 2306 0 0 0 2833 10 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=2006/tid=2019] ppid=2004 vsize=1912952 CPUtime=27.78 cores=0-31
/proc/2006/task/2019/stat : 2019 (claspmt) R 2004 2006 1976 0 -1 4202560 2427 0 0 0 2768 10 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=2006/tid=2020] ppid=2004 vsize=1912952 CPUtime=28.53 cores=0-31
/proc/2006/task/2020/stat : 2020 (claspmt) R 2004 2006 1976 0 -1 4202560 2476 0 0 0 2841 12 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=2006/tid=2021] ppid=2004 vsize=1912952 CPUtime=28.42 cores=0-31
/proc/2006/task/2021/stat : 2021 (claspmt) R 2004 2006 1976 0 -1 4202560 2229 0 0 0 2832 10 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4320890 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=2006/tid=2022] ppid=2004 vsize=1912952 CPUtime=28.4 cores=0-31
/proc/2006/task/2022/stat : 2022 (claspmt) R 2004 2006 1976 0 -1 4202560 3659 0 0 0 2825 15 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668732 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=2006/tid=2023] ppid=2004 vsize=1912952 CPUtime=28.41 cores=0-31
/proc/2006/task/2023/stat : 2023 (claspmt) R 2004 2006 1976 0 -1 4202560 1929 0 0 0 2831 10 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668805 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2006/tid=2024] ppid=2004 vsize=1912952 CPUtime=28.43 cores=0-31
/proc/2006/task/2024/stat : 2024 (claspmt) R 2004 2006 1976 0 -1 4202560 2118 0 0 0 2833 10 0 0 25 0 32 0 34409820 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=2006/tid=2025] ppid=2004 vsize=1912952 CPUtime=28.4 cores=0-31
/proc/2006/task/2025/stat : 2025 (claspmt) R 2004 2006 1976 0 -1 4202560 4366 0 0 0 2827 13 0 0 25 0 32 0 34409821 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=2006/tid=2026] ppid=2004 vsize=1912952 CPUtime=28.42 cores=0-31
/proc/2006/task/2026/stat : 2026 (claspmt) R 2004 2006 1976 0 -1 4202560 2201 0 0 0 2833 9 0 0 25 0 32 0 34409821 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=2006/tid=2027] ppid=2004 vsize=1912952 CPUtime=28.41 cores=0-31
/proc/2006/task/2027/stat : 2027 (claspmt) R 2004 2006 1976 0 -1 4202560 2277 0 0 0 2831 10 0 0 25 0 32 0 34409821 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668946 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=2006/tid=2028] ppid=2004 vsize=1912952 CPUtime=28.53 cores=0-31
/proc/2006/task/2028/stat : 2028 (claspmt) R 2004 2006 1976 0 -1 4202560 2041 0 0 0 2844 9 0 0 25 0 32 0 34409821 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4321054 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=2006/tid=2029] ppid=2004 vsize=1912952 CPUtime=28.41 cores=0-31
/proc/2006/task/2029/stat : 2029 (claspmt) R 2004 2006 1976 0 -1 4202560 2190 0 0 0 2831 10 0 0 25 0 32 0 34409821 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=2006/tid=2030] ppid=2004 vsize=1912952 CPUtime=28.37 cores=0-31
/proc/2006/task/2030/stat : 2030 (claspmt) R 2004 2006 1976 0 -1 4202560 3743 0 0 0 2826 11 0 0 25 0 32 0 34409821 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668822 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=2006/tid=2031] ppid=2004 vsize=1912952 CPUtime=28.4 cores=0-31
/proc/2006/task/2031/stat : 2031 (claspmt) R 2004 2006 1976 0 -1 4202560 1904 0 0 0 2833 7 0 0 25 0 32 0 34409821 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=2006/tid=2032] ppid=2004 vsize=1912952 CPUtime=28.41 cores=0-31
/proc/2006/task/2032/stat : 2032 (claspmt) R 2004 2006 1976 0 -1 4202560 2169 0 0 0 2831 10 0 0 25 0 32 0 34409821 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4321165 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=2006/tid=2033] ppid=2004 vsize=1912952 CPUtime=28.42 cores=0-31
/proc/2006/task/2033/stat : 2033 (claspmt) R 2004 2006 1976 0 -1 4202560 4036 0 0 0 2829 13 0 0 25 0 32 0 34409821 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=2006/tid=2034] ppid=2004 vsize=1912952 CPUtime=28.38 cores=0-31
/proc/2006/task/2034/stat : 2034 (claspmt) R 2004 2006 1976 0 -1 4202560 2255 0 0 0 2830 8 0 0 25 0 32 0 34409821 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=2006/tid=2035] ppid=2004 vsize=1912952 CPUtime=28.41 cores=0-31
/proc/2006/task/2035/stat : 2035 (claspmt) R 2004 2006 1976 0 -1 4202560 2562 0 0 0 2831 10 0 0 25 0 32 0 34409821 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=2006/tid=2036] ppid=2004 vsize=1912952 CPUtime=28.5 cores=0-31
/proc/2006/task/2036/stat : 2036 (claspmt) R 2004 2006 1976 0 -1 4202560 2672 0 0 0 2839 11 0 0 25 0 32 0 34409821 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=2006/tid=2037] ppid=2004 vsize=1912952 CPUtime=28.42 cores=0-31
/proc/2006/task/2037/stat : 2037 (claspmt) R 2004 2006 1976 0 -1 4202560 2300 0 0 0 2833 9 0 0 25 0 32 0 34409821 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=2006/tid=2038] ppid=2004 vsize=1912952 CPUtime=28.36 cores=0-31
/proc/2006/task/2038/stat : 2038 (claspmt) R 2004 2006 1976 0 -1 4202560 3697 0 0 0 2822 14 0 0 25 0 32 0 34409821 1958862848 81808 270582939648 4194304 4964800 140734070671408 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 909.4
Current children cumulated vsize (KiB) 1912952

[startup+29.5012 s]
/proc/loadavg: 29.05 31.26 31.76 33/444 2038
/proc/meminfo: memFree=261866980/264257624 swapFree=67111528/67111528
[pid=2006] ppid=2004 vsize=1811792 CPUtime=914.83 cores=0-31
/proc/2006/stat : 2006 (claspmt) R 2004 2006 1976 0 -1 4202496 87755 0 0 0 91127 356 0 0 24 0 1 0 34409780 1855275008 79053 270582939648 4194304 4964800 140734070671408 18446744073709551615 258650611643 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/2006/statm: 452948 79053 474 189 0 447297 0
Current children cumulated CPU time (s) 914.83
Current children cumulated vsize (KiB) 1811792

[startup+29.6011 s]
/proc/loadavg: 27.60 30.92 31.65 2/413 2038
/proc/meminfo: memFree=261889300/264257624 swapFree=67111528/67111528
[pid=2006] ppid=2004 vsize=1796752 CPUtime=914.94 cores=0-31
/proc/2006/stat : 2006 (claspmt) R 2004 2006 1976 0 -1 4202496 87755 0 0 0 91138 356 0 0 25 0 1 0 34409780 1839874048 74904 270582939648 4194304 4964800 140734070671408 18446744073709551615 258650604748 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/2006/statm: 449188 74904 474 189 0 443537 0
Current children cumulated CPU time (s) 914.94
Current children cumulated vsize (KiB) 1796752

Child status: 20
Real time (s): 29.7014
CPU time (s): 915.033
CPU user time (s): 911.434
CPU system time (s): 3.59845
CPU usage (%): 3080.78
Max. virtual memory (cumulated for all children) (KiB): 1912952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 911.434
system time used= 3.59845
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87756
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= 47899
involuntary context switches= 1676

runsolver used 0.189971 second user time and 0.716891 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-10 09:17:09
IDJOB=3472455
IDBENCH=83117
IDSOLVER=1961
FILE ID=node200/3472455-1307690229
RUNJOBID= node200-1307690229-1990
PBS_JOBID= 13549520
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.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-3472455-1307690229/watcher-3472455-1307690229 -o /tmp/evaluation-result-3472455-1307690229/solver-3472455-1307690229 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472455-1307690229.cnf

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

MD5SUM BENCH= f3c2fb082f5fbc8fb1f714d6ee13929d
RANDOM SEED=1204186611

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:      262187728 kB
Buffers:        263708 kB
Cached:        1490904 kB
SwapCached:          0 kB
Active:         280920 kB
Inactive:      1536732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262187728 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2072 kB
Writeback:           0 kB
AnonPages:       63400 kB
Mapped:          13880 kB
Slab:           172608 kB
PageTables:       4712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   167660 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61740 MiB
End job on node200 at 2011-06-10 09:17:39