Trace number 3472278

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) 160006 5011.96

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
MD5SUM337e301d7c1a4748ec4a1ced7e688c38
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6390.7
Satisfiable
(Un)Satisfiability was proved
Number of variables45937
Number of clauses166840
Sum of the clauses size445312
Maximum clause length37
Minimum clause length1
Number of clauses of size 11058
Number of clauses of size 285826
Number of clauses of size 373620
Number of clauses of size 4406
Number of clauses of size 5785
Number of clauses of size over 55145

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...376248/instance-3472278-1307376248.cnf
0.59/0.67	c Solving...
160002.83/5009.63	
160002.83/5009.63	*** INTERRUPTED! ***
160002.83/5009.63	*** Shutting down threads...

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3472278-1307376248/watcher-3472278-1307376248 -o /tmp/evaluation-result-3472278-1307376248/solver-3472278-1307376248 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472278-1307376248.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: 27.31 30.64 31.36 1/413 10433
/proc/meminfo: memFree=263671920/264257624 swapFree=67111528/67111528
[pid=10433] ppid=10431 vsize=26752 CPUtime=0.02 cores=0-31
/proc/10433/stat : 10433 (claspmt) R 10431 10433 10289 0 -1 4202496 1562 0 0 0 2 0 0 0 21 0 1 0 3011744 27394048 1491 270582939648 4194304 4964800 140735509163584 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/10433/statm: 6688 1496 373 189 0 1562 0

[startup+0.113856 s]
/proc/loadavg: 27.31 30.64 31.36 1/413 10433
/proc/meminfo: memFree=263671920/264257624 swapFree=67111528/67111528
[pid=10433] ppid=10431 vsize=34900 CPUtime=0.11 cores=0-31
/proc/10433/stat : 10433 (claspmt) R 10431 10433 10289 0 -1 4202496 4734 0 0 0 10 1 0 0 21 0 1 0 3011744 35737600 3831 270582939648 4194304 4964800 140735509163584 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/10433/statm: 8725 3833 383 189 0 3599 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 34900

[startup+0.200847 s]
/proc/loadavg: 27.31 30.64 31.36 1/413 10433
/proc/meminfo: memFree=263671920/264257624 swapFree=67111528/67111528
[pid=10433] ppid=10431 vsize=42536 CPUtime=0.19 cores=0-31
/proc/10433/stat : 10433 (claspmt) R 10431 10433 10289 0 -1 4202496 7315 0 0 0 18 1 0 0 21 0 1 0 3011744 43556864 5693 270582939648 4194304 4964800 140735509163584 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/10433/statm: 10634 5693 397 189 0 5508 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42536

[startup+0.300868 s]
/proc/loadavg: 27.31 30.64 31.36 1/413 10433
/proc/meminfo: memFree=263671920/264257624 swapFree=67111528/67111528
[pid=10433] ppid=10431 vsize=46144 CPUtime=0.29 cores=0-31
/proc/10433/stat : 10433 (claspmt) R 10431 10433 10289 0 -1 4202496 8158 0 0 0 28 1 0 0 22 0 1 0 3011744 47251456 6536 270582939648 4194304 4964800 140735509163584 18446744073709551615 4621400 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/10433/statm: 11536 6536 401 189 0 6410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46144

[startup+0.700745 s]
/proc/loadavg: 27.31 30.64 31.36 1/413 10433
/proc/meminfo: memFree=263671920/264257624 swapFree=67111528/67111528
[pid=10433] ppid=10431 vsize=444884 CPUtime=0.97 cores=0-31
/proc/10433/stat : 10433 (claspmt) S 10431 10433 10289 0 -1 4202496 15788 0 0 0 67 30 0 0 18 0 32 0 3011744 455561216 12560 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/10433/statm: 111221 12560 428 189 0 105570 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 444884

[startup+1.5028 s]
/proc/loadavg: 27.31 30.64 31.36 3/445 10465
/proc/meminfo: memFree=263483664/264257624 swapFree=67111528/67111528
[pid=10433] ppid=10431 vsize=1839200 CPUtime=6.94 cores=0-31
/proc/10433/stat : 10433 (claspmt) S 10431 10433 10289 0 -1 4202496 82242 0 0 0 223 471 0 0 18 0 32 0 3011744 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/10433/statm: 459800 68717 439 189 0 454149 0
[pid=10433/tid=10435] ppid=10431 vsize=1839200 CPUtime=0.19 cores=0-31
/proc/10433/task/10435/stat : 10435 (claspmt) S 10431 10433 10289 0 -1 4202560 2066 0 0 0 2 17 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501307882976 0 0 -1 1 0 0 0
[pid=10433/tid=10436] ppid=10431 vsize=1839200 CPUtime=0.19 cores=0-31
/proc/10433/task/10436/stat : 10436 (claspmt) S 10431 10433 10289 0 -1 4202560 2531 0 0 0 3 16 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505474858464 0 0 -1 30 0 0 0
[pid=10433/tid=10437] ppid=10431 vsize=1839200 CPUtime=0.19 cores=0-31
/proc/10433/task/10437/stat : 10437 (claspmt) S 10431 10433 10289 0 -1 4202560 2498 0 0 0 3 16 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501858926048 0 0 -1 31 0 0 0
[pid=10433/tid=10438] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31
/proc/10433/task/10438/stat : 10438 (claspmt) S 10431 10433 10289 0 -1 4202560 2154 0 0 0 3 15 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604503970446816 0 0 -1 3 0 0 0
[pid=10433/tid=10439] ppid=10431 vsize=1839200 CPUtime=0.31 cores=0-31
/proc/10433/task/10439/stat : 10439 (claspmt) R 10431 10433 10289 0 -1 4202560 2420 0 0 0 15 16 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=10433/tid=10440] ppid=10431 vsize=1839200 CPUtime=0.21 cores=0-31
/proc/10433/task/10440/stat : 10440 (claspmt) S 10431 10433 10289 0 -1 4202560 2394 0 0 0 3 18 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505477856736 0 0 -1 2 0 0 0
[pid=10433/tid=10441] ppid=10431 vsize=1839200 CPUtime=0.19 cores=0-31
/proc/10433/task/10441/stat : 10441 (claspmt) S 10431 10433 10289 0 -1 4202560 2310 0 0 0 4 15 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505441205728 0 0 -1 25 0 0 0
[pid=10433/tid=10442] ppid=10431 vsize=1839200 CPUtime=0.15 cores=0-31
/proc/10433/task/10442/stat : 10442 (claspmt) S 10431 10433 10289 0 -1 4202560 2301 0 0 0 2 13 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604570189102560 0 0 -1 5 0 0 0
[pid=10433/tid=10443] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31
/proc/10433/task/10443/stat : 10443 (claspmt) S 10431 10433 10289 0 -1 4202560 2215 0 0 0 3 15 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505088941536 0 0 -1 6 0 0 0
[pid=10433/tid=10444] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31
/proc/10433/task/10444/stat : 10444 (claspmt) S 10431 10433 10289 0 -1 4202560 2613 0 0 0 3 15 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505441197536 0 0 -1 10 0 0 0
[pid=10433/tid=10445] ppid=10431 vsize=1839200 CPUtime=0.12 cores=0-31
/proc/10433/task/10445/stat : 10445 (claspmt) S 10431 10433 10289 0 -1 4202560 2430 0 0 0 3 9 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501931482592 0 0 -1 7 0 0 0
[pid=10433/tid=10446] ppid=10431 vsize=1839200 CPUtime=0.15 cores=0-31
/proc/10433/task/10446/stat : 10446 (claspmt) S 10431 10433 10289 0 -1 4202560 2140 0 0 0 2 13 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501547367904 0 0 -1 27 0 0 0
[pid=10433/tid=10447] ppid=10431 vsize=1839200 CPUtime=0.31 cores=0-31
/proc/10433/task/10447/stat : 10447 (claspmt) R 10431 10433 10289 0 -1 4202560 2247 0 0 0 16 15 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=10433/tid=10448] ppid=10431 vsize=1839200 CPUtime=0.19 cores=0-31
/proc/10433/task/10448/stat : 10448 (claspmt) S 10431 10433 10289 0 -1 4202560 2471 0 0 0 3 16 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604506162937312 0 0 -1 18 0 0 0
[pid=10433/tid=10449] ppid=10431 vsize=1839200 CPUtime=0.2 cores=0-31
/proc/10433/task/10449/stat : 10449 (claspmt) S 10431 10433 10289 0 -1 4202560 2305 0 0 0 5 15 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505474850272 0 0 -1 19 0 0 0
[pid=10433/tid=10450] ppid=10431 vsize=1839200 CPUtime=0.16 cores=0-31
/proc/10433/task/10450/stat : 10450 (claspmt) S 10431 10433 10289 0 -1 4202560 2127 0 0 0 2 14 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505543843296 0 0 -1 28 0 0 0
[pid=10433/tid=10451] ppid=10431 vsize=1839200 CPUtime=0.15 cores=0-31
/proc/10433/task/10451/stat : 10451 (claspmt) S 10431 10433 10289 0 -1 4202560 2064 0 0 0 2 13 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501307874784 0 0 -1 26 0 0 0
[pid=10433/tid=10452] ppid=10431 vsize=1839200 CPUtime=0.19 cores=0-31
/proc/10433/task/10452/stat : 10452 (claspmt) S 10431 10433 10289 0 -1 4202560 2491 0 0 0 3 16 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604504225414624 0 0 -1 22 0 0 0
[pid=10433/tid=10453] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31
/proc/10433/task/10453/stat : 10453 (claspmt) S 10431 10433 10289 0 -1 4202560 2593 0 0 0 3 15 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501547359712 0 0 -1 23 0 0 0
[pid=10433/tid=10454] ppid=10431 vsize=1839200 CPUtime=0.16 cores=0-31
/proc/10433/task/10454/stat : 10454 (claspmt) S 10431 10433 10289 0 -1 4202560 2139 0 0 0 1 15 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604506162929120 0 0 -1 9 0 0 0
[pid=10433/tid=10455] ppid=10431 vsize=1839200 CPUtime=0.26 cores=0-31
/proc/10433/task/10455/stat : 10455 (claspmt) R 10431 10433 10289 0 -1 4202560 2263 0 0 0 14 12 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 4669124 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10433/tid=10456] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31
/proc/10433/task/10456/stat : 10456 (claspmt) S 10431 10433 10289 0 -1 4202560 2592 0 0 0 3 15 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505819315680 0 0 -1 8 0 0 0
[pid=10433/tid=10457] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31
/proc/10433/task/10457/stat : 10457 (claspmt) S 10431 10433 10289 0 -1 4202560 2469 0 0 0 4 14 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505477848544 0 0 -1 16 0 0 0
[pid=10433/tid=10458] ppid=10431 vsize=1839200 CPUtime=0.17 cores=0-31
/proc/10433/task/10458/stat : 10458 (claspmt) S 10431 10433 10289 0 -1 4202560 2138 0 0 0 3 14 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505578634720 0 0 -1 12 0 0 0
[pid=10433/tid=10459] ppid=10431 vsize=1839200 CPUtime=0.16 cores=0-31
/proc/10433/task/10459/stat : 10459 (claspmt) S 10431 10433 10289 0 -1 4202560 2162 0 0 0 2 14 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501351366112 0 0 -1 31 0 0 0
[pid=10433/tid=10460] ppid=10431 vsize=1839200 CPUtime=0.17 cores=0-31
/proc/10433/task/10460/stat : 10460 (claspmt) S 10431 10433 10289 0 -1 4202560 2495 0 0 0 4 13 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501408497120 0 0 -1 17 0 0 0
[pid=10433/tid=10461] ppid=10431 vsize=1839200 CPUtime=0.17 cores=0-31
/proc/10433/task/10461/stat : 10461 (claspmt) S 10431 10433 10289 0 -1 4202560 2481 0 0 0 4 13 0 0 17 0 32 0 3011812 1883340800 68717 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604506044120544 0 0 -1 13 0 0 0
[pid=10433/tid=10462] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31
/proc/10433/task/10462/stat : 10462 (claspmt) S 10431 10433 10289 0 -1 4202560 2183 0 0 0 3 15 0 0 17 0 32 0 3011812 1883340800 68718 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501351357920 0 0 -1 11 0 0 0
[pid=10433/tid=10463] ppid=10431 vsize=1839200 CPUtime=0.29 cores=0-31
/proc/10433/task/10463/stat : 10463 (claspmt) R 10431 10433 10289 0 -1 4202560 2400 0 0 0 15 14 0 0 17 0 32 0 3011813 1883340800 68718 270582939648 4194304 4964800 140735509163584 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10433/tid=10464] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31
/proc/10433/task/10464/stat : 10464 (claspmt) S 10431 10433 10289 0 -1 4202560 2472 0 0 0 2 16 0 0 17 0 32 0 3011813 1883340800 68718 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505969761760 0 0 -1 0 0 0 0
[pid=10433/tid=10465] ppid=10431 vsize=1839200 CPUtime=0.2 cores=0-31
/proc/10433/task/10465/stat : 10465 (claspmt) S 10431 10433 10289 0 -1 4202560 2404 0 0 0 4 16 0 0 17 0 32 0 3011813 1883340800 68718 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604504094309856 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 1839200

[startup+3.10295 s]
/proc/loadavg: 27.31 30.64 31.36 5/445 10465
/proc/meminfo: memFree=263397572/264257624 swapFree=67111528/67111528
[pid=10433] ppid=10431 vsize=1839200 CPUtime=13.33 cores=0-31
/proc/10433/stat : 10433 (claspmt) S 10431 10433 10289 0 -1 4202496 82586 0 0 0 861 472 0 0 18 0 32 0 3011744 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/10433/statm: 459800 69061 439 189 0 454149 0
[pid=10433/tid=10435] ppid=10431 vsize=1839200 CPUtime=0.19 cores=0-31
/proc/10433/task/10435/stat : 10435 (claspmt) S 10431 10433 10289 0 -1 4202560 2066 0 0 0 2 17 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501307882976 0 0 -1 1 0 0 0
[pid=10433/tid=10436] ppid=10431 vsize=1839200 CPUtime=0.19 cores=0-31
/proc/10433/task/10436/stat : 10436 (claspmt) S 10431 10433 10289 0 -1 4202560 2531 0 0 0 3 16 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505474858464 0 0 -1 30 0 0 0
[pid=10433/tid=10437] ppid=10431 vsize=1839200 CPUtime=0.19 cores=0-31
/proc/10433/task/10437/stat : 10437 (claspmt) S 10431 10433 10289 0 -1 4202560 2498 0 0 0 3 16 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501858926048 0 0 -1 31 0 0 0
[pid=10433/tid=10438] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31
/proc/10433/task/10438/stat : 10438 (claspmt) S 10431 10433 10289 0 -1 4202560 2154 0 0 0 3 15 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604503970446816 0 0 -1 3 0 0 0
[pid=10433/tid=10439] ppid=10431 vsize=1839200 CPUtime=1.89 cores=0-31
/proc/10433/task/10439/stat : 10439 (claspmt) R 10431 10433 10289 0 -1 4202560 2422 0 0 0 173 16 0 0 20 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10433/tid=10440] ppid=10431 vsize=1839200 CPUtime=0.21 cores=0-31
/proc/10433/task/10440/stat : 10440 (claspmt) S 10431 10433 10289 0 -1 4202560 2394 0 0 0 3 18 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505477856736 0 0 -1 2 0 0 0
[pid=10433/tid=10441] ppid=10431 vsize=1839200 CPUtime=0.19 cores=0-31
/proc/10433/task/10441/stat : 10441 (claspmt) S 10431 10433 10289 0 -1 4202560 2310 0 0 0 4 15 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505441205728 0 0 -1 25 0 0 0
[pid=10433/tid=10442] ppid=10431 vsize=1839200 CPUtime=0.15 cores=0-31
/proc/10433/task/10442/stat : 10442 (claspmt) S 10431 10433 10289 0 -1 4202560 2301 0 0 0 2 13 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604570189102560 0 0 -1 5 0 0 0
[pid=10433/tid=10443] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31
/proc/10433/task/10443/stat : 10443 (claspmt) S 10431 10433 10289 0 -1 4202560 2215 0 0 0 3 15 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505088941536 0 0 -1 6 0 0 0
[pid=10433/tid=10444] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31
/proc/10433/task/10444/stat : 10444 (claspmt) S 10431 10433 10289 0 -1 4202560 2613 0 0 0 3 15 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505441197536 0 0 -1 10 0 0 0
[pid=10433/tid=10445] ppid=10431 vsize=1839200 CPUtime=0.12 cores=0-31
/proc/10433/task/10445/stat : 10445 (claspmt) S 10431 10433 10289 0 -1 4202560 2430 0 0 0 3 9 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501931482592 0 0 -1 7 0 0 0
[pid=10433/tid=10446] ppid=10431 vsize=1839200 CPUtime=0.15 cores=0-31
/proc/10433/task/10446/stat : 10446 (claspmt) S 10431 10433 10289 0 -1 4202560 2140 0 0 0 2 13 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501547367904 0 0 -1 27 0 0 0
[pid=10433/tid=10447] ppid=10431 vsize=1839200 CPUtime=1.91 cores=0-31
/proc/10433/task/10447/stat : 10447 (claspmt) R 10431 10433 10289 0 -1 4202560 2326 0 0 0 176 15 0 0 19 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=10433/tid=10448] ppid=10431 vsize=1839200 CPUtime=0.19 cores=0-31
/proc/10433/task/10448/stat : 10448 (claspmt) S 10431 10433 10289 0 -1 4202560 2471 0 0 0 3 16 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604506162937312 0 0 -1 18 0 0 0
[pid=10433/tid=10449] ppid=10431 vsize=1839200 CPUtime=0.2 cores=0-31
/proc/10433/task/10449/stat : 10449 (claspmt) S 10431 10433 10289 0 -1 4202560 2305 0 0 0 5 15 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505474850272 0 0 -1 19 0 0 0
[pid=10433/tid=10450] ppid=10431 vsize=1839200 CPUtime=0.16 cores=0-31
/proc/10433/task/10450/stat : 10450 (claspmt) S 10431 10433 10289 0 -1 4202560 2127 0 0 0 2 14 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505543843296 0 0 -1 28 0 0 0
[pid=10433/tid=10451] ppid=10431 vsize=1839200 CPUtime=0.15 cores=0-31
/proc/10433/task/10451/stat : 10451 (claspmt) S 10431 10433 10289 0 -1 4202560 2064 0 0 0 2 13 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501307874784 0 0 -1 26 0 0 0
[pid=10433/tid=10452] ppid=10431 vsize=1839200 CPUtime=0.19 cores=0-31
/proc/10433/task/10452/stat : 10452 (claspmt) S 10431 10433 10289 0 -1 4202560 2491 0 0 0 3 16 0 0 17 0 32 0 3011812 1883340800 69061 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604504225414624 0 0 -1 22 0 0 0
[pid=10433/tid=10453] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31
/proc/10433/task/10453/stat : 10453 (claspmt) S 10431 10433 10289 0 -1 4202560 2593 0 0 0 3 15 0 0 17 0 32 0 3011812 1883340800 69062 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501547359712 0 0 -1 23 0 0 0
[pid=10433/tid=10454] ppid=10431 vsize=1839200 CPUtime=0.16 cores=0-31
/proc/10433/task/10454/stat : 10454 (claspmt) S 10431 10433 10289 0 -1 4202560 2139 0 0 0 1 15 0 0 17 0 32 0 3011812 1883340800 69062 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604506162929120 0 0 -1 9 0 0 0
[pid=10433/tid=10455] ppid=10431 vsize=1839200 CPUtime=1.86 cores=0-31
/proc/10433/task/10455/stat : 10455 (claspmt) R 10431 10433 10289 0 -1 4202560 2412 0 0 0 174 12 0 0 20 0 32 0 3011812 1883340800 69062 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10433/tid=10456] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31
/proc/10433/task/10456/stat : 10456 (claspmt) S 10431 10433 10289 0 -1 4202560 2592 0 0 0 3 15 0 0 17 0 32 0 3011812 1883340800 69062 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505819315680 0 0 -1 8 0 0 0
[pid=10433/tid=10457] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31
/proc/10433/task/10457/stat : 10457 (claspmt) S 10431 10433 10289 0 -1 4202560 2469 0 0 0 4 14 0 0 17 0 32 0 3011812 1883340800 69062 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505477848544 0 0 -1 16 0 0 0
[pid=10433/tid=10458] ppid=10431 vsize=1839200 CPUtime=0.17 cores=0-31
/proc/10433/task/10458/stat : 10458 (claspmt) S 10431 10433 10289 0 -1 4202560 2138 0 0 0 3 14 0 0 17 0 32 0 3011812 1883340800 69062 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604505578634720 0 0 -1 12 0 0 0
[pid=10433/tid=10459] ppid=10431 vsize=1839200 CPUtime=0.16 cores=0-31
/proc/10433/task/10459/stat : 10459 (claspmt) S 10431 10433 10289 0 -1 4202560 2162 0 0 0 2 14 0 0 17 0 32 0 3011812 1883340800 69062 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501351366112 0 0 -1 31 0 0 0
[pid=10433/tid=10460] ppid=10431 vsize=1839200 CPUtime=0.17 cores=0-31
/proc/10433/task/10460/stat : 10460 (claspmt) S 10431 10433 10289 0 -1 4202560 2495 0 0 0 4 13 0 0 17 0 32 0 3011812 1883340800 69062 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501408497120 0 0 -1 17 0 0 0
[pid=10433/tid=10461] ppid=10431 vsize=1839200 CPUtime=0.17 cores=0-31
/proc/10433/task/10461/stat : 10461 (claspmt) S 10431 10433 10289 0 -1 4202560 2481 0 0 0 4 13 0 0 17 0 32 0 3011812 1883340800 69062 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604506044120544 0 0 -1 13 0 0 0
[pid=10433/tid=10462] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31
/proc/10433/task/10462/stat : 10462 (claspmt) S 10431 10433 10289 0 -1 4202560 2183 0 0 0 3 15 0 0 17 0 32 0 3011812 1883340800 69062 270582939648 4194304 4964800 140735509163584 18446744073709551615 258662772457 0 0 4096 18946 18446604501351357920 0 0 -1 11 0 0 0
[pid=10433/tid=10463] ppid=10431 vsize=1839200 CPUtime=1.89 cores=0-31
/proc/10433/task/10463/stat : 10463 (claspmt) R 10431 10433 10289 0 -1 4202560 2515 0 0 0 175 14 0 0 19 0 32 0 3011813 1883340800 69062 270582939648 4194304 4964800 140735509163584 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10433/tid=10464] ppid=10431 vsize=1839200 CPUtime=0.18 cores=0-31

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

/proc/10433/task/10437/stat : 10437 (claspmt) R 10431 10433 10289 0 -1 4202560 47536 0 0 0 493946 181 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4650813 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=10433/tid=10438] ppid=10431 vsize=7980836 CPUtime=4939.55 cores=0-31
/proc/10433/task/10438/stat : 10438 (claspmt) R 10431 10433 10289 0 -1 4202560 53021 0 0 0 493727 228 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10433/tid=10439] ppid=10431 vsize=7980836 CPUtime=4951.98 cores=0-31
/proc/10433/task/10439/stat : 10439 (claspmt) R 10431 10433 10289 0 -1 4202560 36616 0 0 0 495059 139 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10433/tid=10440] ppid=10431 vsize=7980836 CPUtime=4957.01 cores=0-31
/proc/10433/task/10440/stat : 10440 (claspmt) R 10431 10433 10289 0 -1 4202560 42199 0 0 0 495536 165 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10433/tid=10441] ppid=10431 vsize=7980836 CPUtime=4953.52 cores=0-31
/proc/10433/task/10441/stat : 10441 (claspmt) R 10431 10433 10289 0 -1 4202560 148860 0 0 0 494699 653 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10433/tid=10442] ppid=10431 vsize=7980836 CPUtime=4956.62 cores=0-31
/proc/10433/task/10442/stat : 10442 (claspmt) R 10431 10433 10289 0 -1 4202560 39651 0 0 0 495492 170 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4660144 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10433/tid=10443] ppid=10431 vsize=7980836 CPUtime=4956.89 cores=0-31
/proc/10433/task/10443/stat : 10443 (claspmt) R 10431 10433 10289 0 -1 4202560 21895 0 0 0 495611 78 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=10433/tid=10444] ppid=10431 vsize=7980836 CPUtime=4943.35 cores=0-31
/proc/10433/task/10444/stat : 10444 (claspmt) R 10431 10433 10289 0 -1 4202560 41318 0 0 0 494181 154 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10433/tid=10445] ppid=10431 vsize=7980836 CPUtime=4923.45 cores=0-31
/proc/10433/task/10445/stat : 10445 (claspmt) R 10431 10433 10289 0 -1 4202560 50367 0 0 0 492168 177 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10433/tid=10446] ppid=10431 vsize=7980836 CPUtime=4954.45 cores=0-31
/proc/10433/task/10446/stat : 10446 (claspmt) R 10431 10433 10289 0 -1 4202560 56486 0 0 0 495211 234 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10433/tid=10447] ppid=10431 vsize=7980836 CPUtime=4959.67 cores=0-31
/proc/10433/task/10447/stat : 10447 (claspmt) R 10431 10433 10289 0 -1 4202560 47096 0 0 0 495802 165 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=10433/tid=10448] ppid=10431 vsize=7980836 CPUtime=4956.78 cores=0-31
/proc/10433/task/10448/stat : 10448 (claspmt) R 10431 10433 10289 0 -1 4202560 29278 0 0 0 495572 106 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10433/tid=10449] ppid=10431 vsize=7980836 CPUtime=4956.05 cores=0-31
/proc/10433/task/10449/stat : 10449 (claspmt) R 10431 10433 10289 0 -1 4202560 149949 0 0 0 494928 677 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=10433/tid=10450] ppid=10431 vsize=7980836 CPUtime=4956.11 cores=0-31
/proc/10433/task/10450/stat : 10450 (claspmt) R 10431 10433 10289 0 -1 4202560 41837 0 0 0 495432 179 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10433/tid=10451] ppid=10431 vsize=7980836 CPUtime=4956.86 cores=0-31
/proc/10433/task/10451/stat : 10451 (claspmt) R 10431 10433 10289 0 -1 4202560 32087 0 0 0 495568 118 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10433/tid=10452] ppid=10431 vsize=7980836 CPUtime=4956.94 cores=0-31
/proc/10433/task/10452/stat : 10452 (claspmt) R 10431 10433 10289 0 -1 4202560 32828 0 0 0 495569 125 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10433/tid=10453] ppid=10431 vsize=7980836 CPUtime=4942.87 cores=0-31
/proc/10433/task/10453/stat : 10453 (claspmt) R 10431 10433 10289 0 -1 4202560 51865 0 0 0 494083 204 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=10433/tid=10454] ppid=10431 vsize=7980836 CPUtime=4957.11 cores=0-31
/proc/10433/task/10454/stat : 10454 (claspmt) R 10431 10433 10289 0 -1 4202560 52590 0 0 0 495482 229 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=10433/tid=10455] ppid=10431 vsize=7980836 CPUtime=4959.38 cores=0-31
/proc/10433/task/10455/stat : 10455 (claspmt) R 10431 10433 10289 0 -1 4202560 47498 0 0 0 495771 167 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10433/tid=10456] ppid=10431 vsize=7980836 CPUtime=4946.77 cores=0-31
/proc/10433/task/10456/stat : 10456 (claspmt) R 10431 10433 10289 0 -1 4202560 31538 0 0 0 494562 115 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10433/tid=10457] ppid=10431 vsize=7980836 CPUtime=4956.89 cores=0-31
/proc/10433/task/10457/stat : 10457 (claspmt) R 10431 10433 10289 0 -1 4202560 164831 0 0 0 494999 690 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10433/tid=10458] ppid=10431 vsize=7980836 CPUtime=4955.7 cores=0-31
/proc/10433/task/10458/stat : 10458 (claspmt) R 10431 10433 10289 0 -1 4202560 43097 0 0 0 495381 189 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10433/tid=10459] ppid=10431 vsize=7980836 CPUtime=4956.56 cores=0-31
/proc/10433/task/10459/stat : 10459 (claspmt) R 10431 10433 10289 0 -1 4202560 23524 0 0 0 495570 86 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10433/tid=10460] ppid=10431 vsize=7980836 CPUtime=4957.01 cores=0-31
/proc/10433/task/10460/stat : 10460 (claspmt) R 10431 10433 10289 0 -1 4202560 30371 0 0 0 495589 112 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4342193 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=10433/tid=10461] ppid=10431 vsize=7980836 CPUtime=4957.02 cores=0-31
/proc/10433/task/10461/stat : 10461 (claspmt) R 10431 10433 10289 0 -1 4202560 35090 0 0 0 495563 139 0 0 25 0 32 0 3011812 8172376064 1701798 270582939648 4194304 4964800 140735509163584 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10433/tid=10462] ppid=10431 vsize=7980836 CPUtime=4945.73 cores=0-31
/proc/10433/task/10462/stat : 10462 (claspmt) R 10431 10433 10289 0 -1 4202560 46632 0 0 0 494380 193 0 0 25 0 32 0 3011812 8172376064 1701799 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10433/tid=10463] ppid=10431 vsize=7980836 CPUtime=4959.61 cores=0-31
/proc/10433/task/10463/stat : 10463 (claspmt) R 10431 10433 10289 0 -1 4202560 44746 0 0 0 495809 152 0 0 25 0 32 0 3011813 8172376064 1701799 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=10433/tid=10464] ppid=10431 vsize=7980836 CPUtime=4957.01 cores=0-31
/proc/10433/task/10464/stat : 10464 (claspmt) R 10431 10433 10289 0 -1 4202560 33668 0 0 0 495569 132 0 0 25 0 32 0 3011813 8172376064 1701799 270582939648 4194304 4964800 140735509163584 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10433/tid=10465] ppid=10431 vsize=7980836 CPUtime=4957.09 cores=0-31
/proc/10433/task/10465/stat : 10465 (claspmt) R 10431 10433 10289 0 -1 4202560 147487 0 0 0 495062 647 0 0 25 0 32 0 3011813 8172376064 1701799 270582939648 4194304 4964800 140735509163584 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 158490
Current children cumulated vsize (KiB) 7980836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5009.6 s]
/proc/loadavg: 32.02 32.03 32.00 33/445 10611
/proc/meminfo: memFree=256812704/264257624 swapFree=67111528/67111528
[pid=10433] ppid=10431 vsize=8046372 CPUtime=160003 cores=0-31
/proc/10433/stat : 10433 (claspmt) R 10431 10433 10289 0 -1 4202496 1733949 0 0 0 15993270 7012 0 0 25 0 32 0 3011744 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 26 0 0 0
/proc/10433/statm: 2011593 1711576 463 189 0 2005942 0
[pid=10433/tid=10435] ppid=10431 vsize=8046372 CPUtime=5004.15 cores=0-31
/proc/10433/task/10435/stat : 10435 (claspmt) R 10431 10433 10289 0 -1 4202560 30470 0 0 0 500299 116 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10433/tid=10436] ppid=10431 vsize=8046372 CPUtime=5004.38 cores=0-31
/proc/10433/task/10436/stat : 10436 (claspmt) R 10431 10433 10289 0 -1 4202560 34087 0 0 0 500304 134 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10433/tid=10437] ppid=10431 vsize=8046372 CPUtime=4988.59 cores=0-31
/proc/10433/task/10437/stat : 10437 (claspmt) R 10431 10433 10289 0 -1 4202560 47536 0 0 0 498678 181 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=10433/tid=10438] ppid=10431 vsize=8046372 CPUtime=4986.86 cores=0-31
/proc/10433/task/10438/stat : 10438 (claspmt) R 10431 10433 10289 0 -1 4202560 53024 0 0 0 498458 228 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10433/tid=10439] ppid=10431 vsize=8046372 CPUtime=4999.29 cores=0-31
/proc/10433/task/10439/stat : 10439 (claspmt) R 10431 10433 10289 0 -1 4202560 36620 0 0 0 499790 139 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10433/tid=10440] ppid=10431 vsize=8046372 CPUtime=5004.32 cores=0-31
/proc/10433/task/10440/stat : 10440 (claspmt) R 10431 10433 10289 0 -1 4202560 42199 0 0 0 500267 165 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10433/tid=10441] ppid=10431 vsize=8046372 CPUtime=5000.83 cores=0-31
/proc/10433/task/10441/stat : 10441 (claspmt) R 10431 10433 10289 0 -1 4202560 149659 0 0 0 499426 657 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10433/tid=10442] ppid=10431 vsize=8046372 CPUtime=5003.93 cores=0-31
/proc/10433/task/10442/stat : 10442 (claspmt) R 10431 10433 10289 0 -1 4202560 39869 0 0 0 500222 171 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10433/tid=10443] ppid=10431 vsize=8046372 CPUtime=5004.2 cores=0-31
/proc/10433/task/10443/stat : 10443 (claspmt) R 10431 10433 10289 0 -1 4202560 21895 0 0 0 500342 78 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=10433/tid=10444] ppid=10431 vsize=8046372 CPUtime=4990.66 cores=0-31
/proc/10433/task/10444/stat : 10444 (claspmt) R 10431 10433 10289 0 -1 4202560 41322 0 0 0 498912 154 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10433/tid=10445] ppid=10431 vsize=8046372 CPUtime=4970.75 cores=0-31
/proc/10433/task/10445/stat : 10445 (claspmt) R 10431 10433 10289 0 -1 4202560 51289 0 0 0 496894 181 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10433/tid=10446] ppid=10431 vsize=8046372 CPUtime=5001.75 cores=0-31
/proc/10433/task/10446/stat : 10446 (claspmt) R 10431 10433 10289 0 -1 4202560 57072 0 0 0 499938 237 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4653186 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10433/tid=10447] ppid=10431 vsize=8046372 CPUtime=5006.98 cores=0-31
/proc/10433/task/10447/stat : 10447 (claspmt) R 10431 10433 10289 0 -1 4202560 47256 0 0 0 500533 165 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=10433/tid=10448] ppid=10431 vsize=8046372 CPUtime=5004.1 cores=0-31
/proc/10433/task/10448/stat : 10448 (claspmt) R 10431 10433 10289 0 -1 4202560 29296 0 0 0 500303 107 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10433/tid=10449] ppid=10431 vsize=8046372 CPUtime=5003.36 cores=0-31
/proc/10433/task/10449/stat : 10449 (claspmt) R 10431 10433 10289 0 -1 4202560 149949 0 0 0 499659 677 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=10433/tid=10450] ppid=10431 vsize=8046372 CPUtime=5003.39 cores=0-31
/proc/10433/task/10450/stat : 10450 (claspmt) R 10431 10433 10289 0 -1 4202560 41858 0 0 0 500160 179 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10433/tid=10451] ppid=10431 vsize=8046372 CPUtime=5004.18 cores=0-31
/proc/10433/task/10451/stat : 10451 (claspmt) R 10431 10433 10289 0 -1 4202560 32087 0 0 0 500300 118 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10433/tid=10452] ppid=10431 vsize=8046372 CPUtime=5004.26 cores=0-31
/proc/10433/task/10452/stat : 10452 (claspmt) R 10431 10433 10289 0 -1 4202560 32828 0 0 0 500301 125 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10433/tid=10453] ppid=10431 vsize=8046372 CPUtime=4988.83 cores=0-31
/proc/10433/task/10453/stat : 10453 (claspmt) R 10431 10433 10289 0 -1 4202560 51867 0 0 0 498679 204 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=10433/tid=10454] ppid=10431 vsize=8046372 CPUtime=5004.43 cores=0-31
/proc/10433/task/10454/stat : 10454 (claspmt) R 10431 10433 10289 0 -1 4202560 52630 0 0 0 500214 229 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=10433/tid=10455] ppid=10431 vsize=8046372 CPUtime=5006.69 cores=0-31
/proc/10433/task/10455/stat : 10455 (claspmt) R 10431 10433 10289 0 -1 4202560 47498 0 0 0 500502 167 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10433/tid=10456] ppid=10431 vsize=8046372 CPUtime=4994.07 cores=0-31
/proc/10433/task/10456/stat : 10456 (claspmt) R 10431 10433 10289 0 -1 4202560 31538 0 0 0 499292 115 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10433/tid=10457] ppid=10431 vsize=8046372 CPUtime=5004.21 cores=0-31
/proc/10433/task/10457/stat : 10457 (claspmt) R 10431 10433 10289 0 -1 4202560 165100 0 0 0 499729 692 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10433/tid=10458] ppid=10431 vsize=8046372 CPUtime=5003 cores=0-31
/proc/10433/task/10458/stat : 10458 (claspmt) R 10431 10433 10289 0 -1 4202560 44503 0 0 0 500106 194 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10433/tid=10459] ppid=10431 vsize=8046372 CPUtime=5003.88 cores=0-31
/proc/10433/task/10459/stat : 10459 (claspmt) R 10431 10433 10289 0 -1 4202560 23524 0 0 0 500302 86 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4653388 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10433/tid=10460] ppid=10431 vsize=8046372 CPUtime=5004.32 cores=0-31
/proc/10433/task/10460/stat : 10460 (claspmt) R 10431 10433 10289 0 -1 4202560 30584 0 0 0 500319 113 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4654549 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=10433/tid=10461] ppid=10431 vsize=8046372 CPUtime=5004.33 cores=0-31
/proc/10433/task/10461/stat : 10461 (claspmt) R 10431 10433 10289 0 -1 4202560 35090 0 0 0 500294 139 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4342154 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10433/tid=10462] ppid=10431 vsize=8046372 CPUtime=4993.04 cores=0-31
/proc/10433/task/10462/stat : 10462 (claspmt) R 10431 10433 10289 0 -1 4202560 50120 0 0 0 499098 206 0 0 25 0 32 0 3011812 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10433/tid=10463] ppid=10431 vsize=8046372 CPUtime=5006.92 cores=0-31
/proc/10433/task/10463/stat : 10463 (claspmt) R 10431 10433 10289 0 -1 4202560 44746 0 0 0 500540 152 0 0 25 0 32 0 3011813 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=10433/tid=10464] ppid=10431 vsize=8046372 CPUtime=5004.32 cores=0-31
/proc/10433/task/10464/stat : 10464 (claspmt) R 10431 10433 10289 0 -1 4202560 34553 0 0 0 500297 135 0 0 25 0 32 0 3011813 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10433/tid=10465] ppid=10431 vsize=8046372 CPUtime=5004.41 cores=0-31
/proc/10433/task/10465/stat : 10465 (claspmt) R 10431 10433 10289 0 -1 4202560 147488 0 0 0 499794 647 0 0 25 0 32 0 3011813 8239484928 1711576 270582939648 4194304 4964800 140735509163584 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 8046372

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -10433

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

[startup+5011.1 s]
/proc/loadavg: 32.02 32.03 32.00 2/415 10612
/proc/meminfo: memFree=256854644/264257624 swapFree=67111528/67111528
[pid=10433] ppid=10431 vsize=7907808 CPUtime=160005 cores=0-31
/proc/10433/stat : 10433 (claspmt) R 10431 10433 10289 0 -1 4202496 1733961 0 0 0 15993452 7013 0 0 25 0 1 0 3011744 8097595392 1696824 270582939648 4194304 4964800 140735509163584 18446744073709551615 258650612746 0 0 4096 18946 0 0 0 17 26 0 0 0
/proc/10433/statm: 1976952 1696824 474 189 0 1971301 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 7907808

[startup+5011.5 s]
/proc/loadavg: 32.02 32.03 32.00 2/415 10612
/proc/meminfo: memFree=256854644/264257624 swapFree=67111528/67111528
[pid=10433] ppid=10431 vsize=7894044 CPUtime=160005 cores=0-31
/proc/10433/stat : 10433 (claspmt) R 10431 10433 10289 0 -1 4202496 1733961 0 0 0 15993492 7013 0 0 25 0 1 0 3011744 8083501056 1693548 270582939648 4194304 4964800 140735509163584 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 26 0 0 0
/proc/10433/statm: 1973511 1693548 474 189 0 1967860 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 7894044

[startup+5011.9 s]
/proc/loadavg: 32.02 32.03 32.00 2/415 10612
/proc/meminfo: memFree=256884776/264257624 swapFree=67111528/67111528
[pid=10433] ppid=10431 vsize=0 CPUtime=160005 cores=0-31
/proc/10433/stat : 10433 (claspmt) R 10431 10433 10289 0 -1 4203524 1733961 0 0 0 15993506 7040 0 0 25 0 1 0 3011744 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 26 0 0 0
/proc/10433/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 5011.96
CPU time (s): 160006
CPU user time (s): 159935
CPU system time (s): 70.4573
CPU usage (%): 3192.47
Max. virtual memory (cumulated for all children) (KiB): 8046372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159935
system time used= 70.4573
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1733961
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= 260877
involuntary context switches= 387028

runsolver used 27.4558 second user time and 113.863 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-06 18:04:09
IDJOB=3472278
IDBENCH=20521
IDSOLVER=1961
FILE ID=node200/3472278-1307376248
RUNJOBID= node200-1307376153-10303
PBS_JOBID= 13509165
Free space on /tmp= 61740 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k80.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-3472278-1307376248/watcher-3472278-1307376248 -o /tmp/evaluation-result-3472278-1307376248/solver-3472278-1307376248 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472278-1307376248.cnf

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

MD5SUM BENCH= 337e301d7c1a4748ec4a1ced7e688c38
RANDOM SEED=828689207

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:      263672324 kB
Buffers:         41636 kB
Cached:         342328 kB
SwapCached:          0 kB
Active:         144020 kB
Inactive:       303436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263672324 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4700 kB
Writeback:           0 kB
AnonPages:       63316 kB
Mapped:          14528 kB
Slab:            63808 kB
PageTables:       4444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   156228 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-06 19:27:41