Trace number 3472461

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 16617.2 521.11

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom14.cnf
MD5SUM7af4cc1b94644f101ccf5f2373fdbfea
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6468.32
Satisfiable
(Un)Satisfiability was proved
Number of variables22886
Number of clauses76038
Sum of the clauses size193162
Maximum clause length786
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 240006
Number of clauses of size 335619
Number of clauses of size 4104
Number of clauses of size 512
Number of clauses of size over 5296

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...698928/instance-3472461-1307698928.cnf
0.39/0.46	c Solving...
16617.04/521.08	s UNSATISFIABLE
16617.04/521.08	
16617.04/521.08	c Models        : 0     
16617.04/521.08	c Time          : 520.726s (Solving: 520.28s 1st Model: 0.00s Unsat: 520.28s)
16617.04/521.08	c CPU Time      : 16616.780s

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-3472461-1307698928/watcher-3472461-1307698928 -o /tmp/evaluation-result-3472461-1307698928/solver-3472461-1307698928 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472461-1307698928.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 29.56 31.37 31.69 1/413 2905
/proc/meminfo: memFree=262176932/264257624 swapFree=67111528/67111528
[pid=2905] ppid=2903 vsize=24052 CPUtime=0.01 cores=0-31
/proc/2905/stat : 2905 (claspmt) R 2903 2905 2875 0 -1 4202496 1300 0 0 0 1 0 0 0 22 0 1 0 35279679 24629248 1229 270582939648 4194304 4964800 140734334264000 18446744073709551615 4680671 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/2905/statm: 6282 1241 374 189 0 1156 0

[startup+0.0605939 s]
/proc/loadavg: 29.56 31.37 31.69 1/413 2905
/proc/meminfo: memFree=262176932/264257624 swapFree=67111528/67111528
[pid=2905] ppid=2903 vsize=27872 CPUtime=0.05 cores=0-31
/proc/2905/stat : 2905 (claspmt) R 2903 2905 2875 0 -1 4202496 2556 0 0 0 5 0 0 0 22 0 1 0 35279679 28540928 2135 270582939648 4194304 4964800 140734334264000 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/2905/statm: 6968 2135 386 189 0 1842 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27872

[startup+0.100622 s]
/proc/loadavg: 29.56 31.37 31.69 1/413 2905
/proc/meminfo: memFree=262176932/264257624 swapFree=67111528/67111528
[pid=2905] ppid=2903 vsize=31088 CPUtime=0.09 cores=0-31
/proc/2905/stat : 2905 (claspmt) R 2903 2905 2875 0 -1 4202496 3697 0 0 0 8 1 0 0 22 0 1 0 35279679 31834112 2932 270582939648 4194304 4964800 140734334264000 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/2905/statm: 7772 2934 396 189 0 2646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31088

[startup+0.300605 s]
/proc/loadavg: 29.56 31.37 31.69 1/413 2905
/proc/meminfo: memFree=262176932/264257624 swapFree=67111528/67111528
[pid=2905] ppid=2903 vsize=34796 CPUtime=0.29 cores=0-31
/proc/2905/stat : 2905 (claspmt) R 2903 2905 2875 0 -1 4202496 4605 0 0 0 28 1 0 0 23 0 1 0 35279679 35631104 3840 270582939648 4194304 4964800 140734334264000 18446744073709551615 4600360 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/2905/statm: 8699 3840 401 189 0 3573 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34796

[startup+0.70053 s]
/proc/loadavg: 29.56 31.37 31.69 1/413 2905
/proc/meminfo: memFree=262176932/264257624 swapFree=67111528/67111528
[pid=2905] ppid=2903 vsize=1911844 CPUtime=2.81 cores=0-31
/proc/2905/stat : 2905 (claspmt) S 2903 2905 2875 0 -1 4202496 32076 0 0 0 73 208 0 0 18 0 32 0 35279679 1957728256 25397 270582939648 4194304 4964800 140734334264000 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/2905/statm: 477961 25406 439 189 0 472310 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 1911844

[startup+1.50254 s]
/proc/loadavg: 29.68 31.36 31.69 33/445 2937
/proc/meminfo: memFree=262065432/264257624 swapFree=67111528/67111528
[pid=2905] ppid=2903 vsize=1912644 CPUtime=24.53 cores=0-31
/proc/2905/stat : 2905 (claspmt) R 2903 2905 2875 0 -1 4202496 38707 0 0 0 2225 228 0 0 16 0 32 0 35279679 1958547456 32025 270582939648 4194304 4964800 140734334264000 18446744073709551615 4669280 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/2905/statm: 478161 32025 461 189 0 472510 0
[pid=2905/tid=2907] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2907/stat : 2907 (claspmt) R 2903 2905 2875 0 -1 4202560 942 0 0 0 66 7 0 0 17 0 32 0 35279725 1958547456 32025 270582939648 4194304 4964800 140734334264000 18446744073709551615 4362191 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=2905/tid=2908] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2908/stat : 2908 (claspmt) R 2903 2905 2875 0 -1 4202560 1320 0 0 0 66 7 0 0 17 0 32 0 35279725 1958547456 32025 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=2905/tid=2909] ppid=2903 vsize=1912644 CPUtime=0.74 cores=0-31
/proc/2905/task/2909/stat : 2909 (claspmt) R 2903 2905 2875 0 -1 4202560 1216 0 0 0 66 8 0 0 17 0 32 0 35279725 1958547456 32026 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2905/tid=2910] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2910/stat : 2910 (claspmt) R 2903 2905 2875 0 -1 4202560 1003 0 0 0 66 7 0 0 17 0 32 0 35279725 1958547456 32026 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=2905/tid=2911] ppid=2903 vsize=1912644 CPUtime=0.85 cores=0-31
/proc/2905/task/2911/stat : 2911 (claspmt) R 2903 2905 2875 0 -1 4202560 1022 0 0 0 78 7 0 0 18 0 32 0 35279725 1958547456 32026 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=2905/tid=2912] ppid=2903 vsize=1912644 CPUtime=0.75 cores=0-31
/proc/2905/task/2912/stat : 2912 (claspmt) R 2903 2905 2875 0 -1 4202560 1134 0 0 0 67 8 0 0 17 0 32 0 35279725 1958547456 32026 270582939648 4194304 4964800 140734334264000 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=2905/tid=2913] ppid=2903 vsize=1912644 CPUtime=0.75 cores=0-31
/proc/2905/task/2913/stat : 2913 (claspmt) R 2903 2905 2875 0 -1 4202560 1143 0 0 0 66 9 0 0 17 0 32 0 35279725 1958547456 32026 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=2905/tid=2914] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2914/stat : 2914 (claspmt) R 2903 2905 2875 0 -1 4202560 1003 0 0 0 66 7 0 0 17 0 32 0 35279725 1958547456 32026 270582939648 4194304 4964800 140734334264000 18446744073709551615 4320996 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=2905/tid=2915] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2915/stat : 2915 (claspmt) R 2903 2905 2875 0 -1 4202560 947 0 0 0 66 7 0 0 16 0 32 0 35279725 1958547456 32026 270582939648 4194304 4964800 140734334264000 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2905/tid=2916] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2916/stat : 2916 (claspmt) R 2903 2905 2875 0 -1 4202560 1237 0 0 0 66 7 0 0 17 0 32 0 35279725 1958547456 32026 270582939648 4194304 4964800 140734334264000 18446744073709551615 4321042 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=2905/tid=2917] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2917/stat : 2917 (claspmt) R 2903 2905 2875 0 -1 4202560 1146 0 0 0 66 7 0 0 17 0 32 0 35279725 1958547456 32026 270582939648 4194304 4964800 140734334264000 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=2905/tid=2918] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2918/stat : 2918 (claspmt) R 2903 2905 2875 0 -1 4202560 983 0 0 0 66 7 0 0 17 0 32 0 35279725 1958547456 32026 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668920 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=2905/tid=2919] ppid=2903 vsize=1912644 CPUtime=0.82 cores=0-31
/proc/2905/task/2919/stat : 2919 (claspmt) R 2903 2905 2875 0 -1 4202560 998 0 0 0 75 7 0 0 19 0 32 0 35279725 1958547456 32026 270582939648 4194304 4964800 140734334264000 18446744073709551615 4399667 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=2905/tid=2920] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2920/stat : 2920 (claspmt) R 2903 2905 2875 0 -1 4202560 1105 0 0 0 67 6 0 0 17 0 32 0 35279725 1958547456 32026 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=2905/tid=2921] ppid=2903 vsize=1912644 CPUtime=0.75 cores=0-31
/proc/2905/task/2921/stat : 2921 (claspmt) R 2903 2905 2875 0 -1 4202560 1093 0 0 0 67 8 0 0 17 0 32 0 35279726 1958547456 32027 270582939648 4194304 4964800 140734334264000 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=2905/tid=2922] ppid=2903 vsize=1912644 CPUtime=0.71 cores=0-31
/proc/2905/task/2922/stat : 2922 (claspmt) R 2903 2905 2875 0 -1 4202560 1002 0 0 0 66 5 0 0 17 0 32 0 35279726 1958547456 32028 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=2905/tid=2923] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2923/stat : 2923 (claspmt) R 2903 2905 2875 0 -1 4202560 1004 0 0 0 66 7 0 0 17 0 32 0 35279726 1958547456 32028 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670155 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=2905/tid=2924] ppid=2903 vsize=1912644 CPUtime=0.71 cores=0-31
/proc/2905/task/2924/stat : 2924 (claspmt) R 2903 2905 2875 0 -1 4202560 1313 0 0 0 66 5 0 0 17 0 32 0 35279726 1958547456 32028 270582939648 4194304 4964800 140734334264000 18446744073709551615 4313756 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=2905/tid=2925] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2925/stat : 2925 (claspmt) R 2903 2905 2875 0 -1 4202560 1172 0 0 0 66 7 0 0 17 0 32 0 35279726 1958547456 32028 270582939648 4194304 4964800 140734334264000 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=2905/tid=2926] ppid=2903 vsize=1912644 CPUtime=0.72 cores=0-31
/proc/2905/task/2926/stat : 2926 (claspmt) R 2903 2905 2875 0 -1 4202560 1011 0 0 0 66 6 0 0 17 0 32 0 35279726 1958547456 32028 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=2905/tid=2927] ppid=2903 vsize=1912644 CPUtime=0.86 cores=0-31
/proc/2905/task/2927/stat : 2927 (claspmt) R 2903 2905 2875 0 -1 4202560 1002 0 0 0 79 7 0 0 19 0 32 0 35279726 1958547456 32028 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=2905/tid=2928] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2928/stat : 2928 (claspmt) R 2903 2905 2875 0 -1 4202560 1134 0 0 0 66 7 0 0 17 0 32 0 35279726 1958547456 32028 270582939648 4194304 4964800 140734334264000 18446744073709551615 4363469 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=2905/tid=2929] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2929/stat : 2929 (claspmt) R 2903 2905 2875 0 -1 4202560 1117 0 0 0 66 7 0 0 17 0 32 0 35279726 1958547456 32028 270582939648 4194304 4964800 140734334264000 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=2905/tid=2930] ppid=2903 vsize=1912644 CPUtime=0.72 cores=0-31
/proc/2905/task/2930/stat : 2930 (claspmt) R 2903 2905 2875 0 -1 4202560 1021 0 0 0 66 6 0 0 17 0 32 0 35279726 1958547456 32029 270582939648 4194304 4964800 140734334264000 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=2905/tid=2931] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2931/stat : 2931 (claspmt) R 2903 2905 2875 0 -1 4202560 912 0 0 0 67 6 0 0 17 0 32 0 35279726 1958547456 32030 270582939648 4194304 4964800 140734334264000 18446744073709551615 4669184 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=2905/tid=2932] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2932/stat : 2932 (claspmt) R 2903 2905 2875 0 -1 4202560 1141 0 0 0 67 6 0 0 17 0 32 0 35279726 1958547456 32032 270582939648 4194304 4964800 140734334264000 18446744073709551615 258650652521 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=2905/tid=2933] ppid=2903 vsize=1912644 CPUtime=0.72 cores=0-31
/proc/2905/task/2933/stat : 2933 (claspmt) R 2903 2905 2875 0 -1 4202560 1173 0 0 0 66 6 0 0 17 0 32 0 35279726 1958547456 32034 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=2905/tid=2934] ppid=2903 vsize=1912644 CPUtime=0.72 cores=0-31
/proc/2905/task/2934/stat : 2934 (claspmt) R 2903 2905 2875 0 -1 4202560 963 0 0 0 66 6 0 0 17 0 32 0 35279726 1958547456 32034 270582939648 4194304 4964800 140734334264000 18446744073709551615 4627281 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=2905/tid=2935] ppid=2903 vsize=1912644 CPUtime=0.87 cores=0-31
/proc/2905/task/2935/stat : 2935 (claspmt) R 2903 2905 2875 0 -1 4202560 1002 0 0 0 81 6 0 0 19 0 32 0 35279726 1958547456 32034 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=2905/tid=2936] ppid=2903 vsize=1912644 CPUtime=0.73 cores=0-31
/proc/2905/task/2936/stat : 2936 (claspmt) R 2903 2905 2875 0 -1 4202560 1125 0 0 0 66 7 0 0 17 0 32 0 35279726 1958547456 32034 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=2905/tid=2937] ppid=2903 vsize=1912644 CPUtime=0.71 cores=0-31
/proc/2905/task/2937/stat : 2937 (claspmt) R 2903 2905 2875 0 -1 4202560 1174 0 0 0 66 5 0 0 17 0 32 0 35279726 1958547456 32035 270582939648 4194304 4964800 140734334264000 18446744073709551615 4366992 0 0 4096 18946 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 24.53
Current children cumulated vsize (KiB) 1912644

[startup+3.10159 s]
/proc/loadavg: 29.68 31.36 31.69 33/445 2937
/proc/meminfo: memFree=262026852/264257624 swapFree=67111528/67111528
[pid=2905] ppid=2903 vsize=1913988 CPUtime=75.41 cores=0-31
/proc/2905/stat : 2905 (claspmt) R 2903 2905 2875 0 -1 4202496 52408 0 0 0 7274 267 0 0 18 0 32 0 35279679 1959923712 45726 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668588 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/2905/statm: 478497 45726 461 189 0 472846 0
[pid=2905/tid=2907] ppid=2903 vsize=1913988 CPUtime=2.32 cores=0-31
/proc/2905/task/2907/stat : 2907 (claspmt) R 2903 2905 2875 0 -1 4202560 1324 0 0 0 224 8 0 0 18 0 32 0 35279725 1959923712 45726 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=2905/tid=2908] ppid=2903 vsize=1913988 CPUtime=2.3 cores=0-31
/proc/2905/task/2908/stat : 2908 (claspmt) R 2903 2905 2875 0 -1 4202560 2041 0 0 0 221 9 0 0 18 0 32 0 35279725 1959923712 45726 270582939648 4194304 4964800 140734334264000 18446744073709551615 4669276 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=2905/tid=2909] ppid=2903 vsize=1913988 CPUtime=2.33 cores=0-31
/proc/2905/task/2909/stat : 2909 (claspmt) R 2903 2905 2875 0 -1 4202560 1605 0 0 0 225 8 0 0 19 0 32 0 35279725 1959923712 45726 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2905/tid=2910] ppid=2903 vsize=1913988 CPUtime=2.32 cores=0-31
/proc/2905/task/2910/stat : 2910 (claspmt) R 2903 2905 2875 0 -1 4202560 1526 0 0 0 223 9 0 0 18 0 32 0 35279725 1959923712 45726 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=2905/tid=2911] ppid=2903 vsize=1913988 CPUtime=2.45 cores=0-31
/proc/2905/task/2911/stat : 2911 (claspmt) R 2903 2905 2875 0 -1 4202560 1043 0 0 0 238 7 0 0 21 0 32 0 35279725 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=2905/tid=2912] ppid=2903 vsize=1913988 CPUtime=2.35 cores=0-31
/proc/2905/task/2912/stat : 2912 (claspmt) R 2903 2905 2875 0 -1 4202560 1539 0 0 0 225 10 0 0 18 0 32 0 35279725 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=2905/tid=2913] ppid=2903 vsize=1913988 CPUtime=2.34 cores=0-31
/proc/2905/task/2913/stat : 2913 (claspmt) R 2903 2905 2875 0 -1 4202560 1688 0 0 0 223 11 0 0 19 0 32 0 35279725 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=2905/tid=2914] ppid=2903 vsize=1913988 CPUtime=2.32 cores=0-31
/proc/2905/task/2914/stat : 2914 (claspmt) R 2903 2905 2875 0 -1 4202560 1336 0 0 0 223 9 0 0 19 0 32 0 35279725 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4660114 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=2905/tid=2915] ppid=2903 vsize=1913988 CPUtime=2.33 cores=0-31
/proc/2905/task/2915/stat : 2915 (claspmt) R 2903 2905 2875 0 -1 4202560 1348 0 0 0 225 8 0 0 18 0 32 0 35279725 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4380234 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2905/tid=2916] ppid=2903 vsize=1913988 CPUtime=2.32 cores=0-31
/proc/2905/task/2916/stat : 2916 (claspmt) R 2903 2905 2875 0 -1 4202560 1891 0 0 0 223 9 0 0 18 0 32 0 35279725 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=2905/tid=2917] ppid=2903 vsize=1913988 CPUtime=2.33 cores=0-31
/proc/2905/task/2917/stat : 2917 (claspmt) R 2903 2905 2875 0 -1 4202560 1540 0 0 0 225 8 0 0 19 0 32 0 35279725 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4342193 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=2905/tid=2918] ppid=2903 vsize=1913988 CPUtime=2.32 cores=0-31
/proc/2905/task/2918/stat : 2918 (claspmt) R 2903 2905 2875 0 -1 4202560 1456 0 0 0 224 8 0 0 19 0 32 0 35279725 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4669352 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=2905/tid=2919] ppid=2903 vsize=1913988 CPUtime=2.38 cores=0-31
/proc/2905/task/2919/stat : 2919 (claspmt) R 2903 2905 2875 0 -1 4202560 1029 0 0 0 231 7 0 0 21 0 32 0 35279725 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=2905/tid=2920] ppid=2903 vsize=1913988 CPUtime=2.33 cores=0-31
/proc/2905/task/2920/stat : 2920 (claspmt) R 2903 2905 2875 0 -1 4202560 1505 0 0 0 225 8 0 0 19 0 32 0 35279725 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4361114 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=2905/tid=2921] ppid=2903 vsize=1913988 CPUtime=2.34 cores=0-31
/proc/2905/task/2921/stat : 2921 (claspmt) R 2903 2905 2875 0 -1 4202560 1804 0 0 0 223 11 0 0 18 0 32 0 35279726 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=2905/tid=2922] ppid=2903 vsize=1913988 CPUtime=2.31 cores=0-31
/proc/2905/task/2922/stat : 2922 (claspmt) R 2903 2905 2875 0 -1 4202560 1385 0 0 0 225 6 0 0 19 0 32 0 35279726 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=2905/tid=2923] ppid=2903 vsize=1913988 CPUtime=2.32 cores=0-31
/proc/2905/task/2923/stat : 2923 (claspmt) R 2903 2905 2875 0 -1 4202560 1321 0 0 0 224 8 0 0 19 0 32 0 35279726 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=2905/tid=2924] ppid=2903 vsize=1913988 CPUtime=2.29 cores=0-31
/proc/2905/task/2924/stat : 2924 (claspmt) R 2903 2905 2875 0 -1 4202560 2194 0 0 0 222 7 0 0 19 0 32 0 35279726 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=2905/tid=2925] ppid=2903 vsize=1913988 CPUtime=2.32 cores=0-31
/proc/2905/task/2925/stat : 2925 (claspmt) R 2903 2905 2875 0 -1 4202560 1672 0 0 0 224 8 0 0 18 0 32 0 35279726 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=2905/tid=2926] ppid=2903 vsize=1913988 CPUtime=2.33 cores=0-31
/proc/2905/task/2926/stat : 2926 (claspmt) R 2903 2905 2875 0 -1 4202560 1419 0 0 0 225 8 0 0 18 0 32 0 35279726 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=2905/tid=2927] ppid=2903 vsize=1913988 CPUtime=2.45 cores=0-31
/proc/2905/task/2927/stat : 2927 (claspmt) R 2903 2905 2875 0 -1 4202560 1076 0 0 0 238 7 0 0 18 0 32 0 35279726 1959923712 45727 270582939648 4194304 4964800 140734334264000 18446744073709551615 4669996 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=2905/tid=2928] ppid=2903 vsize=1913988 CPUtime=2.33 cores=0-31
/proc/2905/task/2928/stat : 2928 (claspmt) R 2903 2905 2875 0 -1 4202560 1607 0 0 0 225 8 0 0 19 0 32 0 35279726 1959923712 45728 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668766 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=2905/tid=2929] ppid=2903 vsize=1913988 CPUtime=2.33 cores=0-31
/proc/2905/task/2929/stat : 2929 (claspmt) R 2903 2905 2875 0 -1 4202560 1622 0 0 0 225 8 0 0 19 0 32 0 35279726 1959923712 45728 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=2905/tid=2930] ppid=2903 vsize=1913988 CPUtime=2.3 cores=0-31
/proc/2905/task/2930/stat : 2930 (claspmt) R 2903 2905 2875 0 -1 4202560 1396 0 0 0 223 7 0 0 19 0 32 0 35279726 1959923712 45728 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=2905/tid=2931] ppid=2903 vsize=1913988 CPUtime=2.32 cores=0-31
/proc/2905/task/2931/stat : 2931 (claspmt) R 2903 2905 2875 0 -1 4202560 1279 0 0 0 225 7 0 0 18 0 32 0 35279726 1959923712 45728 270582939648 4194304 4964800 140734334264000 18446744073709551615 4654488 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=2905/tid=2932] ppid=2903 vsize=1913988 CPUtime=2.32 cores=0-31
/proc/2905/task/2932/stat : 2932 (claspmt) R 2903 2905 2875 0 -1 4202560 1826 0 0 0 224 8 0 0 19 0 32 0 35279726 1959923712 45728 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=2905/tid=2933] ppid=2903 vsize=1913988 CPUtime=2.31 cores=0-31
/proc/2905/task/2933/stat : 2933 (claspmt) R 2903 2905 2875 0 -1 4202560 1601 0 0 0 224 7 0 0 19 0 32 0 35279726 1959923712 45728 270582939648 4194304 4964800 140734334264000 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=2905/tid=2934] ppid=2903 vsize=1913988 CPUtime=2.3 cores=0-31
/proc/2905/task/2934/stat : 2934 (claspmt) R 2903 2905 2875 0 -1 4202560 1475 0 0 0 223 7 0 0 19 0 32 0 35279726 1959923712 45728 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=2905/tid=2935] ppid=2903 vsize=1913988 CPUtime=2.47 cores=0-31
/proc/2905/task/2935/stat : 2935 (claspmt) R 2903 2905 2875 0 -1 4202560 1023 0 0 0 241 6 0 0 21 0 32 0 35279726 1959923712 45728 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=2905/tid=2936] ppid=2903 vsize=1913988 CPUtime=2.33 cores=0-31

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

/proc/2905/task/2907/stat : 2907 (claspmt) R 2903 2905 2875 0 -1 4202560 6982 0 0 0 51713 21 0 0 25 0 32 0 35279725 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=2905/tid=2908] ppid=2903 vsize=1965328 CPUtime=517.37 cores=0-31
/proc/2905/task/2908/stat : 2908 (claspmt) R 2903 2905 2875 0 -1 4202560 14455 0 0 0 51703 34 0 0 25 0 32 0 35279725 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=2905/tid=2909] ppid=2903 vsize=1965328 CPUtime=513.81 cores=0-31
/proc/2905/task/2909/stat : 2909 (claspmt) R 2903 2905 2875 0 -1 4202560 6034 0 0 0 51357 24 0 0 25 0 32 0 35279725 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2905/tid=2910] ppid=2903 vsize=1965328 CPUtime=517.13 cores=0-31
/proc/2905/task/2910/stat : 2910 (claspmt) R 2903 2905 2875 0 -1 4202560 8045 0 0 0 51684 29 0 0 25 0 32 0 35279725 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=2905/tid=2911] ppid=2903 vsize=1965328 CPUtime=517.45 cores=0-31
/proc/2905/task/2911/stat : 2911 (claspmt) R 2903 2905 2875 0 -1 4202560 9148 0 0 0 51714 31 0 0 25 0 32 0 35279725 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=2905/tid=2912] ppid=2903 vsize=1965328 CPUtime=517.16 cores=0-31
/proc/2905/task/2912/stat : 2912 (claspmt) R 2903 2905 2875 0 -1 4202560 6477 0 0 0 51690 26 0 0 25 0 32 0 35279725 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=2905/tid=2913] ppid=2903 vsize=1965328 CPUtime=517.38 cores=0-31
/proc/2905/task/2913/stat : 2913 (claspmt) R 2903 2905 2875 0 -1 4202560 17409 0 0 0 51671 67 0 0 25 0 32 0 35279725 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=2905/tid=2914] ppid=2903 vsize=1965328 CPUtime=517.35 cores=0-31
/proc/2905/task/2914/stat : 2914 (claspmt) R 2903 2905 2875 0 -1 4202560 5651 0 0 0 51708 27 0 0 25 0 32 0 35279725 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=2905/tid=2915] ppid=2903 vsize=1965328 CPUtime=516.69 cores=0-31
/proc/2905/task/2915/stat : 2915 (claspmt) R 2903 2905 2875 0 -1 4202560 7160 0 0 0 51649 20 0 0 25 0 32 0 35279725 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2905/tid=2916] ppid=2903 vsize=1965328 CPUtime=517.37 cores=0-31
/proc/2905/task/2916/stat : 2916 (claspmt) R 2903 2905 2875 0 -1 4202560 14294 0 0 0 51702 35 0 0 25 0 32 0 35279725 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=2905/tid=2917] ppid=2903 vsize=1965328 CPUtime=517.38 cores=0-31
/proc/2905/task/2917/stat : 2917 (claspmt) R 2903 2905 2875 0 -1 4202560 5950 0 0 0 51717 21 0 0 25 0 32 0 35279725 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=2905/tid=2918] ppid=2903 vsize=1965328 CPUtime=517.38 cores=0-31
/proc/2905/task/2918/stat : 2918 (claspmt) R 2903 2905 2875 0 -1 4202560 8771 0 0 0 51709 29 0 0 25 0 32 0 35279725 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=2905/tid=2919] ppid=2903 vsize=1965328 CPUtime=517.31 cores=0-31
/proc/2905/task/2919/stat : 2919 (claspmt) R 2903 2905 2875 0 -1 4202560 8139 0 0 0 51704 27 0 0 25 0 32 0 35279725 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=2905/tid=2920] ppid=2903 vsize=1965328 CPUtime=517.38 cores=0-31
/proc/2905/task/2920/stat : 2920 (claspmt) R 2903 2905 2875 0 -1 4202560 5748 0 0 0 51718 20 0 0 25 0 32 0 35279725 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=2905/tid=2921] ppid=2903 vsize=1965328 CPUtime=517.38 cores=0-31
/proc/2905/task/2921/stat : 2921 (claspmt) R 2903 2905 2875 0 -1 4202560 19163 0 0 0 51669 69 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668805 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=2905/tid=2922] ppid=2903 vsize=1965328 CPUtime=517.36 cores=0-31
/proc/2905/task/2922/stat : 2922 (claspmt) R 2903 2905 2875 0 -1 4202560 5588 0 0 0 51713 23 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=2905/tid=2923] ppid=2903 vsize=1965328 CPUtime=517.37 cores=0-31
/proc/2905/task/2923/stat : 2923 (claspmt) R 2903 2905 2875 0 -1 4202560 6773 0 0 0 51716 21 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=2905/tid=2924] ppid=2903 vsize=1965328 CPUtime=515.65 cores=0-31
/proc/2905/task/2924/stat : 2924 (claspmt) R 2903 2905 2875 0 -1 4202560 13818 0 0 0 51530 35 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=2905/tid=2925] ppid=2903 vsize=1965328 CPUtime=517.37 cores=0-31
/proc/2905/task/2925/stat : 2925 (claspmt) R 2903 2905 2875 0 -1 4202560 5521 0 0 0 51716 21 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=2905/tid=2926] ppid=2903 vsize=1965328 CPUtime=517.37 cores=0-31
/proc/2905/task/2926/stat : 2926 (claspmt) R 2903 2905 2875 0 -1 4202560 8248 0 0 0 51708 29 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=2905/tid=2927] ppid=2903 vsize=1965328 CPUtime=517.35 cores=0-31
/proc/2905/task/2927/stat : 2927 (claspmt) R 2903 2905 2875 0 -1 4202560 8779 0 0 0 51709 26 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=2905/tid=2928] ppid=2903 vsize=1965328 CPUtime=517.36 cores=0-31
/proc/2905/task/2928/stat : 2928 (claspmt) R 2903 2905 2875 0 -1 4202560 6379 0 0 0 51713 23 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670514 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=2905/tid=2929] ppid=2903 vsize=1965328 CPUtime=517.36 cores=0-31
/proc/2905/task/2929/stat : 2929 (claspmt) R 2903 2905 2875 0 -1 4202560 18052 0 0 0 51670 66 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=2905/tid=2930] ppid=2903 vsize=1965328 CPUtime=514.43 cores=0-31
/proc/2905/task/2930/stat : 2930 (claspmt) R 2903 2905 2875 0 -1 4202560 5290 0 0 0 51420 23 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=2905/tid=2931] ppid=2903 vsize=1965328 CPUtime=517.36 cores=0-31
/proc/2905/task/2931/stat : 2931 (claspmt) R 2903 2905 2875 0 -1 4202560 7216 0 0 0 51714 22 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=2905/tid=2932] ppid=2903 vsize=1965328 CPUtime=517.39 cores=0-31
/proc/2905/task/2932/stat : 2932 (claspmt) R 2903 2905 2875 0 -1 4202560 13476 0 0 0 51713 26 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=2905/tid=2933] ppid=2903 vsize=1965328 CPUtime=511.06 cores=0-31
/proc/2905/task/2933/stat : 2933 (claspmt) R 2903 2905 2875 0 -1 4202560 6802 0 0 0 51083 23 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=2905/tid=2934] ppid=2903 vsize=1965328 CPUtime=517.37 cores=0-31
/proc/2905/task/2934/stat : 2934 (claspmt) R 2903 2905 2875 0 -1 4202560 7867 0 0 0 51707 30 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=2905/tid=2935] ppid=2903 vsize=1965328 CPUtime=517.53 cores=0-31
/proc/2905/task/2935/stat : 2935 (claspmt) R 2903 2905 2875 0 -1 4202560 9136 0 0 0 51722 31 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=2905/tid=2936] ppid=2903 vsize=1965328 CPUtime=517.39 cores=0-31
/proc/2905/task/2936/stat : 2936 (claspmt) R 2903 2905 2875 0 -1 4202560 6156 0 0 0 51714 25 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=2905/tid=2937] ppid=2903 vsize=1965328 CPUtime=517.34 cores=0-31
/proc/2905/task/2937/stat : 2937 (claspmt) R 2903 2905 2875 0 -1 4202560 18319 0 0 0 51665 69 0 0 25 0 32 0 35279726 2012495872 291050 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 16540.8
Current children cumulated vsize (KiB) 1965328

[startup+519.902 s]
/proc/loadavg: 32.06 31.94 31.84 33/445 2954
/proc/meminfo: memFree=261018628/264257624 swapFree=67111528/67111528
[pid=2905] ppid=2903 vsize=1965328 CPUtime=16591.9 cores=0-31
/proc/2905/stat : 2905 (claspmt) R 2903 2905 2875 0 -1 4202496 300664 0 0 0 1658184 1010 0 0 25 0 32 0 35279679 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/2905/statm: 491332 291076 463 189 0 485681 0
[pid=2905/tid=2907] ppid=2903 vsize=1965328 CPUtime=518.94 cores=0-31
/proc/2905/task/2907/stat : 2907 (claspmt) R 2903 2905 2875 0 -1 4202560 6982 0 0 0 51873 21 0 0 25 0 32 0 35279725 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=2905/tid=2908] ppid=2903 vsize=1965328 CPUtime=518.97 cores=0-31
/proc/2905/task/2908/stat : 2908 (claspmt) R 2903 2905 2875 0 -1 4202560 14456 0 0 0 51863 34 0 0 25 0 32 0 35279725 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=2905/tid=2909] ppid=2903 vsize=1965328 CPUtime=515.41 cores=0-31
/proc/2905/task/2909/stat : 2909 (claspmt) R 2903 2905 2875 0 -1 4202560 6034 0 0 0 51517 24 0 0 25 0 32 0 35279725 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2905/tid=2910] ppid=2903 vsize=1965328 CPUtime=518.73 cores=0-31
/proc/2905/task/2910/stat : 2910 (claspmt) R 2903 2905 2875 0 -1 4202560 8045 0 0 0 51844 29 0 0 25 0 32 0 35279725 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=2905/tid=2911] ppid=2903 vsize=1965328 CPUtime=519.05 cores=0-31
/proc/2905/task/2911/stat : 2911 (claspmt) R 2903 2905 2875 0 -1 4202560 9148 0 0 0 51874 31 0 0 25 0 32 0 35279725 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=2905/tid=2912] ppid=2903 vsize=1965328 CPUtime=518.76 cores=0-31
/proc/2905/task/2912/stat : 2912 (claspmt) R 2903 2905 2875 0 -1 4202560 6477 0 0 0 51850 26 0 0 25 0 32 0 35279725 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=2905/tid=2913] ppid=2903 vsize=1965328 CPUtime=518.98 cores=0-31
/proc/2905/task/2913/stat : 2913 (claspmt) R 2903 2905 2875 0 -1 4202560 17409 0 0 0 51831 67 0 0 25 0 32 0 35279725 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=2905/tid=2914] ppid=2903 vsize=1965328 CPUtime=518.95 cores=0-31
/proc/2905/task/2914/stat : 2914 (claspmt) R 2903 2905 2875 0 -1 4202560 5651 0 0 0 51868 27 0 0 25 0 32 0 35279725 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=2905/tid=2915] ppid=2903 vsize=1965328 CPUtime=518.29 cores=0-31
/proc/2905/task/2915/stat : 2915 (claspmt) R 2903 2905 2875 0 -1 4202560 7160 0 0 0 51809 20 0 0 25 0 32 0 35279725 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2905/tid=2916] ppid=2903 vsize=1965328 CPUtime=518.97 cores=0-31
/proc/2905/task/2916/stat : 2916 (claspmt) R 2903 2905 2875 0 -1 4202560 14294 0 0 0 51862 35 0 0 25 0 32 0 35279725 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=2905/tid=2917] ppid=2903 vsize=1965328 CPUtime=518.98 cores=0-31
/proc/2905/task/2917/stat : 2917 (claspmt) R 2903 2905 2875 0 -1 4202560 5950 0 0 0 51877 21 0 0 25 0 32 0 35279725 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=2905/tid=2918] ppid=2903 vsize=1965328 CPUtime=518.98 cores=0-31
/proc/2905/task/2918/stat : 2918 (claspmt) R 2903 2905 2875 0 -1 4202560 8775 0 0 0 51869 29 0 0 25 0 32 0 35279725 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4380234 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=2905/tid=2919] ppid=2903 vsize=1965328 CPUtime=518.91 cores=0-31
/proc/2905/task/2919/stat : 2919 (claspmt) R 2903 2905 2875 0 -1 4202560 8139 0 0 0 51864 27 0 0 25 0 32 0 35279725 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=2905/tid=2920] ppid=2903 vsize=1965328 CPUtime=518.98 cores=0-31
/proc/2905/task/2920/stat : 2920 (claspmt) R 2903 2905 2875 0 -1 4202560 5748 0 0 0 51878 20 0 0 25 0 32 0 35279725 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=2905/tid=2921] ppid=2903 vsize=1965328 CPUtime=518.98 cores=0-31
/proc/2905/task/2921/stat : 2921 (claspmt) R 2903 2905 2875 0 -1 4202560 19163 0 0 0 51829 69 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=2905/tid=2922] ppid=2903 vsize=1965328 CPUtime=518.96 cores=0-31
/proc/2905/task/2922/stat : 2922 (claspmt) R 2903 2905 2875 0 -1 4202560 5588 0 0 0 51873 23 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=2905/tid=2923] ppid=2903 vsize=1965328 CPUtime=518.97 cores=0-31
/proc/2905/task/2923/stat : 2923 (claspmt) R 2903 2905 2875 0 -1 4202560 6773 0 0 0 51876 21 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4683700 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=2905/tid=2924] ppid=2903 vsize=1965328 CPUtime=517.25 cores=0-31
/proc/2905/task/2924/stat : 2924 (claspmt) R 2903 2905 2875 0 -1 4202560 13818 0 0 0 51690 35 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=2905/tid=2925] ppid=2903 vsize=1965328 CPUtime=518.96 cores=0-31
/proc/2905/task/2925/stat : 2925 (claspmt) R 2903 2905 2875 0 -1 4202560 5521 0 0 0 51875 21 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=2905/tid=2926] ppid=2903 vsize=1965328 CPUtime=518.96 cores=0-31
/proc/2905/task/2926/stat : 2926 (claspmt) R 2903 2905 2875 0 -1 4202560 8248 0 0 0 51867 29 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=2905/tid=2927] ppid=2903 vsize=1965328 CPUtime=518.95 cores=0-31
/proc/2905/task/2927/stat : 2927 (claspmt) R 2903 2905 2875 0 -1 4202560 8780 0 0 0 51869 26 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=2905/tid=2928] ppid=2903 vsize=1965328 CPUtime=518.96 cores=0-31
/proc/2905/task/2928/stat : 2928 (claspmt) R 2903 2905 2875 0 -1 4202560 6379 0 0 0 51873 23 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=2905/tid=2929] ppid=2903 vsize=1965328 CPUtime=518.96 cores=0-31
/proc/2905/task/2929/stat : 2929 (claspmt) R 2903 2905 2875 0 -1 4202560 18052 0 0 0 51830 66 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=2905/tid=2930] ppid=2903 vsize=1965328 CPUtime=515.99 cores=0-31
/proc/2905/task/2930/stat : 2930 (claspmt) R 2903 2905 2875 0 -1 4202560 5291 0 0 0 51576 23 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=2905/tid=2931] ppid=2903 vsize=1965328 CPUtime=518.96 cores=0-31
/proc/2905/task/2931/stat : 2931 (claspmt) R 2903 2905 2875 0 -1 4202560 7216 0 0 0 51874 22 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=2905/tid=2932] ppid=2903 vsize=1965328 CPUtime=518.99 cores=0-31
/proc/2905/task/2932/stat : 2932 (claspmt) R 2903 2905 2875 0 -1 4202560 13476 0 0 0 51873 26 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=2905/tid=2933] ppid=2903 vsize=1965328 CPUtime=512.66 cores=0-31
/proc/2905/task/2933/stat : 2933 (claspmt) R 2903 2905 2875 0 -1 4202560 6855 0 0 0 51243 23 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=2905/tid=2934] ppid=2903 vsize=1965328 CPUtime=518.96 cores=0-31
/proc/2905/task/2934/stat : 2934 (claspmt) R 2903 2905 2875 0 -1 4202560 7867 0 0 0 51866 30 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=2905/tid=2935] ppid=2903 vsize=1965328 CPUtime=519.13 cores=0-31
/proc/2905/task/2935/stat : 2935 (claspmt) R 2903 2905 2875 0 -1 4202560 9136 0 0 0 51882 31 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=2905/tid=2936] ppid=2903 vsize=1965328 CPUtime=518.99 cores=0-31
/proc/2905/task/2936/stat : 2936 (claspmt) R 2903 2905 2875 0 -1 4202560 6156 0 0 0 51874 25 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=2905/tid=2937] ppid=2903 vsize=1965328 CPUtime=518.94 cores=0-31
/proc/2905/task/2937/stat : 2937 (claspmt) R 2903 2905 2875 0 -1 4202560 18319 0 0 0 51825 69 0 0 25 0 32 0 35279726 2012495872 291076 270582939648 4194304 4964800 140734334264000 18446744073709551615 4313853 0 0 4096 18946 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 16591.9
Current children cumulated vsize (KiB) 1965328

[startup+520.702 s]
/proc/loadavg: 32.06 31.94 31.84 33/445 2954
/proc/meminfo: memFree=261018628/264257624 swapFree=67111528/67111528
[pid=2905] ppid=2903 vsize=1965328 CPUtime=16616.7 cores=0-31
/proc/2905/stat : 2905 (claspmt) R 2903 2905 2875 0 -1 4202496 300679 0 0 0 1660610 1057 0 0 18 0 10 0 35279679 2012495872 290180 270582939648 4194304 4964800 140734334264000 18446744073709551615 4647751 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/2905/statm: 491332 290180 464 189 0 485681 0
[pid=2905/tid=2907] ppid=2903 vsize=1965328 CPUtime=519.74 cores=0-31
/proc/2905/task/2907/stat : 2907 (claspmt) R 2903 2905 2875 0 -1 4202560 6982 0 0 0 51952 22 0 0 18 0 10 0 35279725 2012495872 290180 270582939648 4194304 4964800 140734334264000 18446744073709551615 258650604560 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=2905/tid=2908] ppid=2903 vsize=1965328 CPUtime=519.76 cores=0-31
/proc/2905/task/2908/stat : 2908 (claspmt) R 2903 2905 2875 0 -1 4202560 14456 0 0 0 51941 35 0 0 18 0 10 0 35279725 2012495872 290180 270582939648 4194304 4964800 140734334264000 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=2905/tid=2910] ppid=2903 vsize=1965328 CPUtime=519.52 cores=0-31
/proc/2905/task/2910/stat : 2910 (claspmt) R 2903 2905 2875 0 -1 4202560 8045 0 0 0 51922 30 0 0 17 0 10 0 35279725 2012495872 290180 270582939648 4194304 4964800 140734334264000 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=2905/tid=2915] ppid=2903 vsize=1965328 CPUtime=519.08 cores=0-31
/proc/2905/task/2915/stat : 2915 (claspmt) R 2903 2905 2875 0 -1 4202560 7160 0 0 0 51886 22 0 0 18 0 10 0 35279725 2012495872 290180 270582939648 4194304 4964800 140734334264000 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2905/tid=2920] ppid=2903 vsize=1965328 CPUtime=519.78 cores=0-31
/proc/2905/task/2920/stat : 2920 (claspmt) S 2903 2905 2875 0 -1 4202560 5748 0 0 0 51955 23 0 0 18 0 10 0 35279725 2012495872 290180 270582939648 4194304 4964800 140734334264000 18446744073709551615 258651060958 0 0 4096 18946 18446744071566927144 0 0 -1 20 0 0 0
[pid=2905/tid=2923] ppid=2903 vsize=1965328 CPUtime=519.77 cores=0-31
/proc/2905/task/2923/stat : 2923 (claspmt) R 2903 2905 2875 0 -1 4202560 6773 0 0 0 51954 23 0 0 18 0 10 0 35279726 2012495872 290180 270582939648 4194304 4964800 140734334264000 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=2905/tid=2924] ppid=2903 vsize=1965328 CPUtime=518.05 cores=0-31
/proc/2905/task/2924/stat : 2924 (claspmt) R 2903 2905 2875 0 -1 4202560 13818 0 0 0 51768 37 0 0 17 0 10 0 35279726 2012495872 290180 270582939648 4194304 4964800 140734334264000 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=2905/tid=2928] ppid=2903 vsize=1965328 CPUtime=519.76 cores=0-31
/proc/2905/task/2928/stat : 2928 (claspmt) R 2903 2905 2875 0 -1 4202560 6379 0 0 0 51951 25 0 0 18 0 10 0 35279726 2012495872 290180 270582939648 4194304 4964800 140734334264000 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=2905/tid=2933] ppid=2903 vsize=1965328 CPUtime=513.45 cores=0-31
/proc/2905/task/2933/stat : 2933 (claspmt) R 2903 2905 2875 0 -1 4202560 6858 0 0 0 51321 24 0 0 18 0 10 0 35279726 2012495872 290180 270582939648 4194304 4964800 140734334264000 18446744073709551615 258651060958 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 16616.7
Current children cumulated vsize (KiB) 1965328

[startup+521.101 s]
/proc/loadavg: 32.06 31.94 31.84 33/445 2954
/proc/meminfo: memFree=261018628/264257624 swapFree=67111528/67111528
[pid=2905] ppid=2903 vsize=0 CPUtime=16617.1 cores=0-31
/proc/2905/stat : 2905 (claspmt) R 2903 2905 2875 0 -1 4202500 300690 0 0 0 1660647 1067 0 0 17 0 1 0 35279679 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/2905/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 16617.1
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 521.11
CPU time (s): 16617.2
CPU user time (s): 16606.5
CPU system time (s): 10.6824
CPU usage (%): 3188.8
Max. virtual memory (cumulated for all children) (KiB): 1965328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16606.5
system time used= 10.6824
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300690
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= 149297
involuntary context switches= 37044

runsolver used 3.12352 second user time and 11.6162 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-10 11:42:08
IDJOB=3472461
IDBENCH=83125
IDSOLVER=1961
FILE ID=node200/3472461-1307698928
RUNJOBID= node200-1307698928-2889
PBS_JOBID= 13549542
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.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-3472461-1307698928/watcher-3472461-1307698928 -o /tmp/evaluation-result-3472461-1307698928/solver-3472461-1307698928 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472461-1307698928.cnf

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

MD5SUM BENCH= 7af4cc1b94644f101ccf5f2373fdbfea
RANDOM SEED=223328251

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:      262178716 kB
Buffers:        266464 kB
Cached:        1496480 kB
SwapCached:          0 kB
Active:         284316 kB
Inactive:      1542240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262178716 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2280 kB
Writeback:           0 kB
AnonPages:       63468 kB
Mapped:          13680 kB
Slab:           173004 kB
PageTables:       4192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   159360 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61740 MiB
End job on node200 at 2011-06-10 11:50:49