Trace number 3472312

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) 160004 5009.72

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
MD5SUM49867705b76fc90285dd6fc48de2613c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark74749.9
Satisfiable
(Un)Satisfiability was proved
Number of variables69561
Number of clauses226787
Sum of the clauses size587727
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292376
Number of clauses of size 3134282
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...464666/instance-3472312-1307464666.cnf
0.89/0.98	c Solving...
160001.36/5007.53	
160001.36/5007.53	*** INTERRUPTED! ***
160001.36/5007.53	*** 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-3472312-1307464666/watcher-3472312-1307464666 -o /tmp/evaluation-result-3472312-1307464666/solver-3472312-1307464666 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472312-1307464666.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.60 31.65 31.92 1/413 16136
/proc/meminfo: memFree=263348744/264257624 swapFree=67111528/67111528
[pid=16136] ppid=16134 vsize=29728 CPUtime=0.03 cores=0-31
/proc/16136/stat : 16136 (claspmt) R 16134 16136 16110 0 -1 4202496 2401 0 0 0 3 0 0 0 20 0 1 0 11853506 30441472 2330 270582939648 4194304 4964800 140737309989168 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/16136/statm: 7432 2334 373 189 0 2306 0

[startup+0.127004 s]
/proc/loadavg: 29.60 31.65 31.92 1/413 16136
/proc/meminfo: memFree=263348744/264257624 swapFree=67111528/67111528
[pid=16136] ppid=16134 vsize=39708 CPUtime=0.11 cores=0-31
/proc/16136/stat : 16136 (claspmt) R 16134 16136 16110 0 -1 4202496 6117 0 0 0 10 1 0 0 21 0 1 0 11853506 40660992 5030 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/16136/statm: 9927 5031 386 189 0 4801 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 39708

[startup+0.201018 s]
/proc/loadavg: 29.60 31.65 31.92 1/413 16136
/proc/meminfo: memFree=263348744/264257624 swapFree=67111528/67111528
[pid=16136] ppid=16134 vsize=44472 CPUtime=0.18 cores=0-31
/proc/16136/stat : 16136 (claspmt) R 16134 16136 16110 0 -1 4202496 7629 0 0 0 17 1 0 0 21 0 1 0 11853506 45539328 6271 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/16136/statm: 11118 6272 386 189 0 5992 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 44472

[startup+0.301036 s]
/proc/loadavg: 29.60 31.65 31.92 1/413 16136
/proc/meminfo: memFree=263348744/264257624 swapFree=67111528/67111528
[pid=16136] ppid=16134 vsize=55052 CPUtime=0.29 cores=0-31
/proc/16136/stat : 16136 (claspmt) R 16134 16136 16110 0 -1 4202496 11135 0 0 0 27 2 0 0 21 0 1 0 11853506 56373248 8692 270582939648 4194304 4964800 140737309989168 18446744073709551615 4615374 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/16136/statm: 13763 8693 396 189 0 8637 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55052

[startup+0.701058 s]
/proc/loadavg: 29.60 31.65 31.92 1/413 16136
/proc/meminfo: memFree=263348744/264257624 swapFree=67111528/67111528
[pid=16136] ppid=16134 vsize=62688 CPUtime=0.69 cores=0-31
/proc/16136/stat : 16136 (claspmt) R 16134 16136 16110 0 -1 4202496 13002 0 0 0 66 3 0 0 22 0 1 0 11853506 64192512 10559 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/16136/statm: 15672 10559 401 189 0 10546 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62688

[startup+1.50301 s]
/proc/loadavg: 29.60 31.65 31.92 32/445 16168
/proc/meminfo: memFree=263235492/264257624 swapFree=67111528/67111528
[pid=16136] ppid=16134 vsize=2149084 CPUtime=7.81 cores=0-31
/proc/16136/stat : 16136 (claspmt) S 16134 16136 16110 0 -1 4202496 83532 0 0 0 143 638 0 0 18 0 32 0 11853506 2200662016 63136 270582939648 4194304 4964800 140737309989168 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/16136/statm: 537271 63139 431 189 0 531620 0
[pid=16136/tid=16138] ppid=16134 vsize=2149084 CPUtime=0.23 cores=0-31
/proc/16136/task/16138/stat : 16138 (claspmt) D 16134 16136 16110 0 -1 4202560 1639 0 0 0 1 22 0 0 18 0 32 0 11853604 2200662016 63140 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=16136/tid=16139] ppid=16134 vsize=2149084 CPUtime=0.21 cores=0-31
/proc/16136/task/16139/stat : 16139 (claspmt) R 16134 16136 16110 0 -1 4202560 2385 0 0 0 1 20 0 0 18 0 32 0 11853604 2200662016 63152 270582939648 4194304 4964800 140737309989168 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=16136/tid=16140] ppid=16134 vsize=2149084 CPUtime=0.23 cores=0-31
/proc/16136/task/16140/stat : 16140 (claspmt) D 16134 16136 16110 0 -1 4202560 1891 0 0 0 1 22 0 0 18 0 32 0 11853604 2200662016 63155 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=16136/tid=16141] ppid=16134 vsize=2149084 CPUtime=0.23 cores=0-31
/proc/16136/task/16141/stat : 16141 (claspmt) R 16134 16136 16110 0 -1 4202560 2325 0 0 0 2 21 0 0 18 0 32 0 11853604 2200662016 63156 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616986 0 0 4096 18946 266240 0 0 -1 4 0 0 0
[pid=16136/tid=16142] ppid=16134 vsize=2149084 CPUtime=0.23 cores=0-31
/proc/16136/task/16142/stat : 16142 (claspmt) D 16134 16136 16110 0 -1 4202560 2301 0 0 0 2 21 0 0 18 0 32 0 11853604 2200662016 63157 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=16136/tid=16143] ppid=16134 vsize=2149084 CPUtime=0.21 cores=0-31
/proc/16136/task/16143/stat : 16143 (claspmt) D 16134 16136 16110 0 -1 4202560 2652 0 0 0 2 19 0 0 18 0 32 0 11853604 2200662016 63165 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=16136/tid=16144] ppid=16134 vsize=2149084 CPUtime=0.21 cores=0-31
/proc/16136/task/16144/stat : 16144 (claspmt) D 16134 16136 16110 0 -1 4202560 2492 0 0 0 1 20 0 0 18 0 32 0 11853604 2200662016 63167 270582939648 4194304 4964800 140737309989168 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=16136/tid=16145] ppid=16134 vsize=2149084 CPUtime=0.21 cores=0-31
/proc/16136/task/16145/stat : 16145 (claspmt) D 16134 16136 16110 0 -1 4202560 2193 0 0 0 1 20 0 0 18 0 32 0 11853604 2200662016 63174 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=16136/tid=16146] ppid=16134 vsize=2149084 CPUtime=0.23 cores=0-31
/proc/16136/task/16146/stat : 16146 (claspmt) D 16134 16136 16110 0 -1 4202560 2163 0 0 0 1 22 0 0 18 0 32 0 11853604 2200662016 63183 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=16136/tid=16147] ppid=16134 vsize=2149084 CPUtime=0.21 cores=0-31
/proc/16136/task/16147/stat : 16147 (claspmt) D 16134 16136 16110 0 -1 4202560 2327 0 0 0 0 21 0 0 18 0 32 0 11853604 2200662016 63185 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=16136/tid=16148] ppid=16134 vsize=2149084 CPUtime=0.22 cores=0-31
/proc/16136/task/16148/stat : 16148 (claspmt) R 16134 16136 16110 0 -1 4202560 2246 0 0 0 1 21 0 0 18 0 32 0 11853604 2200662016 63190 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=16136/tid=16149] ppid=16134 vsize=2149084 CPUtime=0.22 cores=0-31
/proc/16136/task/16149/stat : 16149 (claspmt) R 16134 16136 16110 0 -1 4202560 2322 0 0 0 1 21 0 0 18 0 32 0 11853604 2200662016 63194 270582939648 4194304 4964800 140737309989168 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=16136/tid=16150] ppid=16134 vsize=2149084 CPUtime=0.2 cores=0-31
/proc/16136/task/16150/stat : 16150 (claspmt) D 16134 16136 16110 0 -1 4202560 2419 0 0 0 2 18 0 0 18 0 32 0 11853604 2200662016 63199 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=16136/tid=16151] ppid=16134 vsize=2149084 CPUtime=0.18 cores=0-31
/proc/16136/task/16151/stat : 16151 (claspmt) D 16134 16136 16110 0 -1 4202560 2272 0 0 0 1 17 0 0 18 0 32 0 11853604 2200662016 63199 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=16136/tid=16152] ppid=16134 vsize=2149084 CPUtime=0.2 cores=0-31
/proc/16136/task/16152/stat : 16152 (claspmt) D 16134 16136 16110 0 -1 4202560 2387 0 0 0 0 20 0 0 18 0 32 0 11853604 2200662016 63203 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=16136/tid=16153] ppid=16134 vsize=2149084 CPUtime=0.2 cores=0-31
/proc/16136/task/16153/stat : 16153 (claspmt) D 16134 16136 16110 0 -1 4202560 1787 0 0 0 1 19 0 0 18 0 32 0 11853604 2200662016 63206 270582939648 4194304 4964800 140737309989168 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=16136/tid=16154] ppid=16134 vsize=2149084 CPUtime=0.21 cores=0-31
/proc/16136/task/16154/stat : 16154 (claspmt) D 16134 16136 16110 0 -1 4202560 2339 0 0 0 2 19 0 0 18 0 32 0 11853604 2200662016 63209 270582939648 4194304 4964800 140737309989168 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=16136/tid=16155] ppid=16134 vsize=2149084 CPUtime=0.21 cores=0-31
/proc/16136/task/16155/stat : 16155 (claspmt) R 16134 16136 16110 0 -1 4202560 2506 0 0 0 1 20 0 0 18 0 32 0 11853604 2200662016 63214 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=16136/tid=16156] ppid=16134 vsize=2149084 CPUtime=0.18 cores=0-31
/proc/16136/task/16156/stat : 16156 (claspmt) D 16134 16136 16110 0 -1 4202560 2030 0 0 0 0 18 0 0 18 0 32 0 11853604 2200662016 63222 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=16136/tid=16157] ppid=16134 vsize=2149084 CPUtime=0.2 cores=0-31
/proc/16136/task/16157/stat : 16157 (claspmt) R 16134 16136 16110 0 -1 4202560 2157 0 0 0 1 19 0 0 18 0 32 0 11853604 2200662016 63229 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=16136/tid=16158] ppid=16134 vsize=2149084 CPUtime=0.2 cores=0-31
/proc/16136/task/16158/stat : 16158 (claspmt) D 16134 16136 16110 0 -1 4202560 2177 0 0 0 1 19 0 0 18 0 32 0 11853604 2200662016 63232 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=16136/tid=16159] ppid=16134 vsize=2149084 CPUtime=0.21 cores=0-31
/proc/16136/task/16159/stat : 16159 (claspmt) D 16134 16136 16110 0 -1 4202560 2308 0 0 0 1 20 0 0 18 0 32 0 11853604 2200662016 63236 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=16136/tid=16160] ppid=16134 vsize=2149084 CPUtime=0.22 cores=0-31
/proc/16136/task/16160/stat : 16160 (claspmt) D 16134 16136 16110 0 -1 4202560 2572 0 0 0 1 21 0 0 18 0 32 0 11853605 2200662016 63239 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=16136/tid=16161] ppid=16134 vsize=2149084 CPUtime=0.22 cores=0-31
/proc/16136/task/16161/stat : 16161 (claspmt) D 16134 16136 16110 0 -1 4202560 2093 0 0 0 1 21 0 0 18 0 32 0 11853605 2200662016 63239 270582939648 4194304 4964800 140737309989168 18446744073709551615 4697753 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=16136/tid=16162] ppid=16134 vsize=2149084 CPUtime=0.21 cores=0-31
/proc/16136/task/16162/stat : 16162 (claspmt) D 16134 16136 16110 0 -1 4202560 2344 0 0 0 2 19 0 0 18 0 32 0 11853605 2200662016 63245 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=16136/tid=16163] ppid=16134 vsize=2149084 CPUtime=0.21 cores=0-31
/proc/16136/task/16163/stat : 16163 (claspmt) D 16134 16136 16110 0 -1 4202560 2257 0 0 0 1 20 0 0 18 0 32 0 11853605 2200662016 63245 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=16136/tid=16164] ppid=16134 vsize=2149084 CPUtime=0.19 cores=0-31
/proc/16136/task/16164/stat : 16164 (claspmt) D 16134 16136 16110 0 -1 4202560 2345 0 0 0 1 18 0 0 18 0 32 0 11853605 2200662016 63248 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=16136/tid=16165] ppid=16134 vsize=2149084 CPUtime=0.21 cores=0-31
/proc/16136/task/16165/stat : 16165 (claspmt) D 16134 16136 16110 0 -1 4202560 1771 0 0 0 0 21 0 0 18 0 32 0 11853605 2200662016 63251 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=16136/tid=16166] ppid=16134 vsize=2149084 CPUtime=0.22 cores=0-31
/proc/16136/task/16166/stat : 16166 (claspmt) D 16134 16136 16110 0 -1 4202560 1816 0 0 0 1 21 0 0 18 0 32 0 11853605 2200662016 63253 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=16136/tid=16167] ppid=16134 vsize=2149084 CPUtime=0.2 cores=0-31
/proc/16136/task/16167/stat : 16167 (claspmt) D 16134 16136 16110 0 -1 4202560 2177 0 0 0 1 19 0 0 18 0 32 0 11853605 2200662016 63259 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=16136/tid=16168] ppid=16134 vsize=2149084 CPUtime=0.19 cores=0-31
/proc/16136/task/16168/stat : 16168 (claspmt) D 16134 16136 16110 0 -1 4202560 2348 0 0 0 1 18 0 0 18 0 32 0 11853605 2200662016 63260 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 7.81
Current children cumulated vsize (KiB) 2149084

[startup+3.102 s]
/proc/loadavg: 29.60 31.65 31.92 11/445 16168
/proc/meminfo: memFree=262927940/264257624 swapFree=67111528/67111528
[pid=16136] ppid=16134 vsize=2285236 CPUtime=39.11 cores=0-31
/proc/16136/stat : 16136 (claspmt) R 16134 16136 16110 0 -1 4202496 132194 0 0 0 3130 781 0 0 19 0 32 0 11853506 2340081664 111350 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/16136/statm: 571309 111350 458 189 0 565658 0
[pid=16136/tid=16138] ppid=16134 vsize=2285236 CPUtime=1.21 cores=0-31
/proc/16136/task/16138/stat : 16138 (claspmt) R 16134 16136 16110 0 -1 4202560 3467 0 0 0 94 27 0 0 17 0 32 0 11853604 2340081664 111350 270582939648 4194304 4964800 140737309989168 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=16136/tid=16139] ppid=16134 vsize=2285236 CPUtime=1.17 cores=0-31
/proc/16136/task/16139/stat : 16139 (claspmt) R 16134 16136 16110 0 -1 4202560 3768 0 0 0 93 24 0 0 16 0 32 0 11853604 2340081664 111350 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=16136/tid=16140] ppid=16134 vsize=2285236 CPUtime=1.21 cores=0-31
/proc/16136/task/16140/stat : 16140 (claspmt) R 16134 16136 16110 0 -1 4202560 4136 0 0 0 93 28 0 0 17 0 32 0 11853604 2340081664 111350 270582939648 4194304 4964800 140737309989168 18446744073709551615 4361293 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=16136/tid=16141] ppid=16134 vsize=2285236 CPUtime=1.16 cores=0-31
/proc/16136/task/16141/stat : 16141 (claspmt) R 16134 16136 16110 0 -1 4202560 3580 0 0 0 92 24 0 0 16 0 32 0 11853604 2340081664 111350 270582939648 4194304 4964800 140737309989168 18446744073709551615 4362524 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=16136/tid=16142] ppid=16134 vsize=2285236 CPUtime=1.32 cores=0-31
/proc/16136/task/16142/stat : 16142 (claspmt) R 16134 16136 16110 0 -1 4202560 3723 0 0 0 109 23 0 0 18 0 32 0 11853604 2340081664 111350 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670417 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=16136/tid=16143] ppid=16134 vsize=2285236 CPUtime=1.16 cores=0-31
/proc/16136/task/16143/stat : 16143 (claspmt) R 16134 16136 16110 0 -1 4202560 4214 0 0 0 93 23 0 0 16 0 32 0 11853604 2340081664 111350 270582939648 4194304 4964800 140737309989168 18446744073709551615 4668805 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=16136/tid=16144] ppid=16134 vsize=2285236 CPUtime=1.2 cores=0-31
/proc/16136/task/16144/stat : 16144 (claspmt) R 16134 16136 16110 0 -1 4202560 4189 0 0 0 93 27 0 0 17 0 32 0 11853604 2340081664 111350 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=16136/tid=16145] ppid=16134 vsize=2285236 CPUtime=1.16 cores=0-31
/proc/16136/task/16145/stat : 16145 (claspmt) R 16134 16136 16110 0 -1 4202560 3345 0 0 0 93 23 0 0 16 0 32 0 11853604 2340081664 111351 270582939648 4194304 4964800 140737309989168 18446744073709551615 4342232 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=16136/tid=16146] ppid=16134 vsize=2285236 CPUtime=1.17 cores=0-31
/proc/16136/task/16146/stat : 16146 (claspmt) R 16134 16136 16110 0 -1 4202560 3321 0 0 0 91 26 0 0 16 0 32 0 11853604 2340081664 111351 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=16136/tid=16147] ppid=16134 vsize=2285236 CPUtime=1.19 cores=0-31
/proc/16136/task/16147/stat : 16147 (claspmt) R 16134 16136 16110 0 -1 4202560 3992 0 0 0 93 26 0 0 17 0 32 0 11853604 2340081664 111351 270582939648 4194304 4964800 140737309989168 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=16136/tid=16148] ppid=16134 vsize=2285236 CPUtime=1.2 cores=0-31
/proc/16136/task/16148/stat : 16148 (claspmt) S 16134 16136 16110 0 -1 4202560 3872 0 0 0 94 26 0 0 17 0 32 0 11853604 2340081664 111352 270582939648 4194304 4964800 140737309989168 18446744073709551615 258651060958 0 0 4096 18946 18446744071566926624 0 0 -1 14 0 0 0
[pid=16136/tid=16149] ppid=16134 vsize=2285236 CPUtime=1.15 cores=0-31
/proc/16136/task/16149/stat : 16149 (claspmt) R 16134 16136 16110 0 -1 4202560 3432 0 0 0 91 24 0 0 16 0 32 0 11853604 2340081664 111353 270582939648 4194304 4964800 140737309989168 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=16136/tid=16150] ppid=16134 vsize=2285236 CPUtime=1.31 cores=0-31
/proc/16136/task/16150/stat : 16150 (claspmt) R 16134 16136 16110 0 -1 4202560 3766 0 0 0 109 22 0 0 18 0 32 0 11853604 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4402996 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=16136/tid=16151] ppid=16134 vsize=2285236 CPUtime=1.15 cores=0-31
/proc/16136/task/16151/stat : 16151 (claspmt) R 16134 16136 16110 0 -1 4202560 4013 0 0 0 93 22 0 0 17 0 32 0 11853604 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4684009 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=16136/tid=16152] ppid=16134 vsize=2285236 CPUtime=1.18 cores=0-31
/proc/16136/task/16152/stat : 16152 (claspmt) R 16134 16136 16110 0 -1 4202560 4088 0 0 0 92 26 0 0 17 0 32 0 11853604 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=16136/tid=16153] ppid=16134 vsize=2285236 CPUtime=1.13 cores=0-31
/proc/16136/task/16153/stat : 16153 (claspmt) R 16134 16136 16110 0 -1 4202560 2757 0 0 0 92 21 0 0 16 0 32 0 11853604 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4370387 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=16136/tid=16154] ppid=16134 vsize=2285236 CPUtime=1.16 cores=0-31
/proc/16136/task/16154/stat : 16154 (claspmt) R 16134 16136 16110 0 -1 4202560 3614 0 0 0 93 23 0 0 16 0 32 0 11853604 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=16136/tid=16155] ppid=16134 vsize=2285236 CPUtime=1.18 cores=0-31
/proc/16136/task/16155/stat : 16155 (claspmt) R 16134 16136 16110 0 -1 4202560 3998 0 0 0 94 24 0 0 16 0 32 0 11853604 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=16136/tid=16156] ppid=16134 vsize=2285236 CPUtime=1.16 cores=0-31
/proc/16136/task/16156/stat : 16156 (claspmt) R 16134 16136 16110 0 -1 4202560 4187 0 0 0 93 23 0 0 17 0 32 0 11853604 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4332103 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=16136/tid=16157] ppid=16134 vsize=2285236 CPUtime=1.18 cores=0-31
/proc/16136/task/16157/stat : 16157 (claspmt) R 16134 16136 16110 0 -1 4202560 3499 0 0 0 93 25 0 0 16 0 32 0 11853604 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=16136/tid=16158] ppid=16134 vsize=2285236 CPUtime=1.3 cores=0-31
/proc/16136/task/16158/stat : 16158 (claspmt) R 16134 16136 16110 0 -1 4202560 3939 0 0 0 106 24 0 0 19 0 32 0 11853604 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=16136/tid=16159] ppid=16134 vsize=2285236 CPUtime=1.18 cores=0-31
/proc/16136/task/16159/stat : 16159 (claspmt) R 16134 16136 16110 0 -1 4202560 4003 0 0 0 93 25 0 0 17 0 32 0 11853604 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4668585 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=16136/tid=16160] ppid=16134 vsize=2285236 CPUtime=1.18 cores=0-31
/proc/16136/task/16160/stat : 16160 (claspmt) R 16134 16136 16110 0 -1 4202560 4059 0 0 0 93 25 0 0 17 0 32 0 11853605 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4660139 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=16136/tid=16161] ppid=16134 vsize=2285236 CPUtime=1.18 cores=0-31
/proc/16136/task/16161/stat : 16161 (claspmt) R 16134 16136 16110 0 -1 4202560 3440 0 0 0 93 25 0 0 16 0 32 0 11853605 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=16136/tid=16162] ppid=16134 vsize=2285236 CPUtime=1.15 cores=0-31
/proc/16136/task/16162/stat : 16162 (claspmt) R 16134 16136 16110 0 -1 4202560 3497 0 0 0 93 22 0 0 16 0 32 0 11853605 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4660435 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=16136/tid=16163] ppid=16134 vsize=2285236 CPUtime=1.17 cores=0-31
/proc/16136/task/16163/stat : 16163 (claspmt) R 16134 16136 16110 0 -1 4202560 4033 0 0 0 92 25 0 0 17 0 32 0 11853605 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=16136/tid=16164] ppid=16134 vsize=2285236 CPUtime=1.17 cores=0-31
/proc/16136/task/16164/stat : 16164 (claspmt) R 16134 16136 16110 0 -1 4202560 4211 0 0 0 93 24 0 0 17 0 32 0 11853605 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4361247 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=16136/tid=16165] ppid=16134 vsize=2285236 CPUtime=1.19 cores=0-31
/proc/16136/task/16165/stat : 16165 (claspmt) R 16134 16136 16110 0 -1 4202560 3542 0 0 0 91 28 0 0 17 0 32 0 11853605 2340081664 111355 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=16136/tid=16166] ppid=16134 vsize=2285236 CPUtime=1.28 cores=0-31
/proc/16136/task/16166/stat : 16166 (claspmt) R 16134 16136 16110 0 -1 4202560 3861 0 0 0 102 26 0 0 19 0 32 0 11853605 2340081664 111356 270582939648 4194304 4964800 140737309989168 18446744073709551615 4402867 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=16136/tid=16167] ppid=16134 vsize=2285236 CPUtime=1.19 cores=0-31

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

[pid=16136/tid=16145] ppid=16134 vsize=4347148 CPUtime=4957.51 cores=0-31
/proc/16136/task/16145/stat : 16145 (claspmt) R 16134 16136 16110 0 -1 4202560 8994 0 0 0 495703 48 0 0 25 0 32 0 11853604 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=16136/tid=16146] ppid=16134 vsize=4347148 CPUtime=4959.38 cores=0-31
/proc/16136/task/16146/stat : 16146 (claspmt) R 16134 16136 16110 0 -1 4202560 13041 0 0 0 495867 71 0 0 25 0 32 0 11853604 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=16136/tid=16147] ppid=16134 vsize=4347148 CPUtime=4959.41 cores=0-31
/proc/16136/task/16147/stat : 16147 (claspmt) R 16134 16136 16110 0 -1 4202560 35344 0 0 0 495786 155 0 0 25 0 32 0 11853604 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=16136/tid=16148] ppid=16134 vsize=4347148 CPUtime=4959.4 cores=0-31
/proc/16136/task/16148/stat : 16148 (claspmt) R 16134 16136 16110 0 -1 4202560 35737 0 0 0 495766 174 0 0 25 0 32 0 11853604 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4363491 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=16136/tid=16149] ppid=16134 vsize=4347148 CPUtime=4959.37 cores=0-31
/proc/16136/task/16149/stat : 16149 (claspmt) R 16134 16136 16110 0 -1 4202560 50706 0 0 0 495704 233 0 0 25 0 32 0 11853604 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=16136/tid=16150] ppid=16134 vsize=4347148 CPUtime=4959.5 cores=0-31
/proc/16136/task/16150/stat : 16150 (claspmt) R 16134 16136 16110 0 -1 4202560 44716 0 0 0 495731 219 0 0 25 0 32 0 11853604 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=16136/tid=16151] ppid=16134 vsize=4347148 CPUtime=4959.39 cores=0-31
/proc/16136/task/16151/stat : 16151 (claspmt) R 16134 16136 16110 0 -1 4202560 18264 0 0 0 495861 78 0 0 25 0 32 0 11853604 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4660835 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=16136/tid=16152] ppid=16134 vsize=4347148 CPUtime=4959.44 cores=0-31
/proc/16136/task/16152/stat : 16152 (claspmt) R 16134 16136 16110 0 -1 4202560 22112 0 0 0 495834 110 0 0 25 0 32 0 11853604 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=16136/tid=16153] ppid=16134 vsize=4347148 CPUtime=4946.42 cores=0-31
/proc/16136/task/16153/stat : 16153 (claspmt) R 16134 16136 16110 0 -1 4202560 9148 0 0 0 494593 49 0 0 25 0 32 0 11853604 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670155 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=16136/tid=16154] ppid=16134 vsize=4347148 CPUtime=4959.38 cores=0-31
/proc/16136/task/16154/stat : 16154 (claspmt) R 16134 16136 16110 0 -1 4202560 13675 0 0 0 495874 64 0 0 25 0 32 0 11853604 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=16136/tid=16155] ppid=16134 vsize=4347148 CPUtime=4936.41 cores=0-31
/proc/16136/task/16155/stat : 16155 (claspmt) R 16134 16136 16110 0 -1 4202560 36040 0 0 0 493472 169 0 0 25 0 32 0 11853604 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=16136/tid=16156] ppid=16134 vsize=4347148 CPUtime=4959.21 cores=0-31
/proc/16136/task/16156/stat : 16156 (claspmt) R 16134 16136 16110 0 -1 4202560 12711 0 0 0 495868 53 0 0 25 0 32 0 11853604 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=16136/tid=16157] ppid=16134 vsize=4347148 CPUtime=4959.2 cores=0-31
/proc/16136/task/16157/stat : 16157 (claspmt) R 16134 16136 16110 0 -1 4202560 22330 0 0 0 495805 115 0 0 25 0 32 0 11853604 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=16136/tid=16158] ppid=16134 vsize=4347148 CPUtime=4959.53 cores=0-31
/proc/16136/task/16158/stat : 16158 (claspmt) R 16134 16136 16110 0 -1 4202560 46043 0 0 0 495744 209 0 0 25 0 32 0 11853604 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=16136/tid=16159] ppid=16134 vsize=4347148 CPUtime=4959.4 cores=0-31
/proc/16136/task/16159/stat : 16159 (claspmt) R 16134 16136 16110 0 -1 4202560 16080 0 0 0 495868 72 0 0 25 0 32 0 11853604 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4361365 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=16136/tid=16160] ppid=16134 vsize=4347148 CPUtime=4959.43 cores=0-31
/proc/16136/task/16160/stat : 16160 (claspmt) R 16134 16136 16110 0 -1 4202560 28119 0 0 0 495788 155 0 0 25 0 32 0 11853605 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=16136/tid=16161] ppid=16134 vsize=4347148 CPUtime=4959.43 cores=0-31
/proc/16136/task/16161/stat : 16161 (claspmt) R 16134 16136 16110 0 -1 4202560 10827 0 0 0 495885 58 0 0 25 0 32 0 11853605 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=16136/tid=16162] ppid=16134 vsize=4347148 CPUtime=4957.34 cores=0-31
/proc/16136/task/16162/stat : 16162 (claspmt) R 16134 16136 16110 0 -1 4202560 14725 0 0 0 495665 69 0 0 25 0 32 0 11853605 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=16136/tid=16163] ppid=16134 vsize=4347148 CPUtime=4942.91 cores=0-31
/proc/16136/task/16163/stat : 16163 (claspmt) R 16134 16136 16110 0 -1 4202560 29950 0 0 0 494168 123 0 0 25 0 32 0 11853605 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=16136/tid=16164] ppid=16134 vsize=4347148 CPUtime=4956.18 cores=0-31
/proc/16136/task/16164/stat : 16164 (claspmt) R 16134 16136 16110 0 -1 4202560 45603 0 0 0 495417 201 0 0 25 0 32 0 11853605 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=16136/tid=16165] ppid=16134 vsize=4347148 CPUtime=4959.41 cores=0-31
/proc/16136/task/16165/stat : 16165 (claspmt) R 16134 16136 16110 0 -1 4202560 23789 0 0 0 495819 122 0 0 25 0 32 0 11853605 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=16136/tid=16166] ppid=16134 vsize=4347148 CPUtime=4956.59 cores=0-31
/proc/16136/task/16166/stat : 16166 (claspmt) R 16134 16136 16110 0 -1 4202560 36054 0 0 0 495486 173 0 0 25 0 32 0 11853605 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=16136/tid=16167] ppid=16134 vsize=4347148 CPUtime=4959.41 cores=0-31
/proc/16136/task/16167/stat : 16167 (claspmt) R 16134 16136 16110 0 -1 4202560 19233 0 0 0 495851 90 0 0 25 0 32 0 11853605 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=16136/tid=16168] ppid=16134 vsize=4347148 CPUtime=4925.35 cores=0-31
/proc/16136/task/16168/stat : 16168 (claspmt) R 16134 16136 16110 0 -1 4202560 20109 0 0 0 492434 101 0 0 25 0 32 0 11853605 4451479552 833382 270582939648 4194304 4964800 140737309989168 18446744073709551615 4360553 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 158556
Current children cumulated vsize (KiB) 4347148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5007.5 s]
/proc/loadavg: 32.06 32.05 32.07 33/445 16326
/proc/meminfo: memFree=260000344/264257624 swapFree=67111528/67111528
[pid=16136] ppid=16134 vsize=4351632 CPUtime=160001 cores=0-31
/proc/16136/stat : 16136 (claspmt) R 16134 16136 16110 0 -1 4202496 858649 0 0 0 15996130 4007 0 0 25 0 32 0 11853506 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669280 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/16136/statm: 1087908 835929 463 189 0 1082257 0
[pid=16136/tid=16138] ppid=16134 vsize=4351632 CPUtime=5004.42 cores=0-31
/proc/16136/task/16138/stat : 16138 (claspmt) R 16134 16136 16110 0 -1 4202560 13278 0 0 0 500373 69 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=16136/tid=16139] ppid=16134 vsize=4351632 CPUtime=5004.55 cores=0-31
/proc/16136/task/16139/stat : 16139 (claspmt) R 16134 16136 16110 0 -1 4202560 45439 0 0 0 500242 213 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=16136/tid=16140] ppid=16134 vsize=4351632 CPUtime=4958.04 cores=0-31
/proc/16136/task/16140/stat : 16140 (claspmt) R 16134 16136 16110 0 -1 4202560 28679 0 0 0 495673 131 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=16136/tid=16141] ppid=16134 vsize=4351632 CPUtime=5002.84 cores=0-31
/proc/16136/task/16141/stat : 16141 (claspmt) R 16134 16136 16110 0 -1 4202560 42260 0 0 0 500052 232 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=16136/tid=16142] ppid=16134 vsize=4351632 CPUtime=5004.75 cores=0-31
/proc/16136/task/16142/stat : 16142 (claspmt) R 16134 16136 16110 0 -1 4202560 44847 0 0 0 500274 201 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=16136/tid=16143] ppid=16134 vsize=4351632 CPUtime=5004.17 cores=0-31
/proc/16136/task/16143/stat : 16143 (claspmt) R 16134 16136 16110 0 -1 4202560 21601 0 0 0 500322 95 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=16136/tid=16144] ppid=16134 vsize=4351632 CPUtime=5004.29 cores=0-31
/proc/16136/task/16144/stat : 16144 (claspmt) R 16134 16136 16110 0 -1 4202560 26278 0 0 0 500322 107 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=16136/tid=16145] ppid=16134 vsize=4351632 CPUtime=5002.71 cores=0-31
/proc/16136/task/16145/stat : 16145 (claspmt) R 16134 16136 16110 0 -1 4202560 8994 0 0 0 500223 48 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=16136/tid=16146] ppid=16134 vsize=4351632 CPUtime=5004.59 cores=0-31
/proc/16136/task/16146/stat : 16146 (claspmt) R 16134 16136 16110 0 -1 4202560 13076 0 0 0 500388 71 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=16136/tid=16147] ppid=16134 vsize=4351632 CPUtime=5004.63 cores=0-31
/proc/16136/task/16147/stat : 16147 (claspmt) R 16134 16136 16110 0 -1 4202560 35344 0 0 0 500308 155 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=16136/tid=16148] ppid=16134 vsize=4351632 CPUtime=5004.61 cores=0-31
/proc/16136/task/16148/stat : 16148 (claspmt) R 16134 16136 16110 0 -1 4202560 35937 0 0 0 500286 175 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669503 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=16136/tid=16149] ppid=16134 vsize=4351632 CPUtime=5004.58 cores=0-31
/proc/16136/task/16149/stat : 16149 (claspmt) R 16134 16136 16110 0 -1 4202560 50706 0 0 0 500225 233 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=16136/tid=16150] ppid=16134 vsize=4351632 CPUtime=5004.69 cores=0-31
/proc/16136/task/16150/stat : 16150 (claspmt) R 16134 16136 16110 0 -1 4202560 44729 0 0 0 500250 219 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670678 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=16136/tid=16151] ppid=16134 vsize=4351632 CPUtime=5004.6 cores=0-31
/proc/16136/task/16151/stat : 16151 (claspmt) R 16134 16136 16110 0 -1 4202560 18264 0 0 0 500382 78 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=16136/tid=16152] ppid=16134 vsize=4351632 CPUtime=5004.65 cores=0-31
/proc/16136/task/16152/stat : 16152 (claspmt) R 16134 16136 16110 0 -1 4202560 22112 0 0 0 500355 110 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=16136/tid=16153] ppid=16134 vsize=4351632 CPUtime=4991.64 cores=0-31
/proc/16136/task/16153/stat : 16153 (claspmt) R 16134 16136 16110 0 -1 4202560 9205 0 0 0 499115 49 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=16136/tid=16154] ppid=16134 vsize=4351632 CPUtime=5004.59 cores=0-31
/proc/16136/task/16154/stat : 16154 (claspmt) R 16134 16136 16110 0 -1 4202560 13934 0 0 0 500395 64 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669563 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=16136/tid=16155] ppid=16134 vsize=4351632 CPUtime=4980.62 cores=0-31
/proc/16136/task/16155/stat : 16155 (claspmt) R 16134 16136 16110 0 -1 4202560 36042 0 0 0 497893 169 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669476 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=16136/tid=16156] ppid=16134 vsize=4351632 CPUtime=5004.41 cores=0-31
/proc/16136/task/16156/stat : 16156 (claspmt) R 16134 16136 16110 0 -1 4202560 12711 0 0 0 500388 53 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4632224 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=16136/tid=16157] ppid=16134 vsize=4351632 CPUtime=5004.42 cores=0-31
/proc/16136/task/16157/stat : 16157 (claspmt) R 16134 16136 16110 0 -1 4202560 22336 0 0 0 500327 115 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=16136/tid=16158] ppid=16134 vsize=4351632 CPUtime=5004.74 cores=0-31
/proc/16136/task/16158/stat : 16158 (claspmt) R 16134 16136 16110 0 -1 4202560 46043 0 0 0 500265 209 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=16136/tid=16159] ppid=16134 vsize=4351632 CPUtime=5004.61 cores=0-31
/proc/16136/task/16159/stat : 16159 (claspmt) R 16134 16136 16110 0 -1 4202560 16080 0 0 0 500389 72 0 0 25 0 32 0 11853604 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4660155 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=16136/tid=16160] ppid=16134 vsize=4351632 CPUtime=5004.64 cores=0-31
/proc/16136/task/16160/stat : 16160 (claspmt) R 16134 16136 16110 0 -1 4202560 28119 0 0 0 500309 155 0 0 25 0 32 0 11853605 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=16136/tid=16161] ppid=16134 vsize=4351632 CPUtime=5004.64 cores=0-31
/proc/16136/task/16161/stat : 16161 (claspmt) R 16134 16136 16110 0 -1 4202560 10827 0 0 0 500406 58 0 0 25 0 32 0 11853605 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4660835 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=16136/tid=16162] ppid=16134 vsize=4351632 CPUtime=5002.55 cores=0-31
/proc/16136/task/16162/stat : 16162 (claspmt) R 16134 16136 16110 0 -1 4202560 14725 0 0 0 500186 69 0 0 25 0 32 0 11853605 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=16136/tid=16163] ppid=16134 vsize=4351632 CPUtime=4988.12 cores=0-31
/proc/16136/task/16163/stat : 16163 (claspmt) R 16134 16136 16110 0 -1 4202560 29950 0 0 0 498689 123 0 0 25 0 32 0 11853605 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=16136/tid=16164] ppid=16134 vsize=4351632 CPUtime=5001.38 cores=0-31
/proc/16136/task/16164/stat : 16164 (claspmt) R 16134 16136 16110 0 -1 4202560 46718 0 0 0 499935 203 0 0 25 0 32 0 11853605 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=16136/tid=16165] ppid=16134 vsize=4351632 CPUtime=5004.62 cores=0-31
/proc/16136/task/16165/stat : 16165 (claspmt) R 16134 16136 16110 0 -1 4202560 24551 0 0 0 500337 125 0 0 25 0 32 0 11853605 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=16136/tid=16166] ppid=16134 vsize=4351632 CPUtime=5001.8 cores=0-31
/proc/16136/task/16166/stat : 16166 (claspmt) R 16134 16136 16110 0 -1 4202560 36054 0 0 0 500007 173 0 0 25 0 32 0 11853605 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=16136/tid=16167] ppid=16134 vsize=4351632 CPUtime=5004.32 cores=0-31
/proc/16136/task/16167/stat : 16167 (claspmt) R 16134 16136 16110 0 -1 4202560 19233 0 0 0 500342 90 0 0 25 0 32 0 11853605 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669560 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=16136/tid=16168] ppid=16134 vsize=4351632 CPUtime=4970.56 cores=0-31
/proc/16136/task/16168/stat : 16168 (claspmt) R 16134 16136 16110 0 -1 4202560 20265 0 0 0 496954 102 0 0 25 0 32 0 11853605 4456071168 835929 270582939648 4194304 4964800 140737309989168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 4351632

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -16136

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

[startup+5007.9 s]
/proc/loadavg: 32.06 32.05 32.07 33/445 16326
/proc/meminfo: memFree=260000344/264257624 swapFree=67111528/67111528
[pid=16136] ppid=16134 vsize=4239680 CPUtime=160002 cores=0-31
/proc/16136/stat : 16136 (claspmt) R 16134 16136 16110 0 -1 4202496 858660 0 0 0 15996228 4008 0 0 25 0 1 0 11853506 4341432320 829525 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650612746 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16136/statm: 1059920 829525 474 189 0 1054269 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 4239680

[startup+5008.7 s]
/proc/loadavg: 32.06 32.05 32.07 2/415 16327
/proc/meminfo: memFree=260050804/264257624 swapFree=67111528/67111528
[pid=16136] ppid=16134 vsize=4197248 CPUtime=160003 cores=0-31
/proc/16136/stat : 16136 (claspmt) R 16134 16136 16110 0 -1 4202496 858660 0 0 0 15996307 4008 0 0 25 0 1 0 11853506 4297981952 816322 270582939648 4194304 4964800 140737309989168 18446744073709551615 258650611751 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/16136/statm: 1049312 816322 474 189 0 1043661 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 4197248

[startup+5009.53 s]
/proc/loadavg: 29.57 31.54 31.90 2/415 16327
/proc/meminfo: memFree=260144700/264257624 swapFree=67111528/67111528
[pid=16136] ppid=16134 vsize=0 CPUtime=160004 cores=0-31
/proc/16136/stat : 16136 (claspmt) R 16134 16136 16110 0 -1 4203524 858660 0 0 0 15996389 4009 0 0 25 0 1 0 11853506 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/16136/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5009.7 s]
/proc/loadavg: 29.57 31.54 31.90 2/415 16327
/proc/meminfo: memFree=260144700/264257624 swapFree=67111528/67111528
[pid=16136] ppid=16134 vsize=0 CPUtime=160004 cores=0-31
/proc/16136/stat : 16136 (claspmt) R 16134 16136 16110 0 -1 4203524 858660 0 0 0 15996389 4026 0 0 25 0 1 0 11853506 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/16136/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 5009.72
CPU time (s): 160004
CPU user time (s): 159964
CPU system time (s): 40.2789
CPU usage (%): 3193.88
Max. virtual memory (cumulated for all children) (KiB): 4351632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159964
system time used= 40.2789
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 858660
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= 125603
involuntary context switches= 396585

runsolver used 30.2844 second user time and 110.975 second system time

The end

Launcher Data

Begin job on node200 at 2011-06-07 18:37:46
IDJOB=3472312
IDBENCH=70830
IDSOLVER=1961
FILE ID=node200/3472312-1307464666
RUNJOBID= node200-1307464666-16124
PBS_JOBID= 13509191
Free space on /tmp= 61740 MiB

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

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

MD5SUM BENCH= 49867705b76fc90285dd6fc48de2613c
RANDOM SEED=772377375

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:      263349148 kB
Buffers:        134708 kB
Cached:         512912 kB
SwapCached:          0 kB
Active:         178156 kB
Inactive:       533040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263349148 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5084 kB
Writeback:           0 kB
AnonPages:       64348 kB
Mapped:          13480 kB
Slab:           119260 kB
PageTables:       3984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   161020 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-07 20:01:16