Trace number 3472467

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)? (TO) 160003 5009.75

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom21.cnf
MD5SUMe6407843d1fbd00b68d4ad600a25dfb2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables48639
Number of clauses162901
Sum of the clauses size415741
Maximum clause length1542
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 283161
Number of clauses of size 378900
Number of clauses of size 4230
Number of clauses of size 519
Number of clauses of size over 5590

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...719521/instance-3472467-1307719521.cnf
0.79/0.86	c Solving...
160000.56/5007.43	
160000.56/5007.43	*** INTERRUPTED! ***
160000.56/5007.43	*** Shutting down threads...

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3472467-1307719521/watcher-3472467-1307719521 -o /tmp/evaluation-result-3472467-1307719521/solver-3472467-1307719521 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472467-1307719521.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: 29.62 31.55 31.85 1/413 4148
/proc/meminfo: memFree=262164532/264257624 swapFree=67111528/67111528
[pid=4148] ppid=4146 vsize=27096 CPUtime=0.01 cores=0-31
/proc/4148/stat : 4148 (claspmt) R 4146 4148 4118 0 -1 4202496 1566 0 0 0 1 0 0 0 21 0 1 0 37339054 27746304 1495 270582939648 4194304 4964800 140734999668144 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/4148/statm: 6774 1499 373 189 0 1648 0

[startup+0.111457 s]
/proc/loadavg: 29.62 31.55 31.85 1/413 4148
/proc/meminfo: memFree=262164532/264257624 swapFree=67111528/67111528
[pid=4148] ppid=4146 vsize=35452 CPUtime=0.1 cores=0-31
/proc/4148/stat : 4148 (claspmt) R 4146 4148 4118 0 -1 4202496 4877 0 0 0 9 1 0 0 21 0 1 0 37339054 36302848 3953 270582939648 4194304 4964800 140734999668144 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/4148/statm: 8863 3953 386 189 0 3737 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 35452

[startup+0.20051 s]
/proc/loadavg: 29.62 31.55 31.85 1/413 4148
/proc/meminfo: memFree=262164532/264257624 swapFree=67111528/67111528
[pid=4148] ppid=4146 vsize=42716 CPUtime=0.19 cores=0-31
/proc/4148/stat : 4148 (claspmt) R 4146 4148 4118 0 -1 4202496 7388 0 0 0 18 1 0 0 21 0 1 0 37339054 43741184 5718 270582939648 4194304 4964800 140734999668144 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/4148/statm: 10679 5718 396 189 0 5553 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42716

[startup+0.300466 s]
/proc/loadavg: 29.62 31.55 31.85 1/413 4148
/proc/meminfo: memFree=262164532/264257624 swapFree=67111528/67111528
[pid=4148] ppid=4146 vsize=45948 CPUtime=0.28 cores=0-31
/proc/4148/stat : 4148 (claspmt) R 4146 4148 4118 0 -1 4202496 8137 0 0 0 27 1 0 0 22 0 1 0 37339054 47050752 6467 270582939648 4194304 4964800 140734999668144 18446744073709551615 4613832 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/4148/statm: 11487 6467 401 189 0 6361 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 45948

[startup+0.700497 s]
/proc/loadavg: 29.62 31.55 31.85 1/413 4148
/proc/meminfo: memFree=262164532/264257624 swapFree=67111528/67111528
[pid=4148] ppid=4146 vsize=52020 CPUtime=0.69 cores=0-31
/proc/4148/stat : 4148 (claspmt) R 4146 4148 4118 0 -1 4202496 9656 0 0 0 67 2 0 0 23 0 1 0 37339054 53268480 7986 270582939648 4194304 4964800 140734999668144 18446744073709551615 4600540 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/4148/statm: 13005 7987 401 189 0 7879 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52020

[startup+1.50242 s]
/proc/loadavg: 29.62 31.55 31.85 2/445 4180
/proc/meminfo: memFree=262028136/264257624 swapFree=67111528/67111528
[pid=4148] ppid=4146 vsize=2102508 CPUtime=7.13 cores=0-31
/proc/4148/stat : 4148 (claspmt) S 4146 4148 4118 0 -1 4202496 72483 0 0 0 208 505 0 0 18 0 32 0 37339054 2152968192 58253 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/4148/statm: 525627 58253 440 189 0 519976 0
[pid=4148/tid=4150] ppid=4146 vsize=2102508 CPUtime=0.2 cores=0-31
/proc/4148/task/4150/stat : 4150 (claspmt) S 4146 4148 4118 0 -1 4202560 1683 0 0 0 2 18 0 0 18 0 32 0 37339141 2152968192 58253 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604710169533920 0 0 -1 1 0 0 0
[pid=4148/tid=4151] ppid=4146 vsize=2102508 CPUtime=0.18 cores=0-31
/proc/4148/task/4151/stat : 4151 (claspmt) S 4146 4148 4118 0 -1 4202560 2257 0 0 0 2 16 0 0 18 0 32 0 37339141 2152968192 58253 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604709779389920 0 0 -1 11 0 0 0
[pid=4148/tid=4152] ppid=4146 vsize=2102508 CPUtime=0.19 cores=0-31
/proc/4148/task/4152/stat : 4152 (claspmt) S 4146 4148 4118 0 -1 4202560 2218 0 0 0 3 16 0 0 17 0 32 0 37339141 2152968192 58253 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604710167813600 0 0 -1 19 0 0 0
[pid=4148/tid=4153] ppid=4146 vsize=2102508 CPUtime=0.18 cores=0-31
/proc/4148/task/4153/stat : 4153 (claspmt) S 4146 4148 4118 0 -1 4202560 1709 0 0 0 1 17 0 0 18 0 32 0 37339141 2152968192 58253 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604484649967072 0 0 -1 3 0 0 0
[pid=4148/tid=4154] ppid=4146 vsize=2102508 CPUtime=0.29 cores=0-31
/proc/4148/task/4154/stat : 4154 (claspmt) R 4146 4148 4118 0 -1 4202560 2039 0 0 0 13 16 0 0 18 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 4674507 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=4148/tid=4155] ppid=4146 vsize=2102508 CPUtime=0.19 cores=0-31
/proc/4148/task/4155/stat : 4155 (claspmt) S 4146 4148 4118 0 -1 4202560 2058 0 0 0 1 18 0 0 18 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604491827420640 0 0 -1 5 0 0 0
[pid=4148/tid=4156] ppid=4146 vsize=2102508 CPUtime=0.18 cores=0-31
/proc/4148/task/4156/stat : 4156 (claspmt) S 4146 4148 4118 0 -1 4202560 2181 0 0 0 1 17 0 0 18 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604707478453728 0 0 -1 17 0 0 0
[pid=4148/tid=4157] ppid=4146 vsize=2102508 CPUtime=0.16 cores=0-31
/proc/4148/task/4157/stat : 4157 (claspmt) S 4146 4148 4118 0 -1 4202560 1783 0 0 0 1 15 0 0 17 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604711602863584 0 0 -1 12 0 0 0
[pid=4148/tid=4158] ppid=4146 vsize=2102508 CPUtime=0.15 cores=0-31
/proc/4148/task/4158/stat : 4158 (claspmt) S 4146 4148 4118 0 -1 4202560 1777 0 0 0 1 14 0 0 17 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604575263579616 0 0 -1 30 0 0 0
[pid=4148/tid=4159] ppid=4146 vsize=2102508 CPUtime=0.18 cores=0-31
/proc/4148/task/4159/stat : 4159 (claspmt) S 4146 4148 4118 0 -1 4202560 2168 0 0 0 2 16 0 0 18 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604712166571488 0 0 -1 21 0 0 0
[pid=4148/tid=4160] ppid=4146 vsize=2102508 CPUtime=0.2 cores=0-31
/proc/4148/task/4160/stat : 4160 (claspmt) S 4146 4148 4118 0 -1 4202560 2240 0 0 0 2 18 0 0 18 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604643819224544 0 0 -1 2 0 0 0
[pid=4148/tid=4161] ppid=4146 vsize=2102508 CPUtime=0.16 cores=0-31
/proc/4148/task/4161/stat : 4161 (claspmt) S 4146 4148 4118 0 -1 4202560 1831 0 0 0 2 14 0 0 17 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604636922445280 0 0 -1 22 0 0 0
[pid=4148/tid=4162] ppid=4146 vsize=2102508 CPUtime=0.28 cores=0-31
/proc/4148/task/4162/stat : 4162 (claspmt) R 4146 4148 4118 0 -1 4202560 1995 0 0 0 13 15 0 0 18 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 4668623 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=4148/tid=4163] ppid=4146 vsize=2102508 CPUtime=0.18 cores=0-31
/proc/4148/task/4163/stat : 4163 (claspmt) S 4146 4148 4118 0 -1 4202560 2172 0 0 0 2 16 0 0 17 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604708089691616 0 0 -1 20 0 0 0
[pid=4148/tid=4164] ppid=4146 vsize=2102508 CPUtime=0.19 cores=0-31
/proc/4148/task/4164/stat : 4164 (claspmt) S 4146 4148 4118 0 -1 4202560 2081 0 0 0 2 17 0 0 18 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604639445720544 0 0 -1 31 0 0 0
[pid=4148/tid=4165] ppid=4146 vsize=2102508 CPUtime=0.17 cores=0-31
/proc/4148/task/4165/stat : 4165 (claspmt) S 4146 4148 4118 0 -1 4202560 1848 0 0 0 1 16 0 0 18 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604712389705184 0 0 -1 4 0 0 0
[pid=4148/tid=4166] ppid=4146 vsize=2102508 CPUtime=0.17 cores=0-31
/proc/4148/task/4166/stat : 4166 (claspmt) S 4146 4148 4118 0 -1 4202560 1734 0 0 0 2 15 0 0 17 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604640032234976 0 0 -1 7 0 0 0
[pid=4148/tid=4167] ppid=4146 vsize=2102508 CPUtime=0.17 cores=0-31
/proc/4148/task/4167/stat : 4167 (claspmt) S 4146 4148 4118 0 -1 4202560 2108 0 0 0 2 15 0 0 18 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604499923115488 0 0 -1 28 0 0 0
[pid=4148/tid=4168] ppid=4146 vsize=2102508 CPUtime=0.19 cores=0-31
/proc/4148/task/4168/stat : 4168 (claspmt) S 4146 4148 4118 0 -1 4202560 2197 0 0 0 2 17 0 0 18 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604498459188704 0 0 -1 27 0 0 0
[pid=4148/tid=4169] ppid=4146 vsize=2102508 CPUtime=0.15 cores=0-31
/proc/4148/task/4169/stat : 4169 (claspmt) S 4146 4148 4118 0 -1 4202560 1800 0 0 0 2 13 0 0 17 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604707364978144 0 0 -1 15 0 0 0
[pid=4148/tid=4170] ppid=4146 vsize=2102508 CPUtime=0.33 cores=0-31
/proc/4148/task/4170/stat : 4170 (claspmt) R 4146 4148 4118 0 -1 4202560 1948 0 0 0 19 14 0 0 17 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=4148/tid=4171] ppid=4146 vsize=2102508 CPUtime=0.19 cores=0-31
/proc/4148/task/4171/stat : 4171 (claspmt) S 4146 4148 4118 0 -1 4202560 2205 0 0 0 1 18 0 0 18 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604712380685792 0 0 -1 0 0 0 0
[pid=4148/tid=4172] ppid=4146 vsize=2102508 CPUtime=0.18 cores=0-31
/proc/4148/task/4172/stat : 4172 (claspmt) S 4146 4148 4118 0 -1 4202560 2108 0 0 0 3 15 0 0 18 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604701892615648 0 0 -1 8 0 0 0
[pid=4148/tid=4173] ppid=4146 vsize=2102508 CPUtime=0.14 cores=0-31
/proc/4148/task/4173/stat : 4173 (claspmt) S 4146 4148 4118 0 -1 4202560 1805 0 0 0 1 13 0 0 17 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604499006291424 0 0 -1 18 0 0 0
[pid=4148/tid=4174] ppid=4146 vsize=2102508 CPUtime=0.18 cores=0-31
/proc/4148/task/4174/stat : 4174 (claspmt) S 4146 4148 4118 0 -1 4202560 1812 0 0 0 2 16 0 0 18 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604711226686944 0 0 -1 26 0 0 0
[pid=4148/tid=4175] ppid=4146 vsize=2102508 CPUtime=0.19 cores=0-31
/proc/4148/task/4175/stat : 4175 (claspmt) S 4146 4148 4118 0 -1 4202560 2159 0 0 0 3 16 0 0 18 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604500062961120 0 0 -1 23 0 0 0
[pid=4148/tid=4176] ppid=4146 vsize=2102508 CPUtime=0.18 cores=0-31
/proc/4148/task/4176/stat : 4176 (claspmt) S 4146 4148 4118 0 -1 4202560 2225 0 0 0 2 16 0 0 18 0 32 0 37339141 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604709264391648 0 0 -1 29 0 0 0
[pid=4148/tid=4177] ppid=4146 vsize=2102508 CPUtime=0.15 cores=0-31
/proc/4148/task/4177/stat : 4177 (claspmt) S 4146 4148 4118 0 -1 4202560 1863 0 0 0 1 14 0 0 17 0 32 0 37339142 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604712597257696 0 0 -1 24 0 0 0
[pid=4148/tid=4178] ppid=4146 vsize=2102508 CPUtime=0.29 cores=0-31
/proc/4148/task/4178/stat : 4178 (claspmt) R 4146 4148 4118 0 -1 4202560 1937 0 0 0 14 15 0 0 18 0 32 0 37339142 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=4148/tid=4179] ppid=4146 vsize=2102508 CPUtime=0.19 cores=0-31
/proc/4148/task/4179/stat : 4179 (claspmt) S 4146 4148 4118 0 -1 4202560 2216 0 0 0 2 17 0 0 18 0 32 0 37339142 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604505492667872 0 0 -1 10 0 0 0
[pid=4148/tid=4180] ppid=4146 vsize=2102508 CPUtime=0.17 cores=0-31
/proc/4148/task/4180/stat : 4180 (claspmt) S 4146 4148 4118 0 -1 4202560 2094 0 0 0 2 15 0 0 17 0 32 0 37339142 2152968192 58254 270582939648 4194304 4964800 140734999668144 18446744073709551615 258662772457 0 0 4096 18946 18446604710081527264 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 2102508

[startup+3.10145 s]
/proc/loadavg: 29.62 31.55 31.85 35/445 4180
/proc/meminfo: memFree=261920872/264257624 swapFree=67111528/67111528
[pid=4148] ppid=4146 vsize=2103696 CPUtime=53.38 cores=0-31
/proc/4148/stat : 4148 (claspmt) R 4146 4148 4118 0 -1 4202496 82310 0 0 0 4800 538 0 0 17 0 32 0 37339054 2154184704 68076 270582939648 4194304 4964800 140734999668144 18446744073709551615 4653550 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/4148/statm: 525924 68076 461 189 0 520273 0
[pid=4148/tid=4150] ppid=4146 vsize=2103696 CPUtime=1.63 cores=0-31
/proc/4148/task/4150/stat : 4150 (claspmt) R 4146 4148 4118 0 -1 4202560 2005 0 0 0 144 19 0 0 17 0 32 0 37339141 2154184704 68077 270582939648 4194304 4964800 140734999668144 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=4148/tid=4151] ppid=4146 vsize=2103696 CPUtime=1.6 cores=0-31
/proc/4148/task/4151/stat : 4151 (claspmt) R 4146 4148 4118 0 -1 4202560 2759 0 0 0 143 17 0 0 17 0 32 0 37339141 2154184704 68077 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=4148/tid=4152] ppid=4146 vsize=2103696 CPUtime=1.61 cores=0-31
/proc/4148/task/4152/stat : 4152 (claspmt) D 4146 4148 4118 0 -1 4202560 2570 0 0 0 145 16 0 0 17 0 32 0 37339141 2154184704 68077 270582939648 4194304 4964800 140734999668144 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=4148/tid=4153] ppid=4146 vsize=2103696 CPUtime=1.58 cores=0-31
/proc/4148/task/4153/stat : 4153 (claspmt) R 4146 4148 4118 0 -1 4202560 2053 0 0 0 139 19 0 0 17 0 32 0 37339141 2154184704 68077 270582939648 4194304 4964800 140734999668144 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=4148/tid=4154] ppid=4146 vsize=2103696 CPUtime=1.84 cores=0-31
/proc/4148/task/4154/stat : 4154 (claspmt) R 4146 4148 4118 0 -1 4202560 2068 0 0 0 168 16 0 0 20 0 32 0 37339141 2154184704 68078 270582939648 4194304 4964800 140734999668144 18446744073709551615 4399292 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=4148/tid=4155] ppid=4146 vsize=2103696 CPUtime=1.63 cores=0-31
/proc/4148/task/4155/stat : 4155 (claspmt) R 4146 4148 4118 0 -1 4202560 2311 0 0 0 144 19 0 0 17 0 32 0 37339141 2154184704 68078 270582939648 4194304 4964800 140734999668144 18446744073709551615 4668817 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4148/tid=4156] ppid=4146 vsize=2103696 CPUtime=1.6 cores=0-31
/proc/4148/task/4156/stat : 4156 (claspmt) R 4146 4148 4118 0 -1 4202560 2603 0 0 0 142 18 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=4148/tid=4157] ppid=4146 vsize=2103696 CPUtime=1.6 cores=0-31
/proc/4148/task/4157/stat : 4157 (claspmt) R 4146 4148 4118 0 -1 4202560 2065 0 0 0 144 16 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=4148/tid=4158] ppid=4146 vsize=2103696 CPUtime=1.58 cores=0-31
/proc/4148/task/4158/stat : 4158 (claspmt) R 4146 4148 4118 0 -1 4202560 2088 0 0 0 143 15 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=4148/tid=4159] ppid=4146 vsize=2103696 CPUtime=1.62 cores=0-31
/proc/4148/task/4159/stat : 4159 (claspmt) R 4146 4148 4118 0 -1 4202560 2570 0 0 0 144 18 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=4148/tid=4160] ppid=4146 vsize=2103696 CPUtime=1.63 cores=0-31
/proc/4148/task/4160/stat : 4160 (claspmt) R 4146 4148 4118 0 -1 4202560 2651 0 0 0 144 19 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4148/tid=4161] ppid=4146 vsize=2103696 CPUtime=1.59 cores=0-31
/proc/4148/task/4161/stat : 4161 (claspmt) R 4146 4148 4118 0 -1 4202560 2177 0 0 0 144 15 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=4148/tid=4162] ppid=4146 vsize=2103696 CPUtime=1.88 cores=0-31
/proc/4148/task/4162/stat : 4162 (claspmt) R 4146 4148 4118 0 -1 4202560 2084 0 0 0 172 16 0 0 20 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4402867 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=4148/tid=4163] ppid=4146 vsize=2103696 CPUtime=1.61 cores=0-31
/proc/4148/task/4163/stat : 4163 (claspmt) R 4146 4148 4118 0 -1 4202560 2443 0 0 0 144 17 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4675677 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=4148/tid=4164] ppid=4146 vsize=2103696 CPUtime=1.6 cores=0-31
/proc/4148/task/4164/stat : 4164 (claspmt) R 4146 4148 4118 0 -1 4202560 2422 0 0 0 142 18 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=4148/tid=4165] ppid=4146 vsize=2103696 CPUtime=1.6 cores=0-31
/proc/4148/task/4165/stat : 4165 (claspmt) R 4146 4148 4118 0 -1 4202560 2134 0 0 0 144 16 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4370266 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4148/tid=4166] ppid=4146 vsize=2103696 CPUtime=1.6 cores=0-31
/proc/4148/task/4166/stat : 4166 (claspmt) R 4146 4148 4118 0 -1 4202560 2000 0 0 0 144 16 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4371537 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4148/tid=4167] ppid=4146 vsize=2103696 CPUtime=1.6 cores=0-31
/proc/4148/task/4167/stat : 4167 (claspmt) R 4146 4148 4118 0 -1 4202560 2503 0 0 0 144 16 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=4148/tid=4168] ppid=4146 vsize=2103696 CPUtime=1.6 cores=0-31
/proc/4148/task/4168/stat : 4168 (claspmt) R 4146 4148 4118 0 -1 4202560 2633 0 0 0 142 18 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4660449 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=4148/tid=4169] ppid=4146 vsize=2103696 CPUtime=1.58 cores=0-31
/proc/4148/task/4169/stat : 4169 (claspmt) R 4146 4148 4118 0 -1 4202560 2096 0 0 0 144 14 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4668607 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=4148/tid=4170] ppid=4146 vsize=2103696 CPUtime=1.92 cores=0-31
/proc/4148/task/4170/stat : 4170 (claspmt) R 4146 4148 4118 0 -1 4202560 2017 0 0 0 177 15 0 0 20 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=4148/tid=4171] ppid=4146 vsize=2103696 CPUtime=1.6 cores=0-31
/proc/4148/task/4171/stat : 4171 (claspmt) R 4146 4148 4118 0 -1 4202560 2493 0 0 0 141 19 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4148/tid=4172] ppid=4146 vsize=2103696 CPUtime=1.6 cores=0-31
/proc/4148/task/4172/stat : 4172 (claspmt) R 4146 4148 4118 0 -1 4202560 2637 0 0 0 144 16 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4365699 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=4148/tid=4173] ppid=4146 vsize=2103696 CPUtime=1.58 cores=0-31
/proc/4148/task/4173/stat : 4173 (claspmt) R 4146 4148 4118 0 -1 4202560 2102 0 0 0 144 14 0 0 17 0 32 0 37339141 2154184704 68081 270582939648 4194304 4964800 140734999668144 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=4148/tid=4174] ppid=4146 vsize=2103696 CPUtime=1.61 cores=0-31
/proc/4148/task/4174/stat : 4174 (claspmt) R 4146 4148 4118 0 -1 4202560 2109 0 0 0 145 16 0 0 17 0 32 0 37339141 2154184704 68082 270582939648 4194304 4964800 140734999668144 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=4148/tid=4175] ppid=4146 vsize=2103696 CPUtime=1.61 cores=0-31
/proc/4148/task/4175/stat : 4175 (claspmt) R 4146 4148 4118 0 -1 4202560 2534 0 0 0 144 17 0 0 17 0 32 0 37339141 2154184704 68083 270582939648 4194304 4964800 140734999668144 18446744073709551615 4668920 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=4148/tid=4176] ppid=4146 vsize=2103696 CPUtime=1.6 cores=0-31
/proc/4148/task/4176/stat : 4176 (claspmt) R 4146 4148 4118 0 -1 4202560 2591 0 0 0 143 17 0 0 17 0 32 0 37339141 2154184704 68083 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670674 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=4148/tid=4177] ppid=4146 vsize=2103696 CPUtime=1.58 cores=0-31
/proc/4148/task/4177/stat : 4177 (claspmt) R 4146 4148 4118 0 -1 4202560 2126 0 0 0 143 15 0 0 17 0 32 0 37339142 2154184704 68083 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=4148/tid=4178] ppid=4146 vsize=2103696 CPUtime=1.87 cores=0-31
/proc/4148/task/4178/stat : 4178 (claspmt) R 4146 4148 4118 0 -1 4202560 2012 0 0 0 172 15 0 0 20 0 32 0 37339142 2154184704 68083 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=4148/tid=4179] ppid=4146 vsize=2103696 CPUtime=1.62 cores=0-31

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

[pid=4148/tid=4157] ppid=4146 vsize=6029388 CPUtime=4958.89 cores=0-31
/proc/4148/task/4157/stat : 4157 (claspmt) R 4146 4148 4118 0 -1 4202560 28874 0 0 0 495766 123 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=4148/tid=4158] ppid=4146 vsize=6029388 CPUtime=4959.35 cores=0-31
/proc/4148/task/4158/stat : 4158 (claspmt) R 4146 4148 4118 0 -1 4202560 18679 0 0 0 495867 68 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4362287 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=4148/tid=4159] ppid=4146 vsize=6029388 CPUtime=4959.57 cores=0-31
/proc/4148/task/4159/stat : 4159 (claspmt) R 4146 4148 4118 0 -1 4202560 43980 0 0 0 495785 172 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=4148/tid=4160] ppid=4146 vsize=6029388 CPUtime=4959.47 cores=0-31
/proc/4148/task/4160/stat : 4160 (claspmt) R 4146 4148 4118 0 -1 4202560 29133 0 0 0 495817 130 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4363327 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4148/tid=4161] ppid=4146 vsize=6029388 CPUtime=4959.49 cores=0-31
/proc/4148/task/4161/stat : 4161 (claspmt) R 4146 4148 4118 0 -1 4202560 35089 0 0 0 495804 145 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=4148/tid=4162] ppid=4146 vsize=6029388 CPUtime=4959.8 cores=0-31
/proc/4148/task/4162/stat : 4162 (claspmt) R 4146 4148 4118 0 -1 4202560 31496 0 0 0 495848 132 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=4148/tid=4163] ppid=4146 vsize=6029388 CPUtime=4958.86 cores=0-31
/proc/4148/task/4163/stat : 4163 (claspmt) R 4146 4148 4118 0 -1 4202560 24532 0 0 0 495788 98 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4321023 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=4148/tid=4164] ppid=4146 vsize=6029388 CPUtime=4959.17 cores=0-31
/proc/4148/task/4164/stat : 4164 (claspmt) R 4146 4148 4118 0 -1 4202560 111835 0 0 0 495478 439 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=4148/tid=4165] ppid=4146 vsize=6029388 CPUtime=4958.35 cores=0-31
/proc/4148/task/4165/stat : 4165 (claspmt) R 4146 4148 4118 0 -1 4202560 19005 0 0 0 495694 141 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4148/tid=4166] ppid=4146 vsize=6029388 CPUtime=4924.72 cores=0-31
/proc/4148/task/4166/stat : 4166 (claspmt) R 4146 4148 4118 0 -1 4202560 20327 0 0 0 492390 82 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=4148/tid=4167] ppid=4146 vsize=6029388 CPUtime=4926.09 cores=0-31
/proc/4148/task/4167/stat : 4167 (claspmt) R 4146 4148 4118 0 -1 4202560 49510 0 0 0 492410 199 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=4148/tid=4168] ppid=4146 vsize=6029388 CPUtime=4949.82 cores=0-31
/proc/4148/task/4168/stat : 4168 (claspmt) R 4146 4148 4118 0 -1 4202560 26745 0 0 0 494861 121 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=4148/tid=4169] ppid=4146 vsize=6029388 CPUtime=4944.53 cores=0-31
/proc/4148/task/4169/stat : 4169 (claspmt) R 4146 4148 4118 0 -1 4202560 38258 0 0 0 494287 166 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=4148/tid=4170] ppid=4146 vsize=6029388 CPUtime=4959.83 cores=0-31
/proc/4148/task/4170/stat : 4170 (claspmt) R 4146 4148 4118 0 -1 4202560 29751 0 0 0 495861 122 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=4148/tid=4171] ppid=4146 vsize=6029388 CPUtime=4958.95 cores=0-31
/proc/4148/task/4171/stat : 4171 (claspmt) R 4146 4148 4118 0 -1 4202560 30362 0 0 0 495773 122 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=4148/tid=4172] ppid=4146 vsize=6029388 CPUtime=4958.47 cores=0-31
/proc/4148/task/4172/stat : 4172 (claspmt) R 4146 4148 4118 0 -1 4202560 136202 0 0 0 495352 495 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4148/tid=4173] ppid=4146 vsize=6029388 CPUtime=4959.47 cores=0-31
/proc/4148/task/4173/stat : 4173 (claspmt) R 4146 4148 4118 0 -1 4202560 22939 0 0 0 495838 109 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=4148/tid=4174] ppid=4146 vsize=6029388 CPUtime=4950.37 cores=0-31
/proc/4148/task/4174/stat : 4174 (claspmt) R 4146 4148 4118 0 -1 4202560 17927 0 0 0 494965 72 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4148/tid=4175] ppid=4146 vsize=6029388 CPUtime=4953.02 cores=0-31
/proc/4148/task/4175/stat : 4175 (claspmt) R 4146 4148 4118 0 -1 4202560 46914 0 0 0 495139 163 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=4148/tid=4176] ppid=4146 vsize=6029388 CPUtime=4959.49 cores=0-31
/proc/4148/task/4176/stat : 4176 (claspmt) R 4146 4148 4118 0 -1 4202560 24239 0 0 0 495846 103 0 0 25 0 32 0 37339141 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=4148/tid=4177] ppid=4146 vsize=6029388 CPUtime=4959.43 cores=0-31
/proc/4148/task/4177/stat : 4177 (claspmt) R 4146 4148 4118 0 -1 4202560 38455 0 0 0 495794 149 0 0 25 0 32 0 37339142 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=4148/tid=4178] ppid=4146 vsize=6029388 CPUtime=4959.78 cores=0-31
/proc/4148/task/4178/stat : 4178 (claspmt) R 4146 4148 4118 0 -1 4202560 26206 0 0 0 495870 108 0 0 25 0 32 0 37339142 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=4148/tid=4179] ppid=4146 vsize=6029388 CPUtime=4959.56 cores=0-31
/proc/4148/task/4179/stat : 4179 (claspmt) R 4146 4148 4118 0 -1 4202560 20810 0 0 0 495862 94 0 0 25 0 32 0 37339142 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4321093 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=4148/tid=4180] ppid=4146 vsize=6029388 CPUtime=4959.24 cores=0-31
/proc/4148/task/4180/stat : 4180 (claspmt) R 4146 4148 4118 0 -1 4202560 110709 0 0 0 495463 461 0 0 25 0 32 0 37339142 6174093312 1288508 270582939648 4194304 4964800 140734999668144 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 158559
Current children cumulated vsize (KiB) 6029388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5007.4 s]
/proc/loadavg: 32.13 32.16 32.09 33/445 4329
/proc/meminfo: memFree=256974272/264257624 swapFree=67111528/67111528
[pid=4148] ppid=4146 vsize=6035660 CPUtime=160001 cores=0-31
/proc/4148/stat : 4148 (claspmt) R 4146 4148 4118 0 -1 4202496 1325368 0 0 0 15994642 5414 0 0 25 0 32 0 37339054 6180515840 1297308 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 26 0 0 0
/proc/4148/statm: 1508915 1297308 463 189 0 1503264 0
[pid=4148/tid=4150] ppid=4146 vsize=6035660 CPUtime=5004.28 cores=0-31
/proc/4148/task/4150/stat : 4150 (claspmt) R 4146 4148 4118 0 -1 4202560 19860 0 0 0 500350 78 0 0 25 0 32 0 37339141 6180515840 1297316 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=4148/tid=4151] ppid=4146 vsize=6035660 CPUtime=5004.59 cores=0-31
/proc/4148/task/4151/stat : 4151 (claspmt) R 4146 4148 4118 0 -1 4202560 41022 0 0 0 500312 147 0 0 25 0 32 0 37339141 6180515840 1297316 270582939648 4194304 4964800 140734999668144 18446744073709551615 4650578 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=4148/tid=4152] ppid=4146 vsize=6035660 CPUtime=4988.88 cores=0-31
/proc/4148/task/4152/stat : 4152 (claspmt) R 4146 4148 4118 0 -1 4202560 29490 0 0 0 498762 126 0 0 25 0 32 0 37339141 6180515840 1297316 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=4148/tid=4153] ppid=4146 vsize=6035660 CPUtime=4987.49 cores=0-31
/proc/4148/task/4153/stat : 4153 (claspmt) R 4146 4148 4118 0 -1 4202560 36704 0 0 0 498588 161 0 0 25 0 32 0 37339141 6180515840 1297316 270582939648 4194304 4964800 140734999668144 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=4148/tid=4154] ppid=4146 vsize=6035660 CPUtime=5004.87 cores=0-31
/proc/4148/task/4154/stat : 4154 (claspmt) R 4146 4148 4118 0 -1 4202560 35568 0 0 0 500341 146 0 0 25 0 32 0 37339141 6180515840 1297316 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=4148/tid=4155] ppid=4146 vsize=6035660 CPUtime=5004.65 cores=0-31
/proc/4148/task/4155/stat : 4155 (claspmt) R 4146 4148 4118 0 -1 4202560 29520 0 0 0 500333 132 0 0 25 0 32 0 37339141 6180515840 1297316 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=4148/tid=4156] ppid=4146 vsize=6035660 CPUtime=5004.61 cores=0-31
/proc/4148/task/4156/stat : 4156 (claspmt) R 4146 4148 4118 0 -1 4202560 111533 0 0 0 499997 464 0 0 25 0 32 0 37339141 6180515840 1297316 270582939648 4194304 4964800 140734999668144 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=4148/tid=4157] ppid=4146 vsize=6035660 CPUtime=5004 cores=0-31
/proc/4148/task/4157/stat : 4157 (claspmt) R 4146 4148 4118 0 -1 4202560 28874 0 0 0 500277 123 0 0 25 0 32 0 37339141 6180515840 1297316 270582939648 4194304 4964800 140734999668144 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=4148/tid=4158] ppid=4146 vsize=6035660 CPUtime=5004.46 cores=0-31
/proc/4148/task/4158/stat : 4158 (claspmt) R 4146 4148 4118 0 -1 4202560 18688 0 0 0 500378 68 0 0 25 0 32 0 37339141 6180515840 1297316 270582939648 4194304 4964800 140734999668144 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=4148/tid=4159] ppid=4146 vsize=6035660 CPUtime=5004.7 cores=0-31
/proc/4148/task/4159/stat : 4159 (claspmt) R 4146 4148 4118 0 -1 4202560 44011 0 0 0 500297 173 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=4148/tid=4160] ppid=4146 vsize=6035660 CPUtime=5004.59 cores=0-31
/proc/4148/task/4160/stat : 4160 (claspmt) R 4146 4148 4118 0 -1 4202560 29320 0 0 0 500328 131 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670546 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=4148/tid=4161] ppid=4146 vsize=6035660 CPUtime=5004.61 cores=0-31
/proc/4148/task/4161/stat : 4161 (claspmt) R 4146 4148 4118 0 -1 4202560 35158 0 0 0 500316 145 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4669696 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=4148/tid=4162] ppid=4146 vsize=6035660 CPUtime=5004.91 cores=0-31
/proc/4148/task/4162/stat : 4162 (claspmt) R 4146 4148 4118 0 -1 4202560 31496 0 0 0 500359 132 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=4148/tid=4163] ppid=4146 vsize=6035660 CPUtime=5003.98 cores=0-31
/proc/4148/task/4163/stat : 4163 (claspmt) R 4146 4148 4118 0 -1 4202560 24572 0 0 0 500300 98 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=4148/tid=4164] ppid=4146 vsize=6035660 CPUtime=5004.26 cores=0-31
/proc/4148/task/4164/stat : 4164 (claspmt) R 4146 4148 4118 0 -1 4202560 112242 0 0 0 499986 440 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=4148/tid=4165] ppid=4146 vsize=6035660 CPUtime=5003.45 cores=0-31
/proc/4148/task/4165/stat : 4165 (claspmt) R 4146 4148 4118 0 -1 4202560 19544 0 0 0 500200 145 0 0 21 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=4148/tid=4166] ppid=4146 vsize=6035660 CPUtime=4969.81 cores=0-31
/proc/4148/task/4166/stat : 4166 (claspmt) R 4146 4148 4118 0 -1 4202560 20787 0 0 0 496898 83 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4332000 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=4148/tid=4167] ppid=4146 vsize=6035660 CPUtime=4971.19 cores=0-31
/proc/4148/task/4167/stat : 4167 (claspmt) R 4146 4148 4118 0 -1 4202560 49957 0 0 0 496919 200 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4669507 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=4148/tid=4168] ppid=4146 vsize=6035660 CPUtime=4994.94 cores=0-31
/proc/4148/task/4168/stat : 4168 (claspmt) R 4146 4148 4118 0 -1 4202560 26914 0 0 0 499372 122 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4320864 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=4148/tid=4169] ppid=4146 vsize=6035660 CPUtime=4988.35 cores=0-31
/proc/4148/task/4169/stat : 4169 (claspmt) R 4146 4148 4118 0 -1 4202560 38737 0 0 0 498667 168 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=4148/tid=4170] ppid=4146 vsize=6035660 CPUtime=5004.94 cores=0-31
/proc/4148/task/4170/stat : 4170 (claspmt) R 4146 4148 4118 0 -1 4202560 29751 0 0 0 500372 122 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4669140 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=4148/tid=4171] ppid=4146 vsize=6035660 CPUtime=5004.05 cores=0-31
/proc/4148/task/4171/stat : 4171 (claspmt) R 4146 4148 4118 0 -1 4202560 30363 0 0 0 500283 122 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4669535 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=4148/tid=4172] ppid=4146 vsize=6035660 CPUtime=5003.58 cores=0-31
/proc/4148/task/4172/stat : 4172 (claspmt) R 4146 4148 4118 0 -1 4202560 136865 0 0 0 499861 497 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=4148/tid=4173] ppid=4146 vsize=6035660 CPUtime=5004.58 cores=0-31
/proc/4148/task/4173/stat : 4173 (claspmt) R 4146 4148 4118 0 -1 4202560 23451 0 0 0 500347 111 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=4148/tid=4174] ppid=4146 vsize=6035660 CPUtime=4995.48 cores=0-31
/proc/4148/task/4174/stat : 4174 (claspmt) R 4146 4148 4118 0 -1 4202560 17941 0 0 0 499476 72 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=4148/tid=4175] ppid=4146 vsize=6035660 CPUtime=4998.11 cores=0-31
/proc/4148/task/4175/stat : 4175 (claspmt) R 4146 4148 4118 0 -1 4202560 47890 0 0 0 499644 167 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=4148/tid=4176] ppid=4146 vsize=6035660 CPUtime=5004.6 cores=0-31
/proc/4148/task/4176/stat : 4176 (claspmt) R 4146 4148 4118 0 -1 4202560 24547 0 0 0 500357 103 0 0 25 0 32 0 37339141 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=4148/tid=4177] ppid=4146 vsize=6035660 CPUtime=5004.54 cores=0-31
/proc/4148/task/4177/stat : 4177 (claspmt) R 4146 4148 4118 0 -1 4202560 38460 0 0 0 500305 149 0 0 25 0 32 0 37339142 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=4148/tid=4178] ppid=4146 vsize=6035660 CPUtime=5004.88 cores=0-31
/proc/4148/task/4178/stat : 4178 (claspmt) R 4146 4148 4118 0 -1 4202560 26462 0 0 0 500379 109 0 0 25 0 32 0 37339142 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670020 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=4148/tid=4179] ppid=4146 vsize=6035660 CPUtime=5004.67 cores=0-31
/proc/4148/task/4179/stat : 4179 (claspmt) R 4146 4148 4118 0 -1 4202560 20840 0 0 0 500373 94 0 0 25 0 32 0 37339142 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=4148/tid=4180] ppid=4146 vsize=6035660 CPUtime=5004.35 cores=0-31
/proc/4148/task/4180/stat : 4180 (claspmt) R 4146 4148 4118 0 -1 4202560 110730 0 0 0 499974 461 0 0 25 0 32 0 37339142 6180515840 1297317 270582939648 4194304 4964800 140734999668144 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 6035660

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -4148

Solver just ended. Dumping a history of the last processes samples

[startup+5007.9 s]
/proc/loadavg: 32.13 32.16 32.09 33/445 4329
/proc/meminfo: memFree=256974272/264257624 swapFree=67111528/67111528
[pid=4148] ppid=4146 vsize=5925376 CPUtime=160002 cores=0-31
/proc/4148/stat : 4148 (claspmt) R 4146 4148 4118 0 -1 4202496 1325390 0 0 0 15994737 5414 0 0 25 0 1 0 37339054 6067585024 1292097 270582939648 4194304 4964800 140734999668144 18446744073709551615 258650611899 0 0 4096 18946 0 0 0 17 26 0 0 0
/proc/4148/statm: 1481344 1292097 474 189 0 1475693 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 5925376

[startup+5008.7 s]
/proc/loadavg: 29.64 31.64 31.92 2/415 4330
/proc/meminfo: memFree=257006752/264257624 swapFree=67111528/67111528
[pid=4148] ppid=4146 vsize=5897376 CPUtime=160002 cores=0-31
/proc/4148/stat : 4148 (claspmt) R 4146 4148 4118 0 -1 4202496 1325390 0 0 0 15994816 5414 0 0 25 0 1 0 37339054 6038913024 1284964 270582939648 4194304 4964800 140734999668144 18446744073709551615 258650604748 0 0 4096 18946 0 0 0 17 26 0 0 0
/proc/4148/statm: 1474344 1284964 474 189 0 1468693 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 5897376

[startup+5009.53 s]
/proc/loadavg: 29.64 31.64 31.92 2/415 4330
/proc/meminfo: memFree=257048076/264257624 swapFree=67111528/67111528
[pid=4148] ppid=4146 vsize=0 CPUtime=160003 cores=0-31
/proc/4148/stat : 4148 (claspmt) R 4146 4148 4118 0 -1 4203524 1325390 0 0 0 15994889 5425 0 0 25 0 1 0 37339054 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 26 0 0 0
/proc/4148/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5009.7 s]
/proc/loadavg: 29.64 31.64 31.92 2/415 4330
/proc/meminfo: memFree=257048076/264257624 swapFree=67111528/67111528
[pid=4148] ppid=4146 vsize=0 CPUtime=160003 cores=0-31
/proc/4148/stat : 4148 (claspmt) R 4146 4148 4118 0 -1 4203524 1325390 0 0 0 15994889 5442 0 0 25 0 1 0 37339054 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 26 0 0 0
/proc/4148/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 5009.75
CPU time (s): 160003
CPU user time (s): 159949
CPU system time (s): 54.4727
CPU usage (%): 3193.84
Max. virtual memory (cumulated for all children) (KiB): 6035660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159949
system time used= 54.4727
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1325390
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= 363651
involuntary context switches= 408537

runsolver used 28.1937 second user time and 113.346 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-10 17:25:22
IDJOB=3472467
IDBENCH=83135
IDSOLVER=1961
FILE ID=node200/3472467-1307719521
RUNJOBID= node200-1307719521-4132
PBS_JOBID= 13549547
Free space on /tmp= 61740 MiB

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

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

MD5SUM BENCH= e6407843d1fbd00b68d4ad600a25dfb2
RANDOM SEED=477384784

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:      262166092 kB
Buffers:        272260 kB
Cached:        1503440 kB
SwapCached:          0 kB
Active:         292328 kB
Inactive:      1546876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262166092 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3628 kB
Writeback:           0 kB
AnonPages:       65376 kB
Mapped:          13752 kB
Slab:           172872 kB
PageTables:       5348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   167108 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 18:48:52