Trace number 3472434

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 1027.5 36.1952

General information on the benchmark

Nameapplication/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf
MD5SUM7eb9713591c46f87c512df513290fd7f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1027.5
Satisfiable
(Un)Satisfiability was proved
Number of variables115266
Number of clauses345359
Sum of the clauses size805835
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2230238
Number of clauses of size 3115119
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 ...645782/instance-3472434-1307645782.cnf
1.79/1.80	c Solving...
1027.40/36.17	s UNSATISFIABLE
1027.40/36.17	
1027.40/36.17	c Models        : 0     
1027.40/36.17	c Time          : 35.115s (Solving: 33.32s 1st Model: 0.00s Unsat: 33.32s)
1027.40/36.17	c CPU Time      : 1026.420s

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-3472434-1307645782/watcher-3472434-1307645782 -o /tmp/evaluation-result-3472434-1307645782/solver-3472434-1307645782 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472434-1307645782.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: 28.61 30.78 31.20 1/412 30900
/proc/meminfo: memFree=262293316/264257624 swapFree=67111528/67111528
[pid=30900] ppid=30898 vsize=35488 CPUtime=0.03 cores=0-31
/proc/30900/stat : 30900 (claspmt) R 30898 30900 30657 0 -1 4202496 2268 0 0 0 3 0 0 0 21 0 1 0 29965179 36339712 2197 270582939648 4194304 4964800 140736671301936 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30900/statm: 8872 2201 373 189 0 3746 0

[startup+0.061558 s]
/proc/loadavg: 28.61 30.78 31.20 1/412 30900
/proc/meminfo: memFree=262293316/264257624 swapFree=67111528/67111528
[pid=30900] ppid=30898 vsize=42248 CPUtime=0.05 cores=0-31
/proc/30900/stat : 30900 (claspmt) R 30898 30900 30657 0 -1 4202496 4720 0 0 0 5 0 0 0 21 0 1 0 29965179 43261952 4567 270582939648 4194304 4964800 140736671301936 18446744073709551615 4679106 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30900/statm: 10562 4573 375 189 0 5436 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 42248

[startup+0.100565 s]
/proc/loadavg: 28.61 30.78 31.20 1/412 30900
/proc/meminfo: memFree=262293316/264257624 swapFree=67111528/67111528
[pid=30900] ppid=30898 vsize=45292 CPUtime=0.09 cores=0-31
/proc/30900/stat : 30900 (claspmt) R 30898 30900 30657 0 -1 4202496 7469 0 0 0 8 1 0 0 21 0 1 0 29965179 46379008 6408 270582939648 4194304 4964800 140736671301936 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30900/statm: 11323 6409 383 189 0 6197 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45292

[startup+0.300584 s]
/proc/loadavg: 28.61 30.78 31.20 1/412 30900
/proc/meminfo: memFree=262293316/264257624 swapFree=67111528/67111528
[pid=30900] ppid=30898 vsize=58780 CPUtime=0.28 cores=0-31
/proc/30900/stat : 30900 (claspmt) R 30898 30900 30657 0 -1 4202496 12230 0 0 0 26 2 0 0 22 0 1 0 29965179 60190720 9501 270582939648 4194304 4964800 140736671301936 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/30900/statm: 14695 9501 383 189 0 9569 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 58780

[startup+0.700559 s]
/proc/loadavg: 28.61 30.78 31.20 1/412 30900
/proc/meminfo: memFree=262293316/264257624 swapFree=67111528/67111528
[pid=30900] ppid=30898 vsize=79188 CPUtime=0.69 cores=0-31
/proc/30900/stat : 30900 (claspmt) R 30898 30900 30657 0 -1 4202496 18308 0 0 0 65 4 0 0 23 0 1 0 29965179 81088512 14454 270582939648 4194304 4964800 140736671301936 18446744073709551615 4612042 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/30900/statm: 19797 14455 401 189 0 14671 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79188

[startup+1.5006 s]
/proc/loadavg: 28.61 30.78 31.20 2/413 30901
/proc/meminfo: memFree=262232144/264257624 swapFree=67111528/67111528
[pid=30900] ppid=30898 vsize=91596 CPUtime=1.48 cores=0-31
/proc/30900/stat : 30900 (claspmt) R 30898 30900 30657 0 -1 4202496 21409 0 0 0 143 5 0 0 25 0 1 0 29965179 93794304 17555 270582939648 4194304 4964800 140736671301936 18446744073709551615 4611920 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/30900/statm: 22899 17555 401 189 0 17773 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 91596

[startup+3.10263 s]
/proc/loadavg: 28.61 30.78 31.20 8/444 30932
/proc/meminfo: memFree=262075904/264257624 swapFree=67111528/67111528
[pid=30900] ppid=30898 vsize=2000320 CPUtime=16.86 cores=0-31
/proc/30900/stat : 30900 (claspmt) S 30898 30900 30657 0 -1 4202496 160982 0 0 0 464 1222 0 0 18 0 32 0 29965179 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/30900/statm: 500080 127426 440 189 0 494429 0
[pid=30900/tid=30902] ppid=30898 vsize=2000320 CPUtime=0.43 cores=0-31
/proc/30900/task/30902/stat : 30902 (claspmt) S 30898 30900 30657 0 -1 4202560 3986 0 0 0 5 38 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604568776777184 0 0 -1 21 0 0 0
[pid=30900/tid=30903] ppid=30898 vsize=2000320 CPUtime=0.45 cores=0-31
/proc/30900/task/30903/stat : 30903 (claspmt) S 30898 30900 30657 0 -1 4202560 4948 0 0 0 5 40 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604486266297824 0 0 -1 18 0 0 0
[pid=30900/tid=30904] ppid=30898 vsize=2000320 CPUtime=0.45 cores=0-31
/proc/30900/task/30904/stat : 30904 (claspmt) S 30898 30900 30657 0 -1 4202560 5054 0 0 0 7 38 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604710224297440 0 0 -1 3 0 0 0
[pid=30900/tid=30905] ppid=30898 vsize=2000320 CPUtime=0.43 cores=0-31
/proc/30900/task/30905/stat : 30905 (claspmt) S 30898 30900 30657 0 -1 4202560 4066 0 0 0 4 39 0 0 17 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604487858339296 0 0 -1 28 0 0 0
[pid=30900/tid=30906] ppid=30898 vsize=2000320 CPUtime=0.76 cores=0-31
/proc/30900/task/30906/stat : 30906 (claspmt) R 30898 30900 30657 0 -1 4202560 4231 0 0 0 41 35 0 0 17 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 4627860 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30900/tid=30907] ppid=30898 vsize=2000320 CPUtime=0.39 cores=0-31
/proc/30900/task/30907/stat : 30907 (claspmt) S 30898 30900 30657 0 -1 4202560 5155 0 0 0 6 33 0 0 17 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604709109906912 0 0 -1 16 0 0 0
[pid=30900/tid=30908] ppid=30898 vsize=2000320 CPUtime=0.46 cores=0-31
/proc/30900/task/30908/stat : 30908 (claspmt) S 30898 30900 30657 0 -1 4202560 4312 0 0 0 6 40 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604639487639008 0 0 -1 4 0 0 0
[pid=30900/tid=30909] ppid=30898 vsize=2000320 CPUtime=0.41 cores=0-31
/proc/30900/task/30909/stat : 30909 (claspmt) S 30898 30900 30657 0 -1 4202560 4092 0 0 0 4 37 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604496918928864 0 0 -1 26 0 0 0
[pid=30900/tid=30910] ppid=30898 vsize=2000320 CPUtime=0.43 cores=0-31
/proc/30900/task/30910/stat : 30910 (claspmt) S 30898 30900 30657 0 -1 4202560 3916 0 0 0 5 38 0 0 17 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604644029062624 0 0 -1 25 0 0 0
[pid=30900/tid=30911] ppid=30898 vsize=2000320 CPUtime=0.46 cores=0-31
/proc/30900/task/30911/stat : 30911 (claspmt) S 30898 30900 30657 0 -1 4202560 4955 0 0 0 9 37 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604639399149024 0 0 -1 7 0 0 0
[pid=30900/tid=30912] ppid=30898 vsize=2000320 CPUtime=0.44 cores=0-31
/proc/30900/task/30912/stat : 30912 (claspmt) S 30898 30900 30657 0 -1 4202560 5017 0 0 0 7 37 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604639228681696 0 0 -1 11 0 0 0
[pid=30900/tid=30913] ppid=30898 vsize=2000320 CPUtime=0.45 cores=0-31
/proc/30900/task/30913/stat : 30913 (claspmt) S 30898 30900 30657 0 -1 4202560 4031 0 0 0 4 41 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604709267283424 0 0 -1 7 0 0 0
[pid=30900/tid=30914] ppid=30898 vsize=2000320 CPUtime=0.63 cores=0-31
/proc/30900/task/30914/stat : 30914 (claspmt) R 30898 30900 30657 0 -1 4202560 4226 0 0 0 23 40 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668576 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30900/tid=30915] ppid=30898 vsize=2000320 CPUtime=0.46 cores=0-31
/proc/30900/task/30915/stat : 30915 (claspmt) S 30898 30900 30657 0 -1 4202560 5019 0 0 0 7 39 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604498982034912 0 0 -1 19 0 0 0
[pid=30900/tid=30916] ppid=30898 vsize=2000320 CPUtime=0.46 cores=0-31
/proc/30900/task/30916/stat : 30916 (claspmt) S 30898 30900 30657 0 -1 4202560 4427 0 0 0 5 41 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604701968285152 0 0 -1 0 0 0 0
[pid=30900/tid=30917] ppid=30898 vsize=2000320 CPUtime=0.42 cores=0-31
/proc/30900/task/30917/stat : 30917 (claspmt) S 30898 30900 30657 0 -1 4202560 4168 0 0 0 5 37 0 0 17 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604497369734624 0 0 -1 17 0 0 0
[pid=30900/tid=30918] ppid=30898 vsize=2000320 CPUtime=0.46 cores=0-31
/proc/30900/task/30918/stat : 30918 (claspmt) S 30898 30900 30657 0 -1 4202560 4052 0 0 0 7 39 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604485879496160 0 0 -1 6 0 0 0
[pid=30900/tid=30919] ppid=30898 vsize=2000320 CPUtime=0.49 cores=0-31
/proc/30900/task/30919/stat : 30919 (claspmt) S 30898 30900 30657 0 -1 4202560 4714 0 0 0 7 42 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604643897392608 0 0 -1 27 0 0 0
[pid=30900/tid=30920] ppid=30898 vsize=2000320 CPUtime=0.42 cores=0-31
/proc/30900/task/30920/stat : 30920 (claspmt) S 30898 30900 30657 0 -1 4202560 5065 0 0 0 8 34 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604575296355808 0 0 -1 15 0 0 0
[pid=30900/tid=30921] ppid=30898 vsize=2000320 CPUtime=0.43 cores=0-31
/proc/30900/task/30921/stat : 30921 (claspmt) S 30898 30900 30657 0 -1 4202560 4065 0 0 0 4 39 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604643859807712 0 0 -1 13 0 0 0
[pid=30900/tid=30922] ppid=30898 vsize=2000320 CPUtime=0.6 cores=0-31
/proc/30900/task/30922/stat : 30922 (claspmt) R 30898 30900 30657 0 -1 4202560 4436 0 0 0 20 40 0 0 18 0 32 0 29965360 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669038 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=30900/tid=30923] ppid=30898 vsize=2000320 CPUtime=0.46 cores=0-31
/proc/30900/task/30923/stat : 30923 (claspmt) S 30898 30900 30657 0 -1 4202560 4974 0 0 0 8 38 0 0 18 0 32 0 29965361 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604642458443232 0 0 -1 9 0 0 0
[pid=30900/tid=30924] ppid=30898 vsize=2000320 CPUtime=0.48 cores=0-31
/proc/30900/task/30924/stat : 30924 (claspmt) S 30898 30900 30657 0 -1 4202560 4562 0 0 0 8 40 0 0 18 0 32 0 29965361 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604712339389920 0 0 -1 5 0 0 0
[pid=30900/tid=30925] ppid=30898 vsize=2000320 CPUtime=0.43 cores=0-31
/proc/30900/task/30925/stat : 30925 (claspmt) S 30898 30900 30657 0 -1 4202560 3879 0 0 0 4 39 0 0 17 0 32 0 29965361 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604487038615008 0 0 -1 30 0 0 0
[pid=30900/tid=30926] ppid=30898 vsize=2000320 CPUtime=0.45 cores=0-31
/proc/30900/task/30926/stat : 30926 (claspmt) S 30898 30900 30657 0 -1 4202560 3823 0 0 0 5 40 0 0 18 0 32 0 29965361 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604487788346848 0 0 -1 2 0 0 0
[pid=30900/tid=30927] ppid=30898 vsize=2000320 CPUtime=0.47 cores=0-31
/proc/30900/task/30927/stat : 30927 (claspmt) S 30898 30900 30657 0 -1 4202560 5064 0 0 0 5 42 0 0 18 0 32 0 29965361 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604499654606304 0 0 -1 20 0 0 0
[pid=30900/tid=30928] ppid=30898 vsize=2000320 CPUtime=0.47 cores=0-31
/proc/30900/task/30928/stat : 30928 (claspmt) S 30898 30900 30657 0 -1 4202560 4576 0 0 0 6 41 0 0 18 0 32 0 29965361 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604711453056480 0 0 -1 1 0 0 0
[pid=30900/tid=30929] ppid=30898 vsize=2000320 CPUtime=0.44 cores=0-31
/proc/30900/task/30929/stat : 30929 (claspmt) S 30898 30900 30657 0 -1 4202560 4119 0 0 0 5 39 0 0 18 0 32 0 29965361 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604709348851168 0 0 -1 14 0 0 0
[pid=30900/tid=30930] ppid=30898 vsize=2000320 CPUtime=0.64 cores=0-31
/proc/30900/task/30930/stat : 30930 (claspmt) R 30898 30900 30657 0 -1 4202560 4336 0 0 0 26 38 0 0 18 0 32 0 29965361 2048327680 127426 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=30900/tid=30931] ppid=30898 vsize=2000320 CPUtime=0.48 cores=0-31
/proc/30900/task/30931/stat : 30931 (claspmt) S 30898 30900 30657 0 -1 4202560 4939 0 0 0 7 41 0 0 18 0 32 0 29965361 2048327680 127427 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604485875850720 0 0 -1 12 0 0 0
[pid=30900/tid=30932] ppid=30898 vsize=2000320 CPUtime=0.43 cores=0-31
/proc/30900/task/30932/stat : 30932 (claspmt) S 30898 30900 30657 0 -1 4202560 4550 0 0 0 7 36 0 0 18 0 32 0 29965361 2048327680 127427 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662772457 0 0 4096 18946 18446604640722288096 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 16.86
Current children cumulated vsize (KiB) 2000320

[startup+6.30165 s]
/proc/loadavg: 28.88 30.80 31.21 33/444 30932
/proc/meminfo: memFree=261756984/264257624 swapFree=67111528/67111528
[pid=30900] ppid=30898 vsize=2000460 CPUtime=106.24 cores=0-31
/proc/30900/stat : 30900 (claspmt) R 30898 30900 30657 0 -1 4202496 172247 0 0 0 9369 1255 0 0 18 0 32 0 29965179 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668715 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/30900/statm: 500115 138691 461 189 0 494464 0
[pid=30900/tid=30902] ppid=30898 vsize=2000460 CPUtime=3.2 cores=0-31
/proc/30900/task/30902/stat : 30902 (claspmt) R 30898 30900 30657 0 -1 4202560 4249 0 0 0 281 39 0 0 19 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30900/tid=30903] ppid=30898 vsize=2000460 CPUtime=3.22 cores=0-31
/proc/30900/task/30903/stat : 30903 (claspmt) R 30898 30900 30657 0 -1 4202560 5431 0 0 0 280 42 0 0 19 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=30900/tid=30904] ppid=30898 vsize=2000460 CPUtime=3.2 cores=0-31
/proc/30900/task/30904/stat : 30904 (claspmt) R 30898 30900 30657 0 -1 4202560 5533 0 0 0 281 39 0 0 18 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30900/tid=30905] ppid=30898 vsize=2000460 CPUtime=3.19 cores=0-31
/proc/30900/task/30905/stat : 30905 (claspmt) R 30898 30900 30657 0 -1 4202560 4422 0 0 0 279 40 0 0 19 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=30900/tid=30906] ppid=30898 vsize=2000460 CPUtime=3.95 cores=0-31
/proc/30900/task/30906/stat : 30906 (claspmt) R 30898 30900 30657 0 -1 4202560 4251 0 0 0 360 35 0 0 25 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30900/tid=30907] ppid=30898 vsize=2000460 CPUtime=3.15 cores=0-31
/proc/30900/task/30907/stat : 30907 (claspmt) R 30898 30900 30657 0 -1 4202560 5692 0 0 0 280 35 0 0 19 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=30900/tid=30908] ppid=30898 vsize=2000460 CPUtime=3.21 cores=0-31
/proc/30900/task/30908/stat : 30908 (claspmt) R 30898 30900 30657 0 -1 4202560 4698 0 0 0 280 41 0 0 19 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30900/tid=30909] ppid=30898 vsize=2000460 CPUtime=3.18 cores=0-31
/proc/30900/task/30909/stat : 30909 (claspmt) R 30898 30900 30657 0 -1 4202560 4393 0 0 0 280 38 0 0 19 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669406 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=30900/tid=30910] ppid=30898 vsize=2000460 CPUtime=3.19 cores=0-31
/proc/30900/task/30910/stat : 30910 (claspmt) R 30898 30900 30657 0 -1 4202560 4299 0 0 0 281 38 0 0 19 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30900/tid=30911] ppid=30898 vsize=2000460 CPUtime=3.13 cores=0-31
/proc/30900/task/30911/stat : 30911 (claspmt) R 30898 30900 30657 0 -1 4202560 5442 0 0 0 274 39 0 0 19 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670077 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=30900/tid=30912] ppid=30898 vsize=2000460 CPUtime=3.2 cores=0-31
/proc/30900/task/30912/stat : 30912 (claspmt) R 30898 30900 30657 0 -1 4202560 5433 0 0 0 281 39 0 0 19 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30900/tid=30913] ppid=30898 vsize=2000460 CPUtime=3.22 cores=0-31
/proc/30900/task/30913/stat : 30913 (claspmt) R 30898 30900 30657 0 -1 4202560 4295 0 0 0 280 42 0 0 19 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=30900/tid=30914] ppid=30898 vsize=2000460 CPUtime=3.63 cores=0-31
/proc/30900/task/30914/stat : 30914 (claspmt) R 30898 30900 30657 0 -1 4202560 4369 0 0 0 323 40 0 0 20 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4651353 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30900/tid=30915] ppid=30898 vsize=2000460 CPUtime=3.2 cores=0-31
/proc/30900/task/30915/stat : 30915 (claspmt) R 30898 30900 30657 0 -1 4202560 5384 0 0 0 280 40 0 0 19 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=30900/tid=30916] ppid=30898 vsize=2000460 CPUtime=3.22 cores=0-31
/proc/30900/task/30916/stat : 30916 (claspmt) R 30898 30900 30657 0 -1 4202560 4921 0 0 0 279 43 0 0 19 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30900/tid=30917] ppid=30898 vsize=2000460 CPUtime=3.18 cores=0-31
/proc/30900/task/30917/stat : 30917 (claspmt) R 30898 30900 30657 0 -1 4202560 4464 0 0 0 281 37 0 0 19 0 32 0 29965360 2048471040 138691 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=30900/tid=30918] ppid=30898 vsize=2000460 CPUtime=3.23 cores=0-31
/proc/30900/task/30918/stat : 30918 (claspmt) R 30898 30900 30657 0 -1 4202560 4400 0 0 0 283 40 0 0 19 0 32 0 29965360 2048471040 138692 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30900/tid=30919] ppid=30898 vsize=2000460 CPUtime=3.24 cores=0-31
/proc/30900/task/30919/stat : 30919 (claspmt) R 30898 30900 30657 0 -1 4202560 5152 0 0 0 281 43 0 0 19 0 32 0 29965360 2048471040 138692 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670137 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30900/tid=30920] ppid=30898 vsize=2000460 CPUtime=3.17 cores=0-31
/proc/30900/task/30920/stat : 30920 (claspmt) R 30898 30900 30657 0 -1 4202560 5462 0 0 0 282 35 0 0 19 0 32 0 29965360 2048471040 138692 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30900/tid=30921] ppid=30898 vsize=2000460 CPUtime=3.21 cores=0-31
/proc/30900/task/30921/stat : 30921 (claspmt) R 30898 30900 30657 0 -1 4202560 4408 0 0 0 280 41 0 0 19 0 32 0 29965360 2048471040 138692 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669429 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30900/tid=30922] ppid=30898 vsize=2000460 CPUtime=3.64 cores=0-31
/proc/30900/task/30922/stat : 30922 (claspmt) R 30898 30900 30657 0 -1 4202560 4614 0 0 0 324 40 0 0 21 0 32 0 29965360 2048471040 138692 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=30900/tid=30923] ppid=30898 vsize=2000460 CPUtime=3.23 cores=0-31
/proc/30900/task/30923/stat : 30923 (claspmt) R 30898 30900 30657 0 -1 4202560 5407 0 0 0 283 40 0 0 19 0 32 0 29965361 2048471040 138692 270582939648 4194304 4964800 140736671301936 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=30900/tid=30924] ppid=30898 vsize=2000460 CPUtime=3.24 cores=0-31
/proc/30900/task/30924/stat : 30924 (claspmt) R 30898 30900 30657 0 -1 4202560 4952 0 0 0 283 41 0 0 19 0 32 0 29965361 2048471040 138692 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30900/tid=30925] ppid=30898 vsize=2000460 CPUtime=3.21 cores=0-31
/proc/30900/task/30925/stat : 30925 (claspmt) R 30898 30900 30657 0 -1 4202560 4207 0 0 0 281 40 0 0 19 0 32 0 29965361 2048471040 138693 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30900/tid=30926] ppid=30898 vsize=2000460 CPUtime=3.22 cores=0-31
/proc/30900/task/30926/stat : 30926 (claspmt) R 30898 30900 30657 0 -1 4202560 4191 0 0 0 281 41 0 0 19 0 32 0 29965361 2048471040 138693 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 2 0 0 0

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

/proc/30900/task/30902/stat : 30902 (claspmt) R 30898 30900 30657 0 -1 4202560 4880 0 0 0 2840 41 0 0 25 0 32 0 29965360 2052841472 178045 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30900/tid=30903] ppid=30898 vsize=2004728 CPUtime=28.82 cores=0-31
/proc/30900/task/30903/stat : 30903 (claspmt) R 30898 30900 30657 0 -1 4202560 7406 0 0 0 2834 48 0 0 25 0 32 0 29965360 2052841472 178045 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=30900/tid=30904] ppid=30898 vsize=2004728 CPUtime=28.43 cores=0-31
/proc/30900/task/30904/stat : 30904 (claspmt) R 30898 30900 30657 0 -1 4202560 7005 0 0 0 2800 43 0 0 25 0 32 0 29965360 2052841472 178045 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=30900/tid=30905] ppid=30898 vsize=2004728 CPUtime=28.8 cores=0-31
/proc/30900/task/30905/stat : 30905 (claspmt) R 30898 30900 30657 0 -1 4202560 5829 0 0 0 2836 44 0 0 25 0 32 0 29965360 2052841472 178045 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=30900/tid=30906] ppid=30898 vsize=2004728 CPUtime=29.57 cores=0-31
/proc/30900/task/30906/stat : 30906 (claspmt) R 30898 30900 30657 0 -1 4202560 4982 0 0 0 2920 37 0 0 18 0 32 0 29965360 2052841472 178045 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30900/tid=30907] ppid=30898 vsize=2004728 CPUtime=28.75 cores=0-31
/proc/30900/task/30907/stat : 30907 (claspmt) R 30898 30900 30657 0 -1 4202560 7185 0 0 0 2836 39 0 0 25 0 32 0 29965360 2052841472 178045 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=30900/tid=30908] ppid=30898 vsize=2004728 CPUtime=28.81 cores=0-31
/proc/30900/task/30908/stat : 30908 (claspmt) R 30898 30900 30657 0 -1 4202560 6282 0 0 0 2833 48 0 0 25 0 32 0 29965360 2052841472 178045 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30900/tid=30909] ppid=30898 vsize=2004728 CPUtime=28.79 cores=0-31
/proc/30900/task/30909/stat : 30909 (claspmt) R 30898 30900 30657 0 -1 4202560 4916 0 0 0 2838 41 0 0 25 0 32 0 29965360 2052841472 178045 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=30900/tid=30910] ppid=30898 vsize=2004728 CPUtime=28.81 cores=0-31
/proc/30900/task/30910/stat : 30910 (claspmt) R 30898 30900 30657 0 -1 4202560 4800 0 0 0 2841 40 0 0 25 0 32 0 29965360 2052841472 178045 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30900/tid=30911] ppid=30898 vsize=2004728 CPUtime=28.38 cores=0-31
/proc/30900/task/30911/stat : 30911 (claspmt) R 30898 30900 30657 0 -1 4202560 7427 0 0 0 2794 44 0 0 25 0 32 0 29965360 2052841472 178045 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30900/tid=30912] ppid=30898 vsize=2004728 CPUtime=28.81 cores=0-31
/proc/30900/task/30912/stat : 30912 (claspmt) R 30898 30900 30657 0 -1 4202560 6815 0 0 0 2838 43 0 0 25 0 32 0 29965360 2052841472 178045 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30900/tid=30913] ppid=30898 vsize=2004728 CPUtime=28.83 cores=0-31
/proc/30900/task/30913/stat : 30913 (claspmt) R 30898 30900 30657 0 -1 4202560 5782 0 0 0 2838 45 0 0 25 0 32 0 29965360 2052841472 178045 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=30900/tid=30914] ppid=30898 vsize=2004728 CPUtime=29.24 cores=0-31
/proc/30900/task/30914/stat : 30914 (claspmt) R 30898 30900 30657 0 -1 4202560 5030 0 0 0 2882 42 0 0 25 0 32 0 29965360 2052841472 178046 270582939648 4194304 4964800 140736671301936 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30900/tid=30915] ppid=30898 vsize=2004728 CPUtime=28.81 cores=0-31
/proc/30900/task/30915/stat : 30915 (claspmt) R 30898 30900 30657 0 -1 4202560 6944 0 0 0 2837 44 0 0 25 0 32 0 29965360 2052841472 178046 270582939648 4194304 4964800 140736671301936 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=30900/tid=30916] ppid=30898 vsize=2004728 CPUtime=28.83 cores=0-31
/proc/30900/task/30916/stat : 30916 (claspmt) R 30898 30900 30657 0 -1 4202560 6346 0 0 0 2835 48 0 0 25 0 32 0 29965360 2052841472 178046 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30900/tid=30917] ppid=30898 vsize=2004728 CPUtime=28.8 cores=0-31
/proc/30900/task/30917/stat : 30917 (claspmt) R 30898 30900 30657 0 -1 4202560 4767 0 0 0 2841 39 0 0 25 0 32 0 29965360 2052841472 178046 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669338 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=30900/tid=30918] ppid=30898 vsize=2004728 CPUtime=28.85 cores=0-31
/proc/30900/task/30918/stat : 30918 (claspmt) R 30898 30900 30657 0 -1 4202560 4866 0 0 0 2843 42 0 0 25 0 32 0 29965360 2052841472 178046 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30900/tid=30919] ppid=30898 vsize=2004728 CPUtime=28.85 cores=0-31
/proc/30900/task/30919/stat : 30919 (claspmt) R 30898 30900 30657 0 -1 4202560 7450 0 0 0 2834 51 0 0 25 0 32 0 29965360 2052841472 178046 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30900/tid=30920] ppid=30898 vsize=2004728 CPUtime=28.77 cores=0-31
/proc/30900/task/30920/stat : 30920 (claspmt) R 30898 30900 30657 0 -1 4202560 7162 0 0 0 2837 40 0 0 25 0 32 0 29965360 2052841472 178046 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30900/tid=30921] ppid=30898 vsize=2004728 CPUtime=28.81 cores=0-31
/proc/30900/task/30921/stat : 30921 (claspmt) R 30898 30900 30657 0 -1 4202560 5826 0 0 0 2836 45 0 0 25 0 32 0 29965360 2052841472 178046 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30900/tid=30922] ppid=30898 vsize=2004728 CPUtime=29.25 cores=0-31
/proc/30900/task/30922/stat : 30922 (claspmt) R 30898 30900 30657 0 -1 4202560 5327 0 0 0 2884 41 0 0 25 0 32 0 29965360 2052841472 178046 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=30900/tid=30923] ppid=30898 vsize=2004728 CPUtime=28.83 cores=0-31
/proc/30900/task/30923/stat : 30923 (claspmt) R 30898 30900 30657 0 -1 4202560 6939 0 0 0 2838 45 0 0 25 0 32 0 29965361 2052841472 178046 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=30900/tid=30924] ppid=30898 vsize=2004728 CPUtime=28.85 cores=0-31
/proc/30900/task/30924/stat : 30924 (claspmt) R 30898 30900 30657 0 -1 4202560 6450 0 0 0 2839 46 0 0 25 0 32 0 29965361 2052841472 178046 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668672 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30900/tid=30925] ppid=30898 vsize=2004728 CPUtime=28.82 cores=0-31
/proc/30900/task/30925/stat : 30925 (claspmt) R 30898 30900 30657 0 -1 4202560 4648 0 0 0 2840 42 0 0 25 0 32 0 29965361 2052841472 178046 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669512 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30900/tid=30926] ppid=30898 vsize=2004728 CPUtime=28.83 cores=0-31
/proc/30900/task/30926/stat : 30926 (claspmt) R 30898 30900 30657 0 -1 4202560 4686 0 0 0 2839 44 0 0 25 0 32 0 29965361 2052841472 178047 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30900/tid=30927] ppid=30898 vsize=2004728 CPUtime=28.82 cores=0-31
/proc/30900/task/30927/stat : 30927 (claspmt) R 30898 30900 30657 0 -1 4202560 7969 0 0 0 2830 52 0 0 25 0 32 0 29965361 2052841472 178047 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=30900/tid=30928] ppid=30898 vsize=2004728 CPUtime=28.84 cores=0-31
/proc/30900/task/30928/stat : 30928 (claspmt) R 30898 30900 30657 0 -1 4202560 6462 0 0 0 2838 46 0 0 25 0 32 0 29965361 2052841472 178047 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30900/tid=30929] ppid=30898 vsize=2004728 CPUtime=28.82 cores=0-31
/proc/30900/task/30929/stat : 30929 (claspmt) R 30898 30900 30657 0 -1 4202560 5922 0 0 0 2837 45 0 0 25 0 32 0 29965361 2052841472 178047 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669104 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=30900/tid=30930] ppid=30898 vsize=2004728 CPUtime=29.25 cores=0-31
/proc/30900/task/30930/stat : 30930 (claspmt) R 30898 30900 30657 0 -1 4202560 5175 0 0 0 2886 39 0 0 25 0 32 0 29965361 2052841472 178047 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=30900/tid=30931] ppid=30898 vsize=2004728 CPUtime=28.84 cores=0-31
/proc/30900/task/30931/stat : 30931 (claspmt) R 30898 30900 30657 0 -1 4202560 7161 0 0 0 2836 48 0 0 25 0 32 0 29965361 2052841472 178047 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=30900/tid=30932] ppid=30898 vsize=2004728 CPUtime=28.8 cores=0-31
/proc/30900/task/30932/stat : 30932 (claspmt) R 30898 30900 30657 0 -1 4202560 6137 0 0 0 2838 42 0 0 25 0 32 0 29965361 2052841472 178047 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669507 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 925.01
Current children cumulated vsize (KiB) 2004728

[startup+33.5016 s]
/proc/loadavg: 30.00 30.91 31.23 33/444 30934
/proc/meminfo: memFree=261588088/264257624 swapFree=67111528/67111528
[pid=30900] ppid=30898 vsize=2005124 CPUtime=975.52 cores=0-31
/proc/30900/stat : 30900 (claspmt) R 30898 30900 30657 0 -1 4202496 213490 0 0 0 96166 1386 0 0 25 0 32 0 29965179 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/30900/statm: 501281 179934 461 189 0 495630 0
[pid=30900/tid=30902] ppid=30898 vsize=2005124 CPUtime=30.39 cores=0-31
/proc/30900/task/30902/stat : 30902 (claspmt) R 30898 30900 30657 0 -1 4202560 4948 0 0 0 2997 42 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=30900/tid=30903] ppid=30898 vsize=2005124 CPUtime=30.4 cores=0-31
/proc/30900/task/30903/stat : 30903 (claspmt) R 30898 30900 30657 0 -1 4202560 7446 0 0 0 2992 48 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=30900/tid=30904] ppid=30898 vsize=2005124 CPUtime=29.98 cores=0-31
/proc/30900/task/30904/stat : 30904 (claspmt) R 30898 30900 30657 0 -1 4202560 7030 0 0 0 2955 43 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4660495 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=30900/tid=30905] ppid=30898 vsize=2005124 CPUtime=30.38 cores=0-31
/proc/30900/task/30905/stat : 30905 (claspmt) R 30898 30900 30657 0 -1 4202560 5855 0 0 0 2994 44 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669445 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=30900/tid=30906] ppid=30898 vsize=2005124 CPUtime=31.15 cores=0-31
/proc/30900/task/30906/stat : 30906 (claspmt) R 30898 30900 30657 0 -1 4202560 5008 0 0 0 3078 37 0 0 20 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=30900/tid=30907] ppid=30898 vsize=2005124 CPUtime=30.33 cores=0-31
/proc/30900/task/30907/stat : 30907 (claspmt) R 30898 30900 30657 0 -1 4202560 7188 0 0 0 2994 39 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=30900/tid=30908] ppid=30898 vsize=2005124 CPUtime=30.4 cores=0-31
/proc/30900/task/30908/stat : 30908 (claspmt) R 30898 30900 30657 0 -1 4202560 6436 0 0 0 2991 49 0 0 18 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30900/tid=30909] ppid=30898 vsize=2005124 CPUtime=30.38 cores=0-31
/proc/30900/task/30909/stat : 30909 (claspmt) R 30898 30900 30657 0 -1 4202560 5010 0 0 0 2996 42 0 0 18 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=30900/tid=30910] ppid=30898 vsize=2005124 CPUtime=30.39 cores=0-31
/proc/30900/task/30910/stat : 30910 (claspmt) R 30898 30900 30657 0 -1 4202560 4812 0 0 0 2999 40 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=30900/tid=30911] ppid=30898 vsize=2005124 CPUtime=29.96 cores=0-31
/proc/30900/task/30911/stat : 30911 (claspmt) R 30898 30900 30657 0 -1 4202560 7434 0 0 0 2952 44 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30900/tid=30912] ppid=30898 vsize=2005124 CPUtime=30.39 cores=0-31
/proc/30900/task/30912/stat : 30912 (claspmt) R 30898 30900 30657 0 -1 4202560 6863 0 0 0 2996 43 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=30900/tid=30913] ppid=30898 vsize=2005124 CPUtime=30.41 cores=0-31
/proc/30900/task/30913/stat : 30913 (claspmt) R 30898 30900 30657 0 -1 4202560 5786 0 0 0 2996 45 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=30900/tid=30914] ppid=30898 vsize=2005124 CPUtime=30.82 cores=0-31
/proc/30900/task/30914/stat : 30914 (claspmt) R 30898 30900 30657 0 -1 4202560 5040 0 0 0 3040 42 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668770 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30900/tid=30915] ppid=30898 vsize=2005124 CPUtime=30.38 cores=0-31
/proc/30900/task/30915/stat : 30915 (claspmt) R 30898 30900 30657 0 -1 4202560 7033 0 0 0 2994 44 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=30900/tid=30916] ppid=30898 vsize=2005124 CPUtime=30.41 cores=0-31
/proc/30900/task/30916/stat : 30916 (claspmt) R 30898 30900 30657 0 -1 4202560 6508 0 0 0 2992 49 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30900/tid=30917] ppid=30898 vsize=2005124 CPUtime=30.38 cores=0-31
/proc/30900/task/30917/stat : 30917 (claspmt) R 30898 30900 30657 0 -1 4202560 4768 0 0 0 2999 39 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=30900/tid=30918] ppid=30898 vsize=2005124 CPUtime=30.43 cores=0-31
/proc/30900/task/30918/stat : 30918 (claspmt) R 30898 30900 30657 0 -1 4202560 4898 0 0 0 3001 42 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30900/tid=30919] ppid=30898 vsize=2005124 CPUtime=30.43 cores=0-31
/proc/30900/task/30919/stat : 30919 (claspmt) R 30898 30900 30657 0 -1 4202560 7532 0 0 0 2992 51 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=30900/tid=30920] ppid=30898 vsize=2005124 CPUtime=30.35 cores=0-31
/proc/30900/task/30920/stat : 30920 (claspmt) R 30898 30900 30657 0 -1 4202560 7216 0 0 0 2995 40 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30900/tid=30921] ppid=30898 vsize=2005124 CPUtime=30.4 cores=0-31
/proc/30900/task/30921/stat : 30921 (claspmt) R 30898 30900 30657 0 -1 4202560 5948 0 0 0 2994 46 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=30900/tid=30922] ppid=30898 vsize=2005124 CPUtime=30.83 cores=0-31
/proc/30900/task/30922/stat : 30922 (claspmt) R 30898 30900 30657 0 -1 4202560 5341 0 0 0 3042 41 0 0 25 0 32 0 29965360 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=30900/tid=30923] ppid=30898 vsize=2005124 CPUtime=30.4 cores=0-31
/proc/30900/task/30923/stat : 30923 (claspmt) R 30898 30900 30657 0 -1 4202560 7040 0 0 0 2995 45 0 0 25 0 32 0 29965361 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=30900/tid=30924] ppid=30898 vsize=2005124 CPUtime=30.43 cores=0-31
/proc/30900/task/30924/stat : 30924 (claspmt) R 30898 30900 30657 0 -1 4202560 6580 0 0 0 2996 47 0 0 25 0 32 0 29965361 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30900/tid=30925] ppid=30898 vsize=2005124 CPUtime=30.4 cores=0-31
/proc/30900/task/30925/stat : 30925 (claspmt) R 30898 30900 30657 0 -1 4202560 4713 0 0 0 2998 42 0 0 25 0 32 0 29965361 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=30900/tid=30926] ppid=30898 vsize=2005124 CPUtime=30.41 cores=0-31
/proc/30900/task/30926/stat : 30926 (claspmt) R 30898 30900 30657 0 -1 4202560 4703 0 0 0 2997 44 0 0 25 0 32 0 29965361 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30900/tid=30927] ppid=30898 vsize=2005124 CPUtime=30.4 cores=0-31
/proc/30900/task/30927/stat : 30927 (claspmt) R 30898 30900 30657 0 -1 4202560 8168 0 0 0 2988 52 0 0 25 0 32 0 29965361 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=30900/tid=30928] ppid=30898 vsize=2005124 CPUtime=30.42 cores=0-31
/proc/30900/task/30928/stat : 30928 (claspmt) R 30898 30900 30657 0 -1 4202560 6462 0 0 0 2996 46 0 0 25 0 32 0 29965361 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30900/tid=30929] ppid=30898 vsize=2005124 CPUtime=30.4 cores=0-31
/proc/30900/task/30929/stat : 30929 (claspmt) R 30898 30900 30657 0 -1 4202560 5965 0 0 0 2995 45 0 0 25 0 32 0 29965361 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=30900/tid=30930] ppid=30898 vsize=2005124 CPUtime=30.83 cores=0-31
/proc/30900/task/30930/stat : 30930 (claspmt) R 30898 30900 30657 0 -1 4202560 5184 0 0 0 3044 39 0 0 25 0 32 0 29965361 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=30900/tid=30931] ppid=30898 vsize=2005124 CPUtime=30.42 cores=0-31
/proc/30900/task/30931/stat : 30931 (claspmt) R 30898 30900 30657 0 -1 4202560 7212 0 0 0 2994 48 0 0 25 0 32 0 29965361 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670212 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=30900/tid=30932] ppid=30898 vsize=2005124 CPUtime=30.38 cores=0-31
/proc/30900/task/30932/stat : 30932 (claspmt) R 30898 30900 30657 0 -1 4202560 6257 0 0 0 2996 42 0 0 25 0 32 0 29965361 2053246976 179934 270582939648 4194304 4964800 140736671301936 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 975.52
Current children cumulated vsize (KiB) 2005124

[startup+35.1017 s]
/proc/loadavg: 30.16 30.93 31.23 13/427 30934
/proc/meminfo: memFree=261579912/264257624 swapFree=67111528/67111528
[pid=30900] ppid=30898 vsize=2005388 CPUtime=1026.41 cores=0-31
/proc/30900/stat : 30900 (claspmt) S 30898 30900 30657 0 -1 4202496 214991 0 0 0 101206 1435 0 0 17 0 6 0 29965179 2053517312 181434 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662759221 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/30900/statm: 501347 181434 462 189 0 495696 0
[pid=30900/tid=30904] ppid=30898 vsize=2005388 CPUtime=31.56 cores=0-31
/proc/30900/task/30904/stat : 30904 (claspmt) R 30898 30900 30657 0 -1 4202560 7062 0 0 0 3110 46 0 0 18 0 6 0 29965360 2053517312 181434 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662782469 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=30900/tid=30907] ppid=30898 vsize=2005388 CPUtime=31.95 cores=0-31
/proc/30900/task/30907/stat : 30907 (claspmt) R 30898 30900 30657 0 -1 4202560 7267 0 0 0 3153 42 0 0 18 0 6 0 29965360 2053517312 181434 270582939648 4194304 4964800 140736671301936 18446744073709551615 258662782469 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=30900/tid=30915] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/30900/task/30915/stat : -- couldn't open stat file --[pid=30900/tid=30920] ppid=30898 vsize=2005388 CPUtime=31.96 cores=0-31
/proc/30900/task/30920/stat : 30920 (claspmt) R 30898 30900 30657 0 -1 4202560 7268 0 0 0 3154 42 0 0 18 0 5 0 29965360 2053517312 181434 270582939648 4194304 4964800 140736671301936 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=30900/tid=30931] ppid=30898 vsize=2005388 CPUtime=32.04 cores=0-31
/proc/30900/task/30931/stat : 30931 (claspmt) R 30898 30900 30657 0 -1 4202560 7296 0 0 0 3154 50 0 0 18 0 5 0 29965361 2053517312 181434 270582939648 4194304 4964800 140736671301936 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 1026.41
Current children cumulated vsize (KiB) 2005388

[startup+35.9008 s]
/proc/loadavg: 30.16 30.93 31.23 13/427 30934
/proc/meminfo: memFree=261579912/264257624 swapFree=67111528/67111528
[pid=30900] ppid=30898 vsize=1781888 CPUtime=1027.19 cores=0-31
/proc/30900/stat : 30900 (claspmt) R 30898 30900 30657 0 -1 4202496 215001 0 0 0 101283 1436 0 0 18 0 1 0 29965179 1824653312 147879 270582939648 4194304 4964800 140736671301936 18446744073709551615 4646559 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/30900/statm: 445472 147879 472 189 0 439821 0
Current children cumulated CPU time (s) 1027.19
Current children cumulated vsize (KiB) 1781888

[startup+36.1008 s]
/proc/loadavg: 30.16 30.93 31.23 13/427 30934
/proc/meminfo: memFree=261579912/264257624 swapFree=67111528/67111528
[pid=30900] ppid=30898 vsize=1744060 CPUtime=1027.4 cores=0-31
/proc/30900/stat : 30900 (claspmt) R 30898 30900 30657 0 -1 4202496 215001 0 0 0 101303 1437 0 0 18 0 1 0 29965179 1785917440 137918 270582939648 4194304 4964800 140736671301936 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/30900/statm: 436015 137918 472 189 0 430364 0
Current children cumulated CPU time (s) 1027.4
Current children cumulated vsize (KiB) 1744060

Child status: 20
Real time (s): 36.1952
CPU time (s): 1027.5
CPU user time (s): 1013.08
CPU system time (s): 14.4168
CPU usage (%): 2838.77
Max. virtual memory (cumulated for all children) (KiB): 2005388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1013.08
system time used= 14.4168
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215002
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= 109035
involuntary context switches= 1963

runsolver used 0.220966 second user time and 0.890864 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-09 20:56:23
IDJOB=3472434
IDBENCH=82492
IDSOLVER=1961
FILE ID=node200/3472434-1307645782
RUNJOBID= node200-1307645533-30671
PBS_JOBID= 13547782
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-pdtviseisenberg2-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-3472434-1307645782/watcher-3472434-1307645782 -o /tmp/evaluation-result-3472434-1307645782/solver-3472434-1307645782 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472434-1307645782.cnf

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

MD5SUM BENCH= 7eb9713591c46f87c512df513290fd7f
RANDOM SEED=1545766898

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:      262294224 kB
Buffers:        243488 kB
Cached:        1410624 kB
SwapCached:          0 kB
Active:         265608 kB
Inactive:      1451632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262294224 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7288 kB
Writeback:           0 kB
AnonPages:       64392 kB
Mapped:          14156 kB
Slab:           163856 kB
PageTables:       5652 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   165716 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:56:59