Trace number 3472430

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 14446 456.246

General information on the benchmark

Nameapplication/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf
MD5SUM3fad4722cb319d6fee4192f2fe2c31ed
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5055.9
Satisfiable
(Un)Satisfiability was proved
Number of variables98935
Number of clauses296405
Sum of the clauses size691609
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2197602
Number of clauses of size 398801
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 ...645074/instance-3472430-1307645074.cnf
1.29/1.33	c Solving...
14445.94/456.21	s UNSATISFIABLE
14445.94/456.21	
14445.94/456.21	c Models        : 0     
14445.94/456.21	c Time          : 454.786s (Solving: 453.46s 1st Model: 0.00s Unsat: 453.46s)
14445.94/456.21	c CPU Time      : 14444.540s

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-3472430-1307645074/watcher-3472430-1307645074 -o /tmp/evaluation-result-3472430-1307645074/solver-3472430-1307645074 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472430-1307645074.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: 19.19 28.88 30.98 1/412 30584
/proc/meminfo: memFree=257799744/264257624 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=33428 CPUtime=0.02 cores=0-31
/proc/30584/stat : 30584 (claspmt) R 30582 30584 30554 0 -1 4202496 2235 0 0 0 2 0 0 0 21 0 1 0 29894372 34230272 2164 270582939648 4194304 4964800 140736716360800 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/30584/statm: 8357 2169 373 189 0 3231 0

[startup+0.0916769 s]
/proc/loadavg: 19.19 28.88 30.98 1/412 30584
/proc/meminfo: memFree=257799744/264257624 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=42068 CPUtime=0.08 cores=0-31
/proc/30584/stat : 30584 (claspmt) R 30582 30584 30554 0 -1 4202496 6556 0 0 0 7 1 0 0 21 0 1 0 29894372 43077632 5622 270582939648 4194304 4964800 140736716360800 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/30584/statm: 10517 5622 383 189 0 5391 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 42068

[startup+0.100682 s]
/proc/loadavg: 19.19 28.88 30.98 1/412 30584
/proc/meminfo: memFree=257799744/264257624 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=42624 CPUtime=0.09 cores=0-31
/proc/30584/stat : 30584 (claspmt) R 30582 30584 30554 0 -1 4202496 6766 0 0 0 8 1 0 0 21 0 1 0 29894372 43646976 5751 270582939648 4194304 4964800 140736716360800 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/30584/statm: 10656 5752 383 189 0 5530 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42624

[startup+0.300693 s]
/proc/loadavg: 19.19 28.88 30.98 1/412 30584
/proc/meminfo: memFree=257799744/264257624 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=58664 CPUtime=0.29 cores=0-31
/proc/30584/stat : 30584 (claspmt) R 30582 30584 30554 0 -1 4202496 12710 0 0 0 26 3 0 0 22 0 1 0 29894372 60071936 9750 270582939648 4194304 4964800 140736716360800 18446744073709551615 4617330 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/30584/statm: 14666 9750 396 189 0 9540 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58664

[startup+0.700702 s]
/proc/loadavg: 19.19 28.88 30.98 1/412 30584
/proc/meminfo: memFree=257799744/264257624 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=71268 CPUtime=0.69 cores=0-31
/proc/30584/stat : 30584 (claspmt) R 30582 30584 30554 0 -1 4202496 15731 0 0 0 65 4 0 0 23 0 1 0 29894372 72978432 12771 270582939648 4194304 4964800 140736716360800 18446744073709551615 4600366 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/30584/statm: 17817 12771 401 189 0 12691 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71268

[startup+1.50084 s]
/proc/loadavg: 19.19 28.88 30.98 2/413 30585
/proc/meminfo: memFree=257744924/264257624 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=559372 CPUtime=5.44 cores=0-31
/proc/30584/stat : 30584 (claspmt) S 30582 30584 30554 0 -1 4202496 53428 0 0 0 143 401 0 0 18 0 32 0 29894372 572796928 38360 270582939648 4194304 4964800 140736716360800 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/30584/statm: 139843 38373 428 189 0 134192 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 559372

[startup+3.10273 s]
/proc/loadavg: 20.37 28.97 31.00 3/444 30616
/proc/meminfo: memFree=257440968/264257624 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=2113256 CPUtime=15.09 cores=0-31
/proc/30584/stat : 30584 (claspmt) R 30582 30584 30554 0 -1 4202496 144858 0 0 0 498 1011 0 0 18 0 32 0 29894372 2163974144 116179 270582939648 4194304 4964800 140736716360800 18446744073709551615 258650623218 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/30584/statm: 528314 116181 450 189 0 522663 0
[pid=30584/tid=30586] ppid=30582 vsize=2113256 CPUtime=0.31 cores=0-31
/proc/30584/task/30586/stat : 30586 (claspmt) R 30582 30584 30554 0 -1 4202560 3596 0 0 0 4 27 0 0 18 0 32 0 29894506 2163974144 116181 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30584/tid=30587] ppid=30582 vsize=2113256 CPUtime=0.42 cores=0-31
/proc/30584/task/30587/stat : 30587 (claspmt) S 30582 30584 30554 0 -1 4202560 4435 0 0 0 6 36 0 0 18 0 32 0 29894506 2163974144 116181 270582939648 4194304 4964800 140736716360800 18446744073709551615 258662772457 0 0 4096 18946 18446604501519965664 0 0 -1 2 0 0 0
[pid=30584/tid=30588] ppid=30582 vsize=2113256 CPUtime=0.41 cores=0-31
/proc/30584/task/30588/stat : 30588 (claspmt) S 30582 30584 30554 0 -1 4202560 4447 0 0 0 6 35 0 0 18 0 32 0 29894506 2163974144 116182 270582939648 4194304 4964800 140736716360800 18446744073709551615 258662772457 0 0 4096 18946 18446604503198096864 0 0 -1 3 0 0 0
[pid=30584/tid=30589] ppid=30582 vsize=2113256 CPUtime=0.36 cores=0-31
/proc/30584/task/30589/stat : 30589 (claspmt) R 30582 30584 30554 0 -1 4202560 3570 0 0 0 4 32 0 0 16 0 32 0 29894506 2163974144 116183 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=30584/tid=30590] ppid=30582 vsize=2113256 CPUtime=0.88 cores=0-31
/proc/30584/task/30590/stat : 30590 (claspmt) S 30582 30584 30554 0 -1 4202560 4338 0 0 0 53 35 0 0 18 0 32 0 29894506 2163974144 116183 270582939648 4194304 4964800 140736716360800 18446744073709551615 258662772457 0 0 4096 18946 18446604499307478496 0 0 -1 25 0 0 0
[pid=30584/tid=30591] ppid=30582 vsize=2113256 CPUtime=0.39 cores=0-31
/proc/30584/task/30591/stat : 30591 (claspmt) R 30582 30584 30554 0 -1 4202560 4470 0 0 0 6 33 0 0 15 0 32 0 29894506 2163974144 116184 270582939648 4194304 4964800 140736716360800 18446744073709551615 4342206 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30584/tid=30592] ppid=30582 vsize=2113256 CPUtime=0.39 cores=0-31
/proc/30584/task/30592/stat : 30592 (claspmt) R 30582 30584 30554 0 -1 4202560 4091 0 0 0 6 33 0 0 15 0 32 0 29894506 2163974144 116185 270582939648 4194304 4964800 140736716360800 18446744073709551615 4342206 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30584/tid=30593] ppid=30582 vsize=2113256 CPUtime=0.33 cores=0-31
/proc/30584/task/30593/stat : 30593 (claspmt) R 30582 30584 30554 0 -1 4202560 3666 0 0 0 3 30 0 0 16 0 32 0 29894506 2163974144 116186 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=30584/tid=30594] ppid=30582 vsize=2113256 CPUtime=0.25 cores=0-31
/proc/30584/task/30594/stat : 30594 (claspmt) R 30582 30584 30554 0 -1 4202560 3612 0 0 0 3 22 0 0 15 0 32 0 29894506 2163974144 116186 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370229 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=30584/tid=30595] ppid=30582 vsize=2113256 CPUtime=0.39 cores=0-31
/proc/30584/task/30595/stat : 30595 (claspmt) R 30582 30584 30554 0 -1 4202560 4497 0 0 0 6 33 0 0 15 0 32 0 29894506 2163974144 116186 270582939648 4194304 4964800 140736716360800 18446744073709551615 4342206 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30584/tid=30596] ppid=30582 vsize=2113256 CPUtime=0.39 cores=0-31
/proc/30584/task/30596/stat : 30596 (claspmt) R 30582 30584 30554 0 -1 4202560 4597 0 0 0 6 33 0 0 15 0 32 0 29894506 2163974144 116186 270582939648 4194304 4964800 140736716360800 18446744073709551615 4342206 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=30584/tid=30597] ppid=30582 vsize=2113256 CPUtime=0.4 cores=0-31
/proc/30584/task/30597/stat : 30597 (claspmt) R 30582 30584 30554 0 -1 4202560 3697 0 0 0 4 36 0 0 15 0 32 0 29894506 2163974144 116186 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370381 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30584/tid=30598] ppid=30582 vsize=2113256 CPUtime=0.87 cores=0-31
/proc/30584/task/30598/stat : 30598 (claspmt) R 30582 30584 30554 0 -1 4202560 4252 0 0 0 54 33 0 0 18 0 32 0 29894506 2163974144 116186 270582939648 4194304 4964800 140736716360800 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30584/tid=30599] ppid=30582 vsize=2113256 CPUtime=0.39 cores=0-31
/proc/30584/task/30599/stat : 30599 (claspmt) R 30582 30584 30554 0 -1 4202560 4462 0 0 0 6 33 0 0 15 0 32 0 29894506 2163974144 116187 270582939648 4194304 4964800 140736716360800 18446744073709551615 4654250 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=30584/tid=30600] ppid=30582 vsize=2113256 CPUtime=0.42 cores=0-31
/proc/30584/task/30600/stat : 30600 (claspmt) R 30582 30584 30554 0 -1 4202560 4176 0 0 0 7 35 0 0 15 0 32 0 29894506 2163974144 116188 270582939648 4194304 4964800 140736716360800 18446744073709551615 4467677 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30584/tid=30601] ppid=30582 vsize=2113256 CPUtime=0.36 cores=0-31
/proc/30584/task/30601/stat : 30601 (claspmt) R 30582 30584 30554 0 -1 4202560 3552 0 0 0 4 32 0 0 16 0 32 0 29894506 2163974144 116188 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370266 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30584/tid=30602] ppid=30582 vsize=2113256 CPUtime=0.34 cores=0-31
/proc/30584/task/30602/stat : 30602 (claspmt) R 30582 30584 30554 0 -1 4202560 3589 0 0 0 4 30 0 0 15 0 32 0 29894506 2163974144 116189 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370288 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=30584/tid=30603] ppid=30582 vsize=2113256 CPUtime=0.28 cores=0-31
/proc/30584/task/30603/stat : 30603 (claspmt) R 30582 30584 30554 0 -1 4202560 3956 0 0 0 8 20 0 0 18 0 32 0 29894507 2163974144 116190 270582939648 4194304 4964800 140736716360800 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=30584/tid=30604] ppid=30582 vsize=2113256 CPUtime=0.37 cores=0-31
/proc/30584/task/30604/stat : 30604 (claspmt) R 30582 30584 30554 0 -1 4202560 4545 0 0 0 5 32 0 0 15 0 32 0 29894507 2163974144 116193 270582939648 4194304 4964800 140736716360800 18446744073709551615 4342206 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=30584/tid=30605] ppid=30582 vsize=2113256 CPUtime=0.33 cores=0-31
/proc/30584/task/30605/stat : 30605 (claspmt) R 30582 30584 30554 0 -1 4202560 3571 0 0 0 3 30 0 0 18 0 32 0 29894507 2163974144 116193 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=30584/tid=30606] ppid=30582 vsize=2113256 CPUtime=0.87 cores=0-31
/proc/30584/task/30606/stat : 30606 (claspmt) R 30582 30584 30554 0 -1 4202560 4135 0 0 0 56 31 0 0 17 0 32 0 29894507 2163974144 116195 270582939648 4194304 4964800 140736716360800 18446744073709551615 258662772457 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30584/tid=30607] ppid=30582 vsize=2113256 CPUtime=0.37 cores=0-31
/proc/30584/task/30607/stat : 30607 (claspmt) R 30582 30584 30554 0 -1 4202560 4322 0 0 0 6 31 0 0 16 0 32 0 29894507 2163974144 116195 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30584/tid=30608] ppid=30582 vsize=2113256 CPUtime=0.4 cores=0-31
/proc/30584/task/30608/stat : 30608 (claspmt) R 30582 30584 30554 0 -1 4202560 4238 0 0 0 8 32 0 0 15 0 32 0 29894507 2163974144 116195 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30584/tid=30609] ppid=30582 vsize=2113256 CPUtime=0.33 cores=0-31
/proc/30584/task/30609/stat : 30609 (claspmt) R 30582 30584 30554 0 -1 4202560 3571 0 0 0 3 30 0 0 16 0 32 0 29894507 2163974144 116196 270582939648 4194304 4964800 140736716360800 18446744073709551615 4652165 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=30584/tid=30610] ppid=30582 vsize=2113256 CPUtime=0.35 cores=0-31
/proc/30584/task/30610/stat : 30610 (claspmt) R 30582 30584 30554 0 -1 4202560 3655 0 0 0 2 33 0 0 15 0 32 0 29894507 2163974144 116197 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=30584/tid=30611] ppid=30582 vsize=2113256 CPUtime=0.41 cores=0-31
/proc/30584/task/30611/stat : 30611 (claspmt) R 30582 30584 30554 0 -1 4202560 4490 0 0 0 5 36 0 0 15 0 32 0 29894507 2163974144 116198 270582939648 4194304 4964800 140736716360800 18446744073709551615 4362810 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=30584/tid=30612] ppid=30582 vsize=2113256 CPUtime=0.39 cores=0-31
/proc/30584/task/30612/stat : 30612 (claspmt) R 30582 30584 30554 0 -1 4202560 4557 0 0 0 6 33 0 0 15 0 32 0 29894507 2163974144 116199 270582939648 4194304 4964800 140736716360800 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=30584/tid=30613] ppid=30582 vsize=2113256 CPUtime=0.35 cores=0-31
/proc/30584/task/30613/stat : 30613 (claspmt) R 30582 30584 30554 0 -1 4202560 3556 0 0 0 2 33 0 0 15 0 32 0 29894507 2163974144 116200 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30584/tid=30614] ppid=30582 vsize=2113256 CPUtime=0.9 cores=0-31
/proc/30584/task/30614/stat : 30614 (claspmt) S 30582 30584 30554 0 -1 4202560 4013 0 0 0 57 33 0 0 18 0 32 0 29894507 2163974144 116201 270582939648 4194304 4964800 140736716360800 18446744073709551615 258662772457 0 0 4096 18946 18446744071566931664 0 0 -1 28 0 0 0
[pid=30584/tid=30615] ppid=30582 vsize=2113256 CPUtime=0.38 cores=0-31
/proc/30584/task/30615/stat : 30615 (claspmt) R 30582 30584 30554 0 -1 4202560 4635 0 0 0 6 32 0 0 15 0 32 0 29894507 2163974144 116202 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=30584/tid=30616] ppid=30582 vsize=2113256 CPUtime=0.39 cores=0-31
/proc/30584/task/30616/stat : 30616 (claspmt) R 30582 30584 30554 0 -1 4202560 4348 0 0 0 7 32 0 0 15 0 32 0 29894507 2163974144 116202 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 15.09
Current children cumulated vsize (KiB) 2113256

[startup+6.30179 s]
/proc/loadavg: 20.37 28.97 31.00 33/444 30616
/proc/meminfo: memFree=257325360/264257624 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=2113256 CPUtime=116.92 cores=0-31
/proc/30584/stat : 30584 (claspmt) R 30582 30584 30554 0 -1 4202496 150002 0 0 0 10661 1031 0 0 25 0 32 0 29894372 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370264 0 0 4096 18946 18446744073709551615 0 0 17 11 0 0 0
/proc/30584/statm: 528314 121323 461 189 0 522663 0
[pid=30584/tid=30586] ppid=30582 vsize=2113256 CPUtime=3.51 cores=0-31
/proc/30584/task/30586/stat : 30586 (claspmt) R 30582 30584 30554 0 -1 4202560 3759 0 0 0 323 28 0 0 25 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30584/tid=30587] ppid=30582 vsize=2113256 CPUtime=3.61 cores=0-31
/proc/30584/task/30587/stat : 30587 (claspmt) R 30582 30584 30554 0 -1 4202560 4609 0 0 0 325 36 0 0 19 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4684732 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30584/tid=30588] ppid=30582 vsize=2113256 CPUtime=3.61 cores=0-31
/proc/30584/task/30588/stat : 30588 (claspmt) R 30582 30584 30554 0 -1 4202560 4835 0 0 0 325 36 0 0 20 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30584/tid=30589] ppid=30582 vsize=2113256 CPUtime=3.55 cores=0-31
/proc/30584/task/30589/stat : 30589 (claspmt) R 30582 30584 30554 0 -1 4202560 3672 0 0 0 323 32 0 0 18 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=30584/tid=30590] ppid=30582 vsize=2113256 CPUtime=4.07 cores=0-31
/proc/30584/task/30590/stat : 30590 (claspmt) R 30582 30584 30554 0 -1 4202560 4357 0 0 0 371 36 0 0 25 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30584/tid=30591] ppid=30582 vsize=2113256 CPUtime=3.59 cores=0-31
/proc/30584/task/30591/stat : 30591 (claspmt) R 30582 30584 30554 0 -1 4202560 4643 0 0 0 325 34 0 0 19 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669973 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30584/tid=30592] ppid=30582 vsize=2113256 CPUtime=3.58 cores=0-31
/proc/30584/task/30592/stat : 30592 (claspmt) R 30582 30584 30554 0 -1 4202560 4388 0 0 0 324 34 0 0 20 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30584/tid=30593] ppid=30582 vsize=2113256 CPUtime=3.51 cores=0-31
/proc/30584/task/30593/stat : 30593 (claspmt) R 30582 30584 30554 0 -1 4202560 3750 0 0 0 321 30 0 0 19 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370269 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=30584/tid=30594] ppid=30582 vsize=2113256 CPUtime=3.44 cores=0-31
/proc/30584/task/30594/stat : 30594 (claspmt) R 30582 30584 30554 0 -1 4202560 3723 0 0 0 322 22 0 0 18 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30584/tid=30595] ppid=30582 vsize=2113256 CPUtime=3.59 cores=0-31
/proc/30584/task/30595/stat : 30595 (claspmt) R 30582 30584 30554 0 -1 4202560 4666 0 0 0 325 34 0 0 20 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669357 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30584/tid=30596] ppid=30582 vsize=2113256 CPUtime=3.59 cores=0-31
/proc/30584/task/30596/stat : 30596 (claspmt) R 30582 30584 30554 0 -1 4202560 4646 0 0 0 325 34 0 0 20 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=30584/tid=30597] ppid=30582 vsize=2113256 CPUtime=3.59 cores=0-31
/proc/30584/task/30597/stat : 30597 (claspmt) R 30582 30584 30554 0 -1 4202560 3835 0 0 0 322 37 0 0 19 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4371923 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30584/tid=30598] ppid=30582 vsize=2113256 CPUtime=4.07 cores=0-31
/proc/30584/task/30598/stat : 30598 (claspmt) R 30582 30584 30554 0 -1 4202560 4269 0 0 0 374 33 0 0 25 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670282 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30584/tid=30599] ppid=30582 vsize=2113256 CPUtime=3.58 cores=0-31
/proc/30584/task/30599/stat : 30599 (claspmt) R 30582 30584 30554 0 -1 4202560 4698 0 0 0 324 34 0 0 18 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=30584/tid=30600] ppid=30582 vsize=2113256 CPUtime=3.61 cores=0-31
/proc/30584/task/30600/stat : 30600 (claspmt) R 30582 30584 30554 0 -1 4202560 4465 0 0 0 325 36 0 0 19 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30584/tid=30601] ppid=30582 vsize=2113256 CPUtime=3.55 cores=0-31
/proc/30584/task/30601/stat : 30601 (claspmt) R 30582 30584 30554 0 -1 4202560 3616 0 0 0 323 32 0 0 20 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30584/tid=30602] ppid=30582 vsize=2113256 CPUtime=3.52 cores=0-31
/proc/30584/task/30602/stat : 30602 (claspmt) R 30582 30584 30554 0 -1 4202560 3721 0 0 0 322 30 0 0 20 0 32 0 29894506 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4372237 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=30584/tid=30603] ppid=30582 vsize=2113256 CPUtime=3.48 cores=0-31
/proc/30584/task/30603/stat : 30603 (claspmt) R 30582 30584 30554 0 -1 4202560 4263 0 0 0 326 22 0 0 25 0 32 0 29894507 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=30584/tid=30604] ppid=30582 vsize=2113256 CPUtime=3.56 cores=0-31
/proc/30584/task/30604/stat : 30604 (claspmt) R 30582 30584 30554 0 -1 4202560 4913 0 0 0 323 33 0 0 20 0 32 0 29894507 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669547 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=30584/tid=30605] ppid=30582 vsize=2113256 CPUtime=3.47 cores=0-31
/proc/30584/task/30605/stat : 30605 (claspmt) R 30582 30584 30554 0 -1 4202560 3657 0 0 0 316 31 0 0 25 0 32 0 29894507 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=30584/tid=30606] ppid=30582 vsize=2113256 CPUtime=3.95 cores=0-31
/proc/30584/task/30606/stat : 30606 (claspmt) R 30582 30584 30554 0 -1 4202560 4149 0 0 0 364 31 0 0 25 0 32 0 29894507 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670259 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=30584/tid=30607] ppid=30582 vsize=2113256 CPUtime=3.57 cores=0-31
/proc/30584/task/30607/stat : 30607 (claspmt) R 30582 30584 30554 0 -1 4202560 4459 0 0 0 325 32 0 0 20 0 32 0 29894507 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30584/tid=30608] ppid=30582 vsize=2113256 CPUtime=3.59 cores=0-31
/proc/30584/task/30608/stat : 30608 (claspmt) R 30582 30584 30554 0 -1 4202560 4385 0 0 0 326 33 0 0 20 0 32 0 29894507 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30584/tid=30609] ppid=30582 vsize=2113256 CPUtime=3.52 cores=0-31
/proc/30584/task/30609/stat : 30609 (claspmt) R 30582 30584 30554 0 -1 4202560 3635 0 0 0 322 30 0 0 20 0 32 0 29894507 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=30584/tid=30610] ppid=30582 vsize=2113256 CPUtime=3.54 cores=0-31
/proc/30584/task/30610/stat : 30610 (claspmt) R 30582 30584 30554 0 -1 4202560 3826 0 0 0 321 33 0 0 20 0 32 0 29894507 2163974144 121323 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 28 0 0 0

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

/proc/30584/task/30586/stat : 30586 (claspmt) R 30582 30584 30554 0 -1 4202560 7147 0 0 0 44778 42 0 0 25 0 32 0 29894506 2268475392 400213 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669417 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30584/tid=30587] ppid=30582 vsize=2215308 CPUtime=448.14 cores=0-31
/proc/30584/task/30587/stat : 30587 (claspmt) R 30582 30584 30554 0 -1 4202560 23753 0 0 0 44703 111 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=30584/tid=30588] ppid=30582 vsize=2215308 CPUtime=447.98 cores=0-31
/proc/30584/task/30588/stat : 30588 (claspmt) R 30582 30584 30554 0 -1 4202560 11892 0 0 0 44733 65 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670678 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30584/tid=30589] ppid=30582 vsize=2215308 CPUtime=448.22 cores=0-31
/proc/30584/task/30589/stat : 30589 (claspmt) R 30582 30584 30554 0 -1 4202560 15617 0 0 0 44745 77 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=30584/tid=30590] ppid=30582 vsize=2215308 CPUtime=448.77 cores=0-31
/proc/30584/task/30590/stat : 30590 (claspmt) R 30582 30584 30554 0 -1 4202560 12515 0 0 0 44731 146 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30584/tid=30591] ppid=30582 vsize=2215308 CPUtime=448.28 cores=0-31
/proc/30584/task/30591/stat : 30591 (claspmt) R 30582 30584 30554 0 -1 4202560 10856 0 0 0 44770 58 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30584/tid=30592] ppid=30582 vsize=2215308 CPUtime=448.25 cores=0-31
/proc/30584/task/30592/stat : 30592 (claspmt) R 30582 30584 30554 0 -1 4202560 16953 0 0 0 44739 86 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30584/tid=30593] ppid=30582 vsize=2215308 CPUtime=448.22 cores=0-31
/proc/30584/task/30593/stat : 30593 (claspmt) R 30582 30584 30554 0 -1 4202560 7581 0 0 0 44774 48 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=30584/tid=30594] ppid=30582 vsize=2215308 CPUtime=448.14 cores=0-31
/proc/30584/task/30594/stat : 30594 (claspmt) R 30582 30584 30554 0 -1 4202560 7290 0 0 0 44776 38 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30584/tid=30595] ppid=30582 vsize=2215308 CPUtime=448.26 cores=0-31
/proc/30584/task/30595/stat : 30595 (claspmt) R 30582 30584 30554 0 -1 4202560 24244 0 0 0 44723 103 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30584/tid=30596] ppid=30582 vsize=2215308 CPUtime=448.21 cores=0-31
/proc/30584/task/30596/stat : 30596 (claspmt) R 30582 30584 30554 0 -1 4202560 9966 0 0 0 44769 52 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30584/tid=30597] ppid=30582 vsize=2215308 CPUtime=448.12 cores=0-31
/proc/30584/task/30597/stat : 30597 (claspmt) R 30582 30584 30554 0 -1 4202560 11874 0 0 0 44742 70 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=30584/tid=30598] ppid=30582 vsize=2215308 CPUtime=448.77 cores=0-31
/proc/30584/task/30598/stat : 30598 (claspmt) R 30582 30584 30554 0 -1 4202560 9860 0 0 0 44825 52 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30584/tid=30599] ppid=30582 vsize=2215308 CPUtime=448.23 cores=0-31
/proc/30584/task/30599/stat : 30599 (claspmt) R 30582 30584 30554 0 -1 4202560 10910 0 0 0 44764 59 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30584/tid=30600] ppid=30582 vsize=2215308 CPUtime=448.28 cores=0-31
/proc/30584/task/30600/stat : 30600 (claspmt) R 30582 30584 30554 0 -1 4202560 23148 0 0 0 44722 106 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669591 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30584/tid=30601] ppid=30582 vsize=2215308 CPUtime=448.25 cores=0-31
/proc/30584/task/30601/stat : 30601 (claspmt) R 30582 30584 30554 0 -1 4202560 7821 0 0 0 44774 51 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670674 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30584/tid=30602] ppid=30582 vsize=2215308 CPUtime=448.12 cores=0-31
/proc/30584/task/30602/stat : 30602 (claspmt) R 30582 30584 30554 0 -1 4202560 7022 0 0 0 44771 41 0 0 25 0 32 0 29894506 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=30584/tid=30603] ppid=30582 vsize=2215308 CPUtime=448.04 cores=0-31
/proc/30584/task/30603/stat : 30603 (claspmt) R 30582 30584 30554 0 -1 4202560 23847 0 0 0 44708 96 0 0 25 0 32 0 29894507 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=30584/tid=30604] ppid=30582 vsize=2215308 CPUtime=448.01 cores=0-31
/proc/30584/task/30604/stat : 30604 (claspmt) R 30582 30584 30554 0 -1 4202560 11694 0 0 0 44741 60 0 0 25 0 32 0 29894507 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30584/tid=30605] ppid=30582 vsize=2215308 CPUtime=447.62 cores=0-31
/proc/30584/task/30605/stat : 30605 (claspmt) R 30582 30584 30554 0 -1 4202560 13854 0 0 0 44660 102 0 0 25 0 32 0 29894507 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=30584/tid=30606] ppid=30582 vsize=2215308 CPUtime=436.11 cores=0-31
/proc/30584/task/30606/stat : 30606 (claspmt) R 30582 30584 30554 0 -1 4202560 7034 0 0 0 43570 41 0 0 25 0 32 0 29894507 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669476 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=30584/tid=30607] ppid=30582 vsize=2215308 CPUtime=448.16 cores=0-31
/proc/30584/task/30607/stat : 30607 (claspmt) R 30582 30584 30554 0 -1 4202560 10107 0 0 0 44762 54 0 0 25 0 32 0 29894507 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4361247 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=30584/tid=30608] ppid=30582 vsize=2215308 CPUtime=448.08 cores=0-31
/proc/30584/task/30608/stat : 30608 (claspmt) R 30582 30584 30554 0 -1 4202560 20162 0 0 0 44720 88 0 0 25 0 32 0 29894507 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669434 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30584/tid=30609] ppid=30582 vsize=2215308 CPUtime=448.14 cores=0-31
/proc/30584/task/30609/stat : 30609 (claspmt) R 30582 30584 30554 0 -1 4202560 6225 0 0 0 44773 41 0 0 25 0 32 0 29894507 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=30584/tid=30610] ppid=30582 vsize=2215308 CPUtime=448.24 cores=0-31
/proc/30584/task/30610/stat : 30610 (claspmt) R 30582 30584 30554 0 -1 4202560 6555 0 0 0 44778 46 0 0 25 0 32 0 29894507 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=30584/tid=30611] ppid=30582 vsize=2215308 CPUtime=448.19 cores=0-31
/proc/30584/task/30611/stat : 30611 (claspmt) R 30582 30584 30554 0 -1 4202560 22779 0 0 0 44716 103 0 0 25 0 32 0 29894507 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30584/tid=30612] ppid=30582 vsize=2215308 CPUtime=447.83 cores=0-31
/proc/30584/task/30612/stat : 30612 (claspmt) R 30582 30584 30554 0 -1 4202560 10233 0 0 0 44730 53 0 0 25 0 32 0 29894507 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=30584/tid=30613] ppid=30582 vsize=2215308 CPUtime=448.21 cores=0-31
/proc/30584/task/30613/stat : 30613 (claspmt) R 30582 30584 30554 0 -1 4202560 11601 0 0 0 44755 66 0 0 25 0 32 0 29894507 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=30584/tid=30614] ppid=30582 vsize=2215308 CPUtime=448.77 cores=0-31
/proc/30584/task/30614/stat : 30614 (claspmt) R 30582 30584 30554 0 -1 4202560 9077 0 0 0 44826 51 0 0 25 0 32 0 29894507 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30584/tid=30615] ppid=30582 vsize=2215308 CPUtime=448.25 cores=0-31
/proc/30584/task/30615/stat : 30615 (claspmt) R 30582 30584 30554 0 -1 4202560 11745 0 0 0 44764 61 0 0 25 0 32 0 29894507 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=30584/tid=30616] ppid=30582 vsize=2215308 CPUtime=448.18 cores=0-31
/proc/30584/task/30616/stat : 30616 (claspmt) R 30582 30584 30554 0 -1 4202560 24402 0 0 0 44705 113 0 0 25 0 32 0 29894507 2268475392 400214 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 14331.7
Current children cumulated vsize (KiB) 2215308

[startup+454.322 s]
/proc/loadavg: 32.05 31.44 31.45 33/444 30628
/proc/meminfo: memFree=260708284/264257624 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=2215440 CPUtime=14434.5 cores=0-31
/proc/30584/stat : 30584 (claspmt) R 30582 30584 30554 0 -1 4202496 429868 0 0 0 1441226 2228 0 0 25 0 32 0 29894372 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669552 0 0 4096 18946 18446744073709551615 0 0 17 11 0 0 0
/proc/30584/statm: 553860 401081 463 189 0 548209 0
[pid=30584/tid=30586] ppid=30582 vsize=2215440 CPUtime=451.42 cores=0-31
/proc/30584/task/30586/stat : 30586 (claspmt) R 30582 30584 30554 0 -1 4202560 7149 0 0 0 45099 43 0 0 25 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4644988 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30584/tid=30587] ppid=30582 vsize=2215440 CPUtime=451.36 cores=0-31
/proc/30584/task/30587/stat : 30587 (claspmt) R 30582 30584 30554 0 -1 4202560 23799 0 0 0 45025 111 0 0 25 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=30584/tid=30588] ppid=30582 vsize=2215440 CPUtime=451.2 cores=0-31
/proc/30584/task/30588/stat : 30588 (claspmt) R 30582 30584 30554 0 -1 4202560 11895 0 0 0 45054 66 0 0 18 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30584/tid=30589] ppid=30582 vsize=2215440 CPUtime=451.44 cores=0-31
/proc/30584/task/30589/stat : 30589 (claspmt) R 30582 30584 30554 0 -1 4202560 15635 0 0 0 45067 77 0 0 25 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4336546 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=30584/tid=30590] ppid=30582 vsize=2215440 CPUtime=451.99 cores=0-31
/proc/30584/task/30590/stat : 30590 (claspmt) R 30582 30584 30554 0 -1 4202560 12548 0 0 0 45053 146 0 0 25 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30584/tid=30591] ppid=30582 vsize=2215440 CPUtime=451.49 cores=0-31
/proc/30584/task/30591/stat : 30591 (claspmt) R 30582 30584 30554 0 -1 4202560 10856 0 0 0 45091 58 0 0 25 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30584/tid=30592] ppid=30582 vsize=2215440 CPUtime=451.47 cores=0-31
/proc/30584/task/30592/stat : 30592 (claspmt) R 30582 30584 30554 0 -1 4202560 17214 0 0 0 45060 87 0 0 25 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30584/tid=30593] ppid=30582 vsize=2215440 CPUtime=451.43 cores=0-31
/proc/30584/task/30593/stat : 30593 (claspmt) R 30582 30584 30554 0 -1 4202560 7606 0 0 0 45095 48 0 0 25 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=30584/tid=30594] ppid=30582 vsize=2215440 CPUtime=451.36 cores=0-31
/proc/30584/task/30594/stat : 30594 (claspmt) R 30582 30584 30554 0 -1 4202560 7290 0 0 0 45098 38 0 0 25 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30584/tid=30595] ppid=30582 vsize=2215440 CPUtime=451.48 cores=0-31
/proc/30584/task/30595/stat : 30595 (claspmt) R 30582 30584 30554 0 -1 4202560 24248 0 0 0 45045 103 0 0 25 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30584/tid=30596] ppid=30582 vsize=2215440 CPUtime=451.42 cores=0-31
/proc/30584/task/30596/stat : 30596 (claspmt) R 30582 30584 30554 0 -1 4202560 9966 0 0 0 45089 53 0 0 18 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30584/tid=30597] ppid=30582 vsize=2215440 CPUtime=451.34 cores=0-31
/proc/30584/task/30597/stat : 30597 (claspmt) R 30582 30584 30554 0 -1 4202560 11874 0 0 0 45063 71 0 0 25 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=30584/tid=30598] ppid=30582 vsize=2215440 CPUtime=451.99 cores=0-31
/proc/30584/task/30598/stat : 30598 (claspmt) R 30582 30584 30554 0 -1 4202560 10005 0 0 0 45145 54 0 0 18 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30584/tid=30599] ppid=30582 vsize=2215440 CPUtime=451.45 cores=0-31
/proc/30584/task/30599/stat : 30599 (claspmt) R 30582 30584 30554 0 -1 4202560 10910 0 0 0 45086 59 0 0 25 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30584/tid=30600] ppid=30582 vsize=2215440 CPUtime=451.5 cores=0-31
/proc/30584/task/30600/stat : 30600 (claspmt) R 30582 30584 30554 0 -1 4202560 23160 0 0 0 45044 106 0 0 25 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30584/tid=30601] ppid=30582 vsize=2215440 CPUtime=451.47 cores=0-31
/proc/30584/task/30601/stat : 30601 (claspmt) R 30582 30584 30554 0 -1 4202560 7821 0 0 0 45095 52 0 0 25 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669386 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30584/tid=30602] ppid=30582 vsize=2215440 CPUtime=451.34 cores=0-31
/proc/30584/task/30602/stat : 30602 (claspmt) R 30582 30584 30554 0 -1 4202560 7022 0 0 0 45093 41 0 0 25 0 32 0 29894506 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=30584/tid=30603] ppid=30582 vsize=2215440 CPUtime=451.26 cores=0-31
/proc/30584/task/30603/stat : 30603 (claspmt) R 30582 30584 30554 0 -1 4202560 23850 0 0 0 45029 97 0 0 18 0 32 0 29894507 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 258662782469 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=30584/tid=30604] ppid=30582 vsize=2215440 CPUtime=451.23 cores=0-31
/proc/30584/task/30604/stat : 30604 (claspmt) R 30582 30584 30554 0 -1 4202560 11694 0 0 0 45063 60 0 0 25 0 32 0 29894507 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30584/tid=30605] ppid=30582 vsize=2215440 CPUtime=450.84 cores=0-31
/proc/30584/task/30605/stat : 30605 (claspmt) R 30582 30584 30554 0 -1 4202560 13854 0 0 0 44982 102 0 0 25 0 32 0 29894507 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=30584/tid=30606] ppid=30582 vsize=2215440 CPUtime=439.23 cores=0-31
/proc/30584/task/30606/stat : 30606 (claspmt) R 30582 30584 30554 0 -1 4202560 7034 0 0 0 43880 43 0 0 18 0 32 0 29894507 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=30584/tid=30607] ppid=30582 vsize=2215440 CPUtime=451.38 cores=0-31
/proc/30584/task/30607/stat : 30607 (claspmt) R 30582 30584 30554 0 -1 4202560 10107 0 0 0 45084 54 0 0 25 0 32 0 29894507 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=30584/tid=30608] ppid=30582 vsize=2215440 CPUtime=451.29 cores=0-31
/proc/30584/task/30608/stat : 30608 (claspmt) R 30582 30584 30554 0 -1 4202560 20162 0 0 0 45041 88 0 0 25 0 32 0 29894507 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30584/tid=30609] ppid=30582 vsize=2215440 CPUtime=451.36 cores=0-31
/proc/30584/task/30609/stat : 30609 (claspmt) R 30582 30584 30554 0 -1 4202560 6225 0 0 0 45095 41 0 0 25 0 32 0 29894507 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=30584/tid=30610] ppid=30582 vsize=2215440 CPUtime=451.46 cores=0-31
/proc/30584/task/30610/stat : 30610 (claspmt) R 30582 30584 30554 0 -1 4202560 6623 0 0 0 45100 46 0 0 25 0 32 0 29894507 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=30584/tid=30611] ppid=30582 vsize=2215440 CPUtime=451.4 cores=0-31
/proc/30584/task/30611/stat : 30611 (claspmt) R 30582 30584 30554 0 -1 4202560 22808 0 0 0 45037 103 0 0 25 0 32 0 29894507 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 258662782469 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30584/tid=30612] ppid=30582 vsize=2215440 CPUtime=451.05 cores=0-31
/proc/30584/task/30612/stat : 30612 (claspmt) R 30582 30584 30554 0 -1 4202560 10233 0 0 0 45052 53 0 0 25 0 32 0 29894507 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=30584/tid=30613] ppid=30582 vsize=2215440 CPUtime=451.42 cores=0-31
/proc/30584/task/30613/stat : 30613 (claspmt) R 30582 30584 30554 0 -1 4202560 11601 0 0 0 45075 67 0 0 18 0 32 0 29894507 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4644832 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=30584/tid=30614] ppid=30582 vsize=2215440 CPUtime=451.99 cores=0-31
/proc/30584/task/30614/stat : 30614 (claspmt) R 30582 30584 30554 0 -1 4202560 9293 0 0 0 45147 52 0 0 25 0 32 0 29894507 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30584/tid=30615] ppid=30582 vsize=2215440 CPUtime=451.47 cores=0-31
/proc/30584/task/30615/stat : 30615 (claspmt) R 30582 30584 30554 0 -1 4202560 11747 0 0 0 45086 61 0 0 25 0 32 0 29894507 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=30584/tid=30616] ppid=30582 vsize=2215440 CPUtime=451.39 cores=0-31
/proc/30584/task/30616/stat : 30616 (claspmt) R 30582 30584 30554 0 -1 4202560 24402 0 0 0 45026 113 0 0 25 0 32 0 29894507 2268610560 401081 270582939648 4194304 4964800 140736716360800 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 14434.5
Current children cumulated vsize (KiB) 2215440

[startup+455.101 s]
/proc/loadavg: 32.05 31.44 31.45 33/444 30628
/proc/meminfo: memFree=260708284/264257624 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=2103592 CPUtime=14444.8 cores=0-31
/proc/30584/stat : 30584 (claspmt) R 30582 30584 30554 0 -1 4202496 429879 0 0 0 1442206 2279 0 0 25 0 1 0 29894372 2154078208 395468 270582939648 4194304 4964800 140736716360800 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 11 0 0 0
/proc/30584/statm: 525898 395468 474 189 0 520247 0
Current children cumulated CPU time (s) 14444.8
Current children cumulated vsize (KiB) 2103592

[startup+455.901 s]
/proc/loadavg: 32.05 31.44 31.45 2/413 30628
/proc/meminfo: memFree=260758996/264257624 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=2001512 CPUtime=14445.6 cores=0-31
/proc/30584/stat : 30584 (claspmt) R 30582 30584 30554 0 -1 4202496 429879 0 0 0 1442284 2280 0 0 25 0 1 0 29894372 2049548288 367571 270582939648 4194304 4964800 140736716360800 18446744073709551615 258650604495 0 0 4096 18946 0 0 0 17 11 0 0 0
/proc/30584/statm: 500378 367571 474 189 0 494727 0
Current children cumulated CPU time (s) 14445.6
Current children cumulated vsize (KiB) 2001512

[startup+456.101 s]
/proc/loadavg: 32.05 31.44 31.45 2/413 30628
/proc/meminfo: memFree=260758996/264257624 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=1973672 CPUtime=14445.8 cores=0-31
/proc/30584/stat : 30584 (claspmt) R 30582 30584 30554 0 -1 4202496 429879 0 0 0 1442303 2281 0 0 25 0 1 0 29894372 2021040128 354838 270582939648 4194304 4964800 140736716360800 18446744073709551615 258650612756 0 0 4096 18946 0 0 0 17 11 0 0 0
/proc/30584/statm: 493418 354838 474 189 0 487767 0
Current children cumulated CPU time (s) 14445.8
Current children cumulated vsize (KiB) 1973672

[startup+456.201 s]
/proc/loadavg: 32.05 31.44 31.45 2/413 30628
/proc/meminfo: memFree=260758996/264257624 swapFree=67111528/67111528
[pid=30584] ppid=30582 vsize=1903496 CPUtime=14445.9 cores=0-31
/proc/30584/stat : 30584 (claspmt) R 30582 30584 30554 0 -1 4202496 429879 0 0 0 1442307 2287 0 0 25 0 1 0 29894372 1949179904 144294 270582939648 4194304 4964800 140736716360800 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 11 0 0 0
/proc/30584/statm: 475874 144294 474 189 0 470223 0
Current children cumulated CPU time (s) 14445.9
Current children cumulated vsize (KiB) 1903496

Child status: 20
Real time (s): 456.246
CPU time (s): 14446
CPU user time (s): 14423.1
CPU system time (s): 22.9215
CPU usage (%): 3166.27
Max. virtual memory (cumulated for all children) (KiB): 2215440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14423.1
system time used= 22.9215
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429880
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= 140592
involuntary context switches= 32227

runsolver used 2.6126 second user time and 10.3024 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-09 20:44:35
IDJOB=3472430
IDBENCH=82482
IDSOLVER=1961
FILE ID=node200/3472430-1307645074
RUNJOBID= node200-1307645074-30568
PBS_JOBID= 13547781
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-k45-pdtpmsgoodbakery-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-3472430-1307645074/watcher-3472430-1307645074 -o /tmp/evaluation-result-3472430-1307645074/solver-3472430-1307645074 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472430-1307645074.cnf

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

MD5SUM BENCH= 3fad4722cb319d6fee4192f2fe2c31ed
RANDOM SEED=915619515

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:      257801172 kB
Buffers:        243172 kB
Cached:        1403576 kB
SwapCached:          0 kB
Active:         264116 kB
Inactive:      5727352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      257801172 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7928 kB
Writeback:           0 kB
AnonPages:       62996 kB
Mapped:          14412 kB
Slab:           384272 kB
PageTables:       4236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   164896 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61736 MiB
End job on node200 at 2011-06-09 20:52:11