Trace number 3372117

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 105888 3324.66

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
MD5SUM45ee13b66821e6c36f3e38be418fa121
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark20077.9
Satisfiable
(Un)Satisfiability was proved
Number of variables138808
Number of clauses626501
Sum of the clauses size1431026
Maximum clause length10
Minimum clause length1
Number of clauses of size 111712
Number of clauses of size 2503953
Number of clauses of size 384536
Number of clauses of size 42920
Number of clauses of size 511680
Number of clauses of size over 511700

Solver Data 

105888.30/3324.65	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-3372117-1305433060/watcher-3372117-1305433060 -o /tmp/evaluation-result-3372117-1305433060/solver-3372117-1305433060 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372117-1305433060.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: 27.20 31.02 31.74 1/413 9396
/proc/meminfo: memFree=255578436/264257624 swapFree=67111528/67111528
[pid=9396] ppid=9394 vsize=20964 CPUtime=0.02 cores=0-31
/proc/9396/stat : 9396 (plingeling) R 9394 9396 9370 0 -1 4202496 3313 1241 0 0 2 0 0 0 22 0 1 0 654792492 21467136 3243 268435456000 4194304 4417452 140734104716112 18446744073709551615 4232656 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9396/statm: 5241 3243 144 55 0 3127 0

[startup+0.0650939 s]
/proc/loadavg: 27.20 31.02 31.74 1/413 9396
/proc/meminfo: memFree=255578436/264257624 swapFree=67111528/67111528
[pid=9396] ppid=9394 vsize=31252 CPUtime=0.05 cores=0-31
/proc/9396/stat : 9396 (plingeling) R 9394 9396 9370 0 -1 4202496 5894 1241 0 0 4 1 0 0 22 0 1 0 654792492 32002048 5824 268435456000 4194304 4417452 140734104716112 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9396/statm: 7813 5824 145 55 0 5699 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 31252

[startup+0.101097 s]
/proc/loadavg: 27.20 31.02 31.74 1/413 9396
/proc/meminfo: memFree=255578436/264257624 swapFree=67111528/67111528
[pid=9396] ppid=9394 vsize=38088 CPUtime=0.08 cores=0-31
/proc/9396/stat : 9396 (plingeling) R 9394 9396 9370 0 -1 4202496 7538 1241 0 0 7 1 0 0 22 0 1 0 654792492 39002112 7468 268435456000 4194304 4417452 140734104716112 18446744073709551615 258650653381 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9396/statm: 9522 7490 145 55 0 7408 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 38088

[startup+0.301117 s]
/proc/loadavg: 27.20 31.02 31.74 1/413 9396
/proc/meminfo: memFree=255578436/264257624 swapFree=67111528/67111528
[pid=9396] ppid=9394 vsize=94876 CPUtime=0.29 cores=0-31
/proc/9396/stat : 9396 (plingeling) R 9394 9396 9370 0 -1 4202496 21808 1241 0 0 24 5 0 0 23 0 1 0 654792492 97153024 21738 268435456000 4194304 4417452 140734104716112 18446744073709551615 4209666 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9396/statm: 23719 21738 145 55 0 21605 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94876

[startup+0.70112 s]
/proc/loadavg: 27.20 31.02 31.74 1/413 9396
/proc/meminfo: memFree=255578436/264257624 swapFree=67111528/67111528
[pid=9396] ppid=9394 vsize=124560 CPUtime=0.69 cores=0-31
/proc/9396/stat : 9396 (plingeling) R 9394 9396 9370 0 -1 4202496 29471 1241 0 0 63 6 0 0 25 0 1 0 654792492 127549440 29159 268435456000 4194304 4417452 140734104716112 18446744073709551615 4209658 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9396/statm: 31140 29159 145 55 0 29026 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 124560

[startup+1.50119 s]
/proc/loadavg: 27.20 31.02 31.74 2/414 9404
/proc/meminfo: memFree=255443644/264257624 swapFree=67111528/67111528
[pid=9396] ppid=9394 vsize=231508 CPUtime=1.48 cores=0-31
/proc/9396/stat : 9396 (plingeling) R 9394 9396 9370 0 -1 4202496 56208 1241 0 0 137 11 0 0 25 0 1 0 654792492 237064192 55896 268435456000 4194304 4417452 140734104716112 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9396/statm: 57877 55896 145 55 0 55763 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 231508

[startup+3.10125 s]
/proc/loadavg: 27.20 31.02 31.74 2/414 9404
/proc/meminfo: memFree=255202968/264257624 swapFree=67111528/67111528
[pid=9396] ppid=9394 vsize=381952 CPUtime=3.08 cores=0-31
/proc/9396/stat : 9396 (plingeling) R 9394 9396 9370 0 -1 4202496 93859 1241 0 0 289 19 0 0 25 0 1 0 654792492 391118848 93507 268435456000 4194304 4417452 140734104716112 18446744073709551615 4231657 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9396/statm: 95488 93507 145 55 0 93374 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 381952

[startup+6.30032 s]
/proc/loadavg: 25.11 30.52 31.57 2/414 9404
/proc/meminfo: memFree=255134940/264257624 swapFree=67111528/67111528
[pid=9396] ppid=9394 vsize=477112 CPUtime=6.29 cores=0-31
/proc/9396/stat : 9396 (plingeling) R 9394 9396 9370 0 -1 4202496 117650 1241 0 0 605 24 0 0 25 0 1 0 654792492 488562688 117298 268435456000 4194304 4417452 140734104716112 18446744073709551615 4323193 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9396/statm: 119278 117298 146 55 0 117164 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 477112

[startup+12.7024 s]
/proc/loadavg: 23.18 30.03 31.41 33/446 9436
/proc/meminfo: memFree=254448732/264257624 swapFree=67111528/67111528
[pid=9396] ppid=9394 vsize=1455880 CPUtime=56.13 cores=0-31
/proc/9396/stat : 9396 (plingeling) S 9394 9396 9370 0 -1 4202496 400639 1241 0 0 5410 203 0 0 18 0 33 0 654792492 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/9396/statm: 363970 244822 170 55 0 361856 0
[pid=9396/tid=9405] ppid=9394 vsize=1455880 CPUtime=1.49 cores=0-31
/proc/9396/task/9405/stat : 9405 (plingeling) R 9394 9396 9370 0 -1 4202560 3266 1241 0 0 145 4 0 0 19 0 33 0 654793607 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=9396/tid=9406] ppid=9394 vsize=1455880 CPUtime=1.44 cores=0-31
/proc/9396/task/9406/stat : 9406 (plingeling) R 9394 9396 9370 0 -1 4202560 3275 1241 0 0 141 3 0 0 25 0 33 0 654793607 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4301965 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9396/tid=9407] ppid=9394 vsize=1455880 CPUtime=1.44 cores=0-31
/proc/9396/task/9407/stat : 9407 (plingeling) R 9394 9396 9370 0 -1 4202560 3951 1241 0 0 140 4 0 0 19 0 33 0 654793607 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4306602 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9396/tid=9408] ppid=9394 vsize=1455880 CPUtime=1.46 cores=0-31
/proc/9396/task/9408/stat : 9408 (plingeling) R 9394 9396 9370 0 -1 4202560 2435 1241 0 0 142 4 0 0 19 0 33 0 654793607 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4265360 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9396/tid=9409] ppid=9394 vsize=1455880 CPUtime=1.44 cores=0-31
/proc/9396/task/9409/stat : 9409 (plingeling) R 9394 9396 9370 0 -1 4202560 3229 1241 0 0 140 4 0 0 19 0 33 0 654793607 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9396/tid=9410] ppid=9394 vsize=1455880 CPUtime=1.41 cores=0-31
/proc/9396/task/9410/stat : 9410 (plingeling) R 9394 9396 9370 0 -1 4202560 3459 1241 0 0 136 5 0 0 18 0 33 0 654793607 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=9396/tid=9411] ppid=9394 vsize=1455880 CPUtime=1.43 cores=0-31
/proc/9396/task/9411/stat : 9411 (plingeling) R 9394 9396 9370 0 -1 4202560 3124 1241 0 0 139 4 0 0 19 0 33 0 654793607 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=9396/tid=9412] ppid=9394 vsize=1455880 CPUtime=1.46 cores=0-31
/proc/9396/task/9412/stat : 9412 (plingeling) R 9394 9396 9370 0 -1 4202560 3846 1241 0 0 142 4 0 0 19 0 33 0 654793607 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4290595 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9396/tid=9413] ppid=9394 vsize=1455880 CPUtime=1.27 cores=0-31
/proc/9396/task/9413/stat : 9413 (plingeling) R 9394 9396 9370 0 -1 4202560 3492 1241 0 0 125 2 0 0 18 0 33 0 654793608 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9396/tid=9414] ppid=9394 vsize=1455880 CPUtime=1.4 cores=0-31
/proc/9396/task/9414/stat : 9414 (plingeling) R 9394 9396 9370 0 -1 4202560 3323 1241 0 0 137 3 0 0 21 0 33 0 654793608 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9396/tid=9415] ppid=9394 vsize=1455880 CPUtime=1.47 cores=0-31
/proc/9396/task/9415/stat : 9415 (plingeling) R 9394 9396 9370 0 -1 4202560 3234 1241 0 0 145 2 0 0 19 0 33 0 654793608 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4291042 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9396/tid=9416] ppid=9394 vsize=1455880 CPUtime=1.38 cores=0-31
/proc/9396/task/9416/stat : 9416 (plingeling) R 9394 9396 9370 0 -1 4202560 3486 1241 0 0 132 6 0 0 18 0 33 0 654793608 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9396/tid=9417] ppid=9394 vsize=1455880 CPUtime=1.37 cores=0-31
/proc/9396/task/9417/stat : 9417 (plingeling) R 9394 9396 9370 0 -1 4202560 3459 1241 0 0 133 4 0 0 18 0 33 0 654793608 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9396/tid=9418] ppid=9394 vsize=1455880 CPUtime=1.38 cores=0-31
/proc/9396/task/9418/stat : 9418 (plingeling) R 9394 9396 9370 0 -1 4202560 3458 1241 0 0 132 6 0 0 20 0 33 0 654793608 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9396/tid=9419] ppid=9394 vsize=1455880 CPUtime=1.37 cores=0-31
/proc/9396/task/9419/stat : 9419 (plingeling) R 9394 9396 9370 0 -1 4202560 3493 1241 0 0 132 5 0 0 20 0 33 0 654793608 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9396/tid=9420] ppid=9394 vsize=1455880 CPUtime=1.4 cores=0-31
/proc/9396/task/9420/stat : 9420 (plingeling) R 9394 9396 9370 0 -1 4202560 3203 1241 0 0 135 5 0 0 19 0 33 0 654793608 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=9396/tid=9421] ppid=9394 vsize=1455880 CPUtime=1.38 cores=0-31
/proc/9396/task/9421/stat : 9421 (plingeling) R 9394 9396 9370 0 -1 4202560 3385 1241 0 0 133 5 0 0 18 0 33 0 654793608 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9396/tid=9422] ppid=9394 vsize=1455880 CPUtime=1.39 cores=0-31
/proc/9396/task/9422/stat : 9422 (plingeling) R 9394 9396 9370 0 -1 4202560 3354 1241 0 0 135 4 0 0 21 0 33 0 654793609 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9396/tid=9423] ppid=9394 vsize=1455880 CPUtime=1.38 cores=0-31
/proc/9396/task/9423/stat : 9423 (plingeling) R 9394 9396 9370 0 -1 4202560 3353 1241 0 0 133 5 0 0 20 0 33 0 654793609 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=9396/tid=9424] ppid=9394 vsize=1455880 CPUtime=1.42 cores=0-31
/proc/9396/task/9424/stat : 9424 (plingeling) R 9394 9396 9370 0 -1 4202560 3413 1241 0 0 138 4 0 0 19 0 33 0 654793609 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9396/tid=9425] ppid=9394 vsize=1455880 CPUtime=1.42 cores=0-31
/proc/9396/task/9425/stat : 9425 (plingeling) R 9394 9396 9370 0 -1 4202560 3459 1241 0 0 137 5 0 0 19 0 33 0 654793609 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=9396/tid=9426] ppid=9394 vsize=1455880 CPUtime=1.45 cores=0-31
/proc/9396/task/9426/stat : 9426 (plingeling) R 9394 9396 9370 0 -1 4202560 3202 1241 0 0 142 3 0 0 19 0 33 0 654793609 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=9396/tid=9427] ppid=9394 vsize=1455880 CPUtime=1.33 cores=0-31
/proc/9396/task/9427/stat : 9427 (plingeling) R 9394 9396 9370 0 -1 4202560 3251 1241 0 0 130 3 0 0 18 0 33 0 654793609 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4287691 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=9396/tid=9428] ppid=9394 vsize=1455880 CPUtime=1.43 cores=0-31
/proc/9396/task/9428/stat : 9428 (plingeling) R 9394 9396 9370 0 -1 4202560 3561 1241 0 0 139 4 0 0 19 0 33 0 654793609 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4287606 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9396/tid=9429] ppid=9394 vsize=1455880 CPUtime=1.44 cores=0-31
/proc/9396/task/9429/stat : 9429 (plingeling) R 9394 9396 9370 0 -1 4202560 4309 1241 0 0 140 4 0 0 19 0 33 0 654793609 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4306844 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=9396/tid=9430] ppid=9394 vsize=1455880 CPUtime=1.39 cores=0-31
/proc/9396/task/9430/stat : 9430 (plingeling) R 9394 9396 9370 0 -1 4202560 3385 1241 0 0 135 4 0 0 19 0 33 0 654793609 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4287189 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9396/tid=9431] ppid=9394 vsize=1455880 CPUtime=1.44 cores=0-31
/proc/9396/task/9431/stat : 9431 (plingeling) R 9394 9396 9370 0 -1 4202560 3203 1241 0 0 140 4 0 0 19 0 33 0 654793609 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=9396/tid=9432] ppid=9394 vsize=1455880 CPUtime=1.38 cores=0-31
/proc/9396/task/9432/stat : 9432 (plingeling) R 9394 9396 9370 0 -1 4202560 3620 1241 0 0 132 6 0 0 18 0 33 0 654793609 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4282305 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9396/tid=9433] ppid=9394 vsize=1455880 CPUtime=1.29 cores=0-31
/proc/9396/task/9433/stat : 9433 (plingeling) R 9394 9396 9370 0 -1 4202560 3250 1241 0 0 128 1 0 0 20 0 33 0 654793609 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9396/tid=9434] ppid=9394 vsize=1455880 CPUtime=1.32 cores=0-31
/proc/9396/task/9434/stat : 9434 (plingeling) R 9394 9396 9370 0 -1 4202560 3218 1241 0 0 128 4 0 0 20 0 33 0 654793609 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4270941 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=9396/tid=9435] ppid=9394 vsize=1455880 CPUtime=1.28 cores=0-31
/proc/9396/task/9435/stat : 9435 (plingeling) R 9394 9396 9370 0 -1 4202560 3444 1241 0 0 126 2 0 0 20 0 33 0 654793609 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=9396/tid=9436] ppid=9394 vsize=1455880 CPUtime=1.3 cores=0-31
/proc/9396/task/9436/stat : 9436 (plingeling) R 9394 9396 9370 0 -1 4202560 3418 1241 0 0 126 4 0 0 18 0 33 0 654793609 1490821120 244822 268435456000 4194304 4417452 140734104716112 18446744073709551615 4282358 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 56.13
Current children cumulated vsize (KiB) 1455880

[startup+25.5019 s]
/proc/loadavg: 25.20 30.14 31.42 33/446 9436
/proc/meminfo: memFree=255038740/264257624 swapFree=67111528/67111528
[pid=9396] ppid=9394 vsize=975428 CPUtime=465.1 cores=0-31
/proc/9396/stat : 9396 (plingeling) S 9394 9396 9370 0 -1 4202496 423169 1241 0 0 46293 217 0 0 18 0 33 0 654792492 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/9396/statm: 243857 134062 175 55 0 241743 0
[pid=9396/tid=9405] ppid=9394 vsize=975428 CPUtime=14.29 cores=0-31
/proc/9396/task/9405/stat : 9405 (plingeling) R 9394 9396 9370 0 -1 4202560 4311 1241 0 0 1425 4 0 0 25 0 33 0 654793607 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 4306258 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=9396/tid=9406] ppid=9394 vsize=975428 CPUtime=14.25 cores=0-31
/proc/9396/task/9406/stat : 9406 (plingeling) R 9394 9396 9370 0 -1 4202560 3540 1241 0 0 1421 4 0 0 25 0 33 0 654793607 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 4310077 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9396/tid=9407] ppid=9394 vsize=975428 CPUtime=14.24 cores=0-31
/proc/9396/task/9407/stat : 9407 (plingeling) R 9394 9396 9370 0 -1 4202560 4472 1241 0 0 1419 5 0 0 25 0 33 0 654793607 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 4246932 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9396/tid=9408] ppid=9394 vsize=975428 CPUtime=14.25 cores=0-31
/proc/9396/task/9408/stat : 9408 (plingeling) R 9394 9396 9370 0 -1 4202560 2435 1241 0 0 1421 4 0 0 25 0 33 0 654793607 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9396/tid=9409] ppid=9394 vsize=975428 CPUtime=14.22 cores=0-31
/proc/9396/task/9409/stat : 9409 (plingeling) R 9394 9396 9370 0 -1 4202560 4373 1241 0 0 1418 4 0 0 25 0 33 0 654793607 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9396/tid=9410] ppid=9394 vsize=975428 CPUtime=14.18 cores=0-31
/proc/9396/task/9410/stat : 9410 (plingeling) R 9394 9396 9370 0 -1 4202560 4334 1241 0 0 1413 5 0 0 25 0 33 0 654793607 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9396/tid=9411] ppid=9394 vsize=975428 CPUtime=14.23 cores=0-31
/proc/9396/task/9411/stat : 9411 (plingeling) R 9394 9396 9370 0 -1 4202560 3641 1241 0 0 1418 5 0 0 25 0 33 0 654793607 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364877 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=9396/tid=9412] ppid=9394 vsize=975428 CPUtime=14.26 cores=0-31
/proc/9396/task/9412/stat : 9412 (plingeling) R 9394 9396 9370 0 -1 4202560 4628 1241 0 0 1421 5 0 0 25 0 33 0 654793607 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9396/tid=9413] ppid=9394 vsize=975428 CPUtime=14.05 cores=0-31
/proc/9396/task/9413/stat : 9413 (plingeling) R 9394 9396 9370 0 -1 4202560 4888 1241 0 0 1403 2 0 0 25 0 33 0 654793608 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 4365167 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=9396/tid=9414] ppid=9394 vsize=975428 CPUtime=14.19 cores=0-31
/proc/9396/task/9414/stat : 9414 (plingeling) R 9394 9396 9370 0 -1 4202560 3596 1241 0 0 1415 4 0 0 25 0 33 0 654793608 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 4309175 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9396/tid=9415] ppid=9394 vsize=975428 CPUtime=14.26 cores=0-31
/proc/9396/task/9415/stat : 9415 (plingeling) R 9394 9396 9370 0 -1 4202560 3751 1241 0 0 1424 2 0 0 25 0 33 0 654793608 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9396/tid=9416] ppid=9394 vsize=975428 CPUtime=14.17 cores=0-31
/proc/9396/task/9416/stat : 9416 (plingeling) R 9394 9396 9370 0 -1 4202560 4031 1241 0 0 1411 6 0 0 25 0 33 0 654793608 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 4346309 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9396/tid=9417] ppid=9394 vsize=975428 CPUtime=14.16 cores=0-31
/proc/9396/task/9417/stat : 9417 (plingeling) R 9394 9396 9370 0 -1 4202560 4246 1241 0 0 1412 4 0 0 25 0 33 0 654793608 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9396/tid=9418] ppid=9394 vsize=975428 CPUtime=14.17 cores=0-31
/proc/9396/task/9418/stat : 9418 (plingeling) R 9394 9396 9370 0 -1 4202560 3731 1241 0 0 1411 6 0 0 25 0 33 0 654793608 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 4319157 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9396/tid=9419] ppid=9394 vsize=975428 CPUtime=14.17 cores=0-31
/proc/9396/task/9419/stat : 9419 (plingeling) R 9394 9396 9370 0 -1 4202560 4010 1241 0 0 1411 6 0 0 25 0 33 0 654793608 998838272 134062 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 4 0 0 0

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

[pid=9396/tid=9407] ppid=9394 vsize=2630168 CPUtime=3307.97 cores=0-31
/proc/9396/task/9407/stat : 9407 (plingeling) R 9394 9396 9370 0 -1 4202560 405355 1241 0 0 330395 402 0 0 25 0 33 0 654793607 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=9396/tid=9408] ppid=9394 vsize=2630168 CPUtime=3301.34 cores=0-31
/proc/9396/task/9408/stat : 9408 (plingeling) R 9394 9396 9370 0 -1 4202560 326063 1241 0 0 329765 369 0 0 25 0 33 0 654793607 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=9396/tid=9409] ppid=9394 vsize=2630168 CPUtime=3310.87 cores=0-31
/proc/9396/task/9409/stat : 9409 (plingeling) R 9394 9396 9370 0 -1 4202560 305579 1241 0 0 330846 241 0 0 25 0 33 0 654793607 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=9396/tid=9410] ppid=9394 vsize=2630168 CPUtime=3310.74 cores=0-31
/proc/9396/task/9410/stat : 9410 (plingeling) R 9394 9396 9370 0 -1 4202560 421507 1241 0 0 330641 433 0 0 25 0 33 0 654793607 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9396/tid=9411] ppid=9394 vsize=2630168 CPUtime=3309.13 cores=0-31
/proc/9396/task/9411/stat : 9411 (plingeling) R 9394 9396 9370 0 -1 4202560 369657 1241 0 0 330558 355 0 0 25 0 33 0 654793607 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9396/tid=9412] ppid=9394 vsize=2630168 CPUtime=3296.08 cores=0-31
/proc/9396/task/9412/stat : 9412 (plingeling) R 9394 9396 9370 0 -1 4202560 380556 1241 0 0 329218 390 0 0 25 0 33 0 654793607 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=9396/tid=9413] ppid=9394 vsize=2630168 CPUtime=3310.26 cores=0-31
/proc/9396/task/9413/stat : 9413 (plingeling) R 9394 9396 9370 0 -1 4202560 393873 1241 0 0 330622 404 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 18446744073699065913 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=9396/tid=9414] ppid=9394 vsize=2630168 CPUtime=3310.41 cores=0-31
/proc/9396/task/9414/stat : 9414 (plingeling) R 9394 9396 9370 0 -1 4202560 443154 1241 0 0 330578 463 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364812 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9396/tid=9415] ppid=9394 vsize=2630168 CPUtime=3310.92 cores=0-31
/proc/9396/task/9415/stat : 9415 (plingeling) R 9394 9396 9370 0 -1 4202560 398019 1241 0 0 330732 360 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9396/tid=9416] ppid=9394 vsize=2630168 CPUtime=3308.95 cores=0-31
/proc/9396/task/9416/stat : 9416 (plingeling) R 9394 9396 9370 0 -1 4202560 470175 1241 0 0 330424 471 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9396/tid=9417] ppid=9394 vsize=2630168 CPUtime=3308.64 cores=0-31
/proc/9396/task/9417/stat : 9417 (plingeling) R 9394 9396 9370 0 -1 4202560 424712 1241 0 0 330466 398 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9396/tid=9418] ppid=9394 vsize=2630168 CPUtime=3297.77 cores=0-31
/proc/9396/task/9418/stat : 9418 (plingeling) R 9394 9396 9370 0 -1 4202560 385745 1241 0 0 329419 358 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=9396/tid=9419] ppid=9394 vsize=2630168 CPUtime=3310.66 cores=0-31
/proc/9396/task/9419/stat : 9419 (plingeling) R 9394 9396 9370 0 -1 4202560 386584 1241 0 0 330712 354 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9396/tid=9420] ppid=9394 vsize=2630168 CPUtime=3306.72 cores=0-31
/proc/9396/task/9420/stat : 9420 (plingeling) R 9394 9396 9370 0 -1 4202560 394153 1241 0 0 330335 337 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=9396/tid=9421] ppid=9394 vsize=2630168 CPUtime=3310.25 cores=0-31
/proc/9396/task/9421/stat : 9421 (plingeling) R 9394 9396 9370 0 -1 4202560 418638 1241 0 0 330619 406 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4366391 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9396/tid=9422] ppid=9394 vsize=2630168 CPUtime=3310.66 cores=0-31
/proc/9396/task/9422/stat : 9422 (plingeling) R 9394 9396 9370 0 -1 4202560 367210 1241 0 0 330761 305 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9396/tid=9423] ppid=9394 vsize=2630168 CPUtime=3310.63 cores=0-31
/proc/9396/task/9423/stat : 9423 (plingeling) R 9394 9396 9370 0 -1 4202560 499269 1241 0 0 330568 495 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=9396/tid=9424] ppid=9394 vsize=2630168 CPUtime=3310.8 cores=0-31
/proc/9396/task/9424/stat : 9424 (plingeling) R 9394 9396 9370 0 -1 4202560 433752 1241 0 0 330730 350 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9396/tid=9425] ppid=9394 vsize=2630168 CPUtime=3310.12 cores=0-31
/proc/9396/task/9425/stat : 9425 (plingeling) R 9394 9396 9370 0 -1 4202560 501869 1241 0 0 330532 480 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=9396/tid=9426] ppid=9394 vsize=2630168 CPUtime=3310.73 cores=0-31
/proc/9396/task/9426/stat : 9426 (plingeling) R 9394 9396 9370 0 -1 4202560 491091 1241 0 0 330594 479 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=9396/tid=9427] ppid=9394 vsize=2630168 CPUtime=3292.69 cores=0-31
/proc/9396/task/9427/stat : 9427 (plingeling) R 9394 9396 9370 0 -1 4202560 397270 1241 0 0 328851 418 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9396/tid=9428] ppid=9394 vsize=2630168 CPUtime=3306.98 cores=0-31
/proc/9396/task/9428/stat : 9428 (plingeling) R 9394 9396 9370 0 -1 4202560 416689 1241 0 0 330259 439 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9396/tid=9429] ppid=9394 vsize=2630168 CPUtime=3306.65 cores=0-31
/proc/9396/task/9429/stat : 9429 (plingeling) R 9394 9396 9370 0 -1 4202560 365494 1241 0 0 330286 379 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=9396/tid=9430] ppid=9394 vsize=2630168 CPUtime=3305.74 cores=0-31
/proc/9396/task/9430/stat : 9430 (plingeling) R 9394 9396 9370 0 -1 4202560 431369 1241 0 0 330229 345 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9396/tid=9431] ppid=9394 vsize=2630168 CPUtime=3309.86 cores=0-31
/proc/9396/task/9431/stat : 9431 (plingeling) R 9394 9396 9370 0 -1 4202560 475511 1241 0 0 330451 535 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9396/tid=9432] ppid=9394 vsize=2630168 CPUtime=3301.74 cores=0-31
/proc/9396/task/9432/stat : 9432 (plingeling) R 9394 9396 9370 0 -1 4202560 486701 1241 0 0 329681 493 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=9396/tid=9433] ppid=9394 vsize=2630168 CPUtime=3308.26 cores=0-31
/proc/9396/task/9433/stat : 9433 (plingeling) R 9394 9396 9370 0 -1 4202560 350295 1241 0 0 330496 330 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9396/tid=9434] ppid=9394 vsize=2630168 CPUtime=3305.57 cores=0-31
/proc/9396/task/9434/stat : 9434 (plingeling) R 9394 9396 9370 0 -1 4202560 439078 1241 0 0 330153 404 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9396/tid=9435] ppid=9394 vsize=2630168 CPUtime=3309.89 cores=0-31
/proc/9396/task/9435/stat : 9435 (plingeling) R 9394 9396 9370 0 -1 4202560 402341 1241 0 0 330557 432 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=9396/tid=9436] ppid=9394 vsize=2630168 CPUtime=3310.42 cores=0-31
/proc/9396/task/9436/stat : 9436 (plingeling) R 9394 9396 9370 0 -1 4202560 371131 1241 0 0 330651 391 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364675 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 105855
Current children cumulated vsize (KiB) 2630168

[startup+3323.9 s]
/proc/loadavg: 32.09 32.12 32.06 33/446 9536
/proc/meminfo: memFree=253398564/264257624 swapFree=67111528/67111528
[pid=9396] ppid=9394 vsize=2630168 CPUtime=105879 cores=0-31
/proc/9396/stat : 9396 (plingeling) S 9394 9396 9370 0 -1 4202496 13442050 1241 0 0 10575107 12842 0 0 18 0 33 0 654792492 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/9396/statm: 657542 546990 175 55 0 655428 0
[pid=9396/tid=9405] ppid=9394 vsize=2630168 CPUtime=3311.7 cores=0-31
/proc/9396/task/9405/stat : 9405 (plingeling) R 9394 9396 9370 0 -1 4202560 431423 1241 0 0 330760 410 0 0 25 0 33 0 654793607 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9396/tid=9406] ppid=9394 vsize=2630168 CPUtime=3311.48 cores=0-31
/proc/9396/task/9406/stat : 9406 (plingeling) R 9394 9396 9370 0 -1 4202560 365706 1241 0 0 330807 341 0 0 25 0 33 0 654793607 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9396/tid=9407] ppid=9394 vsize=2630168 CPUtime=3308.75 cores=0-31
/proc/9396/task/9407/stat : 9407 (plingeling) R 9394 9396 9370 0 -1 4202560 405355 1241 0 0 330473 402 0 0 25 0 33 0 654793607 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=9396/tid=9408] ppid=9394 vsize=2630168 CPUtime=3302.11 cores=0-31
/proc/9396/task/9408/stat : 9408 (plingeling) R 9394 9396 9370 0 -1 4202560 326063 1241 0 0 329842 369 0 0 25 0 33 0 654793607 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4236559 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=9396/tid=9409] ppid=9394 vsize=2630168 CPUtime=3311.65 cores=0-31
/proc/9396/task/9409/stat : 9409 (plingeling) R 9394 9396 9370 0 -1 4202560 305579 1241 0 0 330924 241 0 0 25 0 33 0 654793607 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=9396/tid=9410] ppid=9394 vsize=2630168 CPUtime=3311.52 cores=0-31
/proc/9396/task/9410/stat : 9410 (plingeling) R 9394 9396 9370 0 -1 4202560 421507 1241 0 0 330719 433 0 0 25 0 33 0 654793607 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9396/tid=9411] ppid=9394 vsize=2630168 CPUtime=3309.91 cores=0-31
/proc/9396/task/9411/stat : 9411 (plingeling) R 9394 9396 9370 0 -1 4202560 369657 1241 0 0 330636 355 0 0 25 0 33 0 654793607 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9396/tid=9412] ppid=9394 vsize=2630168 CPUtime=3296.86 cores=0-31
/proc/9396/task/9412/stat : 9412 (plingeling) R 9394 9396 9370 0 -1 4202560 380556 1241 0 0 329296 390 0 0 25 0 33 0 654793607 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=9396/tid=9413] ppid=9394 vsize=2630168 CPUtime=3311.04 cores=0-31
/proc/9396/task/9413/stat : 9413 (plingeling) R 9394 9396 9370 0 -1 4202560 393873 1241 0 0 330700 404 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364693 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=9396/tid=9414] ppid=9394 vsize=2630168 CPUtime=3311.19 cores=0-31
/proc/9396/task/9414/stat : 9414 (plingeling) R 9394 9396 9370 0 -1 4202560 443154 1241 0 0 330656 463 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9396/tid=9415] ppid=9394 vsize=2630168 CPUtime=3311.7 cores=0-31
/proc/9396/task/9415/stat : 9415 (plingeling) R 9394 9396 9370 0 -1 4202560 398019 1241 0 0 330810 360 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9396/tid=9416] ppid=9394 vsize=2630168 CPUtime=3309.73 cores=0-31
/proc/9396/task/9416/stat : 9416 (plingeling) R 9394 9396 9370 0 -1 4202560 470175 1241 0 0 330502 471 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9396/tid=9417] ppid=9394 vsize=2630168 CPUtime=3309.42 cores=0-31
/proc/9396/task/9417/stat : 9417 (plingeling) R 9394 9396 9370 0 -1 4202560 424712 1241 0 0 330544 398 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364861 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9396/tid=9418] ppid=9394 vsize=2630168 CPUtime=3298.55 cores=0-31
/proc/9396/task/9418/stat : 9418 (plingeling) R 9394 9396 9370 0 -1 4202560 385745 1241 0 0 329497 358 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=9396/tid=9419] ppid=9394 vsize=2630168 CPUtime=3311.44 cores=0-31
/proc/9396/task/9419/stat : 9419 (plingeling) R 9394 9396 9370 0 -1 4202560 386584 1241 0 0 330790 354 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9396/tid=9420] ppid=9394 vsize=2630168 CPUtime=3307.5 cores=0-31
/proc/9396/task/9420/stat : 9420 (plingeling) R 9394 9396 9370 0 -1 4202560 394153 1241 0 0 330413 337 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=9396/tid=9421] ppid=9394 vsize=2630168 CPUtime=3311.03 cores=0-31
/proc/9396/task/9421/stat : 9421 (plingeling) R 9394 9396 9370 0 -1 4202560 418638 1241 0 0 330697 406 0 0 25 0 33 0 654793608 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364508 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9396/tid=9422] ppid=9394 vsize=2630168 CPUtime=3311.44 cores=0-31
/proc/9396/task/9422/stat : 9422 (plingeling) R 9394 9396 9370 0 -1 4202560 367210 1241 0 0 330839 305 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9396/tid=9423] ppid=9394 vsize=2630168 CPUtime=3311.41 cores=0-31
/proc/9396/task/9423/stat : 9423 (plingeling) R 9394 9396 9370 0 -1 4202560 499269 1241 0 0 330646 495 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=9396/tid=9424] ppid=9394 vsize=2630168 CPUtime=3311.58 cores=0-31
/proc/9396/task/9424/stat : 9424 (plingeling) R 9394 9396 9370 0 -1 4202560 433752 1241 0 0 330808 350 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9396/tid=9425] ppid=9394 vsize=2630168 CPUtime=3310.9 cores=0-31
/proc/9396/task/9425/stat : 9425 (plingeling) R 9394 9396 9370 0 -1 4202560 501869 1241 0 0 330610 480 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=9396/tid=9426] ppid=9394 vsize=2630168 CPUtime=3311.51 cores=0-31
/proc/9396/task/9426/stat : 9426 (plingeling) R 9394 9396 9370 0 -1 4202560 491091 1241 0 0 330672 479 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=9396/tid=9427] ppid=9394 vsize=2630168 CPUtime=3293.47 cores=0-31
/proc/9396/task/9427/stat : 9427 (plingeling) R 9394 9396 9370 0 -1 4202560 397270 1241 0 0 328929 418 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9396/tid=9428] ppid=9394 vsize=2630168 CPUtime=3307.76 cores=0-31
/proc/9396/task/9428/stat : 9428 (plingeling) R 9394 9396 9370 0 -1 4202560 416689 1241 0 0 330337 439 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9396/tid=9429] ppid=9394 vsize=2630168 CPUtime=3307.43 cores=0-31
/proc/9396/task/9429/stat : 9429 (plingeling) R 9394 9396 9370 0 -1 4202560 365494 1241 0 0 330364 379 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=9396/tid=9430] ppid=9394 vsize=2630168 CPUtime=3306.52 cores=0-31
/proc/9396/task/9430/stat : 9430 (plingeling) R 9394 9396 9370 0 -1 4202560 431369 1241 0 0 330307 345 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9396/tid=9431] ppid=9394 vsize=2630168 CPUtime=3310.64 cores=0-31
/proc/9396/task/9431/stat : 9431 (plingeling) R 9394 9396 9370 0 -1 4202560 475511 1241 0 0 330529 535 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9396/tid=9432] ppid=9394 vsize=2630168 CPUtime=3302.51 cores=0-31
/proc/9396/task/9432/stat : 9432 (plingeling) R 9394 9396 9370 0 -1 4202560 486701 1241 0 0 329758 493 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=9396/tid=9433] ppid=9394 vsize=2630168 CPUtime=3309.04 cores=0-31
/proc/9396/task/9433/stat : 9433 (plingeling) R 9394 9396 9370 0 -1 4202560 350295 1241 0 0 330574 330 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9396/tid=9434] ppid=9394 vsize=2630168 CPUtime=3306.35 cores=0-31
/proc/9396/task/9434/stat : 9434 (plingeling) R 9394 9396 9370 0 -1 4202560 439078 1241 0 0 330231 404 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9396/tid=9435] ppid=9394 vsize=2630168 CPUtime=3310.67 cores=0-31
/proc/9396/task/9435/stat : 9435 (plingeling) R 9394 9396 9370 0 -1 4202560 402341 1241 0 0 330635 432 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=9396/tid=9436] ppid=9394 vsize=2630168 CPUtime=3311.2 cores=0-31
/proc/9396/task/9436/stat : 9436 (plingeling) R 9394 9396 9370 0 -1 4202560 371131 1241 0 0 330729 391 0 0 25 0 33 0 654793609 2693292032 546990 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 105879
Current children cumulated vsize (KiB) 2630168

[startup+3324.3 s]
/proc/loadavg: 32.16 32.14 32.06 22/435 9536
/proc/meminfo: memFree=253393068/264257624 swapFree=67111528/67111528
[pid=9396] ppid=9394 vsize=2613936 CPUtime=105888 cores=0-31
/proc/9396/stat : 9396 (plingeling) S 9394 9396 9370 0 -1 4202496 13442051 1241 0 0 10575935 12842 0 0 18 0 5 0 654792492 2676670464 542933 268435456000 4194304 4417452 140734104716112 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/9396/statm: 653484 542933 176 55 0 651370 0
[pid=9396/tid=9405] ppid=9394 vsize=2613936 CPUtime=3312.1 cores=0-31
/proc/9396/task/9405/stat : 9405 (plingeling) R 9394 9396 9370 0 -1 4202560 431423 1241 0 0 330800 410 0 0 25 0 5 0 654793607 2676670464 542933 268435456000 4194304 4417452 140734104716112 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9396/tid=9406] ppid=9394 vsize=2613936 CPUtime=3311.88 cores=0-31
/proc/9396/task/9406/stat : 9406 (plingeling) R 9394 9396 9370 0 -1 4202560 365706 1241 0 0 330847 341 0 0 25 0 5 0 654793607 2676670464 542933 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9396/tid=9410] ppid=9394 vsize=2613936 CPUtime=3311.92 cores=0-31
/proc/9396/task/9410/stat : 9410 (plingeling) R 9394 9396 9370 0 -1 4202560 421507 1241 0 0 330759 433 0 0 25 0 5 0 654793607 2676670464 542933 268435456000 4194304 4417452 140734104716112 18446744073709551615 4366117 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=9396/tid=9421] ppid=9394 vsize=2613936 CPUtime=3311.43 cores=0-31
/proc/9396/task/9421/stat : 9421 (plingeling) R 9394 9396 9370 0 -1 4202560 418638 1241 0 0 330737 406 0 0 25 0 5 0 654793608 2676670464 542933 268435456000 4194304 4417452 140734104716112 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 105888
Current children cumulated vsize (KiB) 2613936

[startup+3324.5 s]
/proc/loadavg: 32.16 32.14 32.06 22/435 9536
/proc/meminfo: memFree=253393068/264257624 swapFree=67111528/67111528
[pid=9396] ppid=9394 vsize=1769432 CPUtime=105888 cores=0-31
/proc/9396/stat : 9396 (plingeling) R 9394 9396 9370 0 -1 4202496 13442051 1241 0 0 10575972 12848 0 0 17 0 1 0 654792492 1811898368 402229 268435456000 4194304 4417452 140734104716112 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/9396/statm: 442358 402229 176 55 0 440244 0
Current children cumulated CPU time (s) 105888
Current children cumulated vsize (KiB) 1769432

[startup+3324.6 s]
/proc/loadavg: 32.16 32.14 32.06 22/435 9536
/proc/meminfo: memFree=253393068/264257624 swapFree=67111528/67111528
[pid=9396] ppid=9394 vsize=746916 CPUtime=105888 cores=0-31
/proc/9396/stat : 9396 (plingeling) R 9394 9396 9370 0 -1 4202496 13442051 1241 0 0 10575972 12858 0 0 17 0 1 0 654792492 764841984 136273 268435456000 4194304 4417452 140734104716112 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/9396/statm: 186729 136273 176 55 0 184615 0
Current children cumulated CPU time (s) 105888
Current children cumulated vsize (KiB) 746916

Child status: 20
Real time (s): 3324.66
CPU time (s): 105888
CPU user time (s): 105760
CPU system time (s): 128.645
CPU usage (%): 3184.94
Max. virtual memory (cumulated for all children) (KiB): 2919984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105760
system time used= 128.645
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13443296
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= 7800
involuntary context switches= 274489

runsolver used 19.0581 second user time and 74.7236 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-15 06:17:41
IDJOB=3372117
IDBENCH=20387
IDSOLVER=1852
FILE ID=node200/3372117-1305433060
RUNJOBID= node200-1305433060-9384
PBS_JOBID= 13285506
Free space on /tmp= 62040 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372117-1305433060/watcher-3372117-1305433060 -o /tmp/evaluation-result-3372117-1305433060/solver-3372117-1305433060 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372117-1305433060.cnf

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

MD5SUM BENCH= 45ee13b66821e6c36f3e38be418fa121
RANDOM SEED=1046775821

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:      255578592 kB
Buffers:        439172 kB
Cached:        7839296 kB
SwapCached:          0 kB
Active:        7389196 kB
Inactive:       958184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255578592 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10868 kB
Writeback:           0 kB
AnonPages:       68724 kB
Mapped:          14480 kB
Slab:           250556 kB
PageTables:       4384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   186796 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= 62040 MiB
End job on node200 at 2011-05-15 07:13:06