Trace number 3372828

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) 160005 5011.64

General information on the benchmark

NameSAT03/industrial/goldberg/hard_eq_check/
c6288mul.miter.shuffled-as.sat03-346.cnf
MD5SUM9799c8db3562549113e4a12f98721530
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1149.74
Satisfiable
(Un)Satisfiability was proved
Number of variables9540
Number of clauses61421
Sum of the clauses size207840
Maximum clause length64
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 214116
Number of clauses of size 328488
Number of clauses of size 40
Number of clauses of size 518816
Number of clauses of size over 51

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-3372828-1306062106/watcher-3372828-1306062106 -o /tmp/evaluation-result-3372828-1306062106/solver-3372828-1306062106 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372828-1306062106.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: 29.56 31.60 31.83 1/413 25706
/proc/meminfo: memFree=255495412/264257624 swapFree=67111528/67111528
[pid=25706] ppid=25704 vsize=19692 CPUtime=0.03 cores=0-31
/proc/25706/stat : 25706 (plingeling) R 25704 25706 25680 0 -1 4202496 2986 1245 0 0 2 0 0 1 22 0 1 0 717697052 20164608 2917 268435456000 4194304 4417452 140734850715136 18446744073709551615 4320831 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25706/statm: 4923 2917 146 55 0 2809 0

[startup+0.070146 s]
/proc/loadavg: 29.56 31.60 31.83 1/413 25706
/proc/meminfo: memFree=255495412/264257624 swapFree=67111528/67111528
[pid=25706] ppid=25704 vsize=25780 CPUtime=0.06 cores=0-31
/proc/25706/stat : 25706 (plingeling) R 25704 25706 25680 0 -1 4202496 4520 1245 0 0 5 0 0 1 22 0 1 0 717697052 26398720 4451 268435456000 4194304 4417452 140734850715136 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25706/statm: 6445 4451 146 55 0 4331 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25780

[startup+0.101167 s]
/proc/loadavg: 29.56 31.60 31.83 1/413 25706
/proc/meminfo: memFree=255495412/264257624 swapFree=67111528/67111528
[pid=25706] ppid=25704 vsize=26564 CPUtime=0.09 cores=0-31
/proc/25706/stat : 25706 (plingeling) R 25704 25706 25680 0 -1 4202496 4728 1245 0 0 8 0 0 1 22 0 1 0 717697052 27201536 4659 268435456000 4194304 4417452 140734850715136 18446744073709551615 4228036 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25706/statm: 6641 4659 146 55 0 4527 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26564

[startup+0.301159 s]
/proc/loadavg: 29.56 31.60 31.83 1/413 25706
/proc/meminfo: memFree=255495412/264257624 swapFree=67111528/67111528
[pid=25706] ppid=25704 vsize=38928 CPUtime=0.29 cores=0-31
/proc/25706/stat : 25706 (plingeling) R 25704 25706 25680 0 -1 4202496 7823 1245 0 0 27 1 0 1 23 0 1 0 717697052 39862272 7754 268435456000 4194304 4417452 140734850715136 18446744073709551615 4235999 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25706/statm: 9732 7754 146 55 0 7618 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38928

[startup+0.701183 s]
/proc/loadavg: 29.56 31.60 31.83 1/413 25706
/proc/meminfo: memFree=255495412/264257624 swapFree=67111528/67111528
[pid=25706] ppid=25704 vsize=69116 CPUtime=0.7 cores=0-31
/proc/25706/stat : 25706 (plingeling) R 25704 25706 25680 0 -1 4202496 15370 1245 0 0 65 4 0 1 25 0 1 0 717697052 70774784 15301 268435456000 4194304 4417452 140734850715136 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25706/statm: 17279 15301 146 55 0 15165 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 69116

[startup+1.5012 s]
/proc/loadavg: 29.56 31.60 31.83 2/414 25712
/proc/meminfo: memFree=255429916/264257624 swapFree=67111528/67111528
[pid=25706] ppid=25704 vsize=90268 CPUtime=1.5 cores=0-31
/proc/25706/stat : 25706 (plingeling) R 25704 25706 25680 0 -1 4202496 20658 1245 0 0 144 5 0 1 25 0 1 0 717697052 92434432 20589 268435456000 4194304 4417452 140734850715136 18446744073709551615 4274337 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/25706/statm: 22567 20589 146 55 0 20453 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 90268

[startup+3.10113 s]
/proc/loadavg: 29.56 31.60 31.83 2/414 25712
/proc/meminfo: memFree=255372328/264257624 swapFree=67111528/67111528
[pid=25706] ppid=25704 vsize=651468 CPUtime=20.67 cores=0-31
/proc/25706/stat : 25706 (plingeling) S 25704 25706 25680 0 -1 4202496 41726 1245 0 0 2052 14 0 1 18 0 33 0 717697052 667103232 30748 268435456000 4194304 4417452 140734850715136 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 13 0 0 0
/proc/25706/statm: 162867 30748 170 55 0 160753 0
Current children cumulated CPU time (s) 20.67
Current children cumulated vsize (KiB) 651468

[startup+6.30223 s]
/proc/loadavg: 29.75 31.61 31.83 33/446 25744
/proc/meminfo: memFree=255358556/264257624 swapFree=67111528/67111528
[pid=25706] ppid=25704 vsize=671156 CPUtime=122.95 cores=0-31
/proc/25706/stat : 25706 (plingeling) S 25704 25706 25680 0 -1 4202496 58455 1245 0 0 12271 23 0 1 18 0 33 0 717697052 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 13 0 0 0
/proc/25706/statm: 167789 36964 175 55 0 165675 0
[pid=25706/tid=25713] ppid=25704 vsize=671156 CPUtime=3.78 cores=0-31
/proc/25706/task/25713/stat : 25713 (plingeling) R 25704 25706 25680 0 -1 4202560 852 1245 0 0 377 0 0 1 20 0 33 0 717697302 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4366659 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25706/tid=25714] ppid=25704 vsize=671156 CPUtime=3.77 cores=0-31
/proc/25706/task/25714/stat : 25714 (plingeling) R 25704 25706 25680 0 -1 4202560 960 1245 0 0 376 0 0 1 25 0 33 0 717697302 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4320936 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25706/tid=25715] ppid=25704 vsize=671156 CPUtime=3.77 cores=0-31
/proc/25706/task/25715/stat : 25715 (plingeling) R 25704 25706 25680 0 -1 4202560 769 1245 0 0 376 0 0 1 25 0 33 0 717697302 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4366063 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25706/tid=25716] ppid=25704 vsize=671156 CPUtime=3.67 cores=0-31
/proc/25706/task/25716/stat : 25716 (plingeling) R 25704 25706 25680 0 -1 4202560 915 1245 0 0 365 1 0 1 25 0 33 0 717697302 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4251133 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25706/tid=25717] ppid=25704 vsize=671156 CPUtime=3.79 cores=0-31
/proc/25706/task/25717/stat : 25717 (plingeling) R 25704 25706 25680 0 -1 4202560 840 1245 0 0 378 0 0 1 25 0 33 0 717697302 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4354563 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25706/tid=25718] ppid=25704 vsize=671156 CPUtime=3.78 cores=0-31
/proc/25706/task/25718/stat : 25718 (plingeling) R 25704 25706 25680 0 -1 4202560 1280 1245 0 0 377 0 0 1 25 0 33 0 717697302 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25706/tid=25719] ppid=25704 vsize=671156 CPUtime=3.76 cores=0-31
/proc/25706/task/25719/stat : 25719 (plingeling) R 25704 25706 25680 0 -1 4202560 637 1245 0 0 375 0 0 1 25 0 33 0 717697302 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4366500 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25706/tid=25720] ppid=25704 vsize=671156 CPUtime=3.78 cores=0-31
/proc/25706/task/25720/stat : 25720 (plingeling) R 25704 25706 25680 0 -1 4202560 942 1245 0 0 377 0 0 1 25 0 33 0 717697302 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25706/tid=25721] ppid=25704 vsize=671156 CPUtime=3.77 cores=0-31
/proc/25706/task/25721/stat : 25721 (plingeling) R 25704 25706 25680 0 -1 4202560 949 1245 0 0 376 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4251048 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=25706/tid=25722] ppid=25704 vsize=671156 CPUtime=3.77 cores=0-31
/proc/25706/task/25722/stat : 25722 (plingeling) R 25704 25706 25680 0 -1 4202560 902 1245 0 0 376 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4251034 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25706/tid=25723] ppid=25704 vsize=671156 CPUtime=3.78 cores=0-31
/proc/25706/task/25723/stat : 25723 (plingeling) R 25704 25706 25680 0 -1 4202560 442 1245 0 0 377 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25706/tid=25724] ppid=25704 vsize=671156 CPUtime=3.77 cores=0-31
/proc/25706/task/25724/stat : 25724 (plingeling) R 25704 25706 25680 0 -1 4202560 447 1245 0 0 376 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25706/tid=25725] ppid=25704 vsize=671156 CPUtime=3.78 cores=0-31
/proc/25706/task/25725/stat : 25725 (plingeling) R 25704 25706 25680 0 -1 4202560 1205 1245 0 0 377 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25706/tid=25726] ppid=25704 vsize=671156 CPUtime=3.76 cores=0-31
/proc/25706/task/25726/stat : 25726 (plingeling) R 25704 25706 25680 0 -1 4202560 647 1245 0 0 375 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4232612 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25706/tid=25727] ppid=25704 vsize=671156 CPUtime=3.78 cores=0-31
/proc/25706/task/25727/stat : 25727 (plingeling) R 25704 25706 25680 0 -1 4202560 481 1245 0 0 377 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4236971 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25706/tid=25728] ppid=25704 vsize=671156 CPUtime=3.76 cores=0-31
/proc/25706/task/25728/stat : 25728 (plingeling) R 25704 25706 25680 0 -1 4202560 1270 1245 0 0 375 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25706/tid=25729] ppid=25704 vsize=671156 CPUtime=3.75 cores=0-31
/proc/25706/task/25729/stat : 25729 (plingeling) R 25704 25706 25680 0 -1 4202560 1243 1245 0 0 374 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25706/tid=25730] ppid=25704 vsize=671156 CPUtime=3.76 cores=0-31
/proc/25706/task/25730/stat : 25730 (plingeling) R 25704 25706 25680 0 -1 4202560 919 1245 0 0 375 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4357947 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25706/tid=25731] ppid=25704 vsize=671156 CPUtime=3.77 cores=0-31
/proc/25706/task/25731/stat : 25731 (plingeling) R 25704 25706 25680 0 -1 4202560 737 1245 0 0 376 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25706/tid=25732] ppid=25704 vsize=671156 CPUtime=3.77 cores=0-31
/proc/25706/task/25732/stat : 25732 (plingeling) R 25704 25706 25680 0 -1 4202560 1427 1245 0 0 376 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25706/tid=25733] ppid=25704 vsize=671156 CPUtime=3.79 cores=0-31
/proc/25706/task/25733/stat : 25733 (plingeling) R 25704 25706 25680 0 -1 4202560 781 1245 0 0 378 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25706/tid=25734] ppid=25704 vsize=671156 CPUtime=3.77 cores=0-31
/proc/25706/task/25734/stat : 25734 (plingeling) R 25704 25706 25680 0 -1 4202560 720 1245 0 0 376 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4357314 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25706/tid=25735] ppid=25704 vsize=671156 CPUtime=3.76 cores=0-31
/proc/25706/task/25735/stat : 25735 (plingeling) R 25704 25706 25680 0 -1 4202560 371 1245 0 0 375 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4358022 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25706/tid=25736] ppid=25704 vsize=671156 CPUtime=3.77 cores=0-31
/proc/25706/task/25736/stat : 25736 (plingeling) R 25704 25706 25680 0 -1 4202560 1103 1245 0 0 376 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=25706/tid=25737] ppid=25704 vsize=671156 CPUtime=3.76 cores=0-31
/proc/25706/task/25737/stat : 25737 (plingeling) R 25704 25706 25680 0 -1 4202560 678 1245 0 0 375 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4357422 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25706/tid=25738] ppid=25704 vsize=671156 CPUtime=3.75 cores=0-31
/proc/25706/task/25738/stat : 25738 (plingeling) R 25704 25706 25680 0 -1 4202560 1060 1245 0 0 374 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25706/tid=25739] ppid=25704 vsize=671156 CPUtime=3.77 cores=0-31
/proc/25706/task/25739/stat : 25739 (plingeling) R 25704 25706 25680 0 -1 4202560 684 1245 0 0 376 0 0 1 25 0 33 0 717697303 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4246818 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25706/tid=25740] ppid=25704 vsize=671156 CPUtime=3.77 cores=0-31
/proc/25706/task/25740/stat : 25740 (plingeling) R 25704 25706 25680 0 -1 4202560 1047 1245 0 0 376 0 0 1 25 0 33 0 717697304 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25706/tid=25741] ppid=25704 vsize=671156 CPUtime=3.77 cores=0-31
/proc/25706/task/25741/stat : 25741 (plingeling) R 25704 25706 25680 0 -1 4202560 710 1245 0 0 376 0 0 1 25 0 33 0 717697304 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25706/tid=25742] ppid=25704 vsize=671156 CPUtime=3.72 cores=0-31
/proc/25706/task/25742/stat : 25742 (plingeling) R 25704 25706 25680 0 -1 4202560 992 1245 0 0 371 0 0 1 25 0 33 0 717697304 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25706/tid=25743] ppid=25704 vsize=671156 CPUtime=3.77 cores=0-31
/proc/25706/task/25743/stat : 25743 (plingeling) R 25704 25706 25680 0 -1 4202560 497 1245 0 0 376 0 0 1 25 0 33 0 717697304 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25706/tid=25744] ppid=25704 vsize=671156 CPUtime=3.77 cores=0-31
/proc/25706/task/25744/stat : 25744 (plingeling) R 25704 25706 25680 0 -1 4202560 1068 1245 0 0 376 0 0 1 25 0 33 0 717697304 687263744 36964 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364885 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 122.95
Current children cumulated vsize (KiB) 671156

[startup+12.7015 s]
/proc/loadavg: 29.93 31.61 31.83 33/446 25744
/proc/meminfo: memFree=255255436/264257624 swapFree=67111528/67111528
[pid=25706] ppid=25704 vsize=737936 CPUtime=326.95 cores=0-31
/proc/25706/stat : 25706 (plingeling) S 25704 25706 25680 0 -1 4202496 132547 1245 0 0 32587 107 0 1 18 0 33 0 717697052 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 13 0 0 0
/proc/25706/statm: 184484 55260 175 55 0 182370 0
[pid=25706/tid=25713] ppid=25704 vsize=737936 CPUtime=10.16 cores=0-31
/proc/25706/task/25713/stat : 25713 (plingeling) R 25704 25706 25680 0 -1 4202560 3079 1245 0 0 1012 3 0 1 25 0 33 0 717697302 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364684 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=25706/tid=25714] ppid=25704 vsize=737936 CPUtime=10.14 cores=0-31
/proc/25706/task/25714/stat : 25714 (plingeling) R 25704 25706 25680 0 -1 4202560 4893 1245 0 0 1007 6 0 1 25 0 33 0 717697302 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4366447 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25706/tid=25715] ppid=25704 vsize=737936 CPUtime=10.16 cores=0-31
/proc/25706/task/25715/stat : 25715 (plingeling) R 25704 25706 25680 0 -1 4202560 2308 1245 0 0 1015 0 0 1 25 0 33 0 717697302 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4251109 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25706/tid=25716] ppid=25704 vsize=737936 CPUtime=10.01 cores=0-31
/proc/25706/task/25716/stat : 25716 (plingeling) R 25704 25706 25680 0 -1 4202560 2039 1245 0 0 997 3 0 1 25 0 33 0 717697302 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4250447 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25706/tid=25717] ppid=25704 vsize=737936 CPUtime=10.17 cores=0-31
/proc/25706/task/25717/stat : 25717 (plingeling) R 25704 25706 25680 0 -1 4202560 3722 1245 0 0 1013 3 0 1 25 0 33 0 717697302 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4255584 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25706/tid=25718] ppid=25704 vsize=737936 CPUtime=10.16 cores=0-31
/proc/25706/task/25718/stat : 25718 (plingeling) R 25704 25706 25680 0 -1 4202560 3080 1245 0 0 1014 1 0 1 25 0 33 0 717697302 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4250721 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25706/tid=25719] ppid=25704 vsize=737936 CPUtime=10.15 cores=0-31
/proc/25706/task/25719/stat : 25719 (plingeling) R 25704 25706 25680 0 -1 4202560 2679 1245 0 0 1013 1 0 1 25 0 33 0 717697302 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4352385 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25706/tid=25720] ppid=25704 vsize=737936 CPUtime=10.15 cores=0-31
/proc/25706/task/25720/stat : 25720 (plingeling) R 25704 25706 25680 0 -1 4202560 3459 1245 0 0 1011 3 0 1 25 0 33 0 717697302 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4320867 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25706/tid=25721] ppid=25704 vsize=737936 CPUtime=10.15 cores=0-31
/proc/25706/task/25721/stat : 25721 (plingeling) R 25704 25706 25680 0 -1 4202560 4131 1245 0 0 1010 4 0 1 25 0 33 0 717697303 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4358116 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=25706/tid=25722] ppid=25704 vsize=737936 CPUtime=10.15 cores=0-31
/proc/25706/task/25722/stat : 25722 (plingeling) R 25704 25706 25680 0 -1 4202560 3884 1245 0 0 1010 4 0 1 25 0 33 0 717697303 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4232666 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25706/tid=25723] ppid=25704 vsize=737936 CPUtime=10.17 cores=0-31
/proc/25706/task/25723/stat : 25723 (plingeling) R 25704 25706 25680 0 -1 4202560 1469 1245 0 0 1016 0 0 1 25 0 33 0 717697303 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4321595 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25706/tid=25724] ppid=25704 vsize=737936 CPUtime=10.13 cores=0-31
/proc/25706/task/25724/stat : 25724 (plingeling) R 25704 25706 25680 0 -1 4202560 3228 1245 0 0 1009 3 0 1 25 0 33 0 717697303 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4357130 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25706/tid=25725] ppid=25704 vsize=737936 CPUtime=10.15 cores=0-31
/proc/25706/task/25725/stat : 25725 (plingeling) R 25704 25706 25680 0 -1 4202560 3980 1245 0 0 1010 4 0 1 25 0 33 0 717697303 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4250464 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25706/tid=25726] ppid=25704 vsize=737936 CPUtime=10.14 cores=0-31
/proc/25706/task/25726/stat : 25726 (plingeling) R 25704 25706 25680 0 -1 4202560 4326 1245 0 0 1008 5 0 1 25 0 33 0 717697303 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4365987 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25706/tid=25727] ppid=25704 vsize=737936 CPUtime=10.18 cores=0-31
/proc/25706/task/25727/stat : 25727 (plingeling) R 25704 25706 25680 0 -1 4202560 1905 1245 0 0 1015 2 0 1 25 0 33 0 717697303 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25706/tid=25728] ppid=25704 vsize=737936 CPUtime=10.13 cores=0-31
/proc/25706/task/25728/stat : 25728 (plingeling) R 25704 25706 25680 0 -1 4202560 2731 1245 0 0 1011 1 0 1 25 0 33 0 717697303 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25706/tid=25729] ppid=25704 vsize=737936 CPUtime=10.06 cores=0-31
/proc/25706/task/25729/stat : 25729 (plingeling) R 25704 25706 25680 0 -1 4202560 3586 1245 0 0 1003 2 0 1 23 0 33 0 717697303 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4251107 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=25706/tid=25730] ppid=25704 vsize=737936 CPUtime=10.12 cores=0-31
/proc/25706/task/25730/stat : 25730 (plingeling) R 25704 25706 25680 0 -1 4202560 4551 1245 0 0 1008 3 0 1 25 0 33 0 717697303 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25706/tid=25731] ppid=25704 vsize=737936 CPUtime=10.15 cores=0-31
/proc/25706/task/25731/stat : 25731 (plingeling) R 25704 25706 25680 0 -1 4202560 2777 1245 0 0 1011 3 0 1 25 0 33 0 717697303 755646464 55260 268435456000 4194304 4417452 140734850715136 18446744073709551615 4236797 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25706/tid=25732] ppid=25704 vsize=737936 CPUtime=10.15 cores=0-31

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

/proc/25706/task/25718/stat : 25718 (plingeling) R 25704 25706 25680 0 -1 4202560 497351 1245 0 0 494713 810 0 1 25 0 33 0 717697302 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=25706/tid=25719] ppid=25704 vsize=17771900 CPUtime=4957.35 cores=0-31
/proc/25706/task/25719/stat : 25719 (plingeling) R 25704 25706 25680 0 -1 4202560 572351 1245 0 0 494878 856 0 1 25 0 33 0 717697302 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25706/tid=25720] ppid=25704 vsize=17771900 CPUtime=4953.06 cores=0-31
/proc/25706/task/25720/stat : 25720 (plingeling) R 25704 25706 25680 0 -1 4202560 547320 1245 0 0 494480 825 0 1 25 0 33 0 717697302 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25706/tid=25721] ppid=25704 vsize=17771900 CPUtime=4954.36 cores=0-31
/proc/25706/task/25721/stat : 25721 (plingeling) R 25704 25706 25680 0 -1 4202560 650602 1245 0 0 494202 1233 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4358082 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25706/tid=25722] ppid=25704 vsize=17771900 CPUtime=4956.62 cores=0-31
/proc/25706/task/25722/stat : 25722 (plingeling) R 25704 25706 25680 0 -1 4202560 649035 1245 0 0 494640 1021 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25706/tid=25723] ppid=25704 vsize=17771900 CPUtime=4949.1 cores=0-31
/proc/25706/task/25723/stat : 25723 (plingeling) R 25704 25706 25680 0 -1 4202560 676393 1245 0 0 494184 725 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25706/tid=25724] ppid=25704 vsize=17771900 CPUtime=4956.26 cores=0-31
/proc/25706/task/25724/stat : 25724 (plingeling) R 25704 25706 25680 0 -1 4202560 602058 1245 0 0 494615 1010 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25706/tid=25725] ppid=25704 vsize=17771900 CPUtime=4956.52 cores=0-31
/proc/25706/task/25725/stat : 25725 (plingeling) R 25704 25706 25680 0 -1 4202560 551851 1245 0 0 494705 946 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25706/tid=25726] ppid=25704 vsize=17771900 CPUtime=4955.19 cores=0-31
/proc/25706/task/25726/stat : 25726 (plingeling) R 25704 25706 25680 0 -1 4202560 662535 1245 0 0 494397 1121 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25706/tid=25727] ppid=25704 vsize=17771900 CPUtime=4955.22 cores=0-31
/proc/25706/task/25727/stat : 25727 (plingeling) R 25704 25706 25680 0 -1 4202560 457508 1245 0 0 494827 694 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25706/tid=25728] ppid=25704 vsize=17771900 CPUtime=4943.06 cores=0-31
/proc/25706/task/25728/stat : 25728 (plingeling) R 25704 25706 25680 0 -1 4202560 544102 1245 0 0 493384 921 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25706/tid=25729] ppid=25704 vsize=17771900 CPUtime=4949.88 cores=0-31
/proc/25706/task/25729/stat : 25729 (plingeling) R 25704 25706 25680 0 -1 4202560 593015 1245 0 0 494051 936 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25706/tid=25730] ppid=25704 vsize=17771900 CPUtime=4944.82 cores=0-31
/proc/25706/task/25730/stat : 25730 (plingeling) R 25704 25706 25680 0 -1 4202560 648114 1245 0 0 493333 1148 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25706/tid=25731] ppid=25704 vsize=17771900 CPUtime=4948.24 cores=0-31
/proc/25706/task/25731/stat : 25731 (plingeling) R 25704 25706 25680 0 -1 4202560 520293 1245 0 0 494034 789 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25706/tid=25732] ppid=25704 vsize=17771900 CPUtime=4946.93 cores=0-31
/proc/25706/task/25732/stat : 25732 (plingeling) R 25704 25706 25680 0 -1 4202560 643610 1245 0 0 493548 1144 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25706/tid=25733] ppid=25704 vsize=17771900 CPUtime=4954.32 cores=0-31
/proc/25706/task/25733/stat : 25733 (plingeling) R 25704 25706 25680 0 -1 4202560 679687 1245 0 0 494299 1132 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25706/tid=25734] ppid=25704 vsize=17771900 CPUtime=4955.84 cores=0-31
/proc/25706/task/25734/stat : 25734 (plingeling) R 25704 25706 25680 0 -1 4202560 566665 1245 0 0 494532 1051 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25706/tid=25735] ppid=25704 vsize=17771900 CPUtime=4904.79 cores=0-31
/proc/25706/task/25735/stat : 25735 (plingeling) R 25704 25706 25680 0 -1 4202560 648629 1245 0 0 489237 1241 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25706/tid=25736] ppid=25704 vsize=17771900 CPUtime=4956.51 cores=0-31
/proc/25706/task/25736/stat : 25736 (plingeling) R 25704 25706 25680 0 -1 4202560 579770 1245 0 0 494620 1030 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25706/tid=25737] ppid=25704 vsize=17771900 CPUtime=4953.11 cores=0-31
/proc/25706/task/25737/stat : 25737 (plingeling) R 25704 25706 25680 0 -1 4202560 601457 1245 0 0 494117 1193 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4357902 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25706/tid=25738] ppid=25704 vsize=17771900 CPUtime=4957.12 cores=0-31
/proc/25706/task/25738/stat : 25738 (plingeling) R 25704 25706 25680 0 -1 4202560 401858 1245 0 0 494974 737 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25706/tid=25739] ppid=25704 vsize=17771900 CPUtime=4944.81 cores=0-31
/proc/25706/task/25739/stat : 25739 (plingeling) R 25704 25706 25680 0 -1 4202560 637911 1245 0 0 493387 1093 0 1 25 0 33 0 717697303 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25706/tid=25740] ppid=25704 vsize=17771900 CPUtime=4957.13 cores=0-31
/proc/25706/task/25740/stat : 25740 (plingeling) R 25704 25706 25680 0 -1 4202560 598707 1245 0 0 494599 1113 0 1 25 0 33 0 717697304 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25706/tid=25741] ppid=25704 vsize=17771900 CPUtime=4952.16 cores=0-31
/proc/25706/task/25741/stat : 25741 (plingeling) R 25704 25706 25680 0 -1 4202560 486625 1245 0 0 494419 796 0 1 25 0 33 0 717697304 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25706/tid=25742] ppid=25704 vsize=17771900 CPUtime=4957.41 cores=0-31
/proc/25706/task/25742/stat : 25742 (plingeling) R 25704 25706 25680 0 -1 4202560 437429 1245 0 0 494929 811 0 1 25 0 33 0 717697304 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25706/tid=25743] ppid=25704 vsize=17771900 CPUtime=4956.68 cores=0-31
/proc/25706/task/25743/stat : 25743 (plingeling) R 25704 25706 25680 0 -1 4202560 596048 1245 0 0 494861 806 0 1 25 0 33 0 717697304 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4353830 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25706/tid=25744] ppid=25704 vsize=17771900 CPUtime=4956.54 cores=0-31
/proc/25706/task/25744/stat : 25744 (plingeling) R 25704 25706 25680 0 -1 4202560 564831 1245 0 0 494677 976 0 1 25 0 33 0 717697304 18198425600 4328686 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 158465
Current children cumulated vsize (KiB) 17771900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5010.4 s]
/proc/loadavg: 32.03 32.03 32.07 34/446 25892
/proc/meminfo: memFree=238304260/264257624 swapFree=67111528/67111528
[pid=25706] ppid=25704 vsize=17625744 CPUtime=160004 cores=0-31
/proc/25706/stat : 25706 (plingeling) S 25704 25706 25680 0 -1 4202496 18665119 1245 0 0 15969406 30989 0 1 18 0 33 0 717697052 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 13 0 0 0
/proc/25706/statm: 4406436 4292147 175 55 0 4404322 0
[pid=25706/tid=25713] ppid=25704 vsize=17625744 CPUtime=5002.36 cores=0-31
/proc/25706/task/25713/stat : 25713 (plingeling) R 25704 25706 25680 0 -1 4202560 517734 1245 0 0 499476 759 0 1 25 0 33 0 717697302 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=25706/tid=25714] ppid=25704 vsize=17625744 CPUtime=5004.01 cores=0-31
/proc/25706/task/25714/stat : 25714 (plingeling) R 25704 25706 25680 0 -1 4202560 550381 1245 0 0 499339 1061 0 1 25 0 33 0 717697302 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=25706/tid=25715] ppid=25704 vsize=17625744 CPUtime=5003.81 cores=0-31
/proc/25706/task/25715/stat : 25715 (plingeling) R 25704 25706 25680 0 -1 4202560 536268 1245 0 0 499626 754 0 1 25 0 33 0 717697302 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25706/tid=25716] ppid=25704 vsize=17625744 CPUtime=5001.86 cores=0-31
/proc/25706/task/25716/stat : 25716 (plingeling) R 25704 25706 25680 0 -1 4202560 514599 1245 0 0 499277 908 0 1 25 0 33 0 717697302 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=25706/tid=25717] ppid=25704 vsize=17625744 CPUtime=5003.02 cores=0-31
/proc/25706/task/25717/stat : 25717 (plingeling) R 25704 25706 25680 0 -1 4202560 715835 1245 0 0 499278 1023 0 1 25 0 33 0 717697302 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=25706/tid=25718] ppid=25704 vsize=17625744 CPUtime=5003.37 cores=0-31
/proc/25706/task/25718/stat : 25718 (plingeling) R 25704 25706 25680 0 -1 4202560 497351 1245 0 0 499526 810 0 1 25 0 33 0 717697302 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=25706/tid=25719] ppid=25704 vsize=17625744 CPUtime=5005.48 cores=0-31
/proc/25706/task/25719/stat : 25719 (plingeling) R 25704 25706 25680 0 -1 4202560 572351 1245 0 0 499691 856 0 1 25 0 33 0 717697302 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=25706/tid=25720] ppid=25704 vsize=17625744 CPUtime=5001.2 cores=0-31
/proc/25706/task/25720/stat : 25720 (plingeling) R 25704 25706 25680 0 -1 4202560 577115 1245 0 0 499286 833 0 1 25 0 33 0 717697302 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25706/tid=25721] ppid=25704 vsize=17625744 CPUtime=5002.47 cores=0-31
/proc/25706/task/25721/stat : 25721 (plingeling) R 25704 25706 25680 0 -1 4202560 650602 1245 0 0 499013 1233 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4309461 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=25706/tid=25722] ppid=25704 vsize=17625744 CPUtime=5004.75 cores=0-31
/proc/25706/task/25722/stat : 25722 (plingeling) R 25704 25706 25680 0 -1 4202560 682124 1245 0 0 499362 1112 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=25706/tid=25723] ppid=25704 vsize=17625744 CPUtime=4997.23 cores=0-31
/proc/25706/task/25723/stat : 25723 (plingeling) R 25704 25706 25680 0 -1 4202560 676393 1245 0 0 498997 725 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=25706/tid=25724] ppid=25704 vsize=17625744 CPUtime=5004.39 cores=0-31
/proc/25706/task/25724/stat : 25724 (plingeling) R 25704 25706 25680 0 -1 4202560 602058 1245 0 0 499428 1010 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=25706/tid=25725] ppid=25704 vsize=17625744 CPUtime=5004.65 cores=0-31
/proc/25706/task/25725/stat : 25725 (plingeling) R 25704 25706 25680 0 -1 4202560 551851 1245 0 0 499518 946 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25706/tid=25726] ppid=25704 vsize=17625744 CPUtime=5003.32 cores=0-31
/proc/25706/task/25726/stat : 25726 (plingeling) R 25704 25706 25680 0 -1 4202560 662535 1245 0 0 499210 1121 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25706/tid=25727] ppid=25704 vsize=17625744 CPUtime=5003.35 cores=0-31
/proc/25706/task/25727/stat : 25727 (plingeling) R 25704 25706 25680 0 -1 4202560 457508 1245 0 0 499640 694 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=25706/tid=25728] ppid=25704 vsize=17625744 CPUtime=4991.19 cores=0-31
/proc/25706/task/25728/stat : 25728 (plingeling) R 25704 25706 25680 0 -1 4202560 544102 1245 0 0 498197 921 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=25706/tid=25729] ppid=25704 vsize=17625744 CPUtime=4998.01 cores=0-31
/proc/25706/task/25729/stat : 25729 (plingeling) R 25704 25706 25680 0 -1 4202560 593015 1245 0 0 498864 936 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=25706/tid=25730] ppid=25704 vsize=17625744 CPUtime=4992.96 cores=0-31
/proc/25706/task/25730/stat : 25730 (plingeling) R 25704 25706 25680 0 -1 4202560 648114 1245 0 0 498147 1148 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=25706/tid=25731] ppid=25704 vsize=17625744 CPUtime=4996.35 cores=0-31
/proc/25706/task/25731/stat : 25731 (plingeling) R 25704 25706 25680 0 -1 4202560 520293 1245 0 0 498845 789 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25706/tid=25732] ppid=25704 vsize=17625744 CPUtime=4995.07 cores=0-31
/proc/25706/task/25732/stat : 25732 (plingeling) R 25704 25706 25680 0 -1 4202560 643610 1245 0 0 498362 1144 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25706/tid=25733] ppid=25704 vsize=17625744 CPUtime=5002.45 cores=0-31
/proc/25706/task/25733/stat : 25733 (plingeling) R 25704 25706 25680 0 -1 4202560 688252 1245 0 0 499089 1155 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4250432 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=25706/tid=25734] ppid=25704 vsize=17625744 CPUtime=5003.97 cores=0-31
/proc/25706/task/25734/stat : 25734 (plingeling) R 25704 25706 25680 0 -1 4202560 566665 1245 0 0 499345 1051 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=25706/tid=25735] ppid=25704 vsize=17625744 CPUtime=4951.54 cores=0-31
/proc/25706/task/25735/stat : 25735 (plingeling) R 25704 25706 25680 0 -1 4202560 648629 1245 0 0 493912 1241 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=25706/tid=25736] ppid=25704 vsize=17625744 CPUtime=5004.64 cores=0-31
/proc/25706/task/25736/stat : 25736 (plingeling) R 25704 25706 25680 0 -1 4202560 579770 1245 0 0 499433 1030 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=25706/tid=25737] ppid=25704 vsize=17625744 CPUtime=5001.24 cores=0-31
/proc/25706/task/25737/stat : 25737 (plingeling) R 25704 25706 25680 0 -1 4202560 608226 1245 0 0 498929 1194 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=25706/tid=25738] ppid=25704 vsize=17625744 CPUtime=5005.25 cores=0-31
/proc/25706/task/25738/stat : 25738 (plingeling) R 25704 25706 25680 0 -1 4202560 401858 1245 0 0 499787 737 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=25706/tid=25739] ppid=25704 vsize=17625744 CPUtime=4992.94 cores=0-31
/proc/25706/task/25739/stat : 25739 (plingeling) R 25704 25706 25680 0 -1 4202560 647846 1245 0 0 498198 1095 0 1 25 0 33 0 717697303 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25706/tid=25740] ppid=25704 vsize=17625744 CPUtime=5005.27 cores=0-31
/proc/25706/task/25740/stat : 25740 (plingeling) R 25704 25706 25680 0 -1 4202560 668228 1245 0 0 499243 1283 0 1 25 0 33 0 717697304 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=25706/tid=25741] ppid=25704 vsize=17625744 CPUtime=5000.29 cores=0-31
/proc/25706/task/25741/stat : 25741 (plingeling) R 25704 25706 25680 0 -1 4202560 486625 1245 0 0 499232 796 0 1 25 0 33 0 717697304 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25706/tid=25742] ppid=25704 vsize=17625744 CPUtime=5005.55 cores=0-31
/proc/25706/task/25742/stat : 25742 (plingeling) R 25704 25706 25680 0 -1 4202560 437429 1245 0 0 499743 811 0 1 25 0 33 0 717697304 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=25706/tid=25743] ppid=25704 vsize=17625744 CPUtime=5004.81 cores=0-31
/proc/25706/task/25743/stat : 25743 (plingeling) R 25704 25706 25680 0 -1 4202560 596048 1245 0 0 499674 806 0 1 25 0 33 0 717697304 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=25706/tid=25744] ppid=25704 vsize=17625744 CPUtime=5004.67 cores=0-31
/proc/25706/task/25744/stat : 25744 (plingeling) R 25704 25706 25680 0 -1 4202560 590824 1245 0 0 499482 984 0 1 25 0 33 0 717697304 18048761856 4292147 268435456000 4194304 4417452 140734850715136 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 17625744

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

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

[startup+5011 s]
/proc/loadavg: 32.03 32.03 32.07 34/446 25892
/proc/meminfo: memFree=238304260/264257624 swapFree=67111528/67111528
[pid=25706] ppid=25704 vsize=0 CPUtime=160005 cores=0-31
/proc/25706/stat : 25706 (plingeling) Z 25704 25706 25680 0 -1 4203548 18665119 1245 0 0 15969428 31045 0 1 18 0 2 0 717697052 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 13 0 0 0
/proc/25706/statm: 0 0 0 0 0 0 0
[pid=25706/tid=25743] ppid=25704 vsize=0 CPUtime=5005.36 cores=0-31
/proc/25706/task/25743/stat : 25743 (plingeling) R 25704 25706 25680 0 -1 4203588 596048 1245 0 0 499674 861 0 1 25 0 2 0 717697304 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) 160005
Current children cumulated vsize (KiB) 0

[startup+5011.4 s]
/proc/loadavg: 32.03 32.03 32.07 34/446 25892
/proc/meminfo: memFree=238304260/264257624 swapFree=67111528/67111528
[pid=25706] ppid=25704 vsize=0 CPUtime=160005 cores=0-31
/proc/25706/stat : 25706 (plingeling) Z 25704 25706 25680 0 -1 4203548 18665119 1245 0 0 15969428 31085 0 1 18 0 2 0 717697052 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 13 0 0 0
/proc/25706/statm: 0 0 0 0 0 0 0
[pid=25706/tid=25743] ppid=25704 vsize=0 CPUtime=5005.76 cores=0-31
/proc/25706/task/25743/stat : 25743 (plingeling) R 25704 25706 25680 0 -1 4203588 596048 1245 0 0 499674 901 0 1 25 0 2 0 717697304 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) 160005
Current children cumulated vsize (KiB) 0

[startup+5011.64 s]
/proc/loadavg: 32.03 32.03 32.07 2/416 25893
/proc/meminfo: memFree=253230224/264257624 swapFree=67111528/67111528
[pid=25706] ppid=25704 vsize=0 CPUtime=160005 cores=0-31
/proc/25706/stat : 25706 (plingeling) Z 25704 25706 25680 0 -1 4203548 18665119 1245 0 0 15969428 31108 0 1 18 0 2 0 717697052 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 13 0 0 0
/proc/25706/statm: 0 0 0 0 0 0 0
[pid=25706/tid=25743] ppid=25704 vsize=0 CPUtime=5006 cores=0-31
/proc/25706/task/25743/stat : 25743 (plingeling) R 25704 25706 25680 0 -1 4203588 596048 1245 0 0 499674 925 0 1 25 0 2 0 717697304 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) 160005
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5011.64
CPU time (s): 160005
CPU user time (s): 159694
CPU system time (s): 311.101
CPU usage (%): 3192.68
Max. virtual memory (cumulated for all children) (KiB): 18204924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159694
system time used= 311.101
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18666364
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= 10704
involuntary context switches= 402683

runsolver used 26.553 second user time and 114.806 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-22 13:01:46
IDJOB=3372828
IDBENCH=84205
IDSOLVER=1852
FILE ID=node200/3372828-1306062106
RUNJOBID= node200-1306062106-25694
PBS_JOBID= 13387811
Free space on /tmp= 62044 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/c6288mul.miter.shuffled-as.sat03-346.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372828-1306062106/watcher-3372828-1306062106 -o /tmp/evaluation-result-3372828-1306062106/solver-3372828-1306062106 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372828-1306062106.cnf

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

MD5SUM BENCH= 9799c8db3562549113e4a12f98721530
RANDOM SEED=1745929547

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:      255495560 kB
Buffers:        455208 kB
Cached:        7900300 kB
SwapCached:          0 kB
Active:        7450416 kB
Inactive:       973872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255495560 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1496 kB
Writeback:           0 kB
AnonPages:       69388 kB
Mapped:          14452 kB
Slab:           253348 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   182140 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-22 14:25:19