Trace number 3472476

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)? (TO) 160003 5006.92

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
64/aes_64_3_keyfind_1.cnf
MD5SUM4738c3d0ccd52030cff8addcec6bcde9
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 variables1404
Number of clauses7572
Sum of the clauses size29588
Maximum clause length5
Minimum clause length1
Number of clauses of size 1140
Number of clauses of size 2240
Number of clauses of size 32992
Number of clauses of size 41008
Number of clauses of size 53192
Number of clauses of size over 50

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...759671/instance-3472476-1307759671.cnf
0.00/0.02	c Solving...
160002.08/5006.52	
160002.08/5006.52	*** INTERRUPTED! ***
160002.08/5006.52	*** Shutting down threads...
160002.81/5006.91	s UNKNOWN
160002.81/5006.91	
160002.81/5006.91	c INTERRUPTED   : 1
160002.81/5006.91	c Models        : 0+    
160002.81/5006.91	c Time          : 5006.525s (Solving: 5006.50s 1st Model: 0.00s Unsat: 0.00s)
160002.81/5006.91	c CPU Time      : 160002.430s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3472476-1307759671/watcher-3472476-1307759671 -o /tmp/evaluation-result-3472476-1307759671/solver-3472476-1307759671 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472476-1307759671.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.63 31.60 31.92 1/413 6687
/proc/meminfo: memFree=262121512/264257624 swapFree=67111528/67111528
[pid=6687] ppid=6684 vsize=21868 CPUtime=0.01 cores=0-31
/proc/6687/stat : 6687 (claspmt) R 6684 6687 6583 0 -1 4202496 806 0 0 0 1 0 0 0 25 0 1 0 41353935 22392832 713 270582939648 4194304 4964800 140737194578448 18446744073709551615 4607477 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/6687/statm: 5467 713 400 189 0 341 0

[startup+0.10343 s]
/proc/loadavg: 30.63 31.60 31.92 1/413 6687
/proc/meminfo: memFree=262121512/264257624 swapFree=67111528/67111528
[pid=6687] ppid=6684 vsize=1530532 CPUtime=0.4 cores=0-31
/proc/6687/stat : 6687 (claspmt) R 6684 6687 6583 0 -1 4202496 5478 0 0 0 31 9 0 0 18 0 32 0 41353935 1567264768 5067 270582939648 4194304 4964800 140737194578448 18446744073709551615 258651060958 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6687/statm: 382633 5068 455 189 0 376982 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 1530532

[startup+0.202334 s]
/proc/loadavg: 30.63 31.60 31.92 1/413 6687
/proc/meminfo: memFree=262121512/264257624 swapFree=67111528/67111528
[pid=6687] ppid=6684 vsize=1530796 CPUtime=2.85 cores=0-31
/proc/6687/stat : 6687 (claspmt) R 6684 6687 6583 0 -1 4202496 7145 0 0 0 269 16 0 0 18 0 32 0 41353935 1567535104 6734 270582939648 4194304 4964800 140737194578448 18446744073709551615 4320872 0 0 4096 18946 18446744073709551615 0 0 17 15 0 0 0
/proc/6687/statm: 382699 6734 461 189 0 377048 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 1530796

[startup+0.306843 s]
/proc/loadavg: 30.63 31.60 31.92 1/413 6687
/proc/meminfo: memFree=262121512/264257624 swapFree=67111528/67111528
[pid=6687] ppid=6684 vsize=1531060 CPUtime=5.89 cores=0-31
/proc/6687/stat : 6687 (claspmt) R 6684 6687 6583 0 -1 4202496 8577 0 0 0 565 24 0 0 18 0 32 0 41353935 1567805440 8166 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670346 0 0 4096 18946 18446744073709551615 0 0 17 15 0 0 0
/proc/6687/statm: 382765 8166 461 189 0 377114 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 1531060

[startup+0.700331 s]
/proc/loadavg: 30.63 31.60 31.92 1/413 6687
/proc/meminfo: memFree=262121512/264257624 swapFree=67111528/67111528
[pid=6687] ppid=6684 vsize=1531612 CPUtime=18.41 cores=0-31
/proc/6687/stat : 6687 (claspmt) R 6684 6687 6583 0 -1 4202496 10731 0 0 0 1810 31 0 0 18 0 32 0 41353935 1568370688 10320 270582939648 4194304 4964800 140737194578448 18446744073709551615 4321116 0 0 4096 18946 18446744073709551615 0 0 17 15 0 0 0
/proc/6687/statm: 382903 10320 461 189 0 377252 0
Current children cumulated CPU time (s) 18.41
Current children cumulated vsize (KiB) 1531612

[startup+1.50136 s]
/proc/loadavg: 30.74 31.61 31.92 34/445 6722
/proc/meminfo: memFree=262073904/264257624 swapFree=67111528/67111528
[pid=6687] ppid=6684 vsize=1532140 CPUtime=43.92 cores=0-31
/proc/6687/stat : 6687 (claspmt) R 6684 6687 6583 0 -1 4202496 13732 0 0 0 4349 43 0 0 19 0 32 0 41353935 1568911360 13321 270582939648 4194304 4964800 140737194578448 18446744073709551615 4668702 0 0 4096 18946 18446744073709551615 0 0 17 15 0 0 0
/proc/6687/statm: 383035 13321 461 189 0 377384 0
[pid=6687/tid=6689] ppid=6684 vsize=1532140 CPUtime=1.38 cores=0-31
/proc/6687/task/6689/stat : 6689 (claspmt) R 6684 6687 6583 0 -1 4202560 295 0 0 0 137 1 0 0 19 0 32 0 41353938 1568911360 13321 270582939648 4194304 4964800 140737194578448 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6687/tid=6690] ppid=6684 vsize=1532140 CPUtime=1.32 cores=0-31
/proc/6687/task/6690/stat : 6690 (claspmt) R 6684 6687 6583 0 -1 4202560 447 0 0 0 132 0 0 0 19 0 32 0 41353938 1568911360 13321 270582939648 4194304 4964800 140737194578448 18446744073709551615 4660495 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6687/tid=6691] ppid=6684 vsize=1532140 CPUtime=1.37 cores=0-31
/proc/6687/task/6691/stat : 6691 (claspmt) R 6684 6687 6583 0 -1 4202560 399 0 0 0 136 1 0 0 19 0 32 0 41353938 1568911360 13322 270582939648 4194304 4964800 140737194578448 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=6687/tid=6692] ppid=6684 vsize=1532140 CPUtime=1.36 cores=0-31
/proc/6687/task/6692/stat : 6692 (claspmt) R 6684 6687 6583 0 -1 4202560 367 0 0 0 136 0 0 0 19 0 32 0 41353938 1568911360 13322 270582939648 4194304 4964800 140737194578448 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=6687/tid=6693] ppid=6684 vsize=1532140 CPUtime=1.38 cores=0-31
/proc/6687/task/6693/stat : 6693 (claspmt) R 6684 6687 6583 0 -1 4202560 379 0 0 0 138 0 0 0 19 0 32 0 41353938 1568911360 13322 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=6687/tid=6694] ppid=6684 vsize=1532140 CPUtime=1.34 cores=0-31
/proc/6687/task/6694/stat : 6694 (claspmt) R 6684 6687 6583 0 -1 4202560 353 0 0 0 133 1 0 0 19 0 32 0 41353938 1568911360 13322 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=6687/tid=6695] ppid=6684 vsize=1532140 CPUtime=1.36 cores=0-31
/proc/6687/task/6695/stat : 6695 (claspmt) R 6684 6687 6583 0 -1 4202560 488 0 0 0 135 1 0 0 18 0 32 0 41353938 1568911360 13322 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=6687/tid=6696] ppid=6684 vsize=1532140 CPUtime=1.36 cores=0-31
/proc/6687/task/6696/stat : 6696 (claspmt) R 6684 6687 6583 0 -1 4202560 363 0 0 0 135 1 0 0 19 0 32 0 41353938 1568911360 13322 270582939648 4194304 4964800 140737194578448 18446744073709551615 4332063 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6687/tid=6697] ppid=6684 vsize=1532140 CPUtime=1.37 cores=0-31
/proc/6687/task/6697/stat : 6697 (claspmt) R 6684 6687 6583 0 -1 4202560 342 0 0 0 136 1 0 0 19 0 32 0 41353938 1568911360 13323 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669552 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=6687/tid=6699] ppid=6684 vsize=1532140 CPUtime=1.37 cores=0-31
/proc/6687/task/6699/stat : 6699 (claspmt) R 6684 6687 6583 0 -1 4202560 451 0 0 0 136 1 0 0 19 0 32 0 41353938 1568911360 13323 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=6687/tid=6700] ppid=6684 vsize=1532140 CPUtime=1.36 cores=0-31
/proc/6687/task/6700/stat : 6700 (claspmt) R 6684 6687 6583 0 -1 4202560 396 0 0 0 135 1 0 0 19 0 32 0 41353938 1568911360 13323 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669969 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=6687/tid=6702] ppid=6684 vsize=1532140 CPUtime=1.36 cores=0-31
/proc/6687/task/6702/stat : 6702 (claspmt) R 6684 6687 6583 0 -1 4202560 373 0 0 0 135 1 0 0 19 0 32 0 41353938 1568911360 13324 270582939648 4194304 4964800 140737194578448 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=6687/tid=6703] ppid=6684 vsize=1532140 CPUtime=1.39 cores=0-31
/proc/6687/task/6703/stat : 6703 (claspmt) R 6684 6687 6583 0 -1 4202560 429 0 0 0 138 1 0 0 19 0 32 0 41353938 1568911360 13324 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=6687/tid=6704] ppid=6684 vsize=1532140 CPUtime=1.36 cores=0-31
/proc/6687/task/6704/stat : 6704 (claspmt) R 6684 6687 6583 0 -1 4202560 402 0 0 0 135 1 0 0 19 0 32 0 41353938 1568911360 13324 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669476 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=6687/tid=6705] ppid=6684 vsize=1532140 CPUtime=1.36 cores=0-31
/proc/6687/task/6705/stat : 6705 (claspmt) R 6684 6687 6583 0 -1 4202560 450 0 0 0 135 1 0 0 19 0 32 0 41353938 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6687/tid=6706] ppid=6684 vsize=1532140 CPUtime=1.36 cores=0-31
/proc/6687/task/6706/stat : 6706 (claspmt) R 6684 6687 6583 0 -1 4202560 382 0 0 0 136 0 0 0 18 0 32 0 41353938 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=6687/tid=6707] ppid=6684 vsize=1532140 CPUtime=1.36 cores=0-31
/proc/6687/task/6707/stat : 6707 (claspmt) R 6684 6687 6583 0 -1 4202560 354 0 0 0 135 1 0 0 19 0 32 0 41353938 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=6687/tid=6708] ppid=6684 vsize=1532140 CPUtime=1.37 cores=0-31
/proc/6687/task/6708/stat : 6708 (claspmt) R 6684 6687 6583 0 -1 4202560 479 0 0 0 136 1 0 0 18 0 32 0 41353938 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=6687/tid=6709] ppid=6684 vsize=1532140 CPUtime=1.33 cores=0-31
/proc/6687/task/6709/stat : 6709 (claspmt) R 6684 6687 6583 0 -1 4202560 378 0 0 0 132 1 0 0 19 0 32 0 41353938 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=6687/tid=6710] ppid=6684 vsize=1532140 CPUtime=1.37 cores=0-31
/proc/6687/task/6710/stat : 6710 (claspmt) R 6684 6687 6583 0 -1 4202560 357 0 0 0 136 1 0 0 19 0 32 0 41353938 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6687/tid=6711] ppid=6684 vsize=1532140 CPUtime=1.38 cores=0-31
/proc/6687/task/6711/stat : 6711 (claspmt) R 6684 6687 6583 0 -1 4202560 388 0 0 0 138 0 0 0 19 0 32 0 41353938 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=6687/tid=6712] ppid=6684 vsize=1532140 CPUtime=1.35 cores=0-31
/proc/6687/task/6712/stat : 6712 (claspmt) R 6684 6687 6583 0 -1 4202560 397 0 0 0 135 0 0 0 19 0 32 0 41353938 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=6687/tid=6713] ppid=6684 vsize=1532140 CPUtime=1.35 cores=0-31
/proc/6687/task/6713/stat : 6713 (claspmt) R 6684 6687 6583 0 -1 4202560 511 0 0 0 134 1 0 0 18 0 32 0 41353938 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=6687/tid=6714] ppid=6684 vsize=1532140 CPUtime=1.36 cores=0-31
/proc/6687/task/6714/stat : 6714 (claspmt) R 6684 6687 6583 0 -1 4202560 376 0 0 0 135 1 0 0 19 0 32 0 41353938 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670384 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6687/tid=6716] ppid=6684 vsize=1532140 CPUtime=1.37 cores=0-31
/proc/6687/task/6716/stat : 6716 (claspmt) R 6684 6687 6583 0 -1 4202560 369 0 0 0 136 1 0 0 19 0 32 0 41353939 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 4668797 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=6687/tid=6717] ppid=6684 vsize=1532140 CPUtime=1.36 cores=0-31
/proc/6687/task/6717/stat : 6717 (claspmt) R 6684 6687 6583 0 -1 4202560 430 0 0 0 135 1 0 0 19 0 32 0 41353939 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=6687/tid=6718] ppid=6684 vsize=1532140 CPUtime=1.35 cores=0-31
/proc/6687/task/6718/stat : 6718 (claspmt) R 6684 6687 6583 0 -1 4202560 385 0 0 0 134 1 0 0 19 0 32 0 41353939 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 4660384 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=6687/tid=6719] ppid=6684 vsize=1532140 CPUtime=1.37 cores=0-31
/proc/6687/task/6719/stat : 6719 (claspmt) R 6684 6687 6583 0 -1 4202560 378 0 0 0 135 2 0 0 19 0 32 0 41353939 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 4654549 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=6687/tid=6720] ppid=6684 vsize=1532140 CPUtime=1.39 cores=0-31
/proc/6687/task/6720/stat : 6720 (claspmt) R 6684 6687 6583 0 -1 4202560 443 0 0 0 138 1 0 0 19 0 32 0 41353939 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=6687/tid=6721] ppid=6684 vsize=1532140 CPUtime=1.36 cores=0-31
/proc/6687/task/6721/stat : 6721 (claspmt) R 6684 6687 6583 0 -1 4202560 374 0 0 0 135 1 0 0 19 0 32 0 41353939 1568911360 13325 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=6687/tid=6722] ppid=6684 vsize=1532140 CPUtime=1.37 cores=0-31
/proc/6687/task/6722/stat : 6722 (claspmt) R 6684 6687 6583 0 -1 4202560 543 0 0 0 136 1 0 0 19 0 32 0 41353939 1568911360 13326 270582939648 4194304 4964800 140737194578448 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 43.92
Current children cumulated vsize (KiB) 1532140

[startup+3.10141 s]
/proc/loadavg: 30.74 31.61 31.92 34/445 6724
/proc/meminfo: memFree=262060148/264257624 swapFree=67111528/67111528
[pid=6687] ppid=6684 vsize=1532668 CPUtime=95 cores=0-31
/proc/6687/stat : 6687 (claspmt) R 6684 6687 6583 0 -1 4202496 19118 0 0 0 9438 62 0 0 18 0 32 0 41353935 1569452032 18707 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 15 0 0 0
/proc/6687/statm: 383167 18707 461 189 0 377516 0
[pid=6687/tid=6689] ppid=6684 vsize=1532668 CPUtime=2.98 cores=0-31
/proc/6687/task/6689/stat : 6689 (claspmt) R 6684 6687 6583 0 -1 4202560 431 0 0 0 296 2 0 0 18 0 32 0 41353938 1569452032 18707 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6687/tid=6690] ppid=6684 vsize=1532668 CPUtime=2.93 cores=0-31
/proc/6687/task/6690/stat : 6690 (claspmt) R 6684 6687 6583 0 -1 4202560 650 0 0 0 291 2 0 0 22 0 32 0 41353938 1569452032 18707 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669552 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6687/tid=6691] ppid=6684 vsize=1532668 CPUtime=2.97 cores=0-31
/proc/6687/task/6691/stat : 6691 (claspmt) R 6684 6687 6583 0 -1 4202560 505 0 0 0 296 1 0 0 20 0 32 0 41353938 1569452032 18708 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=6687/tid=6692] ppid=6684 vsize=1532668 CPUtime=2.96 cores=0-31
/proc/6687/task/6692/stat : 6692 (claspmt) R 6684 6687 6583 0 -1 4202560 488 0 0 0 296 0 0 0 20 0 32 0 41353938 1569452032 18708 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670351 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=6687/tid=6693] ppid=6684 vsize=1532668 CPUtime=2.98 cores=0-31
/proc/6687/task/6693/stat : 6693 (claspmt) R 6684 6687 6583 0 -1 4202560 440 0 0 0 297 1 0 0 18 0 32 0 41353938 1569452032 18708 270582939648 4194304 4964800 140737194578448 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=6687/tid=6694] ppid=6684 vsize=1532668 CPUtime=2.93 cores=0-31
/proc/6687/task/6694/stat : 6694 (claspmt) R 6684 6687 6583 0 -1 4202560 535 0 0 0 291 2 0 0 22 0 32 0 41353938 1569452032 18709 270582939648 4194304 4964800 140737194578448 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=6687/tid=6695] ppid=6684 vsize=1532668 CPUtime=2.96 cores=0-31
/proc/6687/task/6695/stat : 6695 (claspmt) R 6684 6687 6583 0 -1 4202560 708 0 0 0 295 1 0 0 18 0 32 0 41353938 1569452032 18709 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=6687/tid=6696] ppid=6684 vsize=1532668 CPUtime=2.95 cores=0-31
/proc/6687/task/6696/stat : 6696 (claspmt) R 6684 6687 6583 0 -1 4202560 517 0 0 0 294 1 0 0 22 0 32 0 41353938 1569452032 18709 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669434 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6687/tid=6697] ppid=6684 vsize=1532668 CPUtime=2.97 cores=0-31
/proc/6687/task/6697/stat : 6697 (claspmt) R 6684 6687 6583 0 -1 4202560 451 0 0 0 296 1 0 0 22 0 32 0 41353938 1569452032 18709 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=6687/tid=6699] ppid=6684 vsize=1532668 CPUtime=2.96 cores=0-31
/proc/6687/task/6699/stat : 6699 (claspmt) R 6684 6687 6583 0 -1 4202560 685 0 0 0 295 1 0 0 23 0 32 0 41353938 1569452032 18709 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=6687/tid=6700] ppid=6684 vsize=1532668 CPUtime=2.97 cores=0-31
/proc/6687/task/6700/stat : 6700 (claspmt) R 6684 6687 6583 0 -1 4202560 514 0 0 0 295 2 0 0 18 0 32 0 41353938 1569452032 18709 270582939648 4194304 4964800 140737194578448 18446744073709551615 4660390 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=6687/tid=6702] ppid=6684 vsize=1532668 CPUtime=2.96 cores=0-31
/proc/6687/task/6702/stat : 6702 (claspmt) R 6684 6687 6583 0 -1 4202560 606 0 0 0 294 2 0 0 20 0 32 0 41353938 1569452032 18709 270582939648 4194304 4964800 140737194578448 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=6687/tid=6703] ppid=6684 vsize=1532668 CPUtime=2.97 cores=0-31
/proc/6687/task/6703/stat : 6703 (claspmt) R 6684 6687 6583 0 -1 4202560 624 0 0 0 296 1 0 0 24 0 32 0 41353938 1569452032 18709 270582939648 4194304 4964800 140737194578448 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=6687/tid=6704] ppid=6684 vsize=1532668 CPUtime=2.95 cores=0-31
/proc/6687/task/6704/stat : 6704 (claspmt) R 6684 6687 6583 0 -1 4202560 489 0 0 0 294 1 0 0 22 0 32 0 41353938 1569452032 18709 270582939648 4194304 4964800 140737194578448 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=6687/tid=6705] ppid=6684 vsize=1532668 CPUtime=2.95 cores=0-31
/proc/6687/task/6705/stat : 6705 (claspmt) R 6684 6687 6583 0 -1 4202560 718 0 0 0 293 2 0 0 24 0 32 0 41353938 1569452032 18710 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6687/tid=6706] ppid=6684 vsize=1532668 CPUtime=2.96 cores=0-31
/proc/6687/task/6706/stat : 6706 (claspmt) R 6684 6687 6583 0 -1 4202560 544 0 0 0 295 1 0 0 21 0 32 0 41353938 1569452032 18710 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=6687/tid=6707] ppid=6684 vsize=1532668 CPUtime=2.96 cores=0-31
/proc/6687/task/6707/stat : 6707 (claspmt) R 6684 6687 6583 0 -1 4202560 509 0 0 0 294 2 0 0 24 0 32 0 41353938 1569452032 18710 270582939648 4194304 4964800 140737194578448 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=6687/tid=6708] ppid=6684 vsize=1532668 CPUtime=2.96 cores=0-31
/proc/6687/task/6708/stat : 6708 (claspmt) R 6684 6687 6583 0 -1 4202560 746 0 0 0 295 1 0 0 20 0 32 0 41353938 1569452032 18710 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=6687/tid=6709] ppid=6684 vsize=1532668 CPUtime=2.88 cores=0-31
/proc/6687/task/6709/stat : 6709 (claspmt) R 6684 6687 6583 0 -1 4202560 518 0 0 0 287 1 0 0 23 0 32 0 41353938 1569452032 18710 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=6687/tid=6710] ppid=6684 vsize=1532668 CPUtime=2.96 cores=0-31
/proc/6687/task/6710/stat : 6710 (claspmt) R 6684 6687 6583 0 -1 4202560 488 0 0 0 295 1 0 0 18 0 32 0 41353938 1569452032 18711 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670151 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6687/tid=6711] ppid=6684 vsize=1532668 CPUtime=2.98 cores=0-31
/proc/6687/task/6711/stat : 6711 (claspmt) R 6684 6687 6583 0 -1 4202560 510 0 0 0 297 1 0 0 24 0 32 0 41353938 1569452032 18711 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=6687/tid=6712] ppid=6684 vsize=1532668 CPUtime=2.96 cores=0-31
/proc/6687/task/6712/stat : 6712 (claspmt) R 6684 6687 6583 0 -1 4202560 541 0 0 0 295 1 0 0 23 0 32 0 41353938 1569452032 18711 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669507 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=6687/tid=6713] ppid=6684 vsize=1532668 CPUtime=2.95 cores=0-31
/proc/6687/task/6713/stat : 6713 (claspmt) R 6684 6687 6583 0 -1 4202560 972 0 0 0 293 2 0 0 20 0 32 0 41353938 1569452032 18711 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=6687/tid=6714] ppid=6684 vsize=1532668 CPUtime=2.95 cores=0-31
/proc/6687/task/6714/stat : 6714 (claspmt) R 6684 6687 6583 0 -1 4202560 508 0 0 0 294 1 0 0 23 0 32 0 41353938 1569452032 18711 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6687/tid=6716] ppid=6684 vsize=1532668 CPUtime=2.97 cores=0-31
/proc/6687/task/6716/stat : 6716 (claspmt) R 6684 6687 6583 0 -1 4202560 499 0 0 0 296 1 0 0 24 0 32 0 41353939 1569452032 18711 270582939648 4194304 4964800 140737194578448 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=6687/tid=6717] ppid=6684 vsize=1532668 CPUtime=2.96 cores=0-31
/proc/6687/task/6717/stat : 6717 (claspmt) R 6684 6687 6583 0 -1 4202560 630 0 0 0 294 2 0 0 24 0 32 0 41353939 1569452032 18712 270582939648 4194304 4964800 140737194578448 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=6687/tid=6718] ppid=6684 vsize=1532668 CPUtime=2.94 cores=0-31
/proc/6687/task/6718/stat : 6718 (claspmt) R 6684 6687 6583 0 -1 4202560 456 0 0 0 293 1 0 0 23 0 32 0 41353939 1569452032 18712 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=6687/tid=6719] ppid=6684 vsize=1532668 CPUtime=2.96 cores=0-31
/proc/6687/task/6719/stat : 6719 (claspmt) R 6684 6687 6583 0 -1 4202560 579 0 0 0 294 2 0 0 23 0 32 0 41353939 1569452032 18712 270582939648 4194304 4964800 140737194578448 18446744073709551615 4660155 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=6687/tid=6720] ppid=6684 vsize=1532668 CPUtime=2.98 cores=0-31
/proc/6687/task/6720/stat : 6720 (claspmt) R 6684 6687 6583 0 -1 4202560 574 0 0 0 297 1 0 0 24 0 32 0 41353939 1569452032 18712 270582939648 4194304 4964800 140737194578448 18446744073709551615 4362339 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=6687/tid=6721] ppid=6684 vsize=1532668 CPUtime=2.95 cores=0-31

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

Current children cumulated vsize (KiB) 1592052

[startup+4962.3 s]
/proc/loadavg: 32.08 32.14 32.09 33/445 6906
/proc/meminfo: memFree=260902752/264257624 swapFree=67111528/67111528
[pid=6687] ppid=6684 vsize=1592192 CPUtime=158589 cores=0-31
/proc/6687/stat : 6687 (claspmt) R 6684 6687 6583 0 -1 4202496 310414 0 0 0 15855758 3132 0 0 25 0 32 0 41353935 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669776 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/6687/statm: 398048 306283 463 189 0 392397 0
[pid=6687/tid=6689] ppid=6684 vsize=1592192 CPUtime=4959.98 cores=0-31
/proc/6687/task/6689/stat : 6689 (claspmt) R 6684 6687 6583 0 -1 4202560 15076 0 0 0 495897 101 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6687/tid=6690] ppid=6684 vsize=1592192 CPUtime=4958.38 cores=0-31
/proc/6687/task/6690/stat : 6690 (claspmt) R 6684 6687 6583 0 -1 4202560 8648 0 0 0 495739 99 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=6687/tid=6691] ppid=6684 vsize=1592192 CPUtime=4955.22 cores=0-31
/proc/6687/task/6691/stat : 6691 (claspmt) R 6684 6687 6583 0 -1 4202560 5656 0 0 0 495435 87 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=6687/tid=6692] ppid=6684 vsize=1592192 CPUtime=4958.12 cores=0-31
/proc/6687/task/6692/stat : 6692 (claspmt) R 6684 6687 6583 0 -1 4202560 9130 0 0 0 495686 126 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6687/tid=6693] ppid=6684 vsize=1592192 CPUtime=4960.51 cores=0-31
/proc/6687/task/6693/stat : 6693 (claspmt) R 6684 6687 6583 0 -1 4202560 8649 0 0 0 495960 91 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=6687/tid=6694] ppid=6684 vsize=1592192 CPUtime=4960.33 cores=0-31
/proc/6687/task/6694/stat : 6694 (claspmt) R 6684 6687 6583 0 -1 4202560 7106 0 0 0 495938 95 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669560 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=6687/tid=6695] ppid=6684 vsize=1592192 CPUtime=4960.71 cores=0-31
/proc/6687/task/6695/stat : 6695 (claspmt) R 6684 6687 6583 0 -1 4202560 14221 0 0 0 495959 112 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=6687/tid=6696] ppid=6684 vsize=1592192 CPUtime=4960.47 cores=0-31
/proc/6687/task/6696/stat : 6696 (claspmt) R 6684 6687 6583 0 -1 4202560 6878 0 0 0 495973 74 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6687/tid=6697] ppid=6684 vsize=1592192 CPUtime=4930.5 cores=0-31
/proc/6687/task/6697/stat : 6697 (claspmt) R 6684 6687 6583 0 -1 4202560 15211 0 0 0 492909 141 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=6687/tid=6699] ppid=6684 vsize=1592192 CPUtime=4941.73 cores=0-31
/proc/6687/task/6699/stat : 6699 (claspmt) R 6684 6687 6583 0 -1 4202560 9140 0 0 0 494074 99 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=6687/tid=6700] ppid=6684 vsize=1592192 CPUtime=4960.28 cores=0-31
/proc/6687/task/6700/stat : 6700 (claspmt) R 6684 6687 6583 0 -1 4202560 5534 0 0 0 495942 86 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4660835 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=6687/tid=6702] ppid=6684 vsize=1592192 CPUtime=4944.18 cores=0-31
/proc/6687/task/6702/stat : 6702 (claspmt) R 6684 6687 6583 0 -1 4202560 9300 0 0 0 494313 105 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4362359 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=6687/tid=6703] ppid=6684 vsize=1592192 CPUtime=4960.48 cores=0-31
/proc/6687/task/6703/stat : 6703 (claspmt) R 6684 6687 6583 0 -1 4202560 8831 0 0 0 495957 91 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=6687/tid=6704] ppid=6684 vsize=1592192 CPUtime=4950.66 cores=0-31
/proc/6687/task/6704/stat : 6704 (claspmt) R 6684 6687 6583 0 -1 4202560 6700 0 0 0 494977 89 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6687/tid=6705] ppid=6684 vsize=1592192 CPUtime=4960.67 cores=0-31
/proc/6687/task/6705/stat : 6705 (claspmt) R 6684 6687 6583 0 -1 4202560 17119 0 0 0 495962 105 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6687/tid=6706] ppid=6684 vsize=1592192 CPUtime=4936.71 cores=0-31
/proc/6687/task/6706/stat : 6706 (claspmt) R 6684 6687 6583 0 -1 4202560 6517 0 0 0 493583 88 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4660442 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=6687/tid=6707] ppid=6684 vsize=1592192 CPUtime=4960.02 cores=0-31
/proc/6687/task/6707/stat : 6707 (claspmt) R 6684 6687 6583 0 -1 4202560 14856 0 0 0 495874 128 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=6687/tid=6708] ppid=6684 vsize=1592192 CPUtime=4960.54 cores=0-31
/proc/6687/task/6708/stat : 6708 (claspmt) R 6684 6687 6583 0 -1 4202560 9105 0 0 0 495952 102 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=6687/tid=6709] ppid=6684 vsize=1592192 CPUtime=4952.53 cores=0-31
/proc/6687/task/6709/stat : 6709 (claspmt) R 6684 6687 6583 0 -1 4202560 5750 0 0 0 495161 92 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=6687/tid=6710] ppid=6684 vsize=1592192 CPUtime=4957.68 cores=0-31
/proc/6687/task/6710/stat : 6710 (claspmt) R 6684 6687 6583 0 -1 4202560 9387 0 0 0 495675 93 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669294 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=6687/tid=6711] ppid=6684 vsize=1592192 CPUtime=4960.46 cores=0-31
/proc/6687/task/6711/stat : 6711 (claspmt) R 6684 6687 6583 0 -1 4202560 9295 0 0 0 495946 100 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=6687/tid=6712] ppid=6684 vsize=1592192 CPUtime=4946.39 cores=0-31
/proc/6687/task/6712/stat : 6712 (claspmt) R 6684 6687 6583 0 -1 4202560 6600 0 0 0 494556 83 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=6687/tid=6713] ppid=6684 vsize=1592192 CPUtime=4960.54 cores=0-31
/proc/6687/task/6713/stat : 6713 (claspmt) R 6684 6687 6583 0 -1 4202560 16485 0 0 0 495923 131 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=6687/tid=6714] ppid=6684 vsize=1592192 CPUtime=4959.06 cores=0-31
/proc/6687/task/6714/stat : 6714 (claspmt) R 6684 6687 6583 0 -1 4202560 6497 0 0 0 495831 75 0 0 25 0 32 0 41353938 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669503 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=6687/tid=6716] ppid=6684 vsize=1592192 CPUtime=4960.06 cores=0-31
/proc/6687/task/6716/stat : 6716 (claspmt) R 6684 6687 6583 0 -1 4202560 14691 0 0 0 495883 123 0 0 25 0 32 0 41353939 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=6687/tid=6717] ppid=6684 vsize=1592192 CPUtime=4960.24 cores=0-31
/proc/6687/task/6717/stat : 6717 (claspmt) R 6684 6687 6583 0 -1 4202560 9784 0 0 0 495934 90 0 0 25 0 32 0 41353939 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669552 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=6687/tid=6718] ppid=6684 vsize=1592192 CPUtime=4960.54 cores=0-31
/proc/6687/task/6718/stat : 6718 (claspmt) R 6684 6687 6583 0 -1 4202560 5493 0 0 0 495975 79 0 0 25 0 32 0 41353939 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=6687/tid=6719] ppid=6684 vsize=1592192 CPUtime=4960.64 cores=0-31
/proc/6687/task/6719/stat : 6719 (claspmt) R 6684 6687 6583 0 -1 4202560 9813 0 0 0 495979 85 0 0 25 0 32 0 41353939 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=6687/tid=6720] ppid=6684 vsize=1592192 CPUtime=4960.62 cores=0-31
/proc/6687/task/6720/stat : 6720 (claspmt) R 6684 6687 6583 0 -1 4202560 8913 0 0 0 495967 95 0 0 25 0 32 0 41353939 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=6687/tid=6721] ppid=6684 vsize=1592192 CPUtime=4949.47 cores=0-31
/proc/6687/task/6721/stat : 6721 (claspmt) R 6684 6687 6583 0 -1 4202560 7422 0 0 0 494858 89 0 0 25 0 32 0 41353939 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=6687/tid=6722] ppid=6684 vsize=1592192 CPUtime=4960.51 cores=0-31
/proc/6687/task/6722/stat : 6722 (claspmt) R 6684 6687 6583 0 -1 4202560 15165 0 0 0 495951 100 0 0 25 0 32 0 41353939 1630404608 306283 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 158589
Current children cumulated vsize (KiB) 1592192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5006.5 s]
/proc/loadavg: 32.09 32.14 32.09 33/445 6906
/proc/meminfo: memFree=260898728/264257624 swapFree=67111528/67111528
[pid=6687] ppid=6684 vsize=1592192 CPUtime=160002 cores=0-31
/proc/6687/stat : 6687 (claspmt) R 6684 6687 6583 0 -1 4202496 311300 0 0 0 15997055 3153 0 0 25 0 32 0 41353935 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669507 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/6687/statm: 398048 307169 463 189 0 392397 0
[pid=6687/tid=6689] ppid=6684 vsize=1592192 CPUtime=5004.19 cores=0-31
/proc/6687/task/6689/stat : 6689 (claspmt) R 6684 6687 6583 0 -1 4202560 15124 0 0 0 500317 102 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6687/tid=6690] ppid=6684 vsize=1592192 CPUtime=5002.6 cores=0-31
/proc/6687/task/6690/stat : 6690 (claspmt) R 6684 6687 6583 0 -1 4202560 8671 0 0 0 500160 100 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=6687/tid=6691] ppid=6684 vsize=1592192 CPUtime=4999.42 cores=0-31
/proc/6687/task/6691/stat : 6691 (claspmt) R 6684 6687 6583 0 -1 4202560 5672 0 0 0 499854 88 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4660442 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=6687/tid=6692] ppid=6684 vsize=1592192 CPUtime=5002.3 cores=0-31
/proc/6687/task/6692/stat : 6692 (claspmt) R 6684 6687 6583 0 -1 4202560 9142 0 0 0 500103 127 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6687/tid=6693] ppid=6684 vsize=1592192 CPUtime=5004.72 cores=0-31
/proc/6687/task/6693/stat : 6693 (claspmt) R 6684 6687 6583 0 -1 4202560 8664 0 0 0 500380 92 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=6687/tid=6694] ppid=6684 vsize=1592192 CPUtime=5004.54 cores=0-31
/proc/6687/task/6694/stat : 6694 (claspmt) R 6684 6687 6583 0 -1 4202560 7115 0 0 0 500358 96 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=6687/tid=6695] ppid=6684 vsize=1592192 CPUtime=5004.92 cores=0-31
/proc/6687/task/6695/stat : 6695 (claspmt) R 6684 6687 6583 0 -1 4202560 14221 0 0 0 500379 113 0 0 21 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669333 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=6687/tid=6696] ppid=6684 vsize=1592192 CPUtime=5004.66 cores=0-31
/proc/6687/task/6696/stat : 6696 (claspmt) R 6684 6687 6583 0 -1 4202560 6893 0 0 0 500392 74 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6687/tid=6697] ppid=6684 vsize=1592192 CPUtime=4974.7 cores=0-31
/proc/6687/task/6697/stat : 6697 (claspmt) R 6684 6687 6583 0 -1 4202560 15345 0 0 0 497327 143 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=6687/tid=6699] ppid=6684 vsize=1592192 CPUtime=4985.93 cores=0-31
/proc/6687/task/6699/stat : 6699 (claspmt) R 6684 6687 6583 0 -1 4202560 9159 0 0 0 498494 99 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=6687/tid=6700] ppid=6684 vsize=1592192 CPUtime=5004.48 cores=0-31
/proc/6687/task/6700/stat : 6700 (claspmt) R 6684 6687 6583 0 -1 4202560 5557 0 0 0 500361 87 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=6687/tid=6702] ppid=6684 vsize=1592192 CPUtime=4988.38 cores=0-31
/proc/6687/task/6702/stat : 6702 (claspmt) R 6684 6687 6583 0 -1 4202560 9315 0 0 0 498733 105 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=6687/tid=6703] ppid=6684 vsize=1592192 CPUtime=5004.69 cores=0-31
/proc/6687/task/6703/stat : 6703 (claspmt) R 6684 6687 6583 0 -1 4202560 8831 0 0 0 500377 92 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=6687/tid=6704] ppid=6684 vsize=1592192 CPUtime=4994.86 cores=0-31
/proc/6687/task/6704/stat : 6704 (claspmt) R 6684 6687 6583 0 -1 4202560 6755 0 0 0 499397 89 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6687/tid=6705] ppid=6684 vsize=1592192 CPUtime=5004.88 cores=0-31
/proc/6687/task/6705/stat : 6705 (claspmt) R 6684 6687 6583 0 -1 4202560 17119 0 0 0 500382 106 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6687/tid=6706] ppid=6684 vsize=1592192 CPUtime=4979.65 cores=0-31
/proc/6687/task/6706/stat : 6706 (claspmt) R 6684 6687 6583 0 -1 4202560 6531 0 0 0 497877 88 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=6687/tid=6707] ppid=6684 vsize=1592192 CPUtime=5004.23 cores=0-31
/proc/6687/task/6707/stat : 6707 (claspmt) R 6684 6687 6583 0 -1 4202560 14898 0 0 0 500294 129 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=6687/tid=6708] ppid=6684 vsize=1592192 CPUtime=5004.74 cores=0-31
/proc/6687/task/6708/stat : 6708 (claspmt) R 6684 6687 6583 0 -1 4202560 9131 0 0 0 500372 102 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=6687/tid=6709] ppid=6684 vsize=1592192 CPUtime=4996.74 cores=0-31
/proc/6687/task/6709/stat : 6709 (claspmt) R 6684 6687 6583 0 -1 4202560 5807 0 0 0 499581 93 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4332041 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=6687/tid=6710] ppid=6684 vsize=1592192 CPUtime=5001.88 cores=0-31
/proc/6687/task/6710/stat : 6710 (claspmt) R 6684 6687 6583 0 -1 4202560 9387 0 0 0 500095 93 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=6687/tid=6711] ppid=6684 vsize=1592192 CPUtime=5004.67 cores=0-31
/proc/6687/task/6711/stat : 6711 (claspmt) R 6684 6687 6583 0 -1 4202560 9315 0 0 0 500366 101 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669496 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=6687/tid=6712] ppid=6684 vsize=1592192 CPUtime=4990.59 cores=0-31
/proc/6687/task/6712/stat : 6712 (claspmt) R 6684 6687 6583 0 -1 4202560 6624 0 0 0 498975 84 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=6687/tid=6713] ppid=6684 vsize=1592192 CPUtime=5004.75 cores=0-31
/proc/6687/task/6713/stat : 6713 (claspmt) R 6684 6687 6583 0 -1 4202560 16591 0 0 0 500343 132 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=6687/tid=6714] ppid=6684 vsize=1592192 CPUtime=5003.27 cores=0-31
/proc/6687/task/6714/stat : 6714 (claspmt) R 6684 6687 6583 0 -1 4202560 6532 0 0 0 500251 76 0 0 25 0 32 0 41353938 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=6687/tid=6716] ppid=6684 vsize=1592192 CPUtime=5004.27 cores=0-31
/proc/6687/task/6716/stat : 6716 (claspmt) R 6684 6687 6583 0 -1 4202560 14729 0 0 0 500303 124 0 0 25 0 32 0 41353939 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=6687/tid=6717] ppid=6684 vsize=1592192 CPUtime=5004.45 cores=0-31
/proc/6687/task/6717/stat : 6717 (claspmt) R 6684 6687 6583 0 -1 4202560 9784 0 0 0 500355 90 0 0 25 0 32 0 41353939 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=6687/tid=6718] ppid=6684 vsize=1592192 CPUtime=5004.74 cores=0-31
/proc/6687/task/6718/stat : 6718 (claspmt) R 6684 6687 6583 0 -1 4202560 5512 0 0 0 500395 79 0 0 25 0 32 0 41353939 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4660114 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=6687/tid=6719] ppid=6684 vsize=1592192 CPUtime=5004.85 cores=0-31
/proc/6687/task/6719/stat : 6719 (claspmt) R 6684 6687 6583 0 -1 4202560 9836 0 0 0 500399 86 0 0 25 0 32 0 41353939 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=6687/tid=6720] ppid=6684 vsize=1592192 CPUtime=5004.82 cores=0-31
/proc/6687/task/6720/stat : 6720 (claspmt) R 6684 6687 6583 0 -1 4202560 8983 0 0 0 500387 95 0 0 25 0 32 0 41353939 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4369695 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=6687/tid=6721] ppid=6684 vsize=1592192 CPUtime=4993.68 cores=0-31
/proc/6687/task/6721/stat : 6721 (claspmt) R 6684 6687 6583 0 -1 4202560 7447 0 0 0 499278 90 0 0 25 0 32 0 41353939 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4660250 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=6687/tid=6722] ppid=6684 vsize=1592192 CPUtime=5004.73 cores=0-31
/proc/6687/task/6722/stat : 6722 (claspmt) R 6684 6687 6583 0 -1 4202560 15165 0 0 0 500372 101 0 0 25 0 32 0 41353939 1630404608 307169 270582939648 4194304 4964800 140737194578448 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 1592192

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

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

[startup+5006.7 s]
/proc/loadavg: 32.09 32.14 32.09 33/445 6906
/proc/meminfo: memFree=260898728/264257624 swapFree=67111528/67111528
[pid=6687] ppid=6684 vsize=1497712 CPUtime=160003 cores=0-31
/proc/6687/stat : 6687 (claspmt) R 6684 6687 6583 0 -1 4202496 311313 0 0 0 15997107 3153 0 0 25 0 1 0 41353935 1533657088 306124 270582939648 4194304 4964800 140737194578448 18446744073709551615 258650613601 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6687/statm: 374428 306124 474 189 0 368777 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 1497712

[startup+5006.9 s]
/proc/loadavg: 32.09 32.14 32.09 33/445 6906
/proc/meminfo: memFree=260898728/264257624 swapFree=67111528/67111528
[pid=6687] ppid=6684 vsize=1439872 CPUtime=160003 cores=0-31
/proc/6687/stat : 6687 (claspmt) R 6684 6687 6583 0 -1 4202496 311313 0 0 0 15997118 3162 0 0 25 0 1 0 41353935 1474428928 38428 270582939648 4194304 4964800 140737194578448 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/6687/statm: 359968 37916 474 189 0 354317 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 1439872

Child status: 0
Real time (s): 5006.92
CPU time (s): 160003
CPU user time (s): 159971
CPU system time (s): 31.6442
CPU usage (%): 3195.64
Max. virtual memory (cumulated for all children) (KiB): 1592192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159971
system time used= 31.6442
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311314
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= 1874295
involuntary context switches= 395731

runsolver used 28.2147 second user time and 112.976 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-11 04:34:31
IDJOB=3472476
IDBENCH=83421
IDSOLVER=1961
FILE ID=node200/3472476-1307759671
RUNJOBID= node200-1307759631-6597
PBS_JOBID= 13549555
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/64/aes_64_3_keyfind_1.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-3472476-1307759671/watcher-3472476-1307759671 -o /tmp/evaluation-result-3472476-1307759671/solver-3472476-1307759671 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472476-1307759671.cnf

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

MD5SUM BENCH= 4738c3d0ccd52030cff8addcec6bcde9
RANDOM SEED=170593498

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:      262122544 kB
Buffers:        282020 kB
Cached:        1526152 kB
SwapCached:          0 kB
Active:         304372 kB
Inactive:      1567192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262122544 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             948 kB
Writeback:           0 kB
AnonPages:       64560 kB
Mapped:          14236 kB
Slab:           184472 kB
PageTables:       4848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   163508 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= 61736 MiB
End job on node200 at 2011-06-11 05:57:59