Trace number 3372708

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
Plingeling 587f (fixed)UNSAT 51465.9 1613.16

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 

51465.81/1613.15	s UNSATISFIABLE

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: 961)

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-3372708-1305968937/watcher-3372708-1305968937 -o /tmp/evaluation-result-3372708-1305968937/solver-3372708-1305968937 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372708-1305968937.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): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 29.51 31.20 31.53 1/413 12687
/proc/meminfo: memFree=255499420/264257624 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=26820 CPUtime=0.02 cores=0-31
/proc/12687/stat : 12687 (plingeling) R 12685 12687 12661 0 -1 4202496 4763 1245 0 0 1 0 0 1 22 0 1 0 708380160 27463680 4695 268435456000 4194304 4417452 140733518744656 18446744073709551615 4264942 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12687/statm: 6705 4695 141 55 0 4591 0

[startup+0.0514631 s]
/proc/loadavg: 29.51 31.20 31.53 1/413 12687
/proc/meminfo: memFree=255499420/264257624 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=28456 CPUtime=0.05 cores=0-31
/proc/12687/stat : 12687 (plingeling) R 12685 12687 12661 0 -1 4202496 5179 1245 0 0 3 1 0 1 22 0 1 0 708380160 29138944 5111 268435456000 4194304 4417452 140733518744656 18446744073709551615 4259035 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12687/statm: 7114 5111 145 55 0 5000 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 28456

[startup+0.100412 s]
/proc/loadavg: 29.51 31.20 31.53 1/413 12687
/proc/meminfo: memFree=255499420/264257624 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=32408 CPUtime=0.09 cores=0-31
/proc/12687/stat : 12687 (plingeling) R 12685 12687 12661 0 -1 4202496 6190 1245 0 0 7 1 0 1 22 0 1 0 708380160 33185792 6122 268435456000 4194304 4417452 140733518744656 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12687/statm: 8102 6122 145 55 0 5988 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32408

[startup+0.30047 s]
/proc/loadavg: 29.51 31.20 31.53 1/413 12687
/proc/meminfo: memFree=255499420/264257624 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=50384 CPUtime=0.29 cores=0-31
/proc/12687/stat : 12687 (plingeling) R 12685 12687 12661 0 -1 4202496 10685 1245 0 0 26 2 0 1 23 0 1 0 708380160 51593216 10617 268435456000 4194304 4417452 140733518744656 18446744073709551615 4231358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12687/statm: 12596 10617 146 55 0 10482 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50384

[startup+0.700447 s]
/proc/loadavg: 29.51 31.20 31.53 1/413 12687
/proc/meminfo: memFree=255499420/264257624 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=72776 CPUtime=0.69 cores=0-31
/proc/12687/stat : 12687 (plingeling) R 12685 12687 12661 0 -1 4202496 16283 1245 0 0 64 4 0 1 25 0 1 0 708380160 74522624 16215 268435456000 4194304 4417452 140733518744656 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12687/statm: 18194 16215 146 55 0 16080 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72776

[startup+1.50047 s]
/proc/loadavg: 29.51 31.20 31.53 2/414 12693
/proc/meminfo: memFree=255416440/264257624 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=152660 CPUtime=1.5 cores=0-31
/proc/12687/stat : 12687 (plingeling) R 12685 12687 12661 0 -1 4202496 36254 1245 0 0 141 8 0 1 25 0 1 0 708380160 156323840 36186 268435456000 4194304 4417452 140733518744656 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/12687/statm: 38165 36186 146 55 0 36051 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 152660

[startup+3.10139 s]
/proc/loadavg: 29.51 31.20 31.53 34/446 12725
/proc/meminfo: memFree=255316904/264257624 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=816320 CPUtime=45.26 cores=0-31
/proc/12687/stat : 12687 (plingeling) S 12685 12687 12661 0 -1 4202496 94944 1245 0 0 4463 62 0 1 19 0 33 0 708380160 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/12687/statm: 204080 44302 172 55 0 201966 0
[pid=12687/tid=12694] ppid=12685 vsize=816320 CPUtime=1.37 cores=0-31
/proc/12687/task/12694/stat : 12694 (plingeling) R 12685 12687 12661 0 -1 4202560 993 1245 0 0 135 1 0 1 19 0 33 0 708380329 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4275635 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12687/tid=12695] ppid=12685 vsize=816320 CPUtime=1.39 cores=0-31
/proc/12687/task/12695/stat : 12695 (plingeling) R 12685 12687 12661 0 -1 4202560 614 1245 0 0 137 1 0 1 19 0 33 0 708380329 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4275748 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12687/tid=12696] ppid=12685 vsize=816320 CPUtime=1.33 cores=0-31
/proc/12687/task/12696/stat : 12696 (plingeling) R 12685 12687 12661 0 -1 4202560 783 1245 0 0 131 1 0 1 19 0 33 0 708380329 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4275659 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12687/tid=12697] ppid=12685 vsize=816320 CPUtime=1.38 cores=0-31
/proc/12687/task/12697/stat : 12697 (plingeling) R 12685 12687 12661 0 -1 4202560 375 1245 0 0 137 0 0 1 20 0 33 0 708380329 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12687/tid=12698] ppid=12685 vsize=816320 CPUtime=1.37 cores=0-31
/proc/12687/task/12698/stat : 12698 (plingeling) R 12685 12687 12661 0 -1 4202560 1806 1245 0 0 136 0 0 1 19 0 33 0 708380329 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4236655 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12687/tid=12699] ppid=12685 vsize=816320 CPUtime=1.38 cores=0-31
/proc/12687/task/12699/stat : 12699 (plingeling) R 12685 12687 12661 0 -1 4202560 885 1245 0 0 136 1 0 1 19 0 33 0 708380329 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4277642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12687/tid=12700] ppid=12685 vsize=816320 CPUtime=1.36 cores=0-31
/proc/12687/task/12700/stat : 12700 (plingeling) R 12685 12687 12661 0 -1 4202560 562 1245 0 0 134 1 0 1 19 0 33 0 708380329 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4237002 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12687/tid=12701] ppid=12685 vsize=816320 CPUtime=1.37 cores=0-31
/proc/12687/task/12701/stat : 12701 (plingeling) R 12685 12687 12661 0 -1 4202560 5377 1245 0 0 133 3 0 1 19 0 33 0 708380329 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4265450 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12687/tid=12702] ppid=12685 vsize=816320 CPUtime=1.36 cores=0-31
/proc/12687/task/12702/stat : 12702 (plingeling) R 12685 12687 12661 0 -1 4202560 1088 1245 0 0 135 0 0 1 19 0 33 0 708380329 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4275911 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12687/tid=12703] ppid=12685 vsize=816320 CPUtime=1.36 cores=0-31
/proc/12687/task/12703/stat : 12703 (plingeling) R 12685 12687 12661 0 -1 4202560 1595 1245 0 0 133 2 0 1 19 0 33 0 708380329 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12687/tid=12704] ppid=12685 vsize=816320 CPUtime=1.37 cores=0-31
/proc/12687/task/12704/stat : 12704 (plingeling) R 12685 12687 12661 0 -1 4202560 614 1245 0 0 135 1 0 1 19 0 33 0 708380329 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4277503 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12687/tid=12705] ppid=12685 vsize=816320 CPUtime=1.38 cores=0-31
/proc/12687/task/12705/stat : 12705 (plingeling) R 12685 12687 12661 0 -1 4202560 1560 1245 0 0 136 1 0 1 19 0 33 0 708380329 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4236835 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12687/tid=12706] ppid=12685 vsize=816320 CPUtime=1.36 cores=0-31
/proc/12687/task/12706/stat : 12706 (plingeling) R 12685 12687 12661 0 -1 4202560 2347 1245 0 0 134 1 0 1 19 0 33 0 708380329 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12687/tid=12707] ppid=12685 vsize=816320 CPUtime=1.37 cores=0-31
/proc/12687/task/12707/stat : 12707 (plingeling) R 12685 12687 12661 0 -1 4202560 886 1245 0 0 135 1 0 1 19 0 33 0 708380329 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4237157 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12687/tid=12708] ppid=12685 vsize=816320 CPUtime=1.37 cores=0-31
/proc/12687/task/12708/stat : 12708 (plingeling) R 12685 12687 12661 0 -1 4202560 3064 1245 0 0 133 3 0 1 20 0 33 0 708380329 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4277485 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12687/tid=12709] ppid=12685 vsize=816320 CPUtime=1.37 cores=0-31
/proc/12687/task/12709/stat : 12709 (plingeling) R 12685 12687 12661 0 -1 4202560 1545 1245 0 0 135 1 0 1 25 0 33 0 708380330 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4277713 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12687/tid=12710] ppid=12685 vsize=816320 CPUtime=1.33 cores=0-31
/proc/12687/task/12710/stat : 12710 (plingeling) D 12685 12687 12661 0 -1 4202560 2449 1245 0 0 131 1 0 1 19 0 33 0 708380330 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 258650999383 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12687/tid=12711] ppid=12685 vsize=816320 CPUtime=1.37 cores=0-31
/proc/12687/task/12711/stat : 12711 (plingeling) R 12685 12687 12661 0 -1 4202560 1344 1245 0 0 135 1 0 1 19 0 33 0 708380331 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4276065 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12687/tid=12712] ppid=12685 vsize=816320 CPUtime=1.38 cores=0-31
/proc/12687/task/12712/stat : 12712 (plingeling) R 12685 12687 12661 0 -1 4202560 582 1245 0 0 136 1 0 1 19 0 33 0 708380331 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4300251 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12687/tid=12713] ppid=12685 vsize=816320 CPUtime=1.36 cores=0-31
/proc/12687/task/12713/stat : 12713 (plingeling) R 12685 12687 12661 0 -1 4202560 3723 1245 0 0 134 1 0 1 19 0 33 0 708380331 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4277495 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12687/tid=12714] ppid=12685 vsize=816320 CPUtime=1.37 cores=0-31
/proc/12687/task/12714/stat : 12714 (plingeling) R 12685 12687 12661 0 -1 4202560 2900 1245 0 0 134 2 0 1 19 0 33 0 708380331 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12687/tid=12715] ppid=12685 vsize=816320 CPUtime=1.35 cores=0-31
/proc/12687/task/12715/stat : 12715 (plingeling) R 12685 12687 12661 0 -1 4202560 781 1245 0 0 134 0 0 1 25 0 33 0 708380331 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4300251 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12687/tid=12716] ppid=12685 vsize=816320 CPUtime=1.37 cores=0-31
/proc/12687/task/12716/stat : 12716 (plingeling) R 12685 12687 12661 0 -1 4202560 2352 1245 0 0 135 1 0 1 25 0 33 0 708380331 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4275900 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12687/tid=12717] ppid=12685 vsize=816320 CPUtime=1.36 cores=0-31
/proc/12687/task/12717/stat : 12717 (plingeling) R 12685 12687 12661 0 -1 4202560 1334 1245 0 0 134 1 0 1 25 0 33 0 708380331 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4276482 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12687/tid=12718] ppid=12685 vsize=816320 CPUtime=1.35 cores=0-31
/proc/12687/task/12718/stat : 12718 (plingeling) R 12685 12687 12661 0 -1 4202560 5511 1245 0 0 131 3 0 1 19 0 33 0 708380331 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4237202 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12687/tid=12719] ppid=12685 vsize=816320 CPUtime=1.35 cores=0-31
/proc/12687/task/12719/stat : 12719 (plingeling) D 12685 12687 12661 0 -1 4202560 1037 1245 0 0 132 2 0 1 19 0 33 0 708380331 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12687/tid=12720] ppid=12685 vsize=816320 CPUtime=1.36 cores=0-31
/proc/12687/task/12720/stat : 12720 (plingeling) R 12685 12687 12661 0 -1 4202560 884 1245 0 0 135 0 0 1 19 0 33 0 708380331 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4236607 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12687/tid=12721] ppid=12685 vsize=816320 CPUtime=1.34 cores=0-31
/proc/12687/task/12721/stat : 12721 (plingeling) R 12685 12687 12661 0 -1 4202560 1982 1245 0 0 132 1 0 1 25 0 33 0 708380331 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4275856 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12687/tid=12722] ppid=12685 vsize=816320 CPUtime=1.36 cores=0-31
/proc/12687/task/12722/stat : 12722 (plingeling) R 12685 12687 12661 0 -1 4202560 742 1245 0 0 135 0 0 1 19 0 33 0 708380331 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12687/tid=12723] ppid=12685 vsize=816320 CPUtime=1.29 cores=0-31
/proc/12687/task/12723/stat : 12723 (plingeling) D 12685 12687 12661 0 -1 4202560 4361 1245 0 0 126 2 0 1 25 0 33 0 708380331 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 258650649928 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12687/tid=12724] ppid=12685 vsize=816320 CPUtime=1.36 cores=0-31
/proc/12687/task/12724/stat : 12724 (plingeling) R 12685 12687 12661 0 -1 4202560 1445 1245 0 0 135 0 0 1 25 0 33 0 708380331 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4277695 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12687/tid=12725] ppid=12685 vsize=816320 CPUtime=1.36 cores=0-31
/proc/12687/task/12725/stat : 12725 (plingeling) R 12685 12687 12661 0 -1 4202560 3128 1245 0 0 134 1 0 1 19 0 33 0 708380332 835911680 44302 268435456000 4194304 4417452 140733518744656 18446744073709551615 4276764 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 45.26
Current children cumulated vsize (KiB) 816320

[startup+6.3015 s]
/proc/loadavg: 29.71 31.21 31.54 33/446 12725
/proc/meminfo: memFree=255274588/264257624 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=840808 CPUtime=146.45 cores=0-31
/proc/12687/stat : 12687 (plingeling) S 12685 12687 12661 0 -1 4202496 130842 1245 0 0 14556 88 0 1 19 0 33 0 708380160 860987392 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/12687/statm: 210198 51994 175 55 0 208084 0
[pid=12687/tid=12694] ppid=12685 vsize=840792 CPUtime=4.55 cores=0-31
/proc/12687/task/12694/stat : 12694 (plingeling) R 12685 12687 12661 0 -1 4202560 2345 1245 0 0 452 2 0 1 25 0 33 0 708380329 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12687/tid=12695] ppid=12685 vsize=840792 CPUtime=4.58 cores=0-31
/proc/12687/task/12695/stat : 12695 (plingeling) R 12685 12687 12661 0 -1 4202560 1582 1245 0 0 455 2 0 1 25 0 33 0 708380329 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12687/tid=12696] ppid=12685 vsize=840792 CPUtime=4.48 cores=0-31
/proc/12687/task/12696/stat : 12696 (plingeling) R 12685 12687 12661 0 -1 4202560 1611 1245 0 0 446 1 0 1 25 0 33 0 708380329 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4302041 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12687/tid=12697] ppid=12685 vsize=840792 CPUtime=4.53 cores=0-31
/proc/12687/task/12697/stat : 12697 (plingeling) R 12685 12687 12661 0 -1 4202560 1163 1245 0 0 452 0 0 1 25 0 33 0 708380329 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12687/tid=12698] ppid=12685 vsize=840792 CPUtime=4.55 cores=0-31
/proc/12687/task/12698/stat : 12698 (plingeling) R 12685 12687 12661 0 -1 4202560 3069 1245 0 0 452 2 0 1 25 0 33 0 708380329 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12687/tid=12699] ppid=12685 vsize=840792 CPUtime=4.53 cores=0-31
/proc/12687/task/12699/stat : 12699 (plingeling) R 12685 12687 12661 0 -1 4202560 2103 1245 0 0 451 1 0 1 24 0 33 0 708380329 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12687/tid=12700] ppid=12685 vsize=840792 CPUtime=4.52 cores=0-31
/proc/12687/task/12700/stat : 12700 (plingeling) R 12685 12687 12661 0 -1 4202560 1530 1245 0 0 448 3 0 1 25 0 33 0 708380329 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4353504 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12687/tid=12701] ppid=12685 vsize=840792 CPUtime=4.55 cores=0-31
/proc/12687/task/12701/stat : 12701 (plingeling) R 12685 12687 12661 0 -1 4202560 5879 1245 0 0 450 4 0 1 25 0 33 0 708380329 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12687/tid=12702] ppid=12685 vsize=840792 CPUtime=4.51 cores=0-31
/proc/12687/task/12702/stat : 12702 (plingeling) R 12685 12687 12661 0 -1 4202560 2739 1245 0 0 448 2 0 1 25 0 33 0 708380329 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12687/tid=12703] ppid=12685 vsize=840792 CPUtime=4.49 cores=0-31
/proc/12687/task/12703/stat : 12703 (plingeling) R 12685 12687 12661 0 -1 4202560 2301 1245 0 0 446 2 0 1 25 0 33 0 708380329 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4277428 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12687/tid=12704] ppid=12685 vsize=840792 CPUtime=4.53 cores=0-31
/proc/12687/task/12704/stat : 12704 (plingeling) R 12685 12687 12661 0 -1 4202560 1767 1245 0 0 449 3 0 1 25 0 33 0 708380329 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12687/tid=12705] ppid=12685 vsize=840792 CPUtime=4.55 cores=0-31
/proc/12687/task/12705/stat : 12705 (plingeling) R 12685 12687 12661 0 -1 4202560 1731 1245 0 0 453 1 0 1 25 0 33 0 708380329 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364607 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12687/tid=12706] ppid=12685 vsize=840792 CPUtime=4.51 cores=0-31
/proc/12687/task/12706/stat : 12706 (plingeling) R 12685 12687 12661 0 -1 4202560 3656 1245 0 0 447 3 0 1 25 0 33 0 708380329 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4237326 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12687/tid=12707] ppid=12685 vsize=840792 CPUtime=4.55 cores=0-31
/proc/12687/task/12707/stat : 12707 (plingeling) R 12685 12687 12661 0 -1 4202560 1771 1245 0 0 453 1 0 1 25 0 33 0 708380329 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4302932 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12687/tid=12708] ppid=12685 vsize=840792 CPUtime=4.52 cores=0-31
/proc/12687/task/12708/stat : 12708 (plingeling) R 12685 12687 12661 0 -1 4202560 5004 1245 0 0 447 4 0 1 25 0 33 0 708380329 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12687/tid=12709] ppid=12685 vsize=840792 CPUtime=4.56 cores=0-31
/proc/12687/task/12709/stat : 12709 (plingeling) R 12685 12687 12661 0 -1 4202560 3190 1245 0 0 454 1 0 1 25 0 33 0 708380330 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12687/tid=12710] ppid=12685 vsize=840792 CPUtime=4.5 cores=0-31
/proc/12687/task/12710/stat : 12710 (plingeling) R 12685 12687 12661 0 -1 4202560 3773 1245 0 0 446 3 0 1 21 0 33 0 708380330 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12687/tid=12711] ppid=12685 vsize=840792 CPUtime=4.46 cores=0-31
/proc/12687/task/12711/stat : 12711 (plingeling) R 12685 12687 12661 0 -1 4202560 2350 1245 0 0 443 2 0 1 25 0 33 0 708380331 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12687/tid=12712] ppid=12685 vsize=840792 CPUtime=4.55 cores=0-31
/proc/12687/task/12712/stat : 12712 (plingeling) R 12685 12687 12661 0 -1 4202560 1411 1245 0 0 452 2 0 1 25 0 33 0 708380331 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 258651061007 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12687/tid=12713] ppid=12685 vsize=840792 CPUtime=4.56 cores=0-31
/proc/12687/task/12713/stat : 12713 (plingeling) R 12685 12687 12661 0 -1 4202560 5183 1245 0 0 453 2 0 1 25 0 33 0 708380331 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12687/tid=12714] ppid=12685 vsize=840792 CPUtime=4.54 cores=0-31
/proc/12687/task/12714/stat : 12714 (plingeling) R 12685 12687 12661 0 -1 4202560 4630 1245 0 0 449 4 0 1 25 0 33 0 708380331 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4353572 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12687/tid=12715] ppid=12685 vsize=840792 CPUtime=4.52 cores=0-31
/proc/12687/task/12715/stat : 12715 (plingeling) R 12685 12687 12661 0 -1 4202560 2541 1245 0 0 449 2 0 1 25 0 33 0 708380331 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4265408 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12687/tid=12716] ppid=12685 vsize=840792 CPUtime=4.49 cores=0-31
/proc/12687/task/12716/stat : 12716 (plingeling) R 12685 12687 12661 0 -1 4202560 3846 1245 0 0 447 1 0 1 25 0 33 0 708380331 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4365949 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12687/tid=12717] ppid=12685 vsize=840792 CPUtime=4.49 cores=0-31
/proc/12687/task/12717/stat : 12717 (plingeling) R 12685 12687 12661 0 -1 4202560 2795 1245 0 0 447 1 0 1 25 0 33 0 708380331 860971008 51994 268435456000 4194304 4417452 140733518744656 18446744073709551615 4353568 0 0 4096 17442 0 0 0 -1 27 0 0 0

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


[startup+1611.1 s]
/proc/loadavg: 32.22 32.08 31.94 33/446 12772
/proc/meminfo: memFree=253264540/264257624 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=2875924 CPUtime=51417.1 cores=0-31
/proc/12687/stat : 12687 (plingeling) S 12685 12687 12661 0 -1 4202496 8629753 1245 0 0 5130501 11210 0 1 19 0 33 0 708380160 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/12687/statm: 718981 565618 175 55 0 716867 0
[pid=12687/tid=12694] ppid=12685 vsize=2875924 CPUtime=1607.98 cores=0-31
/proc/12687/task/12694/stat : 12694 (plingeling) R 12685 12687 12661 0 -1 4202560 263002 1245 0 0 160449 348 0 1 25 0 33 0 708380329 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12687/tid=12695] ppid=12685 vsize=2875924 CPUtime=1606.07 cores=0-31
/proc/12687/task/12695/stat : 12695 (plingeling) R 12685 12687 12661 0 -1 4202560 241872 1245 0 0 160271 335 0 1 25 0 33 0 708380329 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12687/tid=12696] ppid=12685 vsize=2875924 CPUtime=1604.38 cores=0-31
/proc/12687/task/12696/stat : 12696 (plingeling) R 12685 12687 12661 0 -1 4202560 292673 1245 0 0 160057 380 0 1 25 0 33 0 708380329 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12687/tid=12697] ppid=12685 vsize=2875924 CPUtime=1603.19 cores=0-31
/proc/12687/task/12697/stat : 12697 (plingeling) R 12685 12687 12661 0 -1 4202560 277712 1245 0 0 159916 402 0 1 25 0 33 0 708380329 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12687/tid=12698] ppid=12685 vsize=2875924 CPUtime=1608.14 cores=0-31
/proc/12687/task/12698/stat : 12698 (plingeling) R 12685 12687 12661 0 -1 4202560 269125 1245 0 0 160449 364 0 1 25 0 33 0 708380329 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12687/tid=12699] ppid=12685 vsize=2875924 CPUtime=1606.19 cores=0-31
/proc/12687/task/12699/stat : 12699 (plingeling) R 12685 12687 12661 0 -1 4202560 274297 1245 0 0 160250 368 0 1 25 0 33 0 708380329 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12687/tid=12700] ppid=12685 vsize=2875924 CPUtime=1608.14 cores=0-31
/proc/12687/task/12700/stat : 12700 (plingeling) R 12685 12687 12661 0 -1 4202560 309626 1245 0 0 160351 462 0 1 25 0 33 0 708380329 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12687/tid=12701] ppid=12685 vsize=2875924 CPUtime=1608.37 cores=0-31
/proc/12687/task/12701/stat : 12701 (plingeling) R 12685 12687 12661 0 -1 4202560 278540 1245 0 0 160505 331 0 1 25 0 33 0 708380329 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364440 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12687/tid=12702] ppid=12685 vsize=2875924 CPUtime=1608.09 cores=0-31
/proc/12687/task/12702/stat : 12702 (plingeling) R 12685 12687 12661 0 -1 4202560 217071 1245 0 0 160512 296 0 1 25 0 33 0 708380329 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12687/tid=12703] ppid=12685 vsize=2875924 CPUtime=1608.25 cores=0-31
/proc/12687/task/12703/stat : 12703 (plingeling) R 12685 12687 12661 0 -1 4202560 294495 1245 0 0 160432 392 0 1 25 0 33 0 708380329 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364693 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12687/tid=12704] ppid=12685 vsize=2875924 CPUtime=1608.44 cores=0-31
/proc/12687/task/12704/stat : 12704 (plingeling) R 12685 12687 12661 0 -1 4202560 272654 1245 0 0 160522 321 0 1 25 0 33 0 708380329 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12687/tid=12705] ppid=12685 vsize=2875924 CPUtime=1608.29 cores=0-31
/proc/12687/task/12705/stat : 12705 (plingeling) R 12685 12687 12661 0 -1 4202560 255313 1245 0 0 160491 337 0 1 25 0 33 0 708380329 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12687/tid=12706] ppid=12685 vsize=2875924 CPUtime=1607.67 cores=0-31
/proc/12687/task/12706/stat : 12706 (plingeling) R 12685 12687 12661 0 -1 4202560 267226 1245 0 0 160454 312 0 1 25 0 33 0 708380329 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4366092 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12687/tid=12707] ppid=12685 vsize=2875924 CPUtime=1606.67 cores=0-31
/proc/12687/task/12707/stat : 12707 (plingeling) R 12685 12687 12661 0 -1 4202560 246269 1245 0 0 160370 296 0 1 25 0 33 0 708380329 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12687/tid=12708] ppid=12685 vsize=2875924 CPUtime=1607.7 cores=0-31
/proc/12687/task/12708/stat : 12708 (plingeling) R 12685 12687 12661 0 -1 4202560 266896 1245 0 0 160473 296 0 1 25 0 33 0 708380329 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364711 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12687/tid=12709] ppid=12685 vsize=2875924 CPUtime=1603.59 cores=0-31
/proc/12687/task/12709/stat : 12709 (plingeling) R 12685 12687 12661 0 -1 4202560 264245 1245 0 0 160035 323 0 1 25 0 33 0 708380330 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4343993 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12687/tid=12710] ppid=12685 vsize=2875924 CPUtime=1607.36 cores=0-31
/proc/12687/task/12710/stat : 12710 (plingeling) R 12685 12687 12661 0 -1 4202560 278776 1245 0 0 160359 376 0 1 25 0 33 0 708380330 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12687/tid=12711] ppid=12685 vsize=2875924 CPUtime=1606.76 cores=0-31
/proc/12687/task/12711/stat : 12711 (plingeling) R 12685 12687 12661 0 -1 4202560 275899 1245 0 0 160304 371 0 1 25 0 33 0 708380331 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12687/tid=12712] ppid=12685 vsize=2875924 CPUtime=1607.7 cores=0-31
/proc/12687/task/12712/stat : 12712 (plingeling) R 12685 12687 12661 0 -1 4202560 294782 1245 0 0 160388 381 0 1 25 0 33 0 708380331 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12687/tid=12713] ppid=12685 vsize=2875924 CPUtime=1604.89 cores=0-31
/proc/12687/task/12713/stat : 12713 (plingeling) R 12685 12687 12661 0 -1 4202560 266814 1245 0 0 160108 380 0 1 25 0 33 0 708380331 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12687/tid=12714] ppid=12685 vsize=2875924 CPUtime=1607.41 cores=0-31
/proc/12687/task/12714/stat : 12714 (plingeling) R 12685 12687 12661 0 -1 4202560 284263 1245 0 0 160313 427 0 1 25 0 33 0 708380331 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12687/tid=12715] ppid=12685 vsize=2875924 CPUtime=1603.59 cores=0-31
/proc/12687/task/12715/stat : 12715 (plingeling) R 12685 12687 12661 0 -1 4202560 290922 1245 0 0 160027 331 0 1 25 0 33 0 708380331 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4366079 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12687/tid=12716] ppid=12685 vsize=2875924 CPUtime=1607.44 cores=0-31
/proc/12687/task/12716/stat : 12716 (plingeling) R 12685 12687 12661 0 -1 4202560 241710 1245 0 0 160400 343 0 1 25 0 33 0 708380331 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12687/tid=12717] ppid=12685 vsize=2875924 CPUtime=1607.03 cores=0-31
/proc/12687/task/12717/stat : 12717 (plingeling) R 12685 12687 12661 0 -1 4202560 256141 1245 0 0 160347 355 0 1 25 0 33 0 708380331 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12687/tid=12718] ppid=12685 vsize=2875924 CPUtime=1608.26 cores=0-31
/proc/12687/task/12718/stat : 12718 (plingeling) R 12685 12687 12661 0 -1 4202560 251879 1245 0 0 160525 300 0 1 25 0 33 0 708380331 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12687/tid=12719] ppid=12685 vsize=2875924 CPUtime=1603.41 cores=0-31
/proc/12687/task/12719/stat : 12719 (plingeling) R 12685 12687 12661 0 -1 4202560 258489 1245 0 0 160001 339 0 1 25 0 33 0 708380331 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12687/tid=12720] ppid=12685 vsize=2875924 CPUtime=1602.08 cores=0-31
/proc/12687/task/12720/stat : 12720 (plingeling) R 12685 12687 12661 0 -1 4202560 227314 1245 0 0 159914 293 0 1 25 0 33 0 708380331 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4236577 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12687/tid=12721] ppid=12685 vsize=2875924 CPUtime=1608.16 cores=0-31
/proc/12687/task/12721/stat : 12721 (plingeling) R 12685 12687 12661 0 -1 4202560 250425 1245 0 0 160522 293 0 1 25 0 33 0 708380331 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12687/tid=12722] ppid=12685 vsize=2875924 CPUtime=1608.07 cores=0-31
/proc/12687/task/12722/stat : 12722 (plingeling) R 12685 12687 12661 0 -1 4202560 246590 1245 0 0 160451 355 0 1 25 0 33 0 708380331 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12687/tid=12723] ppid=12685 vsize=2875924 CPUtime=1605.91 cores=0-31
/proc/12687/task/12723/stat : 12723 (plingeling) R 12685 12687 12661 0 -1 4202560 287749 1245 0 0 160229 361 0 1 25 0 33 0 708380331 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12687/tid=12724] ppid=12685 vsize=2875924 CPUtime=1608.18 cores=0-31
/proc/12687/task/12724/stat : 12724 (plingeling) R 12685 12687 12661 0 -1 4202560 303789 1245 0 0 160445 372 0 1 25 0 33 0 708380331 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12687/tid=12725] ppid=12685 vsize=2875924 CPUtime=1608.02 cores=0-31
/proc/12687/task/12725/stat : 12725 (plingeling) R 12685 12687 12661 0 -1 4202560 286900 1245 0 0 160456 345 0 1 25 0 33 0 708380332 2944946176 565618 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 51417.1
Current children cumulated vsize (KiB) 2875924

[startup+1611.9 s]
/proc/loadavg: 32.22 32.08 31.94 33/446 12772
/proc/meminfo: memFree=253259828/264257624 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=2860516 CPUtime=51442.7 cores=0-31
/proc/12687/stat : 12687 (plingeling) S 12685 12687 12661 0 -1 4202496 8629997 1245 0 0 5133057 11210 0 1 19 0 33 0 708380160 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/12687/statm: 715129 561766 175 55 0 713015 0
[pid=12687/tid=12694] ppid=12685 vsize=2860516 CPUtime=1608.78 cores=0-31
/proc/12687/task/12694/stat : 12694 (plingeling) R 12685 12687 12661 0 -1 4202560 263002 1245 0 0 160529 348 0 1 25 0 33 0 708380329 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12687/tid=12695] ppid=12685 vsize=2860516 CPUtime=1606.87 cores=0-31
/proc/12687/task/12695/stat : 12695 (plingeling) R 12685 12687 12661 0 -1 4202560 241872 1245 0 0 160351 335 0 1 25 0 33 0 708380329 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12687/tid=12696] ppid=12685 vsize=2860516 CPUtime=1605.18 cores=0-31
/proc/12687/task/12696/stat : 12696 (plingeling) R 12685 12687 12661 0 -1 4202560 292673 1245 0 0 160137 380 0 1 25 0 33 0 708380329 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12687/tid=12697] ppid=12685 vsize=2860516 CPUtime=1603.96 cores=0-31
/proc/12687/task/12697/stat : 12697 (plingeling) R 12685 12687 12661 0 -1 4202560 277765 1245 0 0 159993 402 0 1 25 0 33 0 708380329 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12687/tid=12698] ppid=12685 vsize=2860516 CPUtime=1608.94 cores=0-31
/proc/12687/task/12698/stat : 12698 (plingeling) R 12685 12687 12661 0 -1 4202560 269125 1245 0 0 160529 364 0 1 25 0 33 0 708380329 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4277571 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=12687/tid=12699] ppid=12685 vsize=2860516 CPUtime=1606.99 cores=0-31
/proc/12687/task/12699/stat : 12699 (plingeling) R 12685 12687 12661 0 -1 4202560 274297 1245 0 0 160330 368 0 1 25 0 33 0 708380329 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12687/tid=12700] ppid=12685 vsize=2860516 CPUtime=1608.94 cores=0-31
/proc/12687/task/12700/stat : 12700 (plingeling) R 12685 12687 12661 0 -1 4202560 309626 1245 0 0 160431 462 0 1 25 0 33 0 708380329 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12687/tid=12701] ppid=12685 vsize=2860516 CPUtime=1609.17 cores=0-31
/proc/12687/task/12701/stat : 12701 (plingeling) R 12685 12687 12661 0 -1 4202560 278540 1245 0 0 160585 331 0 1 25 0 33 0 708380329 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12687/tid=12702] ppid=12685 vsize=2860516 CPUtime=1608.89 cores=0-31
/proc/12687/task/12702/stat : 12702 (plingeling) R 12685 12687 12661 0 -1 4202560 217071 1245 0 0 160592 296 0 1 25 0 33 0 708380329 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12687/tid=12703] ppid=12685 vsize=2860516 CPUtime=1609.05 cores=0-31
/proc/12687/task/12703/stat : 12703 (plingeling) R 12685 12687 12661 0 -1 4202560 294495 1245 0 0 160512 392 0 1 25 0 33 0 708380329 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12687/tid=12704] ppid=12685 vsize=2860516 CPUtime=1609.24 cores=0-31
/proc/12687/task/12704/stat : 12704 (plingeling) R 12685 12687 12661 0 -1 4202560 272654 1245 0 0 160602 321 0 1 25 0 33 0 708380329 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12687/tid=12705] ppid=12685 vsize=2860516 CPUtime=1609.09 cores=0-31
/proc/12687/task/12705/stat : 12705 (plingeling) R 12685 12687 12661 0 -1 4202560 255313 1245 0 0 160571 337 0 1 25 0 33 0 708380329 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12687/tid=12706] ppid=12685 vsize=2860516 CPUtime=1608.47 cores=0-31
/proc/12687/task/12706/stat : 12706 (plingeling) R 12685 12687 12661 0 -1 4202560 267226 1245 0 0 160534 312 0 1 25 0 33 0 708380329 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12687/tid=12707] ppid=12685 vsize=2860516 CPUtime=1607.47 cores=0-31
/proc/12687/task/12707/stat : 12707 (plingeling) R 12685 12687 12661 0 -1 4202560 246269 1245 0 0 160450 296 0 1 25 0 33 0 708380329 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12687/tid=12708] ppid=12685 vsize=2860516 CPUtime=1608.5 cores=0-31
/proc/12687/task/12708/stat : 12708 (plingeling) R 12685 12687 12661 0 -1 4202560 266896 1245 0 0 160553 296 0 1 25 0 33 0 708380329 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12687/tid=12709] ppid=12685 vsize=2860516 CPUtime=1604.39 cores=0-31
/proc/12687/task/12709/stat : 12709 (plingeling) R 12685 12687 12661 0 -1 4202560 264436 1245 0 0 160115 323 0 1 25 0 33 0 708380330 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=12687/tid=12710] ppid=12685 vsize=2860516 CPUtime=1608.16 cores=0-31
/proc/12687/task/12710/stat : 12710 (plingeling) R 12685 12687 12661 0 -1 4202560 278776 1245 0 0 160439 376 0 1 25 0 33 0 708380330 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12687/tid=12711] ppid=12685 vsize=2860516 CPUtime=1607.56 cores=0-31
/proc/12687/task/12711/stat : 12711 (plingeling) R 12685 12687 12661 0 -1 4202560 275899 1245 0 0 160384 371 0 1 25 0 33 0 708380331 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12687/tid=12712] ppid=12685 vsize=2860516 CPUtime=1608.5 cores=0-31
/proc/12687/task/12712/stat : 12712 (plingeling) R 12685 12687 12661 0 -1 4202560 294782 1245 0 0 160468 381 0 1 25 0 33 0 708380331 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=12687/tid=12713] ppid=12685 vsize=2860516 CPUtime=1605.69 cores=0-31
/proc/12687/task/12713/stat : 12713 (plingeling) R 12685 12687 12661 0 -1 4202560 266814 1245 0 0 160188 380 0 1 25 0 33 0 708380331 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12687/tid=12714] ppid=12685 vsize=2860516 CPUtime=1608.21 cores=0-31
/proc/12687/task/12714/stat : 12714 (plingeling) R 12685 12687 12661 0 -1 4202560 284263 1245 0 0 160393 427 0 1 25 0 33 0 708380331 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12687/tid=12715] ppid=12685 vsize=2860516 CPUtime=1604.39 cores=0-31
/proc/12687/task/12715/stat : 12715 (plingeling) R 12685 12687 12661 0 -1 4202560 290922 1245 0 0 160107 331 0 1 25 0 33 0 708380331 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12687/tid=12716] ppid=12685 vsize=2860516 CPUtime=1608.24 cores=0-31
/proc/12687/task/12716/stat : 12716 (plingeling) R 12685 12687 12661 0 -1 4202560 241710 1245 0 0 160480 343 0 1 25 0 33 0 708380331 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12687/tid=12717] ppid=12685 vsize=2860516 CPUtime=1607.83 cores=0-31
/proc/12687/task/12717/stat : 12717 (plingeling) R 12685 12687 12661 0 -1 4202560 256141 1245 0 0 160427 355 0 1 25 0 33 0 708380331 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12687/tid=12718] ppid=12685 vsize=2860516 CPUtime=1609.06 cores=0-31
/proc/12687/task/12718/stat : 12718 (plingeling) R 12685 12687 12661 0 -1 4202560 251879 1245 0 0 160605 300 0 1 25 0 33 0 708380331 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12687/tid=12719] ppid=12685 vsize=2860516 CPUtime=1604.21 cores=0-31
/proc/12687/task/12719/stat : 12719 (plingeling) R 12685 12687 12661 0 -1 4202560 258489 1245 0 0 160081 339 0 1 25 0 33 0 708380331 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12687/tid=12720] ppid=12685 vsize=2860516 CPUtime=1602.88 cores=0-31
/proc/12687/task/12720/stat : 12720 (plingeling) R 12685 12687 12661 0 -1 4202560 227314 1245 0 0 159994 293 0 1 25 0 33 0 708380331 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12687/tid=12721] ppid=12685 vsize=2860516 CPUtime=1608.96 cores=0-31
/proc/12687/task/12721/stat : 12721 (plingeling) R 12685 12687 12661 0 -1 4202560 250425 1245 0 0 160602 293 0 1 25 0 33 0 708380331 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12687/tid=12722] ppid=12685 vsize=2860516 CPUtime=1608.86 cores=0-31
/proc/12687/task/12722/stat : 12722 (plingeling) R 12685 12687 12661 0 -1 4202560 246590 1245 0 0 160530 355 0 1 25 0 33 0 708380331 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=12687/tid=12723] ppid=12685 vsize=2860516 CPUtime=1606.71 cores=0-31
/proc/12687/task/12723/stat : 12723 (plingeling) R 12685 12687 12661 0 -1 4202560 287749 1245 0 0 160309 361 0 1 25 0 33 0 708380331 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4365023 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12687/tid=12724] ppid=12685 vsize=2860516 CPUtime=1608.98 cores=0-31
/proc/12687/task/12724/stat : 12724 (plingeling) R 12685 12687 12661 0 -1 4202560 303789 1245 0 0 160525 372 0 1 25 0 33 0 708380331 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 18446744073699065956 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12687/tid=12725] ppid=12685 vsize=2860516 CPUtime=1608.82 cores=0-31
/proc/12687/task/12725/stat : 12725 (plingeling) R 12685 12687 12661 0 -1 4202560 286900 1245 0 0 160536 345 0 1 25 0 33 0 708380332 2929168384 561766 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 51442.7
Current children cumulated vsize (KiB) 2860516

[startup+1612.7 s]
/proc/loadavg: 32.22 32.08 31.94 30/443 12772
/proc/meminfo: memFree=253259092/264257624 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=2799760 CPUtime=51465.3 cores=0-31
/proc/12687/stat : 12687 (plingeling) S 12685 12687 12661 0 -1 4202496 8630175 1245 0 0 5135316 11211 0 1 16 0 4 0 708380160 2866954240 561902 268435456000 4194304 4417452 140733518744656 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/12687/statm: 699940 561902 176 55 0 697826 0
[pid=12687/tid=12703] ppid=12685 vsize=2799760 CPUtime=1609.85 cores=0-31
/proc/12687/task/12703/stat : 12703 (plingeling) R 12685 12687 12661 0 -1 4202560 294495 1245 0 0 160592 392 0 1 25 0 4 0 708380329 2866954240 561902 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12687/tid=12713] ppid=12685 vsize=2799760 CPUtime=1606.49 cores=0-31
/proc/12687/task/12713/stat : 12713 (plingeling) R 12685 12687 12661 0 -1 4202560 266814 1245 0 0 160268 380 0 1 25 0 4 0 708380331 2866954240 561902 268435456000 4194304 4417452 140733518744656 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12687/tid=12714] ppid=12685 vsize=2799760 CPUtime=1609.01 cores=0-31
/proc/12687/task/12714/stat : 12714 (plingeling) R 12685 12687 12661 0 -1 4202560 284263 1245 0 0 160473 427 0 1 25 0 4 0 708380331 2866954240 561902 268435456000 4194304 4417452 140733518744656 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 51465.3
Current children cumulated vsize (KiB) 2799760

[startup+1613.1 s]
/proc/loadavg: 32.22 32.08 31.94 30/443 12772
/proc/meminfo: memFree=253259092/264257624 swapFree=67111528/67111528
[pid=12687] ppid=12685 vsize=860792 CPUtime=51465.8 cores=0-31
/proc/12687/stat : 12687 (plingeling) R 12685 12687 12661 0 -1 4202496 8630175 1245 0 0 5135350 11230 0 1 15 0 1 0 708380160 881451008 117913 268435456000 4194304 4417452 140733518744656 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 16 0 0 0
/proc/12687/statm: 215198 117913 176 55 0 213084 0
Current children cumulated CPU time (s) 51465.8
Current children cumulated vsize (KiB) 860792

Child status: 20
Real time (s): 1613.16
CPU time (s): 51465.9
CPU user time (s): 51353.5
CPU system time (s): 112.381
CPU usage (%): 3190.37
Max. virtual memory (cumulated for all children) (KiB): 3224248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51353.5
system time used= 112.381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8631424
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= 10553
involuntary context switches= 123463

runsolver used 8.22375 second user time and 37.3173 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-21 11:08:57
IDJOB=3372708
IDBENCH=83125
IDSOLVER=1852
FILE ID=node200/3372708-1305968937
RUNJOBID= node200-1305968937-12675
PBS_JOBID= 13387790
Free space on /tmp= 62044 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom14.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372708-1305968937/watcher-3372708-1305968937 -o /tmp/evaluation-result-3372708-1305968937/solver-3372708-1305968937 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372708-1305968937.cnf

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

MD5SUM BENCH= 7af4cc1b94644f101ccf5f2373fdbfea
RANDOM SEED=923065788

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.049
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.049
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.07
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.049
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.049
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.049
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.17
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.049
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.08
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.049
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.06
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.049
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.08
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.049
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	: 3990.04
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.049
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.09
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.049
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.049
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.02
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.049
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.17
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.049
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.09
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.049
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	: 3989.98
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.049
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.06
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.049
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.04
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.049
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.049
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.09
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.049
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	: 3990.09
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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.06
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.049
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.09
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.049
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.049
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.09
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.049
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.05
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.049
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.09
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.049
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.05
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.049
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:      255499700 kB
Buffers:        453684 kB
Cached:        7898160 kB
SwapCached:          0 kB
Active:        7415888 kB
Inactive:      1004792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255499700 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1456 kB
Writeback:           0 kB
AnonPages:       70144 kB
Mapped:          13484 kB
Slab:           252720 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   181528 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= 62044 MiB
End job on node200 at 2011-05-21 11:35:51