Trace number 3372834

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 69552 2181.12

General information on the benchmark

NameSAT03/industrial/goldberg/hard_eq_check/
k2mul.miter.shuffled-as.sat03-355.cnf
MD5SUM77e0700cbaeeb3d63a4820608fc84761
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5940.8
Satisfiable
(Un)Satisfiability was proved
Number of variables11680
Number of clauses74581
Sum of the clauses size252050
Maximum clause length86
Minimum clause length1
Number of clauses of size 14
Number of clauses of size 217176
Number of clauses of size 334696
Number of clauses of size 40
Number of clauses of size 522704
Number of clauses of size over 51

Solver Data 

69552.00/2181.11	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-3372834-1306068274/watcher-3372834-1306068274 -o /tmp/evaluation-result-3372834-1306068274/solver-3372834-1306068274 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372834-1306068274.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: 32.06 32.08 32.02 1/413 26058
/proc/meminfo: memFree=255498584/264257624 swapFree=67111528/67111528
[pid=26058] ppid=26056 vsize=19696 CPUtime=0.02 cores=0-31
/proc/26058/stat : 26058 (plingeling) R 26056 26058 26032 0 -1 4202496 3026 1240 0 0 1 0 0 1 22 0 1 0 718313823 20168704 2925 268435456000 4194304 4417452 140734192177008 18446744073709551615 4232651 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26058/statm: 4924 2925 146 55 0 2810 0

[startup+0.080424 s]
/proc/loadavg: 32.06 32.08 32.02 1/413 26058
/proc/meminfo: memFree=255498584/264257624 swapFree=67111528/67111528
[pid=26058] ppid=26056 vsize=26360 CPUtime=0.07 cores=0-31
/proc/26058/stat : 26058 (plingeling) R 26056 26058 26032 0 -1 4202496 4680 1240 0 0 5 1 0 1 22 0 1 0 718313823 26992640 4579 268435456000 4194304 4417452 140734192177008 18446744073709551615 4264945 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26058/statm: 6590 4579 146 55 0 4476 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26360

[startup+0.100425 s]
/proc/loadavg: 32.06 32.08 32.02 1/413 26058
/proc/meminfo: memFree=255498584/264257624 swapFree=67111528/67111528
[pid=26058] ppid=26056 vsize=26648 CPUtime=0.09 cores=0-31
/proc/26058/stat : 26058 (plingeling) R 26056 26058 26032 0 -1 4202496 4776 1240 0 0 7 1 0 1 22 0 1 0 718313823 27287552 4675 268435456000 4194304 4417452 140734192177008 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26058/statm: 6662 4675 146 55 0 4548 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26648

[startup+0.30039 s]
/proc/loadavg: 32.06 32.08 32.02 1/413 26058
/proc/meminfo: memFree=255498584/264257624 swapFree=67111528/67111528
[pid=26058] ppid=26056 vsize=38900 CPUtime=0.29 cores=0-31
/proc/26058/stat : 26058 (plingeling) R 26056 26058 26032 0 -1 4202496 7831 1240 0 0 26 2 0 1 23 0 1 0 718313823 39833600 7730 268435456000 4194304 4417452 140734192177008 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26058/statm: 9725 7730 146 55 0 7611 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38900

[startup+0.700405 s]
/proc/loadavg: 32.06 32.08 32.02 1/413 26058
/proc/meminfo: memFree=255498584/264257624 swapFree=67111528/67111528
[pid=26058] ppid=26056 vsize=68952 CPUtime=0.69 cores=0-31
/proc/26058/stat : 26058 (plingeling) R 26056 26058 26032 0 -1 4202496 15360 1240 0 0 64 4 0 1 25 0 1 0 718313823 70606848 15259 268435456000 4194304 4417452 140734192177008 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26058/statm: 17238 15259 146 55 0 15124 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68952

[startup+1.50044 s]
/proc/loadavg: 32.06 32.08 32.02 2/414 26064
/proc/meminfo: memFree=255417060/264257624 swapFree=67111528/67111528
[pid=26058] ppid=26056 vsize=89460 CPUtime=1.5 cores=0-31
/proc/26058/stat : 26058 (plingeling) R 26056 26058 26032 0 -1 4202496 20487 1240 0 0 143 6 0 1 25 0 1 0 718313823 91607040 20386 268435456000 4194304 4417452 140734192177008 18446744073709551615 4323376 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26058/statm: 22365 20386 146 55 0 20251 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 89460

[startup+3.10036 s]
/proc/loadavg: 29.57 31.57 31.85 2/414 26064
/proc/meminfo: memFree=255373908/264257624 swapFree=67111528/67111528
[pid=26058] ppid=26056 vsize=843080 CPUtime=7.33 cores=0-31
/proc/26058/stat : 26058 (plingeling) S 26056 26058 26032 0 -1 4202496 59819 1240 0 0 705 27 0 1 20 0 33 0 718313823 863313920 49434 268435456000 4194304 4417452 140734192177008 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/26058/statm: 210770 49434 168 55 0 208656 0
Current children cumulated CPU time (s) 7.33
Current children cumulated vsize (KiB) 843080

[startup+6.30146 s]
/proc/loadavg: 29.57 31.57 31.85 33/446 26096
/proc/meminfo: memFree=255259992/264257624 swapFree=67111528/67111528
[pid=26058] ppid=26056 vsize=877440 CPUtime=109.51 cores=0-31
/proc/26058/stat : 26058 (plingeling) S 26056 26058 26032 0 -1 4202496 83567 1240 0 0 10910 40 0 1 20 0 33 0 718313823 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/26058/statm: 219360 54945 175 55 0 217246 0
[pid=26058/tid=26065] ppid=26056 vsize=877440 CPUtime=3.35 cores=0-31
/proc/26058/task/26065/stat : 26065 (plingeling) R 26056 26058 26032 0 -1 4202560 882 1240 0 0 334 0 0 1 25 0 33 0 718314116 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4235968 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26058/tid=26066] ppid=26056 vsize=877440 CPUtime=3.34 cores=0-31
/proc/26058/task/26066/stat : 26066 (plingeling) R 26056 26058 26032 0 -1 4202560 531 1240 0 0 333 0 0 1 25 0 33 0 718314116 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26058/tid=26067] ppid=26056 vsize=877440 CPUtime=3.36 cores=0-31
/proc/26058/task/26067/stat : 26067 (plingeling) R 26056 26058 26032 0 -1 4202560 940 1240 0 0 334 1 0 1 25 0 33 0 718314116 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4365106 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26058/tid=26068] ppid=26056 vsize=877440 CPUtime=3.35 cores=0-31
/proc/26058/task/26068/stat : 26068 (plingeling) R 26056 26058 26032 0 -1 4202560 228 1240 0 0 334 0 0 1 25 0 33 0 718314116 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26058/tid=26069] ppid=26056 vsize=877440 CPUtime=3.34 cores=0-31
/proc/26058/task/26069/stat : 26069 (plingeling) R 26056 26058 26032 0 -1 4202560 818 1240 0 0 333 0 0 1 25 0 33 0 718314116 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4236759 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26058/tid=26070] ppid=26056 vsize=877440 CPUtime=3.33 cores=0-31
/proc/26058/task/26070/stat : 26070 (plingeling) R 26056 26058 26032 0 -1 4202560 1713 1240 0 0 331 1 0 1 21 0 33 0 718314116 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26058/tid=26071] ppid=26056 vsize=877440 CPUtime=3.35 cores=0-31
/proc/26058/task/26071/stat : 26071 (plingeling) R 26056 26058 26032 0 -1 4202560 921 1240 0 0 333 1 0 1 25 0 33 0 718314116 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=26058/tid=26072] ppid=26056 vsize=877440 CPUtime=3.35 cores=0-31
/proc/26058/task/26072/stat : 26072 (plingeling) R 26056 26058 26032 0 -1 4202560 962 1240 0 0 333 1 0 1 25 0 33 0 718314116 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4342927 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26058/tid=26073] ppid=26056 vsize=877440 CPUtime=3.34 cores=0-31
/proc/26058/task/26073/stat : 26073 (plingeling) R 26056 26058 26032 0 -1 4202560 1177 1240 0 0 333 0 0 1 25 0 33 0 718314116 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4252163 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26058/tid=26074] ppid=26056 vsize=877440 CPUtime=3.32 cores=0-31
/proc/26058/task/26074/stat : 26074 (plingeling) R 26056 26058 26032 0 -1 4202560 800 1240 0 0 331 0 0 1 25 0 33 0 718314116 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26058/tid=26075] ppid=26056 vsize=877440 CPUtime=3.31 cores=0-31
/proc/26058/task/26075/stat : 26075 (plingeling) R 26056 26058 26032 0 -1 4202560 387 1240 0 0 330 0 0 1 25 0 33 0 718314117 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26058/tid=26076] ppid=26056 vsize=877440 CPUtime=3.34 cores=0-31
/proc/26058/task/26076/stat : 26076 (plingeling) R 26056 26058 26032 0 -1 4202560 1548 1240 0 0 332 1 0 1 25 0 33 0 718314117 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4253133 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26058/tid=26077] ppid=26056 vsize=877440 CPUtime=3.34 cores=0-31
/proc/26058/task/26077/stat : 26077 (plingeling) R 26056 26058 26032 0 -1 4202560 1092 1240 0 0 333 0 0 1 25 0 33 0 718314117 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4253091 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26058/tid=26078] ppid=26056 vsize=877440 CPUtime=3.34 cores=0-31
/proc/26058/task/26078/stat : 26078 (plingeling) R 26056 26058 26032 0 -1 4202560 1099 1240 0 0 332 1 0 1 25 0 33 0 718314117 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26058/tid=26079] ppid=26056 vsize=877440 CPUtime=3.35 cores=0-31
/proc/26058/task/26079/stat : 26079 (plingeling) R 26056 26058 26032 0 -1 4202560 1472 1240 0 0 333 1 0 1 25 0 33 0 718314117 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4343748 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26058/tid=26080] ppid=26056 vsize=877440 CPUtime=3.34 cores=0-31
/proc/26058/task/26080/stat : 26080 (plingeling) R 26056 26058 26032 0 -1 4202560 1116 1240 0 0 333 0 0 1 25 0 33 0 718314117 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4252899 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26058/tid=26081] ppid=26056 vsize=877440 CPUtime=3.26 cores=0-31
/proc/26058/task/26081/stat : 26081 (plingeling) R 26056 26058 26032 0 -1 4202560 1330 1240 0 0 325 0 0 1 25 0 33 0 718314117 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4236114 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26058/tid=26082] ppid=26056 vsize=877440 CPUtime=3.33 cores=0-31
/proc/26058/task/26082/stat : 26082 (plingeling) R 26056 26058 26032 0 -1 4202560 1288 1240 0 0 331 1 0 1 25 0 33 0 718314117 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4365434 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26058/tid=26083] ppid=26056 vsize=877440 CPUtime=3.33 cores=0-31
/proc/26058/task/26083/stat : 26083 (plingeling) R 26056 26058 26032 0 -1 4202560 1113 1240 0 0 332 0 0 1 25 0 33 0 718314117 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4236593 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26058/tid=26084] ppid=26056 vsize=877440 CPUtime=3.31 cores=0-31
/proc/26058/task/26084/stat : 26084 (plingeling) R 26056 26058 26032 0 -1 4202560 985 1240 0 0 330 0 0 1 21 0 33 0 718314117 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4365973 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26058/tid=26085] ppid=26056 vsize=877440 CPUtime=3.32 cores=0-31
/proc/26058/task/26085/stat : 26085 (plingeling) R 26056 26058 26032 0 -1 4202560 800 1240 0 0 331 0 0 1 21 0 33 0 718314117 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26058/tid=26086] ppid=26056 vsize=877440 CPUtime=3.34 cores=0-31
/proc/26058/task/26086/stat : 26086 (plingeling) R 26056 26058 26032 0 -1 4202560 802 1240 0 0 333 0 0 1 25 0 33 0 718314118 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4262568 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26058/tid=26087] ppid=26056 vsize=877440 CPUtime=3.3 cores=0-31
/proc/26058/task/26087/stat : 26087 (plingeling) R 26056 26058 26032 0 -1 4202560 847 1240 0 0 329 0 0 1 25 0 33 0 718314118 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4264926 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26058/tid=26088] ppid=26056 vsize=877440 CPUtime=3.32 cores=0-31
/proc/26058/task/26088/stat : 26088 (plingeling) R 26056 26058 26032 0 -1 4202560 766 1240 0 0 331 0 0 1 25 0 33 0 718314118 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4258488 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26058/tid=26089] ppid=26056 vsize=877440 CPUtime=3.32 cores=0-31
/proc/26058/task/26089/stat : 26089 (plingeling) R 26056 26058 26032 0 -1 4202560 975 1240 0 0 331 0 0 1 25 0 33 0 718314118 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4232664 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26058/tid=26090] ppid=26056 vsize=877440 CPUtime=3.32 cores=0-31
/proc/26058/task/26090/stat : 26090 (plingeling) R 26056 26058 26032 0 -1 4202560 857 1240 0 0 331 0 0 1 25 0 33 0 718314118 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4253228 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=26058/tid=26091] ppid=26056 vsize=877440 CPUtime=3.33 cores=0-31
/proc/26058/task/26091/stat : 26091 (plingeling) R 26056 26058 26032 0 -1 4202560 1398 1240 0 0 332 0 0 1 25 0 33 0 718314118 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4232787 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=26058/tid=26092] ppid=26056 vsize=877440 CPUtime=3.33 cores=0-31
/proc/26058/task/26092/stat : 26092 (plingeling) R 26056 26058 26032 0 -1 4202560 897 1240 0 0 332 0 0 1 25 0 33 0 718314118 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=26058/tid=26093] ppid=26056 vsize=877440 CPUtime=3.32 cores=0-31
/proc/26058/task/26093/stat : 26093 (plingeling) R 26056 26058 26032 0 -1 4202560 1154 1240 0 0 331 0 0 1 25 0 33 0 718314118 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4235507 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26058/tid=26094] ppid=26056 vsize=877440 CPUtime=3.34 cores=0-31
/proc/26058/task/26094/stat : 26094 (plingeling) R 26056 26058 26032 0 -1 4202560 1185 1240 0 0 333 0 0 1 25 0 33 0 718314118 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4252987 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26058/tid=26095] ppid=26056 vsize=877440 CPUtime=3.33 cores=0-31
/proc/26058/task/26095/stat : 26095 (plingeling) R 26056 26058 26032 0 -1 4202560 1000 1240 0 0 331 1 0 1 22 0 33 0 718314118 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=26058/tid=26096] ppid=26056 vsize=877440 CPUtime=3.33 cores=0-31
/proc/26058/task/26096/stat : 26096 (plingeling) R 26056 26058 26032 0 -1 4202560 841 1240 0 0 332 0 0 1 25 0 33 0 718314120 898498560 54945 268435456000 4194304 4417452 140734192177008 18446744073709551615 4252404 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 109.51
Current children cumulated vsize (KiB) 877440

[startup+12.7017 s]
/proc/loadavg: 29.94 31.58 31.85 33/446 26096
/proc/meminfo: memFree=255235424/264257624 swapFree=67111528/67111528
[pid=26058] ppid=26056 vsize=909508 CPUtime=314.09 cores=0-31
/proc/26058/stat : 26058 (plingeling) S 26056 26058 26032 0 -1 4202496 93104 1240 0 0 31365 43 0 1 20 0 33 0 718313823 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/26058/statm: 227377 62962 175 55 0 225263 0
[pid=26058/tid=26065] ppid=26056 vsize=909508 CPUtime=9.75 cores=0-31
/proc/26058/task/26065/stat : 26065 (plingeling) R 26056 26058 26032 0 -1 4202560 1066 1240 0 0 974 0 0 1 25 0 33 0 718314116 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4275960 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26058/tid=26066] ppid=26056 vsize=909508 CPUtime=9.74 cores=0-31
/proc/26058/task/26066/stat : 26066 (plingeling) R 26056 26058 26032 0 -1 4202560 613 1240 0 0 973 0 0 1 25 0 33 0 718314116 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26058/tid=26067] ppid=26056 vsize=909508 CPUtime=9.75 cores=0-31
/proc/26058/task/26067/stat : 26067 (plingeling) R 26056 26058 26032 0 -1 4202560 1739 1240 0 0 973 1 0 1 25 0 33 0 718314116 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26058/tid=26068] ppid=26056 vsize=909508 CPUtime=9.75 cores=0-31
/proc/26058/task/26068/stat : 26068 (plingeling) R 26056 26058 26032 0 -1 4202560 1965 1240 0 0 974 0 0 1 25 0 33 0 718314116 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4250593 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26058/tid=26069] ppid=26056 vsize=909508 CPUtime=9.73 cores=0-31
/proc/26058/task/26069/stat : 26069 (plingeling) R 26056 26058 26032 0 -1 4202560 864 1240 0 0 972 0 0 1 25 0 33 0 718314116 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4236634 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26058/tid=26070] ppid=26056 vsize=909508 CPUtime=9.72 cores=0-31
/proc/26058/task/26070/stat : 26070 (plingeling) R 26056 26058 26032 0 -1 4202560 1871 1240 0 0 970 1 0 1 25 0 33 0 718314116 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26058/tid=26071] ppid=26056 vsize=909508 CPUtime=9.74 cores=0-31
/proc/26058/task/26071/stat : 26071 (plingeling) R 26056 26058 26032 0 -1 4202560 1426 1240 0 0 972 1 0 1 25 0 33 0 718314116 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4365996 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=26058/tid=26072] ppid=26056 vsize=909508 CPUtime=9.75 cores=0-31
/proc/26058/task/26072/stat : 26072 (plingeling) R 26056 26058 26032 0 -1 4202560 1208 1240 0 0 973 1 0 1 25 0 33 0 718314116 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26058/tid=26073] ppid=26056 vsize=909508 CPUtime=9.74 cores=0-31
/proc/26058/task/26073/stat : 26073 (plingeling) R 26056 26058 26032 0 -1 4202560 1208 1240 0 0 973 0 0 1 25 0 33 0 718314116 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26058/tid=26074] ppid=26056 vsize=909508 CPUtime=9.72 cores=0-31
/proc/26058/task/26074/stat : 26074 (plingeling) R 26056 26058 26032 0 -1 4202560 1023 1240 0 0 971 0 0 1 25 0 33 0 718314116 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4236995 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26058/tid=26075] ppid=26056 vsize=909508 CPUtime=9.52 cores=0-31
/proc/26058/task/26075/stat : 26075 (plingeling) R 26056 26058 26032 0 -1 4202560 996 1240 0 0 951 0 0 1 25 0 33 0 718314117 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26058/tid=26076] ppid=26056 vsize=909508 CPUtime=9.74 cores=0-31
/proc/26058/task/26076/stat : 26076 (plingeling) R 26056 26058 26032 0 -1 4202560 1666 1240 0 0 972 1 0 1 25 0 33 0 718314117 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4277599 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26058/tid=26077] ppid=26056 vsize=909508 CPUtime=9.75 cores=0-31
/proc/26058/task/26077/stat : 26077 (plingeling) R 26056 26058 26032 0 -1 4202560 1380 1240 0 0 973 1 0 1 25 0 33 0 718314117 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364669 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26058/tid=26078] ppid=26056 vsize=909508 CPUtime=9.74 cores=0-31
/proc/26058/task/26078/stat : 26078 (plingeling) R 26056 26058 26032 0 -1 4202560 1233 1240 0 0 972 1 0 1 25 0 33 0 718314117 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4301995 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26058/tid=26079] ppid=26056 vsize=909508 CPUtime=9.74 cores=0-31
/proc/26058/task/26079/stat : 26079 (plingeling) R 26056 26058 26032 0 -1 4202560 1909 1240 0 0 972 1 0 1 25 0 33 0 718314117 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26058/tid=26080] ppid=26056 vsize=909508 CPUtime=9.75 cores=0-31
/proc/26058/task/26080/stat : 26080 (plingeling) R 26056 26058 26032 0 -1 4202560 1382 1240 0 0 973 1 0 1 25 0 33 0 718314117 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26058/tid=26081] ppid=26056 vsize=909508 CPUtime=9.66 cores=0-31
/proc/26058/task/26081/stat : 26081 (plingeling) R 26056 26058 26032 0 -1 4202560 1394 1240 0 0 965 0 0 1 25 0 33 0 718314117 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4264888 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26058/tid=26082] ppid=26056 vsize=909508 CPUtime=9.73 cores=0-31
/proc/26058/task/26082/stat : 26082 (plingeling) R 26056 26058 26032 0 -1 4202560 1351 1240 0 0 971 1 0 1 25 0 33 0 718314117 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4275748 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26058/tid=26083] ppid=26056 vsize=909508 CPUtime=9.73 cores=0-31
/proc/26058/task/26083/stat : 26083 (plingeling) R 26056 26058 26032 0 -1 4202560 1547 1240 0 0 972 0 0 1 25 0 33 0 718314117 931336192 62962 268435456000 4194304 4417452 140734192177008 18446744073709551615 4237211 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26058/tid=26084] ppid=26056 vsize=909508 CPUtime=9.71 cores=0-31

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

/proc/26058/task/26090/stat : 26090 (plingeling) R 26056 26058 26032 0 -1 4202560 461015 1240 0 0 216627 629 0 1 25 0 33 0 718314118 2364362752 412477 268435456000 4194304 4417452 140734192177008 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26058/tid=26091] ppid=26056 vsize=2308948 CPUtime=2173.29 cores=0-31
/proc/26058/task/26091/stat : 26091 (plingeling) R 26056 26058 26032 0 -1 4202560 495150 1240 0 0 216709 619 0 1 25 0 33 0 718314118 2364362752 412477 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26058/tid=26092] ppid=26056 vsize=2308948 CPUtime=2173.29 cores=0-31
/proc/26058/task/26092/stat : 26092 (plingeling) R 26056 26058 26032 0 -1 4202560 465087 1240 0 0 216641 687 0 1 25 0 33 0 718314118 2364362752 412477 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26058/tid=26093] ppid=26056 vsize=2308948 CPUtime=2172.63 cores=0-31
/proc/26058/task/26093/stat : 26093 (plingeling) R 26056 26058 26032 0 -1 4202560 441786 1240 0 0 216653 609 0 1 25 0 33 0 718314118 2364362752 412477 268435456000 4194304 4417452 140734192177008 18446744073709551615 4357955 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26058/tid=26094] ppid=26056 vsize=2308948 CPUtime=2166.15 cores=0-31
/proc/26058/task/26094/stat : 26094 (plingeling) R 26056 26058 26032 0 -1 4202560 437554 1240 0 0 215976 638 0 1 25 0 33 0 718314118 2364362752 412477 268435456000 4194304 4417452 140734192177008 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26058/tid=26095] ppid=26056 vsize=2308948 CPUtime=2170.71 cores=0-31
/proc/26058/task/26095/stat : 26095 (plingeling) R 26056 26058 26032 0 -1 4202560 433448 1240 0 0 216501 569 0 1 25 0 33 0 718314118 2364362752 412477 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=26058/tid=26096] ppid=26056 vsize=2308948 CPUtime=2171.75 cores=0-31
/proc/26058/task/26096/stat : 26096 (plingeling) R 26056 26058 26032 0 -1 4202560 443117 1240 0 0 216620 554 0 1 25 0 33 0 718314120 2364362752 412477 268435456000 4194304 4417452 140734192177008 18446744073709551615 4237237 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 69496.3
Current children cumulated vsize (KiB) 2308948

[startup+2179.9 s]
/proc/loadavg: 32.08 32.04 32.01 33/446 26163
/proc/meminfo: memFree=253848492/264257624 swapFree=67111528/67111528
[pid=26058] ppid=26056 vsize=2267048 CPUtime=69521.2 cores=0-31
/proc/26058/stat : 26058 (plingeling) S 26056 26058 26032 0 -1 4202496 14718686 1240 0 0 6932057 20064 0 1 20 0 33 0 718313823 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/26058/statm: 566762 402002 175 55 0 564648 0
[pid=26058/tid=26065] ppid=26056 vsize=2267048 CPUtime=2174.14 cores=0-31
/proc/26058/task/26065/stat : 26065 (plingeling) R 26056 26058 26032 0 -1 4202560 480848 1240 0 0 216803 610 0 1 25 0 33 0 718314116 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26058/tid=26066] ppid=26056 vsize=2267048 CPUtime=2173.19 cores=0-31
/proc/26058/task/26066/stat : 26066 (plingeling) R 26056 26058 26032 0 -1 4202560 465760 1240 0 0 216679 639 0 1 25 0 33 0 718314116 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4251063 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26058/tid=26067] ppid=26056 vsize=2267048 CPUtime=2173.21 cores=0-31
/proc/26058/task/26067/stat : 26067 (plingeling) R 26056 26058 26032 0 -1 4202560 463994 1240 0 0 216669 651 0 1 25 0 33 0 718314116 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4232680 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26058/tid=26068] ppid=26056 vsize=2267048 CPUtime=2172.96 cores=0-31
/proc/26058/task/26068/stat : 26068 (plingeling) R 26056 26058 26032 0 -1 4202560 669637 1240 0 0 216442 853 0 1 25 0 33 0 718314116 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26058/tid=26069] ppid=26056 vsize=2267048 CPUtime=2174.38 cores=0-31
/proc/26058/task/26069/stat : 26069 (plingeling) R 26056 26058 26032 0 -1 4202560 421912 1240 0 0 216866 571 0 1 25 0 33 0 718314116 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=26058/tid=26070] ppid=26056 vsize=2267048 CPUtime=2173.22 cores=0-31
/proc/26058/task/26070/stat : 26070 (plingeling) R 26056 26058 26032 0 -1 4202560 431908 1240 0 0 216720 601 0 1 25 0 33 0 718314116 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4251028 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26058/tid=26071] ppid=26056 vsize=2267048 CPUtime=2173.65 cores=0-31
/proc/26058/task/26071/stat : 26071 (plingeling) R 26056 26058 26032 0 -1 4202560 486203 1240 0 0 216731 633 0 1 25 0 33 0 718314116 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=26058/tid=26072] ppid=26056 vsize=2267048 CPUtime=2174.35 cores=0-31
/proc/26058/task/26072/stat : 26072 (plingeling) R 26056 26058 26032 0 -1 4202560 464405 1240 0 0 216828 606 0 1 25 0 33 0 718314116 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26058/tid=26073] ppid=26056 vsize=2267048 CPUtime=2174.51 cores=0-31
/proc/26058/task/26073/stat : 26073 (plingeling) R 26056 26058 26032 0 -1 4202560 416700 1240 0 0 216860 590 0 1 25 0 33 0 718314116 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26058/tid=26074] ppid=26056 vsize=2267048 CPUtime=2172.78 cores=0-31
/proc/26058/task/26074/stat : 26074 (plingeling) R 26056 26058 26032 0 -1 4202560 401889 1240 0 0 216739 538 0 1 25 0 33 0 718314116 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26058/tid=26075] ppid=26056 vsize=2267048 CPUtime=2170.4 cores=0-31
/proc/26058/task/26075/stat : 26075 (plingeling) R 26056 26058 26032 0 -1 4202560 459959 1240 0 0 216350 689 0 1 25 0 33 0 718314117 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26058/tid=26076] ppid=26056 vsize=2267048 CPUtime=2173.04 cores=0-31
/proc/26058/task/26076/stat : 26076 (plingeling) R 26056 26058 26032 0 -1 4202560 443942 1240 0 0 216699 604 0 1 25 0 33 0 718314117 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26058/tid=26077] ppid=26056 vsize=2267048 CPUtime=2164.64 cores=0-31
/proc/26058/task/26077/stat : 26077 (plingeling) R 26056 26058 26032 0 -1 4202560 453387 1240 0 0 215895 568 0 1 25 0 33 0 718314117 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=26058/tid=26078] ppid=26056 vsize=2267048 CPUtime=2173.36 cores=0-31
/proc/26058/task/26078/stat : 26078 (plingeling) R 26056 26058 26032 0 -1 4202560 426998 1240 0 0 216730 605 0 1 25 0 33 0 718314117 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4366082 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=26058/tid=26079] ppid=26056 vsize=2267048 CPUtime=2170.2 cores=0-31
/proc/26058/task/26079/stat : 26079 (plingeling) R 26056 26058 26032 0 -1 4202560 452286 1240 0 0 216340 679 0 1 25 0 33 0 718314117 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4357150 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26058/tid=26080] ppid=26056 vsize=2267048 CPUtime=2170.79 cores=0-31
/proc/26058/task/26080/stat : 26080 (plingeling) R 26056 26058 26032 0 -1 4202560 423654 1240 0 0 216439 639 0 1 25 0 33 0 718314117 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26058/tid=26081] ppid=26056 vsize=2267048 CPUtime=2174.56 cores=0-31
/proc/26058/task/26081/stat : 26081 (plingeling) R 26056 26058 26032 0 -1 4202560 468325 1240 0 0 216869 586 0 1 25 0 33 0 718314117 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4310251 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26058/tid=26082] ppid=26056 vsize=2267048 CPUtime=2170.36 cores=0-31
/proc/26058/task/26082/stat : 26082 (plingeling) R 26056 26058 26032 0 -1 4202560 434307 1240 0 0 216431 604 0 1 25 0 33 0 718314117 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26058/tid=26083] ppid=26056 vsize=2267048 CPUtime=2172.35 cores=0-31
/proc/26058/task/26083/stat : 26083 (plingeling) R 26056 26058 26032 0 -1 4202560 454955 1240 0 0 216572 662 0 1 25 0 33 0 718314117 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26058/tid=26084] ppid=26056 vsize=2267048 CPUtime=2171.55 cores=0-31
/proc/26058/task/26084/stat : 26084 (plingeling) R 26056 26058 26032 0 -1 4202560 468883 1240 0 0 216509 645 0 1 25 0 33 0 718314117 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26058/tid=26085] ppid=26056 vsize=2267048 CPUtime=2171.91 cores=0-31
/proc/26058/task/26085/stat : 26085 (plingeling) R 26056 26058 26032 0 -1 4202560 477332 1240 0 0 216493 697 0 1 25 0 33 0 718314117 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26058/tid=26086] ppid=26056 vsize=2267048 CPUtime=2173.26 cores=0-31
/proc/26058/task/26086/stat : 26086 (plingeling) R 26056 26058 26032 0 -1 4202560 453337 1240 0 0 216675 650 0 1 25 0 33 0 718314118 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26058/tid=26087] ppid=26056 vsize=2267048 CPUtime=2173.41 cores=0-31
/proc/26058/task/26087/stat : 26087 (plingeling) R 26056 26058 26032 0 -1 4202560 470590 1240 0 0 216793 547 0 1 25 0 33 0 718314118 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26058/tid=26088] ppid=26056 vsize=2267048 CPUtime=2173.34 cores=0-31
/proc/26058/task/26088/stat : 26088 (plingeling) R 26056 26058 26032 0 -1 4202560 455950 1240 0 0 216654 679 0 1 25 0 33 0 718314118 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26058/tid=26089] ppid=26056 vsize=2267048 CPUtime=2172.95 cores=0-31
/proc/26058/task/26089/stat : 26089 (plingeling) R 26056 26058 26032 0 -1 4202560 442725 1240 0 0 216706 588 0 1 25 0 33 0 718314118 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=26058/tid=26090] ppid=26056 vsize=2267048 CPUtime=2173.34 cores=0-31
/proc/26058/task/26090/stat : 26090 (plingeling) R 26056 26058 26032 0 -1 4202560 461015 1240 0 0 216704 629 0 1 25 0 33 0 718314118 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4247490 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26058/tid=26091] ppid=26056 vsize=2267048 CPUtime=2174.07 cores=0-31
/proc/26058/task/26091/stat : 26091 (plingeling) R 26056 26058 26032 0 -1 4202560 495150 1240 0 0 216787 619 0 1 25 0 33 0 718314118 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26058/tid=26092] ppid=26056 vsize=2267048 CPUtime=2174.07 cores=0-31
/proc/26058/task/26092/stat : 26092 (plingeling) R 26056 26058 26032 0 -1 4202560 465087 1240 0 0 216719 687 0 1 25 0 33 0 718314118 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26058/tid=26093] ppid=26056 vsize=2267048 CPUtime=2173.41 cores=0-31
/proc/26058/task/26093/stat : 26093 (plingeling) R 26056 26058 26032 0 -1 4202560 441786 1240 0 0 216731 609 0 1 25 0 33 0 718314118 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26058/tid=26094] ppid=26056 vsize=2267048 CPUtime=2166.93 cores=0-31
/proc/26058/task/26094/stat : 26094 (plingeling) R 26056 26058 26032 0 -1 4202560 437554 1240 0 0 216054 638 0 1 25 0 33 0 718314118 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26058/tid=26095] ppid=26056 vsize=2267048 CPUtime=2171.49 cores=0-31
/proc/26058/task/26095/stat : 26095 (plingeling) R 26056 26058 26032 0 -1 4202560 433448 1240 0 0 216579 569 0 1 25 0 33 0 718314118 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=26058/tid=26096] ppid=26056 vsize=2267048 CPUtime=2172.53 cores=0-31
/proc/26058/task/26096/stat : 26096 (plingeling) R 26056 26058 26032 0 -1 4202560 443117 1240 0 0 216698 554 0 1 25 0 33 0 718314120 2321457152 402002 268435456000 4194304 4417452 140734192177008 18446744073709551615 4357127 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 69521.2
Current children cumulated vsize (KiB) 2267048

[startup+2180.7 s]
/proc/loadavg: 32.08 32.04 32.01 33/446 26163
/proc/meminfo: memFree=253880484/264257624 swapFree=67111528/67111528
[pid=26058] ppid=26056 vsize=2273288 CPUtime=69546.8 cores=0-31
/proc/26058/stat : 26058 (plingeling) S 26056 26058 26032 0 -1 4202496 14722294 1240 0 0 6934609 20068 0 1 20 0 33 0 718313823 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 25 0 0 0
/proc/26058/statm: 568322 403562 175 55 0 566208 0
[pid=26058/tid=26065] ppid=26056 vsize=2273288 CPUtime=2174.94 cores=0-31
/proc/26058/task/26065/stat : 26065 (plingeling) R 26056 26058 26032 0 -1 4202560 480848 1240 0 0 216883 610 0 1 25 0 33 0 718314116 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4265473 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26058/tid=26066] ppid=26056 vsize=2273288 CPUtime=2173.99 cores=0-31
/proc/26058/task/26066/stat : 26066 (plingeling) R 26056 26058 26032 0 -1 4202560 465760 1240 0 0 216759 639 0 1 25 0 33 0 718314116 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26058/tid=26067] ppid=26056 vsize=2273288 CPUtime=2174.01 cores=0-31
/proc/26058/task/26067/stat : 26067 (plingeling) R 26056 26058 26032 0 -1 4202560 463994 1240 0 0 216749 651 0 1 25 0 33 0 718314116 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4213376 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26058/tid=26068] ppid=26056 vsize=2273288 CPUtime=2173.76 cores=0-31
/proc/26058/task/26068/stat : 26068 (plingeling) R 26056 26058 26032 0 -1 4202560 669637 1240 0 0 216522 853 0 1 25 0 33 0 718314116 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4357260 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26058/tid=26069] ppid=26056 vsize=2273288 CPUtime=2175.18 cores=0-31
/proc/26058/task/26069/stat : 26069 (plingeling) R 26056 26058 26032 0 -1 4202560 421912 1240 0 0 216946 571 0 1 25 0 33 0 718314116 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=26058/tid=26070] ppid=26056 vsize=2273288 CPUtime=2174.02 cores=0-31
/proc/26058/task/26070/stat : 26070 (plingeling) R 26056 26058 26032 0 -1 4202560 431908 1240 0 0 216800 601 0 1 25 0 33 0 718314116 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=26058/tid=26071] ppid=26056 vsize=2273288 CPUtime=2174.45 cores=0-31
/proc/26058/task/26071/stat : 26071 (plingeling) R 26056 26058 26032 0 -1 4202560 486203 1240 0 0 216811 633 0 1 25 0 33 0 718314116 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=26058/tid=26072] ppid=26056 vsize=2273288 CPUtime=2175.15 cores=0-31
/proc/26058/task/26072/stat : 26072 (plingeling) R 26056 26058 26032 0 -1 4202560 464405 1240 0 0 216908 606 0 1 25 0 33 0 718314116 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26058/tid=26073] ppid=26056 vsize=2273288 CPUtime=2175.31 cores=0-31
/proc/26058/task/26073/stat : 26073 (plingeling) R 26056 26058 26032 0 -1 4202560 416700 1240 0 0 216940 590 0 1 25 0 33 0 718314116 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26058/tid=26074] ppid=26056 vsize=2273288 CPUtime=2173.58 cores=0-31
/proc/26058/task/26074/stat : 26074 (plingeling) R 26056 26058 26032 0 -1 4202560 401889 1240 0 0 216819 538 0 1 25 0 33 0 718314116 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364850 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26058/tid=26075] ppid=26056 vsize=2273288 CPUtime=2171.19 cores=0-31
/proc/26058/task/26075/stat : 26075 (plingeling) R 26056 26058 26032 0 -1 4202560 459959 1240 0 0 216429 689 0 1 25 0 33 0 718314117 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26058/tid=26076] ppid=26056 vsize=2273288 CPUtime=2173.84 cores=0-31
/proc/26058/task/26076/stat : 26076 (plingeling) R 26056 26058 26032 0 -1 4202560 443942 1240 0 0 216779 604 0 1 25 0 33 0 718314117 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=26058/tid=26077] ppid=26056 vsize=2273288 CPUtime=2165.44 cores=0-31
/proc/26058/task/26077/stat : 26077 (plingeling) R 26056 26058 26032 0 -1 4202560 453387 1240 0 0 215975 568 0 1 25 0 33 0 718314117 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=26058/tid=26078] ppid=26056 vsize=2273288 CPUtime=2174.16 cores=0-31
/proc/26058/task/26078/stat : 26078 (plingeling) R 26056 26058 26032 0 -1 4202560 426998 1240 0 0 216810 605 0 1 25 0 33 0 718314117 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=26058/tid=26079] ppid=26056 vsize=2273288 CPUtime=2171 cores=0-31
/proc/26058/task/26079/stat : 26079 (plingeling) R 26056 26058 26032 0 -1 4202560 452286 1240 0 0 216420 679 0 1 25 0 33 0 718314117 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4358116 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26058/tid=26080] ppid=26056 vsize=2273288 CPUtime=2171.59 cores=0-31
/proc/26058/task/26080/stat : 26080 (plingeling) R 26056 26058 26032 0 -1 4202560 423654 1240 0 0 216519 639 0 1 25 0 33 0 718314117 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26058/tid=26081] ppid=26056 vsize=2273288 CPUtime=2175.36 cores=0-31
/proc/26058/task/26081/stat : 26081 (plingeling) R 26056 26058 26032 0 -1 4202560 468325 1240 0 0 216949 586 0 1 25 0 33 0 718314117 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4346394 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26058/tid=26082] ppid=26056 vsize=2273288 CPUtime=2171.15 cores=0-31
/proc/26058/task/26082/stat : 26082 (plingeling) R 26056 26058 26032 0 -1 4202560 435850 1240 0 0 216506 608 0 1 25 0 33 0 718314117 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26058/tid=26083] ppid=26056 vsize=2273288 CPUtime=2173.15 cores=0-31
/proc/26058/task/26083/stat : 26083 (plingeling) R 26056 26058 26032 0 -1 4202560 454955 1240 0 0 216652 662 0 1 25 0 33 0 718314117 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26058/tid=26084] ppid=26056 vsize=2273288 CPUtime=2172.35 cores=0-31
/proc/26058/task/26084/stat : 26084 (plingeling) R 26056 26058 26032 0 -1 4202560 468883 1240 0 0 216589 645 0 1 25 0 33 0 718314117 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26058/tid=26085] ppid=26056 vsize=2273288 CPUtime=2172.71 cores=0-31
/proc/26058/task/26085/stat : 26085 (plingeling) R 26056 26058 26032 0 -1 4202560 477332 1240 0 0 216573 697 0 1 25 0 33 0 718314117 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26058/tid=26086] ppid=26056 vsize=2273288 CPUtime=2174.04 cores=0-31
/proc/26058/task/26086/stat : 26086 (plingeling) R 26056 26058 26032 0 -1 4202560 453337 1240 0 0 216753 650 0 1 25 0 33 0 718314118 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26058/tid=26087] ppid=26056 vsize=2273288 CPUtime=2174.21 cores=0-31
/proc/26058/task/26087/stat : 26087 (plingeling) R 26056 26058 26032 0 -1 4202560 470607 1240 0 0 216873 547 0 1 25 0 33 0 718314118 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26058/tid=26088] ppid=26056 vsize=2273288 CPUtime=2174.13 cores=0-31
/proc/26058/task/26088/stat : 26088 (plingeling) R 26056 26058 26032 0 -1 4202560 457998 1240 0 0 216733 679 0 1 25 0 33 0 718314118 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26058/tid=26089] ppid=26056 vsize=2273288 CPUtime=2173.75 cores=0-31
/proc/26058/task/26089/stat : 26089 (plingeling) R 26056 26058 26032 0 -1 4202560 442725 1240 0 0 216786 588 0 1 25 0 33 0 718314118 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=26058/tid=26090] ppid=26056 vsize=2273288 CPUtime=2174.14 cores=0-31
/proc/26058/task/26090/stat : 26090 (plingeling) R 26056 26058 26032 0 -1 4202560 461015 1240 0 0 216784 629 0 1 25 0 33 0 718314118 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4277291 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26058/tid=26091] ppid=26056 vsize=2273288 CPUtime=2174.87 cores=0-31
/proc/26058/task/26091/stat : 26091 (plingeling) R 26056 26058 26032 0 -1 4202560 495150 1240 0 0 216867 619 0 1 25 0 33 0 718314118 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26058/tid=26092] ppid=26056 vsize=2273288 CPUtime=2174.87 cores=0-31
/proc/26058/task/26092/stat : 26092 (plingeling) R 26056 26058 26032 0 -1 4202560 465087 1240 0 0 216799 687 0 1 25 0 33 0 718314118 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26058/tid=26093] ppid=26056 vsize=2273288 CPUtime=2174.21 cores=0-31
/proc/26058/task/26093/stat : 26093 (plingeling) R 26056 26058 26032 0 -1 4202560 441786 1240 0 0 216811 609 0 1 25 0 33 0 718314118 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=26058/tid=26094] ppid=26056 vsize=2273288 CPUtime=2167.73 cores=0-31
/proc/26058/task/26094/stat : 26094 (plingeling) R 26056 26058 26032 0 -1 4202560 437554 1240 0 0 216134 638 0 1 25 0 33 0 718314118 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=26058/tid=26095] ppid=26056 vsize=2273288 CPUtime=2172.29 cores=0-31
/proc/26058/task/26095/stat : 26095 (plingeling) R 26056 26058 26032 0 -1 4202560 433448 1240 0 0 216659 569 0 1 25 0 33 0 718314118 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=26058/tid=26096] ppid=26056 vsize=2273288 CPUtime=2173.33 cores=0-31
/proc/26058/task/26096/stat : 26096 (plingeling) R 26056 26058 26032 0 -1 4202560 443117 1240 0 0 216778 554 0 1 25 0 33 0 718314120 2327846912 403562 268435456000 4194304 4417452 140734192177008 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 69546.8
Current children cumulated vsize (KiB) 2273288

[startup+2181.1 s]
/proc/loadavg: 32.08 32.04 32.01 33/446 26163
/proc/meminfo: memFree=253880484/264257624 swapFree=67111528/67111528
[pid=26058] ppid=26056 vsize=583484 CPUtime=69552 cores=0-31
/proc/26058/stat : 26058 (plingeling) R 26056 26058 26032 0 -1 4202496 14722295 1240 0 0 6935117 20082 0 1 17 0 1 0 718313823 597487616 35764 268435456000 4194304 4417452 140734192177008 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 25 0 0 0
/proc/26058/statm: 145871 35764 176 55 0 143757 0
Current children cumulated CPU time (s) 69552
Current children cumulated vsize (KiB) 583484

Child status: 20
Real time (s): 2181.12
CPU time (s): 69552
CPU user time (s): 69351.2
CPU system time (s): 200.851
CPU usage (%): 3188.83
Max. virtual memory (cumulated for all children) (KiB): 2601628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69351.2
system time used= 200.851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14723539
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= 12698
involuntary context switches= 166999

runsolver used 12.0412 second user time and 49.6624 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-22 14:44:34
IDJOB=3372834
IDBENCH=84215
IDSOLVER=1852
FILE ID=node200/3372834-1306068274
RUNJOBID= node200-1306068274-26046
PBS_JOBID= 13387813
Free space on /tmp= 62044 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372834-1306068274/watcher-3372834-1306068274 -o /tmp/evaluation-result-3372834-1306068274/solver-3372834-1306068274 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372834-1306068274.cnf

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

MD5SUM BENCH= 77e0700cbaeeb3d63a4820608fc84761
RANDOM SEED=636752898

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:      255498864 kB
Buffers:        455284 kB
Cached:        7900528 kB
SwapCached:          0 kB
Active:        7450968 kB
Inactive:       973804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255498864 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1504 kB
Writeback:           0 kB
AnonPages:       71964 kB
Mapped:          13816 kB
Slab:           252488 kB
PageTables:       5656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   179820 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-22 15:20:55