Trace number 3372684

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) 160003 5010.53

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top21.cnf
MD5SUM9fab5edd49fb904ff76ff7abf98e0d14
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark83796
Satisfiable
(Un)Satisfiability was proved
Number of variables51138
Number of clauses162526
Sum of the clauses size397144
Maximum clause length2101
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 299113
Number of clauses of size 362300
Number of clauses of size 4230
Number of clauses of size 519
Number of clauses of size over 5863

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-3372684-1305952471/watcher-3372684-1305952471 -o /tmp/evaluation-result-3372684-1305952471/solver-3372684-1305952471 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372684-1305952471.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.18 31.02 31.73 1/413 11567
/proc/meminfo: memFree=255502692/264257624 swapFree=67111528/67111528
[pid=11567] ppid=11565 vsize=34268 CPUtime=0.02 cores=0-31
/proc/11567/stat : 11567 (plingeling) R 11565 11567 11541 0 -1 4202496 6422 1243 0 0 1 1 0 0 21 0 1 0 706733609 35090432 6352 268435456000 4194304 4417452 140736995808048 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11567/statm: 8567 6364 138 55 0 6453 0

[startup+0.0438831 s]
/proc/loadavg: 27.18 31.02 31.73 1/413 11567
/proc/meminfo: memFree=255502692/264257624 swapFree=67111528/67111528
[pid=11567] ppid=11565 vsize=41464 CPUtime=0.02 cores=0-31
/proc/11567/stat : 11567 (plingeling) R 11565 11567 11541 0 -1 4202496 8235 1243 0 0 1 1 0 0 21 0 1 0 706733609 42459136 8165 268435456000 4194304 4417452 140736995808048 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11567/statm: 10366 8179 138 55 0 8252 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 41464

[startup+0.1009 s]
/proc/loadavg: 27.18 31.02 31.73 1/413 11567
/proc/meminfo: memFree=255502692/264257624 swapFree=67111528/67111528
[pid=11567] ppid=11565 vsize=51828 CPUtime=0.08 cores=0-31
/proc/11567/stat : 11567 (plingeling) R 11565 11567 11541 0 -1 4202496 11019 1243 0 0 6 2 0 0 21 0 1 0 706733609 53071872 10949 268435456000 4194304 4417452 140736995808048 18446744073709551615 4200544 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11567/statm: 12957 10949 141 55 0 10843 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 51828

[startup+0.300909 s]
/proc/loadavg: 27.18 31.02 31.73 1/413 11567
/proc/meminfo: memFree=255502692/264257624 swapFree=67111528/67111528
[pid=11567] ppid=11565 vsize=64828 CPUtime=0.28 cores=0-31
/proc/11567/stat : 11567 (plingeling) R 11565 11567 11541 0 -1 4202496 14298 1243 0 0 25 3 0 0 22 0 1 0 706733609 66383872 14228 268435456000 4194304 4417452 140736995808048 18446744073709551615 4322155 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11567/statm: 16207 14228 146 55 0 14093 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 64828

[startup+0.700927 s]
/proc/loadavg: 27.18 31.02 31.73 1/413 11567
/proc/meminfo: memFree=255502692/264257624 swapFree=67111528/67111528
[pid=11567] ppid=11565 vsize=92900 CPUtime=0.68 cores=0-31
/proc/11567/stat : 11567 (plingeling) R 11565 11567 11541 0 -1 4202496 21300 1243 0 0 63 5 0 0 23 0 1 0 706733609 95129600 21230 268435456000 4194304 4417452 140736995808048 18446744073709551615 4231265 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11567/statm: 23225 21230 146 55 0 21111 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 92900

[startup+1.50099 s]
/proc/loadavg: 27.18 31.02 31.73 2/414 11573
/proc/meminfo: memFree=255400976/264257624 swapFree=67111528/67111528
[pid=11567] ppid=11565 vsize=150096 CPUtime=1.48 cores=0-31
/proc/11567/stat : 11567 (plingeling) R 11565 11567 11541 0 -1 4202496 35498 1243 0 0 141 7 0 0 25 0 1 0 706733609 153698304 35428 268435456000 4194304 4417452 140736995808048 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11567/statm: 37524 35444 146 55 0 35410 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 150096

[startup+3.10101 s]
/proc/loadavg: 27.18 31.02 31.73 2/414 11573
/proc/meminfo: memFree=255279460/264257624 swapFree=67111528/67111528
[pid=11567] ppid=11565 vsize=297068 CPUtime=3.09 cores=0-31
/proc/11567/stat : 11567 (plingeling) R 11565 11567 11541 0 -1 4202496 72376 1243 0 0 294 15 0 0 25 0 1 0 706733609 304197632 72272 268435456000 4194304 4417452 140736995808048 18446744073709551615 4259140 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/11567/statm: 74267 72272 146 55 0 72153 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 297068

[startup+6.30199 s]
/proc/loadavg: 27.56 31.03 31.73 33/446 11605
/proc/meminfo: memFree=255113816/264257624 swapFree=67111528/67111528
[pid=11567] ppid=11565 vsize=1088420 CPUtime=101.19 cores=0-31
/proc/11567/stat : 11567 (plingeling) S 11565 11567 11541 0 -1 4202496 214141 1243 0 0 9983 136 0 0 18 0 33 0 706733609 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/11567/statm: 272105 89937 173 55 0 269991 0
[pid=11567/tid=11574] ppid=11565 vsize=1088420 CPUtime=3.08 cores=0-31
/proc/11567/task/11574/stat : 11574 (plingeling) R 11565 11567 11541 0 -1 4202560 2437 1243 0 0 305 3 0 0 25 0 33 0 706733923 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4277446 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11567/tid=11575] ppid=11565 vsize=1088420 CPUtime=3.06 cores=0-31
/proc/11567/task/11575/stat : 11575 (plingeling) R 11565 11567 11541 0 -1 4202560 2599 1243 0 0 303 3 0 0 25 0 33 0 706733923 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=11567/tid=11576] ppid=11565 vsize=1088420 CPUtime=3.06 cores=0-31
/proc/11567/task/11576/stat : 11576 (plingeling) R 11565 11567 11541 0 -1 4202560 5251 1243 0 0 302 4 0 0 25 0 33 0 706733923 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4264300 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11567/tid=11577] ppid=11565 vsize=1088420 CPUtime=3.07 cores=0-31
/proc/11567/task/11577/stat : 11577 (plingeling) R 11565 11567 11541 0 -1 4202560 878 1243 0 0 305 2 0 0 25 0 33 0 706733924 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4354458 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11567/tid=11578] ppid=11565 vsize=1088420 CPUtime=3.07 cores=0-31
/proc/11567/task/11578/stat : 11578 (plingeling) R 11565 11567 11541 0 -1 4202560 3259 1243 0 0 304 3 0 0 25 0 33 0 706733924 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4276039 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11567/tid=11579] ppid=11565 vsize=1088420 CPUtime=3.08 cores=0-31
/proc/11567/task/11579/stat : 11579 (plingeling) R 11565 11567 11541 0 -1 4202560 4051 1243 0 0 304 4 0 0 24 0 33 0 706733924 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4277514 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11567/tid=11580] ppid=11565 vsize=1088420 CPUtime=3.06 cores=0-31
/proc/11567/task/11580/stat : 11580 (plingeling) R 11565 11567 11541 0 -1 4202560 2341 1243 0 0 303 3 0 0 24 0 33 0 706733924 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11567/tid=11581] ppid=11565 vsize=1088420 CPUtime=3.11 cores=0-31
/proc/11567/task/11581/stat : 11581 (plingeling) R 11565 11567 11541 0 -1 4202560 5888 1243 0 0 307 4 0 0 25 0 33 0 706733924 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4276093 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11567/tid=11582] ppid=11565 vsize=1088420 CPUtime=3.05 cores=0-31
/proc/11567/task/11582/stat : 11582 (plingeling) R 11565 11567 11541 0 -1 4202560 3521 1243 0 0 301 4 0 0 25 0 33 0 706733924 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4327056 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11567/tid=11583] ppid=11565 vsize=1088420 CPUtime=3.09 cores=0-31
/proc/11567/task/11583/stat : 11583 (plingeling) R 11565 11567 11541 0 -1 4202560 6795 1243 0 0 306 3 0 0 25 0 33 0 706733924 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4281957 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11567/tid=11584] ppid=11565 vsize=1088420 CPUtime=3.08 cores=0-31
/proc/11567/task/11584/stat : 11584 (plingeling) R 11565 11567 11541 0 -1 4202560 4942 1243 0 0 305 3 0 0 25 0 33 0 706733924 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11567/tid=11585] ppid=11565 vsize=1088420 CPUtime=3.08 cores=0-31
/proc/11567/task/11585/stat : 11585 (plingeling) R 11565 11567 11541 0 -1 4202560 3350 1243 0 0 304 4 0 0 25 0 33 0 706733925 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=11567/tid=11586] ppid=11565 vsize=1088420 CPUtime=3.05 cores=0-31
/proc/11567/task/11586/stat : 11586 (plingeling) R 11565 11567 11541 0 -1 4202560 6252 1243 0 0 300 5 0 0 25 0 33 0 706733925 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4325755 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11567/tid=11587] ppid=11565 vsize=1088420 CPUtime=3.06 cores=0-31
/proc/11567/task/11587/stat : 11587 (plingeling) R 11565 11567 11541 0 -1 4202560 2792 1243 0 0 303 3 0 0 25 0 33 0 706733925 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4237157 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11567/tid=11588] ppid=11565 vsize=1088420 CPUtime=3.06 cores=0-31
/proc/11567/task/11588/stat : 11588 (plingeling) R 11565 11567 11541 0 -1 4202560 4313 1243 0 0 302 4 0 0 25 0 33 0 706733925 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11567/tid=11589] ppid=11565 vsize=1088420 CPUtime=3.06 cores=0-31
/proc/11567/task/11589/stat : 11589 (plingeling) R 11565 11567 11541 0 -1 4202560 6071 1243 0 0 302 4 0 0 25 0 33 0 706733925 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11567/tid=11590] ppid=11565 vsize=1088420 CPUtime=3.06 cores=0-31
/proc/11567/task/11590/stat : 11590 (plingeling) R 11565 11567 11541 0 -1 4202560 2950 1243 0 0 302 4 0 0 25 0 33 0 706733925 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11567/tid=11591] ppid=11565 vsize=1088420 CPUtime=2.98 cores=0-31
/proc/11567/task/11591/stat : 11591 (plingeling) R 11565 11567 11541 0 -1 4202560 8565 1243 0 0 294 4 0 0 24 0 33 0 706733926 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4275877 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11567/tid=11592] ppid=11565 vsize=1088420 CPUtime=3.06 cores=0-31
/proc/11567/task/11592/stat : 11592 (plingeling) R 11565 11567 11541 0 -1 4202560 2943 1243 0 0 302 4 0 0 25 0 33 0 706733926 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11567/tid=11593] ppid=11565 vsize=1088420 CPUtime=3.05 cores=0-31
/proc/11567/task/11593/stat : 11593 (plingeling) R 11565 11567 11541 0 -1 4202560 6224 1243 0 0 302 3 0 0 25 0 33 0 706733927 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4275950 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=11567/tid=11594] ppid=11565 vsize=1088420 CPUtime=3.05 cores=0-31
/proc/11567/task/11594/stat : 11594 (plingeling) R 11565 11567 11541 0 -1 4202560 5057 1243 0 0 301 4 0 0 25 0 33 0 706733927 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=11567/tid=11595] ppid=11565 vsize=1088420 CPUtime=3.07 cores=0-31
/proc/11567/task/11595/stat : 11595 (plingeling) R 11565 11567 11541 0 -1 4202560 4057 1243 0 0 305 2 0 0 25 0 33 0 706733927 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4265411 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11567/tid=11596] ppid=11565 vsize=1088420 CPUtime=2.96 cores=0-31
/proc/11567/task/11596/stat : 11596 (plingeling) R 11565 11567 11541 0 -1 4202560 2946 1243 0 0 295 1 0 0 25 0 33 0 706733927 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4264305 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11567/tid=11597] ppid=11565 vsize=1088420 CPUtime=3.05 cores=0-31
/proc/11567/task/11597/stat : 11597 (plingeling) R 11565 11567 11541 0 -1 4202560 8317 1243 0 0 301 4 0 0 25 0 33 0 706733927 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4301776 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=11567/tid=11598] ppid=11565 vsize=1088420 CPUtime=3.05 cores=0-31
/proc/11567/task/11598/stat : 11598 (plingeling) R 11565 11567 11541 0 -1 4202560 3587 1243 0 0 303 2 0 0 25 0 33 0 706733927 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=11567/tid=11599] ppid=11565 vsize=1088420 CPUtime=3.04 cores=0-31
/proc/11567/task/11599/stat : 11599 (plingeling) R 11565 11567 11541 0 -1 4202560 1990 1243 0 0 301 3 0 0 25 0 33 0 706733928 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11567/tid=11600] ppid=11565 vsize=1088420 CPUtime=3.06 cores=0-31
/proc/11567/task/11600/stat : 11600 (plingeling) R 11565 11567 11541 0 -1 4202560 3237 1243 0 0 303 3 0 0 25 0 33 0 706733928 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=11567/tid=11601] ppid=11565 vsize=1088420 CPUtime=3.03 cores=0-31
/proc/11567/task/11601/stat : 11601 (plingeling) R 11565 11567 11541 0 -1 4202560 3864 1243 0 0 300 3 0 0 25 0 33 0 706733928 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4277861 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=11567/tid=11602] ppid=11565 vsize=1088420 CPUtime=2.97 cores=0-31
/proc/11567/task/11602/stat : 11602 (plingeling) R 11565 11567 11541 0 -1 4202560 3027 1243 0 0 296 1 0 0 25 0 33 0 706733928 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=11567/tid=11603] ppid=11565 vsize=1088420 CPUtime=3.06 cores=0-31
/proc/11567/task/11603/stat : 11603 (plingeling) R 11565 11567 11541 0 -1 4202560 8412 1243 0 0 302 4 0 0 25 0 33 0 706733929 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11567/tid=11604] ppid=11565 vsize=1088420 CPUtime=3.05 cores=0-31
/proc/11567/task/11604/stat : 11604 (plingeling) R 11565 11567 11541 0 -1 4202560 2741 1243 0 0 303 2 0 0 25 0 33 0 706733929 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4264232 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11567/tid=11605] ppid=11565 vsize=1088420 CPUtime=3.05 cores=0-31
/proc/11567/task/11605/stat : 11605 (plingeling) R 11565 11567 11541 0 -1 4202560 9068 1243 0 0 301 4 0 0 25 0 33 0 706733929 1114542080 89937 268435456000 4194304 4417452 140736995808048 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.19
Current children cumulated vsize (KiB) 1088420

[startup+12.7022 s]
/proc/loadavg: 27.92 31.05 31.73 33/446 11605
/proc/meminfo: memFree=255095524/264257624 swapFree=67111528/67111528
[pid=11567] ppid=11565 vsize=1078416 CPUtime=305.73 cores=0-31
/proc/11567/stat : 11567 (plingeling) S 11565 11567 11541 0 -1 4202496 259049 1243 0 0 30426 147 0 0 18 0 33 0 706733609 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/11567/statm: 269604 100291 175 55 0 267490 0
[pid=11567/tid=11574] ppid=11565 vsize=1078416 CPUtime=9.48 cores=0-31
/proc/11567/task/11574/stat : 11574 (plingeling) R 11565 11567 11541 0 -1 4202560 3723 1243 0 0 944 4 0 0 25 0 33 0 706733923 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11567/tid=11575] ppid=11565 vsize=1078416 CPUtime=9.47 cores=0-31
/proc/11567/task/11575/stat : 11575 (plingeling) R 11565 11567 11541 0 -1 4202560 3805 1243 0 0 943 4 0 0 25 0 33 0 706733923 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=11567/tid=11576] ppid=11565 vsize=1078416 CPUtime=9.46 cores=0-31
/proc/11567/task/11576/stat : 11576 (plingeling) R 11565 11567 11541 0 -1 4202560 7623 1243 0 0 941 5 0 0 25 0 33 0 706733923 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11567/tid=11577] ppid=11565 vsize=1078416 CPUtime=9.47 cores=0-31
/proc/11567/task/11577/stat : 11577 (plingeling) R 11565 11567 11541 0 -1 4202560 878 1243 0 0 945 2 0 0 25 0 33 0 706733924 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4236845 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11567/tid=11578] ppid=11565 vsize=1078416 CPUtime=9.47 cores=0-31
/proc/11567/task/11578/stat : 11578 (plingeling) R 11565 11567 11541 0 -1 4202560 4777 1243 0 0 943 4 0 0 25 0 33 0 706733924 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4250017 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11567/tid=11579] ppid=11565 vsize=1078416 CPUtime=9.48 cores=0-31
/proc/11567/task/11579/stat : 11579 (plingeling) R 11565 11567 11541 0 -1 4202560 5770 1243 0 0 944 4 0 0 25 0 33 0 706733924 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11567/tid=11580] ppid=11565 vsize=1078416 CPUtime=9.46 cores=0-31
/proc/11567/task/11580/stat : 11580 (plingeling) R 11565 11567 11541 0 -1 4202560 3117 1243 0 0 943 3 0 0 25 0 33 0 706733924 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 18446744073699066103 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11567/tid=11581] ppid=11565 vsize=1078416 CPUtime=9.5 cores=0-31
/proc/11567/task/11581/stat : 11581 (plingeling) R 11565 11567 11541 0 -1 4202560 8445 1243 0 0 946 4 0 0 25 0 33 0 706733924 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11567/tid=11582] ppid=11565 vsize=1078416 CPUtime=9.45 cores=0-31
/proc/11567/task/11582/stat : 11582 (plingeling) R 11565 11567 11541 0 -1 4202560 4978 1243 0 0 940 5 0 0 25 0 33 0 706733924 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4258418 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11567/tid=11583] ppid=11565 vsize=1078416 CPUtime=9.5 cores=0-31
/proc/11567/task/11583/stat : 11583 (plingeling) R 11565 11567 11541 0 -1 4202560 9203 1243 0 0 946 4 0 0 25 0 33 0 706733924 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11567/tid=11584] ppid=11565 vsize=1078416 CPUtime=9.47 cores=0-31
/proc/11567/task/11584/stat : 11584 (plingeling) R 11565 11567 11541 0 -1 4202560 5704 1243 0 0 944 3 0 0 25 0 33 0 706733924 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4366113 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11567/tid=11585] ppid=11565 vsize=1078416 CPUtime=9.47 cores=0-31
/proc/11567/task/11585/stat : 11585 (plingeling) R 11565 11567 11541 0 -1 4202560 4217 1243 0 0 943 4 0 0 25 0 33 0 706733925 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=11567/tid=11586] ppid=11565 vsize=1078416 CPUtime=9.45 cores=0-31
/proc/11567/task/11586/stat : 11586 (plingeling) R 11565 11567 11541 0 -1 4202560 8227 1243 0 0 940 5 0 0 25 0 33 0 706733925 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4353543 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11567/tid=11587] ppid=11565 vsize=1078416 CPUtime=9.46 cores=0-31
/proc/11567/task/11587/stat : 11587 (plingeling) R 11565 11567 11541 0 -1 4202560 4381 1243 0 0 943 3 0 0 25 0 33 0 706733925 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4365120 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11567/tid=11588] ppid=11565 vsize=1078416 CPUtime=9.46 cores=0-31
/proc/11567/task/11588/stat : 11588 (plingeling) R 11565 11567 11541 0 -1 4202560 4762 1243 0 0 942 4 0 0 25 0 33 0 706733925 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11567/tid=11589] ppid=11565 vsize=1078416 CPUtime=9.46 cores=0-31
/proc/11567/task/11589/stat : 11589 (plingeling) R 11565 11567 11541 0 -1 4202560 7086 1243 0 0 942 4 0 0 25 0 33 0 706733925 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4365976 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11567/tid=11590] ppid=11565 vsize=1078416 CPUtime=9.46 cores=0-31
/proc/11567/task/11590/stat : 11590 (plingeling) R 11565 11567 11541 0 -1 4202560 4860 1243 0 0 942 4 0 0 25 0 33 0 706733925 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11567/tid=11591] ppid=11565 vsize=1078416 CPUtime=9.35 cores=0-31
/proc/11567/task/11591/stat : 11591 (plingeling) R 11565 11567 11541 0 -1 4202560 12387 1243 0 0 930 5 0 0 25 0 33 0 706733926 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4237354 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11567/tid=11592] ppid=11565 vsize=1078416 CPUtime=9.46 cores=0-31
/proc/11567/task/11592/stat : 11592 (plingeling) R 11565 11567 11541 0 -1 4202560 2945 1243 0 0 942 4 0 0 25 0 33 0 706733926 1104297984 100291 268435456000 4194304 4417452 140736995808048 18446744073709551615 4232464 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11567/tid=11593] ppid=11565 vsize=1078416 CPUtime=9.45 cores=0-31

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

/proc/11567/task/11579/stat : 11579 (plingeling) R 11565 11567 11541 0 -1 4202560 474800 1243 0 0 495256 479 0 0 25 0 33 0 706733924 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11567/tid=11580] ppid=11565 vsize=11778580 CPUtime=4957.07 cores=0-31
/proc/11567/task/11580/stat : 11580 (plingeling) R 11565 11567 11541 0 -1 4202560 431985 1243 0 0 495235 472 0 0 25 0 33 0 706733924 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11567/tid=11581] ppid=11565 vsize=11778580 CPUtime=4957.53 cores=0-31
/proc/11567/task/11581/stat : 11581 (plingeling) R 11565 11567 11541 0 -1 4202560 550352 1243 0 0 494903 850 0 0 25 0 33 0 706733924 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11567/tid=11582] ppid=11565 vsize=11778580 CPUtime=4956.67 cores=0-31
/proc/11567/task/11582/stat : 11582 (plingeling) R 11565 11567 11541 0 -1 4202560 477135 1243 0 0 494969 698 0 0 25 0 33 0 706733924 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364829 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11567/tid=11583] ppid=11565 vsize=11778580 CPUtime=4955.38 cores=0-31
/proc/11567/task/11583/stat : 11583 (plingeling) R 11565 11567 11541 0 -1 4202560 535326 1243 0 0 494964 574 0 0 25 0 33 0 706733924 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11567/tid=11584] ppid=11565 vsize=11778580 CPUtime=4957.27 cores=0-31
/proc/11567/task/11584/stat : 11584 (plingeling) R 11565 11567 11541 0 -1 4202560 428714 1243 0 0 495349 378 0 0 25 0 33 0 706733924 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11567/tid=11585] ppid=11565 vsize=11778580 CPUtime=4955.04 cores=0-31
/proc/11567/task/11585/stat : 11585 (plingeling) R 11565 11567 11541 0 -1 4202560 550147 1243 0 0 494878 626 0 0 25 0 33 0 706733925 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364893 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=11567/tid=11586] ppid=11565 vsize=11778580 CPUtime=4954.25 cores=0-31
/proc/11567/task/11586/stat : 11586 (plingeling) R 11565 11567 11541 0 -1 4202560 485211 1243 0 0 494835 590 0 0 25 0 33 0 706733925 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11567/tid=11587] ppid=11565 vsize=11778580 CPUtime=4953.65 cores=0-31
/proc/11567/task/11587/stat : 11587 (plingeling) R 11565 11567 11541 0 -1 4202560 519631 1243 0 0 494564 801 0 0 25 0 33 0 706733925 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4353727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11567/tid=11588] ppid=11565 vsize=11778580 CPUtime=4957.58 cores=0-31
/proc/11567/task/11588/stat : 11588 (plingeling) R 11565 11567 11541 0 -1 4202560 433700 1243 0 0 495211 547 0 0 25 0 33 0 706733925 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11567/tid=11589] ppid=11565 vsize=11778580 CPUtime=4957.13 cores=0-31
/proc/11567/task/11589/stat : 11589 (plingeling) R 11565 11567 11541 0 -1 4202560 462218 1243 0 0 495103 610 0 0 25 0 33 0 706733925 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11567/tid=11590] ppid=11565 vsize=11778580 CPUtime=4957.56 cores=0-31
/proc/11567/task/11590/stat : 11590 (plingeling) R 11565 11567 11541 0 -1 4202560 481311 1243 0 0 495053 703 0 0 25 0 33 0 706733925 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11567/tid=11591] ppid=11565 vsize=11778580 CPUtime=4956.71 cores=0-31
/proc/11567/task/11591/stat : 11591 (plingeling) R 11565 11567 11541 0 -1 4202560 546111 1243 0 0 495062 609 0 0 25 0 33 0 706733926 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11567/tid=11592] ppid=11565 vsize=11778580 CPUtime=4956.19 cores=0-31
/proc/11567/task/11592/stat : 11592 (plingeling) R 11565 11567 11541 0 -1 4202560 455856 1243 0 0 495122 497 0 0 25 0 33 0 706733926 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11567/tid=11593] ppid=11565 vsize=11778580 CPUtime=4956.24 cores=0-31
/proc/11567/task/11593/stat : 11593 (plingeling) R 11565 11567 11541 0 -1 4202560 481072 1243 0 0 494959 665 0 0 25 0 33 0 706733927 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11567/tid=11594] ppid=11565 vsize=11778580 CPUtime=4957.31 cores=0-31
/proc/11567/task/11594/stat : 11594 (plingeling) R 11565 11567 11541 0 -1 4202560 494320 1243 0 0 495054 677 0 0 25 0 33 0 706733927 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=11567/tid=11595] ppid=11565 vsize=11778580 CPUtime=4955.01 cores=0-31
/proc/11567/task/11595/stat : 11595 (plingeling) R 11565 11567 11541 0 -1 4202560 550376 1243 0 0 494715 786 0 0 25 0 33 0 706733927 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11567/tid=11596] ppid=11565 vsize=11778580 CPUtime=4955.63 cores=0-31
/proc/11567/task/11596/stat : 11596 (plingeling) R 11565 11567 11541 0 -1 4202560 435134 1243 0 0 495002 561 0 0 25 0 33 0 706733927 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11567/tid=11597] ppid=11565 vsize=11778580 CPUtime=4957.07 cores=0-31
/proc/11567/task/11597/stat : 11597 (plingeling) R 11565 11567 11541 0 -1 4202560 489924 1243 0 0 495216 491 0 0 25 0 33 0 706733927 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11567/tid=11598] ppid=11565 vsize=11778580 CPUtime=4957.62 cores=0-31
/proc/11567/task/11598/stat : 11598 (plingeling) R 11565 11567 11541 0 -1 4202560 470747 1243 0 0 495128 634 0 0 25 0 33 0 706733927 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=11567/tid=11599] ppid=11565 vsize=11778580 CPUtime=4950.14 cores=0-31
/proc/11567/task/11599/stat : 11599 (plingeling) R 11565 11567 11541 0 -1 4202560 614444 1243 0 0 494237 777 0 0 25 0 33 0 706733928 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11567/tid=11600] ppid=11565 vsize=11778580 CPUtime=4957.42 cores=0-31
/proc/11567/task/11600/stat : 11600 (plingeling) R 11565 11567 11541 0 -1 4202560 403855 1243 0 0 495233 509 0 0 25 0 33 0 706733928 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11567/tid=11601] ppid=11565 vsize=11778580 CPUtime=4957.42 cores=0-31
/proc/11567/task/11601/stat : 11601 (plingeling) R 11565 11567 11541 0 -1 4202560 479057 1243 0 0 495109 633 0 0 25 0 33 0 706733928 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=11567/tid=11602] ppid=11565 vsize=11778580 CPUtime=4950.69 cores=0-31
/proc/11567/task/11602/stat : 11602 (plingeling) R 11565 11567 11541 0 -1 4202560 520409 1243 0 0 494519 550 0 0 25 0 33 0 706733928 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11567/tid=11603] ppid=11565 vsize=11778580 CPUtime=4955.76 cores=0-31
/proc/11567/task/11603/stat : 11603 (plingeling) R 11565 11567 11541 0 -1 4202560 478375 1243 0 0 494973 603 0 0 25 0 33 0 706733929 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11567/tid=11604] ppid=11565 vsize=11778580 CPUtime=4880.73 cores=0-31
/proc/11567/task/11604/stat : 11604 (plingeling) R 11565 11567 11541 0 -1 4202560 421929 1243 0 0 487684 389 0 0 25 0 33 0 706733929 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11567/tid=11605] ppid=11565 vsize=11778580 CPUtime=4956.68 cores=0-31
/proc/11567/task/11605/stat : 11605 (plingeling) R 11565 11567 11541 0 -1 4202560 519771 1243 0 0 494954 714 0 0 25 0 33 0 706733929 12061265920 2790827 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364903 0 0 4096 17442 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 158489
Current children cumulated vsize (KiB) 11778580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5009.6 s]
/proc/loadavg: 32.10 32.07 32.05 33/446 11749
/proc/meminfo: memFree=244751864/264257624 swapFree=67111528/67111528
[pid=11567] ppid=11565 vsize=11350900 CPUtime=160002 cores=0-31
/proc/11567/stat : 11567 (plingeling) S 11565 11567 11541 0 -1 4202496 15720167 1243 0 0 15980878 19301 0 0 18 0 33 0 706733609 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 28 0 0 0
/proc/11567/statm: 2837725 2684204 175 55 0 2835611 0
[pid=11567/tid=11574] ppid=11565 vsize=11350900 CPUtime=4984.61 cores=0-31
/proc/11567/task/11574/stat : 11574 (plingeling) R 11565 11567 11541 0 -1 4202560 480371 1243 0 0 497841 620 0 0 25 0 33 0 706733923 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=11567/tid=11575] ppid=11565 vsize=11350900 CPUtime=4989.92 cores=0-31
/proc/11567/task/11575/stat : 11575 (plingeling) R 11565 11567 11541 0 -1 4202560 483219 1243 0 0 498327 665 0 0 25 0 33 0 706733923 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=11567/tid=11576] ppid=11565 vsize=11350900 CPUtime=5004.66 cores=0-31
/proc/11567/task/11576/stat : 11576 (plingeling) R 11565 11567 11541 0 -1 4202560 393126 1243 0 0 500008 458 0 0 25 0 33 0 706733923 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=11567/tid=11577] ppid=11565 vsize=11350900 CPUtime=5003.1 cores=0-31
/proc/11567/task/11577/stat : 11577 (plingeling) R 11565 11567 11541 0 -1 4202560 517020 1243 0 0 499976 334 0 0 25 0 33 0 706733924 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=11567/tid=11578] ppid=11565 vsize=11350900 CPUtime=5002.87 cores=0-31
/proc/11567/task/11578/stat : 11578 (plingeling) R 11565 11567 11541 0 -1 4202560 476759 1243 0 0 499666 621 0 0 25 0 33 0 706733924 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=11567/tid=11579] ppid=11565 vsize=11350900 CPUtime=5004.66 cores=0-31
/proc/11567/task/11579/stat : 11579 (plingeling) R 11565 11567 11541 0 -1 4202560 474800 1243 0 0 499987 479 0 0 25 0 33 0 706733924 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=11567/tid=11580] ppid=11565 vsize=11350900 CPUtime=5004.39 cores=0-31
/proc/11567/task/11580/stat : 11580 (plingeling) R 11565 11567 11541 0 -1 4202560 431985 1243 0 0 499967 472 0 0 25 0 33 0 706733924 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=11567/tid=11581] ppid=11565 vsize=11350900 CPUtime=5004.85 cores=0-31
/proc/11567/task/11581/stat : 11581 (plingeling) R 11565 11567 11541 0 -1 4202560 550352 1243 0 0 499635 850 0 0 25 0 33 0 706733924 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=11567/tid=11582] ppid=11565 vsize=11350900 CPUtime=5003.98 cores=0-31
/proc/11567/task/11582/stat : 11582 (plingeling) R 11565 11567 11541 0 -1 4202560 477135 1243 0 0 499700 698 0 0 25 0 33 0 706733924 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=11567/tid=11583] ppid=11565 vsize=11350900 CPUtime=5002.7 cores=0-31
/proc/11567/task/11583/stat : 11583 (plingeling) R 11565 11567 11541 0 -1 4202560 535326 1243 0 0 499696 574 0 0 25 0 33 0 706733924 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=11567/tid=11584] ppid=11565 vsize=11350900 CPUtime=5004.59 cores=0-31
/proc/11567/task/11584/stat : 11584 (plingeling) R 11565 11567 11541 0 -1 4202560 428714 1243 0 0 500081 378 0 0 25 0 33 0 706733924 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=11567/tid=11585] ppid=11565 vsize=11350900 CPUtime=5002.35 cores=0-31
/proc/11567/task/11585/stat : 11585 (plingeling) R 11565 11567 11541 0 -1 4202560 550147 1243 0 0 499609 626 0 0 25 0 33 0 706733925 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=11567/tid=11586] ppid=11565 vsize=11350900 CPUtime=5001.56 cores=0-31
/proc/11567/task/11586/stat : 11586 (plingeling) R 11565 11567 11541 0 -1 4202560 485211 1243 0 0 499566 590 0 0 25 0 33 0 706733925 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=11567/tid=11587] ppid=11565 vsize=11350900 CPUtime=5000.95 cores=0-31
/proc/11567/task/11587/stat : 11587 (plingeling) R 11565 11567 11541 0 -1 4202560 519631 1243 0 0 499294 801 0 0 25 0 33 0 706733925 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=11567/tid=11588] ppid=11565 vsize=11350900 CPUtime=5004.89 cores=0-31
/proc/11567/task/11588/stat : 11588 (plingeling) R 11565 11567 11541 0 -1 4202560 450084 1243 0 0 499939 550 0 0 25 0 33 0 706733925 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=11567/tid=11589] ppid=11565 vsize=11350900 CPUtime=5004.44 cores=0-31
/proc/11567/task/11589/stat : 11589 (plingeling) R 11565 11567 11541 0 -1 4202560 462218 1243 0 0 499834 610 0 0 25 0 33 0 706733925 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=11567/tid=11590] ppid=11565 vsize=11350900 CPUtime=5004.87 cores=0-31
/proc/11567/task/11590/stat : 11590 (plingeling) R 11565 11567 11541 0 -1 4202560 481311 1243 0 0 499784 703 0 0 25 0 33 0 706733925 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=11567/tid=11591] ppid=11565 vsize=11350900 CPUtime=5004.02 cores=0-31
/proc/11567/task/11591/stat : 11591 (plingeling) R 11565 11567 11541 0 -1 4202560 546111 1243 0 0 499793 609 0 0 25 0 33 0 706733926 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=11567/tid=11592] ppid=11565 vsize=11350900 CPUtime=5003.51 cores=0-31
/proc/11567/task/11592/stat : 11592 (plingeling) R 11565 11567 11541 0 -1 4202560 455856 1243 0 0 499854 497 0 0 25 0 33 0 706733926 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=11567/tid=11593] ppid=11565 vsize=11350900 CPUtime=5003.55 cores=0-31
/proc/11567/task/11593/stat : 11593 (plingeling) R 11565 11567 11541 0 -1 4202560 481072 1243 0 0 499690 665 0 0 25 0 33 0 706733927 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=11567/tid=11594] ppid=11565 vsize=11350900 CPUtime=5004.62 cores=0-31
/proc/11567/task/11594/stat : 11594 (plingeling) R 11565 11567 11541 0 -1 4202560 494320 1243 0 0 499785 677 0 0 25 0 33 0 706733927 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=11567/tid=11595] ppid=11565 vsize=11350900 CPUtime=5002.33 cores=0-31
/proc/11567/task/11595/stat : 11595 (plingeling) R 11565 11567 11541 0 -1 4202560 550376 1243 0 0 499447 786 0 0 25 0 33 0 706733927 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=11567/tid=11596] ppid=11565 vsize=11350900 CPUtime=5002.95 cores=0-31
/proc/11567/task/11596/stat : 11596 (plingeling) R 11565 11567 11541 0 -1 4202560 435134 1243 0 0 499734 561 0 0 25 0 33 0 706733927 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=11567/tid=11597] ppid=11565 vsize=11350900 CPUtime=5004.38 cores=0-31
/proc/11567/task/11597/stat : 11597 (plingeling) R 11565 11567 11541 0 -1 4202560 504799 1243 0 0 499908 530 0 0 25 0 33 0 706733927 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=11567/tid=11598] ppid=11565 vsize=11350900 CPUtime=5004.94 cores=0-31
/proc/11567/task/11598/stat : 11598 (plingeling) R 11565 11567 11541 0 -1 4202560 484077 1243 0 0 499856 638 0 0 25 0 33 0 706733927 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=11567/tid=11599] ppid=11565 vsize=11350900 CPUtime=4996.09 cores=0-31
/proc/11567/task/11599/stat : 11599 (plingeling) R 11565 11567 11541 0 -1 4202560 614444 1243 0 0 498832 777 0 0 25 0 33 0 706733928 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=11567/tid=11600] ppid=11565 vsize=11350900 CPUtime=5004.73 cores=0-31
/proc/11567/task/11600/stat : 11600 (plingeling) R 11565 11567 11541 0 -1 4202560 403855 1243 0 0 499964 509 0 0 25 0 33 0 706733928 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=11567/tid=11601] ppid=11565 vsize=11350900 CPUtime=5004.73 cores=0-31
/proc/11567/task/11601/stat : 11601 (plingeling) R 11565 11567 11541 0 -1 4202560 506432 1243 0 0 499834 639 0 0 25 0 33 0 706733928 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=11567/tid=11602] ppid=11565 vsize=11350900 CPUtime=4998 cores=0-31
/proc/11567/task/11602/stat : 11602 (plingeling) R 11565 11567 11541 0 -1 4202560 520409 1243 0 0 499250 550 0 0 25 0 33 0 706733928 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=11567/tid=11603] ppid=11565 vsize=11350900 CPUtime=5003.06 cores=0-31
/proc/11567/task/11603/stat : 11603 (plingeling) R 11565 11567 11541 0 -1 4202560 511757 1243 0 0 499610 696 0 0 25 0 33 0 706733929 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=11567/tid=11604] ppid=11565 vsize=11350900 CPUtime=4928.04 cores=0-31
/proc/11567/task/11604/stat : 11604 (plingeling) R 11565 11567 11541 0 -1 4202560 421929 1243 0 0 492415 389 0 0 25 0 33 0 706733929 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=11567/tid=11605] ppid=11565 vsize=11350900 CPUtime=5004 cores=0-31
/proc/11567/task/11605/stat : 11605 (plingeling) R 11565 11567 11541 0 -1 4202560 519771 1243 0 0 499686 714 0 0 25 0 33 0 706733929 11623321600 2684204 268435456000 4194304 4417452 140736995808048 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 11350900

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

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

[startup+5010.2 s]
/proc/loadavg: 32.10 32.07 32.05 33/446 11749
/proc/meminfo: memFree=244751864/264257624 swapFree=67111528/67111528
[pid=11567] ppid=11565 vsize=0 CPUtime=160003 cores=0-31
/proc/11567/stat : 11567 (plingeling) Z 11565 11567 11541 0 -1 4203548 15720167 1243 0 0 15980900 19358 0 0 18 0 2 0 706733609 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 28 0 0 0
/proc/11567/statm: 0 0 0 0 0 0 0
[pid=11567/tid=11599] ppid=11565 vsize=0 CPUtime=4996.68 cores=0-31
/proc/11567/task/11599/stat : 11599 (plingeling) R 11565 11567 11541 0 -1 4203588 614444 1243 0 0 498833 835 0 0 25 0 2 0 706733928 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5010.4 s]
/proc/loadavg: 29.61 31.55 31.89 2/416 11750
/proc/meminfo: memFree=253652080/264257624 swapFree=67111528/67111528
[pid=11567] ppid=11565 vsize=0 CPUtime=160003 cores=0-31
/proc/11567/stat : 11567 (plingeling) Z 11565 11567 11541 0 -1 4203548 15720167 1243 0 0 15980900 19380 0 0 18 0 2 0 706733609 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 28 0 0 0
/proc/11567/statm: 0 0 0 0 0 0 0
[pid=11567/tid=11599] ppid=11565 vsize=0 CPUtime=4996.89 cores=0-31
/proc/11567/task/11599/stat : 11599 (plingeling) R 11565 11567 11541 0 -1 4203588 614444 1243 0 0 498833 856 0 0 25 0 2 0 706733928 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

[startup+5010.52 s]
/proc/loadavg: 29.61 31.55 31.89 2/416 11750
/proc/meminfo: memFree=253652080/264257624 swapFree=67111528/67111528
[pid=11567] ppid=11565 vsize=0 CPUtime=160003 cores=0-31
/proc/11567/stat : 11567 (plingeling) Z 11565 11567 11541 0 -1 4203548 15720167 1243 0 0 15980900 19390 0 0 18 0 2 0 706733609 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 28 0 0 0
/proc/11567/statm: 0 0 0 0 0 0 0
[pid=11567/tid=11599] ppid=11565 vsize=0 CPUtime=4996.99 cores=0-31
/proc/11567/task/11599/stat : 11599 (plingeling) R 11565 11567 11541 0 -1 4203588 614444 1243 0 0 498833 866 0 0 25 0 2 0 706733928 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5010.53
CPU time (s): 160003
CPU user time (s): 159809
CPU system time (s): 193.92
CPU usage (%): 3193.33
Max. virtual memory (cumulated for all children) (KiB): 12441208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159809
system time used= 193.92
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15721410
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= 8234
involuntary context switches= 410917

runsolver used 25.7111 second user time and 115.888 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-21 06:34:32
IDJOB=3372684
IDBENCH=83115
IDSOLVER=1852
FILE ID=node200/3372684-1305952471
RUNJOBID= node200-1305952471-11555
PBS_JOBID= 13387785
Free space on /tmp= 62044 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top21.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372684-1305952471/watcher-3372684-1305952471 -o /tmp/evaluation-result-3372684-1305952471/solver-3372684-1305952471 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372684-1305952471.cnf

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

MD5SUM BENCH= 9fab5edd49fb904ff76ff7abf98e0d14
RANDOM SEED=1828788973

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:      255502972 kB
Buffers:        453432 kB
Cached:        7898708 kB
SwapCached:          0 kB
Active:        7412040 kB
Inactive:      1008944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255502972 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3040 kB
Writeback:           0 kB
AnonPages:       70144 kB
Mapped:          13484 kB
Slab:           252428 kB
PageTables:       4720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   189452 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-21 07:58:04