Trace number 3472463

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) 160005 5009.29

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom18.cnf
MD5SUM9ece8f569c93ceee834817ef3350ed8e
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 variables36410
Number of clauses121578
Sum of the clauses size309786
Maximum clause length1188
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 262692
Number of clauses of size 358247
Number of clauses of size 4170
Number of clauses of size 516
Number of clauses of size over 5452

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...699472/instance-3472463-1307699472.cnf
0.59/0.65	c Solving...
160002.09/5007.03	
160002.09/5007.03	*** INTERRUPTED! ***
160002.09/5007.03	*** 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-3472463-1307699472/watcher-3472463-1307699472 -o /tmp/evaluation-result-3472463-1307699472/solver-3472463-1307699472 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472463-1307699472.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: 30.11 31.45 31.68 1/413 3083
/proc/meminfo: memFree=262173388/264257624 swapFree=67111528/67111528
[pid=3083] ppid=3081 vsize=25584 CPUtime=0.01 cores=0-31
/proc/3083/stat : 3083 (claspmt) R 3081 3083 2983 0 -1 4202496 1286 0 0 0 1 0 0 0 21 0 1 0 35334143 26198016 1215 270582939648 4194304 4964800 140735961494112 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/3083/statm: 6396 1219 373 189 0 1270 0

[startup+0.101752 s]
/proc/loadavg: 30.11 31.45 31.68 1/413 3083
/proc/meminfo: memFree=262173388/264257624 swapFree=67111528/67111528
[pid=3083] ppid=3081 vsize=32372 CPUtime=0.09 cores=0-31
/proc/3083/stat : 3083 (claspmt) R 3081 3083 2983 0 -1 4202496 3939 0 0 0 8 1 0 0 21 0 1 0 35334143 33148928 3292 270582939648 4194304 4964800 140735961494112 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/3083/statm: 8093 3293 386 189 0 2967 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32372

[startup+0.200759 s]
/proc/loadavg: 30.11 31.45 31.68 1/413 3083
/proc/meminfo: memFree=262173388/264257624 swapFree=67111528/67111528
[pid=3083] ppid=3081 vsize=39316 CPUtime=0.18 cores=0-31
/proc/3083/stat : 3083 (claspmt) R 3081 3083 2983 0 -1 4202496 6112 0 0 0 17 1 0 0 21 0 1 0 35334143 40259584 4929 270582939648 4194304 4964800 140735961494112 18446744073709551615 4607722 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/3083/statm: 9829 4929 400 189 0 4703 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 39316

[startup+0.300768 s]
/proc/loadavg: 30.11 31.45 31.68 1/413 3083
/proc/meminfo: memFree=262173388/264257624 swapFree=67111528/67111528
[pid=3083] ppid=3081 vsize=40636 CPUtime=0.29 cores=0-31
/proc/3083/stat : 3083 (claspmt) R 3081 3083 2983 0 -1 4202496 6445 0 0 0 27 2 0 0 22 0 1 0 35334143 41611264 5262 270582939648 4194304 4964800 140735961494112 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/3083/statm: 10159 5262 401 189 0 5033 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40636

[startup+0.700887 s]
/proc/loadavg: 30.11 31.45 31.68 1/413 3083
/proc/meminfo: memFree=262173388/264257624 swapFree=67111528/67111528
[pid=3083] ppid=3081 vsize=491492 CPUtime=1.68 cores=0-31
/proc/3083/stat : 3083 (claspmt) S 3081 3083 2983 0 -1 4202496 17625 0 0 0 66 102 0 0 18 0 32 0 35334143 503287808 13178 270582939648 4194304 4964800 140735961494112 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/3083/statm: 122873 13189 428 189 0 117222 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 491492

[startup+1.5027 s]
/proc/loadavg: 30.02 31.41 31.67 5/445 3115
/proc/meminfo: memFree=261999880/264257624 swapFree=67111528/67111528
[pid=3083] ppid=3081 vsize=2140428 CPUtime=13.17 cores=0-31
/proc/3083/stat : 3083 (claspmt) R 3081 3083 2983 0 -1 4202496 56679 0 0 0 928 389 0 0 16 0 32 0 35334143 2191798272 46091 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668794 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/3083/statm: 535107 46092 461 189 0 529456 0
[pid=3083/tid=3085] ppid=3081 vsize=2140428 CPUtime=0.37 cores=0-31
/proc/3083/task/3085/stat : 3085 (claspmt) R 3081 3083 2983 0 -1 4202560 1247 0 0 0 25 12 0 0 16 0 32 0 35334208 2191798272 46092 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=3083/tid=3086] ppid=3081 vsize=2140428 CPUtime=0.38 cores=0-31
/proc/3083/task/3086/stat : 3086 (claspmt) R 3081 3083 2983 0 -1 4202560 1727 0 0 0 25 13 0 0 16 0 32 0 35334208 2191798272 46092 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=3083/tid=3087] ppid=3081 vsize=2140428 CPUtime=0.37 cores=0-31
/proc/3083/task/3087/stat : 3087 (claspmt) R 3081 3083 2983 0 -1 4202560 1641 0 0 0 26 11 0 0 16 0 32 0 35334208 2191798272 46093 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=3083/tid=3088] ppid=3081 vsize=2140428 CPUtime=0.34 cores=0-31
/proc/3083/task/3088/stat : 3088 (claspmt) R 3081 3083 2983 0 -1 4202560 1452 0 0 0 23 11 0 0 16 0 32 0 35334208 2191798272 46093 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=3083/tid=3089] ppid=3081 vsize=2140428 CPUtime=0.52 cores=0-31
/proc/3083/task/3089/stat : 3089 (claspmt) R 3081 3083 2983 0 -1 4202560 1615 0 0 0 38 14 0 0 18 0 32 0 35334208 2191798272 46093 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=3083/tid=3090] ppid=3081 vsize=2140428 CPUtime=0.37 cores=0-31
/proc/3083/task/3090/stat : 3090 (claspmt) R 3081 3083 2983 0 -1 4202560 1739 0 0 0 24 13 0 0 16 0 32 0 35334208 2191798272 46093 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=3083/tid=3091] ppid=3081 vsize=2140428 CPUtime=0.37 cores=0-31
/proc/3083/task/3091/stat : 3091 (claspmt) R 3081 3083 2983 0 -1 4202560 1729 0 0 0 24 13 0 0 16 0 32 0 35334208 2191798272 46093 270582939648 4194304 4964800 140735961494112 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=3083/tid=3092] ppid=3081 vsize=2140428 CPUtime=0.35 cores=0-31
/proc/3083/task/3092/stat : 3092 (claspmt) R 3081 3083 2983 0 -1 4202560 1409 0 0 0 24 11 0 0 16 0 32 0 35334209 2191798272 46093 270582939648 4194304 4964800 140735961494112 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=3083/tid=3093] ppid=3081 vsize=2140428 CPUtime=0.34 cores=0-31
/proc/3083/task/3093/stat : 3093 (claspmt) R 3081 3083 2983 0 -1 4202560 1419 0 0 0 24 10 0 0 16 0 32 0 35334209 2191798272 46093 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=3083/tid=3094] ppid=3081 vsize=2140428 CPUtime=0.38 cores=0-31
/proc/3083/task/3094/stat : 3094 (claspmt) R 3081 3083 2983 0 -1 4202560 1728 0 0 0 25 13 0 0 16 0 32 0 35334209 2191798272 46093 270582939648 4194304 4964800 140735961494112 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=3083/tid=3095] ppid=3081 vsize=2140428 CPUtime=0.36 cores=0-31
/proc/3083/task/3095/stat : 3095 (claspmt) R 3081 3083 2983 0 -1 4202560 1773 0 0 0 24 12 0 0 16 0 32 0 35334209 2191798272 46093 270582939648 4194304 4964800 140735961494112 18446744073709551615 258650623178 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=3083/tid=3096] ppid=3081 vsize=2140428 CPUtime=0.36 cores=0-31
/proc/3083/task/3096/stat : 3096 (claspmt) R 3081 3083 2983 0 -1 4202560 1280 0 0 0 24 12 0 0 16 0 32 0 35334209 2191798272 46093 270582939648 4194304 4964800 140735961494112 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=3083/tid=3097] ppid=3081 vsize=2140428 CPUtime=0.54 cores=0-31
/proc/3083/task/3097/stat : 3097 (claspmt) R 3081 3083 2983 0 -1 4202560 1528 0 0 0 44 10 0 0 18 0 32 0 35334209 2191798272 46093 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=3083/tid=3098] ppid=3081 vsize=2140428 CPUtime=0.37 cores=0-31
/proc/3083/task/3098/stat : 3098 (claspmt) R 3081 3083 2983 0 -1 4202560 1776 0 0 0 25 12 0 0 16 0 32 0 35334209 2191798272 46093 270582939648 4194304 4964800 140735961494112 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=3083/tid=3099] ppid=3081 vsize=2140428 CPUtime=0.33 cores=0-31
/proc/3083/task/3099/stat : 3099 (claspmt) R 3081 3083 2983 0 -1 4202560 1639 0 0 0 24 9 0 0 16 0 32 0 35334209 2191798272 46093 270582939648 4194304 4964800 140735961494112 18446744073709551615 258651060958 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=3083/tid=3100] ppid=3081 vsize=2140428 CPUtime=0.37 cores=0-31
/proc/3083/task/3100/stat : 3100 (claspmt) R 3081 3083 2983 0 -1 4202560 1414 0 0 0 24 13 0 0 16 0 32 0 35334209 2191798272 46093 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=3083/tid=3101] ppid=3081 vsize=2140428 CPUtime=0.35 cores=0-31
/proc/3083/task/3101/stat : 3101 (claspmt) R 3081 3083 2983 0 -1 4202560 1410 0 0 0 24 11 0 0 16 0 32 0 35334209 2191798272 46093 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670691 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=3083/tid=3102] ppid=3081 vsize=2140428 CPUtime=0.37 cores=0-31
/proc/3083/task/3102/stat : 3102 (claspmt) R 3081 3083 2983 0 -1 4202560 1755 0 0 0 25 12 0 0 16 0 32 0 35334209 2191798272 46095 270582939648 4194304 4964800 140735961494112 18446744073709551615 4660498 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=3083/tid=3103] ppid=3081 vsize=2140428 CPUtime=0.35 cores=0-31
/proc/3083/task/3103/stat : 3103 (claspmt) R 3081 3083 2983 0 -1 4202560 1626 0 0 0 24 11 0 0 16 0 32 0 35334209 2191798272 46095 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=3083/tid=3104] ppid=3081 vsize=2140428 CPUtime=0.35 cores=0-31
/proc/3083/task/3104/stat : 3104 (claspmt) R 3081 3083 2983 0 -1 4202560 1343 0 0 0 24 11 0 0 16 0 32 0 35334209 2191798272 46095 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=3083/tid=3105] ppid=3081 vsize=2140428 CPUtime=0.57 cores=0-31
/proc/3083/task/3105/stat : 3105 (claspmt) R 3081 3083 2983 0 -1 4202560 1588 0 0 0 44 13 0 0 18 0 32 0 35334209 2191798272 46095 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=3083/tid=3106] ppid=3081 vsize=2140428 CPUtime=0.38 cores=0-31
/proc/3083/task/3106/stat : 3106 (claspmt) R 3081 3083 2983 0 -1 4202560 1757 0 0 0 24 14 0 0 16 0 32 0 35334209 2191798272 46096 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=3083/tid=3107] ppid=3081 vsize=2140428 CPUtime=0.38 cores=0-31
/proc/3083/task/3107/stat : 3107 (claspmt) R 3081 3083 2983 0 -1 4202560 1627 0 0 0 25 13 0 0 16 0 32 0 35334209 2191798272 46096 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=3083/tid=3108] ppid=3081 vsize=2140428 CPUtime=0.37 cores=0-31
/proc/3083/task/3108/stat : 3108 (claspmt) R 3081 3083 2983 0 -1 4202560 1387 0 0 0 24 13 0 0 16 0 32 0 35334209 2191798272 46096 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=3083/tid=3109] ppid=3081 vsize=2140428 CPUtime=0.35 cores=0-31
/proc/3083/task/3109/stat : 3109 (claspmt) R 3081 3083 2983 0 -1 4202560 1389 0 0 0 24 11 0 0 16 0 32 0 35334209 2191798272 46096 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=3083/tid=3110] ppid=3081 vsize=2140428 CPUtime=0.36 cores=0-31
/proc/3083/task/3110/stat : 3110 (claspmt) R 3081 3083 2983 0 -1 4202560 1789 0 0 0 24 12 0 0 16 0 32 0 35334209 2191798272 46096 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668672 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=3083/tid=3111] ppid=3081 vsize=2140428 CPUtime=0.37 cores=0-31
/proc/3083/task/3111/stat : 3111 (claspmt) R 3081 3083 2983 0 -1 4202560 1731 0 0 0 25 12 0 0 16 0 32 0 35334209 2191798272 46096 270582939648 4194304 4964800 140735961494112 18446744073709551615 4669091 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=3083/tid=3112] ppid=3081 vsize=2140428 CPUtime=0.35 cores=0-31
/proc/3083/task/3112/stat : 3112 (claspmt) R 3081 3083 2983 0 -1 4202560 1407 0 0 0 24 11 0 0 16 0 32 0 35334209 2191798272 46096 270582939648 4194304 4964800 140735961494112 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=3083/tid=3113] ppid=3081 vsize=2140428 CPUtime=0.56 cores=0-31
/proc/3083/task/3113/stat : 3113 (claspmt) R 3081 3083 2983 0 -1 4202560 1574 0 0 0 43 13 0 0 18 0 32 0 35334209 2191798272 46097 270582939648 4194304 4964800 140735961494112 18446744073709551615 4400387 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=3083/tid=3114] ppid=3081 vsize=2140428 CPUtime=0.36 cores=0-31
/proc/3083/task/3114/stat : 3114 (claspmt) R 3081 3083 2983 0 -1 4202560 1818 0 0 0 25 11 0 0 16 0 32 0 35334209 2191798272 46097 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=3083/tid=3115] ppid=3081 vsize=2140428 CPUtime=0.37 cores=0-31
/proc/3083/task/3115/stat : 3115 (claspmt) S 3081 3083 2983 0 -1 4202560 1683 0 0 0 24 13 0 0 16 0 32 0 35334209 2191798272 46098 270582939648 4194304 4964800 140735961494112 18446744073709551615 258651060958 0 0 4096 18946 18446744071566924984 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 13.17
Current children cumulated vsize (KiB) 2140428

[startup+3.10175 s]
/proc/loadavg: 30.02 31.41 31.67 34/445 3115
/proc/meminfo: memFree=261975456/264257624 swapFree=67111528/67111528
[pid=3083] ppid=3081 vsize=2141508 CPUtime=64.05 cores=0-31
/proc/3083/stat : 3083 (claspmt) R 3081 3083 2983 0 -1 4202496 69666 0 0 0 5975 430 0 0 18 0 32 0 35334143 2192904192 59078 270582939648 4194304 4964800 140735961494112 18446744073709551615 4684718 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/3083/statm: 535377 59079 461 189 0 529726 0
[pid=3083/tid=3085] ppid=3081 vsize=2141508 CPUtime=1.96 cores=0-31
/proc/3083/task/3085/stat : 3085 (claspmt) R 3081 3083 2983 0 -1 4202560 1626 0 0 0 183 13 0 0 18 0 32 0 35334208 2192904192 59079 270582939648 4194304 4964800 140735961494112 18446744073709551615 4321111 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=3083/tid=3086] ppid=3081 vsize=2141508 CPUtime=1.96 cores=0-31
/proc/3083/task/3086/stat : 3086 (claspmt) R 3081 3083 2983 0 -1 4202560 2363 0 0 0 182 14 0 0 18 0 32 0 35334208 2192904192 59079 270582939648 4194304 4964800 140735961494112 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=3083/tid=3087] ppid=3081 vsize=2141508 CPUtime=1.95 cores=0-31
/proc/3083/task/3087/stat : 3087 (claspmt) R 3081 3083 2983 0 -1 4202560 2073 0 0 0 183 12 0 0 18 0 32 0 35334208 2192904192 59079 270582939648 4194304 4964800 140735961494112 18446744073709551615 4361097 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=3083/tid=3088] ppid=3081 vsize=2141508 CPUtime=1.94 cores=0-31
/proc/3083/task/3088/stat : 3088 (claspmt) R 3081 3083 2983 0 -1 4202560 1908 0 0 0 181 13 0 0 18 0 32 0 35334208 2192904192 59080 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=3083/tid=3089] ppid=3081 vsize=2141508 CPUtime=2.09 cores=0-31
/proc/3083/task/3089/stat : 3089 (claspmt) R 3081 3083 2983 0 -1 4202560 1645 0 0 0 195 14 0 0 21 0 32 0 35334208 2192904192 59080 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=3083/tid=3090] ppid=3081 vsize=2141508 CPUtime=1.96 cores=0-31
/proc/3083/task/3090/stat : 3090 (claspmt) R 3081 3083 2983 0 -1 4202560 2156 0 0 0 182 14 0 0 18 0 32 0 35334208 2192904192 59080 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668614 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=3083/tid=3091] ppid=3081 vsize=2141508 CPUtime=1.96 cores=0-31
/proc/3083/task/3091/stat : 3091 (claspmt) R 3081 3083 2983 0 -1 4202560 2308 0 0 0 182 14 0 0 18 0 32 0 35334208 2192904192 59080 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=3083/tid=3092] ppid=3081 vsize=2141508 CPUtime=1.95 cores=0-31
/proc/3083/task/3092/stat : 3092 (claspmt) R 3081 3083 2983 0 -1 4202560 1776 0 0 0 183 12 0 0 18 0 32 0 35334209 2192904192 59080 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=3083/tid=3093] ppid=3081 vsize=2141508 CPUtime=1.93 cores=0-31
/proc/3083/task/3093/stat : 3093 (claspmt) R 3081 3083 2983 0 -1 4202560 1725 0 0 0 182 11 0 0 18 0 32 0 35334209 2192904192 59080 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=3083/tid=3094] ppid=3081 vsize=2141508 CPUtime=1.97 cores=0-31
/proc/3083/task/3094/stat : 3094 (claspmt) R 3081 3083 2983 0 -1 4202560 2333 0 0 0 182 15 0 0 18 0 32 0 35334209 2192904192 59080 270582939648 4194304 4964800 140735961494112 18446744073709551615 4627652 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=3083/tid=3095] ppid=3081 vsize=2141508 CPUtime=1.96 cores=0-31
/proc/3083/task/3095/stat : 3095 (claspmt) R 3081 3083 2983 0 -1 4202560 2148 0 0 0 182 14 0 0 18 0 32 0 35334209 2192904192 59080 270582939648 4194304 4964800 140735961494112 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=3083/tid=3096] ppid=3081 vsize=2141508 CPUtime=1.95 cores=0-31
/proc/3083/task/3096/stat : 3096 (claspmt) R 3081 3083 2983 0 -1 4202560 1821 0 0 0 181 14 0 0 18 0 32 0 35334209 2192904192 59080 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=3083/tid=3097] ppid=3081 vsize=2141508 CPUtime=2.14 cores=0-31
/proc/3083/task/3097/stat : 3097 (claspmt) R 3081 3083 2983 0 -1 4202560 1555 0 0 0 204 10 0 0 21 0 32 0 35334209 2192904192 59080 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668636 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=3083/tid=3098] ppid=3081 vsize=2141508 CPUtime=1.97 cores=0-31
/proc/3083/task/3098/stat : 3098 (claspmt) R 3081 3083 2983 0 -1 4202560 2199 0 0 0 183 14 0 0 18 0 32 0 35334209 2192904192 59081 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=3083/tid=3099] ppid=3081 vsize=2141508 CPUtime=1.92 cores=0-31
/proc/3083/task/3099/stat : 3099 (claspmt) R 3081 3083 2983 0 -1 4202560 2080 0 0 0 181 11 0 0 18 0 32 0 35334209 2192904192 59081 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=3083/tid=3100] ppid=3081 vsize=2141508 CPUtime=1.97 cores=0-31
/proc/3083/task/3100/stat : 3100 (claspmt) R 3081 3083 2983 0 -1 4202560 1653 0 0 0 183 14 0 0 18 0 32 0 35334209 2192904192 59081 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=3083/tid=3101] ppid=3081 vsize=2141508 CPUtime=1.95 cores=0-31
/proc/3083/task/3101/stat : 3101 (claspmt) R 3081 3083 2983 0 -1 4202560 1776 0 0 0 183 12 0 0 18 0 32 0 35334209 2192904192 59089 270582939648 4194304 4964800 140735961494112 18446744073709551615 4669017 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=3083/tid=3102] ppid=3081 vsize=2141508 CPUtime=1.96 cores=0-31
/proc/3083/task/3102/stat : 3102 (claspmt) R 3081 3083 2983 0 -1 4202560 2360 0 0 0 183 13 0 0 18 0 32 0 35334209 2192904192 59089 270582939648 4194304 4964800 140735961494112 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=3083/tid=3103] ppid=3081 vsize=2141508 CPUtime=1.94 cores=0-31
/proc/3083/task/3103/stat : 3103 (claspmt) R 3081 3083 2983 0 -1 4202560 2104 0 0 0 181 13 0 0 18 0 32 0 35334209 2192904192 59090 270582939648 4194304 4964800 140735961494112 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=3083/tid=3104] ppid=3081 vsize=2141508 CPUtime=1.94 cores=0-31
/proc/3083/task/3104/stat : 3104 (claspmt) R 3081 3083 2983 0 -1 4202560 1804 0 0 0 182 12 0 0 18 0 32 0 35334209 2192904192 59090 270582939648 4194304 4964800 140735961494112 18446744073709551615 4669149 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=3083/tid=3105] ppid=3081 vsize=2141508 CPUtime=2.17 cores=0-31
/proc/3083/task/3105/stat : 3105 (claspmt) R 3081 3083 2983 0 -1 4202560 1625 0 0 0 204 13 0 0 20 0 32 0 35334209 2192904192 59090 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668672 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=3083/tid=3106] ppid=3081 vsize=2141508 CPUtime=1.98 cores=0-31
/proc/3083/task/3106/stat : 3106 (claspmt) R 3081 3083 2983 0 -1 4202560 2130 0 0 0 182 16 0 0 18 0 32 0 35334209 2192904192 59091 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=3083/tid=3107] ppid=3081 vsize=2141508 CPUtime=1.97 cores=0-31
/proc/3083/task/3107/stat : 3107 (claspmt) R 3081 3083 2983 0 -1 4202560 2260 0 0 0 181 16 0 0 18 0 32 0 35334209 2192904192 59091 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=3083/tid=3108] ppid=3081 vsize=2141508 CPUtime=1.96 cores=0-31
/proc/3083/task/3108/stat : 3108 (claspmt) R 3081 3083 2983 0 -1 4202560 1804 0 0 0 182 14 0 0 18 0 32 0 35334209 2192904192 59091 270582939648 4194304 4964800 140735961494112 18446744073709551615 4660835 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=3083/tid=3109] ppid=3081 vsize=2141508 CPUtime=1.93 cores=0-31
/proc/3083/task/3109/stat : 3109 (claspmt) R 3081 3083 2983 0 -1 4202560 1698 0 0 0 181 12 0 0 18 0 32 0 35334209 2192904192 59091 270582939648 4194304 4964800 140735961494112 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=3083/tid=3110] ppid=3081 vsize=2141508 CPUtime=1.95 cores=0-31
/proc/3083/task/3110/stat : 3110 (claspmt) R 3081 3083 2983 0 -1 4202560 2482 0 0 0 181 14 0 0 18 0 32 0 35334209 2192904192 59091 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=3083/tid=3111] ppid=3081 vsize=2141508 CPUtime=1.96 cores=0-31
/proc/3083/task/3111/stat : 3111 (claspmt) R 3081 3083 2983 0 -1 4202560 2146 0 0 0 183 13 0 0 18 0 32 0 35334209 2192904192 59092 270582939648 4194304 4964800 140735961494112 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=3083/tid=3112] ppid=3081 vsize=2141508 CPUtime=1.94 cores=0-31
/proc/3083/task/3112/stat : 3112 (claspmt) R 3081 3083 2983 0 -1 4202560 1915 0 0 0 181 13 0 0 18 0 32 0 35334209 2192904192 59092 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=3083/tid=3113] ppid=3081 vsize=2141508 CPUtime=2.16 cores=0-31
/proc/3083/task/3113/stat : 3113 (claspmt) R 3081 3083 2983 0 -1 4202560 1606 0 0 0 203 13 0 0 20 0 32 0 35334209 2192904192 59093 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=3083/tid=3114] ppid=3081 vsize=2141508 CPUtime=1.96 cores=0-31

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

[pid=3083/tid=3092] ppid=3081 vsize=5319852 CPUtime=4959.86 cores=0-31
/proc/3083/task/3092/stat : 3092 (claspmt) R 3081 3083 2983 0 -1 4202560 20226 0 0 0 495890 96 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=3083/tid=3093] ppid=3081 vsize=5319852 CPUtime=4930.3 cores=0-31
/proc/3083/task/3093/stat : 3093 (claspmt) R 3081 3083 2983 0 -1 4202560 20122 0 0 0 492962 68 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=3083/tid=3094] ppid=3081 vsize=5319852 CPUtime=4959.97 cores=0-31
/proc/3083/task/3094/stat : 3094 (claspmt) R 3081 3083 2983 0 -1 4202560 43863 0 0 0 495869 128 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=3083/tid=3095] ppid=3081 vsize=5319852 CPUtime=4946.39 cores=0-31
/proc/3083/task/3095/stat : 3095 (claspmt) R 3081 3083 2983 0 -1 4202560 20547 0 0 0 494555 84 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=3083/tid=3096] ppid=3081 vsize=5319852 CPUtime=4959.94 cores=0-31
/proc/3083/task/3096/stat : 3096 (claspmt) R 3081 3083 2983 0 -1 4202560 26914 0 0 0 495892 102 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=3083/tid=3097] ppid=3081 vsize=5319852 CPUtime=4960.1 cores=0-31
/proc/3083/task/3097/stat : 3097 (claspmt) R 3081 3083 2983 0 -1 4202560 25082 0 0 0 495914 96 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=3083/tid=3098] ppid=3081 vsize=5319852 CPUtime=4959.87 cores=0-31
/proc/3083/task/3098/stat : 3098 (claspmt) R 3081 3083 2983 0 -1 4202560 18827 0 0 0 495912 75 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=3083/tid=3099] ppid=3081 vsize=5319852 CPUtime=4956.08 cores=0-31
/proc/3083/task/3099/stat : 3099 (claspmt) R 3081 3083 2983 0 -1 4202560 78682 0 0 0 495282 326 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=3083/tid=3100] ppid=3081 vsize=5319852 CPUtime=4944.69 cores=0-31
/proc/3083/task/3100/stat : 3100 (claspmt) R 3081 3083 2983 0 -1 4202560 20204 0 0 0 494366 103 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=3083/tid=3101] ppid=3081 vsize=5319852 CPUtime=4954.1 cores=0-31
/proc/3083/task/3101/stat : 3101 (claspmt) R 3081 3083 2983 0 -1 4202560 19936 0 0 0 495340 70 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=3083/tid=3102] ppid=3081 vsize=5319852 CPUtime=4959.96 cores=0-31
/proc/3083/task/3102/stat : 3102 (claspmt) R 3081 3083 2983 0 -1 4202560 33051 0 0 0 495878 118 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=3083/tid=3103] ppid=3081 vsize=5319852 CPUtime=4959.55 cores=0-31
/proc/3083/task/3103/stat : 3103 (claspmt) R 3081 3083 2983 0 -1 4202560 19430 0 0 0 495877 78 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=3083/tid=3104] ppid=3081 vsize=5319852 CPUtime=4958.56 cores=0-31
/proc/3083/task/3104/stat : 3104 (claspmt) R 3081 3083 2983 0 -1 4202560 28277 0 0 0 495751 105 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=3083/tid=3105] ppid=3081 vsize=5319852 CPUtime=4959.84 cores=0-31
/proc/3083/task/3105/stat : 3105 (claspmt) R 3081 3083 2983 0 -1 4202560 23121 0 0 0 495886 98 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4669386 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=3083/tid=3106] ppid=3081 vsize=5319852 CPUtime=4959.85 cores=0-31
/proc/3083/task/3106/stat : 3106 (claspmt) R 3081 3083 2983 0 -1 4202560 20685 0 0 0 495902 83 0 0 19 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=3083/tid=3107] ppid=3081 vsize=5319852 CPUtime=4959.91 cores=0-31
/proc/3083/task/3107/stat : 3107 (claspmt) R 3081 3083 2983 0 -1 4202560 95085 0 0 0 495601 390 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=3083/tid=3108] ppid=3081 vsize=5319852 CPUtime=4936.33 cores=0-31
/proc/3083/task/3108/stat : 3108 (claspmt) R 3081 3083 2983 0 -1 4202560 19644 0 0 0 493538 95 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=3083/tid=3109] ppid=3081 vsize=5319852 CPUtime=4956.68 cores=0-31
/proc/3083/task/3109/stat : 3109 (claspmt) R 3081 3083 2983 0 -1 4202560 20101 0 0 0 495604 64 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=3083/tid=3110] ppid=3081 vsize=5319852 CPUtime=4958.53 cores=0-31
/proc/3083/task/3110/stat : 3110 (claspmt) R 3081 3083 2983 0 -1 4202560 40515 0 0 0 495680 173 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=3083/tid=3111] ppid=3081 vsize=5319852 CPUtime=4958.28 cores=0-31
/proc/3083/task/3111/stat : 3111 (claspmt) R 3081 3083 2983 0 -1 4202560 20826 0 0 0 495742 86 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=3083/tid=3112] ppid=3081 vsize=5319852 CPUtime=4959.94 cores=0-31
/proc/3083/task/3112/stat : 3112 (claspmt) R 3081 3083 2983 0 -1 4202560 29513 0 0 0 495873 121 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=3083/tid=3113] ppid=3081 vsize=5319852 CPUtime=4956.87 cores=0-31
/proc/3083/task/3113/stat : 3113 (claspmt) R 3081 3083 2983 0 -1 4202560 22307 0 0 0 495591 96 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=3083/tid=3114] ppid=3081 vsize=5319852 CPUtime=4959.87 cores=0-31
/proc/3083/task/3114/stat : 3114 (claspmt) R 3081 3083 2983 0 -1 4202560 16397 0 0 0 495917 70 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4660236 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=3083/tid=3115] ppid=3081 vsize=5319852 CPUtime=4959.96 cores=0-31
/proc/3083/task/3115/stat : 3115 (claspmt) R 3081 3083 2983 0 -1 4202560 81453 0 0 0 495649 347 0 0 25 0 32 0 35334209 5447528448 1016629 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 158573
Current children cumulated vsize (KiB) 5319852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5007 s]
/proc/loadavg: 32.13 32.09 32.05 33/445 3270
/proc/meminfo: memFree=258102296/264257624 swapFree=67111528/67111528
[pid=3083] ppid=3081 vsize=5385388 CPUtime=160002 cores=0-31
/proc/3083/stat : 3083 (claspmt) R 3081 3083 2983 0 -1 4202496 1045321 0 0 0 15995973 4236 0 0 25 0 32 0 35334143 5514637312 1017888 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/3083/statm: 1346347 1017888 463 189 0 1340696 0
[pid=3083/tid=3085] ppid=3081 vsize=5385388 CPUtime=5004.28 cores=0-31
/proc/3083/task/3085/stat : 3085 (claspmt) R 3081 3083 2983 0 -1 4202560 18443 0 0 0 500366 62 0 0 25 0 32 0 35334208 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=3083/tid=3086] ppid=3081 vsize=5385388 CPUtime=5004.68 cores=0-31
/proc/3083/task/3086/stat : 3086 (claspmt) R 3081 3083 2983 0 -1 4202560 35162 0 0 0 500335 133 0 0 25 0 32 0 35334208 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=3083/tid=3087] ppid=3081 vsize=5385388 CPUtime=4996.65 cores=0-31
/proc/3083/task/3087/stat : 3087 (claspmt) R 3081 3083 2983 0 -1 4202560 24076 0 0 0 499557 108 0 0 25 0 32 0 35334208 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4669535 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=3083/tid=3088] ppid=3081 vsize=5385388 CPUtime=5004.63 cores=0-31
/proc/3083/task/3088/stat : 3088 (claspmt) R 3081 3083 2983 0 -1 4202560 29527 0 0 0 500337 126 0 0 25 0 32 0 35334208 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=3083/tid=3089] ppid=3081 vsize=5385388 CPUtime=4983.4 cores=0-31
/proc/3083/task/3089/stat : 3089 (claspmt) R 3081 3083 2983 0 -1 4202560 25886 0 0 0 498233 107 0 0 25 0 32 0 35334208 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=3083/tid=3090] ppid=3081 vsize=5385388 CPUtime=4991.52 cores=0-31
/proc/3083/task/3090/stat : 3090 (claspmt) R 3081 3083 2983 0 -1 4202560 18893 0 0 0 499073 79 0 0 25 0 32 0 35334208 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=3083/tid=3091] ppid=3081 vsize=5385388 CPUtime=5004.59 cores=0-31
/proc/3083/task/3091/stat : 3091 (claspmt) R 3081 3083 2983 0 -1 4202560 102129 0 0 0 500017 442 0 0 25 0 32 0 35334208 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=3083/tid=3092] ppid=3081 vsize=5385388 CPUtime=5004.57 cores=0-31
/proc/3083/task/3092/stat : 3092 (claspmt) R 3081 3083 2983 0 -1 4202560 20226 0 0 0 500361 96 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=3083/tid=3093] ppid=3081 vsize=5385388 CPUtime=4975.01 cores=0-31
/proc/3083/task/3093/stat : 3093 (claspmt) R 3081 3083 2983 0 -1 4202560 20124 0 0 0 497433 68 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=3083/tid=3094] ppid=3081 vsize=5385388 CPUtime=5004.69 cores=0-31
/proc/3083/task/3094/stat : 3094 (claspmt) R 3081 3083 2983 0 -1 4202560 43877 0 0 0 500341 128 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=3083/tid=3095] ppid=3081 vsize=5385388 CPUtime=4991.1 cores=0-31
/proc/3083/task/3095/stat : 3095 (claspmt) R 3081 3083 2983 0 -1 4202560 20553 0 0 0 499026 84 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=3083/tid=3096] ppid=3081 vsize=5385388 CPUtime=5004.64 cores=0-31
/proc/3083/task/3096/stat : 3096 (claspmt) R 3081 3083 2983 0 -1 4202560 26914 0 0 0 500362 102 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=3083/tid=3097] ppid=3081 vsize=5385388 CPUtime=5004.81 cores=0-31
/proc/3083/task/3097/stat : 3097 (claspmt) R 3081 3083 2983 0 -1 4202560 25102 0 0 0 500385 96 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=3083/tid=3098] ppid=3081 vsize=5385388 CPUtime=5004.58 cores=0-31
/proc/3083/task/3098/stat : 3098 (claspmt) R 3081 3083 2983 0 -1 4202560 18831 0 0 0 500383 75 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=3083/tid=3099] ppid=3081 vsize=5385388 CPUtime=5000.79 cores=0-31
/proc/3083/task/3099/stat : 3099 (claspmt) R 3081 3083 2983 0 -1 4202560 78724 0 0 0 499753 326 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4321002 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=3083/tid=3100] ppid=3081 vsize=5385388 CPUtime=4989.41 cores=0-31
/proc/3083/task/3100/stat : 3100 (claspmt) R 3081 3083 2983 0 -1 4202560 20285 0 0 0 498837 104 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=3083/tid=3101] ppid=3081 vsize=5385388 CPUtime=4997.52 cores=0-31
/proc/3083/task/3101/stat : 3101 (claspmt) R 3081 3083 2983 0 -1 4202560 19939 0 0 0 499682 70 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=3083/tid=3102] ppid=3081 vsize=5385388 CPUtime=5004.67 cores=0-31
/proc/3083/task/3102/stat : 3102 (claspmt) R 3081 3083 2983 0 -1 4202560 33186 0 0 0 500349 118 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=3083/tid=3103] ppid=3081 vsize=5385388 CPUtime=5004.25 cores=0-31
/proc/3083/task/3103/stat : 3103 (claspmt) R 3081 3083 2983 0 -1 4202560 19448 0 0 0 500347 78 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=3083/tid=3104] ppid=3081 vsize=5385388 CPUtime=5003.27 cores=0-31
/proc/3083/task/3104/stat : 3104 (claspmt) R 3081 3083 2983 0 -1 4202560 28491 0 0 0 500221 106 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=3083/tid=3105] ppid=3081 vsize=5385388 CPUtime=5004.56 cores=0-31
/proc/3083/task/3105/stat : 3105 (claspmt) R 3081 3083 2983 0 -1 4202560 23159 0 0 0 500358 98 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=3083/tid=3106] ppid=3081 vsize=5385388 CPUtime=5004.56 cores=0-31
/proc/3083/task/3106/stat : 3106 (claspmt) R 3081 3083 2983 0 -1 4202560 20687 0 0 0 500373 83 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=3083/tid=3107] ppid=3081 vsize=5385388 CPUtime=5004.62 cores=0-31
/proc/3083/task/3107/stat : 3107 (claspmt) R 3081 3083 2983 0 -1 4202560 95088 0 0 0 500072 390 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=3083/tid=3108] ppid=3081 vsize=5385388 CPUtime=4981.04 cores=0-31
/proc/3083/task/3108/stat : 3108 (claspmt) R 3081 3083 2983 0 -1 4202560 19644 0 0 0 498009 95 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=3083/tid=3109] ppid=3081 vsize=5385388 CPUtime=5001.4 cores=0-31
/proc/3083/task/3109/stat : 3109 (claspmt) R 3081 3083 2983 0 -1 4202560 20113 0 0 0 500076 64 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=3083/tid=3110] ppid=3081 vsize=5385388 CPUtime=5003.23 cores=0-31
/proc/3083/task/3110/stat : 3110 (claspmt) R 3081 3083 2983 0 -1 4202560 40517 0 0 0 500150 173 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=3083/tid=3111] ppid=3081 vsize=5385388 CPUtime=5002.98 cores=0-31
/proc/3083/task/3111/stat : 3111 (claspmt) R 3081 3083 2983 0 -1 4202560 20826 0 0 0 500212 86 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=3083/tid=3112] ppid=3081 vsize=5385388 CPUtime=5004.65 cores=0-31
/proc/3083/task/3112/stat : 3112 (claspmt) R 3081 3083 2983 0 -1 4202560 29513 0 0 0 500344 121 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4660408 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=3083/tid=3113] ppid=3081 vsize=5385388 CPUtime=5001.57 cores=0-31
/proc/3083/task/3113/stat : 3113 (claspmt) R 3081 3083 2983 0 -1 4202560 22324 0 0 0 500061 96 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=3083/tid=3114] ppid=3081 vsize=5385388 CPUtime=5004.59 cores=0-31
/proc/3083/task/3114/stat : 3114 (claspmt) R 3081 3083 2983 0 -1 4202560 16407 0 0 0 500388 71 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=3083/tid=3115] ppid=3081 vsize=5385388 CPUtime=5004.67 cores=0-31
/proc/3083/task/3115/stat : 3115 (claspmt) R 3081 3083 2983 0 -1 4202560 81528 0 0 0 500120 347 0 0 25 0 32 0 35334209 5514637312 1017891 270582939648 4194304 4964800 140735961494112 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 5385388

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -3083

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

[startup+5007.9 s]
/proc/loadavg: 32.13 32.09 32.05 2/415 3271
/proc/meminfo: memFree=258108612/264257624 swapFree=67111528/67111528
[pid=3083] ppid=3081 vsize=5262284 CPUtime=160004 cores=0-31
/proc/3083/stat : 3083 (claspmt) R 3081 3083 2983 0 -1 4202496 1045338 0 0 0 15996115 4236 0 0 25 0 1 0 35334143 5388578816 1009472 270582939648 4194304 4964800 140735961494112 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/3083/statm: 1315571 1009472 474 189 0 1309920 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 5262284

[startup+5008.7 s]
/proc/loadavg: 32.13 32.09 32.05 2/415 3271
/proc/meminfo: memFree=258155236/264257624 swapFree=67111528/67111528
[pid=3083] ppid=3081 vsize=5163440 CPUtime=160004 cores=0-31
/proc/3083/stat : 3083 (claspmt) R 3081 3083 2983 0 -1 4202496 1045338 0 0 0 15996194 4237 0 0 25 0 1 0 35334143 5287362560 998374 270582939648 4194304 4964800 140735961494112 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/3083/statm: 1290860 998374 474 189 0 1285209 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 5163440

[startup+5009.1 s]
/proc/loadavg: 32.13 32.09 32.05 2/415 3271
/proc/meminfo: memFree=258155236/264257624 swapFree=67111528/67111528
[pid=3083] ppid=3081 vsize=0 CPUtime=160005 cores=0-31
/proc/3083/stat : 3083 (claspmt) R 3081 3083 2983 0 -1 4203524 1045338 0 0 0 15996227 4244 0 0 25 0 1 0 35334143 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/3083/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

[startup+5009.2 s]
/proc/loadavg: 32.13 32.09 32.05 2/415 3271
/proc/meminfo: memFree=258155236/264257624 swapFree=67111528/67111528
[pid=3083] ppid=3081 vsize=0 CPUtime=160005 cores=0-31
/proc/3083/stat : 3083 (claspmt) R 3081 3083 2983 0 -1 4203524 1045338 0 0 0 15996227 4254 0 0 25 0 1 0 35334143 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/3083/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 5009.29
CPU time (s): 160005
CPU user time (s): 159962
CPU system time (s): 42.6275
CPU usage (%): 3194.17
Max. virtual memory (cumulated for all children) (KiB): 5385388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159962
system time used= 42.6275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1045338
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= 352875
involuntary context switches= 407319

runsolver used 29.4765 second user time and 111.787 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-10 11:51:13
IDJOB=3472463
IDBENCH=83127
IDSOLVER=1961
FILE ID=node200/3472463-1307699472
RUNJOBID= node200-1307699451-2997
PBS_JOBID= 13549543
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-bottom18.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-3472463-1307699472/watcher-3472463-1307699472 -o /tmp/evaluation-result-3472463-1307699472/solver-3472463-1307699472 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472463-1307699472.cnf

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

MD5SUM BENCH= 9ece8f569c93ceee834817ef3350ed8e
RANDOM SEED=381548582

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:      262174428 kB
Buffers:        266728 kB
Cached:        1499920 kB
SwapCached:          0 kB
Active:         285604 kB
Inactive:      1544568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262174428 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3352 kB
Writeback:           0 kB
AnonPages:       64060 kB
Mapped:          14848 kB
Slab:           172824 kB
PageTables:       4324 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   167212 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61740 MiB
End job on node200 at 2011-06-10 13:14:42