Trace number 3472473

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)? (TO) 160004 5007.09

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
64/aes_64_4_keyfind_1.cnf
MD5SUM07ea67092ce3fd4529e72f69434e3f99
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 variables1808
Number of clauses9968
Sum of the clauses size39152
Maximum clause length5
Minimum clause length1
Number of clauses of size 1144
Number of clauses of size 2320
Number of clauses of size 33904
Number of clauses of size 41344
Number of clauses of size 54256
Number of clauses of size over 50

Solver Data

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...749608/instance-3472473-1307749608.cnf
0.00/0.06	c Solving...
160002.73/5006.63	
160002.73/5006.63	*** INTERRUPTED! ***
160002.73/5006.63	*** Shutting down threads...
160003.55/5007.08	s UNKNOWN
160003.55/5007.08	
160003.55/5007.08	c INTERRUPTED   : 1
160003.55/5007.08	c Models        : 0+    
160003.55/5007.08	c Time          : 5006.622s (Solving: 5006.57s 1st Model: 0.00s Unsat: 0.00s)
160003.55/5007.08	c CPU Time      : 160003.190s

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-3472473-1307749608/watcher-3472473-1307749608 -o /tmp/evaluation-result-3472473-1307749608/solver-3472473-1307749608 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472473-1307749608.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 29.61 31.60 31.90 1/413 5601
/proc/meminfo: memFree=262155940/264257624 swapFree=67111528/67111528
[pid=5601] ppid=5599 vsize=22112 CPUtime=0.02 cores=0-31
/proc/5601/stat : 5601 (claspmt) R 5599 5601 5571 0 -1 4202496 842 0 0 0 2 0 0 0 23 0 1 0 40347734 22642688 742 270582939648 4194304 4964800 140736749255664 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/5601/statm: 5528 743 396 189 0 402 0

[startup+0.107013 s]
/proc/loadavg: 29.61 31.60 31.90 1/413 5601
/proc/meminfo: memFree=262155940/264257624 swapFree=67111528/67111528
[pid=5601] ppid=5599 vsize=1597052 CPUtime=0.16 cores=0-31
/proc/5601/stat : 5601 (claspmt) S 5599 5601 5571 0 -1 4202496 4363 0 0 0 9 7 0 0 18 0 32 0 40347734 1635381248 3859 270582939648 4194304 4964800 140736749255664 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/5601/statm: 399263 3863 431 189 0 393612 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 1597052

[startup+0.20116 s]
/proc/loadavg: 29.61 31.60 31.90 1/413 5601
/proc/meminfo: memFree=262155940/264257624 swapFree=67111528/67111528
[pid=5601] ppid=5599 vsize=1597632 CPUtime=1.11 cores=0-31
/proc/5601/stat : 5601 (claspmt) R 5599 5601 5571 0 -1 4202496 6893 0 0 0 95 16 0 0 18 0 32 0 40347734 1635975168 6381 270582939648 4194304 4964800 140736749255664 18446744073709551615 4650589 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5601/statm: 399408 6382 460 189 0 393757 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 1597632

[startup+0.30644 s]
/proc/loadavg: 29.61 31.60 31.90 1/413 5601
/proc/meminfo: memFree=262155940/264257624 swapFree=67111528/67111528
[pid=5601] ppid=5599 vsize=1597896 CPUtime=4.35 cores=0-31
/proc/5601/stat : 5601 (claspmt) R 5599 5601 5571 0 -1 4202496 8316 0 0 0 413 22 0 0 18 0 32 0 40347734 1636245504 7804 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670151 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5601/statm: 399474 7805 461 189 0 393823 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 1597896

[startup+0.725598 s]
/proc/loadavg: 29.61 31.60 31.90 1/413 5601
/proc/meminfo: memFree=262155940/264257624 swapFree=67111528/67111528
[pid=5601] ppid=5599 vsize=1598952 CPUtime=17.52 cores=0-31
/proc/5601/stat : 5601 (claspmt) R 5599 5601 5571 0 -1 4202496 13512 0 0 0 1708 44 0 0 18 0 32 0 40347734 1637326848 13000 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5601/statm: 399738 13000 461 189 0 394087 0
Current children cumulated CPU time (s) 17.52
Current children cumulated vsize (KiB) 1598952

[startup+1.50191 s]
/proc/loadavg: 29.61 31.60 31.90 33/445 5633
/proc/meminfo: memFree=262102640/264257624 swapFree=67111528/67111528
[pid=5601] ppid=5599 vsize=1599480 CPUtime=42.31 cores=0-31
/proc/5601/stat : 5601 (claspmt) R 5599 5601 5571 0 -1 4202496 17146 0 0 0 4174 57 0 0 19 0 32 0 40347734 1637867520 16634 270582939648 4194304 4964800 140736749255664 18446744073709551615 4683965 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5601/statm: 399870 16634 461 189 0 394219 0
[pid=5601/tid=5603] ppid=5599 vsize=1599480 CPUtime=1.32 cores=0-31
/proc/5601/task/5603/stat : 5603 (claspmt) R 5599 5601 5571 0 -1 4202560 434 0 0 0 131 1 0 0 19 0 32 0 40347740 1637867520 16634 270582939648 4194304 4964800 140736749255664 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=5601/tid=5604] ppid=5599 vsize=1599480 CPUtime=1.3 cores=0-31
/proc/5601/task/5604/stat : 5604 (claspmt) R 5599 5601 5571 0 -1 4202560 548 0 0 0 128 2 0 0 19 0 32 0 40347740 1637867520 16634 270582939648 4194304 4964800 140736749255664 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5601/tid=5605] ppid=5599 vsize=1599480 CPUtime=1.3 cores=0-31
/proc/5601/task/5605/stat : 5605 (claspmt) R 5599 5601 5571 0 -1 4202560 472 0 0 0 129 1 0 0 18 0 32 0 40347740 1637867520 16634 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=5601/tid=5606] ppid=5599 vsize=1599480 CPUtime=1.32 cores=0-31
/proc/5601/task/5606/stat : 5606 (claspmt) R 5599 5601 5571 0 -1 4202560 478 0 0 0 131 1 0 0 19 0 32 0 40347740 1637867520 16634 270582939648 4194304 4964800 140736749255664 18446744073709551615 4668797 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=5601/tid=5607] ppid=5599 vsize=1599480 CPUtime=1.34 cores=0-31
/proc/5601/task/5607/stat : 5607 (claspmt) R 5599 5601 5571 0 -1 4202560 515 0 0 0 133 1 0 0 19 0 32 0 40347740 1637867520 16634 270582939648 4194304 4964800 140736749255664 18446744073709551615 4653203 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=5601/tid=5608] ppid=5599 vsize=1599480 CPUtime=1.29 cores=0-31
/proc/5601/task/5608/stat : 5608 (claspmt) R 5599 5601 5571 0 -1 4202560 455 0 0 0 128 1 0 0 19 0 32 0 40347740 1637867520 16634 270582939648 4194304 4964800 140736749255664 18446744073709551615 4668797 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=5601/tid=5609] ppid=5599 vsize=1599480 CPUtime=1.32 cores=0-31
/proc/5601/task/5609/stat : 5609 (claspmt) R 5599 5601 5571 0 -1 4202560 688 0 0 0 130 2 0 0 18 0 32 0 40347740 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670381 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=5601/tid=5610] ppid=5599 vsize=1599480 CPUtime=1.32 cores=0-31
/proc/5601/task/5610/stat : 5610 (claspmt) R 5599 5601 5571 0 -1 4202560 440 0 0 0 131 1 0 0 19 0 32 0 40347740 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5601/tid=5611] ppid=5599 vsize=1599480 CPUtime=1.33 cores=0-31
/proc/5601/task/5611/stat : 5611 (claspmt) R 5599 5601 5571 0 -1 4202560 419 0 0 0 131 2 0 0 19 0 32 0 40347740 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4668672 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5601/tid=5612] ppid=5599 vsize=1599480 CPUtime=1.3 cores=0-31
/proc/5601/task/5612/stat : 5612 (claspmt) R 5599 5601 5571 0 -1 4202560 557 0 0 0 129 1 0 0 19 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5601/tid=5613] ppid=5599 vsize=1599480 CPUtime=1.33 cores=0-31
/proc/5601/task/5613/stat : 5613 (claspmt) R 5599 5601 5571 0 -1 4202560 526 0 0 0 131 2 0 0 19 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670392 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5601/tid=5614] ppid=5599 vsize=1599480 CPUtime=1.29 cores=0-31
/proc/5601/task/5614/stat : 5614 (claspmt) R 5599 5601 5571 0 -1 4202560 489 0 0 0 128 1 0 0 19 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=5601/tid=5615] ppid=5599 vsize=1599480 CPUtime=1.32 cores=0-31
/proc/5601/task/5615/stat : 5615 (claspmt) R 5599 5601 5571 0 -1 4202560 474 0 0 0 131 1 0 0 19 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669310 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5601/tid=5616] ppid=5599 vsize=1599480 CPUtime=1.3 cores=0-31
/proc/5601/task/5616/stat : 5616 (claspmt) R 5599 5601 5571 0 -1 4202560 451 0 0 0 129 1 0 0 19 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=5601/tid=5617] ppid=5599 vsize=1599480 CPUtime=1.31 cores=0-31
/proc/5601/task/5617/stat : 5617 (claspmt) R 5599 5601 5571 0 -1 4202560 703 0 0 0 129 2 0 0 19 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=5601/tid=5618] ppid=5599 vsize=1599480 CPUtime=1.31 cores=0-31
/proc/5601/task/5618/stat : 5618 (claspmt) R 5599 5601 5571 0 -1 4202560 483 0 0 0 130 1 0 0 18 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=5601/tid=5619] ppid=5599 vsize=1599480 CPUtime=1.3 cores=0-31
/proc/5601/task/5619/stat : 5619 (claspmt) R 5599 5601 5571 0 -1 4202560 508 0 0 0 129 1 0 0 19 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=5601/tid=5620] ppid=5599 vsize=1599480 CPUtime=1.31 cores=0-31
/proc/5601/task/5620/stat : 5620 (claspmt) R 5599 5601 5571 0 -1 4202560 579 0 0 0 129 2 0 0 19 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=5601/tid=5621] ppid=5599 vsize=1599480 CPUtime=1.3 cores=0-31
/proc/5601/task/5621/stat : 5621 (claspmt) R 5599 5601 5571 0 -1 4202560 496 0 0 0 129 1 0 0 18 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=5601/tid=5622] ppid=5599 vsize=1599480 CPUtime=1.3 cores=0-31
/proc/5601/task/5622/stat : 5622 (claspmt) R 5599 5601 5571 0 -1 4202560 459 0 0 0 129 1 0 0 18 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=5601/tid=5623] ppid=5599 vsize=1599480 CPUtime=1.33 cores=0-31
/proc/5601/task/5623/stat : 5623 (claspmt) R 5599 5601 5571 0 -1 4202560 469 0 0 0 132 1 0 0 19 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5601/tid=5624] ppid=5599 vsize=1599480 CPUtime=1.3 cores=0-31
/proc/5601/task/5624/stat : 5624 (claspmt) R 5599 5601 5571 0 -1 4202560 454 0 0 0 129 1 0 0 19 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=5601/tid=5625] ppid=5599 vsize=1599480 CPUtime=1.31 cores=0-31
/proc/5601/task/5625/stat : 5625 (claspmt) R 5599 5601 5571 0 -1 4202560 655 0 0 0 129 2 0 0 19 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=5601/tid=5626] ppid=5599 vsize=1599480 CPUtime=1.3 cores=0-31
/proc/5601/task/5626/stat : 5626 (claspmt) R 5599 5601 5571 0 -1 4202560 446 0 0 0 129 1 0 0 18 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=5601/tid=5627] ppid=5599 vsize=1599480 CPUtime=1.31 cores=0-31
/proc/5601/task/5627/stat : 5627 (claspmt) R 5599 5601 5571 0 -1 4202560 419 0 0 0 130 1 0 0 19 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4668702 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=5601/tid=5628] ppid=5599 vsize=1599480 CPUtime=1.28 cores=0-31
/proc/5601/task/5628/stat : 5628 (claspmt) R 5599 5601 5571 0 -1 4202560 556 0 0 0 126 2 0 0 18 0 32 0 40347741 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=5601/tid=5629] ppid=5599 vsize=1599480 CPUtime=1.31 cores=0-31
/proc/5601/task/5629/stat : 5629 (claspmt) R 5599 5601 5571 0 -1 4202560 469 0 0 0 130 1 0 0 19 0 32 0 40347742 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670190 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=5601/tid=5630] ppid=5599 vsize=1599480 CPUtime=1.3 cores=0-31
/proc/5601/task/5630/stat : 5630 (claspmt) R 5599 5601 5571 0 -1 4202560 498 0 0 0 129 1 0 0 19 0 32 0 40347742 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=5601/tid=5631] ppid=5599 vsize=1599480 CPUtime=1.32 cores=0-31
/proc/5601/task/5631/stat : 5631 (claspmt) R 5599 5601 5571 0 -1 4202560 544 0 0 0 131 1 0 0 18 0 32 0 40347742 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=5601/tid=5632] ppid=5599 vsize=1599480 CPUtime=1.31 cores=0-31
/proc/5601/task/5632/stat : 5632 (claspmt) R 5599 5601 5571 0 -1 4202560 419 0 0 0 130 1 0 0 19 0 32 0 40347742 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=5601/tid=5633] ppid=5599 vsize=1599480 CPUtime=1.31 cores=0-31
/proc/5601/task/5633/stat : 5633 (claspmt) R 5599 5601 5571 0 -1 4202560 664 0 0 0 129 2 0 0 19 0 32 0 40347742 1637867520 16635 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669733 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 42.31
Current children cumulated vsize (KiB) 1599480

[startup+3.10196 s]
/proc/loadavg: 29.80 31.60 31.90 33/445 5633
/proc/meminfo: memFree=262084288/264257624 swapFree=67111528/67111528
[pid=5601] ppid=5599 vsize=1600020 CPUtime=93.42 cores=0-31
/proc/5601/stat : 5601 (claspmt) R 5599 5601 5571 0 -1 4202496 22176 0 0 0 9269 73 0 0 24 0 32 0 40347734 1638420480 21664 270582939648 4194304 4964800 140736749255664 18446744073709551615 4338784 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5601/statm: 400005 21664 461 189 0 394354 0
[pid=5601/tid=5603] ppid=5599 vsize=1600020 CPUtime=2.92 cores=0-31
/proc/5601/task/5603/stat : 5603 (claspmt) R 5599 5601 5571 0 -1 4202560 553 0 0 0 291 1 0 0 22 0 32 0 40347740 1638420480 21664 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=5601/tid=5604] ppid=5599 vsize=1600020 CPUtime=2.9 cores=0-31
/proc/5601/task/5604/stat : 5604 (claspmt) R 5599 5601 5571 0 -1 4202560 816 0 0 0 287 3 0 0 19 0 32 0 40347740 1638420480 21664 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5601/tid=5605] ppid=5599 vsize=1600020 CPUtime=2.89 cores=0-31
/proc/5601/task/5605/stat : 5605 (claspmt) R 5599 5601 5571 0 -1 4202560 603 0 0 0 288 1 0 0 21 0 32 0 40347740 1638420480 21664 270582939648 4194304 4964800 140736749255664 18446744073709551615 4378525 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=5601/tid=5606] ppid=5599 vsize=1600020 CPUtime=2.91 cores=0-31
/proc/5601/task/5606/stat : 5606 (claspmt) R 5599 5601 5571 0 -1 4202560 599 0 0 0 290 1 0 0 23 0 32 0 40347740 1638420480 21664 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=5601/tid=5607] ppid=5599 vsize=1600020 CPUtime=2.93 cores=0-31
/proc/5601/task/5607/stat : 5607 (claspmt) R 5599 5601 5571 0 -1 4202560 632 0 0 0 292 1 0 0 23 0 32 0 40347740 1638420480 21664 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=5601/tid=5608] ppid=5599 vsize=1600020 CPUtime=2.9 cores=0-31
/proc/5601/task/5608/stat : 5608 (claspmt) R 5599 5601 5571 0 -1 4202560 535 0 0 0 288 2 0 0 22 0 32 0 40347740 1638420480 21664 270582939648 4194304 4964800 140736749255664 18446744073709551615 4342186 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=5601/tid=5609] ppid=5599 vsize=1600020 CPUtime=2.91 cores=0-31
/proc/5601/task/5609/stat : 5609 (claspmt) R 5599 5601 5571 0 -1 4202560 887 0 0 0 289 2 0 0 21 0 32 0 40347740 1638420480 21664 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=5601/tid=5610] ppid=5599 vsize=1600020 CPUtime=2.92 cores=0-31
/proc/5601/task/5610/stat : 5610 (claspmt) R 5599 5601 5571 0 -1 4202560 524 0 0 0 291 1 0 0 22 0 32 0 40347740 1638420480 21664 270582939648 4194304 4964800 140736749255664 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5601/tid=5611] ppid=5599 vsize=1600020 CPUtime=2.92 cores=0-31
/proc/5601/task/5611/stat : 5611 (claspmt) R 5599 5601 5571 0 -1 4202560 474 0 0 0 290 2 0 0 23 0 32 0 40347740 1638420480 21664 270582939648 4194304 4964800 140736749255664 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5601/tid=5612] ppid=5599 vsize=1600020 CPUtime=2.91 cores=0-31
/proc/5601/task/5612/stat : 5612 (claspmt) R 5599 5601 5571 0 -1 4202560 827 0 0 0 289 2 0 0 18 0 32 0 40347741 1638420480 21664 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5601/tid=5613] ppid=5599 vsize=1600020 CPUtime=2.93 cores=0-31
/proc/5601/task/5613/stat : 5613 (claspmt) R 5599 5601 5571 0 -1 4202560 627 0 0 0 291 2 0 0 23 0 32 0 40347741 1638420480 21664 270582939648 4194304 4964800 140736749255664 18446744073709551615 4342167 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5601/tid=5614] ppid=5599 vsize=1600020 CPUtime=2.89 cores=0-31
/proc/5601/task/5614/stat : 5614 (claspmt) R 5599 5601 5571 0 -1 4202560 654 0 0 0 287 2 0 0 22 0 32 0 40347741 1638420480 21664 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=5601/tid=5615] ppid=5599 vsize=1600020 CPUtime=2.93 cores=0-31
/proc/5601/task/5615/stat : 5615 (claspmt) R 5599 5601 5571 0 -1 4202560 558 0 0 0 291 2 0 0 23 0 32 0 40347741 1638420480 21664 270582939648 4194304 4964800 140736749255664 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5601/tid=5616] ppid=5599 vsize=1600020 CPUtime=2.9 cores=0-31
/proc/5601/task/5616/stat : 5616 (claspmt) R 5599 5601 5571 0 -1 4202560 540 0 0 0 289 1 0 0 22 0 32 0 40347741 1638420480 21664 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670398 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=5601/tid=5617] ppid=5599 vsize=1600020 CPUtime=2.91 cores=0-31
/proc/5601/task/5617/stat : 5617 (claspmt) R 5599 5601 5571 0 -1 4202560 995 0 0 0 288 3 0 0 21 0 32 0 40347741 1638420480 21665 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=5601/tid=5618] ppid=5599 vsize=1600020 CPUtime=2.91 cores=0-31
/proc/5601/task/5618/stat : 5618 (claspmt) R 5599 5601 5571 0 -1 4202560 594 0 0 0 290 1 0 0 20 0 32 0 40347741 1638420480 21665 270582939648 4194304 4964800 140736749255664 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=5601/tid=5619] ppid=5599 vsize=1600020 CPUtime=2.9 cores=0-31
/proc/5601/task/5619/stat : 5619 (claspmt) R 5599 5601 5571 0 -1 4202560 589 0 0 0 289 1 0 0 23 0 32 0 40347741 1638420480 21665 270582939648 4194304 4964800 140736749255664 18446744073709551615 4320872 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=5601/tid=5620] ppid=5599 vsize=1600020 CPUtime=2.91 cores=0-31
/proc/5601/task/5620/stat : 5620 (claspmt) R 5599 5601 5571 0 -1 4202560 829 0 0 0 289 2 0 0 22 0 32 0 40347741 1638420480 21665 270582939648 4194304 4964800 140736749255664 18446744073709551615 4668702 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=5601/tid=5621] ppid=5599 vsize=1600020 CPUtime=2.9 cores=0-31
/proc/5601/task/5621/stat : 5621 (claspmt) R 5599 5601 5571 0 -1 4202560 633 0 0 0 289 1 0 0 21 0 32 0 40347741 1638420480 21665 270582939648 4194304 4964800 140736749255664 18446744073709551615 4668741 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=5601/tid=5622] ppid=5599 vsize=1600020 CPUtime=2.9 cores=0-31
/proc/5601/task/5622/stat : 5622 (claspmt) R 5599 5601 5571 0 -1 4202560 607 0 0 0 288 2 0 0 20 0 32 0 40347741 1638420480 21665 270582939648 4194304 4964800 140736749255664 18446744073709551615 4345088 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=5601/tid=5623] ppid=5599 vsize=1600020 CPUtime=2.92 cores=0-31
/proc/5601/task/5623/stat : 5623 (claspmt) R 5599 5601 5571 0 -1 4202560 633 0 0 0 291 1 0 0 23 0 32 0 40347741 1638420480 21665 270582939648 4194304 4964800 140736749255664 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5601/tid=5624] ppid=5599 vsize=1600020 CPUtime=2.9 cores=0-31
/proc/5601/task/5624/stat : 5624 (claspmt) R 5599 5601 5571 0 -1 4202560 573 0 0 0 288 2 0 0 23 0 32 0 40347741 1638420480 21665 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=5601/tid=5625] ppid=5599 vsize=1600020 CPUtime=2.91 cores=0-31
/proc/5601/task/5625/stat : 5625 (claspmt) R 5599 5601 5571 0 -1 4202560 1110 0 0 0 288 3 0 0 22 0 32 0 40347741 1638420480 21665 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=5601/tid=5626] ppid=5599 vsize=1600020 CPUtime=2.9 cores=0-31
/proc/5601/task/5626/stat : 5626 (claspmt) R 5599 5601 5571 0 -1 4202560 512 0 0 0 289 1 0 0 21 0 32 0 40347741 1638420480 21665 270582939648 4194304 4964800 140736749255664 18446744073709551615 4338784 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=5601/tid=5627] ppid=5599 vsize=1600020 CPUtime=2.9 cores=0-31
/proc/5601/task/5627/stat : 5627 (claspmt) R 5599 5601 5571 0 -1 4202560 539 0 0 0 289 1 0 0 24 0 32 0 40347741 1638420480 21665 270582939648 4194304 4964800 140736749255664 18446744073709551615 4658556 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=5601/tid=5628] ppid=5599 vsize=1600020 CPUtime=2.85 cores=0-31
/proc/5601/task/5628/stat : 5628 (claspmt) R 5599 5601 5571 0 -1 4202560 769 0 0 0 282 3 0 0 18 0 32 0 40347741 1638420480 21666 270582939648 4194304 4964800 140736749255664 18446744073709551615 4361334 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=5601/tid=5629] ppid=5599 vsize=1600020 CPUtime=2.91 cores=0-31
/proc/5601/task/5629/stat : 5629 (claspmt) R 5599 5601 5571 0 -1 4202560 551 0 0 0 290 1 0 0 23 0 32 0 40347742 1638420480 21666 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=5601/tid=5630] ppid=5599 vsize=1600020 CPUtime=2.9 cores=0-31
/proc/5601/task/5630/stat : 5630 (claspmt) R 5599 5601 5571 0 -1 4202560 607 0 0 0 288 2 0 0 22 0 32 0 40347742 1638420480 21667 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=5601/tid=5631] ppid=5599 vsize=1600020 CPUtime=2.92 cores=0-31
/proc/5601/task/5631/stat : 5631 (claspmt) R 5599 5601 5571 0 -1 4202560 631 0 0 0 290 2 0 0 21 0 32 0 40347742 1638420480 21667 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=5601/tid=5632] ppid=5599 vsize=1600020 CPUtime=2.91 cores=0-31

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

/proc/5601/task/5603/stat : 5603 (claspmt) R 5599 5601 5571 0 -1 4202560 13089 0 0 0 495923 82 0 0 25 0 32 0 40347740 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4465641 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=5601/tid=5604] ppid=5599 vsize=1732432 CPUtime=4960.3 cores=0-31
/proc/5601/task/5604/stat : 5604 (claspmt) R 5599 5601 5571 0 -1 4202560 10641 0 0 0 495953 77 0 0 25 0 32 0 40347740 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5601/tid=5605] ppid=5599 vsize=1732432 CPUtime=4960.35 cores=0-31
/proc/5601/task/5605/stat : 5605 (claspmt) R 5599 5601 5571 0 -1 4202560 6933 0 0 0 495960 75 0 0 18 0 32 0 40347740 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=5601/tid=5606] ppid=5599 vsize=1732432 CPUtime=4960.41 cores=0-31
/proc/5601/task/5606/stat : 5606 (claspmt) R 5599 5601 5571 0 -1 4202560 9167 0 0 0 495963 78 0 0 25 0 32 0 40347740 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=5601/tid=5607] ppid=5599 vsize=1732432 CPUtime=4949.62 cores=0-31
/proc/5601/task/5607/stat : 5607 (claspmt) R 5599 5601 5571 0 -1 4202560 10277 0 0 0 494872 90 0 0 25 0 32 0 40347740 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=5601/tid=5608] ppid=5599 vsize=1732432 CPUtime=4950.41 cores=0-31
/proc/5601/task/5608/stat : 5608 (claspmt) R 5599 5601 5571 0 -1 4202560 7159 0 0 0 494958 83 0 0 25 0 32 0 40347740 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=5601/tid=5609] ppid=5599 vsize=1732432 CPUtime=4960.69 cores=0-31
/proc/5601/task/5609/stat : 5609 (claspmt) R 5599 5601 5571 0 -1 4202560 18383 0 0 0 495968 101 0 0 25 0 32 0 40347740 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669476 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=5601/tid=5610] ppid=5599 vsize=1732432 CPUtime=4960.32 cores=0-31
/proc/5601/task/5610/stat : 5610 (claspmt) R 5599 5601 5571 0 -1 4202560 7707 0 0 0 495968 64 0 0 25 0 32 0 40347740 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669445 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5601/tid=5611] ppid=5599 vsize=1732432 CPUtime=4946.04 cores=0-31
/proc/5601/task/5611/stat : 5611 (claspmt) R 5599 5601 5571 0 -1 4202560 12823 0 0 0 494497 107 0 0 25 0 32 0 40347740 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=5601/tid=5612] ppid=5599 vsize=1732432 CPUtime=4960.18 cores=0-31
/proc/5601/task/5612/stat : 5612 (claspmt) R 5599 5601 5571 0 -1 4202560 12028 0 0 0 495940 78 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=5601/tid=5613] ppid=5599 vsize=1732432 CPUtime=4954.53 cores=0-31
/proc/5601/task/5613/stat : 5613 (claspmt) R 5599 5601 5571 0 -1 4202560 6879 0 0 0 495373 80 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=5601/tid=5614] ppid=5599 vsize=1732432 CPUtime=4957.78 cores=0-31
/proc/5601/task/5614/stat : 5614 (claspmt) R 5599 5601 5571 0 -1 4202560 9703 0 0 0 495668 110 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4660435 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5601/tid=5615] ppid=5599 vsize=1732432 CPUtime=4960 cores=0-31
/proc/5601/task/5615/stat : 5615 (claspmt) R 5599 5601 5571 0 -1 4202560 10641 0 0 0 495914 86 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=5601/tid=5616] ppid=5599 vsize=1732432 CPUtime=4957.01 cores=0-31
/proc/5601/task/5616/stat : 5616 (claspmt) R 5599 5601 5571 0 -1 4202560 6690 0 0 0 495623 78 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=5601/tid=5617] ppid=5599 vsize=1732432 CPUtime=4953.81 cores=0-31
/proc/5601/task/5617/stat : 5617 (claspmt) R 5599 5601 5571 0 -1 4202560 22192 0 0 0 495271 110 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5601/tid=5618] ppid=5599 vsize=1732432 CPUtime=4960.4 cores=0-31
/proc/5601/task/5618/stat : 5618 (claspmt) R 5599 5601 5571 0 -1 4202560 7191 0 0 0 495965 75 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=5601/tid=5619] ppid=5599 vsize=1732432 CPUtime=4960.14 cores=0-31
/proc/5601/task/5619/stat : 5619 (claspmt) R 5599 5601 5571 0 -1 4202560 13198 0 0 0 495913 101 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=5601/tid=5620] ppid=5599 vsize=1732432 CPUtime=4943.91 cores=0-31
/proc/5601/task/5620/stat : 5620 (claspmt) R 5599 5601 5571 0 -1 4202560 13145 0 0 0 494301 90 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=5601/tid=5621] ppid=5599 vsize=1732432 CPUtime=4960.3 cores=0-31
/proc/5601/task/5621/stat : 5621 (claspmt) R 5599 5601 5571 0 -1 4202560 7400 0 0 0 495953 77 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=5601/tid=5622] ppid=5599 vsize=1732432 CPUtime=4960.29 cores=0-31
/proc/5601/task/5622/stat : 5622 (claspmt) R 5599 5601 5571 0 -1 4202560 10142 0 0 0 495953 76 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4660835 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=5601/tid=5623] ppid=5599 vsize=1732432 CPUtime=4951.2 cores=0-31
/proc/5601/task/5623/stat : 5623 (claspmt) R 5599 5601 5571 0 -1 4202560 9501 0 0 0 495039 81 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=5601/tid=5624] ppid=5599 vsize=1732432 CPUtime=4960.23 cores=0-31
/proc/5601/task/5624/stat : 5624 (claspmt) R 5599 5601 5571 0 -1 4202560 8116 0 0 0 495935 88 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=5601/tid=5625] ppid=5599 vsize=1732432 CPUtime=4960.52 cores=0-31
/proc/5601/task/5625/stat : 5625 (claspmt) R 5599 5601 5571 0 -1 4202560 29083 0 0 0 495921 131 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=5601/tid=5626] ppid=5599 vsize=1732432 CPUtime=4945.52 cores=0-31
/proc/5601/task/5626/stat : 5626 (claspmt) R 5599 5601 5571 0 -1 4202560 6593 0 0 0 494478 74 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=5601/tid=5627] ppid=5599 vsize=1732432 CPUtime=4940.4 cores=0-31
/proc/5601/task/5627/stat : 5627 (claspmt) R 5599 5601 5571 0 -1 4202560 12275 0 0 0 493929 111 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=5601/tid=5628] ppid=5599 vsize=1732432 CPUtime=4951.72 cores=0-31
/proc/5601/task/5628/stat : 5628 (claspmt) R 5599 5601 5571 0 -1 4202560 12311 0 0 0 495079 93 0 0 25 0 32 0 40347741 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=5601/tid=5629] ppid=5599 vsize=1732432 CPUtime=4952.81 cores=0-31
/proc/5601/task/5629/stat : 5629 (claspmt) R 5599 5601 5571 0 -1 4202560 7270 0 0 0 495199 82 0 0 25 0 32 0 40347742 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670520 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5601/tid=5630] ppid=5599 vsize=1732432 CPUtime=4960.35 cores=0-31
/proc/5601/task/5630/stat : 5630 (claspmt) R 5599 5601 5571 0 -1 4202560 10189 0 0 0 495953 82 0 0 25 0 32 0 40347742 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4654532 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=5601/tid=5631] ppid=5599 vsize=1732432 CPUtime=4946.06 cores=0-31
/proc/5601/task/5631/stat : 5631 (claspmt) R 5599 5601 5571 0 -1 4202560 10361 0 0 0 494524 82 0 0 25 0 32 0 40347742 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5601/tid=5632] ppid=5599 vsize=1732432 CPUtime=4960.26 cores=0-31
/proc/5601/task/5632/stat : 5632 (claspmt) R 5599 5601 5571 0 -1 4202560 7376 0 0 0 495958 68 0 0 25 0 32 0 40347742 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=5601/tid=5633] ppid=5599 vsize=1732432 CPUtime=4960.65 cores=0-31
/proc/5601/task/5633/stat : 5633 (claspmt) R 5599 5601 5571 0 -1 4202560 31497 0 0 0 495917 148 0 0 25 0 32 0 40347742 1774010368 358469 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 158586
Current children cumulated vsize (KiB) 1732432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5006.6 s]
/proc/loadavg: 32.22 32.14 32.10 33/445 5788
/proc/meminfo: memFree=260730132/264257624 swapFree=67111528/67111528
[pid=5601] ppid=5599 vsize=1732640 CPUtime=160003 cores=0-31
/proc/5601/stat : 5601 (claspmt) R 5599 5601 5571 0 -1 4202496 368572 0 0 0 15997419 2855 0 0 25 0 32 0 40347734 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4362228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/5601/statm: 433160 358760 463 189 0 427509 0
[pid=5601/tid=5603] ppid=5599 vsize=1732640 CPUtime=5004.36 cores=0-31
/proc/5601/task/5603/stat : 5603 (claspmt) R 5599 5601 5571 0 -1 4202560 13089 0 0 0 500354 82 0 0 25 0 32 0 40347740 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=5601/tid=5604] ppid=5599 vsize=1732640 CPUtime=5004.6 cores=0-31
/proc/5601/task/5604/stat : 5604 (claspmt) R 5599 5601 5571 0 -1 4202560 10641 0 0 0 500383 77 0 0 25 0 32 0 40347740 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5601/tid=5605] ppid=5599 vsize=1732640 CPUtime=5004.66 cores=0-31
/proc/5601/task/5605/stat : 5605 (claspmt) R 5599 5601 5571 0 -1 4202560 6933 0 0 0 500391 75 0 0 25 0 32 0 40347740 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4660488 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=5601/tid=5606] ppid=5599 vsize=1732640 CPUtime=5004.71 cores=0-31
/proc/5601/task/5606/stat : 5606 (claspmt) R 5599 5601 5571 0 -1 4202560 9169 0 0 0 500393 78 0 0 25 0 32 0 40347740 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=5601/tid=5607] ppid=5599 vsize=1732640 CPUtime=4993.93 cores=0-31
/proc/5601/task/5607/stat : 5607 (claspmt) R 5599 5601 5571 0 -1 4202560 10287 0 0 0 499302 91 0 0 25 0 32 0 40347740 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=5601/tid=5608] ppid=5599 vsize=1732640 CPUtime=4994.72 cores=0-31
/proc/5601/task/5608/stat : 5608 (claspmt) R 5599 5601 5571 0 -1 4202560 7161 0 0 0 499388 84 0 0 25 0 32 0 40347740 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=5601/tid=5609] ppid=5599 vsize=1732640 CPUtime=5005 cores=0-31
/proc/5601/task/5609/stat : 5609 (claspmt) R 5599 5601 5571 0 -1 4202560 18397 0 0 0 500399 101 0 0 25 0 32 0 40347740 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4315483 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=5601/tid=5610] ppid=5599 vsize=1732640 CPUtime=5004.63 cores=0-31
/proc/5601/task/5610/stat : 5610 (claspmt) R 5599 5601 5571 0 -1 4202560 7707 0 0 0 500398 65 0 0 25 0 32 0 40347740 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5601/tid=5611] ppid=5599 vsize=1732640 CPUtime=4990.35 cores=0-31
/proc/5601/task/5611/stat : 5611 (claspmt) R 5599 5601 5571 0 -1 4202560 12845 0 0 0 498926 109 0 0 25 0 32 0 40347740 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4637083 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=5601/tid=5612] ppid=5599 vsize=1732640 CPUtime=5004.49 cores=0-31
/proc/5601/task/5612/stat : 5612 (claspmt) R 5599 5601 5571 0 -1 4202560 12028 0 0 0 500370 79 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=5601/tid=5613] ppid=5599 vsize=1732640 CPUtime=4998.84 cores=0-31
/proc/5601/task/5613/stat : 5613 (claspmt) R 5599 5601 5571 0 -1 4202560 6881 0 0 0 499803 81 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4668797 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=5601/tid=5614] ppid=5599 vsize=1732640 CPUtime=5002.07 cores=0-31
/proc/5601/task/5614/stat : 5614 (claspmt) R 5599 5601 5571 0 -1 4202560 9707 0 0 0 500096 111 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5601/tid=5615] ppid=5599 vsize=1732640 CPUtime=5004.3 cores=0-31
/proc/5601/task/5615/stat : 5615 (claspmt) R 5599 5601 5571 0 -1 4202560 10641 0 0 0 500344 86 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=5601/tid=5616] ppid=5599 vsize=1732640 CPUtime=5001.31 cores=0-31
/proc/5601/task/5616/stat : 5616 (claspmt) R 5599 5601 5571 0 -1 4202560 6690 0 0 0 500053 78 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=5601/tid=5617] ppid=5599 vsize=1732640 CPUtime=4998.12 cores=0-31
/proc/5601/task/5617/stat : 5617 (claspmt) R 5599 5601 5571 0 -1 4202560 22192 0 0 0 499702 110 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5601/tid=5618] ppid=5599 vsize=1732640 CPUtime=5004.71 cores=0-31
/proc/5601/task/5618/stat : 5618 (claspmt) R 5599 5601 5571 0 -1 4202560 7195 0 0 0 500395 76 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4684197 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=5601/tid=5619] ppid=5599 vsize=1732640 CPUtime=5004.42 cores=0-31
/proc/5601/task/5619/stat : 5619 (claspmt) R 5599 5601 5571 0 -1 4202560 13263 0 0 0 500340 102 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=5601/tid=5620] ppid=5599 vsize=1732640 CPUtime=4988.22 cores=0-31
/proc/5601/task/5620/stat : 5620 (claspmt) R 5599 5601 5571 0 -1 4202560 13145 0 0 0 498731 91 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=5601/tid=5621] ppid=5599 vsize=1732640 CPUtime=5004.6 cores=0-31
/proc/5601/task/5621/stat : 5621 (claspmt) R 5599 5601 5571 0 -1 4202560 7415 0 0 0 500383 77 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=5601/tid=5622] ppid=5599 vsize=1732640 CPUtime=5004.58 cores=0-31
/proc/5601/task/5622/stat : 5622 (claspmt) R 5599 5601 5571 0 -1 4202560 10142 0 0 0 500382 76 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=5601/tid=5623] ppid=5599 vsize=1732640 CPUtime=4994.78 cores=0-31
/proc/5601/task/5623/stat : 5623 (claspmt) R 5599 5601 5571 0 -1 4202560 9551 0 0 0 499396 82 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5601/tid=5624] ppid=5599 vsize=1732640 CPUtime=5004.53 cores=0-31
/proc/5601/task/5624/stat : 5624 (claspmt) R 5599 5601 5571 0 -1 4202560 8116 0 0 0 500365 88 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=5601/tid=5625] ppid=5599 vsize=1732640 CPUtime=5004.83 cores=0-31
/proc/5601/task/5625/stat : 5625 (claspmt) R 5599 5601 5571 0 -1 4202560 29086 0 0 0 500352 131 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=5601/tid=5626] ppid=5599 vsize=1732640 CPUtime=4989.83 cores=0-31
/proc/5601/task/5626/stat : 5626 (claspmt) R 5599 5601 5571 0 -1 4202560 6593 0 0 0 498908 75 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=5601/tid=5627] ppid=5599 vsize=1732640 CPUtime=4984.7 cores=0-31
/proc/5601/task/5627/stat : 5627 (claspmt) R 5599 5601 5571 0 -1 4202560 12298 0 0 0 498358 112 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4684800 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=5601/tid=5628] ppid=5599 vsize=1732640 CPUtime=4996.03 cores=0-31
/proc/5601/task/5628/stat : 5628 (claspmt) R 5599 5601 5571 0 -1 4202560 12311 0 0 0 499509 94 0 0 25 0 32 0 40347741 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=5601/tid=5629] ppid=5599 vsize=1732640 CPUtime=4996.57 cores=0-31
/proc/5601/task/5629/stat : 5629 (claspmt) R 5599 5601 5571 0 -1 4202560 7321 0 0 0 499574 83 0 0 25 0 32 0 40347742 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=5601/tid=5630] ppid=5599 vsize=1732640 CPUtime=5004.65 cores=0-31
/proc/5601/task/5630/stat : 5630 (claspmt) R 5599 5601 5571 0 -1 4202560 10193 0 0 0 500382 83 0 0 25 0 32 0 40347742 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=5601/tid=5631] ppid=5599 vsize=1732640 CPUtime=4990.37 cores=0-31
/proc/5601/task/5631/stat : 5631 (claspmt) R 5599 5601 5571 0 -1 4202560 10363 0 0 0 498954 83 0 0 25 0 32 0 40347742 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=5601/tid=5632] ppid=5599 vsize=1732640 CPUtime=5004.58 cores=0-31
/proc/5601/task/5632/stat : 5632 (claspmt) R 5599 5601 5571 0 -1 4202560 7376 0 0 0 500389 69 0 0 25 0 32 0 40347742 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4363610 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=5601/tid=5633] ppid=5599 vsize=1732640 CPUtime=5004.96 cores=0-31
/proc/5601/task/5633/stat : 5633 (claspmt) R 5599 5601 5571 0 -1 4202560 31519 0 0 0 500347 149 0 0 25 0 32 0 40347742 1774223360 358760 270582939648 4194304 4964800 140736749255664 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 1732640

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

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

[startup+5006.73 s]
/proc/loadavg: 32.22 32.14 32.10 33/445 5788
/proc/meminfo: memFree=260730132/264257624 swapFree=67111528/67111528
[pid=5601] ppid=5599 vsize=1640268 CPUtime=160003 cores=0-31
/proc/5601/stat : 5601 (claspmt) R 5599 5601 5571 0 -1 4202496 368584 0 0 0 15997473 2856 0 0 25 0 1 0 40347734 1679634432 358207 270582939648 4194304 4964800 140736749255664 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 410067 358207 474 189 0 404416 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 1640268

[startup+5006.9 s]
/proc/loadavg: 32.22 32.14 32.10 33/445 5788
/proc/meminfo: memFree=260730132/264257624 swapFree=67111528/67111528
[pid=5601] ppid=5599 vsize=1637676 CPUtime=160003 cores=0-31
/proc/5601/stat : 5601 (claspmt) R 5599 5601 5571 0 -1 4202496 368584 0 0 0 15997490 2856 0 0 25 0 1 0 40347734 1676980224 357130 270582939648 4194304 4964800 140736749255664 18446744073709551615 258650612341 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 409419 357130 474 189 0 403768 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 1637676

[startup+5007 s]
/proc/loadavg: 32.22 32.14 32.10 33/445 5788
/proc/meminfo: memFree=260730132/264257624 swapFree=67111528/67111528
[pid=5601] ppid=5599 vsize=1551328 CPUtime=160004 cores=0-31
/proc/5601/stat : 5601 (claspmt) R 5599 5601 5571 0 -1 4202496 368584 0 0 0 15997497 2858 0 0 25 0 1 0 40347734 1588559872 271090 270582939648 4194304 4964800 140736749255664 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/5601/statm: 387832 271090 474 189 0 382181 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 1551328

Child status: 0
Real time (s): 5007.09
CPU time (s): 160004
CPU user time (s): 159975
CPU system time (s): 28.6756
CPU usage (%): 3195.54
Max. virtual memory (cumulated for all children) (KiB): 1732640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159975
system time used= 28.6756
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368585
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= 1521782
involuntary context switches= 400040

runsolver used 26.8369 second user time and 114.292 second system time

The end

Launcher Data

Begin job on node200 at 2011-06-11 01:46:49
IDJOB=3472473
IDBENCH=83416
IDSOLVER=1961
FILE ID=node200/3472473-1307749608
RUNJOBID= node200-1307749608-5585
PBS_JOBID= 13549553
Free space on /tmp= 61744 MiB

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

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

MD5SUM BENCH= 07ea67092ce3fd4529e72f69434e3f99
RANDOM SEED=615143104

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:      262156368 kB
Buffers:        277248 kB
Cached:        1504884 kB
SwapCached:          0 kB
Active:         299180 kB
Inactive:      1546016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262156368 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             768 kB
Writeback:           0 kB
AnonPages:       63548 kB
Mapped:          13540 kB
Slab:           173192 kB
PageTables:       4268 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   160024 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 03:10:17