Trace number 3372606

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 3394.83 111.216

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf
MD5SUMf1a7d779d46b93ce2fde4f2438e6ae5c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark809.361
Satisfiable
(Un)Satisfiability was proved
Number of variables82007
Number of clauses241364
Sum of the clauses size563180
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2160908
Number of clauses of size 380454
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

3394.80/111.21	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-3372606-1305691212/watcher-3372606-1305691212 -o /tmp/evaluation-result-3372606-1305691212/solver-3372606-1305691212 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372606-1305691212.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: 8.26 19.45 26.11 1/413 30666
/proc/meminfo: memFree=255496408/264257624 swapFree=67111528/67111528
[pid=30666] ppid=30664 vsize=12964 CPUtime=0.01 cores=0-31
/proc/30666/stat : 30666 (plingeling) R 30664 30666 30316 0 -1 4202496 1322 1239 0 0 1 0 0 0 21 0 1 0 680607664 13275136 1254 268435456000 4194304 4417452 140734452834000 18446744073709551615 4264851 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30666/statm: 3241 1254 145 55 0 1127 0

[startup+0.0850109 s]
/proc/loadavg: 8.26 19.45 26.11 1/413 30666
/proc/meminfo: memFree=255496408/264257624 swapFree=67111528/67111528
[pid=30666] ppid=30664 vsize=17736 CPUtime=0.07 cores=0-31
/proc/30666/stat : 30666 (plingeling) R 30664 30666 30316 0 -1 4202496 2517 1239 0 0 6 1 0 0 21 0 1 0 680607664 18161664 2449 268435456000 4194304 4417452 140734452834000 18446744073709551615 4228028 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30666/statm: 4434 2449 145 55 0 2320 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17736

[startup+0.101002 s]
/proc/loadavg: 8.26 19.45 26.11 1/413 30666
/proc/meminfo: memFree=255496408/264257624 swapFree=67111528/67111528
[pid=30666] ppid=30664 vsize=19980 CPUtime=0.08 cores=0-31
/proc/30666/stat : 30666 (plingeling) R 30664 30666 30316 0 -1 4202496 3078 1239 0 0 7 1 0 0 21 0 1 0 680607664 20459520 3010 268435456000 4194304 4417452 140734452834000 18446744073709551615 4231657 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30666/statm: 4995 3010 145 55 0 2881 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19980

[startup+0.301003 s]
/proc/loadavg: 8.26 19.45 26.11 1/413 30666
/proc/meminfo: memFree=255496408/264257624 swapFree=67111528/67111528
[pid=30666] ppid=30664 vsize=37480 CPUtime=0.28 cores=0-31
/proc/30666/stat : 30666 (plingeling) R 30664 30666 30316 0 -1 4202496 7452 1239 0 0 26 2 0 0 22 0 1 0 680607664 38379520 7384 268435456000 4194304 4417452 140734452834000 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30666/statm: 9370 7384 146 55 0 7256 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 37480

[startup+0.701019 s]
/proc/loadavg: 8.26 19.45 26.11 1/413 30666
/proc/meminfo: memFree=255496408/264257624 swapFree=67111528/67111528
[pid=30666] ppid=30664 vsize=65320 CPUtime=0.68 cores=0-31
/proc/30666/stat : 30666 (plingeling) R 30664 30666 30316 0 -1 4202496 14388 1239 0 0 64 4 0 0 23 0 1 0 680607664 66887680 14320 268435456000 4194304 4417452 140734452834000 18446744073709551615 4231256 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30666/statm: 16330 14320 146 55 0 14216 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 65320

[startup+1.50106 s]
/proc/loadavg: 7.68 19.15 25.98 2/414 30672
/proc/meminfo: memFree=255423664/264257624 swapFree=67111528/67111528
[pid=30666] ppid=30664 vsize=152628 CPUtime=1.48 cores=0-31
/proc/30666/stat : 30666 (plingeling) R 30664 30666 30316 0 -1 4202496 36247 1239 0 0 140 8 0 0 25 0 1 0 680607664 156291072 36179 268435456000 4194304 4417452 140734452834000 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30666/statm: 38157 36179 146 55 0 36043 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 152628

[startup+3.10114 s]
/proc/loadavg: 7.68 19.15 25.98 2/414 30672
/proc/meminfo: memFree=255277096/264257624 swapFree=67111528/67111528
[pid=30666] ppid=30664 vsize=292884 CPUtime=3.09 cores=0-31
/proc/30666/stat : 30666 (plingeling) R 30664 30666 30316 0 -1 4202496 71311 1239 0 0 293 16 0 0 25 0 1 0 680607664 299913216 71243 268435456000 4194304 4417452 140734452834000 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30666/statm: 73221 71243 146 55 0 71107 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 292884

[startup+6.30208 s]
/proc/loadavg: 9.71 19.38 26.02 33/446 30704
/proc/meminfo: memFree=254963972/264257624 swapFree=67111528/67111528
[pid=30666] ppid=30664 vsize=1117604 CPUtime=57.33 cores=0-31
/proc/30666/stat : 30666 (plingeling) S 30664 30666 30316 0 -1 4202496 224747 1239 0 0 5594 139 0 0 18 0 33 0 680607664 1144426496 136924 268435456000 4194304 4417452 140734452834000 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/30666/statm: 279401 136946 168 55 0 277287 0
[pid=30666/tid=30673] ppid=30664 vsize=1117604 CPUtime=1.66 cores=0-31
/proc/30666/task/30673/stat : 30673 (plingeling) R 30664 30666 30316 0 -1 4202560 2781 1239 0 0 163 3 0 0 20 0 33 0 680608125 1144426496 136954 268435456000 4194304 4417452 140734452834000 18446744073709551615 4285604 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30666/tid=30674] ppid=30664 vsize=1117604 CPUtime=1.67 cores=0-31
/proc/30666/task/30674/stat : 30674 (plingeling) R 30664 30666 30316 0 -1 4202560 3490 1239 0 0 162 5 0 0 20 0 33 0 680608125 1144426496 136965 268435456000 4194304 4417452 140734452834000 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30666/tid=30675] ppid=30664 vsize=1117604 CPUtime=1.66 cores=0-31
/proc/30666/task/30675/stat : 30675 (plingeling) R 30664 30666 30316 0 -1 4202560 2777 1239 0 0 162 4 0 0 20 0 33 0 680608125 1144426496 136975 268435456000 4194304 4417452 140734452834000 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30666/tid=30676] ppid=30664 vsize=1117604 CPUtime=1.65 cores=0-31
/proc/30666/task/30676/stat : 30676 (plingeling) R 30664 30666 30316 0 -1 4202560 1801 1239 0 0 164 1 0 0 20 0 33 0 680608125 1144426496 136983 268435456000 4194304 4417452 140734452834000 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30666/tid=30677] ppid=30664 vsize=1117604 CPUtime=1.64 cores=0-31
/proc/30666/task/30677/stat : 30677 (plingeling) R 30664 30666 30316 0 -1 4202560 2725 1239 0 0 163 1 0 0 20 0 33 0 680608125 1144426496 136993 268435456000 4194304 4417452 140734452834000 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30666/tid=30678] ppid=30664 vsize=1117604 CPUtime=1.64 cores=0-31
/proc/30666/task/30678/stat : 30678 (plingeling) R 30664 30666 30316 0 -1 4202560 2724 1239 0 0 163 1 0 0 20 0 33 0 680608125 1144426496 137003 268435456000 4194304 4417452 140734452834000 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30666/tid=30679] ppid=30664 vsize=1117604 CPUtime=1.67 cores=0-31
/proc/30666/task/30679/stat : 30679 (plingeling) R 30664 30666 30316 0 -1 4202560 3255 1239 0 0 164 3 0 0 20 0 33 0 680608125 1144426496 137013 268435456000 4194304 4417452 140734452834000 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30666/tid=30680] ppid=30664 vsize=1117604 CPUtime=1.67 cores=0-31
/proc/30666/task/30680/stat : 30680 (plingeling) R 30664 30666 30316 0 -1 4202560 3762 1239 0 0 162 5 0 0 20 0 33 0 680608125 1144426496 137021 268435456000 4194304 4417452 140734452834000 18446744073709551615 4287606 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30666/tid=30681] ppid=30664 vsize=1117604 CPUtime=1.66 cores=0-31
/proc/30666/task/30681/stat : 30681 (plingeling) R 30664 30666 30316 0 -1 4202560 4405 1239 0 0 161 5 0 0 20 0 33 0 680608125 1144426496 137031 268435456000 4194304 4417452 140734452834000 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30666/tid=30682] ppid=30664 vsize=1117604 CPUtime=1.66 cores=0-31
/proc/30666/task/30682/stat : 30682 (plingeling) R 30664 30666 30316 0 -1 4202560 2722 1239 0 0 163 3 0 0 20 0 33 0 680608125 1144426496 137040 268435456000 4194304 4417452 140734452834000 18446744073709551615 4285019 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30666/tid=30683] ppid=30664 vsize=1117604 CPUtime=1.66 cores=0-31
/proc/30666/task/30683/stat : 30683 (plingeling) R 30664 30666 30316 0 -1 4202560 3387 1239 0 0 163 3 0 0 20 0 33 0 680608125 1144426496 137048 268435456000 4194304 4417452 140734452834000 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30666/tid=30684] ppid=30664 vsize=1117604 CPUtime=1.66 cores=0-31
/proc/30666/task/30684/stat : 30684 (plingeling) R 30664 30666 30316 0 -1 4202560 3846 1239 0 0 161 5 0 0 20 0 33 0 680608125 1144426496 137058 268435456000 4194304 4417452 140734452834000 18446744073709551615 4283557 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30666/tid=30685] ppid=30664 vsize=1117604 CPUtime=1.66 cores=0-31
/proc/30666/task/30685/stat : 30685 (plingeling) R 30664 30666 30316 0 -1 4202560 3489 1239 0 0 162 4 0 0 20 0 33 0 680608125 1144426496 137068 268435456000 4194304 4417452 140734452834000 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30666/tid=30686] ppid=30664 vsize=1117604 CPUtime=1.66 cores=0-31
/proc/30666/task/30686/stat : 30686 (plingeling) R 30664 30666 30316 0 -1 4202560 3797 1239 0 0 162 4 0 0 20 0 33 0 680608125 1144426496 137076 268435456000 4194304 4417452 140734452834000 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30666/tid=30687] ppid=30664 vsize=1117604 CPUtime=1.65 cores=0-31
/proc/30666/task/30687/stat : 30687 (plingeling) R 30664 30666 30316 0 -1 4202560 3316 1239 0 0 161 4 0 0 20 0 33 0 680608125 1144426496 137086 268435456000 4194304 4417452 140734452834000 18446744073709551615 4287486 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30666/tid=30688] ppid=30664 vsize=1117604 CPUtime=1.64 cores=0-31
/proc/30666/task/30688/stat : 30688 (plingeling) R 30664 30666 30316 0 -1 4202560 2706 1239 0 0 162 2 0 0 20 0 33 0 680608125 1144426496 137096 268435456000 4194304 4417452 140734452834000 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30666/tid=30689] ppid=30664 vsize=1117604 CPUtime=1.63 cores=0-31
/proc/30666/task/30689/stat : 30689 (plingeling) R 30664 30666 30316 0 -1 4202560 3233 1239 0 0 161 2 0 0 23 0 33 0 680608125 1144426496 137105 268435456000 4194304 4417452 140734452834000 18446744073709551615 4287643 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30666/tid=30690] ppid=30664 vsize=1117604 CPUtime=1.63 cores=0-31
/proc/30666/task/30690/stat : 30690 (plingeling) R 30664 30666 30316 0 -1 4202560 4411 1239 0 0 159 4 0 0 20 0 33 0 680608125 1144426496 137113 268435456000 4194304 4417452 140734452834000 18446744073709551615 4288178 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30666/tid=30691] ppid=30664 vsize=1117604 CPUtime=1.62 cores=0-31
/proc/30666/task/30691/stat : 30691 (plingeling) R 30664 30666 30316 0 -1 4202560 2797 1239 0 0 159 3 0 0 20 0 33 0 680608125 1144426496 137122 268435456000 4194304 4417452 140734452834000 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30666/tid=30692] ppid=30664 vsize=1117604 CPUtime=1.62 cores=0-31
/proc/30666/task/30692/stat : 30692 (plingeling) R 30664 30666 30316 0 -1 4202560 4561 1239 0 0 158 4 0 0 20 0 33 0 680608125 1144426496 137125 268435456000 4194304 4417452 140734452834000 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30666/tid=30693] ppid=30664 vsize=1117604 CPUtime=1.61 cores=0-31
/proc/30666/task/30693/stat : 30693 (plingeling) R 30664 30666 30316 0 -1 4202560 2776 1239 0 0 157 4 0 0 20 0 33 0 680608125 1144426496 137132 268435456000 4194304 4417452 140734452834000 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30666/tid=30694] ppid=30664 vsize=1117604 CPUtime=1.64 cores=0-31
/proc/30666/task/30694/stat : 30694 (plingeling) R 30664 30666 30316 0 -1 4202560 3849 1239 0 0 161 3 0 0 20 0 33 0 680608125 1144426496 137140 268435456000 4194304 4417452 140734452834000 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30666/tid=30695] ppid=30664 vsize=1117604 CPUtime=1.58 cores=0-31
/proc/30666/task/30695/stat : 30695 (plingeling) R 30664 30666 30316 0 -1 4202560 5039 1239 0 0 155 3 0 0 20 0 33 0 680608126 1144426496 137150 268435456000 4194304 4417452 140734452834000 18446744073709551615 258650649899 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30666/tid=30696] ppid=30664 vsize=1117604 CPUtime=1.62 cores=0-31
/proc/30666/task/30696/stat : 30696 (plingeling) R 30664 30666 30316 0 -1 4202560 4311 1239 0 0 159 3 0 0 20 0 33 0 680608128 1144426496 137162 268435456000 4194304 4417452 140734452834000 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30666/tid=30697] ppid=30664 vsize=1117604 CPUtime=1.62 cores=0-31
/proc/30666/task/30697/stat : 30697 (plingeling) R 30664 30666 30316 0 -1 4202560 3948 1239 0 0 160 2 0 0 20 0 33 0 680608128 1144426496 137170 268435456000 4194304 4417452 140734452834000 18446744073709551615 258650613549 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30666/tid=30698] ppid=30664 vsize=1117604 CPUtime=1.59 cores=0-31
/proc/30666/task/30698/stat : 30698 (plingeling) R 30664 30666 30316 0 -1 4202560 5023 1239 0 0 157 2 0 0 20 0 33 0 680608128 1144426496 137180 268435456000 4194304 4417452 140734452834000 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30666/tid=30699] ppid=30664 vsize=1117604 CPUtime=1.62 cores=0-31
/proc/30666/task/30699/stat : 30699 (plingeling) R 30664 30666 30316 0 -1 4202560 3928 1239 0 0 160 2 0 0 25 0 33 0 680608128 1144426496 137189 268435456000 4194304 4417452 140734452834000 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30666/tid=30700] ppid=30664 vsize=1117604 CPUtime=1.61 cores=0-31
/proc/30666/task/30700/stat : 30700 (plingeling) R 30664 30666 30316 0 -1 4202560 4870 1239 0 0 158 3 0 0 20 0 33 0 680608129 1144426496 137199 268435456000 4194304 4417452 140734452834000 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30666/tid=30701] ppid=30664 vsize=1117604 CPUtime=1.62 cores=0-31
/proc/30666/task/30701/stat : 30701 (plingeling) R 30664 30666 30316 0 -1 4202560 4254 1239 0 0 160 2 0 0 19 0 33 0 680608129 1144426496 137207 268435456000 4194304 4417452 140734452834000 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30666/tid=30702] ppid=30664 vsize=1117604 CPUtime=1.62 cores=0-31
/proc/30666/task/30702/stat : 30702 (plingeling) R 30664 30666 30316 0 -1 4202560 4404 1239 0 0 160 2 0 0 24 0 33 0 680608129 1144426496 137217 268435456000 4194304 4417452 140734452834000 18446744073709551615 4285604 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30666/tid=30703] ppid=30664 vsize=1117604 CPUtime=1.62 cores=0-31
/proc/30666/task/30703/stat : 30703 (plingeling) R 30664 30666 30316 0 -1 4202560 3641 1239 0 0 160 2 0 0 24 0 33 0 680608129 1144426496 137226 268435456000 4194304 4417452 140734452834000 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30666/tid=30704] ppid=30664 vsize=1117604 CPUtime=1.62 cores=0-31
/proc/30666/task/30704/stat : 30704 (plingeling) R 30664 30666 30316 0 -1 4202560 3946 1239 0 0 160 2 0 0 24 0 33 0 680608130 1144426496 137235 268435456000 4194304 4417452 140734452834000 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 57.33
Current children cumulated vsize (KiB) 1117604

[startup+12.7023 s]
/proc/loadavg: 11.49 19.59 26.05 33/446 30704
/proc/meminfo: memFree=254701392/264257624 swapFree=67111528/67111528
[pid=30666] ppid=30664 vsize=1291880 CPUtime=258.47 cores=0-31
/proc/30666/stat : 30666 (plingeling) S 30664 30666 30316 0 -1 4202496 338812 1239 0 0 25616 231 0 0 18 0 33 0 680607664 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/30666/statm: 322970 194438 174 55 0 320856 0
[pid=30666/tid=30673] ppid=30664 vsize=1291880 CPUtime=7.92 cores=0-31
/proc/30666/task/30673/stat : 30673 (plingeling) R 30664 30666 30316 0 -1 4202560 5860 1239 0 0 788 4 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4253296 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30666/tid=30674] ppid=30664 vsize=1291880 CPUtime=7.88 cores=0-31
/proc/30666/task/30674/stat : 30674 (plingeling) R 30664 30666 30316 0 -1 4202560 8104 1239 0 0 778 10 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4251940 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30666/tid=30675] ppid=30664 vsize=1291880 CPUtime=7.99 cores=0-31
/proc/30666/task/30675/stat : 30675 (plingeling) R 30664 30666 30316 0 -1 4202560 3801 1239 0 0 794 5 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4365221 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30666/tid=30676] ppid=30664 vsize=1291880 CPUtime=8.05 cores=0-31
/proc/30666/task/30676/stat : 30676 (plingeling) R 30664 30666 30316 0 -1 4202560 2826 1239 0 0 803 2 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30666/tid=30677] ppid=30664 vsize=1291880 CPUtime=7.88 cores=0-31
/proc/30666/task/30677/stat : 30677 (plingeling) R 30664 30666 30316 0 -1 4202560 5165 1239 0 0 783 5 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4235685 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30666/tid=30678] ppid=30664 vsize=1291880 CPUtime=7.85 cores=0-31
/proc/30666/task/30678/stat : 30678 (plingeling) R 30664 30666 30316 0 -1 4202560 7572 1239 0 0 779 6 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4253198 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30666/tid=30679] ppid=30664 vsize=1291880 CPUtime=7.9 cores=0-31
/proc/30666/task/30679/stat : 30679 (plingeling) R 30664 30666 30316 0 -1 4202560 6880 1239 0 0 782 8 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4232584 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30666/tid=30680] ppid=30664 vsize=1291880 CPUtime=7.86 cores=0-31
/proc/30666/task/30680/stat : 30680 (plingeling) R 30664 30666 30316 0 -1 4202560 8488 1239 0 0 778 8 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4252332 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30666/tid=30681] ppid=30664 vsize=1291880 CPUtime=7.95 cores=0-31
/proc/30666/task/30681/stat : 30681 (plingeling) R 30664 30666 30316 0 -1 4202560 11485 1239 0 0 788 7 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4252079 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30666/tid=30682] ppid=30664 vsize=1291880 CPUtime=7.98 cores=0-31
/proc/30666/task/30682/stat : 30682 (plingeling) R 30664 30666 30316 0 -1 4202560 5852 1239 0 0 791 7 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4252389 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30666/tid=30683] ppid=30664 vsize=1291880 CPUtime=7.94 cores=0-31
/proc/30666/task/30683/stat : 30683 (plingeling) R 30664 30666 30316 0 -1 4202560 7158 1239 0 0 787 7 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30666/tid=30684] ppid=30664 vsize=1291880 CPUtime=7.83 cores=0-31
/proc/30666/task/30684/stat : 30684 (plingeling) R 30664 30666 30316 0 -1 4202560 4876 1239 0 0 777 6 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4252377 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30666/tid=30685] ppid=30664 vsize=1291880 CPUtime=7.86 cores=0-31
/proc/30666/task/30685/stat : 30685 (plingeling) R 30664 30666 30316 0 -1 4202560 8103 1239 0 0 780 6 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4334797 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30666/tid=30686] ppid=30664 vsize=1291880 CPUtime=7.93 cores=0-31
/proc/30666/task/30686/stat : 30686 (plingeling) R 30664 30666 30316 0 -1 4202560 6875 1239 0 0 787 6 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4271578 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30666/tid=30687] ppid=30664 vsize=1291880 CPUtime=7.99 cores=0-31
/proc/30666/task/30687/stat : 30687 (plingeling) R 30664 30666 30316 0 -1 4202560 4341 1239 0 0 793 6 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4232629 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30666/tid=30688] ppid=30664 vsize=1291880 CPUtime=7.91 cores=0-31
/proc/30666/task/30688/stat : 30688 (plingeling) R 30664 30666 30316 0 -1 4202560 3737 1239 0 0 786 5 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30666/tid=30689] ppid=30664 vsize=1291880 CPUtime=7.92 cores=0-31
/proc/30666/task/30689/stat : 30689 (plingeling) R 30664 30666 30316 0 -1 4202560 9998 1239 0 0 784 8 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4252286 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30666/tid=30690] ppid=30664 vsize=1291880 CPUtime=8 cores=0-31
/proc/30666/task/30690/stat : 30690 (plingeling) R 30664 30666 30316 0 -1 4202560 8147 1239 0 0 794 6 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4253400 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30666/tid=30691] ppid=30664 vsize=1291880 CPUtime=7.91 cores=0-31
/proc/30666/task/30691/stat : 30691 (plingeling) R 30664 30666 30316 0 -1 4202560 5540 1239 0 0 786 5 0 0 25 0 33 0 680608125 1322885120 194438 268435456000 4194304 4417452 140734452834000 18446744073709551615 4232648 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30666/tid=30692] ppid=30664 vsize=1291880 CPUtime=7.94 cores=0-31

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

[pid=30666/tid=30704] ppid=30664 vsize=1275296 CPUtime=103.89 cores=0-31
/proc/30666/task/30704/stat : 30704 (plingeling) R 30664 30666 30316 0 -1 4202560 10484 1239 0 0 10383 6 0 0 25 0 33 0 680608130 1305903104 188695 268435456000 4194304 4417452 140734452834000 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 3326.94
Current children cumulated vsize (KiB) 1275296

[startup+110.302 s]
/proc/loadavg: 27.85 22.98 26.63 33/446 30715
/proc/meminfo: memFree=254769156/264257624 swapFree=67111528/67111528
[pid=30666] ppid=30664 vsize=1250280 CPUtime=3378.07 cores=0-31
/proc/30666/stat : 30666 (plingeling) S 30664 30666 30316 0 -1 4202496 345127 1239 0 0 337562 245 0 0 18 0 33 0 680607664 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/30666/statm: 312570 182441 175 55 0 310456 0
[pid=30666/tid=30673] ppid=30664 vsize=1250280 CPUtime=105.5 cores=0-31
/proc/30666/task/30673/stat : 30673 (plingeling) R 30664 30666 30316 0 -1 4202560 5922 1239 0 0 10546 4 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30666/tid=30674] ppid=30664 vsize=1250280 CPUtime=105.41 cores=0-31
/proc/30666/task/30674/stat : 30674 (plingeling) R 30664 30666 30316 0 -1 4202560 8160 1239 0 0 10530 11 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4277531 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30666/tid=30675] ppid=30664 vsize=1250280 CPUtime=105.56 cores=0-31
/proc/30666/task/30675/stat : 30675 (plingeling) R 30664 30666 30316 0 -1 4202560 4132 1239 0 0 10551 5 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4232584 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30666/tid=30676] ppid=30664 vsize=1250280 CPUtime=103.37 cores=0-31
/proc/30666/task/30676/stat : 30676 (plingeling) R 30664 30666 30316 0 -1 4202560 4874 1239 0 0 10330 7 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4364589 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30666/tid=30677] ppid=30664 vsize=1250280 CPUtime=105.45 cores=0-31
/proc/30666/task/30677/stat : 30677 (plingeling) R 30664 30666 30316 0 -1 4202560 5219 1239 0 0 10540 5 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30666/tid=30678] ppid=30664 vsize=1250280 CPUtime=105.42 cores=0-31
/proc/30666/task/30678/stat : 30678 (plingeling) R 30664 30666 30316 0 -1 4202560 7635 1239 0 0 10536 6 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4251846 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30666/tid=30679] ppid=30664 vsize=1250280 CPUtime=105.48 cores=0-31
/proc/30666/task/30679/stat : 30679 (plingeling) R 30664 30666 30316 0 -1 4202560 6961 1239 0 0 10540 8 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4232615 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30666/tid=30680] ppid=30664 vsize=1250280 CPUtime=105.44 cores=0-31
/proc/30666/task/30680/stat : 30680 (plingeling) R 30664 30666 30316 0 -1 4202560 8560 1239 0 0 10535 9 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4346327 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30666/tid=30681] ppid=30664 vsize=1250280 CPUtime=105.52 cores=0-31
/proc/30666/task/30681/stat : 30681 (plingeling) R 30664 30666 30316 0 -1 4202560 11551 1239 0 0 10545 7 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4306602 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30666/tid=30682] ppid=30664 vsize=1250280 CPUtime=105.56 cores=0-31
/proc/30666/task/30682/stat : 30682 (plingeling) R 30664 30666 30316 0 -1 4202560 5914 1239 0 0 10549 7 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4351616 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30666/tid=30683] ppid=30664 vsize=1250280 CPUtime=105.52 cores=0-31
/proc/30666/task/30683/stat : 30683 (plingeling) R 30664 30666 30316 0 -1 4202560 7250 1239 0 0 10544 8 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30666/tid=30684] ppid=30664 vsize=1250280 CPUtime=104.89 cores=0-31
/proc/30666/task/30684/stat : 30684 (plingeling) R 30664 30666 30316 0 -1 4202560 4939 1239 0 0 10483 6 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4253264 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30666/tid=30685] ppid=30664 vsize=1250280 CPUtime=105.44 cores=0-31
/proc/30666/task/30685/stat : 30685 (plingeling) R 30664 30666 30316 0 -1 4202560 8171 1239 0 0 10537 7 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4305709 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30666/tid=30686] ppid=30664 vsize=1250280 CPUtime=105.51 cores=0-31
/proc/30666/task/30686/stat : 30686 (plingeling) R 30664 30666 30316 0 -1 4202560 6929 1239 0 0 10544 7 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30666/tid=30687] ppid=30664 vsize=1250280 CPUtime=105.56 cores=0-31
/proc/30666/task/30687/stat : 30687 (plingeling) R 30664 30666 30316 0 -1 4202560 4397 1239 0 0 10550 6 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4357407 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30666/tid=30688] ppid=30664 vsize=1250280 CPUtime=105.5 cores=0-31
/proc/30666/task/30688/stat : 30688 (plingeling) R 30664 30666 30316 0 -1 4202560 4249 1239 0 0 10544 6 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30666/tid=30689] ppid=30664 vsize=1250280 CPUtime=105.5 cores=0-31
/proc/30666/task/30689/stat : 30689 (plingeling) R 30664 30666 30316 0 -1 4202560 10056 1239 0 0 10542 8 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4272008 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30666/tid=30690] ppid=30664 vsize=1250280 CPUtime=105.58 cores=0-31
/proc/30666/task/30690/stat : 30690 (plingeling) R 30664 30666 30316 0 -1 4202560 8198 1239 0 0 10551 7 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30666/tid=30691] ppid=30664 vsize=1250280 CPUtime=105.48 cores=0-31
/proc/30666/task/30691/stat : 30691 (plingeling) R 30664 30666 30316 0 -1 4202560 5639 1239 0 0 10543 5 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30666/tid=30692] ppid=30664 vsize=1250280 CPUtime=105.51 cores=0-31
/proc/30666/task/30692/stat : 30692 (plingeling) R 30664 30666 30316 0 -1 4202560 8111 1239 0 0 10543 8 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30666/tid=30693] ppid=30664 vsize=1250280 CPUtime=105.57 cores=0-31
/proc/30666/task/30693/stat : 30693 (plingeling) R 30664 30666 30316 0 -1 4202560 5358 1239 0 0 10550 7 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30666/tid=30694] ppid=30664 vsize=1250280 CPUtime=105.5 cores=0-31
/proc/30666/task/30694/stat : 30694 (plingeling) R 30664 30666 30316 0 -1 4202560 9387 1239 0 0 10545 5 0 0 25 0 33 0 680608125 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4315939 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30666/tid=30695] ppid=30664 vsize=1250280 CPUtime=105.44 cores=0-31
/proc/30666/task/30695/stat : 30695 (plingeling) R 30664 30666 30316 0 -1 4202560 12196 1239 0 0 10536 8 0 0 25 0 33 0 680608126 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30666/tid=30696] ppid=30664 vsize=1250280 CPUtime=105.48 cores=0-31
/proc/30666/task/30696/stat : 30696 (plingeling) R 30664 30666 30316 0 -1 4202560 6432 1239 0 0 10542 6 0 0 25 0 33 0 680608128 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4306923 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30666/tid=30697] ppid=30664 vsize=1250280 CPUtime=105.53 cores=0-31
/proc/30666/task/30697/stat : 30697 (plingeling) R 30664 30666 30316 0 -1 4202560 6064 1239 0 0 10551 2 0 0 25 0 33 0 680608128 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30666/tid=30698] ppid=30664 vsize=1250280 CPUtime=105.53 cores=0-31
/proc/30666/task/30698/stat : 30698 (plingeling) R 30664 30666 30316 0 -1 4202560 9715 1239 0 0 10548 5 0 0 25 0 33 0 680608128 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4244343 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30666/tid=30699] ppid=30664 vsize=1250280 CPUtime=105.45 cores=0-31
/proc/30666/task/30699/stat : 30699 (plingeling) R 30664 30666 30316 0 -1 4202560 5982 1239 0 0 10539 6 0 0 25 0 33 0 680608128 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4277579 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30666/tid=30700] ppid=30664 vsize=1250280 CPUtime=105.47 cores=0-31
/proc/30666/task/30700/stat : 30700 (plingeling) R 30664 30666 30316 0 -1 4202560 5981 1239 0 0 10541 6 0 0 25 0 33 0 680608129 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4264584 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30666/tid=30701] ppid=30664 vsize=1250280 CPUtime=105.46 cores=0-31
/proc/30666/task/30701/stat : 30701 (plingeling) R 30664 30666 30316 0 -1 4202560 8362 1239 0 0 10539 7 0 0 25 0 33 0 680608129 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30666/tid=30702] ppid=30664 vsize=1250280 CPUtime=105.43 cores=0-31
/proc/30666/task/30702/stat : 30702 (plingeling) R 30664 30666 30316 0 -1 4202560 11987 1239 0 0 10538 5 0 0 25 0 33 0 680608129 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4253179 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30666/tid=30703] ppid=30664 vsize=1250280 CPUtime=105.57 cores=0-31
/proc/30666/task/30703/stat : 30703 (plingeling) R 30664 30666 30316 0 -1 4202560 7302 1239 0 0 10554 3 0 0 25 0 33 0 680608129 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4275994 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30666/tid=30704] ppid=30664 vsize=1250280 CPUtime=105.49 cores=0-31
/proc/30666/task/30704/stat : 30704 (plingeling) R 30664 30666 30316 0 -1 4202560 10494 1239 0 0 10543 6 0 0 25 0 33 0 680608130 1280286720 182441 268435456000 4194304 4417452 140734452834000 18446744073709551615 4307359 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 3378.07
Current children cumulated vsize (KiB) 1250280

[startup+110.702 s]
/proc/loadavg: 27.85 22.98 26.63 33/446 30715
/proc/meminfo: memFree=254769156/264257624 swapFree=67111528/67111528
[pid=30666] ppid=30664 vsize=1237968 CPUtime=3390.86 cores=0-31
/proc/30666/stat : 30666 (plingeling) S 30664 30666 30316 0 -1 4202496 346188 1239 0 0 338841 245 0 0 18 0 33 0 680607664 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/30666/statm: 309492 179363 175 55 0 307378 0
[pid=30666/tid=30673] ppid=30664 vsize=1237968 CPUtime=105.9 cores=0-31
/proc/30666/task/30673/stat : 30673 (plingeling) R 30664 30666 30316 0 -1 4202560 5922 1239 0 0 10586 4 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4277621 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30666/tid=30674] ppid=30664 vsize=1237968 CPUtime=105.81 cores=0-31
/proc/30666/task/30674/stat : 30674 (plingeling) R 30664 30666 30316 0 -1 4202560 8160 1239 0 0 10570 11 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30666/tid=30675] ppid=30664 vsize=1237968 CPUtime=105.96 cores=0-31
/proc/30666/task/30675/stat : 30675 (plingeling) R 30664 30666 30316 0 -1 4202560 4132 1239 0 0 10591 5 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30666/tid=30676] ppid=30664 vsize=1237968 CPUtime=103.77 cores=0-31
/proc/30666/task/30676/stat : 30676 (plingeling) R 30664 30666 30316 0 -1 4202560 4874 1239 0 0 10370 7 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30666/tid=30677] ppid=30664 vsize=1237968 CPUtime=105.85 cores=0-31
/proc/30666/task/30677/stat : 30677 (plingeling) R 30664 30666 30316 0 -1 4202560 5219 1239 0 0 10580 5 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4302006 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30666/tid=30678] ppid=30664 vsize=1237968 CPUtime=105.82 cores=0-31
/proc/30666/task/30678/stat : 30678 (plingeling) R 30664 30666 30316 0 -1 4202560 7635 1239 0 0 10576 6 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4265462 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30666/tid=30679] ppid=30664 vsize=1237968 CPUtime=105.88 cores=0-31
/proc/30666/task/30679/stat : 30679 (plingeling) R 30664 30666 30316 0 -1 4202560 6961 1239 0 0 10580 8 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4237349 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30666/tid=30680] ppid=30664 vsize=1237968 CPUtime=105.84 cores=0-31
/proc/30666/task/30680/stat : 30680 (plingeling) R 30664 30666 30316 0 -1 4202560 8560 1239 0 0 10575 9 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4257499 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30666/tid=30681] ppid=30664 vsize=1237968 CPUtime=105.92 cores=0-31
/proc/30666/task/30681/stat : 30681 (plingeling) R 30664 30666 30316 0 -1 4202560 11551 1239 0 0 10585 7 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4252349 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30666/tid=30682] ppid=30664 vsize=1237968 CPUtime=105.96 cores=0-31
/proc/30666/task/30682/stat : 30682 (plingeling) R 30664 30666 30316 0 -1 4202560 5924 1239 0 0 10589 7 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4251081 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30666/tid=30683] ppid=30664 vsize=1237968 CPUtime=105.92 cores=0-31
/proc/30666/task/30683/stat : 30683 (plingeling) R 30664 30666 30316 0 -1 4202560 7250 1239 0 0 10584 8 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4236761 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30666/tid=30684] ppid=30664 vsize=1237968 CPUtime=105.29 cores=0-31
/proc/30666/task/30684/stat : 30684 (plingeling) R 30664 30666 30316 0 -1 4202560 4939 1239 0 0 10523 6 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4257702 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30666/tid=30685] ppid=30664 vsize=1237968 CPUtime=105.84 cores=0-31
/proc/30666/task/30685/stat : 30685 (plingeling) R 30664 30666 30316 0 -1 4202560 8171 1239 0 0 10577 7 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4239488 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30666/tid=30686] ppid=30664 vsize=1237968 CPUtime=105.91 cores=0-31
/proc/30666/task/30686/stat : 30686 (plingeling) R 30664 30666 30316 0 -1 4202560 6929 1239 0 0 10584 7 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4306602 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30666/tid=30687] ppid=30664 vsize=1237968 CPUtime=105.96 cores=0-31
/proc/30666/task/30687/stat : 30687 (plingeling) R 30664 30666 30316 0 -1 4202560 4404 1239 0 0 10590 6 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4277571 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30666/tid=30688] ppid=30664 vsize=1237968 CPUtime=105.9 cores=0-31
/proc/30666/task/30688/stat : 30688 (plingeling) R 30664 30666 30316 0 -1 4202560 4249 1239 0 0 10584 6 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4290967 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30666/tid=30689] ppid=30664 vsize=1237968 CPUtime=105.9 cores=0-31
/proc/30666/task/30689/stat : 30689 (plingeling) R 30664 30666 30316 0 -1 4202560 10056 1239 0 0 10582 8 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4232680 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30666/tid=30690] ppid=30664 vsize=1237968 CPUtime=105.98 cores=0-31
/proc/30666/task/30690/stat : 30690 (plingeling) R 30664 30666 30316 0 -1 4202560 8198 1239 0 0 10591 7 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30666/tid=30691] ppid=30664 vsize=1237968 CPUtime=105.88 cores=0-31
/proc/30666/task/30691/stat : 30691 (plingeling) R 30664 30666 30316 0 -1 4202560 6663 1239 0 0 10583 5 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4259618 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30666/tid=30692] ppid=30664 vsize=1237968 CPUtime=105.91 cores=0-31
/proc/30666/task/30692/stat : 30692 (plingeling) R 30664 30666 30316 0 -1 4202560 8111 1239 0 0 10583 8 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 18446744073699065903 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30666/tid=30693] ppid=30664 vsize=1237968 CPUtime=105.97 cores=0-31
/proc/30666/task/30693/stat : 30693 (plingeling) R 30664 30666 30316 0 -1 4202560 5368 1239 0 0 10590 7 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30666/tid=30694] ppid=30664 vsize=1237968 CPUtime=105.9 cores=0-31
/proc/30666/task/30694/stat : 30694 (plingeling) R 30664 30666 30316 0 -1 4202560 9387 1239 0 0 10585 5 0 0 25 0 33 0 680608125 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4346662 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30666/tid=30695] ppid=30664 vsize=1237968 CPUtime=105.84 cores=0-31
/proc/30666/task/30695/stat : 30695 (plingeling) R 30664 30666 30316 0 -1 4202560 12196 1239 0 0 10576 8 0 0 25 0 33 0 680608126 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30666/tid=30696] ppid=30664 vsize=1237968 CPUtime=105.88 cores=0-31
/proc/30666/task/30696/stat : 30696 (plingeling) R 30664 30666 30316 0 -1 4202560 6432 1239 0 0 10582 6 0 0 25 0 33 0 680608128 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4331336 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30666/tid=30697] ppid=30664 vsize=1237968 CPUtime=105.93 cores=0-31
/proc/30666/task/30697/stat : 30697 (plingeling) R 30664 30666 30316 0 -1 4202560 6064 1239 0 0 10591 2 0 0 25 0 33 0 680608128 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30666/tid=30698] ppid=30664 vsize=1237968 CPUtime=105.93 cores=0-31
/proc/30666/task/30698/stat : 30698 (plingeling) R 30664 30666 30316 0 -1 4202560 9725 1239 0 0 10588 5 0 0 25 0 33 0 680608128 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30666/tid=30699] ppid=30664 vsize=1237968 CPUtime=105.84 cores=0-31
/proc/30666/task/30699/stat : 30699 (plingeling) R 30664 30666 30316 0 -1 4202560 5982 1239 0 0 10578 6 0 0 25 0 33 0 680608128 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30666/tid=30700] ppid=30664 vsize=1237968 CPUtime=105.87 cores=0-31
/proc/30666/task/30700/stat : 30700 (plingeling) R 30664 30666 30316 0 -1 4202560 5981 1239 0 0 10581 6 0 0 25 0 33 0 680608129 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4277599 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30666/tid=30701] ppid=30664 vsize=1237968 CPUtime=105.86 cores=0-31
/proc/30666/task/30701/stat : 30701 (plingeling) R 30664 30666 30316 0 -1 4202560 8362 1239 0 0 10579 7 0 0 25 0 33 0 680608129 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4275735 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30666/tid=30702] ppid=30664 vsize=1237968 CPUtime=105.83 cores=0-31
/proc/30666/task/30702/stat : 30702 (plingeling) R 30664 30666 30316 0 -1 4202560 11987 1239 0 0 10578 5 0 0 25 0 33 0 680608129 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4365990 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30666/tid=30703] ppid=30664 vsize=1237968 CPUtime=105.97 cores=0-31
/proc/30666/task/30703/stat : 30703 (plingeling) R 30664 30666 30316 0 -1 4202560 7302 1239 0 0 10594 3 0 0 25 0 33 0 680608129 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30666/tid=30704] ppid=30664 vsize=1237968 CPUtime=105.89 cores=0-31
/proc/30666/task/30704/stat : 30704 (plingeling) R 30664 30666 30316 0 -1 4202560 10494 1239 0 0 10583 6 0 0 25 0 33 0 680608130 1267679232 179363 268435456000 4194304 4417452 140734452834000 18446744073709551615 4290595 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 3390.86
Current children cumulated vsize (KiB) 1237968

[startup+111.12 s]
/proc/loadavg: 28.18 23.13 26.66 3/416 30715
/proc/meminfo: memFree=254788452/264257624 swapFree=67111528/67111528
[pid=30666] ppid=30664 vsize=1032892 CPUtime=3394.71 cores=0-31
/proc/30666/stat : 30666 (plingeling) S 30664 30666 30316 0 -1 4202496 346189 1239 0 0 339226 245 0 0 16 0 2 0 680607664 1057681408 179161 268435456000 4194304 4417452 140734452834000 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/30666/statm: 258223 179161 176 55 0 256109 0
[pid=30666/tid=30696] ppid=30664 vsize=1032892 CPUtime=106.3 cores=0-31
/proc/30666/task/30696/stat : 30696 (plingeling) R 30664 30666 30316 0 -1 4202560 6432 1239 0 0 10624 6 0 0 25 0 2 0 680608128 1057681408 179161 268435456000 4194304 4417452 140734452834000 18446744073709551615 4236443 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 3394.71
Current children cumulated vsize (KiB) 1032892

[startup+111.201 s]
/proc/loadavg: 28.18 23.13 26.66 3/416 30715
/proc/meminfo: memFree=254788452/264257624 swapFree=67111528/67111528
[pid=30666] ppid=30664 vsize=541472 CPUtime=3394.8 cores=0-31
/proc/30666/stat : 30666 (plingeling) R 30664 30666 30316 0 -1 4202496 346189 1239 0 0 339229 251 0 0 16 0 1 0 680607664 554467328 37989 268435456000 4194304 4417452 140734452834000 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 28 0 0 0
/proc/30666/statm: 135368 37989 176 55 0 133254 0
Current children cumulated CPU time (s) 3394.8
Current children cumulated vsize (KiB) 541472

Child status: 20
Real time (s): 111.216
CPU time (s): 3394.83
CPU user time (s): 3392.29
CPU system time (s): 2.53561
CPU usage (%): 3052.46
Max. virtual memory (cumulated for all children) (KiB): 1296920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3392.29
system time used= 2.53561
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 347432
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= 4671
involuntary context switches= 8592

runsolver used 0.667898 second user time and 2.52362 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-18 06:00:13
IDJOB=3372606
IDBENCH=82477
IDSOLVER=1852
FILE ID=node200/3372606-1305691212
RUNJOBID= node200-1305691046-30330
PBS_JOBID= 13357382
Free space on /tmp= 62048 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372606-1305691212/watcher-3372606-1305691212 -o /tmp/evaluation-result-3372606-1305691212/solver-3372606-1305691212 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372606-1305691212.cnf

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

MD5SUM BENCH= f1a7d779d46b93ce2fde4f2438e6ae5c
RANDOM SEED=1727669873

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:      255496812 kB
Buffers:        452028 kB
Cached:        7891852 kB
SwapCached:          0 kB
Active:        7404512 kB
Inactive:      1008088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255496812 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4444 kB
Writeback:           0 kB
AnonPages:       68900 kB
Mapped:          14476 kB
Slab:           251648 kB
PageTables:       4300 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   179472 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= 62048 MiB
End job on node200 at 2011-05-18 06:02:04