Trace number 3372228

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)? (TO) 160004 5011.65

General information on the benchmark

NameAPPLICATIONS/bitverif/
countbitssrl/countbitssrl064.cnf
MD5SUM4f9c883534eb89cad9b9cad9e6eccbd0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables75103
Number of clauses225116
Sum of the clauses size525268
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2150076
Number of clauses of size 375038
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3372228-1305492993/watcher-3372228-1305492993 -o /tmp/evaluation-result-3372228-1305492993/solver-3372228-1305492993 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372228-1305492993.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.26 31.05 31.75 1/413 14027
/proc/meminfo: memFree=255578136/264257624 swapFree=67111528/67111528
[pid=14027] ppid=14025 vsize=12128 CPUtime=0.03 cores=0-31
/proc/14027/stat : 14027 (plingeling) R 14025 14027 14001 0 -1 4202496 1121 1240 0 0 2 0 0 1 21 0 1 0 660785739 12419072 1052 268435456000 4194304 4417452 140735412408208 18446744073709551615 4259183 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14027/statm: 3032 1052 145 55 0 918 0

[startup+0.0433859 s]
/proc/loadavg: 27.26 31.05 31.75 1/413 14027
/proc/meminfo: memFree=255578136/264257624 swapFree=67111528/67111528
[pid=14027] ppid=14025 vsize=13364 CPUtime=0.04 cores=0-31
/proc/14027/stat : 14027 (plingeling) R 14025 14027 14001 0 -1 4202496 1405 1240 0 0 3 0 0 1 21 0 1 0 660785739 13684736 1336 268435456000 4194304 4417452 140735412408208 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14027/statm: 3341 1336 145 55 0 1227 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13364

[startup+0.100398 s]
/proc/loadavg: 27.26 31.05 31.75 1/413 14027
/proc/meminfo: memFree=255578136/264257624 swapFree=67111528/67111528
[pid=14027] ppid=14025 vsize=18932 CPUtime=0.09 cores=0-31
/proc/14027/stat : 14027 (plingeling) R 14025 14027 14001 0 -1 4202496 2800 1240 0 0 8 0 0 1 21 0 1 0 660785739 19386368 2731 268435456000 4194304 4417452 140735412408208 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14027/statm: 4733 2731 145 55 0 2619 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18932

[startup+0.300389 s]
/proc/loadavg: 27.26 31.05 31.75 1/413 14027
/proc/meminfo: memFree=255578136/264257624 swapFree=67111528/67111528
[pid=14027] ppid=14025 vsize=37304 CPUtime=0.29 cores=0-31
/proc/14027/stat : 14027 (plingeling) R 14025 14027 14001 0 -1 4202496 7416 1240 0 0 27 1 0 1 22 0 1 0 660785739 38199296 7347 268435456000 4194304 4417452 140735412408208 18446744073709551615 4209661 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14027/statm: 9326 7347 146 55 0 7212 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37304

[startup+0.700453 s]
/proc/loadavg: 27.26 31.05 31.75 1/413 14027
/proc/meminfo: memFree=255578136/264257624 swapFree=67111528/67111528
[pid=14027] ppid=14025 vsize=64540 CPUtime=0.69 cores=0-31
/proc/14027/stat : 14027 (plingeling) R 14025 14027 14001 0 -1 4202496 14209 1240 0 0 65 3 0 1 23 0 1 0 660785739 66088960 14140 268435456000 4194304 4417452 140735412408208 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14027/statm: 16135 14140 146 55 0 14021 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64540

[startup+1.50044 s]
/proc/loadavg: 27.26 31.05 31.75 2/414 14033
/proc/meminfo: memFree=255504588/264257624 swapFree=67111528/67111528
[pid=14027] ppid=14025 vsize=152220 CPUtime=1.49 cores=0-31
/proc/14027/stat : 14027 (plingeling) R 14025 14027 14001 0 -1 4202496 36145 1240 0 0 141 7 0 1 25 0 1 0 660785739 155873280 36076 268435456000 4194304 4417452 140735412408208 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14027/statm: 38055 36076 146 55 0 35941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152220

[startup+3.10054 s]
/proc/loadavg: 27.26 31.05 31.75 2/414 14033
/proc/meminfo: memFree=255358284/264257624 swapFree=67111528/67111528
[pid=14027] ppid=14025 vsize=292076 CPUtime=3.1 cores=0-31
/proc/14027/stat : 14027 (plingeling) R 14025 14027 14001 0 -1 4202496 71110 1240 0 0 295 14 0 1 25 0 1 0 660785739 299085824 71040 268435456000 4194304 4417452 140735412408208 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/14027/statm: 73019 71040 146 55 0 70905 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 292076

[startup+6.30147 s]
/proc/loadavg: 25.16 30.55 31.59 33/446 14067
/proc/meminfo: memFree=255053568/264257624 swapFree=67111528/67111528
[pid=14027] ppid=14025 vsize=1170760 CPUtime=67.38 cores=0-31
/proc/14027/stat : 14027 (plingeling) S 14025 14027 14001 0 -1 4202496 258255 1240 0 0 6529 208 0 1 19 0 33 0 660785739 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/14027/statm: 292690 121488 170 55 0 290576 0
[pid=14027/tid=14034] ppid=14025 vsize=1170760 CPUtime=2 cores=0-31
/proc/14027/task/14034/stat : 14034 (plingeling) R 14025 14027 14001 0 -1 4202560 5365 1240 0 0 192 7 0 1 25 0 33 0 660786165 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=14027/tid=14035] ppid=14025 vsize=1170760 CPUtime=1.98 cores=0-31
/proc/14027/task/14035/stat : 14035 (plingeling) R 14025 14027 14001 0 -1 4202560 5152 1240 0 0 192 5 0 1 18 0 33 0 660786165 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=14027/tid=14036] ppid=14025 vsize=1170760 CPUtime=1.97 cores=0-31
/proc/14027/task/14036/stat : 14036 (plingeling) R 14025 14027 14001 0 -1 4202560 4230 1240 0 0 192 4 0 1 25 0 33 0 660786165 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=14027/tid=14037] ppid=14025 vsize=1170760 CPUtime=1.92 cores=0-31
/proc/14027/task/14037/stat : 14037 (plingeling) R 14025 14027 14001 0 -1 4202560 2719 1240 0 0 186 5 0 1 24 0 33 0 660786165 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4232787 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=14027/tid=14038] ppid=14025 vsize=1170760 CPUtime=1.99 cores=0-31
/proc/14027/task/14038/stat : 14038 (plingeling) R 14025 14027 14001 0 -1 4202560 3722 1240 0 0 194 4 0 1 20 0 33 0 660786166 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=14027/tid=14039] ppid=14025 vsize=1170760 CPUtime=1.97 cores=0-31
/proc/14027/task/14039/stat : 14039 (plingeling) R 14025 14027 14001 0 -1 4202560 5073 1240 0 0 192 4 0 1 18 0 33 0 660786166 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=14027/tid=14040] ppid=14025 vsize=1170760 CPUtime=1.99 cores=0-31
/proc/14027/task/14040/stat : 14040 (plingeling) R 14025 14027 14001 0 -1 4202560 3376 1240 0 0 192 6 0 1 25 0 33 0 660786166 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=14027/tid=14041] ppid=14025 vsize=1170760 CPUtime=1.99 cores=0-31
/proc/14027/task/14041/stat : 14041 (plingeling) R 14025 14027 14001 0 -1 4202560 3097 1240 0 0 192 6 0 1 20 0 33 0 660786166 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4288920 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=14027/tid=14042] ppid=14025 vsize=1170760 CPUtime=1.96 cores=0-31
/proc/14027/task/14042/stat : 14042 (plingeling) D 14025 14027 14001 0 -1 4202560 2800 1240 0 0 192 3 0 1 25 0 33 0 660786166 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14027/tid=14043] ppid=14025 vsize=1170760 CPUtime=2 cores=0-31
/proc/14027/task/14043/stat : 14043 (plingeling) R 14025 14027 14001 0 -1 4202560 3457 1240 0 0 195 4 0 1 25 0 33 0 660786166 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=14027/tid=14044] ppid=14025 vsize=1170760 CPUtime=1.99 cores=0-31
/proc/14027/task/14044/stat : 14044 (plingeling) R 14025 14027 14001 0 -1 4202560 7448 1240 0 0 191 7 0 1 20 0 33 0 660786166 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14027/tid=14045] ppid=14025 vsize=1170760 CPUtime=1.99 cores=0-31
/proc/14027/task/14045/stat : 14045 (plingeling) R 14025 14027 14001 0 -1 4202560 3208 1240 0 0 193 5 0 1 20 0 33 0 660786166 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14027/tid=14046] ppid=14025 vsize=1170760 CPUtime=2 cores=0-31
/proc/14027/task/14046/stat : 14046 (plingeling) R 14025 14027 14001 0 -1 4202560 3227 1240 0 0 196 3 0 1 21 0 33 0 660786166 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4284512 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=14027/tid=14047] ppid=14025 vsize=1170760 CPUtime=2 cores=0-31
/proc/14027/task/14047/stat : 14047 (plingeling) R 14025 14027 14001 0 -1 4202560 6065 1240 0 0 192 7 0 1 25 0 33 0 660786166 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4284992 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=14027/tid=14048] ppid=14025 vsize=1170760 CPUtime=2 cores=0-31
/proc/14027/task/14048/stat : 14048 (plingeling) R 14025 14027 14001 0 -1 4202560 7315 1240 0 0 193 6 0 1 25 0 33 0 660786166 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=14027/tid=14049] ppid=14025 vsize=1170760 CPUtime=1.99 cores=0-31
/proc/14027/task/14049/stat : 14049 (plingeling) R 14025 14027 14001 0 -1 4202560 6004 1240 0 0 191 7 0 1 20 0 33 0 660786166 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14027/tid=14050] ppid=14025 vsize=1170760 CPUtime=2 cores=0-31
/proc/14027/task/14050/stat : 14050 (plingeling) R 14025 14027 14001 0 -1 4202560 4586 1240 0 0 194 5 0 1 20 0 33 0 660786167 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4287486 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=14027/tid=14051] ppid=14025 vsize=1170760 CPUtime=1.95 cores=0-31
/proc/14027/task/14051/stat : 14051 (plingeling) R 14025 14027 14001 0 -1 4202560 5659 1240 0 0 190 4 0 1 20 0 33 0 660786167 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4277621 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=14027/tid=14052] ppid=14025 vsize=1170760 CPUtime=1.98 cores=0-31
/proc/14027/task/14052/stat : 14052 (plingeling) R 14025 14027 14001 0 -1 4202560 5397 1240 0 0 191 6 0 1 25 0 33 0 660786167 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4265937 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=14027/tid=14053] ppid=14025 vsize=1170760 CPUtime=1.99 cores=0-31
/proc/14027/task/14053/stat : 14053 (plingeling) R 14025 14027 14001 0 -1 4202560 4959 1240 0 0 194 4 0 1 20 0 33 0 660786167 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=14027/tid=14054] ppid=14025 vsize=1170760 CPUtime=2 cores=0-31
/proc/14027/task/14054/stat : 14054 (plingeling) R 14025 14027 14001 0 -1 4202560 3560 1240 0 0 192 7 0 1 20 0 33 0 660786167 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4290744 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=14027/tid=14055] ppid=14025 vsize=1170760 CPUtime=1.99 cores=0-31
/proc/14027/task/14055/stat : 14055 (plingeling) R 14025 14027 14001 0 -1 4202560 4291 1240 0 0 194 4 0 1 20 0 33 0 660786167 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4284512 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=14027/tid=14056] ppid=14025 vsize=1170760 CPUtime=1.96 cores=0-31
/proc/14027/task/14056/stat : 14056 (plingeling) D 14025 14027 14001 0 -1 4202560 7548 1240 0 0 189 6 0 1 25 0 33 0 660786167 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 258650999383 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=14027/tid=14057] ppid=14025 vsize=1170760 CPUtime=1.98 cores=0-31
/proc/14027/task/14057/stat : 14057 (plingeling) R 14025 14027 14001 0 -1 4202560 4178 1240 0 0 190 7 0 1 20 0 33 0 660786168 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=14027/tid=14058] ppid=14025 vsize=1170760 CPUtime=1.97 cores=0-31
/proc/14027/task/14058/stat : 14058 (plingeling) R 14025 14027 14001 0 -1 4202560 4349 1240 0 0 191 5 0 1 25 0 33 0 660786168 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4287606 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=14027/tid=14059] ppid=14025 vsize=1170760 CPUtime=1.98 cores=0-31
/proc/14027/task/14059/stat : 14059 (plingeling) R 14025 14027 14001 0 -1 4202560 3799 1240 0 0 192 5 0 1 20 0 33 0 660786168 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4276575 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=14027/tid=14060] ppid=14025 vsize=1170760 CPUtime=1.96 cores=0-31
/proc/14027/task/14060/stat : 14060 (plingeling) R 14025 14027 14001 0 -1 4202560 3456 1240 0 0 188 7 0 1 20 0 33 0 660786168 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4277491 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=14027/tid=14061] ppid=14025 vsize=1170760 CPUtime=1.96 cores=0-31
/proc/14027/task/14061/stat : 14061 (plingeling) R 14025 14027 14001 0 -1 4202560 6874 1240 0 0 190 5 0 1 25 0 33 0 660786169 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4288172 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=14027/tid=14062] ppid=14025 vsize=1170760 CPUtime=1.92 cores=0-31
/proc/14027/task/14062/stat : 14062 (plingeling) R 14025 14027 14001 0 -1 4202560 4269 1240 0 0 186 5 0 1 20 0 33 0 660786169 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=14027/tid=14063] ppid=14025 vsize=1170760 CPUtime=1.91 cores=0-31
/proc/14027/task/14063/stat : 14063 (plingeling) R 14025 14027 14001 0 -1 4202560 4355 1240 0 0 186 4 0 1 25 0 33 0 660786169 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4292493 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=14027/tid=14064] ppid=14025 vsize=1170760 CPUtime=1.97 cores=0-31
/proc/14027/task/14064/stat : 14064 (plingeling) R 14025 14027 14001 0 -1 4202560 5264 1240 0 0 192 4 0 1 25 0 33 0 660786169 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4287606 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=14027/tid=14065] ppid=14025 vsize=1170760 CPUtime=1.8 cores=0-31
/proc/14027/task/14065/stat : 14065 (plingeling) R 14025 14027 14001 0 -1 4202560 4552 1240 0 0 175 4 0 1 20 0 33 0 660786169 1198858240 121488 268435456000 4194304 4417452 140735412408208 18446744073709551615 4287169 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 67.38
Current children cumulated vsize (KiB) 1170760

[startup+12.7017 s]
/proc/loadavg: 25.71 30.58 31.59 33/446 14067
/proc/meminfo: memFree=254849680/264257624 swapFree=67111528/67111528
[pid=14027] ppid=14025 vsize=1366736 CPUtime=269.1 cores=0-31
/proc/14027/stat : 14027 (plingeling) S 14025 14027 14001 0 -1 4202496 361969 1240 0 0 26598 311 0 1 19 0 33 0 660785739 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/14027/statm: 341684 174807 174 55 0 339570 0
[pid=14027/tid=14034] ppid=14025 vsize=1366736 CPUtime=8.31 cores=0-31
/proc/14027/task/14034/stat : 14034 (plingeling) R 14025 14027 14001 0 -1 4202560 10033 1240 0 0 819 11 0 1 25 0 33 0 660786165 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4252507 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=14027/tid=14035] ppid=14025 vsize=1366736 CPUtime=8.26 cores=0-31
/proc/14027/task/14035/stat : 14035 (plingeling) R 14025 14027 14001 0 -1 4202560 7717 1240 0 0 817 8 0 1 25 0 33 0 660786165 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4252349 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=14027/tid=14036] ppid=14025 vsize=1366736 CPUtime=8.17 cores=0-31
/proc/14027/task/14036/stat : 14036 (plingeling) R 14025 14027 14001 0 -1 4202560 6597 1240 0 0 808 8 0 1 25 0 33 0 660786165 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4352402 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=14027/tid=14037] ppid=14025 vsize=1366736 CPUtime=8.32 cores=0-31
/proc/14027/task/14037/stat : 14037 (plingeling) R 14025 14027 14001 0 -1 4202560 2719 1240 0 0 826 5 0 1 25 0 33 0 660786165 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364809 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=14027/tid=14038] ppid=14025 vsize=1366736 CPUtime=8.23 cores=0-31
/proc/14027/task/14038/stat : 14038 (plingeling) R 14025 14027 14001 0 -1 4202560 5264 1240 0 0 814 8 0 1 25 0 33 0 660786166 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4273657 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=14027/tid=14039] ppid=14025 vsize=1366736 CPUtime=8.3 cores=0-31
/proc/14027/task/14039/stat : 14039 (plingeling) R 14025 14027 14001 0 -1 4202560 9876 1240 0 0 822 7 0 1 25 0 33 0 660786166 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4258161 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=14027/tid=14040] ppid=14025 vsize=1366736 CPUtime=8.35 cores=0-31
/proc/14027/task/14040/stat : 14040 (plingeling) R 14025 14027 14001 0 -1 4202560 5344 1240 0 0 824 10 0 1 25 0 33 0 660786166 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4237180 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=14027/tid=14041] ppid=14025 vsize=1366736 CPUtime=8.33 cores=0-31
/proc/14027/task/14041/stat : 14041 (plingeling) R 14025 14027 14001 0 -1 4202560 5748 1240 0 0 823 9 0 1 25 0 33 0 660786166 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4252053 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=14027/tid=14042] ppid=14025 vsize=1366736 CPUtime=8.34 cores=0-31
/proc/14027/task/14042/stat : 14042 (plingeling) R 14025 14027 14001 0 -1 4202560 6745 1240 0 0 826 7 0 1 25 0 33 0 660786166 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4248866 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14027/tid=14043] ppid=14025 vsize=1366736 CPUtime=8.33 cores=0-31
/proc/14027/task/14043/stat : 14043 (plingeling) R 14025 14027 14001 0 -1 4202560 7261 1240 0 0 824 8 0 1 25 0 33 0 660786166 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4252316 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=14027/tid=14044] ppid=14025 vsize=1366736 CPUtime=8.21 cores=0-31
/proc/14027/task/14044/stat : 14044 (plingeling) R 14025 14027 14001 0 -1 4202560 8856 1240 0 0 807 13 0 1 25 0 33 0 660786166 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4236820 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14027/tid=14045] ppid=14025 vsize=1366736 CPUtime=8.3 cores=0-31
/proc/14027/task/14045/stat : 14045 (plingeling) R 14025 14027 14001 0 -1 4202560 5346 1240 0 0 819 10 0 1 25 0 33 0 660786166 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4253296 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14027/tid=14046] ppid=14025 vsize=1366736 CPUtime=8.36 cores=0-31
/proc/14027/task/14046/stat : 14046 (plingeling) R 14025 14027 14001 0 -1 4202560 5537 1240 0 0 828 7 0 1 25 0 33 0 660786166 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4257666 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=14027/tid=14047] ppid=14025 vsize=1366736 CPUtime=8.27 cores=0-31
/proc/14027/task/14047/stat : 14047 (plingeling) R 14025 14027 14001 0 -1 4202560 15035 1240 0 0 815 11 0 1 25 0 33 0 660786166 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4271568 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=14027/tid=14048] ppid=14025 vsize=1366736 CPUtime=8.22 cores=0-31
/proc/14027/task/14048/stat : 14048 (plingeling) R 14025 14027 14001 0 -1 4202560 10218 1240 0 0 810 11 0 1 25 0 33 0 660786166 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 258650649801 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=14027/tid=14049] ppid=14025 vsize=1366736 CPUtime=8.31 cores=0-31
/proc/14027/task/14049/stat : 14049 (plingeling) R 14025 14027 14001 0 -1 4202560 12328 1240 0 0 818 12 0 1 25 0 33 0 660786166 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4252056 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14027/tid=14050] ppid=14025 vsize=1366736 CPUtime=8.28 cores=0-31
/proc/14027/task/14050/stat : 14050 (plingeling) R 14025 14027 14001 0 -1 4202560 7063 1240 0 0 819 8 0 1 25 0 33 0 660786167 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4252140 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=14027/tid=14051] ppid=14025 vsize=1366736 CPUtime=8.34 cores=0-31
/proc/14027/task/14051/stat : 14051 (plingeling) R 14025 14027 14001 0 -1 4202560 7713 1240 0 0 826 7 0 1 25 0 33 0 660786167 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4248198 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=14027/tid=14052] ppid=14025 vsize=1366736 CPUtime=8.2 cores=0-31
/proc/14027/task/14052/stat : 14052 (plingeling) R 14025 14027 14001 0 -1 4202560 6421 1240 0 0 810 9 0 1 25 0 33 0 660786167 1399537664 174807 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=14027/tid=14053] ppid=14025 vsize=1366736 CPUtime=8.33 cores=0-31

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

[pid=14027/tid=14034] ppid=14025 vsize=4376544 CPUtime=4949.76 cores=0-31
/proc/14027/task/14034/stat : 14034 (plingeling) R 14025 14027 14001 0 -1 4202560 509184 1240 0 0 494335 640 0 1 25 0 33 0 660786165 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=14027/tid=14035] ppid=14025 vsize=4376544 CPUtime=4954.09 cores=0-31
/proc/14027/task/14035/stat : 14035 (plingeling) R 14025 14027 14001 0 -1 4202560 543577 1240 0 0 494664 744 0 1 25 0 33 0 660786165 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4366362 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=14027/tid=14036] ppid=14025 vsize=4376544 CPUtime=4952.28 cores=0-31
/proc/14027/task/14036/stat : 14036 (plingeling) R 14025 14027 14001 0 -1 4202560 523301 1240 0 0 494604 623 0 1 25 0 33 0 660786165 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4365023 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=14027/tid=14037] ppid=14025 vsize=4376544 CPUtime=4945.85 cores=0-31
/proc/14027/task/14037/stat : 14037 (plingeling) R 14025 14027 14001 0 -1 4202560 653664 1240 0 0 493705 879 0 1 25 0 33 0 660786165 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4251048 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=14027/tid=14038] ppid=14025 vsize=4376544 CPUtime=4953 cores=0-31
/proc/14027/task/14038/stat : 14038 (plingeling) R 14025 14027 14001 0 -1 4202560 521688 1240 0 0 494677 622 0 1 25 0 33 0 660786166 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=14027/tid=14039] ppid=14025 vsize=4376544 CPUtime=4949.71 cores=0-31
/proc/14027/task/14039/stat : 14039 (plingeling) R 14025 14027 14001 0 -1 4202560 519374 1240 0 0 494250 720 0 1 25 0 33 0 660786166 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14027/tid=14040] ppid=14025 vsize=4376544 CPUtime=4954.26 cores=0-31
/proc/14027/task/14040/stat : 14040 (plingeling) R 14025 14027 14001 0 -1 4202560 506828 1240 0 0 494781 644 0 1 25 0 33 0 660786166 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=14027/tid=14041] ppid=14025 vsize=4376544 CPUtime=4954.68 cores=0-31
/proc/14027/task/14041/stat : 14041 (plingeling) R 14025 14027 14001 0 -1 4202560 545500 1240 0 0 494806 661 0 1 25 0 33 0 660786166 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=14027/tid=14042] ppid=14025 vsize=4376544 CPUtime=4954.12 cores=0-31
/proc/14027/task/14042/stat : 14042 (plingeling) R 14025 14027 14001 0 -1 4202560 353369 1240 0 0 494996 415 0 1 25 0 33 0 660786166 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=14027/tid=14043] ppid=14025 vsize=4376544 CPUtime=4954.67 cores=0-31
/proc/14027/task/14043/stat : 14043 (plingeling) R 14025 14027 14001 0 -1 4202560 419372 1240 0 0 494922 544 0 1 25 0 33 0 660786166 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4355830 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14027/tid=14044] ppid=14025 vsize=4376544 CPUtime=4944.18 cores=0-31
/proc/14027/task/14044/stat : 14044 (plingeling) R 14025 14027 14001 0 -1 4202560 585148 1240 0 0 493740 677 0 1 25 0 33 0 660786166 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364735 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=14027/tid=14045] ppid=14025 vsize=4376544 CPUtime=4956.59 cores=0-31
/proc/14027/task/14045/stat : 14045 (plingeling) R 14025 14027 14001 0 -1 4202560 360451 1240 0 0 495236 422 0 1 25 0 33 0 660786166 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=14027/tid=14046] ppid=14025 vsize=4376544 CPUtime=4953.1 cores=0-31
/proc/14027/task/14046/stat : 14046 (plingeling) R 14025 14027 14001 0 -1 4202560 585008 1240 0 0 494590 719 0 1 25 0 33 0 660786166 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=14027/tid=14047] ppid=14025 vsize=4376544 CPUtime=4941.55 cores=0-31
/proc/14027/task/14047/stat : 14047 (plingeling) R 14025 14027 14001 0 -1 4202560 609785 1240 0 0 493367 787 0 1 25 0 33 0 660786166 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4277945 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=14027/tid=14048] ppid=14025 vsize=4376544 CPUtime=4954.04 cores=0-31
/proc/14027/task/14048/stat : 14048 (plingeling) R 14025 14027 14001 0 -1 4202560 400026 1240 0 0 494973 430 0 1 25 0 33 0 660786166 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=14027/tid=14049] ppid=14025 vsize=4376544 CPUtime=4936.51 cores=0-31
/proc/14027/task/14049/stat : 14049 (plingeling) R 14025 14027 14001 0 -1 4202560 436199 1240 0 0 493113 537 0 1 25 0 33 0 660786166 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=14027/tid=14050] ppid=14025 vsize=4376544 CPUtime=4955.6 cores=0-31
/proc/14027/task/14050/stat : 14050 (plingeling) R 14025 14027 14001 0 -1 4202560 473574 1240 0 0 494943 616 0 1 25 0 33 0 660786167 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=14027/tid=14051] ppid=14025 vsize=4376544 CPUtime=4949.86 cores=0-31
/proc/14027/task/14051/stat : 14051 (plingeling) R 14025 14027 14001 0 -1 4202560 506622 1240 0 0 494608 377 0 1 25 0 33 0 660786167 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364508 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=14027/tid=14052] ppid=14025 vsize=4376544 CPUtime=4952.39 cores=0-31
/proc/14027/task/14052/stat : 14052 (plingeling) R 14025 14027 14001 0 -1 4202560 597700 1240 0 0 494451 787 0 1 25 0 33 0 660786167 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=14027/tid=14053] ppid=14025 vsize=4376544 CPUtime=4943.58 cores=0-31
/proc/14027/task/14053/stat : 14053 (plingeling) R 14025 14027 14001 0 -1 4202560 517358 1240 0 0 493676 681 0 1 25 0 33 0 660786167 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=14027/tid=14054] ppid=14025 vsize=4376544 CPUtime=4951.64 cores=0-31
/proc/14027/task/14054/stat : 14054 (plingeling) R 14025 14027 14001 0 -1 4202560 511445 1240 0 0 494546 617 0 1 25 0 33 0 660786167 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4232664 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=14027/tid=14055] ppid=14025 vsize=4376544 CPUtime=4952.36 cores=0-31
/proc/14027/task/14055/stat : 14055 (plingeling) R 14025 14027 14001 0 -1 4202560 514800 1240 0 0 494578 657 0 1 25 0 33 0 660786167 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=14027/tid=14056] ppid=14025 vsize=4376544 CPUtime=4955.52 cores=0-31
/proc/14027/task/14056/stat : 14056 (plingeling) R 14025 14027 14001 0 -1 4202560 490935 1240 0 0 494919 632 0 1 25 0 33 0 660786167 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14027/tid=14057] ppid=14025 vsize=4376544 CPUtime=4953.78 cores=0-31
/proc/14027/task/14057/stat : 14057 (plingeling) R 14025 14027 14001 0 -1 4202560 504758 1240 0 0 494710 667 0 1 25 0 33 0 660786168 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=14027/tid=14058] ppid=14025 vsize=4376544 CPUtime=4953.06 cores=0-31
/proc/14027/task/14058/stat : 14058 (plingeling) R 14025 14027 14001 0 -1 4202560 545200 1240 0 0 494604 701 0 1 25 0 33 0 660786168 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=14027/tid=14059] ppid=14025 vsize=4376544 CPUtime=4955.2 cores=0-31
/proc/14027/task/14059/stat : 14059 (plingeling) R 14025 14027 14001 0 -1 4202560 433838 1240 0 0 495077 442 0 1 25 0 33 0 660786168 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=14027/tid=14060] ppid=14025 vsize=4376544 CPUtime=4951 cores=0-31
/proc/14027/task/14060/stat : 14060 (plingeling) R 14025 14027 14001 0 -1 4202560 508772 1240 0 0 494482 617 0 1 25 0 33 0 660786168 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=14027/tid=14061] ppid=14025 vsize=4376544 CPUtime=4951.86 cores=0-31
/proc/14027/task/14061/stat : 14061 (plingeling) R 14025 14027 14001 0 -1 4202560 492797 1240 0 0 494587 598 0 1 25 0 33 0 660786169 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14027/tid=14062] ppid=14025 vsize=4376544 CPUtime=4954.81 cores=0-31
/proc/14027/task/14062/stat : 14062 (plingeling) R 14025 14027 14001 0 -1 4202560 336446 1240 0 0 495042 438 0 1 25 0 33 0 660786169 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=14027/tid=14063] ppid=14025 vsize=4376544 CPUtime=4955.95 cores=0-31
/proc/14027/task/14063/stat : 14063 (plingeling) R 14025 14027 14001 0 -1 4202560 540827 1240 0 0 494818 776 0 1 25 0 33 0 660786169 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=14027/tid=14064] ppid=14025 vsize=4376544 CPUtime=4953.65 cores=0-31
/proc/14027/task/14064/stat : 14064 (plingeling) R 14025 14027 14001 0 -1 4202560 491955 1240 0 0 494792 572 0 1 25 0 33 0 660786169 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=14027/tid=14065] ppid=14025 vsize=4376544 CPUtime=4933.99 cores=0-31
/proc/14027/task/14065/stat : 14065 (plingeling) R 14025 14027 14001 0 -1 4202560 663797 1240 0 0 492664 734 0 1 25 0 33 0 660786169 4481581056 931794 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 158437
Current children cumulated vsize (KiB) 4376544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5011.3 s]
/proc/loadavg: 32.15 32.11 32.04 33/446 14220
/proc/meminfo: memFree=252069924/264257624 swapFree=67111528/67111528
[pid=14027] ppid=14025 vsize=4158232 CPUtime=160004 cores=0-31
/proc/14027/stat : 14027 (plingeling) S 14025 14027 14001 0 -1 4202496 16481468 1240 0 0 15980181 20169 0 1 19 0 33 0 660785739 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/14027/statm: 1039558 876397 175 55 0 1037444 0
[pid=14027/tid=14034] ppid=14025 vsize=4158232 CPUtime=4998.77 cores=0-31
/proc/14027/task/14034/stat : 14034 (plingeling) R 14025 14027 14001 0 -1 4202560 514959 1240 0 0 499233 643 0 1 25 0 33 0 660786165 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=14027/tid=14035] ppid=14025 vsize=4158232 CPUtime=5003.05 cores=0-31
/proc/14027/task/14035/stat : 14035 (plingeling) R 14025 14027 14001 0 -1 4202560 546121 1240 0 0 499557 747 0 1 25 0 33 0 660786165 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=14027/tid=14036] ppid=14025 vsize=4158232 CPUtime=5001.26 cores=0-31
/proc/14027/task/14036/stat : 14036 (plingeling) R 14025 14027 14001 0 -1 4202560 529871 1240 0 0 499489 636 0 1 25 0 33 0 660786165 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=14027/tid=14037] ppid=14025 vsize=4158232 CPUtime=4994.84 cores=0-31
/proc/14027/task/14037/stat : 14037 (plingeling) R 14025 14027 14001 0 -1 4202560 692936 1240 0 0 498595 888 0 1 25 0 33 0 660786165 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=14027/tid=14038] ppid=14025 vsize=4158232 CPUtime=5002 cores=0-31
/proc/14027/task/14038/stat : 14038 (plingeling) R 14025 14027 14001 0 -1 4202560 524942 1240 0 0 499575 624 0 1 25 0 33 0 660786166 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4355860 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=14027/tid=14039] ppid=14025 vsize=4158232 CPUtime=4998.72 cores=0-31
/proc/14027/task/14039/stat : 14039 (plingeling) R 14025 14027 14001 0 -1 4202560 525770 1240 0 0 499139 732 0 1 25 0 33 0 660786166 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14027/tid=14040] ppid=14025 vsize=4158232 CPUtime=5003.27 cores=0-31
/proc/14027/task/14040/stat : 14040 (plingeling) R 14025 14027 14001 0 -1 4202560 512322 1240 0 0 499673 653 0 1 25 0 33 0 660786166 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=14027/tid=14041] ppid=14025 vsize=4158232 CPUtime=5003.7 cores=0-31
/proc/14027/task/14041/stat : 14041 (plingeling) R 14025 14027 14001 0 -1 4202560 547378 1240 0 0 499707 662 0 1 25 0 33 0 660786166 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=14027/tid=14042] ppid=14025 vsize=4158232 CPUtime=5003.14 cores=0-31
/proc/14027/task/14042/stat : 14042 (plingeling) R 14025 14027 14001 0 -1 4202560 353379 1240 0 0 499898 415 0 1 25 0 33 0 660786166 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=14027/tid=14043] ppid=14025 vsize=4158232 CPUtime=5003.68 cores=0-31
/proc/14027/task/14043/stat : 14043 (plingeling) R 14025 14027 14001 0 -1 4202560 419372 1240 0 0 499823 544 0 1 25 0 33 0 660786166 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14027/tid=14044] ppid=14025 vsize=4158232 CPUtime=4993.2 cores=0-31
/proc/14027/task/14044/stat : 14044 (plingeling) R 14025 14027 14001 0 -1 4202560 587535 1240 0 0 498640 679 0 1 25 0 33 0 660786166 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=14027/tid=14045] ppid=14025 vsize=4158232 CPUtime=5005.61 cores=0-31
/proc/14027/task/14045/stat : 14045 (plingeling) R 14025 14027 14001 0 -1 4202560 371607 1240 0 0 500118 442 0 1 25 0 33 0 660786166 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=14027/tid=14046] ppid=14025 vsize=4158232 CPUtime=5002.01 cores=0-31
/proc/14027/task/14046/stat : 14046 (plingeling) R 14025 14027 14001 0 -1 4202560 594605 1240 0 0 499467 733 0 1 25 0 33 0 660786166 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=14027/tid=14047] ppid=14025 vsize=4158232 CPUtime=4990.55 cores=0-31
/proc/14027/task/14047/stat : 14047 (plingeling) R 14025 14027 14001 0 -1 4202560 613596 1240 0 0 498258 796 0 1 25 0 33 0 660786166 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=14027/tid=14048] ppid=14025 vsize=4158232 CPUtime=5003.05 cores=0-31
/proc/14027/task/14048/stat : 14048 (plingeling) R 14025 14027 14001 0 -1 4202560 400250 1240 0 0 499873 431 0 1 25 0 33 0 660786166 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=14027/tid=14049] ppid=14025 vsize=4158232 CPUtime=4985.51 cores=0-31
/proc/14027/task/14049/stat : 14049 (plingeling) R 14025 14027 14001 0 -1 4202560 437794 1240 0 0 498013 537 0 1 25 0 33 0 660786166 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4365181 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=14027/tid=14050] ppid=14025 vsize=4158232 CPUtime=5004.61 cores=0-31
/proc/14027/task/14050/stat : 14050 (plingeling) R 14025 14027 14001 0 -1 4202560 477670 1240 0 0 499843 617 0 1 25 0 33 0 660786167 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=14027/tid=14051] ppid=14025 vsize=4158232 CPUtime=4998.87 cores=0-31
/proc/14027/task/14051/stat : 14051 (plingeling) R 14025 14027 14001 0 -1 4202560 508318 1240 0 0 499505 381 0 1 25 0 33 0 660786167 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4357256 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=14027/tid=14052] ppid=14025 vsize=4158232 CPUtime=5001.33 cores=0-31
/proc/14027/task/14052/stat : 14052 (plingeling) R 14025 14027 14001 0 -1 4202560 606956 1240 0 0 499342 790 0 1 25 0 33 0 660786167 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4366005 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=14027/tid=14053] ppid=14025 vsize=4158232 CPUtime=4992.59 cores=0-31
/proc/14027/task/14053/stat : 14053 (plingeling) R 14025 14027 14001 0 -1 4202560 521177 1240 0 0 498571 687 0 1 25 0 33 0 660786167 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4232632 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=14027/tid=14054] ppid=14025 vsize=4158232 CPUtime=5000.65 cores=0-31
/proc/14027/task/14054/stat : 14054 (plingeling) R 14025 14027 14001 0 -1 4202560 515194 1240 0 0 499446 618 0 1 25 0 33 0 660786167 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=14027/tid=14055] ppid=14025 vsize=4158232 CPUtime=5000.85 cores=0-31
/proc/14027/task/14055/stat : 14055 (plingeling) R 14025 14027 14001 0 -1 4202560 517015 1240 0 0 499426 658 0 1 25 0 33 0 660786167 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4357159 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=14027/tid=14056] ppid=14025 vsize=4158232 CPUtime=5004.53 cores=0-31
/proc/14027/task/14056/stat : 14056 (plingeling) R 14025 14027 14001 0 -1 4202560 496559 1240 0 0 499818 634 0 1 25 0 33 0 660786167 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14027/tid=14057] ppid=14025 vsize=4158232 CPUtime=5001.91 cores=0-31
/proc/14027/task/14057/stat : 14057 (plingeling) R 14025 14027 14001 0 -1 4202560 512309 1240 0 0 499517 673 0 1 25 0 33 0 660786168 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4366017 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=14027/tid=14058] ppid=14025 vsize=4158232 CPUtime=5002.07 cores=0-31
/proc/14027/task/14058/stat : 14058 (plingeling) R 14025 14027 14001 0 -1 4202560 551445 1240 0 0 499489 717 0 1 25 0 33 0 660786168 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=14027/tid=14059] ppid=14025 vsize=4158232 CPUtime=5004.2 cores=0-31
/proc/14027/task/14059/stat : 14059 (plingeling) R 14025 14027 14001 0 -1 4202560 438688 1240 0 0 499974 445 0 1 25 0 33 0 660786168 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364299 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=14027/tid=14060] ppid=14025 vsize=4158232 CPUtime=5000 cores=0-31
/proc/14027/task/14060/stat : 14060 (plingeling) R 14025 14027 14001 0 -1 4202560 512326 1240 0 0 499374 625 0 1 25 0 33 0 660786168 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=14027/tid=14061] ppid=14025 vsize=4158232 CPUtime=5000.88 cores=0-31
/proc/14027/task/14061/stat : 14061 (plingeling) R 14025 14027 14001 0 -1 4202560 495579 1240 0 0 499488 599 0 1 25 0 33 0 660786169 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14027/tid=14062] ppid=14025 vsize=4158232 CPUtime=5003.82 cores=0-31
/proc/14027/task/14062/stat : 14062 (plingeling) R 14025 14027 14001 0 -1 4202560 338116 1240 0 0 499943 438 0 1 25 0 33 0 660786169 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=14027/tid=14063] ppid=14025 vsize=4158232 CPUtime=5004.96 cores=0-31
/proc/14027/task/14063/stat : 14063 (plingeling) R 14025 14027 14001 0 -1 4202560 542637 1240 0 0 499717 778 0 1 25 0 33 0 660786169 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=14027/tid=14064] ppid=14025 vsize=4158232 CPUtime=5002.66 cores=0-31
/proc/14027/task/14064/stat : 14064 (plingeling) R 14025 14027 14001 0 -1 4202560 496843 1240 0 0 499692 573 0 1 25 0 33 0 660786169 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=14027/tid=14065] ppid=14025 vsize=4158232 CPUtime=4982.99 cores=0-31
/proc/14027/task/14065/stat : 14065 (plingeling) R 14025 14027 14001 0 -1 4202560 669298 1240 0 0 497562 736 0 1 25 0 33 0 660786169 4258029568 876397 268435456000 4194304 4417452 140735412408208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 4158232

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+5011.43 s]
/proc/loadavg: 32.15 32.11 32.04 33/446 14220
/proc/meminfo: memFree=252069924/264257624 swapFree=67111528/67111528
[pid=14027] ppid=14025 vsize=0 CPUtime=160004 cores=0-31
/proc/14027/stat : 14027 (plingeling) Z 14025 14027 14001 0 -1 4203548 16481468 1240 0 0 15980203 20179 0 1 18 0 2 0 660785739 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/14027/statm: 0 0 0 0 0 0 0
[pid=14027/tid=14059] ppid=14025 vsize=0 CPUtime=5004.31 cores=0-31
/proc/14027/task/14059/stat : 14059 (plingeling) R 14025 14027 14001 0 -1 4203588 438688 1240 0 0 499975 455 0 1 25 0 2 0 660786168 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5011.64 s]
/proc/loadavg: 32.15 32.11 32.04 2/416 14221
/proc/meminfo: memFree=253934256/264257624 swapFree=67111528/67111528
[pid=14027] ppid=14025 vsize=0 CPUtime=160004 cores=0-31
/proc/14027/stat : 14027 (plingeling) Z 14025 14027 14001 0 -1 4203548 16481468 1240 0 0 15980203 20200 0 1 18 0 2 0 660785739 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/14027/statm: 0 0 0 0 0 0 0
[pid=14027/tid=14059] ppid=14025 vsize=0 CPUtime=5004.52 cores=0-31
/proc/14027/task/14059/stat : 14059 (plingeling) R 14025 14027 14001 0 -1 4203588 438688 1240 0 0 499975 476 0 1 25 0 2 0 660786168 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5011.65
CPU time (s): 160004
CPU user time (s): 159802
CPU system time (s): 202.021
CPU usage (%): 3192.64
Max. virtual memory (cumulated for all children) (KiB): 4572052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159802
system time used= 202.021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16482708
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= 12029
involuntary context switches= 406213

runsolver used 25.8551 second user time and 115.722 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-15 22:56:33
IDJOB=3372228
IDBENCH=70781
IDSOLVER=1852
FILE ID=node200/3372228-1305492993
RUNJOBID= node200-1305492993-14015
PBS_JOBID= 13285529
Free space on /tmp= 62048 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl064.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372228-1305492993/watcher-3372228-1305492993 -o /tmp/evaluation-result-3372228-1305492993/solver-3372228-1305492993 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372228-1305492993.cnf

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

MD5SUM BENCH= 4f9c883534eb89cad9b9cad9e6eccbd0
RANDOM SEED=550149273

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:      255578416 kB
Buffers:        442100 kB
Cached:        7839136 kB
SwapCached:          0 kB
Active:        7387468 kB
Inactive:       962792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255578416 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3720 kB
Writeback:           0 kB
AnonPages:       69324 kB
Mapped:          13484 kB
Slab:           250628 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   182004 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62048 MiB
End job on node200 at 2011-05-16 00:20:07