Trace number 3472453

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
claspmt 2.0-R4095-patched (fixed)? (TO) 160005 5010.14

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 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...683274/instance-3472453-1307683274.cnf
1.00/1.10	c Solving...
160001.62/5007.93	
160001.62/5007.93	*** INTERRUPTED! ***
160001.62/5007.93	*** Shutting down threads...

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: 977)

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-3472453-1307683274/watcher-3472453-1307683274 -o /tmp/evaluation-result-3472453-1307683274/solver-3472453-1307683274 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472453-1307683274.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): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 29.52 31.50 31.85 1/412 1613
/proc/meminfo: memFree=262188124/264257624 swapFree=67111528/67111528
[pid=1613] ppid=1611 vsize=27408 CPUtime=0 cores=0-31
/proc/1613/stat : 1613 (claspmt) R 1611 1613 1583 0 -1 4202496 537 0 0 0 0 0 0 0 21 0 1 0 33714297 28065792 466 270582939648 4194304 4964800 140735728717216 18446744073709551615 4686341 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/1613/statm: 6852 466 372 189 0 1726 0

[startup+0.0410229 s]
/proc/loadavg: 29.52 31.50 31.85 1/412 1613
/proc/meminfo: memFree=262188124/264257624 swapFree=67111528/67111528
[pid=1613] ppid=1611 vsize=31008 CPUtime=0.03 cores=0-31
/proc/1613/stat : 1613 (claspmt) R 1611 1613 1583 0 -1 4202496 3404 0 0 0 3 0 0 0 21 0 1 0 33714297 31752192 2934 270582939648 4194304 4964800 140735728717216 18446744073709551615 4567897 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/1613/statm: 7752 2934 386 189 0 2626 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 31008

[startup+0.101106 s]
/proc/loadavg: 29.52 31.50 31.85 1/412 1613
/proc/meminfo: memFree=262188124/264257624 swapFree=67111528/67111528
[pid=1613] ppid=1611 vsize=34900 CPUtime=0.09 cores=0-31
/proc/1613/stat : 1613 (claspmt) R 1611 1613 1583 0 -1 4202496 4647 0 0 0 8 1 0 0 21 0 1 0 33714297 35737600 3885 270582939648 4194304 4964800 140735728717216 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/1613/statm: 8725 3886 386 189 0 3599 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34900

[startup+0.301121 s]
/proc/loadavg: 29.52 31.50 31.85 1/412 1613
/proc/meminfo: memFree=262188124/264257624 swapFree=67111528/67111528
[pid=1613] ppid=1611 vsize=46156 CPUtime=0.29 cores=0-31
/proc/1613/stat : 1613 (claspmt) R 1611 1613 1583 0 -1 4202496 8279 0 0 0 28 1 0 0 22 0 1 0 33714297 47263744 6566 270582939648 4194304 4964800 140735728717216 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/1613/statm: 11572 6567 401 189 0 6446 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46156

[startup+0.701133 s]
/proc/loadavg: 29.52 31.50 31.85 1/412 1613
/proc/meminfo: memFree=262188124/264257624 swapFree=67111528/67111528
[pid=1613] ppid=1611 vsize=52232 CPUtime=0.69 cores=0-31
/proc/1613/stat : 1613 (claspmt) R 1611 1613 1583 0 -1 4202496 9788 0 0 0 67 2 0 0 23 0 1 0 33714297 53485568 8075 270582939648 4194304 4964800 140735728717216 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/1613/statm: 13058 8075 401 189 0 7932 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52232

[startup+1.50105 s]
/proc/loadavg: 29.52 31.50 31.85 2/413 1614
/proc/meminfo: memFree=262155872/264257624 swapFree=67111528/67111528
[pid=1613] ppid=1611 vsize=1521792 CPUtime=6.33 cores=0-31
/proc/1613/stat : 1613 (claspmt) S 1611 1613 1583 0 -1 4202496 63864 0 0 0 171 462 0 0 18 0 32 0 33714297 1558315008 48982 270582939648 4194304 4964800 140735728717216 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/1613/statm: 380448 48993 440 189 0 374797 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 1521792

[startup+3.1021 s]
/proc/loadavg: 29.52 31.50 31.85 5/444 1645
/proc/meminfo: memFree=261991384/264257624 swapFree=67111528/67111528
[pid=1613] ppid=1611 vsize=1522056 CPUtime=37.8 cores=0-31
/proc/1613/stat : 1613 (claspmt) R 1611 1613 1583 0 -1 4202496 70280 0 0 0 3294 486 0 0 19 0 32 0 33714297 1558585344 55354 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668636 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/1613/statm: 380514 55356 461 189 0 374863 0
[pid=1613/tid=1615] ppid=1611 vsize=1522056 CPUtime=1.02 cores=0-31
/proc/1613/task/1615/stat : 1615 (claspmt) R 1611 1613 1583 0 -1 4202560 1688 0 0 0 90 12 0 0 16 0 32 0 33714408 1558585344 55356 270582939648 4194304 4964800 140735728717216 18446744073709551615 4313984 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=1613/tid=1616] ppid=1611 vsize=1522056 CPUtime=1.07 cores=0-31
/proc/1613/task/1616/stat : 1616 (claspmt) R 1611 1613 1583 0 -1 4202560 2149 0 0 0 90 17 0 0 16 0 32 0 33714408 1558585344 55357 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1613/tid=1617] ppid=1611 vsize=1522056 CPUtime=1.03 cores=0-31
/proc/1613/task/1617/stat : 1617 (claspmt) R 1611 1613 1583 0 -1 4202560 2255 0 0 0 90 13 0 0 16 0 32 0 33714408 1558585344 55357 270582939648 4194304 4964800 140735728717216 18446744073709551615 4342213 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=1613/tid=1618] ppid=1611 vsize=1522056 CPUtime=1.07 cores=0-31
/proc/1613/task/1618/stat : 1618 (claspmt) R 1611 1613 1583 0 -1 4202560 1712 0 0 0 91 16 0 0 16 0 32 0 33714408 1558585344 55358 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668732 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1613/tid=1619] ppid=1611 vsize=1522056 CPUtime=1.78 cores=0-31
/proc/1613/task/1619/stat : 1619 (claspmt) R 1611 1613 1583 0 -1 4202560 1709 0 0 0 162 16 0 0 19 0 32 0 33714408 1558585344 55359 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1613/tid=1620] ppid=1611 vsize=1522056 CPUtime=1.07 cores=0-31
/proc/1613/task/1620/stat : 1620 (claspmt) R 1611 1613 1583 0 -1 4202560 1918 0 0 0 90 17 0 0 16 0 32 0 33714408 1558585344 55366 270582939648 4194304 4964800 140735728717216 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=1613/tid=1621] ppid=1611 vsize=1522056 CPUtime=1.07 cores=0-31
/proc/1613/task/1621/stat : 1621 (claspmt) R 1611 1613 1583 0 -1 4202560 2154 0 0 0 90 17 0 0 16 0 32 0 33714408 1558585344 55367 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670112 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1613/tid=1622] ppid=1611 vsize=1522056 CPUtime=1.08 cores=0-31
/proc/1613/task/1622/stat : 1622 (claspmt) R 1611 1613 1583 0 -1 4202560 1626 0 0 0 91 17 0 0 16 0 32 0 33714408 1558585344 55367 270582939648 4194304 4964800 140735728717216 18446744073709551615 4342193 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1613/tid=1623] ppid=1611 vsize=1522056 CPUtime=1.03 cores=0-31
/proc/1613/task/1623/stat : 1623 (claspmt) R 1611 1613 1583 0 -1 4202560 1775 0 0 0 90 13 0 0 16 0 32 0 33714408 1558585344 55367 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=1613/tid=1624] ppid=1611 vsize=1522056 CPUtime=1.06 cores=0-31
/proc/1613/task/1624/stat : 1624 (claspmt) R 1611 1613 1583 0 -1 4202560 2085 0 0 0 91 15 0 0 16 0 32 0 33714408 1558585344 55367 270582939648 4194304 4964800 140735728717216 18446744073709551615 4683952 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=1613/tid=1625] ppid=1611 vsize=1522056 CPUtime=1.06 cores=0-31
/proc/1613/task/1625/stat : 1625 (claspmt) R 1611 1613 1583 0 -1 4202560 2248 0 0 0 91 15 0 0 16 0 32 0 33714408 1558585344 55367 270582939648 4194304 4964800 140735728717216 18446744073709551615 4361097 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=1613/tid=1626] ppid=1611 vsize=1522056 CPUtime=1.03 cores=0-31
/proc/1613/task/1626/stat : 1626 (claspmt) R 1611 1613 1583 0 -1 4202560 1643 0 0 0 90 13 0 0 16 0 32 0 33714408 1558585344 55367 270582939648 4194304 4964800 140735728717216 18446744073709551615 258650653097 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=1613/tid=1627] ppid=1611 vsize=1522056 CPUtime=1.74 cores=0-31
/proc/1613/task/1627/stat : 1627 (claspmt) R 1611 1613 1583 0 -1 4202560 1755 0 0 0 158 16 0 0 19 0 32 0 33714408 1558585344 55367 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=1613/tid=1628] ppid=1611 vsize=1522056 CPUtime=1.05 cores=0-31
/proc/1613/task/1628/stat : 1628 (claspmt) R 1611 1613 1583 0 -1 4202560 2136 0 0 0 90 15 0 0 16 0 32 0 33714408 1558585344 55367 270582939648 4194304 4964800 140735728717216 18446744073709551615 4627281 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=1613/tid=1629] ppid=1611 vsize=1522056 CPUtime=1.08 cores=0-31
/proc/1613/task/1629/stat : 1629 (claspmt) R 1611 1613 1583 0 -1 4202560 2024 0 0 0 91 17 0 0 16 0 32 0 33714408 1558585344 55367 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1613/tid=1630] ppid=1611 vsize=1522056 CPUtime=1.05 cores=0-31
/proc/1613/task/1630/stat : 1630 (claspmt) R 1611 1613 1583 0 -1 4202560 1687 0 0 0 90 15 0 0 16 0 32 0 33714408 1558585344 55372 270582939648 4194304 4964800 140735728717216 18446744073709551615 4627293 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=1613/tid=1631] ppid=1611 vsize=1522056 CPUtime=1.04 cores=0-31
/proc/1613/task/1631/stat : 1631 (claspmt) R 1611 1613 1583 0 -1 4202560 1705 0 0 0 91 13 0 0 16 0 32 0 33714408 1558585344 55372 270582939648 4194304 4964800 140735728717216 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1613/tid=1632] ppid=1611 vsize=1522056 CPUtime=1.07 cores=0-31
/proc/1613/task/1632/stat : 1632 (claspmt) R 1611 1613 1583 0 -1 4202560 2247 0 0 0 91 16 0 0 16 0 32 0 33714408 1558585344 55372 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=1613/tid=1633] ppid=1611 vsize=1522056 CPUtime=1.08 cores=0-31
/proc/1613/task/1633/stat : 1633 (claspmt) R 1611 1613 1583 0 -1 4202560 2121 0 0 0 91 17 0 0 16 0 32 0 33714408 1558585344 55372 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=1613/tid=1634] ppid=1611 vsize=1522056 CPUtime=1.05 cores=0-31
/proc/1613/task/1634/stat : 1634 (claspmt) R 1611 1613 1583 0 -1 4202560 1688 0 0 0 90 15 0 0 16 0 32 0 33714408 1558585344 55372 270582939648 4194304 4964800 140735728717216 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=1613/tid=1635] ppid=1611 vsize=1522056 CPUtime=1.77 cores=0-31
/proc/1613/task/1635/stat : 1635 (claspmt) R 1611 1613 1583 0 -1 4202560 1876 0 0 0 163 14 0 0 19 0 32 0 33714408 1558585344 55373 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668672 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=1613/tid=1636] ppid=1611 vsize=1522056 CPUtime=1.06 cores=0-31
/proc/1613/task/1636/stat : 1636 (claspmt) R 1611 1613 1583 0 -1 4202560 2285 0 0 0 91 15 0 0 16 0 32 0 33714408 1558585344 55373 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668805 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=1613/tid=1637] ppid=1611 vsize=1522056 CPUtime=1.06 cores=0-31
/proc/1613/task/1637/stat : 1637 (claspmt) R 1611 1613 1583 0 -1 4202560 1902 0 0 0 89 17 0 0 16 0 32 0 33714408 1558585344 55373 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1613/tid=1638] ppid=1611 vsize=1522056 CPUtime=1.03 cores=0-31
/proc/1613/task/1638/stat : 1638 (claspmt) R 1611 1613 1583 0 -1 4202560 1689 0 0 0 90 13 0 0 16 0 32 0 33714408 1558585344 55373 270582939648 4194304 4964800 140735728717216 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=1613/tid=1639] ppid=1611 vsize=1522056 CPUtime=1.04 cores=0-31
/proc/1613/task/1639/stat : 1639 (claspmt) R 1611 1613 1583 0 -1 4202560 1626 0 0 0 91 13 0 0 16 0 32 0 33714408 1558585344 55373 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=1613/tid=1640] ppid=1611 vsize=1522056 CPUtime=1.06 cores=0-31
/proc/1613/task/1640/stat : 1640 (claspmt) R 1611 1613 1583 0 -1 4202560 2254 0 0 0 91 15 0 0 16 0 32 0 33714408 1558585344 55373 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=1613/tid=1641] ppid=1611 vsize=1522056 CPUtime=1.05 cores=0-31
/proc/1613/task/1641/stat : 1641 (claspmt) R 1611 1613 1583 0 -1 4202560 2060 0 0 0 91 14 0 0 16 0 32 0 33714408 1558585344 55373 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=1613/tid=1642] ppid=1611 vsize=1522056 CPUtime=1.05 cores=0-31
/proc/1613/task/1642/stat : 1642 (claspmt) R 1611 1613 1583 0 -1 4202560 1756 0 0 0 90 15 0 0 16 0 32 0 33714408 1558585344 55374 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=1613/tid=1643] ppid=1611 vsize=1522056 CPUtime=1.73 cores=0-31
/proc/1613/task/1643/stat : 1643 (claspmt) R 1611 1613 1583 0 -1 4202560 1768 0 0 0 158 15 0 0 20 0 32 0 33714409 1558585344 55374 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=1613/tid=1644] ppid=1611 vsize=1522056 CPUtime=1.07 cores=0-31
/proc/1613/task/1644/stat : 1644 (claspmt) R 1611 1613 1583 0 -1 4202560 2071 0 0 0 92 15 0 0 16 0 32 0 33714409 1558585344 55374 270582939648 4194304 4964800 140735728717216 18446744073709551615 4653604 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=1613/tid=1645] ppid=1611 vsize=1522056 CPUtime=1.06 cores=0-31
/proc/1613/task/1645/stat : 1645 (claspmt) R 1611 1613 1583 0 -1 4202560 2006 0 0 0 90 16 0 0 16 0 32 0 33714409 1558585344 55374 270582939648 4194304 4964800 140735728717216 18446744073709551615 4660422 0 0 4096 18946 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 37.8
Current children cumulated vsize (KiB) 1522056

[startup+6.30222 s]
/proc/loadavg: 29.72 31.51 31.85 33/444 1645
/proc/meminfo: memFree=261903924/264257624 swapFree=67111528/67111528
[pid=1613] ppid=1611 vsize=1526224 CPUtime=139.77 cores=0-31
/proc/1613/stat : 1613 (claspmt) R 1611 1613 1583 0 -1 4202496 92805 0 0 0 13427 550 0 0 22 0 32 0 33714297 1562853376 77879 270582939648 4194304 4964800 140735728717216 18446744073709551615 4320897 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/1613/statm: 381556 77880 461 189 0 375905 0
[pid=1613/tid=1615] ppid=1611 vsize=1526224 CPUtime=4.23 cores=0-31
/proc/1613/task/1615/stat : 1615 (claspmt) R 1611 1613 1583 0 -1 4202560 2181 0 0 0 408 15 0 0 22 0 32 0 33714408 1562853376 77880 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=1613/tid=1616] ppid=1611 vsize=1526224 CPUtime=4.26 cores=0-31
/proc/1613/task/1616/stat : 1616 (claspmt) R 1611 1613 1583 0 -1 4202560 3128 0 0 0 406 20 0 0 22 0 32 0 33714408 1562853376 77880 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1613/tid=1617] ppid=1611 vsize=1526224 CPUtime=4.13 cores=0-31
/proc/1613/task/1617/stat : 1617 (claspmt) R 1611 1613 1583 0 -1 4202560 2982 0 0 0 398 15 0 0 20 0 32 0 33714408 1562853376 77880 270582939648 4194304 4964800 140735728717216 18446744073709551615 4332253 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=1613/tid=1618] ppid=1611 vsize=1526224 CPUtime=4.26 cores=0-31
/proc/1613/task/1618/stat : 1618 (claspmt) R 1611 1613 1583 0 -1 4202560 2613 0 0 0 408 18 0 0 19 0 32 0 33714408 1562853376 77880 270582939648 4194304 4964800 140735728717216 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1613/tid=1619] ppid=1611 vsize=1526224 CPUtime=4.98 cores=0-31
/proc/1613/task/1619/stat : 1619 (claspmt) R 1611 1613 1583 0 -1 4202560 1780 0 0 0 481 17 0 0 25 0 32 0 33714408 1562853376 77880 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1613/tid=1620] ppid=1611 vsize=1526224 CPUtime=4.26 cores=0-31
/proc/1613/task/1620/stat : 1620 (claspmt) R 1611 1613 1583 0 -1 4202560 2756 0 0 0 407 19 0 0 22 0 32 0 33714408 1562853376 77880 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=1613/tid=1621] ppid=1611 vsize=1526224 CPUtime=4.26 cores=0-31
/proc/1613/task/1621/stat : 1621 (claspmt) R 1611 1613 1583 0 -1 4202560 3156 0 0 0 406 20 0 0 22 0 32 0 33714408 1562853376 77880 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1613/tid=1622] ppid=1611 vsize=1526224 CPUtime=4.27 cores=0-31
/proc/1613/task/1622/stat : 1622 (claspmt) R 1611 1613 1583 0 -1 4202560 2145 0 0 0 409 18 0 0 20 0 32 0 33714408 1562853376 77880 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1613/tid=1623] ppid=1611 vsize=1526224 CPUtime=4.21 cores=0-31
/proc/1613/task/1623/stat : 1623 (claspmt) R 1611 1613 1583 0 -1 4202560 2308 0 0 0 407 14 0 0 21 0 32 0 33714408 1562853376 77881 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=1613/tid=1624] ppid=1611 vsize=1526224 CPUtime=4.25 cores=0-31
/proc/1613/task/1624/stat : 1624 (claspmt) R 1611 1613 1583 0 -1 4202560 3015 0 0 0 407 18 0 0 18 0 32 0 33714408 1562853376 77881 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=1613/tid=1625] ppid=1611 vsize=1526224 CPUtime=4.25 cores=0-31
/proc/1613/task/1625/stat : 1625 (claspmt) R 1611 1613 1583 0 -1 4202560 2963 0 0 0 409 16 0 0 20 0 32 0 33714408 1562853376 77881 270582939648 4194304 4964800 140735728717216 18446744073709551615 4342186 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=1613/tid=1626] ppid=1611 vsize=1526224 CPUtime=4.22 cores=0-31
/proc/1613/task/1626/stat : 1626 (claspmt) R 1611 1613 1583 0 -1 4202560 2552 0 0 0 407 15 0 0 20 0 32 0 33714408 1562853376 77881 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=1613/tid=1627] ppid=1611 vsize=1526224 CPUtime=4.94 cores=0-31
/proc/1613/task/1627/stat : 1627 (claspmt) R 1611 1613 1583 0 -1 4202560 1834 0 0 0 478 16 0 0 20 0 32 0 33714408 1562853376 77881 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=1613/tid=1628] ppid=1611 vsize=1526224 CPUtime=4.24 cores=0-31
/proc/1613/task/1628/stat : 1628 (claspmt) R 1611 1613 1583 0 -1 4202560 3076 0 0 0 406 18 0 0 22 0 32 0 33714408 1562853376 77881 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=1613/tid=1629] ppid=1611 vsize=1526224 CPUtime=4.25 cores=0-31
/proc/1613/task/1629/stat : 1629 (claspmt) R 1611 1613 1583 0 -1 4202560 3211 0 0 0 404 21 0 0 20 0 32 0 33714408 1562853376 77881 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1613/tid=1630] ppid=1611 vsize=1526224 CPUtime=4.25 cores=0-31
/proc/1613/task/1630/stat : 1630 (claspmt) R 1611 1613 1583 0 -1 4202560 2267 0 0 0 408 17 0 0 19 0 32 0 33714408 1562853376 77881 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=1613/tid=1631] ppid=1611 vsize=1526224 CPUtime=4.23 cores=0-31
/proc/1613/task/1631/stat : 1631 (claspmt) R 1611 1613 1583 0 -1 4202560 2284 0 0 0 409 14 0 0 22 0 32 0 33714408 1562853376 77881 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1613/tid=1632] ppid=1611 vsize=1526224 CPUtime=4.25 cores=0-31
/proc/1613/task/1632/stat : 1632 (claspmt) R 1611 1613 1583 0 -1 4202560 3195 0 0 0 406 19 0 0 20 0 32 0 33714408 1562853376 77883 270582939648 4194304 4964800 140735728717216 18446744073709551615 4361252 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=1613/tid=1633] ppid=1611 vsize=1526224 CPUtime=4.26 cores=0-31
/proc/1613/task/1633/stat : 1633 (claspmt) R 1611 1613 1583 0 -1 4202560 2886 0 0 0 407 19 0 0 22 0 32 0 33714408 1562853376 77883 270582939648 4194304 4964800 140735728717216 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=1613/tid=1634] ppid=1611 vsize=1526224 CPUtime=4.23 cores=0-31
/proc/1613/task/1634/stat : 1634 (claspmt) R 1611 1613 1583 0 -1 4202560 2560 0 0 0 406 17 0 0 22 0 32 0 33714408 1562853376 77883 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670363 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=1613/tid=1635] ppid=1611 vsize=1526224 CPUtime=4.97 cores=0-31
/proc/1613/task/1635/stat : 1635 (claspmt) R 1611 1613 1583 0 -1 4202560 1940 0 0 0 483 14 0 0 25 0 32 0 33714408 1562853376 77883 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=1613/tid=1636] ppid=1611 vsize=1526224 CPUtime=4.24 cores=0-31
/proc/1613/task/1636/stat : 1636 (claspmt) R 1611 1613 1583 0 -1 4202560 3139 0 0 0 407 17 0 0 18 0 32 0 33714408 1562853376 77883 270582939648 4194304 4964800 140735728717216 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=1613/tid=1637] ppid=1611 vsize=1526224 CPUtime=4.26 cores=0-31
/proc/1613/task/1637/stat : 1637 (claspmt) R 1611 1613 1583 0 -1 4202560 2801 0 0 0 407 19 0 0 20 0 32 0 33714408 1562853376 77883 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1613/tid=1638] ppid=1611 vsize=1526224 CPUtime=4.22 cores=0-31
/proc/1613/task/1638/stat : 1638 (claspmt) R 1611 1613 1583 0 -1 4202560 2276 0 0 0 407 15 0 0 22 0 32 0 33714408 1562853376 77883 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=1613/tid=1639] ppid=1611 vsize=1526224 CPUtime=4.24 cores=0-31
/proc/1613/task/1639/stat : 1639 (claspmt) R 1611 1613 1583 0 -1 4202560 2147 0 0 0 410 14 0 0 22 0 32 0 33714408 1562853376 77883 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668702 0 0 4096 18946 0 0 0 -1 22 0 0 0

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

[pid=1613/tid=1622] ppid=1611 vsize=4205760 CPUtime=4958.67 cores=0-31
/proc/1613/task/1622/stat : 1622 (claspmt) R 1611 1613 1583 0 -1 4202560 13685 0 0 0 495796 71 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4669547 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1613/tid=1623] ppid=1611 vsize=4205760 CPUtime=4958.81 cores=0-31
/proc/1613/task/1623/stat : 1623 (claspmt) R 1611 1613 1583 0 -1 4202560 17596 0 0 0 495836 45 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=1613/tid=1624] ppid=1611 vsize=4205760 CPUtime=4958.9 cores=0-31
/proc/1613/task/1624/stat : 1624 (claspmt) R 1611 1613 1583 0 -1 4202560 27040 0 0 0 495811 79 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=1613/tid=1625] ppid=1611 vsize=4205760 CPUtime=4957.76 cores=0-31
/proc/1613/task/1625/stat : 1625 (claspmt) R 1611 1613 1583 0 -1 4202560 19041 0 0 0 495718 58 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=1613/tid=1626] ppid=1611 vsize=4205760 CPUtime=4936.89 cores=0-31
/proc/1613/task/1626/stat : 1626 (claspmt) R 1611 1613 1583 0 -1 4202560 28637 0 0 0 493576 113 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=1613/tid=1627] ppid=1611 vsize=4205760 CPUtime=4959.73 cores=0-31
/proc/1613/task/1627/stat : 1627 (claspmt) R 1611 1613 1583 0 -1 4202560 22965 0 0 0 495881 92 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=1613/tid=1628] ppid=1611 vsize=4205760 CPUtime=4958.85 cores=0-31
/proc/1613/task/1628/stat : 1628 (claspmt) R 1611 1613 1583 0 -1 4202560 16563 0 0 0 495824 61 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670381 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=1613/tid=1629] ppid=1611 vsize=4205760 CPUtime=4944.3 cores=0-31
/proc/1613/task/1629/stat : 1629 (claspmt) R 1611 1613 1583 0 -1 4202560 71954 0 0 0 494107 323 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4669471 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=1613/tid=1630] ppid=1611 vsize=4205760 CPUtime=4958.89 cores=0-31
/proc/1613/task/1630/stat : 1630 (claspmt) R 1611 1613 1583 0 -1 4202560 13931 0 0 0 495815 74 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=1613/tid=1631] ppid=1611 vsize=4205760 CPUtime=4958.49 cores=0-31
/proc/1613/task/1631/stat : 1631 (claspmt) R 1611 1613 1583 0 -1 4202560 20324 0 0 0 495800 49 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1613/tid=1632] ppid=1611 vsize=4205760 CPUtime=4945.1 cores=0-31
/proc/1613/task/1632/stat : 1632 (claspmt) R 1611 1613 1583 0 -1 4202560 28612 0 0 0 494425 85 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=1613/tid=1633] ppid=1611 vsize=4205760 CPUtime=4958.87 cores=0-31
/proc/1613/task/1633/stat : 1633 (claspmt) R 1611 1613 1583 0 -1 4202560 17820 0 0 0 495818 69 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=1613/tid=1634] ppid=1611 vsize=4205760 CPUtime=4959.08 cores=0-31
/proc/1613/task/1634/stat : 1634 (claspmt) R 1611 1613 1583 0 -1 4202560 26892 0 0 0 495796 112 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=1613/tid=1635] ppid=1611 vsize=4205760 CPUtime=4950.58 cores=0-31
/proc/1613/task/1635/stat : 1635 (claspmt) R 1611 1613 1583 0 -1 4202560 22786 0 0 0 494977 81 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=1613/tid=1636] ppid=1611 vsize=4205760 CPUtime=4958.84 cores=0-31
/proc/1613/task/1636/stat : 1636 (claspmt) R 1611 1613 1583 0 -1 4202560 17711 0 0 0 495821 63 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=1613/tid=1637] ppid=1611 vsize=4205760 CPUtime=4958.78 cores=0-31
/proc/1613/task/1637/stat : 1637 (claspmt) R 1611 1613 1583 0 -1 4202560 55920 0 0 0 495658 220 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4669563 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=1613/tid=1638] ppid=1611 vsize=4205760 CPUtime=4956.73 cores=0-31
/proc/1613/task/1638/stat : 1638 (claspmt) R 1611 1613 1583 0 -1 4202560 12797 0 0 0 495608 65 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=1613/tid=1639] ppid=1611 vsize=4205760 CPUtime=4958.7 cores=0-31
/proc/1613/task/1639/stat : 1639 (claspmt) R 1611 1613 1583 0 -1 4202560 17103 0 0 0 495823 47 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=1613/tid=1640] ppid=1611 vsize=4205760 CPUtime=4956.42 cores=0-31
/proc/1613/task/1640/stat : 1640 (claspmt) R 1611 1613 1583 0 -1 4202560 29551 0 0 0 495512 130 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1613/tid=1641] ppid=1611 vsize=4205760 CPUtime=4957.99 cores=0-31
/proc/1613/task/1641/stat : 1641 (claspmt) R 1611 1613 1583 0 -1 4202560 18792 0 0 0 495738 61 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=1613/tid=1642] ppid=1611 vsize=4205760 CPUtime=4958.9 cores=0-31
/proc/1613/task/1642/stat : 1642 (claspmt) R 1611 1613 1583 0 -1 4202560 25856 0 0 0 495787 103 0 0 25 0 32 0 33714408 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=1613/tid=1643] ppid=1611 vsize=4205760 CPUtime=4951.07 cores=0-31
/proc/1613/task/1643/stat : 1643 (claspmt) R 1611 1613 1583 0 -1 4202560 23283 0 0 0 495021 86 0 0 25 0 32 0 33714409 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1613/tid=1644] ppid=1611 vsize=4205760 CPUtime=4958.8 cores=0-31
/proc/1613/task/1644/stat : 1644 (claspmt) R 1611 1613 1583 0 -1 4202560 18988 0 0 0 495814 66 0 0 25 0 32 0 33714409 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4669512 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=1613/tid=1645] ppid=1611 vsize=4205760 CPUtime=4957.98 cores=0-31
/proc/1613/task/1645/stat : 1645 (claspmt) R 1611 1613 1583 0 -1 4202560 62524 0 0 0 495540 258 0 0 25 0 32 0 33714409 4306698240 835692 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 158544
Current children cumulated vsize (KiB) 4205760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5007.9 s]
/proc/loadavg: 32.26 32.18 32.07 33/444 1794
/proc/meminfo: memFree=258842272/264257624 swapFree=67111528/67111528
[pid=1613] ppid=1611 vsize=4206312 CPUtime=160002 cores=0-31
/proc/1613/stat : 1613 (claspmt) R 1611 1613 1583 0 -1 4202496 872172 0 0 0 15996873 3289 0 0 25 0 32 0 33714297 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/1613/statm: 1051578 836349 463 189 0 1045927 0
[pid=1613/tid=1615] ppid=1611 vsize=4206312 CPUtime=4994.42 cores=0-31
/proc/1613/task/1615/stat : 1615 (claspmt) R 1611 1613 1583 0 -1 4202560 16861 0 0 0 499391 51 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1613/tid=1616] ppid=1611 vsize=4206312 CPUtime=5000.89 cores=0-31
/proc/1613/task/1616/stat : 1616 (claspmt) R 1611 1613 1583 0 -1 4202560 26338 0 0 0 500008 81 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=1613/tid=1617] ppid=1611 vsize=4206312 CPUtime=4986.29 cores=0-31
/proc/1613/task/1617/stat : 1617 (claspmt) R 1611 1613 1583 0 -1 4202560 18447 0 0 0 498568 61 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1613/tid=1618] ppid=1611 vsize=4206312 CPUtime=5004.67 cores=0-31
/proc/1613/task/1618/stat : 1618 (claspmt) R 1611 1613 1583 0 -1 4202560 24560 0 0 0 500371 96 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1613/tid=1619] ppid=1611 vsize=4206312 CPUtime=4998.52 cores=0-31
/proc/1613/task/1619/stat : 1619 (claspmt) R 1611 1613 1583 0 -1 4202560 22600 0 0 0 499765 87 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=1613/tid=1620] ppid=1611 vsize=4206312 CPUtime=4973.76 cores=0-31
/proc/1613/task/1620/stat : 1620 (claspmt) R 1611 1613 1583 0 -1 4202560 16983 0 0 0 497313 63 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=1613/tid=1621] ppid=1611 vsize=4206312 CPUtime=5004.13 cores=0-31
/proc/1613/task/1621/stat : 1621 (claspmt) R 1611 1613 1583 0 -1 4202560 92246 0 0 0 500053 360 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1613/tid=1622] ppid=1611 vsize=4206312 CPUtime=5004.28 cores=0-31
/proc/1613/task/1622/stat : 1622 (claspmt) R 1611 1613 1583 0 -1 4202560 13685 0 0 0 500357 71 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1613/tid=1623] ppid=1611 vsize=4206312 CPUtime=5004.43 cores=0-31
/proc/1613/task/1623/stat : 1623 (claspmt) R 1611 1613 1583 0 -1 4202560 17602 0 0 0 500398 45 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=1613/tid=1624] ppid=1611 vsize=4206312 CPUtime=5004.52 cores=0-31
/proc/1613/task/1624/stat : 1624 (claspmt) R 1611 1613 1583 0 -1 4202560 27044 0 0 0 500373 79 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4660526 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=1613/tid=1625] ppid=1611 vsize=4206312 CPUtime=5003.36 cores=0-31
/proc/1613/task/1625/stat : 1625 (claspmt) R 1611 1613 1583 0 -1 4202560 19045 0 0 0 500277 59 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=1613/tid=1626] ppid=1611 vsize=4206312 CPUtime=4982.5 cores=0-31
/proc/1613/task/1626/stat : 1626 (claspmt) R 1611 1613 1583 0 -1 4202560 28637 0 0 0 498137 113 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=1613/tid=1627] ppid=1611 vsize=4206312 CPUtime=5005.34 cores=0-31
/proc/1613/task/1627/stat : 1627 (claspmt) R 1611 1613 1583 0 -1 4202560 23015 0 0 0 500442 92 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=1613/tid=1628] ppid=1611 vsize=4206312 CPUtime=5004.47 cores=0-31
/proc/1613/task/1628/stat : 1628 (claspmt) R 1611 1613 1583 0 -1 4202560 16563 0 0 0 500386 61 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=1613/tid=1629] ppid=1611 vsize=4206312 CPUtime=4989.91 cores=0-31
/proc/1613/task/1629/stat : 1629 (claspmt) R 1611 1613 1583 0 -1 4202560 71980 0 0 0 498668 323 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=1613/tid=1630] ppid=1611 vsize=4206312 CPUtime=5004.5 cores=0-31
/proc/1613/task/1630/stat : 1630 (claspmt) R 1611 1613 1583 0 -1 4202560 13931 0 0 0 500376 74 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=1613/tid=1631] ppid=1611 vsize=4206312 CPUtime=5004.1 cores=0-31
/proc/1613/task/1631/stat : 1631 (claspmt) R 1611 1613 1583 0 -1 4202560 20325 0 0 0 500361 49 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1613/tid=1632] ppid=1611 vsize=4206312 CPUtime=4990.71 cores=0-31
/proc/1613/task/1632/stat : 1632 (claspmt) R 1611 1613 1583 0 -1 4202560 28612 0 0 0 498986 85 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=1613/tid=1633] ppid=1611 vsize=4206312 CPUtime=5004.47 cores=0-31
/proc/1613/task/1633/stat : 1633 (claspmt) R 1611 1613 1583 0 -1 4202560 17824 0 0 0 500378 69 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=1613/tid=1634] ppid=1611 vsize=4206312 CPUtime=5004.69 cores=0-31
/proc/1613/task/1634/stat : 1634 (claspmt) R 1611 1613 1583 0 -1 4202560 27038 0 0 0 500357 112 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=1613/tid=1635] ppid=1611 vsize=4206312 CPUtime=4996.2 cores=0-31
/proc/1613/task/1635/stat : 1635 (claspmt) R 1611 1613 1583 0 -1 4202560 22809 0 0 0 499539 81 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=1613/tid=1636] ppid=1611 vsize=4206312 CPUtime=5004.44 cores=0-31
/proc/1613/task/1636/stat : 1636 (claspmt) R 1611 1613 1583 0 -1 4202560 17737 0 0 0 500381 63 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=1613/tid=1637] ppid=1611 vsize=4206312 CPUtime=5004.39 cores=0-31
/proc/1613/task/1637/stat : 1637 (claspmt) R 1611 1613 1583 0 -1 4202560 55943 0 0 0 500218 221 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4365162 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=1613/tid=1638] ppid=1611 vsize=4206312 CPUtime=5002.34 cores=0-31
/proc/1613/task/1638/stat : 1638 (claspmt) R 1611 1613 1583 0 -1 4202560 12815 0 0 0 500169 65 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=1613/tid=1639] ppid=1611 vsize=4206312 CPUtime=5004.32 cores=0-31
/proc/1613/task/1639/stat : 1639 (claspmt) R 1611 1613 1583 0 -1 4202560 17103 0 0 0 500385 47 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4668607 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=1613/tid=1640] ppid=1611 vsize=4206312 CPUtime=5002.02 cores=0-31
/proc/1613/task/1640/stat : 1640 (claspmt) R 1611 1613 1583 0 -1 4202560 29551 0 0 0 500071 131 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1613/tid=1641] ppid=1611 vsize=4206312 CPUtime=5003.45 cores=0-31
/proc/1613/task/1641/stat : 1641 (claspmt) R 1611 1613 1583 0 -1 4202560 18792 0 0 0 500284 61 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=1613/tid=1642] ppid=1611 vsize=4206312 CPUtime=5004.51 cores=0-31
/proc/1613/task/1642/stat : 1642 (claspmt) R 1611 1613 1583 0 -1 4202560 25924 0 0 0 500348 103 0 0 25 0 32 0 33714408 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=1613/tid=1643] ppid=1611 vsize=4206312 CPUtime=4996.68 cores=0-31
/proc/1613/task/1643/stat : 1643 (claspmt) R 1611 1613 1583 0 -1 4202560 23287 0 0 0 499582 86 0 0 25 0 32 0 33714409 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1613/tid=1644] ppid=1611 vsize=4206312 CPUtime=5004.41 cores=0-31
/proc/1613/task/1644/stat : 1644 (claspmt) R 1611 1613 1583 0 -1 4202560 19000 0 0 0 500375 66 0 0 25 0 32 0 33714409 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=1613/tid=1645] ppid=1611 vsize=4206312 CPUtime=5003.6 cores=0-31
/proc/1613/task/1645/stat : 1645 (claspmt) R 1611 1613 1583 0 -1 4202560 62528 0 0 0 500102 258 0 0 25 0 32 0 33714409 4307263488 836349 270582939648 4194304 4964800 140735728717216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 4206312

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -1613

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

[startup+5009.43 s]
/proc/loadavg: 29.76 31.66 31.91 2/414 1795
/proc/meminfo: memFree=258905628/264257624 swapFree=67111528/67111528
[pid=1613] ppid=1611 vsize=4047060 CPUtime=160004 cores=0-31
/proc/1613/stat : 1613 (claspmt) R 1611 1613 1583 0 -1 4202496 872183 0 0 0 15997096 3290 0 0 25 0 1 0 33714297 4144189440 819258 270582939648 4194304 4964800 140735728717216 18446744073709551615 258650611142 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/1613/statm: 1011765 819258 474 189 0 1006114 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 4047060

[startup+5009.8 s]
/proc/loadavg: 29.76 31.66 31.91 2/414 1795
/proc/meminfo: memFree=258905628/264257624 swapFree=67111528/67111528
[pid=1613] ppid=1611 vsize=4034996 CPUtime=160004 cores=0-31
/proc/1613/stat : 1613 (claspmt) R 1611 1613 1583 0 -1 4202496 872183 0 0 0 15997132 3291 0 0 25 0 1 0 33714297 4131835904 815683 270582939648 4194304 4964800 140735728717216 18446744073709551615 258650610978 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/1613/statm: 1008749 815683 474 189 0 1003098 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 4034996

[startup+5010 s]
/proc/loadavg: 29.76 31.66 31.91 2/414 1795
/proc/meminfo: memFree=258905628/264257624 swapFree=67111528/67111528
[pid=1613] ppid=1611 vsize=0 CPUtime=160004 cores=0-31
/proc/1613/stat : 1613 (claspmt) R 1611 1613 1583 0 -1 4203524 872183 0 0 0 15997145 3298 0 0 25 0 1 0 33714297 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/1613/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5010.1 s]
/proc/loadavg: 29.76 31.66 31.91 2/414 1795
/proc/meminfo: memFree=258905628/264257624 swapFree=67111528/67111528
[pid=1613] ppid=1611 vsize=0 CPUtime=160005 cores=0-31
/proc/1613/stat : 1613 (claspmt) R 1611 1613 1583 0 -1 4203524 872183 0 0 0 15997145 3308 0 0 25 0 1 0 33714297 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 16 0 0 0
/proc/1613/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 5010.14
CPU time (s): 160005
CPU user time (s): 159971
CPU system time (s): 33.124
CPU usage (%): 3193.61
Max. virtual memory (cumulated for all children) (KiB): 4206312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159971
system time used= 33.124
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 872183
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= 367563
involuntary context switches= 386046

runsolver used 29.8085 second user time and 111.49 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-10 07:21:14
IDJOB=3472453
IDBENCH=83115
IDSOLVER=1961
FILE ID=node200/3472453-1307683274
RUNJOBID= node200-1307683274-1597
PBS_JOBID= 13549518
Free space on /tmp= 61740 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top21.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3472453-1307683274/watcher-3472453-1307683274 -o /tmp/evaluation-result-3472453-1307683274/solver-3472453-1307683274 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472453-1307683274.cnf

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

MD5SUM BENCH= 9fab5edd49fb904ff76ff7abf98e0d14
RANDOM SEED=1137414758

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.045
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.045
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.02
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.045
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.045
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.045
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.09
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.045
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.06
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.045
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.07
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.045
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.06
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.045
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	: 3989.99
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.045
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.06
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.045
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.045
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.06
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.045
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.04
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.045
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.03
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.045
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	: 3990.07
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.045
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.08
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.045
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.05
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.045
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.045
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.08
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.045
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	: 3989.97
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.045
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.04
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.045
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.10
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.045
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.10
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.045
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.04
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.045
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.04
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.045
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.07
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.045
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.045
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.08
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.045
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.04
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.045
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.08
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.045
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.18
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.045
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:      262189404 kB
Buffers:        261808 kB
Cached:        1490824 kB
SwapCached:          0 kB
Active:         279956 kB
Inactive:      1535864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262189404 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3636 kB
Writeback:           0 kB
AnonPages:       63984 kB
Mapped:          13480 kB
Slab:           172672 kB
PageTables:       4060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   169120 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= 61740 MiB
End job on node200 at 2011-06-10 08:44:44