Trace number 3472302

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) 160002 5006.98

General information on the benchmark

NameAPPLICATIONS/bitverif/
mulhs/mulhs016.cnf
MD5SUMe4ef55733955e0a45519e9f7dec923e5
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 variables4656
Number of clauses13871
Sum of the clauses size32363
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 29246
Number of clauses of size 34623
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...423357/instance-3472302-1307423357.cnf
0.03/0.06	c Solving...
160001.44/5006.42	
160001.44/5006.42	*** INTERRUPTED! ***
160001.44/5006.42	*** Shutting down threads...
160002.14/5006.97	s UNKNOWN
160002.14/5006.97	
160002.14/5006.97	c INTERRUPTED   : 1
160002.14/5006.97	c Models        : 0+    
160002.14/5006.97	c Time          : 5006.422s (Solving: 5006.36s 1st Model: 0.00s Unsat: 0.00s)
160002.14/5006.97	c CPU Time      : 160001.680s

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.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3472302-1307423357/watcher-3472302-1307423357 -o /tmp/evaluation-result-3472302-1307423357/solver-3472302-1307423357 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472302-1307423357.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.66 31.63 31.97 1/413 14095
/proc/meminfo: memFree=263435252/264257624 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=23272 CPUtime=0.02 cores=0-31
/proc/14095/stat : 14095 (claspmt) R 14093 14095 14069 0 -1 4202496 1180 0 0 0 2 0 0 0 25 0 1 0 7722567 23830528 1029 270582939648 4194304 4964800 140733529308544 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/14095/statm: 5818 1029 401 189 0 692 0

[startup+0.0460621 s]
/proc/loadavg: 29.66 31.63 31.97 1/413 14095
/proc/meminfo: memFree=263435252/264257624 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=23404 CPUtime=0.03 cores=0-31
/proc/14095/stat : 14095 (claspmt) R 14093 14095 14069 0 -1 4202496 1227 0 0 0 3 0 0 0 25 0 1 0 7722567 23965696 1076 270582939648 4194304 4964800 140733529308544 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/14095/statm: 5851 1077 401 189 0 725 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23404

[startup+0.101029 s]
/proc/loadavg: 29.66 31.63 31.97 1/413 14095
/proc/meminfo: memFree=263435252/264257624 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=882984 CPUtime=0.22 cores=0-31
/proc/14095/stat : 14095 (claspmt) S 14093 14095 14069 0 -1 4202496 5380 0 0 0 8 14 0 0 18 0 32 0 7722567 904175616 4087 270582939648 4194304 4964800 140733529308544 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/14095/statm: 220746 4090 438 189 0 215095 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 882984

[startup+0.302672 s]
/proc/loadavg: 29.66 31.63 31.97 1/413 14095
/proc/meminfo: memFree=263435252/264257624 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=1801452 CPUtime=2.74 cores=0-31
/proc/14095/stat : 14095 (claspmt) R 14093 14095 14069 0 -1 4202496 8937 0 0 0 250 24 0 0 18 0 32 0 7722567 1844686848 7595 270582939648 4194304 4964800 140733529308544 18446744073709551615 4332090 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/14095/statm: 450363 7595 458 189 0 444712 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 1801452

[startup+0.700972 s]
/proc/loadavg: 29.66 31.63 31.97 1/413 14095
/proc/meminfo: memFree=263435252/264257624 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=1802244 CPUtime=15.04 cores=0-31
/proc/14095/stat : 14095 (claspmt) R 14093 14095 14069 0 -1 4202496 13925 0 0 0 1463 41 0 0 18 0 32 0 7722567 1845497856 12583 270582939648 4194304 4964800 140733529308544 18446744073709551615 4362225 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/14095/statm: 450561 12587 461 189 0 444910 0
Current children cumulated CPU time (s) 15.04
Current children cumulated vsize (KiB) 1802244

[startup+1.502 s]
/proc/loadavg: 29.66 31.63 31.97 33/445 14127
/proc/meminfo: memFree=263378560/264257624 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=1803300 CPUtime=40.52 cores=0-31
/proc/14095/stat : 14095 (claspmt) R 14093 14095 14069 0 -1 4202496 18307 0 0 0 3997 55 0 0 19 0 32 0 7722567 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670534 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/14095/statm: 450825 16965 461 189 0 445174 0
[pid=14095/tid=14097] ppid=14093 vsize=1803300 CPUtime=1.27 cores=0-31
/proc/14095/task/14097/stat : 14097 (claspmt) R 14093 14095 14069 0 -1 4202560 411 0 0 0 126 1 0 0 18 0 32 0 7722574 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4660835 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=1803300 CPUtime=1.26 cores=0-31
/proc/14095/task/14098/stat : 14098 (claspmt) R 14093 14095 14069 0 -1 4202560 597 0 0 0 125 1 0 0 19 0 32 0 7722574 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14095/tid=14099] ppid=14093 vsize=1803300 CPUtime=1.25 cores=0-31
/proc/14095/task/14099/stat : 14099 (claspmt) R 14093 14095 14069 0 -1 4202560 489 0 0 0 124 1 0 0 19 0 32 0 7722574 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14095/tid=14100] ppid=14093 vsize=1803300 CPUtime=1.2 cores=0-31
/proc/14095/task/14100/stat : 14100 (claspmt) R 14093 14095 14069 0 -1 4202560 477 0 0 0 120 0 0 0 19 0 32 0 7722574 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=14095/tid=14101] ppid=14093 vsize=1803300 CPUtime=1.32 cores=0-31
/proc/14095/task/14101/stat : 14101 (claspmt) R 14093 14095 14069 0 -1 4202560 584 0 0 0 131 1 0 0 18 0 32 0 7722574 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4668553 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14095/tid=14102] ppid=14093 vsize=1803300 CPUtime=1.25 cores=0-31
/proc/14095/task/14102/stat : 14102 (claspmt) R 14093 14095 14069 0 -1 4202560 485 0 0 0 124 1 0 0 19 0 32 0 7722574 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670530 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14095/tid=14103] ppid=14093 vsize=1803300 CPUtime=1.22 cores=0-31
/proc/14095/task/14103/stat : 14103 (claspmt) R 14093 14095 14069 0 -1 4202560 791 0 0 0 121 1 0 0 19 0 32 0 7722574 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4661130 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=14095/tid=14104] ppid=14093 vsize=1803300 CPUtime=1.26 cores=0-31
/proc/14095/task/14104/stat : 14104 (claspmt) R 14093 14095 14069 0 -1 4202560 420 0 0 0 125 1 0 0 19 0 32 0 7722574 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670678 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=14095/tid=14105] ppid=14093 vsize=1803300 CPUtime=1.26 cores=0-31
/proc/14095/task/14105/stat : 14105 (claspmt) R 14093 14095 14069 0 -1 4202560 405 0 0 0 125 1 0 0 19 0 32 0 7722574 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4660917 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=14095/tid=14106] ppid=14093 vsize=1803300 CPUtime=1.23 cores=0-31
/proc/14095/task/14106/stat : 14106 (claspmt) R 14093 14095 14069 0 -1 4202560 562 0 0 0 122 1 0 0 18 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4363327 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14095/tid=14107] ppid=14093 vsize=1803300 CPUtime=1.24 cores=0-31
/proc/14095/task/14107/stat : 14107 (claspmt) R 14093 14095 14069 0 -1 4202560 496 0 0 0 123 1 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4668797 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=14095/tid=14108] ppid=14093 vsize=1803300 CPUtime=1.26 cores=0-31
/proc/14095/task/14108/stat : 14108 (claspmt) R 14093 14095 14069 0 -1 4202560 522 0 0 0 125 1 0 0 18 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 258650653546 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14095/tid=14109] ppid=14093 vsize=1803300 CPUtime=1.34 cores=0-31
/proc/14095/task/14109/stat : 14109 (claspmt) R 14093 14095 14069 0 -1 4202560 558 0 0 0 132 2 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=14095/tid=14110] ppid=14093 vsize=1803300 CPUtime=1.25 cores=0-31
/proc/14095/task/14110/stat : 14110 (claspmt) R 14093 14095 14069 0 -1 4202560 484 0 0 0 124 1 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4363324 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=14095/tid=14111] ppid=14093 vsize=1803300 CPUtime=1.22 cores=0-31
/proc/14095/task/14111/stat : 14111 (claspmt) R 14093 14095 14069 0 -1 4202560 933 0 0 0 120 2 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14095/tid=14112] ppid=14093 vsize=1803300 CPUtime=1.26 cores=0-31
/proc/14095/task/14112/stat : 14112 (claspmt) R 14093 14095 14069 0 -1 4202560 418 0 0 0 125 1 0 0 18 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=14095/tid=14113] ppid=14093 vsize=1803300 CPUtime=1.26 cores=0-31
/proc/14095/task/14113/stat : 14113 (claspmt) R 14093 14095 14069 0 -1 4202560 404 0 0 0 125 1 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14095/tid=14114] ppid=14093 vsize=1803300 CPUtime=1.25 cores=0-31
/proc/14095/task/14114/stat : 14114 (claspmt) R 14093 14095 14069 0 -1 4202560 589 0 0 0 123 2 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669017 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14095/tid=14115] ppid=14093 vsize=1803300 CPUtime=1.25 cores=0-31
/proc/14095/task/14115/stat : 14115 (claspmt) R 14093 14095 14069 0 -1 4202560 448 0 0 0 124 1 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4684074 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=14095/tid=14116] ppid=14093 vsize=1803300 CPUtime=1.26 cores=0-31
/proc/14095/task/14116/stat : 14116 (claspmt) R 14093 14095 14069 0 -1 4202560 533 0 0 0 125 1 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=14095/tid=14117] ppid=14093 vsize=1803300 CPUtime=1.34 cores=0-31
/proc/14095/task/14117/stat : 14117 (claspmt) R 14093 14095 14069 0 -1 4202560 476 0 0 0 134 0 0 0 18 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=14095/tid=14118] ppid=14093 vsize=1803300 CPUtime=1.24 cores=0-31
/proc/14095/task/14118/stat : 14118 (claspmt) R 14093 14095 14069 0 -1 4202560 469 0 0 0 123 1 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4378523 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=14095/tid=14119] ppid=14093 vsize=1803300 CPUtime=1.21 cores=0-31
/proc/14095/task/14119/stat : 14119 (claspmt) R 14093 14095 14069 0 -1 4202560 856 0 0 0 119 2 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=14095/tid=14120] ppid=14093 vsize=1803300 CPUtime=1.26 cores=0-31
/proc/14095/task/14120/stat : 14120 (claspmt) R 14093 14095 14069 0 -1 4202560 417 0 0 0 125 1 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14095/tid=14121] ppid=14093 vsize=1803300 CPUtime=1.25 cores=0-31
/proc/14095/task/14121/stat : 14121 (claspmt) R 14093 14095 14069 0 -1 4202560 423 0 0 0 124 1 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=14095/tid=14122] ppid=14093 vsize=1803300 CPUtime=1.24 cores=0-31
/proc/14095/task/14122/stat : 14122 (claspmt) R 14093 14095 14069 0 -1 4202560 561 0 0 0 123 1 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4361367 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=14095/tid=14123] ppid=14093 vsize=1803300 CPUtime=1.24 cores=0-31
/proc/14095/task/14123/stat : 14123 (claspmt) R 14093 14095 14069 0 -1 4202560 473 0 0 0 123 1 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14095/tid=14124] ppid=14093 vsize=1803300 CPUtime=1.25 cores=0-31
/proc/14095/task/14124/stat : 14124 (claspmt) R 14093 14095 14069 0 -1 4202560 476 0 0 0 124 1 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14095/tid=14125] ppid=14093 vsize=1803300 CPUtime=1.32 cores=0-31
/proc/14095/task/14125/stat : 14125 (claspmt) R 14093 14095 14069 0 -1 4202560 580 0 0 0 130 2 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4660835 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=14095/tid=14126] ppid=14093 vsize=1803300 CPUtime=1.25 cores=0-31
/proc/14095/task/14126/stat : 14126 (claspmt) R 14093 14095 14069 0 -1 4202560 484 0 0 0 124 1 0 0 19 0 32 0 7722575 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=14095/tid=14127] ppid=14093 vsize=1803300 CPUtime=1.22 cores=0-31
/proc/14095/task/14127/stat : 14127 (claspmt) R 14093 14095 14069 0 -1 4202560 830 0 0 0 120 2 0 0 19 0 32 0 7722576 1846579200 16965 270582939648 4194304 4964800 140733529308544 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 40.52
Current children cumulated vsize (KiB) 1803300

[startup+3.10205 s]
/proc/loadavg: 29.85 31.63 31.97 33/445 14127
/proc/meminfo: memFree=263365044/264257624 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=1803564 CPUtime=91.64 cores=0-31
/proc/14095/stat : 14095 (claspmt) R 14093 14095 14069 0 -1 4202496 23485 0 0 0 9093 71 0 0 23 0 32 0 7722567 1846849536 22143 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/14095/statm: 450891 22143 461 189 0 445240 0
[pid=14095/tid=14097] ppid=14093 vsize=1803564 CPUtime=2.86 cores=0-31
/proc/14095/task/14097/stat : 14097 (claspmt) R 14093 14095 14069 0 -1 4202560 440 0 0 0 285 1 0 0 22 0 32 0 7722574 1846849536 22143 270582939648 4194304 4964800 140733529308544 18446744073709551615 4631090 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=1803564 CPUtime=2.85 cores=0-31
/proc/14095/task/14098/stat : 14098 (claspmt) R 14093 14095 14069 0 -1 4202560 678 0 0 0 284 1 0 0 22 0 32 0 7722574 1846849536 22143 270582939648 4194304 4964800 140733529308544 18446744073709551615 4379076 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14095/tid=14099] ppid=14093 vsize=1803564 CPUtime=2.85 cores=0-31
/proc/14095/task/14099/stat : 14099 (claspmt) R 14093 14095 14069 0 -1 4202560 528 0 0 0 284 1 0 0 22 0 32 0 7722574 1846849536 22144 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14095/tid=14100] ppid=14093 vsize=1803564 CPUtime=2.77 cores=0-31
/proc/14095/task/14100/stat : 14100 (claspmt) R 14093 14095 14069 0 -1 4202560 554 0 0 0 277 0 0 0 22 0 32 0 7722574 1846849536 22144 270582939648 4194304 4964800 140733529308544 18446744073709551615 4660064 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=14095/tid=14101] ppid=14093 vsize=1803564 CPUtime=2.92 cores=0-31
/proc/14095/task/14101/stat : 14101 (claspmt) R 14093 14095 14069 0 -1 4202560 724 0 0 0 290 2 0 0 19 0 32 0 7722574 1846849536 22144 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14095/tid=14102] ppid=14093 vsize=1803564 CPUtime=2.85 cores=0-31
/proc/14095/task/14102/stat : 14102 (claspmt) R 14093 14095 14069 0 -1 4202560 537 0 0 0 284 1 0 0 22 0 32 0 7722574 1846849536 22145 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14095/tid=14103] ppid=14093 vsize=1803564 CPUtime=2.82 cores=0-31
/proc/14095/task/14103/stat : 14103 (claspmt) R 14093 14095 14069 0 -1 4202560 1522 0 0 0 279 3 0 0 19 0 32 0 7722574 1846849536 22145 270582939648 4194304 4964800 140733529308544 18446744073709551615 4321232 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=14095/tid=14104] ppid=14093 vsize=1803564 CPUtime=2.86 cores=0-31
/proc/14095/task/14104/stat : 14104 (claspmt) R 14093 14095 14069 0 -1 4202560 451 0 0 0 285 1 0 0 22 0 32 0 7722574 1846849536 22145 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=14095/tid=14105] ppid=14093 vsize=1803564 CPUtime=2.86 cores=0-31
/proc/14095/task/14105/stat : 14105 (claspmt) R 14093 14095 14069 0 -1 4202560 468 0 0 0 285 1 0 0 22 0 32 0 7722574 1846849536 22145 270582939648 4194304 4964800 140733529308544 18446744073709551615 4342193 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=14095/tid=14106] ppid=14093 vsize=1803564 CPUtime=2.84 cores=0-31
/proc/14095/task/14106/stat : 14106 (claspmt) R 14093 14095 14069 0 -1 4202560 747 0 0 0 282 2 0 0 18 0 32 0 7722575 1846849536 22145 270582939648 4194304 4964800 140733529308544 18446744073709551615 4660390 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14095/tid=14107] ppid=14093 vsize=1803564 CPUtime=2.83 cores=0-31
/proc/14095/task/14107/stat : 14107 (claspmt) R 14093 14095 14069 0 -1 4202560 542 0 0 0 282 1 0 0 23 0 32 0 7722575 1846849536 22145 270582939648 4194304 4964800 140733529308544 18446744073709551615 4378523 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=14095/tid=14108] ppid=14093 vsize=1803564 CPUtime=2.86 cores=0-31
/proc/14095/task/14108/stat : 14108 (claspmt) R 14093 14095 14069 0 -1 4202560 664 0 0 0 284 2 0 0 20 0 32 0 7722575 1846849536 22145 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14095/tid=14109] ppid=14093 vsize=1803564 CPUtime=2.94 cores=0-31
/proc/14095/task/14109/stat : 14109 (claspmt) R 14093 14095 14069 0 -1 4202560 704 0 0 0 292 2 0 0 19 0 32 0 7722575 1846849536 22145 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=14095/tid=14110] ppid=14093 vsize=1803564 CPUtime=2.86 cores=0-31
/proc/14095/task/14110/stat : 14110 (claspmt) R 14093 14095 14069 0 -1 4202560 509 0 0 0 284 2 0 0 22 0 32 0 7722575 1846849536 22145 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=14095/tid=14111] ppid=14093 vsize=1803564 CPUtime=2.83 cores=0-31
/proc/14095/task/14111/stat : 14111 (claspmt) R 14093 14095 14069 0 -1 4202560 1314 0 0 0 279 4 0 0 22 0 32 0 7722575 1846849536 22145 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14095/tid=14112] ppid=14093 vsize=1803564 CPUtime=2.86 cores=0-31
/proc/14095/task/14112/stat : 14112 (claspmt) R 14093 14095 14069 0 -1 4202560 459 0 0 0 285 1 0 0 21 0 32 0 7722575 1846849536 22145 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=14095/tid=14113] ppid=14093 vsize=1803564 CPUtime=2.86 cores=0-31
/proc/14095/task/14113/stat : 14113 (claspmt) R 14093 14095 14069 0 -1 4202560 476 0 0 0 285 1 0 0 22 0 32 0 7722575 1846849536 22145 270582939648 4194304 4964800 140733529308544 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14095/tid=14114] ppid=14093 vsize=1803564 CPUtime=2.84 cores=0-31
/proc/14095/task/14114/stat : 14114 (claspmt) R 14093 14095 14069 0 -1 4202560 775 0 0 0 282 2 0 0 22 0 32 0 7722575 1846849536 22146 270582939648 4194304 4964800 140733529308544 18446744073709551615 4660390 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14095/tid=14115] ppid=14093 vsize=1803564 CPUtime=2.85 cores=0-31
/proc/14095/task/14115/stat : 14115 (claspmt) R 14093 14095 14069 0 -1 4202560 508 0 0 0 283 2 0 0 23 0 32 0 7722575 1846849536 22146 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=14095/tid=14116] ppid=14093 vsize=1803564 CPUtime=2.86 cores=0-31
/proc/14095/task/14116/stat : 14116 (claspmt) R 14093 14095 14069 0 -1 4202560 709 0 0 0 284 2 0 0 22 0 32 0 7722575 1846849536 22146 270582939648 4194304 4964800 140733529308544 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=14095/tid=14117] ppid=14093 vsize=1803564 CPUtime=2.95 cores=0-31
/proc/14095/task/14117/stat : 14117 (claspmt) R 14093 14095 14069 0 -1 4202560 643 0 0 0 294 1 0 0 21 0 32 0 7722575 1846849536 22146 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=14095/tid=14118] ppid=14093 vsize=1803564 CPUtime=2.84 cores=0-31
/proc/14095/task/14118/stat : 14118 (claspmt) R 14093 14095 14069 0 -1 4202560 518 0 0 0 283 1 0 0 23 0 32 0 7722575 1846849536 22146 270582939648 4194304 4964800 140733529308544 18446744073709551615 4379640 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=14095/tid=14119] ppid=14093 vsize=1803564 CPUtime=2.81 cores=0-31
/proc/14095/task/14119/stat : 14119 (claspmt) R 14093 14095 14069 0 -1 4202560 1608 0 0 0 276 5 0 0 20 0 32 0 7722575 1846849536 22147 270582939648 4194304 4964800 140733529308544 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=14095/tid=14120] ppid=14093 vsize=1803564 CPUtime=2.85 cores=0-31
/proc/14095/task/14120/stat : 14120 (claspmt) R 14093 14095 14069 0 -1 4202560 463 0 0 0 284 1 0 0 22 0 32 0 7722575 1846849536 22148 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14095/tid=14121] ppid=14093 vsize=1803564 CPUtime=2.85 cores=0-31
/proc/14095/task/14121/stat : 14121 (claspmt) R 14093 14095 14069 0 -1 4202560 450 0 0 0 284 1 0 0 22 0 32 0 7722575 1846849536 22148 270582939648 4194304 4964800 140733529308544 18446744073709551615 4321282 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=14095/tid=14122] ppid=14093 vsize=1803564 CPUtime=2.84 cores=0-31
/proc/14095/task/14122/stat : 14122 (claspmt) R 14093 14095 14069 0 -1 4202560 814 0 0 0 282 2 0 0 22 0 32 0 7722575 1846849536 22148 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=14095/tid=14123] ppid=14093 vsize=1803564 CPUtime=2.84 cores=0-31
/proc/14095/task/14123/stat : 14123 (claspmt) R 14093 14095 14069 0 -1 4202560 521 0 0 0 283 1 0 0 22 0 32 0 7722575 1846849536 22148 270582939648 4194304 4964800 140733529308544 18446744073709551615 4362905 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14095/tid=14124] ppid=14093 vsize=1803564 CPUtime=2.85 cores=0-31
/proc/14095/task/14124/stat : 14124 (claspmt) R 14093 14095 14069 0 -1 4202560 581 0 0 0 284 1 0 0 22 0 32 0 7722575 1846849536 22148 270582939648 4194304 4964800 140733529308544 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14095/tid=14125] ppid=14093 vsize=1803564 CPUtime=2.92 cores=0-31
/proc/14095/task/14125/stat : 14125 (claspmt) R 14093 14095 14069 0 -1 4202560 672 0 0 0 290 2 0 0 22 0 32 0 7722575 1846849536 22149 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=14095/tid=14126] ppid=14093 vsize=1803564 CPUtime=2.85 cores=0-31

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

/proc/14095/task/14097/stat : 14097 (claspmt) R 14093 14095 14069 0 -1 4202560 4087 0 0 0 495957 53 0 0 25 0 32 0 7722574 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4312148 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=1850328 CPUtime=4960.67 cores=0-31
/proc/14095/task/14098/stat : 14098 (claspmt) R 14093 14095 14069 0 -1 4202560 7148 0 0 0 496008 59 0 0 25 0 32 0 7722574 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14095/tid=14099] ppid=14093 vsize=1850328 CPUtime=4947.59 cores=0-31
/proc/14095/task/14099/stat : 14099 (claspmt) R 14093 14095 14069 0 -1 4202560 2240 0 0 0 494714 45 0 0 25 0 32 0 7722574 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14095/tid=14100] ppid=14093 vsize=1850328 CPUtime=4940.51 cores=0-31
/proc/14095/task/14100/stat : 14100 (claspmt) R 14093 14095 14069 0 -1 4202560 8169 0 0 0 493981 70 0 0 25 0 32 0 7722574 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14095/tid=14101] ppid=14093 vsize=1850328 CPUtime=4958.81 cores=0-31
/proc/14095/task/14101/stat : 14101 (claspmt) R 14093 14095 14069 0 -1 4202560 9267 0 0 0 495787 94 0 0 25 0 32 0 7722574 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669157 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=14095/tid=14102] ppid=14093 vsize=1850328 CPUtime=4960.53 cores=0-31
/proc/14095/task/14102/stat : 14102 (claspmt) R 14093 14095 14069 0 -1 4202560 2508 0 0 0 496017 36 0 0 25 0 32 0 7722574 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14095/tid=14103] ppid=14093 vsize=1850328 CPUtime=4960.66 cores=0-31
/proc/14095/task/14103/stat : 14103 (claspmt) R 14093 14095 14069 0 -1 4202560 47769 0 0 0 495883 183 0 0 25 0 32 0 7722574 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=14095/tid=14104] ppid=14093 vsize=1850328 CPUtime=4936.59 cores=0-31
/proc/14095/task/14104/stat : 14104 (claspmt) R 14093 14095 14069 0 -1 4202560 1736 0 0 0 493609 50 0 0 25 0 32 0 7722574 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=14095/tid=14105] ppid=14093 vsize=1850328 CPUtime=4960.05 cores=0-31
/proc/14095/task/14105/stat : 14105 (claspmt) R 14093 14095 14069 0 -1 4202560 3772 0 0 0 495939 66 0 0 25 0 32 0 7722574 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=14095/tid=14106] ppid=14093 vsize=1850328 CPUtime=4960.49 cores=0-31
/proc/14095/task/14106/stat : 14106 (claspmt) R 14093 14095 14069 0 -1 4202560 8136 0 0 0 495990 59 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14095/tid=14107] ppid=14093 vsize=1850328 CPUtime=4960.28 cores=0-31
/proc/14095/task/14107/stat : 14107 (claspmt) R 14093 14095 14069 0 -1 4202560 2090 0 0 0 495992 36 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4653186 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=14095/tid=14108] ppid=14093 vsize=1850328 CPUtime=4955.45 cores=0-31
/proc/14095/task/14108/stat : 14108 (claspmt) R 14093 14095 14069 0 -1 4202560 7389 0 0 0 495484 61 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=14095/tid=14109] ppid=14093 vsize=1850328 CPUtime=4951.38 cores=0-31
/proc/14095/task/14109/stat : 14109 (claspmt) R 14093 14095 14069 0 -1 4202560 8598 0 0 0 495065 73 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14095/tid=14110] ppid=14093 vsize=1850328 CPUtime=4960.46 cores=0-31
/proc/14095/task/14110/stat : 14110 (claspmt) R 14093 14095 14069 0 -1 4202560 2178 0 0 0 496001 45 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669324 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=14095/tid=14111] ppid=14093 vsize=1850328 CPUtime=4952.69 cores=0-31
/proc/14095/task/14111/stat : 14111 (claspmt) R 14093 14095 14069 0 -1 4202560 42471 0 0 0 495101 168 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=14095/tid=14112] ppid=14093 vsize=1850328 CPUtime=4960.17 cores=0-31
/proc/14095/task/14112/stat : 14112 (claspmt) R 14093 14095 14069 0 -1 4202560 2108 0 0 0 495978 39 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=14095/tid=14113] ppid=14093 vsize=1850328 CPUtime=4953.44 cores=0-31
/proc/14095/task/14113/stat : 14113 (claspmt) R 14093 14095 14069 0 -1 4202560 3755 0 0 0 495273 71 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4321272 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14095/tid=14114] ppid=14093 vsize=1850328 CPUtime=4960.53 cores=0-31
/proc/14095/task/14114/stat : 14114 (claspmt) R 14093 14095 14069 0 -1 4202560 7392 0 0 0 496000 53 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14095/tid=14115] ppid=14093 vsize=1850328 CPUtime=4960.46 cores=0-31
/proc/14095/task/14115/stat : 14115 (claspmt) R 14093 14095 14069 0 -1 4202560 2068 0 0 0 495999 47 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4660104 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=14095/tid=14116] ppid=14093 vsize=1850328 CPUtime=4960.6 cores=0-31
/proc/14095/task/14116/stat : 14116 (claspmt) R 14093 14095 14069 0 -1 4202560 8825 0 0 0 495995 65 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670286 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=14095/tid=14117] ppid=14093 vsize=1850328 CPUtime=4960.62 cores=0-31
/proc/14095/task/14117/stat : 14117 (claspmt) R 14093 14095 14069 0 -1 4202560 9815 0 0 0 495992 70 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4660557 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=14095/tid=14118] ppid=14093 vsize=1850328 CPUtime=4960.51 cores=0-31
/proc/14095/task/14118/stat : 14118 (claspmt) R 14093 14095 14069 0 -1 4202560 2151 0 0 0 496005 46 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=14095/tid=14119] ppid=14093 vsize=1850328 CPUtime=4960.68 cores=0-31
/proc/14095/task/14119/stat : 14119 (claspmt) R 14093 14095 14069 0 -1 4202560 53246 0 0 0 495863 205 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=14095/tid=14120] ppid=14093 vsize=1850328 CPUtime=4960.33 cores=0-31
/proc/14095/task/14120/stat : 14120 (claspmt) R 14093 14095 14069 0 -1 4202560 2293 0 0 0 495988 45 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14095/tid=14121] ppid=14093 vsize=1850328 CPUtime=4960.06 cores=0-31
/proc/14095/task/14121/stat : 14121 (claspmt) R 14093 14095 14069 0 -1 4202560 3774 0 0 0 495938 68 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669476 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=14095/tid=14122] ppid=14093 vsize=1850328 CPUtime=4958.73 cores=0-31
/proc/14095/task/14122/stat : 14122 (claspmt) R 14093 14095 14069 0 -1 4202560 7149 0 0 0 495795 78 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14095/tid=14123] ppid=14093 vsize=1850328 CPUtime=4960.45 cores=0-31
/proc/14095/task/14123/stat : 14123 (claspmt) R 14093 14095 14069 0 -1 4202560 2415 0 0 0 496002 43 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14095/tid=14124] ppid=14093 vsize=1850328 CPUtime=4931.57 cores=0-31
/proc/14095/task/14124/stat : 14124 (claspmt) R 14093 14095 14069 0 -1 4202560 8852 0 0 0 493086 71 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4320984 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=14095/tid=14125] ppid=14093 vsize=1850328 CPUtime=4954.23 cores=0-31
/proc/14095/task/14125/stat : 14125 (claspmt) R 14093 14095 14069 0 -1 4202560 8787 0 0 0 495343 80 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14095/tid=14126] ppid=14093 vsize=1850328 CPUtime=4960.48 cores=0-31
/proc/14095/task/14126/stat : 14126 (claspmt) R 14093 14095 14069 0 -1 4202560 2288 0 0 0 496001 47 0 0 25 0 32 0 7722575 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=14095/tid=14127] ppid=14093 vsize=1850328 CPUtime=4960.64 cores=0-31
/proc/14095/task/14127/stat : 14127 (claspmt) R 14093 14095 14069 0 -1 4202560 47022 0 0 0 495891 173 0 0 25 0 32 0 7722576 1894735872 303631 270582939648 4194304 4964800 140733529308544 18446744073709551615 4320879 0 0 4096 18946 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 158591
Current children cumulated vsize (KiB) 1850328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5006.4 s]
/proc/loadavg: 32.17 32.14 32.10 33/445 14273
/proc/meminfo: memFree=262221780/264257624 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=1850652 CPUtime=160001 cores=0-31
/proc/14095/stat : 14095 (claspmt) R 14093 14095 14069 0 -1 4202496 334191 0 0 0 15997761 2383 0 0 25 0 32 0 7722567 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4362287 0 0 4096 18946 18446744073709551615 0 0 17 31 0 0 0
/proc/14095/statm: 462663 304596 463 189 0 457012 0
[pid=14095/tid=14097] ppid=14093 vsize=1850652 CPUtime=5004.21 cores=0-31
/proc/14095/task/14097/stat : 14097 (claspmt) R 14093 14095 14069 0 -1 4202560 4122 0 0 0 500367 54 0 0 25 0 32 0 7722574 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669776 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=14095/tid=14098] ppid=14093 vsize=1850652 CPUtime=5004.79 cores=0-31
/proc/14095/task/14098/stat : 14098 (claspmt) R 14093 14095 14069 0 -1 4202560 7151 0 0 0 500419 60 0 0 25 0 32 0 7722574 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14095/tid=14099] ppid=14093 vsize=1850652 CPUtime=4991.7 cores=0-31
/proc/14095/task/14099/stat : 14099 (claspmt) R 14093 14095 14069 0 -1 4202560 2240 0 0 0 499125 45 0 0 25 0 32 0 7722574 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669512 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=14095/tid=14100] ppid=14093 vsize=1850652 CPUtime=4984.61 cores=0-31
/proc/14095/task/14100/stat : 14100 (claspmt) R 14093 14095 14069 0 -1 4202560 8203 0 0 0 498390 71 0 0 25 0 32 0 7722574 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14095/tid=14101] ppid=14093 vsize=1850652 CPUtime=5002.88 cores=0-31
/proc/14095/task/14101/stat : 14101 (claspmt) R 14093 14095 14069 0 -1 4202560 9280 0 0 0 500194 94 0 0 25 0 32 0 7722574 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=14095/tid=14102] ppid=14093 vsize=1850652 CPUtime=5004.62 cores=0-31
/proc/14095/task/14102/stat : 14102 (claspmt) R 14093 14095 14069 0 -1 4202560 2543 0 0 0 500426 36 0 0 25 0 32 0 7722574 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14095/tid=14103] ppid=14093 vsize=1850652 CPUtime=5004.77 cores=0-31
/proc/14095/task/14103/stat : 14103 (claspmt) R 14093 14095 14069 0 -1 4202560 47804 0 0 0 500294 183 0 0 25 0 32 0 7722574 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=14095/tid=14104] ppid=14093 vsize=1850652 CPUtime=4980.69 cores=0-31
/proc/14095/task/14104/stat : 14104 (claspmt) R 14093 14095 14069 0 -1 4202560 1791 0 0 0 498019 50 0 0 25 0 32 0 7722574 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=14095/tid=14105] ppid=14093 vsize=1850652 CPUtime=5004.14 cores=0-31
/proc/14095/task/14105/stat : 14105 (claspmt) R 14093 14095 14069 0 -1 4202560 3772 0 0 0 500347 67 0 0 25 0 32 0 7722574 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=14095/tid=14106] ppid=14093 vsize=1850652 CPUtime=5004.6 cores=0-31
/proc/14095/task/14106/stat : 14106 (claspmt) R 14093 14095 14069 0 -1 4202560 8251 0 0 0 500400 60 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14095/tid=14107] ppid=14093 vsize=1850652 CPUtime=5004.38 cores=0-31
/proc/14095/task/14107/stat : 14107 (claspmt) R 14093 14095 14069 0 -1 4202560 2090 0 0 0 500402 36 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=14095/tid=14108] ppid=14093 vsize=1850652 CPUtime=4999.57 cores=0-31
/proc/14095/task/14108/stat : 14108 (claspmt) R 14093 14095 14069 0 -1 4202560 7389 0 0 0 499895 62 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4333242 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=14095/tid=14109] ppid=14093 vsize=1850652 CPUtime=4995.48 cores=0-31
/proc/14095/task/14109/stat : 14109 (claspmt) R 14093 14095 14069 0 -1 4202560 8599 0 0 0 499475 73 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=14095/tid=14110] ppid=14093 vsize=1850652 CPUtime=5004.56 cores=0-31
/proc/14095/task/14110/stat : 14110 (claspmt) R 14093 14095 14069 0 -1 4202560 2178 0 0 0 500411 45 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=14095/tid=14111] ppid=14093 vsize=1850652 CPUtime=4996.79 cores=0-31
/proc/14095/task/14111/stat : 14111 (claspmt) R 14093 14095 14069 0 -1 4202560 42724 0 0 0 499510 169 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=14095/tid=14112] ppid=14093 vsize=1850652 CPUtime=5004.28 cores=0-31
/proc/14095/task/14112/stat : 14112 (claspmt) R 14093 14095 14069 0 -1 4202560 2108 0 0 0 500389 39 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=14095/tid=14113] ppid=14093 vsize=1850652 CPUtime=4997.54 cores=0-31
/proc/14095/task/14113/stat : 14113 (claspmt) R 14093 14095 14069 0 -1 4202560 3755 0 0 0 499683 71 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14095/tid=14114] ppid=14093 vsize=1850652 CPUtime=5004.64 cores=0-31
/proc/14095/task/14114/stat : 14114 (claspmt) R 14093 14095 14069 0 -1 4202560 7396 0 0 0 500411 53 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=14095/tid=14115] ppid=14093 vsize=1850652 CPUtime=5004.57 cores=0-31
/proc/14095/task/14115/stat : 14115 (claspmt) R 14093 14095 14069 0 -1 4202560 2068 0 0 0 500409 48 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4653464 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=14095/tid=14116] ppid=14093 vsize=1850652 CPUtime=5004.71 cores=0-31
/proc/14095/task/14116/stat : 14116 (claspmt) R 14093 14095 14069 0 -1 4202560 8876 0 0 0 500406 65 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=14095/tid=14117] ppid=14093 vsize=1850652 CPUtime=5004.74 cores=0-31
/proc/14095/task/14117/stat : 14117 (claspmt) R 14093 14095 14069 0 -1 4202560 9869 0 0 0 500403 71 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=14095/tid=14118] ppid=14093 vsize=1850652 CPUtime=5004.61 cores=0-31
/proc/14095/task/14118/stat : 14118 (claspmt) R 14093 14095 14069 0 -1 4202560 2151 0 0 0 500415 46 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=14095/tid=14119] ppid=14093 vsize=1850652 CPUtime=5004.79 cores=0-31
/proc/14095/task/14119/stat : 14119 (claspmt) R 14093 14095 14069 0 -1 4202560 53398 0 0 0 500273 206 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4660495 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=14095/tid=14120] ppid=14093 vsize=1850652 CPUtime=5004.44 cores=0-31
/proc/14095/task/14120/stat : 14120 (claspmt) R 14093 14095 14069 0 -1 4202560 2293 0 0 0 500399 45 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=14095/tid=14121] ppid=14093 vsize=1850652 CPUtime=5004.15 cores=0-31
/proc/14095/task/14121/stat : 14121 (claspmt) R 14093 14095 14069 0 -1 4202560 3795 0 0 0 500347 68 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4362287 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=14095/tid=14122] ppid=14093 vsize=1850652 CPUtime=5002.83 cores=0-31
/proc/14095/task/14122/stat : 14122 (claspmt) R 14093 14095 14069 0 -1 4202560 7205 0 0 0 500205 78 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=14095/tid=14123] ppid=14093 vsize=1850652 CPUtime=5004.55 cores=0-31
/proc/14095/task/14123/stat : 14123 (claspmt) R 14093 14095 14069 0 -1 4202560 2415 0 0 0 500412 43 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=14095/tid=14124] ppid=14093 vsize=1850652 CPUtime=4975.67 cores=0-31
/proc/14095/task/14124/stat : 14124 (claspmt) R 14093 14095 14069 0 -1 4202560 8932 0 0 0 497495 72 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=14095/tid=14125] ppid=14093 vsize=1850652 CPUtime=4998.34 cores=0-31
/proc/14095/task/14125/stat : 14125 (claspmt) R 14093 14095 14069 0 -1 4202560 8787 0 0 0 499753 81 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14095/tid=14126] ppid=14093 vsize=1850652 CPUtime=5004.58 cores=0-31
/proc/14095/task/14126/stat : 14126 (claspmt) R 14093 14095 14069 0 -1 4202560 2288 0 0 0 500411 47 0 0 25 0 32 0 7722575 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=14095/tid=14127] ppid=14093 vsize=1850652 CPUtime=5004.76 cores=0-31
/proc/14095/task/14127/stat : 14127 (claspmt) R 14093 14095 14069 0 -1 4202560 47118 0 0 0 500302 174 0 0 25 0 32 0 7722576 1895067648 304596 270582939648 4194304 4964800 140733529308544 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 1850652

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

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

[startup+5006.6 s]
/proc/loadavg: 32.17 32.14 32.10 33/445 14273
/proc/meminfo: memFree=262221780/264257624 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=1754740 CPUtime=160002 cores=0-31
/proc/14095/stat : 14095 (claspmt) R 14093 14095 14069 0 -1 4202496 334205 0 0 0 15997801 2383 0 0 25 0 1 0 7722567 1796853760 302822 270582939648 4194304 4964800 140733529308544 18446744073709551615 258650612750 0 0 4096 18946 0 0 0 17 31 0 0 0
/proc/14095/statm: 438685 302822 474 189 0 433034 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 1754740

[startup+5006.8 s]
/proc/loadavg: 32.17 32.14 32.10 33/445 14273
/proc/meminfo: memFree=262221780/264257624 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=1749392 CPUtime=160002 cores=0-31
/proc/14095/stat : 14095 (claspmt) R 14093 14095 14069 0 -1 4202496 334205 0 0 0 15997821 2383 0 0 25 0 1 0 7722567 1791377408 299293 270582939648 4194304 4964800 140733529308544 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 17 31 0 0 0
/proc/14095/statm: 437348 299293 474 189 0 431697 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 1749392

[startup+5006.9 s]
/proc/loadavg: 32.17 32.14 32.10 33/445 14273
/proc/meminfo: memFree=262221780/264257624 swapFree=67111528/67111528
[pid=14095] ppid=14093 vsize=1710980 CPUtime=160002 cores=0-31
/proc/14095/stat : 14095 (claspmt) R 14093 14095 14069 0 -1 4202496 334205 0 0 0 15997827 2388 0 0 25 0 1 0 7722567 1752043520 187033 270582939648 4194304 4964800 140733529308544 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 31 0 0 0
/proc/14095/statm: 427745 187033 474 189 0 422094 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 1710980

Child status: 0
Real time (s): 5006.98
CPU time (s): 160002
CPU user time (s): 159978
CPU system time (s): 23.9604
CPU usage (%): 3195.58
Max. virtual memory (cumulated for all children) (KiB): 1850652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159978
system time used= 23.9604
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334206
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= 974490
involuntary context switches= 402449

runsolver used 26.8819 second user time and 114.4 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-07 07:09:17
IDJOB=3472302
IDBENCH=70785
IDSOLVER=1961
FILE ID=node200/3472302-1307423357
RUNJOBID= node200-1307423357-14083
PBS_JOBID= 13509181
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/mulhs/mulhs016.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-3472302-1307423357/watcher-3472302-1307423357 -o /tmp/evaluation-result-3472302-1307423357/solver-3472302-1307423357 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472302-1307423357.cnf

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

MD5SUM BENCH= e4ef55733955e0a45519e9f7dec923e5
RANDOM SEED=1185575221

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:      263435788 kB
Buffers:         95228 kB
Cached:         496908 kB
SwapCached:          0 kB
Active:         149652 kB
Inactive:       505348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263435788 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             748 kB
Writeback:           0 kB
AnonPages:       64532 kB
Mapped:          13480 kB
Slab:            85228 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   167228 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61740 MiB
End job on node200 at 2011-06-07 08:32:45