Trace number 3472419

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)UNSAT 4851.74 155.268

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf
MD5SUM9059f458d76edcc4dc5681746a6de6e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4851.74
Satisfiable
(Un)Satisfiability was proved
Number of variables88352
Number of clauses262658
Sum of the clauses size612866
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2175104
Number of clauses of size 387552
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 ...639768/instance-3472419-1307639768.cnf
1.39/1.41	c Solving...
4851.70/155.24	s UNSATISFIABLE
4851.70/155.24	
4851.70/155.24	c Models        : 0     
4851.70/155.24	c Time          : 154.511s (Solving: 153.11s 1st Model: 0.00s Unsat: 153.11s)
4851.70/155.24	c CPU Time      : 4850.980s

Verifier Data 

No possible verification on an UNSAT instance

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-3472419-1307639768/watcher-3472419-1307639768 -o /tmp/evaluation-result-3472419-1307639768/solver-3472419-1307639768 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472419-1307639768.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.49 31.55 31.89 1/412 29645
/proc/meminfo: memFree=262340180/264257624 swapFree=67111528/67111528
[pid=29645] ppid=29643 vsize=32096 CPUtime=0.02 cores=0-31
/proc/29645/stat : 29645 (claspmt) R 29643 29645 29615 0 -1 4202496 2365 0 0 0 2 0 0 0 21 0 1 0 29363736 32866304 2294 270582939648 4194304 4964800 140733934766464 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/29645/statm: 8024 2297 373 189 0 2898 0

[startup+0.129314 s]
/proc/loadavg: 29.49 31.55 31.89 1/412 29645
/proc/meminfo: memFree=262340180/264257624 swapFree=67111528/67111528
[pid=29645] ppid=29643 vsize=42988 CPUtime=0.12 cores=0-31
/proc/29645/stat : 29645 (claspmt) R 29643 29645 29615 0 -1 4202496 7029 0 0 0 10 2 0 0 21 0 1 0 29363736 44019712 5795 270582939648 4194304 4964800 140733934766464 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/29645/statm: 10747 5797 383 189 0 5621 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 42988

[startup+0.201306 s]
/proc/loadavg: 29.49 31.55 31.89 1/412 29645
/proc/meminfo: memFree=262340180/264257624 swapFree=67111528/67111528
[pid=29645] ppid=29643 vsize=47356 CPUtime=0.19 cores=0-31
/proc/29645/stat : 29645 (claspmt) R 29643 29645 29615 0 -1 4202496 8487 0 0 0 17 2 0 0 22 0 1 0 29363736 48492544 6982 270582939648 4194304 4964800 140733934766464 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/29645/statm: 11839 6983 383 189 0 6713 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 47356

[startup+0.301326 s]
/proc/loadavg: 29.49 31.55 31.89 1/412 29645
/proc/meminfo: memFree=262340180/264257624 swapFree=67111528/67111528
[pid=29645] ppid=29643 vsize=57960 CPUtime=0.29 cores=0-31
/proc/29645/stat : 29645 (claspmt) R 29643 29645 29615 0 -1 4202496 12223 0 0 0 25 4 0 0 22 0 1 0 29363736 59351040 9450 270582939648 4194304 4964800 140733934766464 18446744073709551615 4617330 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/29645/statm: 14490 9450 396 189 0 9364 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57960

[startup+0.700381 s]
/proc/loadavg: 29.49 31.55 31.89 1/412 29645
/proc/meminfo: memFree=262340180/264257624 swapFree=67111528/67111528
[pid=29645] ppid=29643 vsize=68592 CPUtime=0.69 cores=0-31
/proc/29645/stat : 29645 (claspmt) R 29643 29645 29615 0 -1 4202496 14883 0 0 0 65 4 0 0 23 0 1 0 29363736 70238208 12110 270582939648 4194304 4964800 140733934766464 18446744073709551615 4612264 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/29645/statm: 17148 12111 401 189 0 12022 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68592

[startup+1.502 s]
/proc/loadavg: 29.49 31.55 31.89 2/413 29646
/proc/meminfo: memFree=262285628/264257624 swapFree=67111528/67111528
[pid=29645] ppid=29643 vsize=537472 CPUtime=3.55 cores=0-31
/proc/29645/stat : 29645 (claspmt) S 29643 29645 29615 0 -1 4202496 38438 0 0 0 143 212 0 0 18 0 32 0 29363736 550371328 29083 270582939648 4194304 4964800 140733934766464 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/29645/statm: 134368 29094 428 189 0 128717 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 537472

[startup+3.10229 s]
/proc/loadavg: 29.49 31.55 31.89 5/444 29677
/proc/meminfo: memFree=261982944/264257624 swapFree=67111528/67111528
[pid=29645] ppid=29643 vsize=2005664 CPUtime=16.46 cores=0-31
/proc/29645/stat : 29645 (claspmt) R 29643 29645 29615 0 -1 4202496 129157 0 0 0 670 976 0 0 18 0 32 0 29363736 2053799936 103427 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/29645/statm: 501416 103430 451 189 0 495765 0
[pid=29645/tid=29647] ppid=29643 vsize=2005664 CPUtime=0.39 cores=0-31
/proc/29645/task/29647/stat : 29647 (claspmt) D 29643 29645 29615 0 -1 4202560 3096 0 0 0 6 33 0 0 16 0 32 0 29363877 2053799936 103433 270582939648 4194304 4964800 140733934766464 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29645/tid=29648] ppid=29643 vsize=2005664 CPUtime=0.4 cores=0-31
/proc/29645/task/29648/stat : 29648 (claspmt) R 29643 29645 29615 0 -1 4202560 3542 0 0 0 7 33 0 0 16 0 32 0 29363877 2053799936 103438 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29645/tid=29649] ppid=29643 vsize=2005664 CPUtime=0.4 cores=0-31
/proc/29645/task/29649/stat : 29649 (claspmt) R 29643 29645 29615 0 -1 4202560 4146 0 0 0 8 32 0 0 16 0 32 0 29363877 2053799936 103438 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=29645/tid=29650] ppid=29643 vsize=2005664 CPUtime=0.39 cores=0-31
/proc/29645/task/29650/stat : 29650 (claspmt) R 29643 29645 29615 0 -1 4202560 3108 0 0 0 6 33 0 0 16 0 32 0 29363877 2053799936 103438 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29645/tid=29651] ppid=29643 vsize=2005664 CPUtime=1.11 cores=0-31
/proc/29645/task/29651/stat : 29651 (claspmt) R 29643 29645 29615 0 -1 4202560 3463 0 0 0 83 28 0 0 18 0 32 0 29363877 2053799936 103442 270582939648 4194304 4964800 140733934766464 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=29645/tid=29652] ppid=29643 vsize=2005664 CPUtime=0.39 cores=0-31
/proc/29645/task/29652/stat : 29652 (claspmt) R 29643 29645 29615 0 -1 4202560 4003 0 0 0 7 32 0 0 15 0 32 0 29363877 2053799936 103443 270582939648 4194304 4964800 140733934766464 18446744073709551615 4675677 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=29645/tid=29653] ppid=29643 vsize=2005664 CPUtime=0.39 cores=0-31
/proc/29645/task/29653/stat : 29653 (claspmt) R 29643 29645 29615 0 -1 4202560 3769 0 0 0 8 31 0 0 15 0 32 0 29363877 2053799936 103443 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=29645/tid=29654] ppid=29643 vsize=2005664 CPUtime=0.35 cores=0-31
/proc/29645/task/29654/stat : 29654 (claspmt) R 29643 29645 29615 0 -1 4202560 3301 0 0 0 7 28 0 0 16 0 32 0 29363877 2053799936 103444 270582939648 4194304 4964800 140733934766464 18446744073709551615 4342632 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29645/tid=29655] ppid=29643 vsize=2005664 CPUtime=0.36 cores=0-31
/proc/29645/task/29655/stat : 29655 (claspmt) D 29643 29645 29615 0 -1 4202560 3157 0 0 0 6 30 0 0 15 0 32 0 29363877 2053799936 103447 270582939648 4194304 4964800 140733934766464 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=29645/tid=29656] ppid=29643 vsize=2005664 CPUtime=0.43 cores=0-31
/proc/29645/task/29656/stat : 29656 (claspmt) R 29643 29645 29615 0 -1 4202560 3896 0 0 0 9 34 0 0 16 0 32 0 29363877 2053799936 103447 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29645/tid=29657] ppid=29643 vsize=2005664 CPUtime=0.35 cores=0-31
/proc/29645/task/29657/stat : 29657 (claspmt) R 29643 29645 29615 0 -1 4202560 4120 0 0 0 8 27 0 0 15 0 32 0 29363877 2053799936 103450 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=29645/tid=29658] ppid=29643 vsize=2005664 CPUtime=0.38 cores=0-31
/proc/29645/task/29658/stat : 29658 (claspmt) S 29643 29645 29615 0 -1 4202560 3246 0 0 0 5 33 0 0 15 0 32 0 29363877 2053799936 103454 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 18446604498015649248 0 0 -1 3 0 0 0
[pid=29645/tid=29659] ppid=29643 vsize=2005664 CPUtime=1.13 cores=0-31
/proc/29645/task/29659/stat : 29659 (claspmt) R 29643 29645 29615 0 -1 4202560 3162 0 0 0 80 33 0 0 19 0 32 0 29363877 2053799936 103455 270582939648 4194304 4964800 140733934766464 18446744073709551615 4399292 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=29645/tid=29660] ppid=29643 vsize=2005664 CPUtime=0.37 cores=0-31
/proc/29645/task/29660/stat : 29660 (claspmt) R 29643 29645 29615 0 -1 4202560 4185 0 0 0 7 30 0 0 18 0 32 0 29363877 2053799936 103458 270582939648 4194304 4964800 140733934766464 18446744073709551615 258650623120 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=29645/tid=29661] ppid=29643 vsize=2005664 CPUtime=0.41 cores=0-31
/proc/29645/task/29661/stat : 29661 (claspmt) R 29643 29645 29615 0 -1 4202560 3670 0 0 0 9 32 0 0 15 0 32 0 29363877 2053799936 103461 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29645/tid=29662] ppid=29643 vsize=2005664 CPUtime=0.34 cores=0-31
/proc/29645/task/29662/stat : 29662 (claspmt) R 29643 29645 29615 0 -1 4202560 3263 0 0 0 5 29 0 0 18 0 32 0 29363877 2053799936 103466 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=29645/tid=29663] ppid=29643 vsize=2005664 CPUtime=0.36 cores=0-31
/proc/29645/task/29663/stat : 29663 (claspmt) R 29643 29645 29615 0 -1 4202560 3262 0 0 0 6 30 0 0 16 0 32 0 29363877 2053799936 103469 270582939648 4194304 4964800 140733934766464 18446744073709551615 4668588 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=29645/tid=29664] ppid=29643 vsize=2005664 CPUtime=0.35 cores=0-31
/proc/29645/task/29664/stat : 29664 (claspmt) R 29643 29645 29615 0 -1 4202560 3859 0 0 0 7 28 0 0 16 0 32 0 29363877 2053799936 103475 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=29645/tid=29665] ppid=29643 vsize=2005664 CPUtime=0.4 cores=0-31
/proc/29645/task/29665/stat : 29665 (claspmt) R 29643 29645 29615 0 -1 4202560 4077 0 0 0 7 33 0 0 16 0 32 0 29363877 2053799936 103480 270582939648 4194304 4964800 140733934766464 18446744073709551615 4342206 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=29645/tid=29666] ppid=29643 vsize=2005664 CPUtime=0.36 cores=0-31
/proc/29645/task/29666/stat : 29666 (claspmt) R 29643 29645 29615 0 -1 4202560 3122 0 0 0 6 30 0 0 15 0 32 0 29363877 2053799936 103485 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=29645/tid=29667] ppid=29643 vsize=2005664 CPUtime=1.11 cores=0-31
/proc/29645/task/29667/stat : 29667 (claspmt) R 29643 29645 29615 0 -1 4202560 3751 0 0 0 81 30 0 0 18 0 32 0 29363877 2053799936 103491 270582939648 4194304 4964800 140733934766464 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=29645/tid=29668] ppid=29643 vsize=2005664 CPUtime=0.4 cores=0-31
/proc/29645/task/29668/stat : 29668 (claspmt) R 29643 29645 29615 0 -1 4202560 3897 0 0 0 8 32 0 0 15 0 32 0 29363877 2053799936 103491 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=29645/tid=29669] ppid=29643 vsize=2005664 CPUtime=0.4 cores=0-31
/proc/29645/task/29669/stat : 29669 (claspmt) R 29643 29645 29615 0 -1 4202560 3766 0 0 0 9 31 0 0 16 0 32 0 29363877 2053799936 103493 270582939648 4194304 4964800 140733934766464 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=29645/tid=29670] ppid=29643 vsize=2005664 CPUtime=0.37 cores=0-31
/proc/29645/task/29670/stat : 29670 (claspmt) D 29643 29645 29615 0 -1 4202560 3305 0 0 0 6 31 0 0 16 0 32 0 29363878 2053799936 103499 270582939648 4194304 4964800 140733934766464 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=29645/tid=29671] ppid=29643 vsize=2005664 CPUtime=0.29 cores=0-31
/proc/29645/task/29671/stat : 29671 (claspmt) D 29643 29645 29615 0 -1 4202560 2823 0 0 0 7 22 0 0 16 0 32 0 29363878 2053799936 103499 270582939648 4194304 4964800 140733934766464 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=29645/tid=29672] ppid=29643 vsize=2005664 CPUtime=0.41 cores=0-31
/proc/29645/task/29672/stat : 29672 (claspmt) R 29643 29645 29615 0 -1 4202560 3972 0 0 0 8 33 0 0 16 0 32 0 29363878 2053799936 103499 270582939648 4194304 4964800 140733934766464 18446744073709551615 4678061 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=29645/tid=29673] ppid=29643 vsize=2005664 CPUtime=0.39 cores=0-31
/proc/29645/task/29673/stat : 29673 (claspmt) S 29643 29645 29615 0 -1 4202560 3780 0 0 0 7 32 0 0 16 0 32 0 29363878 2053799936 103508 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 18446744071566929224 0 0 -1 4 0 0 0
[pid=29645/tid=29674] ppid=29643 vsize=2005664 CPUtime=0.35 cores=0-31
/proc/29645/task/29674/stat : 29674 (claspmt) R 29643 29645 29615 0 -1 4202560 3233 0 0 0 5 30 0 0 15 0 32 0 29363878 2053799936 103510 270582939648 4194304 4964800 140733934766464 18446744073709551615 4342228 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=29645/tid=29675] ppid=29643 vsize=2005664 CPUtime=1.14 cores=0-31
/proc/29645/task/29675/stat : 29675 (claspmt) R 29643 29645 29615 0 -1 4202560 3621 0 0 0 83 31 0 0 18 0 32 0 29363878 2053799936 103511 270582939648 4194304 4964800 140733934766464 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=29645/tid=29676] ppid=29643 vsize=2005664 CPUtime=0.4 cores=0-31
/proc/29645/task/29676/stat : 29676 (claspmt) R 29643 29645 29615 0 -1 4202560 4196 0 0 0 8 32 0 0 15 0 32 0 29363878 2053799936 103511 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=29645/tid=29677] ppid=29643 vsize=2005664 CPUtime=0.39 cores=0-31
/proc/29645/task/29677/stat : 29677 (claspmt) D 29643 29645 29615 0 -1 4202560 3802 0 0 0 8 31 0 0 16 0 32 0 29363878 2053799936 103512 270582939648 4194304 4964800 140733934766464 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 16.46
Current children cumulated vsize (KiB) 2005664

[startup+6.30141 s]
/proc/loadavg: 27.45 31.09 31.74 34/444 29677
/proc/meminfo: memFree=261903880/264257624 swapFree=67111528/67111528
[pid=29645] ppid=29643 vsize=2006416 CPUtime=118.56 cores=0-31
/proc/29645/stat : 29645 (claspmt) R 29643 29645 29615 0 -1 4202496 138253 0 0 0 10853 1003 0 0 25 0 32 0 29363736 2054569984 112523 270582939648 4194304 4964800 140733934766464 18446744073709551615 4364587 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/29645/statm: 501604 112523 461 189 0 495953 0
[pid=29645/tid=29647] ppid=29643 vsize=2006416 CPUtime=3.59 cores=0-31
/proc/29645/task/29647/stat : 29647 (claspmt) R 29643 29645 29615 0 -1 4202560 3409 0 0 0 325 34 0 0 20 0 32 0 29363877 2054569984 112523 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29645/tid=29648] ppid=29643 vsize=2006416 CPUtime=3.6 cores=0-31
/proc/29645/task/29648/stat : 29648 (claspmt) R 29643 29645 29615 0 -1 4202560 3823 0 0 0 326 34 0 0 20 0 32 0 29363877 2054569984 112523 270582939648 4194304 4964800 140733934766464 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29645/tid=29649] ppid=29643 vsize=2006416 CPUtime=3.59 cores=0-31
/proc/29645/task/29649/stat : 29649 (claspmt) R 29643 29645 29615 0 -1 4202560 4527 0 0 0 326 33 0 0 19 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=29645/tid=29650] ppid=29643 vsize=2006416 CPUtime=3.59 cores=0-31
/proc/29645/task/29650/stat : 29650 (claspmt) R 29643 29645 29615 0 -1 4202560 3411 0 0 0 325 34 0 0 20 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29645/tid=29651] ppid=29643 vsize=2006416 CPUtime=4.31 cores=0-31
/proc/29645/task/29651/stat : 29651 (claspmt) R 29643 29645 29615 0 -1 4202560 3477 0 0 0 403 28 0 0 25 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=29645/tid=29652] ppid=29643 vsize=2006416 CPUtime=3.58 cores=0-31
/proc/29645/task/29652/stat : 29652 (claspmt) R 29643 29645 29615 0 -1 4202560 4313 0 0 0 325 33 0 0 20 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=29645/tid=29653] ppid=29643 vsize=2006416 CPUtime=3.59 cores=0-31
/proc/29645/task/29653/stat : 29653 (claspmt) R 29643 29645 29615 0 -1 4202560 4154 0 0 0 327 32 0 0 20 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=29645/tid=29654] ppid=29643 vsize=2006416 CPUtime=3.54 cores=0-31
/proc/29645/task/29654/stat : 29654 (claspmt) R 29643 29645 29615 0 -1 4202560 3515 0 0 0 325 29 0 0 20 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29645/tid=29655] ppid=29643 vsize=2006416 CPUtime=3.54 cores=0-31
/proc/29645/task/29655/stat : 29655 (claspmt) R 29643 29645 29615 0 -1 4202560 3487 0 0 0 323 31 0 0 20 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=29645/tid=29656] ppid=29643 vsize=2006416 CPUtime=3.62 cores=0-31
/proc/29645/task/29656/stat : 29656 (claspmt) R 29643 29645 29615 0 -1 4202560 4126 0 0 0 328 34 0 0 20 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4362938 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29645/tid=29657] ppid=29643 vsize=2006416 CPUtime=3.55 cores=0-31
/proc/29645/task/29657/stat : 29657 (claspmt) R 29643 29645 29615 0 -1 4202560 4489 0 0 0 327 28 0 0 18 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=29645/tid=29658] ppid=29643 vsize=2006416 CPUtime=3.57 cores=0-31
/proc/29645/task/29658/stat : 29658 (claspmt) R 29643 29645 29615 0 -1 4202560 3552 0 0 0 324 33 0 0 19 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29645/tid=29659] ppid=29643 vsize=2006416 CPUtime=4.32 cores=0-31
/proc/29645/task/29659/stat : 29659 (claspmt) R 29643 29645 29615 0 -1 4202560 3175 0 0 0 399 33 0 0 25 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4668702 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=29645/tid=29660] ppid=29643 vsize=2006416 CPUtime=3.41 cores=0-31
/proc/29645/task/29660/stat : 29660 (claspmt) R 29643 29645 29615 0 -1 4202560 4473 0 0 0 310 31 0 0 25 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=29645/tid=29661] ppid=29643 vsize=2006416 CPUtime=3.6 cores=0-31
/proc/29645/task/29661/stat : 29661 (claspmt) R 29643 29645 29615 0 -1 4202560 4077 0 0 0 327 33 0 0 20 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670507 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29645/tid=29662] ppid=29643 vsize=2006416 CPUtime=3.54 cores=0-31
/proc/29645/task/29662/stat : 29662 (claspmt) R 29643 29645 29615 0 -1 4202560 3552 0 0 0 324 30 0 0 25 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=29645/tid=29663] ppid=29643 vsize=2006416 CPUtime=3.56 cores=0-31
/proc/29645/task/29663/stat : 29663 (claspmt) R 29643 29645 29615 0 -1 4202560 3565 0 0 0 325 31 0 0 20 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=29645/tid=29664] ppid=29643 vsize=2006416 CPUtime=3.55 cores=0-31
/proc/29645/task/29664/stat : 29664 (claspmt) R 29643 29645 29615 0 -1 4202560 4172 0 0 0 326 29 0 0 20 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=29645/tid=29665] ppid=29643 vsize=2006416 CPUtime=3.6 cores=0-31
/proc/29645/task/29665/stat : 29665 (claspmt) R 29643 29645 29615 0 -1 4202560 4501 0 0 0 325 35 0 0 20 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=29645/tid=29666] ppid=29643 vsize=2006416 CPUtime=3.55 cores=0-31
/proc/29645/task/29666/stat : 29666 (claspmt) R 29643 29645 29615 0 -1 4202560 3398 0 0 0 324 31 0 0 20 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=29645/tid=29667] ppid=29643 vsize=2006416 CPUtime=4.31 cores=0-31
/proc/29645/task/29667/stat : 29667 (claspmt) R 29643 29645 29615 0 -1 4202560 3762 0 0 0 401 30 0 0 25 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4399622 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=29645/tid=29668] ppid=29643 vsize=2006416 CPUtime=3.58 cores=0-31
/proc/29645/task/29668/stat : 29668 (claspmt) R 29643 29645 29615 0 -1 4202560 4264 0 0 0 325 33 0 0 20 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=29645/tid=29669] ppid=29643 vsize=2006416 CPUtime=3.59 cores=0-31
/proc/29645/task/29669/stat : 29669 (claspmt) R 29643 29645 29615 0 -1 4202560 4137 0 0 0 327 32 0 0 20 0 32 0 29363877 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4629451 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=29645/tid=29670] ppid=29643 vsize=2006416 CPUtime=3.57 cores=0-31
/proc/29645/task/29670/stat : 29670 (claspmt) R 29643 29645 29615 0 -1 4202560 3572 0 0 0 325 32 0 0 20 0 32 0 29363878 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=29645/tid=29671] ppid=29643 vsize=2006416 CPUtime=3.48 cores=0-31
/proc/29645/task/29671/stat : 29671 (claspmt) R 29643 29645 29615 0 -1 4202560 3098 0 0 0 325 23 0 0 20 0 32 0 29363878 2054569984 112525 270582939648 4194304 4964800 140733934766464 18446744073709551615 4370314 0 0 4096 18946 0 0 0 -1 29 0 0 0

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

[pid=29645/tid=29663] ppid=29643 vsize=2027968 CPUtime=147.61 cores=0-31
/proc/29645/task/29663/stat : 29663 (claspmt) R 29643 29645 29615 0 -1 4202560 5106 0 0 0 14726 35 0 0 25 0 32 0 29363877 2076639232 257414 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=29645/tid=29664] ppid=29643 vsize=2027968 CPUtime=147.59 cores=0-31
/proc/29645/task/29664/stat : 29664 (claspmt) R 29643 29645 29615 0 -1 4202560 14004 0 0 0 14699 60 0 0 25 0 32 0 29363877 2076639232 257414 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=29645/tid=29665] ppid=29643 vsize=2027968 CPUtime=147.65 cores=0-31
/proc/29645/task/29665/stat : 29665 (claspmt) R 29643 29645 29615 0 -1 4202560 9152 0 0 0 14716 49 0 0 25 0 32 0 29363877 2076639232 257414 270582939648 4194304 4964800 140733934766464 18446744073709551615 4653507 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=29645/tid=29666] ppid=29643 vsize=2027968 CPUtime=147.6 cores=0-31
/proc/29645/task/29666/stat : 29666 (claspmt) R 29643 29645 29615 0 -1 4202560 7234 0 0 0 14713 47 0 0 25 0 32 0 29363877 2076639232 257414 270582939648 4194304 4964800 140733934766464 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=29645/tid=29667] ppid=29643 vsize=2027968 CPUtime=148.39 cores=0-31
/proc/29645/task/29667/stat : 29667 (claspmt) R 29643 29645 29615 0 -1 4202560 4497 0 0 0 14808 31 0 0 25 0 32 0 29363877 2076639232 257414 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=29645/tid=29668] ppid=29643 vsize=2027968 CPUtime=147.54 cores=0-31
/proc/29645/task/29668/stat : 29668 (claspmt) R 29643 29645 29615 0 -1 4202560 8723 0 0 0 14704 50 0 0 25 0 32 0 29363877 2076639232 257414 270582939648 4194304 4964800 140733934766464 18446744073709551615 4361330 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=29645/tid=29669] ppid=29643 vsize=2027968 CPUtime=147.62 cores=0-31
/proc/29645/task/29669/stat : 29669 (claspmt) R 29643 29645 29615 0 -1 4202560 14970 0 0 0 14691 71 0 0 25 0 32 0 29363877 2076639232 257414 270582939648 4194304 4964800 140733934766464 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=29645/tid=29670] ppid=29643 vsize=2027968 CPUtime=147.63 cores=0-31
/proc/29645/task/29670/stat : 29670 (claspmt) R 29643 29645 29615 0 -1 4202560 5529 0 0 0 14722 41 0 0 25 0 32 0 29363878 2076639232 257414 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=29645/tid=29671] ppid=29643 vsize=2027968 CPUtime=147.54 cores=0-31
/proc/29645/task/29671/stat : 29671 (claspmt) R 29643 29645 29615 0 -1 4202560 4608 0 0 0 14726 28 0 0 25 0 32 0 29363878 2076639232 257414 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=29645/tid=29672] ppid=29643 vsize=2027968 CPUtime=147.65 cores=0-31
/proc/29645/task/29672/stat : 29672 (claspmt) R 29643 29645 29615 0 -1 4202560 14368 0 0 0 14696 69 0 0 25 0 32 0 29363878 2076639232 257414 270582939648 4194304 4964800 140733934766464 18446744073709551615 4660495 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=29645/tid=29673] ppid=29643 vsize=2027968 CPUtime=147.26 cores=0-31
/proc/29645/task/29673/stat : 29673 (claspmt) R 29643 29645 29615 0 -1 4202560 9393 0 0 0 14674 52 0 0 25 0 32 0 29363878 2076639232 257414 270582939648 4194304 4964800 140733934766464 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=29645/tid=29674] ppid=29643 vsize=2027968 CPUtime=147.59 cores=0-31
/proc/29645/task/29674/stat : 29674 (claspmt) R 29643 29645 29615 0 -1 4202560 8092 0 0 0 14711 48 0 0 25 0 32 0 29363878 2076639232 257414 270582939648 4194304 4964800 140733934766464 18446744073709551615 4631249 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29645/tid=29675] ppid=29643 vsize=2027968 CPUtime=148.4 cores=0-31
/proc/29645/task/29675/stat : 29675 (claspmt) R 29643 29645 29615 0 -1 4202560 4590 0 0 0 14809 31 0 0 25 0 32 0 29363878 2076639232 257414 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=29645/tid=29676] ppid=29643 vsize=2027968 CPUtime=147.65 cores=0-31
/proc/29645/task/29676/stat : 29676 (claspmt) R 29643 29645 29615 0 -1 4202560 9163 0 0 0 14717 48 0 0 25 0 32 0 29363878 2076639232 257414 270582939648 4194304 4964800 140733934766464 18446744073709551615 4660384 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=29645/tid=29677] ppid=29643 vsize=2027968 CPUtime=146.05 cores=0-31
/proc/29645/task/29677/stat : 29677 (claspmt) R 29643 29645 29615 0 -1 4202560 13241 0 0 0 14544 61 0 0 25 0 32 0 29363878 2076639232 257414 270582939648 4194304 4964800 140733934766464 18446744073709551615 4668732 0 0 4096 18946 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 4723.92
Current children cumulated vsize (KiB) 2027968

[startup+153.602 s]
/proc/loadavg: 31.71 31.50 31.80 33/444 29681
/proc/meminfo: memFree=261320148/264257624 swapFree=67111528/67111528
[pid=29645] ppid=29643 vsize=2027968 CPUtime=4826.21 cores=0-31
/proc/29645/stat : 29645 (claspmt) R 29643 29645 29615 0 -1 4202496 283452 0 0 0 481120 1501 0 0 25 0 32 0 29363736 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4653507 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/29645/statm: 506992 257692 463 189 0 501341 0
[pid=29645/tid=29647] ppid=29643 vsize=2027968 CPUtime=150.84 cores=0-31
/proc/29645/task/29647/stat : 29647 (claspmt) R 29643 29645 29615 0 -1 4202560 5151 0 0 0 15043 41 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29645/tid=29648] ppid=29643 vsize=2027968 CPUtime=150.84 cores=0-31
/proc/29645/task/29648/stat : 29648 (claspmt) R 29643 29645 29615 0 -1 4202560 13261 0 0 0 15018 66 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=29645/tid=29649] ppid=29643 vsize=2027968 CPUtime=150.84 cores=0-31
/proc/29645/task/29649/stat : 29649 (claspmt) R 29643 29645 29615 0 -1 4202560 8146 0 0 0 15039 45 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=29645/tid=29650] ppid=29643 vsize=2027968 CPUtime=150.83 cores=0-31
/proc/29645/task/29650/stat : 29650 (claspmt) R 29643 29645 29615 0 -1 4202560 7563 0 0 0 15034 49 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29645/tid=29651] ppid=29643 vsize=2027968 CPUtime=151.58 cores=0-31
/proc/29645/task/29651/stat : 29651 (claspmt) R 29643 29645 29615 0 -1 4202560 4198 0 0 0 15129 29 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=29645/tid=29652] ppid=29643 vsize=2027968 CPUtime=150.84 cores=0-31
/proc/29645/task/29652/stat : 29652 (claspmt) R 29643 29645 29615 0 -1 4202560 8286 0 0 0 15038 46 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=29645/tid=29653] ppid=29643 vsize=2027968 CPUtime=150.82 cores=0-31
/proc/29645/task/29653/stat : 29653 (claspmt) R 29643 29645 29615 0 -1 4202560 12957 0 0 0 15018 64 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669001 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=29645/tid=29654] ppid=29643 vsize=2027968 CPUtime=150.8 cores=0-31
/proc/29645/task/29654/stat : 29654 (claspmt) R 29643 29645 29615 0 -1 4202560 4729 0 0 0 15046 34 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29645/tid=29655] ppid=29643 vsize=2027968 CPUtime=150.8 cores=0-31
/proc/29645/task/29655/stat : 29655 (claspmt) R 29643 29645 29615 0 -1 4202560 4953 0 0 0 15045 35 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=29645/tid=29656] ppid=29643 vsize=2027968 CPUtime=150.86 cores=0-31
/proc/29645/task/29656/stat : 29656 (claspmt) R 29643 29645 29615 0 -1 4202560 15091 0 0 0 15016 70 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669338 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29645/tid=29657] ppid=29643 vsize=2027968 CPUtime=150.78 cores=0-31
/proc/29645/task/29657/stat : 29657 (claspmt) R 29643 29645 29615 0 -1 4202560 9299 0 0 0 15030 48 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=29645/tid=29658] ppid=29643 vsize=2027968 CPUtime=150.82 cores=0-31
/proc/29645/task/29658/stat : 29658 (claspmt) R 29643 29645 29615 0 -1 4202560 6672 0 0 0 15038 44 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669283 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29645/tid=29659] ppid=29643 vsize=2027968 CPUtime=151.59 cores=0-31
/proc/29645/task/29659/stat : 29659 (claspmt) R 29643 29645 29615 0 -1 4202560 3959 0 0 0 15125 34 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=29645/tid=29660] ppid=29643 vsize=2027968 CPUtime=149.35 cores=0-31
/proc/29645/task/29660/stat : 29660 (claspmt) R 29643 29645 29615 0 -1 4202560 7887 0 0 0 14893 42 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=29645/tid=29661] ppid=29643 vsize=2027968 CPUtime=149.95 cores=0-31
/proc/29645/task/29661/stat : 29661 (claspmt) R 29643 29645 29615 0 -1 4202560 14258 0 0 0 14925 70 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670259 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29645/tid=29662] ppid=29643 vsize=2027968 CPUtime=150.8 cores=0-31
/proc/29645/task/29662/stat : 29662 (claspmt) R 29643 29645 29615 0 -1 4202560 4755 0 0 0 15045 35 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=29645/tid=29663] ppid=29643 vsize=2027968 CPUtime=150.81 cores=0-31
/proc/29645/task/29663/stat : 29663 (claspmt) R 29643 29645 29615 0 -1 4202560 5106 0 0 0 15046 35 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=29645/tid=29664] ppid=29643 vsize=2027968 CPUtime=150.79 cores=0-31
/proc/29645/task/29664/stat : 29664 (claspmt) R 29643 29645 29615 0 -1 4202560 14009 0 0 0 15019 60 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=29645/tid=29665] ppid=29643 vsize=2027968 CPUtime=150.85 cores=0-31
/proc/29645/task/29665/stat : 29665 (claspmt) R 29643 29645 29615 0 -1 4202560 9152 0 0 0 15036 49 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=29645/tid=29666] ppid=29643 vsize=2027968 CPUtime=150.8 cores=0-31
/proc/29645/task/29666/stat : 29666 (claspmt) R 29643 29645 29615 0 -1 4202560 7234 0 0 0 15033 47 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=29645/tid=29667] ppid=29643 vsize=2027968 CPUtime=151.59 cores=0-31
/proc/29645/task/29667/stat : 29667 (claspmt) R 29643 29645 29615 0 -1 4202560 4497 0 0 0 15128 31 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=29645/tid=29668] ppid=29643 vsize=2027968 CPUtime=150.74 cores=0-31
/proc/29645/task/29668/stat : 29668 (claspmt) R 29643 29645 29615 0 -1 4202560 8723 0 0 0 15024 50 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=29645/tid=29669] ppid=29643 vsize=2027968 CPUtime=150.82 cores=0-31
/proc/29645/task/29669/stat : 29669 (claspmt) R 29643 29645 29615 0 -1 4202560 14970 0 0 0 15011 71 0 0 25 0 32 0 29363877 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=29645/tid=29670] ppid=29643 vsize=2027968 CPUtime=150.83 cores=0-31
/proc/29645/task/29670/stat : 29670 (claspmt) R 29643 29645 29615 0 -1 4202560 5529 0 0 0 15042 41 0 0 25 0 32 0 29363878 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=29645/tid=29671] ppid=29643 vsize=2027968 CPUtime=150.74 cores=0-31
/proc/29645/task/29671/stat : 29671 (claspmt) R 29643 29645 29615 0 -1 4202560 4608 0 0 0 15046 28 0 0 25 0 32 0 29363878 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=29645/tid=29672] ppid=29643 vsize=2027968 CPUtime=150.85 cores=0-31
/proc/29645/task/29672/stat : 29672 (claspmt) R 29643 29645 29615 0 -1 4202560 14373 0 0 0 15016 69 0 0 25 0 32 0 29363878 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=29645/tid=29673] ppid=29643 vsize=2027968 CPUtime=150.46 cores=0-31
/proc/29645/task/29673/stat : 29673 (claspmt) R 29643 29645 29615 0 -1 4202560 9393 0 0 0 14994 52 0 0 25 0 32 0 29363878 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=29645/tid=29674] ppid=29643 vsize=2027968 CPUtime=150.79 cores=0-31
/proc/29645/task/29674/stat : 29674 (claspmt) R 29643 29645 29615 0 -1 4202560 8092 0 0 0 15031 48 0 0 25 0 32 0 29363878 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29645/tid=29675] ppid=29643 vsize=2027968 CPUtime=151.6 cores=0-31
/proc/29645/task/29675/stat : 29675 (claspmt) R 29643 29645 29615 0 -1 4202560 4590 0 0 0 15129 31 0 0 25 0 32 0 29363878 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4399339 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=29645/tid=29676] ppid=29643 vsize=2027968 CPUtime=150.85 cores=0-31
/proc/29645/task/29676/stat : 29676 (claspmt) R 29643 29645 29615 0 -1 4202560 9163 0 0 0 15037 48 0 0 19 0 32 0 29363878 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4363327 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=29645/tid=29677] ppid=29643 vsize=2027968 CPUtime=149.16 cores=0-31
/proc/29645/task/29677/stat : 29677 (claspmt) R 29643 29645 29615 0 -1 4202560 13241 0 0 0 14855 61 0 0 25 0 32 0 29363878 2076639232 257692 270582939648 4194304 4964800 140733934766464 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 4826.21
Current children cumulated vsize (KiB) 2027968

[startup+154.402 s]
/proc/loadavg: 31.81 31.52 31.81 33/444 29681
/proc/meminfo: memFree=261320148/264257624 swapFree=67111528/67111528
[pid=29645] ppid=29643 vsize=2027968 CPUtime=4850.41 cores=0-31
/proc/29645/stat : 29645 (claspmt) S 29643 29645 29615 0 -1 4202496 283455 0 0 0 483503 1538 0 0 17 0 21 0 29363736 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/29645/statm: 506992 257695 464 189 0 501341 0
[pid=29645/tid=29649] ppid=29643 vsize=2027968 CPUtime=151.62 cores=0-31
/proc/29645/task/29649/stat : 29649 (claspmt) S 29643 29645 29615 0 -1 4202560 8146 0 0 0 15115 47 0 0 17 0 21 0 29363877 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 18446604501531393504 0 0 -1 25 0 0 0
[pid=29645/tid=29651] ppid=29643 vsize=2027968 CPUtime=152.36 cores=0-31
/proc/29645/task/29651/stat : 29651 (claspmt) R 29643 29645 29615 0 -1 4202560 4198 0 0 0 15206 30 0 0 17 0 21 0 29363877 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 4628834 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=29645/tid=29652] ppid=29643 vsize=2027968 CPUtime=151.58 cores=0-31
/proc/29645/task/29652/stat : 29652 (claspmt) S 29643 29645 29615 0 -1 4202560 8286 0 0 0 15111 47 0 0 17 0 21 0 29363877 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 18446604570557939168 0 0 -1 30 0 0 0
[pid=29645/tid=29653] ppid=29643 vsize=2027968 CPUtime=151.57 cores=0-31
/proc/29645/task/29653/stat : 29653 (claspmt) S 29643 29645 29615 0 -1 4202560 12957 0 0 0 15092 65 0 0 17 0 21 0 29363877 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 18446604501466889696 0 0 -1 17 0 0 0
[pid=29645/tid=29656] ppid=29643 vsize=2027968 CPUtime=151.63 cores=0-31
/proc/29645/task/29656/stat : 29656 (claspmt) S 29643 29645 29615 0 -1 4202560 15091 0 0 0 15091 72 0 0 17 0 21 0 29363877 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 18446604485282389472 0 0 -1 6 0 0 0
[pid=29645/tid=29657] ppid=29643 vsize=2027968 CPUtime=151.53 cores=0-31
/proc/29645/task/29657/stat : 29657 (claspmt) S 29643 29645 29615 0 -1 4202560 9299 0 0 0 15104 49 0 0 17 0 21 0 29363877 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 18446604485424733664 0 0 -1 21 0 0 0
[pid=29645/tid=29659] ppid=29643 vsize=2027968 CPUtime=152.36 cores=0-31
/proc/29645/task/29659/stat : 29659 (claspmt) S 29643 29645 29615 0 -1 4202560 3959 0 0 0 15201 35 0 0 17 0 21 0 29363877 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 18446604498151603680 0 0 -1 27 0 0 0
[pid=29645/tid=29660] ppid=29643 vsize=2027968 CPUtime=150.1 cores=0-31
/proc/29645/task/29660/stat : 29660 (claspmt) S 29643 29645 29615 0 -1 4202560 7887 0 0 0 14967 43 0 0 17 0 21 0 29363877 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 18446604499442376160 0 0 -1 28 0 0 0
[pid=29645/tid=29661] ppid=29643 vsize=2027968 CPUtime=150.73 cores=0-31
/proc/29645/task/29661/stat : 29661 (claspmt) R 29643 29645 29615 0 -1 4202560 14258 0 0 0 15001 72 0 0 17 0 21 0 29363877 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29645/tid=29664] ppid=29643 vsize=2027968 CPUtime=151.54 cores=0-31
/proc/29645/task/29664/stat : 29664 (claspmt) R 29643 29645 29615 0 -1 4202560 14010 0 0 0 15093 61 0 0 17 0 21 0 29363877 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=29645/tid=29665] ppid=29643 vsize=2027968 CPUtime=151.6 cores=0-31
/proc/29645/task/29665/stat : 29665 (claspmt) R 29643 29645 29615 0 -1 4202560 9152 0 0 0 15110 50 0 0 17 0 21 0 29363877 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=29645/tid=29666] ppid=29643 vsize=2027968 CPUtime=151.57 cores=0-31
/proc/29645/task/29666/stat : 29666 (claspmt) R 29643 29645 29615 0 -1 4202560 7234 0 0 0 15108 49 0 0 17 0 21 0 29363877 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=29645/tid=29667] ppid=29643 vsize=2027968 CPUtime=152.35 cores=0-31
/proc/29645/task/29667/stat : 29667 (claspmt) R 29643 29645 29615 0 -1 4202560 4497 0 0 0 15203 32 0 0 17 0 21 0 29363877 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=29645/tid=29668] ppid=29643 vsize=2027968 CPUtime=151.5 cores=0-31
/proc/29645/task/29668/stat : 29668 (claspmt) S 29643 29645 29615 0 -1 4202560 8723 0 0 0 15099 51 0 0 17 0 21 0 29363877 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 18446604505687326176 0 0 -1 12 0 0 0
[pid=29645/tid=29669] ppid=29643 vsize=2027968 CPUtime=151.58 cores=0-31
/proc/29645/task/29669/stat : 29669 (claspmt) S 29643 29645 29615 0 -1 4202560 14970 0 0 0 15086 72 0 0 17 0 21 0 29363877 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 18446604498218565088 0 0 -1 11 0 0 0
[pid=29645/tid=29670] ppid=29643 vsize=2027968 CPUtime=151.59 cores=0-31
/proc/29645/task/29670/stat : 29670 (claspmt) S 29643 29645 29615 0 -1 4202560 5529 0 0 0 15117 42 0 0 17 0 21 0 29363878 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 18446604501466881504 0 0 -1 10 0 0 0
[pid=29645/tid=29671] ppid=29643 vsize=2027968 CPUtime=151.51 cores=0-31
/proc/29645/task/29671/stat : 29671 (claspmt) R 29643 29645 29615 0 -1 4202560 4608 0 0 0 15121 30 0 0 17 0 21 0 29363878 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258662782469 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=29645/tid=29673] ppid=29643 vsize=2027968 CPUtime=151.22 cores=0-31
/proc/29645/task/29673/stat : 29673 (claspmt) S 29643 29645 29615 0 -1 4202560 9393 0 0 0 15068 54 0 0 17 0 21 0 29363878 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 18446744071566930584 0 0 -1 23 0 0 0
[pid=29645/tid=29675] ppid=29643 vsize=2027968 CPUtime=152.37 cores=0-31
/proc/29645/task/29675/stat : 29675 (claspmt) S 29643 29645 29615 0 -1 4202560 4590 0 0 0 15205 32 0 0 17 0 21 0 29363878 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 258651060958 0 0 4096 18946 18446604498151603680 0 0 -1 13 0 0 0
[pid=29645/tid=29676] ppid=29643 vsize=2027968 CPUtime=151.6 cores=0-31
/proc/29645/task/29676/stat : 29676 (claspmt) R 29643 29645 29615 0 -1 4202560 9163 0 0 0 15111 49 0 0 17 0 21 0 29363878 2076639232 257695 270582939648 4194304 4964800 140733934766464 18446744073709551615 4644797 0 0 4096 18946 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 4850.41
Current children cumulated vsize (KiB) 2027968

[startup+154.801 s]
/proc/loadavg: 31.81 31.52 31.81 33/444 29681
/proc/meminfo: memFree=261320148/264257624 swapFree=67111528/67111528
[pid=29645] ppid=29643 vsize=1906000 CPUtime=4851.26 cores=0-31
/proc/29645/stat : 29645 (claspmt) R 29643 29645 29615 0 -1 4202496 283465 0 0 0 483579 1547 0 0 16 0 1 0 29363736 1951744000 249670 270582939648 4194304 4964800 140733934766464 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/29645/statm: 476500 249670 474 189 0 470849 0
Current children cumulated CPU time (s) 4851.26
Current children cumulated vsize (KiB) 1906000

[startup+155.236 s]
/proc/loadavg: 31.81 31.52 31.81 2/413 29681
/proc/meminfo: memFree=261428060/264257624 swapFree=67111528/67111528
[pid=29645] ppid=29643 vsize=1798256 CPUtime=4851.7 cores=0-31
/proc/29645/stat : 29645 (claspmt) R 29643 29645 29615 0 -1 4202496 283465 0 0 0 483618 1552 0 0 17 0 1 0 29363736 1841414144 113061 270582939648 4194304 4964800 140733934766464 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/29645/statm: 449564 112549 474 189 0 443913 0
Current children cumulated CPU time (s) 4851.7
Current children cumulated vsize (KiB) 1798256

Child status: 20
Real time (s): 155.268
CPU time (s): 4851.74
CPU user time (s): 4836.18
CPU system time (s): 15.5536
CPU usage (%): 3124.74
Max. virtual memory (cumulated for all children) (KiB): 2027968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4836.18
system time used= 15.5536
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283466
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= 120375
involuntary context switches= 11457

runsolver used 0.929858 second user time and 3.53546 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-09 19:16:09
IDJOB=3472419
IDBENCH=82469
IDSOLVER=1961
FILE ID=node200/3472419-1307639768
RUNJOBID= node200-1307639768-29629
PBS_JOBID= 13547780
Free space on /tmp= 61740 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.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-3472419-1307639768/watcher-3472419-1307639768 -o /tmp/evaluation-result-3472419-1307639768/solver-3472419-1307639768 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472419-1307639768.cnf

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

MD5SUM BENCH= 9059f458d76edcc4dc5681746a6de6e5
RANDOM SEED=1857895565

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:      262341600 kB
Buffers:        234940 kB
Cached:        1385776 kB
SwapCached:          0 kB
Active:         254760 kB
Inactive:      1429060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262341600 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5152 kB
Writeback:           0 kB
AnonPages:       63312 kB
Mapped:          13376 kB
Slab:           151268 kB
PageTables:       4496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   158896 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-09 19:18:44