Trace number 3372363

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 579.616 23.0358

General information on the benchmark

Namevelev-pipe-o-uns-1.1-6.cnf
MD5SUMd986f0b849e7c714ed5d3a26373567af
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark383.181
Satisfiable
(Un)Satisfiability was proved
Number of variables17710
Number of clauses304026
Sum of the clauses size890580
Maximum clause length131
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2268354
Number of clauses of size 326401
Number of clauses of size 4173
Number of clauses of size 5120
Number of clauses of size over 58977

Solver Data 

579.59/23.03	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-3372363-1305567820/watcher-3372363-1305567820 -o /tmp/evaluation-result-3372363-1305567820/solver-3372363-1305567820 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372363-1305567820.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: 12.62 13.86 21.76 1/413 20103
/proc/meminfo: memFree=255523336/264257624 swapFree=67111528/67111528
[pid=20103] ppid=20101 vsize=11076 CPUtime=0.03 cores=0-31
/proc/20103/stat : 20103 (plingeling) R 20101 20103 19933 0 -1 4202496 839 1240 0 0 2 0 0 1 20 0 1 0 668268503 11341824 770 268435456000 4194304 4417452 140733428887088 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20103/statm: 2769 770 145 55 0 655 0

[startup+0.072004 s]
/proc/loadavg: 12.62 13.86 21.76 1/413 20103
/proc/meminfo: memFree=255523336/264257624 swapFree=67111528/67111528
[pid=20103] ppid=20101 vsize=14160 CPUtime=0.07 cores=0-31
/proc/20103/stat : 20103 (plingeling) R 20101 20103 19933 0 -1 4202496 1616 1240 0 0 6 0 0 1 20 0 1 0 668268503 14499840 1547 268435456000 4194304 4417452 140733428887088 18446744073709551615 4274378 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20103/statm: 3540 1547 145 55 0 1426 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14160

[startup+0.10096 s]
/proc/loadavg: 12.62 13.86 21.76 1/413 20103
/proc/meminfo: memFree=255523336/264257624 swapFree=67111528/67111528
[pid=20103] ppid=20101 vsize=16404 CPUtime=0.09 cores=0-31
/proc/20103/stat : 20103 (plingeling) R 20101 20103 19933 0 -1 4202496 2177 1240 0 0 8 0 0 1 20 0 1 0 668268503 16797696 2108 268435456000 4194304 4417452 140733428887088 18446744073709551615 4259035 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20103/statm: 4101 2108 145 55 0 1987 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16404

[startup+0.300974 s]
/proc/loadavg: 12.62 13.86 21.76 1/413 20103
/proc/meminfo: memFree=255523336/264257624 swapFree=67111528/67111528
[pid=20103] ppid=20101 vsize=28200 CPUtime=0.29 cores=0-31
/proc/20103/stat : 20103 (plingeling) R 20101 20103 19933 0 -1 4202496 5112 1240 0 0 27 1 0 1 21 0 1 0 668268503 28876800 5043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4231388 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20103/statm: 7050 5043 146 55 0 4936 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28200

[startup+0.700985 s]
/proc/loadavg: 12.62 13.86 21.76 1/413 20103
/proc/meminfo: memFree=255523336/264257624 swapFree=67111528/67111528
[pid=20103] ppid=20101 vsize=59136 CPUtime=0.69 cores=0-31
/proc/20103/stat : 20103 (plingeling) R 20101 20103 19933 0 -1 4202496 12808 1240 0 0 65 3 0 1 22 0 1 0 668268503 60555264 12739 268435456000 4194304 4417452 140733428887088 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20103/statm: 14784 12753 146 55 0 12670 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59136

[startup+1.50107 s]
/proc/loadavg: 12.62 13.86 21.76 2/414 20109
/proc/meminfo: memFree=255463748/264257624 swapFree=67111528/67111528
[pid=20103] ppid=20101 vsize=112536 CPUtime=1.49 cores=0-31
/proc/20103/stat : 20103 (plingeling) R 20101 20103 19933 0 -1 4202496 26232 1240 0 0 142 6 0 1 25 0 1 0 668268503 115236864 26155 268435456000 4194304 4417452 140733428887088 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20103/statm: 28134 26155 146 55 0 26020 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 112536

[startup+3.10108 s]
/proc/loadavg: 12.62 13.86 21.76 2/414 20109
/proc/meminfo: memFree=255401516/264257624 swapFree=67111528/67111528
[pid=20103] ppid=20101 vsize=213480 CPUtime=3.1 cores=0-31
/proc/20103/stat : 20103 (plingeling) R 20101 20103 19933 0 -1 4202496 51468 1240 0 0 297 12 0 1 25 0 1 0 668268503 218603520 51391 268435456000 4194304 4417452 140733428887088 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20103/statm: 53370 51391 146 55 0 51256 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 213480

[startup+6.30207 s]
/proc/loadavg: 11.69 13.64 21.64 33/446 20141
/proc/meminfo: memFree=255129208/264257624 swapFree=67111528/67111528
[pid=20103] ppid=20101 vsize=1031700 CPUtime=61.52 cores=0-31
/proc/20103/stat : 20103 (plingeling) S 20101 20103 19933 0 -1 4202496 129284 1240 0 0 6116 35 0 1 18 0 33 0 668268503 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/20103/statm: 257925 98862 170 55 0 255811 0
[pid=20103/tid=20110] ppid=20101 vsize=1031700 CPUtime=1.81 cores=0-31
/proc/20103/task/20110/stat : 20110 (plingeling) R 20101 20103 19933 0 -1 4202560 454 1240 0 0 180 0 0 1 20 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4306602 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20103/tid=20111] ppid=20101 vsize=1031700 CPUtime=1.81 cores=0-31
/proc/20103/task/20111/stat : 20111 (plingeling) R 20101 20103 19933 0 -1 4202560 696 1240 0 0 180 0 0 1 25 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4307540 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20103/tid=20112] ppid=20101 vsize=1031700 CPUtime=1.81 cores=0-31
/proc/20103/task/20112/stat : 20112 (plingeling) R 20101 20103 19933 0 -1 4202560 592 1240 0 0 180 0 0 1 20 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4310191 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20103/tid=20113] ppid=20101 vsize=1031700 CPUtime=1.78 cores=0-31
/proc/20103/task/20113/stat : 20113 (plingeling) R 20101 20103 19933 0 -1 4202560 214 1240 0 0 177 0 0 1 25 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=20103/tid=20114] ppid=20101 vsize=1031700 CPUtime=1.78 cores=0-31
/proc/20103/task/20114/stat : 20114 (plingeling) R 20101 20103 19933 0 -1 4202560 631 1240 0 0 177 0 0 1 20 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4270875 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=20103/tid=20115] ppid=20101 vsize=1031700 CPUtime=1.8 cores=0-31
/proc/20103/task/20115/stat : 20115 (plingeling) R 20101 20103 19933 0 -1 4202560 557 1240 0 0 179 0 0 1 20 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4306128 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20103/tid=20116] ppid=20101 vsize=1031700 CPUtime=1.8 cores=0-31
/proc/20103/task/20116/stat : 20116 (plingeling) R 20101 20103 19933 0 -1 4202560 698 1240 0 0 179 0 0 1 20 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4310248 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=20103/tid=20117] ppid=20101 vsize=1031700 CPUtime=1.8 cores=0-31
/proc/20103/task/20117/stat : 20117 (plingeling) R 20101 20103 19933 0 -1 4202560 771 1240 0 0 179 0 0 1 20 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4311520 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20103/tid=20118] ppid=20101 vsize=1031700 CPUtime=1.79 cores=0-31
/proc/20103/task/20118/stat : 20118 (plingeling) R 20101 20103 19933 0 -1 4202560 398 1240 0 0 178 0 0 1 20 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20103/tid=20119] ppid=20101 vsize=1031700 CPUtime=1.79 cores=0-31
/proc/20103/task/20119/stat : 20119 (plingeling) R 20101 20103 19933 0 -1 4202560 887 1240 0 0 178 0 0 1 20 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4270953 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20103/tid=20120] ppid=20101 vsize=1031700 CPUtime=1.79 cores=0-31
/proc/20103/task/20120/stat : 20120 (plingeling) R 20101 20103 19933 0 -1 4202560 1382 1240 0 0 178 0 0 1 20 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4291031 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=20103/tid=20121] ppid=20101 vsize=1031700 CPUtime=1.8 cores=0-31
/proc/20103/task/20121/stat : 20121 (plingeling) R 20101 20103 19933 0 -1 4202560 591 1240 0 0 179 0 0 1 20 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4310410 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20103/tid=20122] ppid=20101 vsize=1031700 CPUtime=1.8 cores=0-31
/proc/20103/task/20122/stat : 20122 (plingeling) R 20101 20103 19933 0 -1 4202560 624 1240 0 0 179 0 0 1 20 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4302020 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20103/tid=20123] ppid=20101 vsize=1031700 CPUtime=1.77 cores=0-31
/proc/20103/task/20123/stat : 20123 (plingeling) R 20101 20103 19933 0 -1 4202560 1107 1240 0 0 176 0 0 1 20 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4310641 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20103/tid=20124] ppid=20101 vsize=1031700 CPUtime=1.8 cores=0-31
/proc/20103/task/20124/stat : 20124 (plingeling) R 20101 20103 19933 0 -1 4202560 836 1240 0 0 179 0 0 1 20 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4305871 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20103/tid=20125] ppid=20101 vsize=1031700 CPUtime=1.79 cores=0-31
/proc/20103/task/20125/stat : 20125 (plingeling) R 20101 20103 19933 0 -1 4202560 873 1240 0 0 178 0 0 1 20 0 33 0 668268952 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4307907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20103/tid=20126] ppid=20101 vsize=1031700 CPUtime=1.78 cores=0-31
/proc/20103/task/20126/stat : 20126 (plingeling) R 20101 20103 19933 0 -1 4202560 748 1240 0 0 177 0 0 1 25 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4308243 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=20103/tid=20127] ppid=20101 vsize=1031700 CPUtime=1.78 cores=0-31
/proc/20103/task/20127/stat : 20127 (plingeling) R 20101 20103 19933 0 -1 4202560 458 1240 0 0 177 0 0 1 25 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4306258 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20103/tid=20128] ppid=20101 vsize=1031700 CPUtime=1.78 cores=0-31
/proc/20103/task/20128/stat : 20128 (plingeling) R 20101 20103 19933 0 -1 4202560 1177 1240 0 0 177 0 0 1 20 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4302463 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=20103/tid=20129] ppid=20101 vsize=1031700 CPUtime=1.78 cores=0-31
/proc/20103/task/20129/stat : 20129 (plingeling) R 20101 20103 19933 0 -1 4202560 661 1240 0 0 177 0 0 1 20 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4310641 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=20103/tid=20130] ppid=20101 vsize=1031700 CPUtime=1.79 cores=0-31
/proc/20103/task/20130/stat : 20130 (plingeling) R 20101 20103 19933 0 -1 4202560 588 1240 0 0 178 0 0 1 20 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4310398 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=20103/tid=20131] ppid=20101 vsize=1031700 CPUtime=1.78 cores=0-31
/proc/20103/task/20131/stat : 20131 (plingeling) R 20101 20103 19933 0 -1 4202560 2046 1240 0 0 177 0 0 1 20 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4309583 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=20103/tid=20132] ppid=20101 vsize=1031700 CPUtime=1.79 cores=0-31
/proc/20103/task/20132/stat : 20132 (plingeling) R 20101 20103 19933 0 -1 4202560 701 1240 0 0 178 0 0 1 20 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4290678 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=20103/tid=20133] ppid=20101 vsize=1031700 CPUtime=1.79 cores=0-31
/proc/20103/task/20133/stat : 20133 (plingeling) R 20101 20103 19933 0 -1 4202560 1799 1240 0 0 178 0 0 1 20 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4310641 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20103/tid=20134] ppid=20101 vsize=1031700 CPUtime=1.78 cores=0-31
/proc/20103/task/20134/stat : 20134 (plingeling) R 20101 20103 19933 0 -1 4202560 2761 1240 0 0 177 0 0 1 20 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4311302 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=20103/tid=20135] ppid=20101 vsize=1031700 CPUtime=1.77 cores=0-31
/proc/20103/task/20135/stat : 20135 (plingeling) R 20101 20103 19933 0 -1 4202560 1176 1240 0 0 176 0 0 1 20 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4311352 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=20103/tid=20136] ppid=20101 vsize=1031700 CPUtime=1.77 cores=0-31
/proc/20103/task/20136/stat : 20136 (plingeling) R 20101 20103 19933 0 -1 4202560 611 1240 0 0 176 0 0 1 20 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4302600 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20103/tid=20137] ppid=20101 vsize=1031700 CPUtime=1.69 cores=0-31
/proc/20103/task/20137/stat : 20137 (plingeling) R 20101 20103 19933 0 -1 4202560 386 1240 0 0 168 0 0 1 25 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4310362 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=20103/tid=20138] ppid=20101 vsize=1031700 CPUtime=1.78 cores=0-31
/proc/20103/task/20138/stat : 20138 (plingeling) R 20101 20103 19933 0 -1 4202560 726 1240 0 0 177 0 0 1 25 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4301981 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20103/tid=20139] ppid=20101 vsize=1031700 CPUtime=1.79 cores=0-31
/proc/20103/task/20139/stat : 20139 (plingeling) R 20101 20103 19933 0 -1 4202560 761 1240 0 0 178 0 0 1 20 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4309899 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=20103/tid=20140] ppid=20101 vsize=1031700 CPUtime=1.77 cores=0-31
/proc/20103/task/20140/stat : 20140 (plingeling) R 20101 20103 19933 0 -1 4202560 1138 1240 0 0 176 0 0 1 25 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4290633 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=20103/tid=20141] ppid=20101 vsize=1031700 CPUtime=1.74 cores=0-31
/proc/20103/task/20141/stat : 20141 (plingeling) R 20101 20103 19933 0 -1 4202560 691 1240 0 0 173 0 0 1 25 0 33 0 668268953 1056460800 98862 268435456000 4194304 4417452 140733428887088 18446744073709551615 4290395 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 61.52
Current children cumulated vsize (KiB) 1031700

[startup+12.7023 s]
/proc/loadavg: 13.32 13.95 21.70 33/446 20141
/proc/meminfo: memFree=254983704/264257624 swapFree=67111528/67111528
[pid=20103] ppid=20101 vsize=1143896 CPUtime=265.84 cores=0-31
/proc/20103/stat : 20103 (plingeling) S 20101 20103 19933 0 -1 4202496 197032 1240 0 0 26517 66 0 1 18 0 33 0 668268503 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/20103/statm: 285974 136169 175 55 0 283860 0
[pid=20103/tid=20110] ppid=20101 vsize=1143896 CPUtime=8.2 cores=0-31
/proc/20103/task/20110/stat : 20110 (plingeling) R 20101 20103 19933 0 -1 4202560 2352 1240 0 0 818 1 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4365976 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20103/tid=20111] ppid=20101 vsize=1143896 CPUtime=8.19 cores=0-31
/proc/20103/task/20111/stat : 20111 (plingeling) R 20101 20103 19933 0 -1 4202560 1283 1240 0 0 817 1 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4275688 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20103/tid=20112] ppid=20101 vsize=1143896 CPUtime=8.2 cores=0-31
/proc/20103/task/20112/stat : 20112 (plingeling) R 20101 20103 19933 0 -1 4202560 3482 1240 0 0 818 1 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20103/tid=20113] ppid=20101 vsize=1143896 CPUtime=8.18 cores=0-31
/proc/20103/task/20113/stat : 20113 (plingeling) R 20101 20103 19933 0 -1 4202560 1409 1240 0 0 817 0 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4264950 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=20103/tid=20114] ppid=20101 vsize=1143896 CPUtime=8.17 cores=0-31
/proc/20103/task/20114/stat : 20114 (plingeling) R 20101 20103 19933 0 -1 4202560 3764 1240 0 0 815 1 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=20103/tid=20115] ppid=20101 vsize=1143896 CPUtime=8.18 cores=0-31
/proc/20103/task/20115/stat : 20115 (plingeling) R 20101 20103 19933 0 -1 4202560 1654 1240 0 0 817 0 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4236593 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20103/tid=20116] ppid=20101 vsize=1143896 CPUtime=8.18 cores=0-31
/proc/20103/task/20116/stat : 20116 (plingeling) R 20101 20103 19933 0 -1 4202560 3538 1240 0 0 816 1 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=20103/tid=20117] ppid=20101 vsize=1143896 CPUtime=8.18 cores=0-31
/proc/20103/task/20117/stat : 20117 (plingeling) R 20101 20103 19933 0 -1 4202560 4106 1240 0 0 815 2 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20103/tid=20118] ppid=20101 vsize=1143896 CPUtime=8.18 cores=0-31
/proc/20103/task/20118/stat : 20118 (plingeling) R 20101 20103 19933 0 -1 4202560 1183 1240 0 0 816 1 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4366806 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20103/tid=20119] ppid=20101 vsize=1143896 CPUtime=8.18 cores=0-31
/proc/20103/task/20119/stat : 20119 (plingeling) R 20101 20103 19933 0 -1 4202560 2494 1240 0 0 817 0 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4236569 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20103/tid=20120] ppid=20101 vsize=1143896 CPUtime=8.16 cores=0-31
/proc/20103/task/20120/stat : 20120 (plingeling) R 20101 20103 19933 0 -1 4202560 3535 1240 0 0 814 1 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4366528 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=20103/tid=20121] ppid=20101 vsize=1143896 CPUtime=8.2 cores=0-31
/proc/20103/task/20121/stat : 20121 (plingeling) R 20101 20103 19933 0 -1 4202560 2883 1240 0 0 818 1 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4278246 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20103/tid=20122] ppid=20101 vsize=1143896 CPUtime=8.18 cores=0-31
/proc/20103/task/20122/stat : 20122 (plingeling) R 20101 20103 19933 0 -1 4202560 2592 1240 0 0 817 0 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20103/tid=20123] ppid=20101 vsize=1143896 CPUtime=8.16 cores=0-31
/proc/20103/task/20123/stat : 20123 (plingeling) R 20101 20103 19933 0 -1 4202560 4584 1240 0 0 814 1 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4274673 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20103/tid=20124] ppid=20101 vsize=1143896 CPUtime=8.18 cores=0-31
/proc/20103/task/20124/stat : 20124 (plingeling) R 20101 20103 19933 0 -1 4202560 3487 1240 0 0 817 0 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4365103 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20103/tid=20125] ppid=20101 vsize=1143896 CPUtime=8.18 cores=0-31
/proc/20103/task/20125/stat : 20125 (plingeling) R 20101 20103 19933 0 -1 4202560 3607 1240 0 0 816 1 0 1 25 0 33 0 668268952 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4236878 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20103/tid=20126] ppid=20101 vsize=1143896 CPUtime=8.17 cores=0-31
/proc/20103/task/20126/stat : 20126 (plingeling) R 20101 20103 19933 0 -1 4202560 3949 1240 0 0 814 2 0 1 25 0 33 0 668268953 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4236928 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=20103/tid=20127] ppid=20101 vsize=1143896 CPUtime=8.17 cores=0-31
/proc/20103/task/20127/stat : 20127 (plingeling) R 20101 20103 19933 0 -1 4202560 2562 1240 0 0 815 1 0 1 25 0 33 0 668268953 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364829 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20103/tid=20128] ppid=20101 vsize=1143896 CPUtime=8.19 cores=0-31
/proc/20103/task/20128/stat : 20128 (plingeling) R 20101 20103 19933 0 -1 4202560 3773 1240 0 0 816 2 0 1 25 0 33 0 668268953 1171349504 136169 268435456000 4194304 4417452 140733428887088 18446744073709551615 4262481 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=20103/tid=20129] ppid=20101 vsize=1143896 CPUtime=8.18 cores=0-31

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

[pid=20103/tid=20113] ppid=20101 vsize=1184760 CPUtime=16.17 cores=0-31
/proc/20103/task/20113/stat : 20113 (plingeling) R 20101 20103 19933 0 -1 4202560 4598 1240 0 0 1616 0 0 1 25 0 33 0 668268952 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=20103/tid=20114] ppid=20101 vsize=1184760 CPUtime=16.17 cores=0-31
/proc/20103/task/20114/stat : 20114 (plingeling) R 20101 20103 19933 0 -1 4202560 4276 1240 0 0 1614 2 0 1 25 0 33 0 668268952 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4236910 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=20103/tid=20115] ppid=20101 vsize=1184760 CPUtime=16.18 cores=0-31
/proc/20103/task/20115/stat : 20115 (plingeling) R 20101 20103 19933 0 -1 4202560 2255 1240 0 0 1617 0 0 1 25 0 33 0 668268952 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4232801 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20103/tid=20116] ppid=20101 vsize=1184760 CPUtime=16.18 cores=0-31
/proc/20103/task/20116/stat : 20116 (plingeling) R 20101 20103 19933 0 -1 4202560 3847 1240 0 0 1616 1 0 1 25 0 33 0 668268952 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=20103/tid=20117] ppid=20101 vsize=1184760 CPUtime=16.18 cores=0-31
/proc/20103/task/20117/stat : 20117 (plingeling) R 20101 20103 19933 0 -1 4202560 5520 1240 0 0 1615 2 0 1 25 0 33 0 668268952 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20103/tid=20118] ppid=20101 vsize=1184760 CPUtime=16.18 cores=0-31
/proc/20103/task/20118/stat : 20118 (plingeling) R 20101 20103 19933 0 -1 4202560 1814 1240 0 0 1616 1 0 1 25 0 33 0 668268952 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20103/tid=20119] ppid=20101 vsize=1184760 CPUtime=16.18 cores=0-31
/proc/20103/task/20119/stat : 20119 (plingeling) R 20101 20103 19933 0 -1 4202560 5134 1240 0 0 1616 1 0 1 25 0 33 0 668268952 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4234678 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20103/tid=20120] ppid=20101 vsize=1184760 CPUtime=16.16 cores=0-31
/proc/20103/task/20120/stat : 20120 (plingeling) R 20101 20103 19933 0 -1 4202560 3535 1240 0 0 1614 1 0 1 25 0 33 0 668268952 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4232664 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=20103/tid=20121] ppid=20101 vsize=1184760 CPUtime=16.19 cores=0-31
/proc/20103/task/20121/stat : 20121 (plingeling) R 20101 20103 19933 0 -1 4202560 3163 1240 0 0 1617 1 0 1 25 0 33 0 668268952 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4357281 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20103/tid=20122] ppid=20101 vsize=1184760 CPUtime=16.18 cores=0-31
/proc/20103/task/20122/stat : 20122 (plingeling) R 20101 20103 19933 0 -1 4202560 3407 1240 0 0 1616 1 0 1 25 0 33 0 668268952 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20103/tid=20123] ppid=20101 vsize=1184760 CPUtime=16.15 cores=0-31
/proc/20103/task/20123/stat : 20123 (plingeling) R 20101 20103 19933 0 -1 4202560 5276 1240 0 0 1613 1 0 1 25 0 33 0 668268952 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 18446744073699065913 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20103/tid=20124] ppid=20101 vsize=1184760 CPUtime=16.19 cores=0-31
/proc/20103/task/20124/stat : 20124 (plingeling) R 20101 20103 19933 0 -1 4202560 3496 1240 0 0 1617 1 0 1 25 0 33 0 668268952 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4275930 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20103/tid=20125] ppid=20101 vsize=1184760 CPUtime=16.17 cores=0-31
/proc/20103/task/20125/stat : 20125 (plingeling) R 20101 20103 19933 0 -1 4202560 4858 1240 0 0 1615 1 0 1 25 0 33 0 668268952 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20103/tid=20126] ppid=20101 vsize=1184760 CPUtime=16.17 cores=0-31
/proc/20103/task/20126/stat : 20126 (plingeling) R 20101 20103 19933 0 -1 4202560 4629 1240 0 0 1614 2 0 1 25 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=20103/tid=20127] ppid=20101 vsize=1184760 CPUtime=16.16 cores=0-31
/proc/20103/task/20127/stat : 20127 (plingeling) R 20101 20103 19933 0 -1 4202560 3290 1240 0 0 1614 1 0 1 25 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4277982 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20103/tid=20128] ppid=20101 vsize=1184760 CPUtime=16.18 cores=0-31
/proc/20103/task/20128/stat : 20128 (plingeling) R 20101 20103 19933 0 -1 4202560 3773 1240 0 0 1615 2 0 1 25 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4232787 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=20103/tid=20129] ppid=20101 vsize=1184760 CPUtime=16.17 cores=0-31
/proc/20103/task/20129/stat : 20129 (plingeling) R 20101 20103 19933 0 -1 4202560 4261 1240 0 0 1615 1 0 1 25 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4236784 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=20103/tid=20130] ppid=20101 vsize=1184760 CPUtime=15.96 cores=0-31
/proc/20103/task/20130/stat : 20130 (plingeling) R 20101 20103 19933 0 -1 4202560 2002 1240 0 0 1594 1 0 1 25 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20103/tid=20131] ppid=20101 vsize=1184760 CPUtime=16.18 cores=0-31
/proc/20103/task/20131/stat : 20131 (plingeling) R 20101 20103 19933 0 -1 4202560 5713 1240 0 0 1615 2 0 1 25 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4264542 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=20103/tid=20132] ppid=20101 vsize=1184760 CPUtime=16.16 cores=0-31
/proc/20103/task/20132/stat : 20132 (plingeling) R 20101 20103 19933 0 -1 4202560 2720 1240 0 0 1615 0 0 1 25 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4348328 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=20103/tid=20133] ppid=20101 vsize=1184760 CPUtime=16.17 cores=0-31
/proc/20103/task/20133/stat : 20133 (plingeling) R 20101 20103 19933 0 -1 4202560 5561 1240 0 0 1614 2 0 1 25 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20103/tid=20134] ppid=20101 vsize=1184760 CPUtime=16.18 cores=0-31
/proc/20103/task/20134/stat : 20134 (plingeling) R 20101 20103 19933 0 -1 4202560 5499 1240 0 0 1616 1 0 1 25 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364440 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=20103/tid=20135] ppid=20101 vsize=1184760 CPUtime=16.16 cores=0-31
/proc/20103/task/20135/stat : 20135 (plingeling) R 20101 20103 19933 0 -1 4202560 5288 1240 0 0 1613 2 0 1 25 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=20103/tid=20136] ppid=20101 vsize=1184760 CPUtime=16.17 cores=0-31
/proc/20103/task/20136/stat : 20136 (plingeling) R 20101 20103 19933 0 -1 4202560 1947 1240 0 0 1615 1 0 1 25 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4265403 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20103/tid=20137] ppid=20101 vsize=1184760 CPUtime=16.08 cores=0-31
/proc/20103/task/20137/stat : 20137 (plingeling) R 20101 20103 19933 0 -1 4202560 5155 1240 0 0 1606 1 0 1 25 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4263096 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=20103/tid=20138] ppid=20101 vsize=1184760 CPUtime=16.16 cores=0-31
/proc/20103/task/20138/stat : 20138 (plingeling) R 20101 20103 19933 0 -1 4202560 3419 1240 0 0 1614 1 0 1 25 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20103/tid=20139] ppid=20101 vsize=1184760 CPUtime=16.18 cores=0-31
/proc/20103/task/20139/stat : 20139 (plingeling) R 20101 20103 19933 0 -1 4202560 3936 1240 0 0 1616 1 0 1 18 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364474 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=20103/tid=20140] ppid=20101 vsize=1184760 CPUtime=16.16 cores=0-31
/proc/20103/task/20140/stat : 20140 (plingeling) R 20101 20103 19933 0 -1 4202560 3602 1240 0 0 1614 1 0 1 25 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 4320867 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=20103/tid=20141] ppid=20101 vsize=1184760 CPUtime=15.93 cores=0-31
/proc/20103/task/20141/stat : 20141 (plingeling) R 20101 20103 19933 0 -1 4202560 3356 1240 0 0 1591 1 0 1 25 0 33 0 668268953 1213194240 148805 268435456000 4194304 4417452 140733428887088 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 521.5
Current children cumulated vsize (KiB) 1184760

[startup+22.3016 s]
/proc/loadavg: 16.27 14.56 21.81 33/446 20141
/proc/meminfo: memFree=254893496/264257624 swapFree=67111528/67111528
[pid=20103] ppid=20101 vsize=1213476 CPUtime=572.62 cores=0-31
/proc/20103/stat : 20103 (plingeling) S 20101 20103 19933 0 -1 4202496 235533 1240 0 0 57184 77 0 1 18 0 33 0 668268503 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/20103/statm: 303369 157043 175 55 0 301255 0
[pid=20103/tid=20110] ppid=20101 vsize=1213476 CPUtime=17.8 cores=0-31
/proc/20103/task/20110/stat : 20110 (plingeling) R 20101 20103 19933 0 -1 4202560 3233 1240 0 0 1778 1 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20103/tid=20111] ppid=20101 vsize=1213476 CPUtime=17.79 cores=0-31
/proc/20103/task/20111/stat : 20111 (plingeling) R 20101 20103 19933 0 -1 4202560 2252 1240 0 0 1777 1 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4236797 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20103/tid=20112] ppid=20101 vsize=1213476 CPUtime=17.79 cores=0-31
/proc/20103/task/20112/stat : 20112 (plingeling) R 20101 20103 19933 0 -1 4202560 3994 1240 0 0 1777 1 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20103/tid=20113] ppid=20101 vsize=1213476 CPUtime=17.77 cores=0-31
/proc/20103/task/20113/stat : 20113 (plingeling) R 20101 20103 19933 0 -1 4202560 5054 1240 0 0 1776 0 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4236812 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=20103/tid=20114] ppid=20101 vsize=1213476 CPUtime=17.77 cores=0-31
/proc/20103/task/20114/stat : 20114 (plingeling) R 20101 20103 19933 0 -1 4202560 4276 1240 0 0 1774 2 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=20103/tid=20115] ppid=20101 vsize=1213476 CPUtime=17.77 cores=0-31
/proc/20103/task/20115/stat : 20115 (plingeling) R 20101 20103 19933 0 -1 4202560 2255 1240 0 0 1776 0 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 18446744073699065863 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20103/tid=20116] ppid=20101 vsize=1213476 CPUtime=17.78 cores=0-31
/proc/20103/task/20116/stat : 20116 (plingeling) R 20101 20103 19933 0 -1 4202560 4479 1240 0 0 1776 1 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=20103/tid=20117] ppid=20101 vsize=1213476 CPUtime=17.78 cores=0-31
/proc/20103/task/20117/stat : 20117 (plingeling) R 20101 20103 19933 0 -1 4202560 5520 1240 0 0 1775 2 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4365943 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20103/tid=20118] ppid=20101 vsize=1213476 CPUtime=17.77 cores=0-31
/proc/20103/task/20118/stat : 20118 (plingeling) R 20101 20103 19933 0 -1 4202560 2326 1240 0 0 1775 1 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4232609 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20103/tid=20119] ppid=20101 vsize=1213476 CPUtime=17.78 cores=0-31
/proc/20103/task/20119/stat : 20119 (plingeling) R 20101 20103 19933 0 -1 4202560 5134 1240 0 0 1776 1 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4326424 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20103/tid=20120] ppid=20101 vsize=1213476 CPUtime=17.76 cores=0-31
/proc/20103/task/20120/stat : 20120 (plingeling) R 20101 20103 19933 0 -1 4202560 4054 1240 0 0 1774 1 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=20103/tid=20121] ppid=20101 vsize=1213476 CPUtime=17.79 cores=0-31
/proc/20103/task/20121/stat : 20121 (plingeling) R 20101 20103 19933 0 -1 4202560 3163 1240 0 0 1777 1 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4236790 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20103/tid=20122] ppid=20101 vsize=1213476 CPUtime=17.78 cores=0-31
/proc/20103/task/20122/stat : 20122 (plingeling) R 20101 20103 19933 0 -1 4202560 3407 1240 0 0 1776 1 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4291349 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20103/tid=20123] ppid=20101 vsize=1213476 CPUtime=17.75 cores=0-31
/proc/20103/task/20123/stat : 20123 (plingeling) R 20101 20103 19933 0 -1 4202560 5566 1240 0 0 1773 1 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20103/tid=20124] ppid=20101 vsize=1213476 CPUtime=17.79 cores=0-31
/proc/20103/task/20124/stat : 20124 (plingeling) R 20101 20103 19933 0 -1 4202560 3496 1240 0 0 1777 1 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4365150 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20103/tid=20125] ppid=20101 vsize=1213476 CPUtime=17.77 cores=0-31
/proc/20103/task/20125/stat : 20125 (plingeling) R 20101 20103 19933 0 -1 4202560 4858 1240 0 0 1775 1 0 1 25 0 33 0 668268952 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20103/tid=20126] ppid=20101 vsize=1213476 CPUtime=17.77 cores=0-31
/proc/20103/task/20126/stat : 20126 (plingeling) R 20101 20103 19933 0 -1 4202560 6483 1240 0 0 1773 3 0 1 25 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4254893 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=20103/tid=20127] ppid=20101 vsize=1213476 CPUtime=17.77 cores=0-31
/proc/20103/task/20127/stat : 20127 (plingeling) R 20101 20103 19933 0 -1 4202560 4314 1240 0 0 1774 2 0 1 25 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4236975 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20103/tid=20128] ppid=20101 vsize=1213476 CPUtime=17.78 cores=0-31
/proc/20103/task/20128/stat : 20128 (plingeling) R 20101 20103 19933 0 -1 4202560 3782 1240 0 0 1775 2 0 1 25 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=20103/tid=20129] ppid=20101 vsize=1213476 CPUtime=17.77 cores=0-31
/proc/20103/task/20129/stat : 20129 (plingeling) R 20101 20103 19933 0 -1 4202560 4629 1240 0 0 1775 1 0 1 25 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4236634 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=20103/tid=20130] ppid=20101 vsize=1213476 CPUtime=17.5 cores=0-31
/proc/20103/task/20130/stat : 20130 (plingeling) R 20101 20103 19933 0 -1 4202560 2371 1240 0 0 1748 1 0 1 25 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4346437 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20103/tid=20131] ppid=20101 vsize=1213476 CPUtime=17.78 cores=0-31
/proc/20103/task/20131/stat : 20131 (plingeling) R 20101 20103 19933 0 -1 4202560 6226 1240 0 0 1775 2 0 1 25 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4354079 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=20103/tid=20132] ppid=20101 vsize=1213476 CPUtime=17.76 cores=0-31
/proc/20103/task/20132/stat : 20132 (plingeling) R 20101 20103 19933 0 -1 4202560 3241 1240 0 0 1775 0 0 1 25 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=20103/tid=20133] ppid=20101 vsize=1213476 CPUtime=17.77 cores=0-31
/proc/20103/task/20133/stat : 20133 (plingeling) R 20101 20103 19933 0 -1 4202560 5561 1240 0 0 1774 2 0 1 25 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4232598 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20103/tid=20134] ppid=20101 vsize=1213476 CPUtime=17.77 cores=0-31
/proc/20103/task/20134/stat : 20134 (plingeling) R 20101 20103 19933 0 -1 4202560 5507 1240 0 0 1775 1 0 1 25 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4236634 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=20103/tid=20135] ppid=20101 vsize=1213476 CPUtime=17.76 cores=0-31
/proc/20103/task/20135/stat : 20135 (plingeling) R 20101 20103 19933 0 -1 4202560 5544 1240 0 0 1773 2 0 1 25 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=20103/tid=20136] ppid=20101 vsize=1213476 CPUtime=17.77 cores=0-31
/proc/20103/task/20136/stat : 20136 (plingeling) R 20101 20103 19933 0 -1 4202560 1947 1240 0 0 1775 1 0 1 25 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20103/tid=20137] ppid=20101 vsize=1213476 CPUtime=17.67 cores=0-31
/proc/20103/task/20137/stat : 20137 (plingeling) R 20101 20103 19933 0 -1 4202560 5994 1240 0 0 1765 1 0 1 25 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4232612 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=20103/tid=20138] ppid=20101 vsize=1213476 CPUtime=17.75 cores=0-31
/proc/20103/task/20138/stat : 20138 (plingeling) R 20101 20103 19933 0 -1 4202560 4419 1240 0 0 1773 1 0 1 25 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20103/tid=20139] ppid=20101 vsize=1213476 CPUtime=17.78 cores=0-31
/proc/20103/task/20139/stat : 20139 (plingeling) R 20101 20103 19933 0 -1 4202560 3936 1240 0 0 1776 1 0 1 21 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4355827 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=20103/tid=20140] ppid=20101 vsize=1213476 CPUtime=17.75 cores=0-31
/proc/20103/task/20140/stat : 20140 (plingeling) R 20101 20103 19933 0 -1 4202560 3611 1240 0 0 1773 1 0 1 25 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=20103/tid=20141] ppid=20101 vsize=1213476 CPUtime=17.53 cores=0-31
/proc/20103/task/20141/stat : 20141 (plingeling) R 20101 20103 19933 0 -1 4202560 3356 1240 0 0 1751 1 0 1 25 0 33 0 668268953 1242599424 157043 268435456000 4194304 4417452 140733428887088 18446744073709551615 4308228 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 572.62
Current children cumulated vsize (KiB) 1213476

[startup+22.7007 s]
/proc/loadavg: 16.27 14.56 21.81 33/446 20141
/proc/meminfo: memFree=254893496/264257624 swapFree=67111528/67111528
[pid=20103] ppid=20101 vsize=1127536 CPUtime=578.86 cores=0-31
/proc/20103/stat : 20103 (plingeling) S 20101 20103 19933 0 -1 4202496 237942 1240 0 0 57807 78 0 1 17 0 4 0 668268503 1154596864 159380 268435456000 4194304 4417452 140733428887088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/20103/statm: 281884 159380 176 55 0 279770 0
[pid=20103/tid=20122] ppid=20101 vsize=1127536 CPUtime=18.18 cores=0-31
/proc/20103/task/20122/stat : 20122 (plingeling) R 20101 20103 19933 0 -1 4202560 3683 1240 0 0 1816 1 0 1 25 0 4 0 668268952 1154596864 159380 268435456000 4194304 4417452 140733428887088 18446744073709551615 4240001 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20103/tid=20130] ppid=20101 vsize=1127536 CPUtime=17.9 cores=0-31
/proc/20103/task/20130/stat : 20130 (plingeling) R 20101 20103 19933 0 -1 4202560 2654 1240 0 0 1788 1 0 1 25 0 4 0 668268953 1154596864 159380 268435456000 4194304 4417452 140733428887088 18446744073709551615 258650653246 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20103/tid=20141] ppid=20101 vsize=1127536 CPUtime=17.92 cores=0-31
/proc/20103/task/20141/stat : 20141 (plingeling) R 20101 20103 19933 0 -1 4202560 4380 1240 0 0 1790 1 0 1 25 0 4 0 668268953 1154596864 159380 268435456000 4194304 4417452 140733428887088 18446744073709551615 4253481 0 0 4096 17442 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 578.86
Current children cumulated vsize (KiB) 1127536

[startup+22.9007 s]
/proc/loadavg: 16.27 14.56 21.81 33/446 20141
/proc/meminfo: memFree=254893496/264257624 swapFree=67111528/67111528
[pid=20103] ppid=20101 vsize=1132736 CPUtime=579.44 cores=0-31
/proc/20103/stat : 20103 (plingeling) S 20101 20103 19933 0 -1 4202496 239755 1240 0 0 57865 78 0 1 17 0 3 0 668268503 1159921664 161191 268435456000 4194304 4417452 140733428887088 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/20103/statm: 283184 161191 176 55 0 281070 0
[pid=20103/tid=20122] ppid=20101 vsize=1132736 CPUtime=18.38 cores=0-31
/proc/20103/task/20122/stat : 20122 (plingeling) R 20101 20103 19933 0 -1 4202560 4707 1240 0 0 1836 1 0 1 25 0 3 0 668268952 1159921664 161191 268435456000 4194304 4417452 140733428887088 18446744073709551615 4239395 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20103/tid=20130] ppid=20101 vsize=1132736 CPUtime=18.1 cores=0-31
/proc/20103/task/20130/stat : 20130 (plingeling) R 20101 20103 19933 0 -1 4202560 3165 1240 0 0 1808 1 0 1 25 0 3 0 668268953 1159921664 161191 268435456000 4194304 4417452 140733428887088 18446744073709551615 4249870 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 579.44
Current children cumulated vsize (KiB) 1132736

[startup+23.0008 s]
/proc/loadavg: 15.29 14.38 21.72 2/414 20141
/proc/meminfo: memFree=255255500/264257624 swapFree=67111528/67111528
[pid=20103] ppid=20101 vsize=562888 CPUtime=579.59 cores=0-31
/proc/20103/stat : 20103 (plingeling) R 20101 20103 19933 0 -1 4202496 239755 1240 0 0 57873 85 0 1 15 0 1 0 668268503 576397312 29124 268435456000 4194304 4417452 140733428887088 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/20103/statm: 140722 29124 176 55 0 138608 0
Current children cumulated CPU time (s) 579.59
Current children cumulated vsize (KiB) 562888

Child status: 20
Real time (s): 23.0358
CPU time (s): 579.616
CPU user time (s): 578.737
CPU system time (s): 0.878866
CPU usage (%): 2516.15
Max. virtual memory (cumulated for all children) (KiB): 1213476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 578.737
system time used= 0.878866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240999
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= 2745
involuntary context switches= 1426

runsolver used 0.13098 second user time and 0.548916 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-16 19:43:41
IDJOB=3372363
IDBENCH=71718
IDSOLVER=1852
FILE ID=node200/3372363-1305567820
RUNJOBID= node200-1305567255-19947
PBS_JOBID= 13285551
Free space on /tmp= 62044 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372363-1305567820/watcher-3372363-1305567820 -o /tmp/evaluation-result-3372363-1305567820/solver-3372363-1305567820 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372363-1305567820.cnf

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

MD5SUM BENCH= d986f0b849e7c714ed5d3a26373567af
RANDOM SEED=1387600660

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:      255523492 kB
Buffers:        445592 kB
Cached:        7872724 kB
SwapCached:          0 kB
Active:        7399552 kB
Inactive:       991508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255523492 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5948 kB
Writeback:           0 kB
AnonPages:       73068 kB
Mapped:          14508 kB
Slab:           251376 kB
PageTables:       4480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   195136 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62044 MiB
End job on node200 at 2011-05-16 19:44:04