Trace number 3472448

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)? (TO) 160003 5008.4

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom15.cnf
MD5SUM1f0914c6141fdba914b73575a12b918a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark58120.8
Satisfiable
(Un)Satisfiability was proved
Number of variables25972
Number of clauses86411
Sum of the clauses size219707
Maximum clause length879
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 245193
Number of clauses of size 340753
Number of clauses of size 4119
Number of clauses of size 513
Number of clauses of size over 5332

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...658212/instance-3472448-1307658212.cnf
0.49/0.51	c Solving...
160000.67/5006.73	
160000.67/5006.73	*** INTERRUPTED! ***
160000.67/5006.73	*** Shutting down threads...
160002.53/5008.39	s UNKNOWN
160002.53/5008.39	
160002.53/5008.39	c INTERRUPTED   : 1
160002.53/5008.39	c Models        : 0+    
160002.53/5008.39	c Time          : 5006.724s (Solving: 5006.22s 1st Model: 0.00s Unsat: 0.00s)
160002.53/5008.39	c CPU Time      : 160000.930s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

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-3472448-1307658212/watcher-3472448-1307658212 -o /tmp/evaluation-result-3472448-1307658212/solver-3472448-1307658212 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472448-1307658212.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: 8.73 24.06 29.18 2/412 32377
/proc/meminfo: memFree=262186116/264257624 swapFree=67111528/67111528
[pid=32377] ppid=32375 vsize=26688 CPUtime=0.02 cores=0-31
/proc/32377/stat : 32377 (claspmt) R 32375 32377 32347 0 -1 4202496 2140 0 0 0 2 0 0 0 21 0 1 0 31208104 27328512 1866 270582939648 4194304 4964800 140736450811872 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 26 0 0 0
/proc/32377/statm: 6672 1866 386 189 0 1546 0

[startup+0.111322 s]
/proc/loadavg: 8.73 24.06 29.18 2/412 32377
/proc/meminfo: memFree=262186116/264257624 swapFree=67111528/67111528
[pid=32377] ppid=32375 vsize=32452 CPUtime=0.1 cores=0-31
/proc/32377/stat : 32377 (claspmt) R 32375 32377 32347 0 -1 4202496 4091 0 0 0 9 1 0 0 21 0 1 0 31208104 33230848 3272 270582939648 4194304 4964800 140736450811872 18446744073709551615 4618033 0 0 4096 18946 0 0 0 17 26 0 0 0
/proc/32377/statm: 8113 3272 396 189 0 2987 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 32452

[startup+0.201343 s]
/proc/loadavg: 8.73 24.06 29.18 2/412 32377
/proc/meminfo: memFree=262186116/264257624 swapFree=67111528/67111528
[pid=32377] ppid=32375 vsize=34632 CPUtime=0.19 cores=0-31
/proc/32377/stat : 32377 (claspmt) R 32375 32377 32347 0 -1 4202496 4661 0 0 0 18 1 0 0 22 0 1 0 31208104 35463168 3842 270582939648 4194304 4964800 140736450811872 18446744073709551615 4613960 0 0 4096 18946 0 0 0 17 26 0 0 0
/proc/32377/statm: 8658 3843 401 189 0 3532 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34632

[startup+0.301366 s]
/proc/loadavg: 8.73 24.06 29.18 2/412 32377
/proc/meminfo: memFree=262186116/264257624 swapFree=67111528/67111528
[pid=32377] ppid=32375 vsize=35952 CPUtime=0.29 cores=0-31
/proc/32377/stat : 32377 (claspmt) R 32375 32377 32347 0 -1 4202496 4989 0 0 0 28 1 0 0 22 0 1 0 31208104 36814848 4170 270582939648 4194304 4964800 140736450811872 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 26 0 0 0
/proc/32377/statm: 8988 4170 401 189 0 3862 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35952

[startup+0.701267 s]
/proc/loadavg: 8.73 24.06 29.18 2/412 32377
/proc/meminfo: memFree=262186116/264257624 swapFree=67111528/67111528
[pid=32377] ppid=32375 vsize=1982236 CPUtime=2.9 cores=0-31
/proc/32377/stat : 32377 (claspmt) S 32375 32377 32347 0 -1 4202496 30555 0 0 0 66 224 0 0 18 0 32 0 31208104 2029809664 23029 270582939648 4194304 4964800 140736450811872 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 26 0 0 0
/proc/32377/statm: 495559 23031 433 189 0 489908 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 1982236

[startup+1.50322 s]
/proc/loadavg: 8.73 24.06 29.18 33/444 32409
/proc/meminfo: memFree=262061984/264257624 swapFree=67111528/67111528
[pid=32377] ppid=32375 vsize=1983924 CPUtime=22.38 cores=0-31
/proc/32377/stat : 32377 (claspmt) R 32375 32377 32347 0 -1 4202496 42787 0 0 0 1980 258 0 0 16 0 32 0 31208104 2031538176 35261 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668900 0 0 4096 18946 18446744073709551615 0 0 17 26 0 0 0
/proc/32377/statm: 495981 35263 461 189 0 490330 0
[pid=32377/tid=32379] ppid=32375 vsize=1983924 CPUtime=0.63 cores=0-31
/proc/32377/task/32379/stat : 32379 (claspmt) R 32375 32377 32347 0 -1 4202560 820 0 0 0 58 5 0 0 16 0 32 0 31208156 2031538176 35264 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=32377/tid=32380] ppid=32375 vsize=1983924 CPUtime=0.68 cores=0-31
/proc/32377/task/32380/stat : 32380 (claspmt) R 32375 32377 32347 0 -1 4202560 1293 0 0 0 60 8 0 0 17 0 32 0 31208156 2031538176 35265 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=32377/tid=32381] ppid=32375 vsize=1983924 CPUtime=0.69 cores=0-31
/proc/32377/task/32381/stat : 32381 (claspmt) R 32375 32377 32347 0 -1 4202560 1299 0 0 0 60 9 0 0 17 0 32 0 31208156 2031538176 35265 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32377/tid=32382] ppid=32375 vsize=1983924 CPUtime=0.67 cores=0-31
/proc/32377/task/32382/stat : 32382 (claspmt) R 32375 32377 32347 0 -1 4202560 1140 0 0 0 59 8 0 0 17 0 32 0 31208156 2031538176 35265 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669973 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=32377/tid=32383] ppid=32375 vsize=1983924 CPUtime=0.75 cores=0-31
/proc/32377/task/32383/stat : 32383 (claspmt) R 32375 32377 32347 0 -1 4202560 1033 0 0 0 67 8 0 0 18 0 32 0 31208156 2031538176 35265 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=32377/tid=32384] ppid=32375 vsize=1983924 CPUtime=0.67 cores=0-31
/proc/32377/task/32384/stat : 32384 (claspmt) R 32375 32377 32347 0 -1 4202560 1305 0 0 0 60 7 0 0 17 0 32 0 31208156 2031538176 35265 270582939648 4194304 4964800 140736450811872 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=32377/tid=32385] ppid=32375 vsize=1983924 CPUtime=0.68 cores=0-31
/proc/32377/task/32385/stat : 32385 (claspmt) R 32375 32377 32347 0 -1 4202560 1257 0 0 0 59 9 0 0 17 0 32 0 31208156 2031538176 35268 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668763 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=32377/tid=32386] ppid=32375 vsize=1983924 CPUtime=0.68 cores=0-31
/proc/32377/task/32386/stat : 32386 (claspmt) R 32375 32377 32347 0 -1 4202560 1086 0 0 0 59 9 0 0 17 0 32 0 31208156 2031538176 35268 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32377/tid=32387] ppid=32375 vsize=1983924 CPUtime=0.63 cores=0-31
/proc/32377/task/32387/stat : 32387 (claspmt) R 32375 32377 32347 0 -1 4202560 1017 0 0 0 57 6 0 0 16 0 32 0 31208156 2031538176 35268 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=32377/tid=32388] ppid=32375 vsize=1983924 CPUtime=0.67 cores=0-31
/proc/32377/task/32388/stat : 32388 (claspmt) R 32375 32377 32347 0 -1 4202560 1344 0 0 0 59 8 0 0 17 0 32 0 31208156 2031538176 35268 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=32377/tid=32389] ppid=32375 vsize=1983924 CPUtime=0.68 cores=0-31
/proc/32377/task/32389/stat : 32389 (claspmt) R 32375 32377 32347 0 -1 4202560 1393 0 0 0 59 9 0 0 17 0 32 0 31208156 2031538176 35271 270582939648 4194304 4964800 140736450811872 18446744073709551615 4653219 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32377/tid=32390] ppid=32375 vsize=1983924 CPUtime=0.66 cores=0-31
/proc/32377/task/32390/stat : 32390 (claspmt) R 32375 32377 32347 0 -1 4202560 1098 0 0 0 59 7 0 0 17 0 32 0 31208156 2031538176 35277 270582939648 4194304 4964800 140736450811872 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=32377/tid=32391] ppid=32375 vsize=1983924 CPUtime=0.73 cores=0-31
/proc/32377/task/32391/stat : 32391 (claspmt) R 32375 32377 32347 0 -1 4202560 1112 0 0 0 65 8 0 0 18 0 32 0 31208156 2031538176 35279 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670678 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=32377/tid=32392] ppid=32375 vsize=1983924 CPUtime=0.67 cores=0-31
/proc/32377/task/32392/stat : 32392 (claspmt) R 32375 32377 32347 0 -1 4202560 1320 0 0 0 60 7 0 0 17 0 32 0 31208156 2031538176 35279 270582939648 4194304 4964800 140736450811872 18446744073709551615 4683694 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=32377/tid=32393] ppid=32375 vsize=1983924 CPUtime=0.64 cores=0-31
/proc/32377/task/32393/stat : 32393 (claspmt) R 32375 32377 32347 0 -1 4202560 1322 0 0 0 56 8 0 0 17 0 32 0 31208156 2031538176 35279 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=32377/tid=32394] ppid=32375 vsize=1983924 CPUtime=0.67 cores=0-31
/proc/32377/task/32394/stat : 32394 (claspmt) R 32375 32377 32347 0 -1 4202560 1098 0 0 0 59 8 0 0 17 0 32 0 31208156 2031538176 35279 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669471 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=32377/tid=32395] ppid=32375 vsize=1983924 CPUtime=0.67 cores=0-31
/proc/32377/task/32395/stat : 32395 (claspmt) R 32375 32377 32347 0 -1 4202560 1080 0 0 0 59 8 0 0 17 0 32 0 31208156 2031538176 35279 270582939648 4194304 4964800 140736450811872 18446744073709551615 4647780 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32377/tid=32396] ppid=32375 vsize=1983924 CPUtime=0.67 cores=0-31
/proc/32377/task/32396/stat : 32396 (claspmt) R 32375 32377 32347 0 -1 4202560 1361 0 0 0 59 8 0 0 17 0 32 0 31208156 2031538176 35279 270582939648 4194304 4964800 140736450811872 18446744073709551615 4361330 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=32377/tid=32397] ppid=32375 vsize=1983924 CPUtime=0.66 cores=0-31
/proc/32377/task/32397/stat : 32397 (claspmt) R 32375 32377 32347 0 -1 4202560 1320 0 0 0 59 7 0 0 17 0 32 0 31208156 2031538176 35280 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=32377/tid=32398] ppid=32375 vsize=1983924 CPUtime=0.66 cores=0-31
/proc/32377/task/32398/stat : 32398 (claspmt) R 32375 32377 32347 0 -1 4202560 1040 0 0 0 59 7 0 0 17 0 32 0 31208156 2031538176 35280 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=32377/tid=32399] ppid=32375 vsize=1983924 CPUtime=0.77 cores=0-31
/proc/32377/task/32399/stat : 32399 (claspmt) R 32375 32377 32347 0 -1 4202560 1168 0 0 0 70 7 0 0 18 0 32 0 31208156 2031538176 35280 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=32377/tid=32400] ppid=32375 vsize=1983924 CPUtime=0.67 cores=0-31
/proc/32377/task/32400/stat : 32400 (claspmt) R 32375 32377 32347 0 -1 4202560 1246 0 0 0 59 8 0 0 17 0 32 0 31208156 2031538176 35280 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=32377/tid=32401] ppid=32375 vsize=1983924 CPUtime=0.68 cores=0-31
/proc/32377/task/32401/stat : 32401 (claspmt) R 32375 32377 32347 0 -1 4202560 1311 0 0 0 59 9 0 0 17 0 32 0 31208156 2031538176 35281 270582939648 4194304 4964800 140736450811872 18446744073709551615 258650611751 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=32377/tid=32402] ppid=32375 vsize=1983924 CPUtime=0.65 cores=0-31
/proc/32377/task/32402/stat : 32402 (claspmt) R 32375 32377 32347 0 -1 4202560 1087 0 0 0 59 6 0 0 17 0 32 0 31208156 2031538176 35281 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=32377/tid=32403] ppid=32375 vsize=1983924 CPUtime=0.66 cores=0-31
/proc/32377/task/32403/stat : 32403 (claspmt) R 32375 32377 32347 0 -1 4202560 1109 0 0 0 59 7 0 0 17 0 32 0 31208156 2031538176 35281 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=32377/tid=32404] ppid=32375 vsize=1983924 CPUtime=0.66 cores=0-31
/proc/32377/task/32404/stat : 32404 (claspmt) R 32375 32377 32347 0 -1 4202560 1507 0 0 0 58 8 0 0 17 0 32 0 31208156 2031538176 35282 270582939648 4194304 4964800 140736450811872 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=32377/tid=32405] ppid=32375 vsize=1983924 CPUtime=0.66 cores=0-31
/proc/32377/task/32405/stat : 32405 (claspmt) R 32375 32377 32347 0 -1 4202560 1220 0 0 0 59 7 0 0 17 0 32 0 31208157 2031538176 35282 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=32377/tid=32406] ppid=32375 vsize=1983924 CPUtime=0.66 cores=0-31
/proc/32377/task/32406/stat : 32406 (claspmt) R 32375 32377 32347 0 -1 4202560 1111 0 0 0 58 8 0 0 17 0 32 0 31208157 2031538176 35283 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668564 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=32377/tid=32407] ppid=32375 vsize=1983924 CPUtime=0.75 cores=0-31
/proc/32377/task/32407/stat : 32407 (claspmt) R 32375 32377 32347 0 -1 4202560 1103 0 0 0 68 7 0 0 18 0 32 0 31208157 2031538176 35285 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=32377/tid=32408] ppid=32375 vsize=1983924 CPUtime=0.67 cores=0-31
/proc/32377/task/32408/stat : 32408 (claspmt) R 32375 32377 32347 0 -1 4202560 1192 0 0 0 59 8 0 0 17 0 32 0 31208157 2031538176 35285 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=32377/tid=32409] ppid=32375 vsize=1983924 CPUtime=0.64 cores=0-31
/proc/32377/task/32409/stat : 32409 (claspmt) R 32375 32377 32347 0 -1 4202560 1323 0 0 0 56 8 0 0 17 0 32 0 31208157 2031538176 35287 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.38
Current children cumulated vsize (KiB) 1983924

[startup+3.10227 s]
/proc/loadavg: 8.73 24.06 29.18 33/444 32409
/proc/meminfo: memFree=262026080/264257624 swapFree=67111528/67111528
[pid=32377] ppid=32375 vsize=1986452 CPUtime=73.24 cores=0-31
/proc/32377/stat : 32377 (claspmt) R 32375 32377 32347 0 -1 4202496 57783 0 0 0 7023 301 0 0 18 0 32 0 31208104 2034126848 50257 270582939648 4194304 4964800 140736450811872 18446744073709551615 4660384 0 0 4096 18946 18446744073709551615 0 0 17 26 0 0 0
/proc/32377/statm: 496613 50257 461 189 0 490962 0
[pid=32377/tid=32379] ppid=32375 vsize=1986452 CPUtime=2.18 cores=0-31
/proc/32377/task/32379/stat : 32379 (claspmt) R 32375 32377 32347 0 -1 4202560 1259 0 0 0 212 6 0 0 18 0 32 0 31208156 2034126848 50258 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=32377/tid=32380] ppid=32375 vsize=1986452 CPUtime=2.27 cores=0-31
/proc/32377/task/32380/stat : 32380 (claspmt) R 32375 32377 32347 0 -1 4202560 2089 0 0 0 217 10 0 0 19 0 32 0 31208156 2034126848 50258 270582939648 4194304 4964800 140736450811872 18446744073709551615 4345111 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=32377/tid=32381] ppid=32375 vsize=1986452 CPUtime=2.28 cores=0-31
/proc/32377/task/32381/stat : 32381 (claspmt) R 32375 32377 32347 0 -1 4202560 1826 0 0 0 217 11 0 0 18 0 32 0 31208156 2034126848 50258 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32377/tid=32382] ppid=32375 vsize=1986452 CPUtime=2.26 cores=0-31
/proc/32377/task/32382/stat : 32382 (claspmt) R 32375 32377 32347 0 -1 4202560 1728 0 0 0 216 10 0 0 18 0 32 0 31208156 2034126848 50258 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=32377/tid=32383] ppid=32375 vsize=1986452 CPUtime=2.35 cores=0-31
/proc/32377/task/32383/stat : 32383 (claspmt) R 32375 32377 32347 0 -1 4202560 1067 0 0 0 227 8 0 0 20 0 32 0 31208156 2034126848 50259 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=32377/tid=32384] ppid=32375 vsize=1986452 CPUtime=2.26 cores=0-31
/proc/32377/task/32384/stat : 32384 (claspmt) R 32375 32377 32347 0 -1 4202560 1720 0 0 0 217 9 0 0 18 0 32 0 31208156 2034126848 50259 270582939648 4194304 4964800 140736450811872 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=32377/tid=32385] ppid=32375 vsize=1986452 CPUtime=2.27 cores=0-31
/proc/32377/task/32385/stat : 32385 (claspmt) R 32375 32377 32347 0 -1 4202560 1819 0 0 0 216 11 0 0 18 0 32 0 31208156 2034126848 50259 270582939648 4194304 4964800 140736450811872 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=32377/tid=32386] ppid=32375 vsize=1986452 CPUtime=2.28 cores=0-31
/proc/32377/task/32386/stat : 32386 (claspmt) R 32375 32377 32347 0 -1 4202560 1506 0 0 0 218 10 0 0 18 0 32 0 31208156 2034126848 50259 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670412 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32377/tid=32387] ppid=32375 vsize=1986452 CPUtime=2.22 cores=0-31
/proc/32377/task/32387/stat : 32387 (claspmt) R 32375 32377 32347 0 -1 4202560 1479 0 0 0 214 8 0 0 18 0 32 0 31208156 2034126848 50259 270582939648 4194304 4964800 140736450811872 18446744073709551615 4370384 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=32377/tid=32388] ppid=32375 vsize=1986452 CPUtime=2.26 cores=0-31
/proc/32377/task/32388/stat : 32388 (claspmt) R 32375 32377 32347 0 -1 4202560 2053 0 0 0 216 10 0 0 19 0 32 0 31208156 2034126848 50259 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=32377/tid=32389] ppid=32375 vsize=1986452 CPUtime=2.27 cores=0-31
/proc/32377/task/32389/stat : 32389 (claspmt) R 32375 32377 32347 0 -1 4202560 1801 0 0 0 217 10 0 0 19 0 32 0 31208156 2034126848 50259 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669086 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32377/tid=32390] ppid=32375 vsize=1986452 CPUtime=2.25 cores=0-31
/proc/32377/task/32390/stat : 32390 (claspmt) R 32375 32377 32347 0 -1 4202560 1580 0 0 0 217 8 0 0 18 0 32 0 31208156 2034126848 50259 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=32377/tid=32391] ppid=32375 vsize=1986452 CPUtime=2.34 cores=0-31
/proc/32377/task/32391/stat : 32391 (claspmt) R 32375 32377 32347 0 -1 4202560 1160 0 0 0 225 9 0 0 21 0 32 0 31208156 2034126848 50260 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=32377/tid=32392] ppid=32375 vsize=1986452 CPUtime=2.26 cores=0-31
/proc/32377/task/32392/stat : 32392 (claspmt) R 32375 32377 32347 0 -1 4202560 1818 0 0 0 217 9 0 0 18 0 32 0 31208156 2034126848 50260 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=32377/tid=32393] ppid=32375 vsize=1986452 CPUtime=2.23 cores=0-31
/proc/32377/task/32393/stat : 32393 (claspmt) R 32375 32377 32347 0 -1 4202560 2017 0 0 0 213 10 0 0 18 0 32 0 31208156 2034126848 50260 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=32377/tid=32394] ppid=32375 vsize=1986452 CPUtime=2.27 cores=0-31
/proc/32377/task/32394/stat : 32394 (claspmt) R 32375 32377 32347 0 -1 4202560 1510 0 0 0 218 9 0 0 19 0 32 0 31208156 2034126848 50260 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=32377/tid=32395] ppid=32375 vsize=1986452 CPUtime=2.26 cores=0-31
/proc/32377/task/32395/stat : 32395 (claspmt) R 32375 32377 32347 0 -1 4202560 1460 0 0 0 217 9 0 0 19 0 32 0 31208156 2034126848 50261 270582939648 4194304 4964800 140736450811872 18446744073709551615 4675467 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32377/tid=32396] ppid=32375 vsize=1986452 CPUtime=2.27 cores=0-31
/proc/32377/task/32396/stat : 32396 (claspmt) R 32375 32377 32347 0 -1 4202560 2152 0 0 0 216 11 0 0 19 0 32 0 31208156 2034126848 50261 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670381 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=32377/tid=32397] ppid=32375 vsize=1986452 CPUtime=2.26 cores=0-31
/proc/32377/task/32397/stat : 32397 (claspmt) R 32375 32377 32347 0 -1 4202560 1771 0 0 0 217 9 0 0 19 0 32 0 31208156 2034126848 50262 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=32377/tid=32398] ppid=32375 vsize=1986452 CPUtime=2.26 cores=0-31
/proc/32377/task/32398/stat : 32398 (claspmt) R 32375 32377 32347 0 -1 4202560 1524 0 0 0 217 9 0 0 18 0 32 0 31208156 2034126848 50262 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670190 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=32377/tid=32399] ppid=32375 vsize=1986452 CPUtime=2.37 cores=0-31
/proc/32377/task/32399/stat : 32399 (claspmt) R 32375 32377 32347 0 -1 4202560 1218 0 0 0 230 7 0 0 22 0 32 0 31208156 2034126848 50262 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=32377/tid=32400] ppid=32375 vsize=1986452 CPUtime=2.26 cores=0-31
/proc/32377/task/32400/stat : 32400 (claspmt) R 32375 32377 32347 0 -1 4202560 1750 0 0 0 216 10 0 0 18 0 32 0 31208156 2034126848 50262 270582939648 4194304 4964800 140736450811872 18446744073709551615 4675677 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=32377/tid=32401] ppid=32375 vsize=1986452 CPUtime=2.26 cores=0-31
/proc/32377/task/32401/stat : 32401 (claspmt) R 32375 32377 32347 0 -1 4202560 2079 0 0 0 215 11 0 0 19 0 32 0 31208156 2034126848 50262 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=32377/tid=32402] ppid=32375 vsize=1986452 CPUtime=2.25 cores=0-31
/proc/32377/task/32402/stat : 32402 (claspmt) R 32375 32377 32347 0 -1 4202560 1465 0 0 0 218 7 0 0 18 0 32 0 31208156 2034126848 50262 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=32377/tid=32403] ppid=32375 vsize=1986452 CPUtime=2.25 cores=0-31
/proc/32377/task/32403/stat : 32403 (claspmt) R 32375 32377 32347 0 -1 4202560 1552 0 0 0 217 8 0 0 18 0 32 0 31208156 2034126848 50262 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=32377/tid=32404] ppid=32375 vsize=1986452 CPUtime=2.25 cores=0-31
/proc/32377/task/32404/stat : 32404 (claspmt) R 32375 32377 32347 0 -1 4202560 2297 0 0 0 216 9 0 0 18 0 32 0 31208156 2034126848 50262 270582939648 4194304 4964800 140736450811872 18446744073709551615 4327094 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=32377/tid=32405] ppid=32375 vsize=1986452 CPUtime=2.25 cores=0-31
/proc/32377/task/32405/stat : 32405 (claspmt) R 32375 32377 32347 0 -1 4202560 1690 0 0 0 216 9 0 0 19 0 32 0 31208157 2034126848 50263 270582939648 4194304 4964800 140736450811872 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=32377/tid=32406] ppid=32375 vsize=1986452 CPUtime=2.25 cores=0-31
/proc/32377/task/32406/stat : 32406 (claspmt) R 32375 32377 32347 0 -1 4202560 1677 0 0 0 215 10 0 0 19 0 32 0 31208157 2034126848 50263 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=32377/tid=32407] ppid=32375 vsize=1986452 CPUtime=2.34 cores=0-31
/proc/32377/task/32407/stat : 32407 (claspmt) R 32375 32377 32347 0 -1 4202560 1136 0 0 0 227 7 0 0 21 0 32 0 31208157 2034126848 50264 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=32377/tid=32408] ppid=32375 vsize=1986452 CPUtime=2.26 cores=0-31

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

/proc/32377/task/32379/stat : 32379 (claspmt) R 32375 32377 32347 0 -1 4202560 16771 0 0 0 494473 42 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=32377/tid=32380] ppid=32375 vsize=3874520 CPUtime=4960.31 cores=0-31
/proc/32377/task/32380/stat : 32380 (claspmt) R 32375 32377 32347 0 -1 4202560 32480 0 0 0 495937 94 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=32377/tid=32381] ppid=32375 vsize=3874520 CPUtime=4960.04 cores=0-31
/proc/32377/task/32381/stat : 32381 (claspmt) R 32375 32377 32347 0 -1 4202560 15615 0 0 0 495939 65 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32377/tid=32382] ppid=32375 vsize=3874520 CPUtime=4953.54 cores=0-31
/proc/32377/task/32382/stat : 32382 (claspmt) R 32375 32377 32347 0 -1 4202560 20235 0 0 0 495277 77 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=32377/tid=32383] ppid=32375 vsize=3874520 CPUtime=4960.31 cores=0-31
/proc/32377/task/32383/stat : 32383 (claspmt) R 32375 32377 32347 0 -1 4202560 20472 0 0 0 495951 80 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=32377/tid=32384] ppid=32375 vsize=3874520 CPUtime=4931.55 cores=0-31
/proc/32377/task/32384/stat : 32384 (claspmt) R 32375 32377 32347 0 -1 4202560 14847 0 0 0 493087 68 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=32377/tid=32385] ppid=32375 vsize=3874520 CPUtime=4960.27 cores=0-31
/proc/32377/task/32385/stat : 32385 (claspmt) R 32375 32377 32347 0 -1 4202560 45828 0 0 0 495841 186 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=32377/tid=32386] ppid=32375 vsize=3874520 CPUtime=4960.13 cores=0-31
/proc/32377/task/32386/stat : 32386 (claspmt) R 32375 32377 32347 0 -1 4202560 14438 0 0 0 495943 70 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668817 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32377/tid=32387] ppid=32375 vsize=3874520 CPUtime=4952.97 cores=0-31
/proc/32377/task/32387/stat : 32387 (claspmt) R 32375 32377 32347 0 -1 4202560 18643 0 0 0 495243 54 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32377/tid=32388] ppid=32375 vsize=3874520 CPUtime=4960.28 cores=0-31
/proc/32377/task/32388/stat : 32388 (claspmt) R 32375 32377 32347 0 -1 4202560 32032 0 0 0 495935 93 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=32377/tid=32389] ppid=32375 vsize=3874520 CPUtime=4947.01 cores=0-31
/proc/32377/task/32389/stat : 32389 (claspmt) R 32375 32377 32347 0 -1 4202560 16263 0 0 0 494631 70 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=32377/tid=32390] ppid=32375 vsize=3874520 CPUtime=4959.95 cores=0-31
/proc/32377/task/32390/stat : 32390 (claspmt) R 32375 32377 32347 0 -1 4202560 21463 0 0 0 495864 131 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=32377/tid=32391] ppid=32375 vsize=3874520 CPUtime=4959.04 cores=0-31
/proc/32377/task/32391/stat : 32391 (claspmt) R 32375 32377 32347 0 -1 4202560 19792 0 0 0 495827 77 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=32377/tid=32392] ppid=32375 vsize=3874520 CPUtime=4948.64 cores=0-31
/proc/32377/task/32392/stat : 32392 (claspmt) R 32375 32377 32347 0 -1 4202560 14961 0 0 0 494801 63 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=32377/tid=32393] ppid=32375 vsize=3874520 CPUtime=4944.56 cores=0-31
/proc/32377/task/32393/stat : 32393 (claspmt) R 32375 32377 32347 0 -1 4202560 45052 0 0 0 494264 192 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=32377/tid=32394] ppid=32375 vsize=3874520 CPUtime=4956.21 cores=0-31
/proc/32377/task/32394/stat : 32394 (claspmt) R 32375 32377 32347 0 -1 4202560 15373 0 0 0 495549 72 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=32377/tid=32395] ppid=32375 vsize=3874520 CPUtime=4945.81 cores=0-31
/proc/32377/task/32395/stat : 32395 (claspmt) R 32375 32377 32347 0 -1 4202560 17766 0 0 0 494528 53 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4653307 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=32377/tid=32396] ppid=32375 vsize=3874520 CPUtime=4960.3 cores=0-31
/proc/32377/task/32396/stat : 32396 (claspmt) R 32375 32377 32347 0 -1 4202560 32112 0 0 0 495934 96 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=32377/tid=32397] ppid=32375 vsize=3874520 CPUtime=4959.09 cores=0-31
/proc/32377/task/32397/stat : 32397 (claspmt) R 32375 32377 32347 0 -1 4202560 13479 0 0 0 495852 57 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4324732 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=32377/tid=32398] ppid=32375 vsize=3874520 CPUtime=4950.26 cores=0-31
/proc/32377/task/32398/stat : 32398 (claspmt) R 32375 32377 32347 0 -1 4202560 20506 0 0 0 494952 74 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32377/tid=32399] ppid=32375 vsize=3874520 CPUtime=4949.54 cores=0-31
/proc/32377/task/32399/stat : 32399 (claspmt) R 32375 32377 32347 0 -1 4202560 21330 0 0 0 494871 83 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=32377/tid=32400] ppid=32375 vsize=3874520 CPUtime=4959.86 cores=0-31
/proc/32377/task/32400/stat : 32400 (claspmt) R 32375 32377 32347 0 -1 4202560 14406 0 0 0 495923 63 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=32377/tid=32401] ppid=32375 vsize=3874520 CPUtime=4960.13 cores=0-31
/proc/32377/task/32401/stat : 32401 (claspmt) R 32375 32377 32347 0 -1 4202560 49215 0 0 0 495817 196 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=32377/tid=32402] ppid=32375 vsize=3874520 CPUtime=4960.17 cores=0-31
/proc/32377/task/32402/stat : 32402 (claspmt) R 32375 32377 32347 0 -1 4202560 14599 0 0 0 495949 68 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=32377/tid=32403] ppid=32375 vsize=3874520 CPUtime=4960.09 cores=0-31
/proc/32377/task/32403/stat : 32403 (claspmt) R 32375 32377 32347 0 -1 4202560 19306 0 0 0 495957 52 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=32377/tid=32404] ppid=32375 vsize=3874520 CPUtime=4956.04 cores=0-31
/proc/32377/task/32404/stat : 32404 (claspmt) R 32375 32377 32347 0 -1 4202560 30940 0 0 0 495510 94 0 0 25 0 32 0 31208156 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=32377/tid=32405] ppid=32375 vsize=3874520 CPUtime=4960.06 cores=0-31
/proc/32377/task/32405/stat : 32405 (claspmt) R 32375 32377 32347 0 -1 4202560 15626 0 0 0 495949 57 0 0 25 0 32 0 31208157 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=32377/tid=32406] ppid=32375 vsize=3874520 CPUtime=4960.25 cores=0-31
/proc/32377/task/32406/stat : 32406 (claspmt) R 32375 32377 32347 0 -1 4202560 21667 0 0 0 495944 81 0 0 25 0 32 0 31208157 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=32377/tid=32407] ppid=32375 vsize=3874520 CPUtime=4960.31 cores=0-31
/proc/32377/task/32407/stat : 32407 (claspmt) R 32375 32377 32347 0 -1 4202560 20240 0 0 0 495951 80 0 0 25 0 32 0 31208157 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=32377/tid=32408] ppid=32375 vsize=3874520 CPUtime=4959.45 cores=0-31
/proc/32377/task/32408/stat : 32408 (claspmt) R 32375 32377 32347 0 -1 4202560 14698 0 0 0 495890 55 0 0 25 0 32 0 31208157 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=32377/tid=32409] ppid=32375 vsize=3874520 CPUtime=4960.23 cores=0-31
/proc/32377/task/32409/stat : 32409 (claspmt) R 32375 32377 32347 0 -1 4202560 46321 0 0 0 495825 198 0 0 25 0 32 0 31208157 3967508480 708461 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 158581
Current children cumulated vsize (KiB) 3874520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5006.7 s]
/proc/loadavg: 32.10 32.19 32.12 33/444 32558
/proc/meminfo: memFree=259364116/264257624 swapFree=67111528/67111528
[pid=32377] ppid=32375 vsize=3875796 CPUtime=160001 cores=0-31
/proc/32377/stat : 32377 (claspmt) R 32375 32377 32347 0 -1 4202496 737890 0 0 0 15997228 2839 0 0 25 0 32 0 31208104 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 26 0 0 0
/proc/32377/statm: 968949 709575 463 189 0 963298 0
[pid=32377/tid=32379] ppid=32375 vsize=3875796 CPUtime=4989.55 cores=0-31
/proc/32377/task/32379/stat : 32379 (claspmt) R 32375 32377 32347 0 -1 4202560 16890 0 0 0 498913 42 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668652 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=32377/tid=32380] ppid=32375 vsize=3875796 CPUtime=5004.72 cores=0-31
/proc/32377/task/32380/stat : 32380 (claspmt) R 32375 32377 32347 0 -1 4202560 32480 0 0 0 500378 94 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=32377/tid=32381] ppid=32375 vsize=3875796 CPUtime=5004.44 cores=0-31
/proc/32377/task/32381/stat : 32381 (claspmt) R 32375 32377 32347 0 -1 4202560 15641 0 0 0 500379 65 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32377/tid=32382] ppid=32375 vsize=3875796 CPUtime=4997.95 cores=0-31
/proc/32377/task/32382/stat : 32382 (claspmt) R 32375 32377 32347 0 -1 4202560 20417 0 0 0 499718 77 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=32377/tid=32383] ppid=32375 vsize=3875796 CPUtime=5004.73 cores=0-31
/proc/32377/task/32383/stat : 32383 (claspmt) R 32375 32377 32347 0 -1 4202560 20503 0 0 0 500393 80 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=32377/tid=32384] ppid=32375 vsize=3875796 CPUtime=4975.95 cores=0-31
/proc/32377/task/32384/stat : 32384 (claspmt) R 32375 32377 32347 0 -1 4202560 14909 0 0 0 497527 68 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=32377/tid=32385] ppid=32375 vsize=3875796 CPUtime=5004.68 cores=0-31
/proc/32377/task/32385/stat : 32385 (claspmt) R 32375 32377 32347 0 -1 4202560 45959 0 0 0 500281 187 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=32377/tid=32386] ppid=32375 vsize=3875796 CPUtime=5004.54 cores=0-31
/proc/32377/task/32386/stat : 32386 (claspmt) R 32375 32377 32347 0 -1 4202560 14448 0 0 0 500384 70 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32377/tid=32387] ppid=32375 vsize=3875796 CPUtime=4997.39 cores=0-31
/proc/32377/task/32387/stat : 32387 (claspmt) R 32375 32377 32347 0 -1 4202560 18749 0 0 0 499684 55 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32377/tid=32388] ppid=32375 vsize=3875796 CPUtime=5004.69 cores=0-31
/proc/32377/task/32388/stat : 32388 (claspmt) R 32375 32377 32347 0 -1 4202560 32033 0 0 0 500376 93 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=32377/tid=32389] ppid=32375 vsize=3875796 CPUtime=4991.42 cores=0-31
/proc/32377/task/32389/stat : 32389 (claspmt) R 32375 32377 32347 0 -1 4202560 16346 0 0 0 499071 71 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=32377/tid=32390] ppid=32375 vsize=3875796 CPUtime=5004.37 cores=0-31
/proc/32377/task/32390/stat : 32390 (claspmt) R 32375 32377 32347 0 -1 4202560 21527 0 0 0 500305 132 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=32377/tid=32391] ppid=32375 vsize=3875796 CPUtime=5003.44 cores=0-31
/proc/32377/task/32391/stat : 32391 (claspmt) R 32375 32377 32347 0 -1 4202560 19893 0 0 0 500267 77 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=32377/tid=32392] ppid=32375 vsize=3875796 CPUtime=4993.05 cores=0-31
/proc/32377/task/32392/stat : 32392 (claspmt) R 32375 32377 32347 0 -1 4202560 14972 0 0 0 499242 63 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669338 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=32377/tid=32393] ppid=32375 vsize=3875796 CPUtime=4988.97 cores=0-31
/proc/32377/task/32393/stat : 32393 (claspmt) R 32375 32377 32347 0 -1 4202560 45053 0 0 0 498705 192 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=32377/tid=32394] ppid=32375 vsize=3875796 CPUtime=5000.62 cores=0-31
/proc/32377/task/32394/stat : 32394 (claspmt) R 32375 32377 32347 0 -1 4202560 15386 0 0 0 499990 72 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=32377/tid=32395] ppid=32375 vsize=3875796 CPUtime=4990.22 cores=0-31
/proc/32377/task/32395/stat : 32395 (claspmt) R 32375 32377 32347 0 -1 4202560 17872 0 0 0 498969 53 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=32377/tid=32396] ppid=32375 vsize=3875796 CPUtime=5004.72 cores=0-31
/proc/32377/task/32396/stat : 32396 (claspmt) R 32375 32377 32347 0 -1 4202560 32119 0 0 0 500375 97 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=32377/tid=32397] ppid=32375 vsize=3875796 CPUtime=5003.48 cores=0-31
/proc/32377/task/32397/stat : 32397 (claspmt) R 32375 32377 32347 0 -1 4202560 13484 0 0 0 500291 57 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=32377/tid=32398] ppid=32375 vsize=3875796 CPUtime=4994.67 cores=0-31
/proc/32377/task/32398/stat : 32398 (claspmt) R 32375 32377 32347 0 -1 4202560 20528 0 0 0 499393 74 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32377/tid=32399] ppid=32375 vsize=3875796 CPUtime=4993.94 cores=0-31
/proc/32377/task/32399/stat : 32399 (claspmt) R 32375 32377 32347 0 -1 4202560 21347 0 0 0 499311 83 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=32377/tid=32400] ppid=32375 vsize=3875796 CPUtime=5004.26 cores=0-31
/proc/32377/task/32400/stat : 32400 (claspmt) R 32375 32377 32347 0 -1 4202560 14486 0 0 0 500363 63 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4653351 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=32377/tid=32401] ppid=32375 vsize=3875796 CPUtime=5004.54 cores=0-31
/proc/32377/task/32401/stat : 32401 (claspmt) R 32375 32377 32347 0 -1 4202560 49216 0 0 0 500258 196 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=32377/tid=32402] ppid=32375 vsize=3875796 CPUtime=5004.58 cores=0-31
/proc/32377/task/32402/stat : 32402 (claspmt) R 32375 32377 32347 0 -1 4202560 14601 0 0 0 500390 68 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=32377/tid=32403] ppid=32375 vsize=3875796 CPUtime=5004.5 cores=0-31
/proc/32377/task/32403/stat : 32403 (claspmt) R 32375 32377 32347 0 -1 4202560 19306 0 0 0 500398 52 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=32377/tid=32404] ppid=32375 vsize=3875796 CPUtime=4999.36 cores=0-31
/proc/32377/task/32404/stat : 32404 (claspmt) R 32375 32377 32347 0 -1 4202560 30941 0 0 0 499842 94 0 0 25 0 32 0 31208156 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=32377/tid=32405] ppid=32375 vsize=3875796 CPUtime=5004.47 cores=0-31
/proc/32377/task/32405/stat : 32405 (claspmt) R 32375 32377 32347 0 -1 4202560 15626 0 0 0 500390 57 0 0 25 0 32 0 31208157 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=32377/tid=32406] ppid=32375 vsize=3875796 CPUtime=5004.66 cores=0-31
/proc/32377/task/32406/stat : 32406 (claspmt) R 32375 32377 32347 0 -1 4202560 21668 0 0 0 500385 81 0 0 25 0 32 0 31208157 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=32377/tid=32407] ppid=32375 vsize=3875796 CPUtime=5004.72 cores=0-31
/proc/32377/task/32407/stat : 32407 (claspmt) R 32375 32377 32347 0 -1 4202560 20248 0 0 0 500392 80 0 0 25 0 32 0 31208157 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=32377/tid=32408] ppid=32375 vsize=3875796 CPUtime=5003.67 cores=0-31
/proc/32377/task/32408/stat : 32408 (claspmt) R 32375 32377 32347 0 -1 4202560 14723 0 0 0 500312 55 0 0 25 0 32 0 31208157 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4668702 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=32377/tid=32409] ppid=32375 vsize=3875796 CPUtime=5004.64 cores=0-31
/proc/32377/task/32409/stat : 32409 (claspmt) R 32375 32377 32347 0 -1 4202560 46349 0 0 0 500266 198 0 0 25 0 32 0 31208157 3968815104 709575 270582939648 4194304 4964800 140736450811872 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 3875796

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

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

[startup+5007.1 s]
/proc/loadavg: 32.10 32.19 32.12 33/444 32558
/proc/meminfo: memFree=259364116/264257624 swapFree=67111528/67111528
[pid=32377] ppid=32375 vsize=3770156 CPUtime=160001 cores=0-31
/proc/32377/stat : 32377 (claspmt) R 32375 32377 32347 0 -1 4202496 737901 0 0 0 15997291 2839 0 0 25 0 1 0 31208104 3860639744 705961 270582939648 4194304 4964800 140736450811872 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 17 26 0 0 0
/proc/32377/statm: 942539 705961 474 189 0 936888 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 3770156

[startup+5007.9 s]
/proc/loadavg: 32.10 32.19 32.12 2/414 32559
/proc/meminfo: memFree=259383080/264257624 swapFree=67111528/67111528
[pid=32377] ppid=32375 vsize=3732764 CPUtime=160002 cores=0-31
/proc/32377/stat : 32377 (claspmt) R 32375 32377 32347 0 -1 4202496 737901 0 0 0 15997371 2839 0 0 25 0 1 0 31208104 3822350336 695431 270582939648 4194304 4964800 140736450811872 18446744073709551615 46940875711040 0 0 4096 18946 0 0 0 17 26 0 0 0
/proc/32377/statm: 933191 695431 474 189 0 927540 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 3732764

[startup+5008.3 s]
/proc/loadavg: 32.10 32.19 32.12 2/414 32559
/proc/meminfo: memFree=260816644/264257624 swapFree=67111528/67111528
[pid=32377] ppid=32375 vsize=2229356 CPUtime=160003 cores=0-31
/proc/32377/stat : 32377 (claspmt) R 32375 32377 32347 0 -1 4202496 737901 0 0 0 15997402 2851 0 0 25 0 1 0 31208104 2282860544 230025 270582939648 4194304 4964800 140736450811872 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 26 0 0 0
/proc/32377/statm: 557339 230025 474 189 0 551688 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 2229356

Child status: 0
Real time (s): 5008.4
CPU time (s): 160003
CPU user time (s): 159974
CPU system time (s): 28.5867
CPU usage (%): 3194.68
Max. virtual memory (cumulated for all children) (KiB): 3875796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159974
system time used= 28.5867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 737902
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= 393279
involuntary context switches= 406326

runsolver used 29.8845 second user time and 111.512 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-10 00:23:32
IDJOB=3472448
IDBENCH=83108
IDSOLVER=1961
FILE ID=node200/3472448-1307658212
RUNJOBID= node200-1307658212-32361
PBS_JOBID= 13547804
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-bottom15.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-3472448-1307658212/watcher-3472448-1307658212 -o /tmp/evaluation-result-3472448-1307658212/solver-3472448-1307658212 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472448-1307658212.cnf

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

MD5SUM BENCH= 1f0914c6141fdba914b73575a12b918a
RANDOM SEED=688861046

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:      262187172 kB
Buffers:        254624 kB
Cached:        1485132 kB
SwapCached:          0 kB
Active:         272480 kB
Inactive:      1530300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262187172 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4820 kB
Writeback:           0 kB
AnonPages:       63060 kB
Mapped:          13480 kB
Slab:           182292 kB
PageTables:       3948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   166800 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 01:47:01