Trace number 3472446

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 5010.3

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom24.cnf
MD5SUM16e1f2a4ab0c9df60ac0d098f9f252bb
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 variables62686
Number of clauses210488
Sum of the clauses size537842
Maximum clause length1941
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2106681
Number of clauses of size 3102739
Number of clauses of size 4299
Number of clauses of size 522
Number of clauses of size over 5746

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...648099/instance-3472446-1307648099.cnf
1.12/1.17	c Solving...
160001.27/5007.92	
160001.27/5007.92	*** INTERRUPTED! ***
160001.27/5007.92	*** 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-3472446-1307648099/watcher-3472446-1307648099 -o /tmp/evaluation-result-3472446-1307648099/solver-3472446-1307648099 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472446-1307648099.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.55 30.46 29.11 1/412 31887
/proc/meminfo: memFree=262219792/264257624 swapFree=67111528/67111528
[pid=31887] ppid=31885 vsize=28860 CPUtime=0.03 cores=0-31
/proc/31887/stat : 31887 (claspmt) R 31885 31887 31857 0 -1 4202496 2282 0 0 0 2 1 0 0 21 0 1 0 30196807 29552640 2211 270582939648 4194304 4964800 140737341908368 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31887/statm: 7215 2215 373 189 0 2089 0

[startup+0.0387421 s]
/proc/loadavg: 29.55 30.46 29.11 1/412 31887
/proc/meminfo: memFree=262219792/264257624 swapFree=67111528/67111528
[pid=31887] ppid=31885 vsize=32540 CPUtime=0.03 cores=0-31
/proc/31887/stat : 31887 (claspmt) R 31885 31887 31857 0 -1 4202496 2824 0 0 0 2 1 0 0 21 0 1 0 30196807 33320960 2700 270582939648 4194304 4964800 140737341908368 18446744073709551615 4679151 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31887/statm: 8135 2705 374 189 0 3009 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 32540

[startup+0.100781 s]
/proc/loadavg: 29.55 30.46 29.11 1/412 31887
/proc/meminfo: memFree=262219792/264257624 swapFree=67111528/67111528
[pid=31887] ppid=31885 vsize=36784 CPUtime=0.09 cores=0-31
/proc/31887/stat : 31887 (claspmt) R 31885 31887 31857 0 -1 4202496 5182 0 0 0 8 1 0 0 21 0 1 0 30196807 37666816 4330 270582939648 4194304 4964800 140737341908368 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31887/statm: 9196 4330 386 189 0 4070 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36784

[startup+0.300742 s]
/proc/loadavg: 29.55 30.46 29.11 1/412 31887
/proc/meminfo: memFree=262219792/264257624 swapFree=67111528/67111528
[pid=31887] ppid=31885 vsize=51160 CPUtime=0.29 cores=0-31
/proc/31887/stat : 31887 (claspmt) R 31885 31887 31857 0 -1 4202496 9788 0 0 0 26 3 0 0 22 0 1 0 30196807 52387840 7872 270582939648 4194304 4964800 140737341908368 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31887/statm: 12790 7873 396 189 0 7664 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51160

[startup+0.700773 s]
/proc/loadavg: 29.55 30.46 29.11 1/412 31887
/proc/meminfo: memFree=262219792/264257624 swapFree=67111528/67111528
[pid=31887] ppid=31885 vsize=56440 CPUtime=0.69 cores=0-31
/proc/31887/stat : 31887 (claspmt) R 31885 31887 31857 0 -1 4202496 11172 0 0 0 65 4 0 0 24 0 1 0 30196807 57794560 9256 270582939648 4194304 4964800 140737341908368 18446744073709551615 4621775 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31887/statm: 14110 9257 401 189 0 8984 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56440

[startup+1.50067 s]
/proc/loadavg: 29.55 30.46 29.11 2/413 31888
/proc/meminfo: memFree=262181112/264257624 swapFree=67111528/67111528
[pid=31887] ppid=31885 vsize=1347148 CPUtime=6.79 cores=0-31
/proc/31887/stat : 31887 (claspmt) S 31885 31887 31857 0 -1 4202496 63305 0 0 0 146 533 0 0 18 0 32 0 30196807 1379479552 45506 270582939648 4194304 4964800 140737341908368 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 30 0 0 0
/proc/31887/statm: 336787 45513 435 189 0 331136 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 1347148

[startup+3.10173 s]
/proc/loadavg: 29.55 30.46 29.11 5/444 31919
/proc/meminfo: memFree=261920216/264257624 swapFree=67111528/67111528
[pid=31887] ppid=31885 vsize=2140780 CPUtime=37.76 cores=0-31
/proc/31887/stat : 31887 (claspmt) R 31885 31887 31857 0 -1 4202496 98341 0 0 0 3130 646 0 0 19 0 32 0 30196807 2192158720 80249 270582939648 4194304 4964800 140737341908368 18446744073709551615 4370224 0 0 4096 18946 18446744073709551615 0 0 17 11 0 0 0
/proc/31887/statm: 535195 80249 461 189 0 529544 0
[pid=31887/tid=31889] ppid=31885 vsize=2140780 CPUtime=1.11 cores=0-31
/proc/31887/task/31889/stat : 31889 (claspmt) R 31885 31887 31857 0 -1 4202560 2335 0 0 0 89 22 0 0 16 0 32 0 30196924 2192158720 80249 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=2140780 CPUtime=1.12 cores=0-31
/proc/31887/task/31890/stat : 31890 (claspmt) R 31885 31887 31857 0 -1 4202560 2818 0 0 0 90 22 0 0 16 0 32 0 30196924 2192158720 80249 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31887/tid=31891] ppid=31885 vsize=2140780 CPUtime=1.08 cores=0-31
/proc/31887/task/31891/stat : 31891 (claspmt) R 31885 31887 31857 0 -1 4202560 3161 0 0 0 90 18 0 0 16 0 32 0 30196924 2192158720 80249 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=31887/tid=31892] ppid=31885 vsize=2140780 CPUtime=1.1 cores=0-31
/proc/31887/task/31892/stat : 31892 (claspmt) R 31885 31887 31857 0 -1 4202560 2495 0 0 0 90 20 0 0 16 0 32 0 30196924 2192158720 80249 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670381 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31887/tid=31893] ppid=31885 vsize=2140780 CPUtime=1.48 cores=0-31
/proc/31887/task/31893/stat : 31893 (claspmt) R 31885 31887 31857 0 -1 4202560 2647 0 0 0 127 21 0 0 19 0 32 0 30196924 2192158720 80249 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=31887/tid=31894] ppid=31885 vsize=2140780 CPUtime=1.12 cores=0-31
/proc/31887/task/31894/stat : 31894 (claspmt) R 31885 31887 31857 0 -1 4202560 2833 0 0 0 90 22 0 0 16 0 32 0 30196924 2192158720 80249 270582939648 4194304 4964800 140737341908368 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=31887/tid=31895] ppid=31885 vsize=2140780 CPUtime=1.12 cores=0-31
/proc/31887/task/31895/stat : 31895 (claspmt) R 31885 31887 31857 0 -1 4202560 2852 0 0 0 89 23 0 0 16 0 32 0 30196924 2192158720 80249 270582939648 4194304 4964800 140737341908368 18446744073709551615 4365094 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=31887/tid=31896] ppid=31885 vsize=2140780 CPUtime=1.09 cores=0-31
/proc/31887/task/31896/stat : 31896 (claspmt) R 31885 31887 31857 0 -1 4202560 2532 0 0 0 89 20 0 0 16 0 32 0 30196924 2192158720 80249 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669184 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=31887/tid=31897] ppid=31885 vsize=2140780 CPUtime=1.1 cores=0-31
/proc/31887/task/31897/stat : 31897 (claspmt) R 31885 31887 31857 0 -1 4202560 2464 0 0 0 89 21 0 0 16 0 32 0 30196925 2192158720 80250 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=31887/tid=31898] ppid=31885 vsize=2140780 CPUtime=1.12 cores=0-31
/proc/31887/task/31898/stat : 31898 (claspmt) R 31885 31887 31857 0 -1 4202560 3000 0 0 0 90 22 0 0 16 0 32 0 30196925 2192158720 80250 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31887/tid=31899] ppid=31885 vsize=2140780 CPUtime=1.11 cores=0-31
/proc/31887/task/31899/stat : 31899 (claspmt) R 31885 31887 31857 0 -1 4202560 3177 0 0 0 90 21 0 0 16 0 32 0 30196925 2192158720 80250 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670220 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=31887/tid=31900] ppid=31885 vsize=2140780 CPUtime=1.06 cores=0-31
/proc/31887/task/31900/stat : 31900 (claspmt) R 31885 31887 31857 0 -1 4202560 2250 0 0 0 90 16 0 0 16 0 32 0 30196925 2192158720 80250 270582939648 4194304 4964800 140737341908368 18446744073709551615 4370473 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31887/tid=31901] ppid=31885 vsize=2140780 CPUtime=1.48 cores=0-31
/proc/31887/task/31901/stat : 31901 (claspmt) R 31885 31887 31857 0 -1 4202560 2675 0 0 0 127 21 0 0 18 0 32 0 30196925 2192158720 80250 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=31887/tid=31902] ppid=31885 vsize=2140780 CPUtime=1.04 cores=0-31
/proc/31887/task/31902/stat : 31902 (claspmt) R 31885 31887 31857 0 -1 4202560 2967 0 0 0 89 15 0 0 16 0 32 0 30196925 2192158720 80252 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=31887/tid=31903] ppid=31885 vsize=2140780 CPUtime=1.08 cores=0-31
/proc/31887/task/31903/stat : 31903 (claspmt) R 31885 31887 31857 0 -1 4202560 2887 0 0 0 89 19 0 0 16 0 32 0 30196925 2192158720 80252 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=31887/tid=31904] ppid=31885 vsize=2140780 CPUtime=1.09 cores=0-31
/proc/31887/task/31904/stat : 31904 (claspmt) R 31885 31887 31857 0 -1 4202560 2339 0 0 0 89 20 0 0 16 0 32 0 30196925 2192158720 80252 270582939648 4194304 4964800 140737341908368 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31887/tid=31905] ppid=31885 vsize=2140780 CPUtime=1.11 cores=0-31
/proc/31887/task/31905/stat : 31905 (claspmt) R 31885 31887 31857 0 -1 4202560 2486 0 0 0 89 22 0 0 16 0 32 0 30196925 2192158720 80252 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=31887/tid=31906] ppid=31885 vsize=2140780 CPUtime=1.11 cores=0-31
/proc/31887/task/31906/stat : 31906 (claspmt) R 31885 31887 31857 0 -1 4202560 3028 0 0 0 89 22 0 0 16 0 32 0 30196925 2192158720 80252 270582939648 4194304 4964800 140737341908368 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=31887/tid=31907] ppid=31885 vsize=2140780 CPUtime=1.09 cores=0-31
/proc/31887/task/31907/stat : 31907 (claspmt) R 31885 31887 31857 0 -1 4202560 3222 0 0 0 88 21 0 0 16 0 32 0 30196925 2192158720 80259 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=31887/tid=31908] ppid=31885 vsize=2140780 CPUtime=1.06 cores=0-31
/proc/31887/task/31908/stat : 31908 (claspmt) R 31885 31887 31857 0 -1 4202560 2526 0 0 0 89 17 0 0 16 0 32 0 30196925 2192158720 80260 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=31887/tid=31909] ppid=31885 vsize=2140780 CPUtime=1.47 cores=0-31
/proc/31887/task/31909/stat : 31909 (claspmt) R 31885 31887 31857 0 -1 4202560 2621 0 0 0 128 19 0 0 19 0 32 0 30196925 2192158720 80260 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668672 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31887/tid=31910] ppid=31885 vsize=2140780 CPUtime=1.1 cores=0-31
/proc/31887/task/31910/stat : 31910 (claspmt) R 31885 31887 31857 0 -1 4202560 3052 0 0 0 91 19 0 0 16 0 32 0 30196925 2192158720 80260 270582939648 4194304 4964800 140737341908368 18446744073709551615 4627394 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=31887/tid=31911] ppid=31885 vsize=2140780 CPUtime=1.11 cores=0-31
/proc/31887/task/31911/stat : 31911 (claspmt) R 31885 31887 31857 0 -1 4202560 2886 0 0 0 91 20 0 0 16 0 32 0 30196925 2192158720 80260 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=31887/tid=31912] ppid=31885 vsize=2140780 CPUtime=1.08 cores=0-31
/proc/31887/task/31912/stat : 31912 (claspmt) R 31885 31887 31857 0 -1 4202560 2443 0 0 0 88 20 0 0 16 0 32 0 30196925 2192158720 80260 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=31887/tid=31913] ppid=31885 vsize=2140780 CPUtime=1.12 cores=0-31
/proc/31887/task/31913/stat : 31913 (claspmt) R 31885 31887 31857 0 -1 4202560 2320 0 0 0 88 24 0 0 16 0 32 0 30196925 2192158720 80260 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31887/tid=31914] ppid=31885 vsize=2140780 CPUtime=1.1 cores=0-31
/proc/31887/task/31914/stat : 31914 (claspmt) R 31885 31887 31857 0 -1 4202560 3242 0 0 0 89 21 0 0 16 0 32 0 30196925 2192158720 80261 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669095 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=31887/tid=31915] ppid=31885 vsize=2140780 CPUtime=1.03 cores=0-31
/proc/31887/task/31915/stat : 31915 (claspmt) R 31885 31887 31857 0 -1 4202560 3125 0 0 0 88 15 0 0 16 0 32 0 30196926 2192158720 80261 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=31887/tid=31916] ppid=31885 vsize=2140780 CPUtime=1.08 cores=0-31
/proc/31887/task/31916/stat : 31916 (claspmt) R 31885 31887 31857 0 -1 4202560 2500 0 0 0 90 18 0 0 16 0 32 0 30196926 2192158720 80261 270582939648 4194304 4964800 140737341908368 18446744073709551615 4342167 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=31887/tid=31917] ppid=31885 vsize=2140780 CPUtime=1.46 cores=0-31
/proc/31887/task/31917/stat : 31917 (claspmt) R 31885 31887 31857 0 -1 4202560 2773 0 0 0 124 22 0 0 19 0 32 0 30196926 2192158720 80262 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=31887/tid=31918] ppid=31885 vsize=2140780 CPUtime=1.11 cores=0-31
/proc/31887/task/31918/stat : 31918 (claspmt) R 31885 31887 31857 0 -1 4202560 3027 0 0 0 90 21 0 0 16 0 32 0 30196926 2192158720 80262 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=31887/tid=31919] ppid=31885 vsize=2140780 CPUtime=1.1 cores=0-31
/proc/31887/task/31919/stat : 31919 (claspmt) R 31885 31887 31857 0 -1 4202560 2866 0 0 0 90 20 0 0 16 0 32 0 30196926 2192158720 80262 270582939648 4194304 4964800 140737341908368 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 37.76
Current children cumulated vsize (KiB) 2140780

[startup+6.30184 s]
/proc/loadavg: 29.82 30.51 29.13 33/444 31919
/proc/meminfo: memFree=261834160/264257624 swapFree=67111528/67111528
[pid=31887] ppid=31885 vsize=2143520 CPUtime=139.74 cores=0-31
/proc/31887/stat : 31887 (claspmt) R 31885 31887 31857 0 -1 4202496 119457 0 0 0 13263 711 0 0 18 0 32 0 30196807 2194964480 101365 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 11 0 0 0
/proc/31887/statm: 535880 101365 461 189 0 530229 0
[pid=31887/tid=31889] ppid=31885 vsize=2143520 CPUtime=4.3 cores=0-31
/proc/31887/task/31889/stat : 31889 (claspmt) R 31885 31887 31857 0 -1 4202560 2775 0 0 0 407 23 0 0 22 0 32 0 30196924 2194964480 101365 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=2143520 CPUtime=4.32 cores=0-31
/proc/31887/task/31890/stat : 31890 (claspmt) R 31885 31887 31857 0 -1 4202560 3704 0 0 0 406 26 0 0 21 0 32 0 30196924 2194964480 101365 270582939648 4194304 4964800 140737341908368 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31887/tid=31891] ppid=31885 vsize=2143520 CPUtime=4.27 cores=0-31
/proc/31887/task/31891/stat : 31891 (claspmt) R 31885 31887 31857 0 -1 4202560 4123 0 0 0 406 21 0 0 21 0 32 0 30196924 2194964480 101366 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669221 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=31887/tid=31892] ppid=31885 vsize=2143520 CPUtime=4.29 cores=0-31
/proc/31887/task/31892/stat : 31892 (claspmt) R 31885 31887 31857 0 -1 4202560 3089 0 0 0 407 22 0 0 18 0 32 0 30196924 2194964480 101366 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31887/tid=31893] ppid=31885 vsize=2143520 CPUtime=4.68 cores=0-31
/proc/31887/task/31893/stat : 31893 (claspmt) R 31885 31887 31857 0 -1 4202560 2671 0 0 0 447 21 0 0 25 0 32 0 30196924 2194964480 101367 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668766 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=31887/tid=31894] ppid=31885 vsize=2143520 CPUtime=4.31 cores=0-31
/proc/31887/task/31894/stat : 31894 (claspmt) R 31885 31887 31857 0 -1 4202560 3642 0 0 0 407 24 0 0 19 0 32 0 30196924 2194964480 101367 270582939648 4194304 4964800 140737341908368 18446744073709551615 4660835 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=31887/tid=31895] ppid=31885 vsize=2143520 CPUtime=4.31 cores=0-31
/proc/31887/task/31895/stat : 31895 (claspmt) R 31885 31887 31857 0 -1 4202560 3753 0 0 0 405 26 0 0 22 0 32 0 30196924 2194964480 101367 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668564 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=31887/tid=31896] ppid=31885 vsize=2143520 CPUtime=4.29 cores=0-31
/proc/31887/task/31896/stat : 31896 (claspmt) R 31885 31887 31857 0 -1 4202560 3098 0 0 0 406 23 0 0 20 0 32 0 30196924 2194964480 101367 270582939648 4194304 4964800 140737341908368 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=31887/tid=31897] ppid=31885 vsize=2143520 CPUtime=4.2 cores=0-31
/proc/31887/task/31897/stat : 31897 (claspmt) R 31885 31887 31857 0 -1 4202560 2877 0 0 0 398 22 0 0 21 0 32 0 30196925 2194964480 101367 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669978 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=31887/tid=31898] ppid=31885 vsize=2143520 CPUtime=4.31 cores=0-31
/proc/31887/task/31898/stat : 31898 (claspmt) R 31885 31887 31857 0 -1 4202560 3920 0 0 0 406 25 0 0 18 0 32 0 30196925 2194964480 101367 270582939648 4194304 4964800 140737341908368 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=31887/tid=31899] ppid=31885 vsize=2143520 CPUtime=4.3 cores=0-31
/proc/31887/task/31899/stat : 31899 (claspmt) R 31885 31887 31857 0 -1 4202560 4113 0 0 0 407 23 0 0 22 0 32 0 30196925 2194964480 101367 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31887/tid=31900] ppid=31885 vsize=2143520 CPUtime=4.25 cores=0-31
/proc/31887/task/31900/stat : 31900 (claspmt) R 31885 31887 31857 0 -1 4202560 3004 0 0 0 406 19 0 0 22 0 32 0 30196925 2194964480 101367 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31887/tid=31901] ppid=31885 vsize=2143520 CPUtime=4.66 cores=0-31
/proc/31887/task/31901/stat : 31901 (claspmt) R 31885 31887 31857 0 -1 4202560 2700 0 0 0 445 21 0 0 25 0 32 0 30196925 2194964480 101367 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668766 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=31887/tid=31902] ppid=31885 vsize=2143520 CPUtime=4.23 cores=0-31
/proc/31887/task/31902/stat : 31902 (claspmt) R 31885 31887 31857 0 -1 4202560 3684 0 0 0 407 16 0 0 21 0 32 0 30196925 2194964480 101367 270582939648 4194304 4964800 140737341908368 18446744073709551615 4332057 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=31887/tid=31903] ppid=31885 vsize=2143520 CPUtime=4.28 cores=0-31
/proc/31887/task/31903/stat : 31903 (claspmt) R 31885 31887 31857 0 -1 4202560 3744 0 0 0 405 23 0 0 19 0 32 0 30196925 2194964480 101367 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=31887/tid=31904] ppid=31885 vsize=2143520 CPUtime=4.28 cores=0-31
/proc/31887/task/31904/stat : 31904 (claspmt) R 31885 31887 31857 0 -1 4202560 2903 0 0 0 406 22 0 0 20 0 32 0 30196925 2194964480 101368 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31887/tid=31905] ppid=31885 vsize=2143520 CPUtime=4.3 cores=0-31
/proc/31887/task/31905/stat : 31905 (claspmt) R 31885 31887 31857 0 -1 4202560 3005 0 0 0 407 23 0 0 19 0 32 0 30196925 2194964480 101368 270582939648 4194304 4964800 140737341908368 18446744073709551615 4627177 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=31887/tid=31906] ppid=31885 vsize=2143520 CPUtime=4.29 cores=0-31
/proc/31887/task/31906/stat : 31906 (claspmt) R 31885 31887 31857 0 -1 4202560 4168 0 0 0 404 25 0 0 18 0 32 0 30196925 2194964480 101368 270582939648 4194304 4964800 140737341908368 18446744073709551615 4342213 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=31887/tid=31907] ppid=31885 vsize=2143520 CPUtime=4.28 cores=0-31
/proc/31887/task/31907/stat : 31907 (claspmt) R 31885 31887 31857 0 -1 4202560 4002 0 0 0 405 23 0 0 21 0 32 0 30196925 2194964480 101368 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=31887/tid=31908] ppid=31885 vsize=2143520 CPUtime=4.25 cores=0-31
/proc/31887/task/31908/stat : 31908 (claspmt) R 31885 31887 31857 0 -1 4202560 3157 0 0 0 406 19 0 0 21 0 32 0 30196925 2194964480 101368 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=31887/tid=31909] ppid=31885 vsize=2143520 CPUtime=4.67 cores=0-31
/proc/31887/task/31909/stat : 31909 (claspmt) R 31885 31887 31857 0 -1 4202560 2655 0 0 0 448 19 0 0 25 0 32 0 30196925 2194964480 101369 270582939648 4194304 4964800 140737341908368 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31887/tid=31910] ppid=31885 vsize=2143520 CPUtime=4.29 cores=0-31
/proc/31887/task/31910/stat : 31910 (claspmt) R 31885 31887 31857 0 -1 4202560 3864 0 0 0 408 21 0 0 22 0 32 0 30196925 2194964480 101369 270582939648 4194304 4964800 140737341908368 18446744073709551615 4653482 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=31887/tid=31911] ppid=31885 vsize=2143520 CPUtime=4.29 cores=0-31
/proc/31887/task/31911/stat : 31911 (claspmt) R 31885 31887 31857 0 -1 4202560 3810 0 0 0 406 23 0 0 20 0 32 0 30196925 2194964480 101369 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669493 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=31887/tid=31912] ppid=31885 vsize=2143520 CPUtime=4.27 cores=0-31
/proc/31887/task/31912/stat : 31912 (claspmt) R 31885 31887 31857 0 -1 4202560 3108 0 0 0 405 22 0 0 18 0 32 0 30196925 2194964480 101369 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=31887/tid=31913] ppid=31885 vsize=2143520 CPUtime=4.31 cores=0-31
/proc/31887/task/31913/stat : 31913 (claspmt) R 31885 31887 31857 0 -1 4202560 2789 0 0 0 406 25 0 0 22 0 32 0 30196925 2194964480 101369 270582939648 4194304 4964800 140737341908368 18446744073709551615 4342180 0 0 4096 18946 0 0 0 -1 4 0 0 0

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

/proc/31887/task/31891/stat : 31891 (claspmt) R 31885 31887 31857 0 -1 4202560 35701 0 0 0 495686 147 0 0 25 0 32 0 30196924 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=31887/tid=31892] ppid=31885 vsize=7815216 CPUtime=4955.99 cores=0-31
/proc/31887/task/31892/stat : 31892 (claspmt) R 31885 31887 31857 0 -1 4202560 53025 0 0 0 495379 220 0 0 25 0 32 0 30196924 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=31887/tid=31893] ppid=31885 vsize=7815216 CPUtime=4948.59 cores=0-31
/proc/31887/task/31893/stat : 31893 (claspmt) R 31885 31887 31857 0 -1 4202560 36211 0 0 0 494715 144 0 0 25 0 32 0 30196924 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=31887/tid=31894] ppid=31885 vsize=7815216 CPUtime=4959.03 cores=0-31
/proc/31887/task/31894/stat : 31894 (claspmt) R 31885 31887 31857 0 -1 4202560 34511 0 0 0 495745 158 0 0 25 0 32 0 30196924 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669704 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31887/tid=31895] ppid=31885 vsize=7815216 CPUtime=4958.94 cores=0-31
/proc/31887/task/31895/stat : 31895 (claspmt) R 31885 31887 31857 0 -1 4202560 173569 0 0 0 495246 648 0 0 25 0 32 0 30196924 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=31887/tid=31896] ppid=31885 vsize=7815216 CPUtime=4957.55 cores=0-31
/proc/31887/task/31896/stat : 31896 (claspmt) R 31885 31887 31857 0 -1 4202560 35336 0 0 0 495589 166 0 0 25 0 32 0 30196924 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=31887/tid=31897] ppid=31885 vsize=7815216 CPUtime=4951.87 cores=0-31
/proc/31887/task/31897/stat : 31897 (claspmt) R 31885 31887 31857 0 -1 4202560 20971 0 0 0 495099 88 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=31887/tid=31898] ppid=31885 vsize=7815216 CPUtime=4958.61 cores=0-31
/proc/31887/task/31898/stat : 31898 (claspmt) R 31885 31887 31857 0 -1 4202560 44758 0 0 0 495683 178 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=31887/tid=31899] ppid=31885 vsize=7815216 CPUtime=4942.15 cores=0-31
/proc/31887/task/31899/stat : 31899 (claspmt) R 31885 31887 31857 0 -1 4202560 28591 0 0 0 494099 116 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4327101 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=31887/tid=31900] ppid=31885 vsize=7815216 CPUtime=4958.94 cores=0-31
/proc/31887/task/31900/stat : 31900 (claspmt) R 31885 31887 31857 0 -1 4202560 45107 0 0 0 495705 189 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31887/tid=31901] ppid=31885 vsize=7815216 CPUtime=4959.3 cores=0-31
/proc/31887/task/31901/stat : 31901 (claspmt) R 31885 31887 31857 0 -1 4202560 34939 0 0 0 495799 131 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=31887/tid=31902] ppid=31885 vsize=7815216 CPUtime=4948.36 cores=0-31
/proc/31887/task/31902/stat : 31902 (claspmt) R 31885 31887 31857 0 -1 4202560 33348 0 0 0 494699 137 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=31887/tid=31903] ppid=31885 vsize=7815216 CPUtime=4958.93 cores=0-31
/proc/31887/task/31903/stat : 31903 (claspmt) R 31885 31887 31857 0 -1 4202560 120632 0 0 0 495443 450 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669486 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=31887/tid=31904] ppid=31885 vsize=7815216 CPUtime=4955.29 cores=0-31
/proc/31887/task/31904/stat : 31904 (claspmt) R 31885 31887 31857 0 -1 4202560 26163 0 0 0 495406 123 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4362496 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31887/tid=31905] ppid=31885 vsize=7815216 CPUtime=4958.8 cores=0-31
/proc/31887/task/31905/stat : 31905 (claspmt) R 31885 31887 31857 0 -1 4202560 22500 0 0 0 495792 88 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=31887/tid=31906] ppid=31885 vsize=7815216 CPUtime=4959.01 cores=0-31
/proc/31887/task/31906/stat : 31906 (claspmt) R 31885 31887 31857 0 -1 4202560 68062 0 0 0 495627 274 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=31887/tid=31907] ppid=31885 vsize=7815216 CPUtime=4934.03 cores=0-31
/proc/31887/task/31907/stat : 31907 (claspmt) R 31885 31887 31857 0 -1 4202560 32689 0 0 0 493265 138 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669560 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=31887/tid=31908] ppid=31885 vsize=7815216 CPUtime=4958.91 cores=0-31
/proc/31887/task/31908/stat : 31908 (claspmt) R 31885 31887 31857 0 -1 4202560 47678 0 0 0 495688 203 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=31887/tid=31909] ppid=31885 vsize=7815216 CPUtime=4942.27 cores=0-31
/proc/31887/task/31909/stat : 31909 (claspmt) R 31885 31887 31857 0 -1 4202560 35881 0 0 0 494084 143 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=31887/tid=31910] ppid=31885 vsize=7815216 CPUtime=4931.19 cores=0-31
/proc/31887/task/31910/stat : 31910 (claspmt) R 31885 31887 31857 0 -1 4202560 35117 0 0 0 492960 159 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31887/tid=31911] ppid=31885 vsize=7815216 CPUtime=4958.85 cores=0-31
/proc/31887/task/31911/stat : 31911 (claspmt) R 31885 31887 31857 0 -1 4202560 153150 0 0 0 495254 631 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=31887/tid=31912] ppid=31885 vsize=7815216 CPUtime=4959.01 cores=0-31
/proc/31887/task/31912/stat : 31912 (claspmt) R 31885 31887 31857 0 -1 4202560 30399 0 0 0 495763 138 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=31887/tid=31913] ppid=31885 vsize=7815216 CPUtime=4957.66 cores=0-31
/proc/31887/task/31913/stat : 31913 (claspmt) R 31885 31887 31857 0 -1 4202560 23539 0 0 0 495679 87 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31887/tid=31914] ppid=31885 vsize=7815216 CPUtime=4945.04 cores=0-31
/proc/31887/task/31914/stat : 31914 (claspmt) R 31885 31887 31857 0 -1 4202560 63303 0 0 0 494249 255 0 0 25 0 32 0 30196925 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31887/tid=31915] ppid=31885 vsize=7815216 CPUtime=4958.97 cores=0-31
/proc/31887/task/31915/stat : 31915 (claspmt) R 31885 31887 31857 0 -1 4202560 36426 0 0 0 495745 152 0 0 25 0 32 0 30196926 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=31887/tid=31916] ppid=31885 vsize=7815216 CPUtime=4958.98 cores=0-31
/proc/31887/task/31916/stat : 31916 (claspmt) R 31885 31887 31857 0 -1 4202560 45244 0 0 0 495694 204 0 0 25 0 32 0 30196926 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4370443 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=31887/tid=31917] ppid=31885 vsize=7815216 CPUtime=4957.56 cores=0-31
/proc/31887/task/31917/stat : 31917 (claspmt) R 31885 31887 31857 0 -1 4202560 40141 0 0 0 495599 157 0 0 25 0 32 0 30196926 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4362326 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=31887/tid=31918] ppid=31885 vsize=7815216 CPUtime=4958.97 cores=0-31
/proc/31887/task/31918/stat : 31918 (claspmt) R 31885 31887 31857 0 -1 4202560 39555 0 0 0 495729 168 0 0 25 0 32 0 30196926 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=31887/tid=31919] ppid=31885 vsize=7815216 CPUtime=4957.49 cores=0-31
/proc/31887/task/31919/stat : 31919 (claspmt) R 31885 31887 31857 0 -1 4202560 116441 0 0 0 495257 492 0 0 25 0 32 0 30196926 8002781184 1596564 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 158543
Current children cumulated vsize (KiB) 7815216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5007.9 s]
/proc/loadavg: 31.98 32.02 31.99 33/444 32068
/proc/meminfo: memFree=255826508/264257624 swapFree=67111528/67111528
[pid=31887] ppid=31885 vsize=7815216 CPUtime=160001 cores=0-31
/proc/31887/stat : 31887 (claspmt) R 31885 31887 31857 0 -1 4202496 1626064 0 0 0 15993523 6603 0 0 25 0 32 0 30196807 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 9 0 0 0
/proc/31887/statm: 1953804 1597254 463 189 0 1948153 0
[pid=31887/tid=31889] ppid=31885 vsize=7815216 CPUtime=5003.18 cores=0-31
/proc/31887/task/31889/stat : 31889 (claspmt) R 31885 31887 31857 0 -1 4202560 22923 0 0 0 500223 95 0 0 25 0 32 0 30196924 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31887/tid=31890] ppid=31885 vsize=7815216 CPUtime=5004.64 cores=0-31
/proc/31887/task/31890/stat : 31890 (claspmt) R 31885 31887 31857 0 -1 4202560 49672 0 0 0 500281 183 0 0 25 0 32 0 30196924 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31887/tid=31891] ppid=31885 vsize=7815216 CPUtime=5003.93 cores=0-31
/proc/31887/task/31891/stat : 31891 (claspmt) R 31885 31887 31857 0 -1 4202560 35701 0 0 0 500246 147 0 0 25 0 32 0 30196924 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=31887/tid=31892] ppid=31885 vsize=7815216 CPUtime=5001.6 cores=0-31
/proc/31887/task/31892/stat : 31892 (claspmt) R 31885 31887 31857 0 -1 4202560 53025 0 0 0 499940 220 0 0 25 0 32 0 30196924 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=31887/tid=31893] ppid=31885 vsize=7815216 CPUtime=4994.2 cores=0-31
/proc/31887/task/31893/stat : 31893 (claspmt) R 31885 31887 31857 0 -1 4202560 36212 0 0 0 499276 144 0 0 25 0 32 0 30196924 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=31887/tid=31894] ppid=31885 vsize=7815216 CPUtime=5004.65 cores=0-31
/proc/31887/task/31894/stat : 31894 (claspmt) R 31885 31887 31857 0 -1 4202560 34511 0 0 0 500307 158 0 0 25 0 32 0 30196924 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31887/tid=31895] ppid=31885 vsize=7815216 CPUtime=5004.55 cores=0-31
/proc/31887/task/31895/stat : 31895 (claspmt) R 31885 31887 31857 0 -1 4202560 173580 0 0 0 499807 648 0 0 25 0 32 0 30196924 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=31887/tid=31896] ppid=31885 vsize=7815216 CPUtime=5003.15 cores=0-31
/proc/31887/task/31896/stat : 31896 (claspmt) R 31885 31887 31857 0 -1 4202560 35336 0 0 0 500149 166 0 0 25 0 32 0 30196924 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4660384 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=31887/tid=31897] ppid=31885 vsize=7815216 CPUtime=4997.45 cores=0-31
/proc/31887/task/31897/stat : 31897 (claspmt) R 31885 31887 31857 0 -1 4202560 20971 0 0 0 499656 89 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=31887/tid=31898] ppid=31885 vsize=7815216 CPUtime=5004.22 cores=0-31
/proc/31887/task/31898/stat : 31898 (claspmt) R 31885 31887 31857 0 -1 4202560 44758 0 0 0 500244 178 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=31887/tid=31899] ppid=31885 vsize=7815216 CPUtime=4987.76 cores=0-31
/proc/31887/task/31899/stat : 31899 (claspmt) R 31885 31887 31857 0 -1 4202560 28613 0 0 0 498660 116 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=31887/tid=31900] ppid=31885 vsize=7815216 CPUtime=5004.55 cores=0-31
/proc/31887/task/31900/stat : 31900 (claspmt) R 31885 31887 31857 0 -1 4202560 45107 0 0 0 500266 189 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31887/tid=31901] ppid=31885 vsize=7815216 CPUtime=5004.92 cores=0-31
/proc/31887/task/31901/stat : 31901 (claspmt) R 31885 31887 31857 0 -1 4202560 34939 0 0 0 500361 131 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=31887/tid=31902] ppid=31885 vsize=7815216 CPUtime=4993.98 cores=0-31
/proc/31887/task/31902/stat : 31902 (claspmt) R 31885 31887 31857 0 -1 4202560 33348 0 0 0 499261 137 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=31887/tid=31903] ppid=31885 vsize=7815216 CPUtime=5004.54 cores=0-31
/proc/31887/task/31903/stat : 31903 (claspmt) R 31885 31887 31857 0 -1 4202560 120632 0 0 0 500004 450 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=31887/tid=31904] ppid=31885 vsize=7815216 CPUtime=5000.9 cores=0-31
/proc/31887/task/31904/stat : 31904 (claspmt) R 31885 31887 31857 0 -1 4202560 26167 0 0 0 499967 123 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31887/tid=31905] ppid=31885 vsize=7815216 CPUtime=5004.42 cores=0-31
/proc/31887/task/31905/stat : 31905 (claspmt) R 31885 31887 31857 0 -1 4202560 22500 0 0 0 500354 88 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=31887/tid=31906] ppid=31885 vsize=7815216 CPUtime=5004.62 cores=0-31
/proc/31887/task/31906/stat : 31906 (claspmt) R 31885 31887 31857 0 -1 4202560 68591 0 0 0 500186 276 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669434 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=31887/tid=31907] ppid=31885 vsize=7815216 CPUtime=4978.34 cores=0-31
/proc/31887/task/31907/stat : 31907 (claspmt) R 31885 31887 31857 0 -1 4202560 32690 0 0 0 497696 138 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=31887/tid=31908] ppid=31885 vsize=7815216 CPUtime=5004.52 cores=0-31
/proc/31887/task/31908/stat : 31908 (claspmt) R 31885 31887 31857 0 -1 4202560 47711 0 0 0 500249 203 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=31887/tid=31909] ppid=31885 vsize=7815216 CPUtime=4987.88 cores=0-31
/proc/31887/task/31909/stat : 31909 (claspmt) R 31885 31887 31857 0 -1 4202560 35920 0 0 0 498645 143 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=31887/tid=31910] ppid=31885 vsize=7815216 CPUtime=4976.8 cores=0-31
/proc/31887/task/31910/stat : 31910 (claspmt) R 31885 31887 31857 0 -1 4202560 35117 0 0 0 497521 159 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31887/tid=31911] ppid=31885 vsize=7815216 CPUtime=5004.46 cores=0-31
/proc/31887/task/31911/stat : 31911 (claspmt) R 31885 31887 31857 0 -1 4202560 153156 0 0 0 499815 631 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4360553 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=31887/tid=31912] ppid=31885 vsize=7815216 CPUtime=5004.62 cores=0-31
/proc/31887/task/31912/stat : 31912 (claspmt) R 31885 31887 31857 0 -1 4202560 30399 0 0 0 500324 138 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=31887/tid=31913] ppid=31885 vsize=7815216 CPUtime=5003.26 cores=0-31
/proc/31887/task/31913/stat : 31913 (claspmt) R 31885 31887 31857 0 -1 4202560 23539 0 0 0 500239 87 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31887/tid=31914] ppid=31885 vsize=7815216 CPUtime=4990.61 cores=0-31
/proc/31887/task/31914/stat : 31914 (claspmt) R 31885 31887 31857 0 -1 4202560 63305 0 0 0 498806 255 0 0 25 0 32 0 30196925 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31887/tid=31915] ppid=31885 vsize=7815216 CPUtime=5004.58 cores=0-31
/proc/31887/task/31915/stat : 31915 (claspmt) R 31885 31887 31857 0 -1 4202560 36466 0 0 0 500306 152 0 0 25 0 32 0 30196926 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=31887/tid=31916] ppid=31885 vsize=7815216 CPUtime=5004.59 cores=0-31
/proc/31887/task/31916/stat : 31916 (claspmt) R 31885 31887 31857 0 -1 4202560 45244 0 0 0 500255 204 0 0 25 0 32 0 30196926 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=31887/tid=31917] ppid=31885 vsize=7815216 CPUtime=5003.17 cores=0-31
/proc/31887/task/31917/stat : 31917 (claspmt) R 31885 31887 31857 0 -1 4202560 40142 0 0 0 500160 157 0 0 25 0 32 0 30196926 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=31887/tid=31918] ppid=31885 vsize=7815216 CPUtime=5004.57 cores=0-31
/proc/31887/task/31918/stat : 31918 (claspmt) R 31885 31887 31857 0 -1 4202560 39555 0 0 0 500289 168 0 0 25 0 32 0 30196926 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=31887/tid=31919] ppid=31885 vsize=7815216 CPUtime=5003.1 cores=0-31
/proc/31887/task/31919/stat : 31919 (claspmt) R 31885 31887 31857 0 -1 4202560 116441 0 0 0 499817 493 0 0 25 0 32 0 30196926 8002781184 1597254 270582939648 4194304 4964800 140737341908368 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 7815216

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -31887

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

[startup+5009.43 s]
/proc/loadavg: 31.98 32.02 31.99 2/414 32069
/proc/meminfo: memFree=255898792/264257624 swapFree=67111528/67111528
[pid=31887] ppid=31885 vsize=7654132 CPUtime=160003 cores=0-31
/proc/31887/stat : 31887 (claspmt) R 31885 31887 31857 0 -1 4202496 1626075 0 0 0 15993702 6604 0 0 25 0 1 0 30196807 7837831168 1577451 270582939648 4194304 4964800 140737341908368 18446744073709551615 258650604936 0 0 4096 18946 0 0 0 17 9 0 0 0
/proc/31887/statm: 1913533 1577451 474 189 0 1907882 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 7654132

[startup+5009.8 s]
/proc/loadavg: 31.98 32.02 31.99 2/414 32069
/proc/meminfo: memFree=255898792/264257624 swapFree=67111528/67111528
[pid=31887] ppid=31885 vsize=7638724 CPUtime=160003 cores=0-31
/proc/31887/stat : 31887 (claspmt) R 31885 31887 31857 0 -1 4202496 1626075 0 0 0 15993738 6604 0 0 25 0 1 0 30196807 7822053376 1572682 270582939648 4194304 4964800 140737341908368 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 17 9 0 0 0
/proc/31887/statm: 1909681 1572682 474 189 0 1904030 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 7638724

[startup+5010.2 s]
/proc/loadavg: 31.98 32.02 31.99 2/414 32069
/proc/meminfo: memFree=255898792/264257624 swapFree=67111528/67111528
[pid=31887] ppid=31885 vsize=0 CPUtime=160004 cores=0-31
/proc/31887/stat : 31887 (claspmt) R 31885 31887 31857 0 -1 4203524 1626075 0 0 0 15993751 6631 0 0 25 0 1 0 30196807 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 9 0 0 0
/proc/31887/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): 5010.3
CPU time (s): 160004
CPU user time (s): 159938
CPU system time (s): 66.4139
CPU usage (%): 3193.5
Max. virtual memory (cumulated for all children) (KiB): 7815216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159938
system time used= 66.4139
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1626075
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= 375754
involuntary context switches= 404322

runsolver used 29.0756 second user time and 112.227 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-09 21:34:59
IDJOB=3472446
IDBENCH=83105
IDSOLVER=1961
FILE ID=node200/3472446-1307648099
RUNJOBID= node200-1307648099-31871
PBS_JOBID= 13547802
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-bottom24.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-3472446-1307648099/watcher-3472446-1307648099 -o /tmp/evaluation-result-3472446-1307648099/solver-3472446-1307648099 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472446-1307648099.cnf

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

MD5SUM BENCH= 16e1f2a4ab0c9df60ac0d098f9f252bb
RANDOM SEED=1123334335

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:      262220972 kB
Buffers:        245276 kB
Cached:        1485628 kB
SwapCached:          0 kB
Active:         264880 kB
Inactive:      1529044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262220972 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4328 kB
Writeback:           0 kB
AnonPages:       65344 kB
Mapped:          13816 kB
Slab:           162884 kB
PageTables:       5224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   159280 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-09 22:58:30