Trace number 3472465

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 5009.96

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom22.cnf
MD5SUM808b4b06b3dea960876e6772f0b9c207
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables53118
Number of clauses178062
Sum of the clauses size454634
Maximum clause length1670
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 290658
Number of clauses of size 386491
Number of clauses of size 4252
Number of clauses of size 520
Number of clauses of size over 5640

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...709497/instance-3472465-1307709497.cnf
0.89/0.93	c Solving...
160002.25/5007.63	
160002.25/5007.63	*** INTERRUPTED! ***
160002.25/5007.63	*** 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-3472465-1307709497/watcher-3472465-1307709497 -o /tmp/evaluation-result-3472465-1307709497/solver-3472465-1307709497 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472465-1307709497.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.75 31.70 31.96 1/412 3627
/proc/meminfo: memFree=262169512/264257624 swapFree=67111528/67111528
[pid=3627] ppid=3625 vsize=27656 CPUtime=0.01 cores=0-31
/proc/3627/stat : 3627 (claspmt) R 3625 3627 3596 0 -1 4202496 1517 0 0 0 1 0 0 0 21 0 1 0 36336639 28319744 1446 270582939648 4194304 4964800 140733265901792 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/3627/statm: 6914 1450 373 189 0 1788 0

[startup+0.0572821 s]
/proc/loadavg: 29.75 31.70 31.96 1/412 3627
/proc/meminfo: memFree=262169512/264257624 swapFree=67111528/67111528
[pid=3627] ppid=3625 vsize=32404 CPUtime=0.04 cores=0-31
/proc/3627/stat : 3627 (claspmt) R 3625 3627 3596 0 -1 4202496 3790 0 0 0 4 0 0 0 21 0 1 0 36336639 33181696 3268 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/3627/statm: 8101 3269 386 189 0 2975 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 32404

[startup+0.101286 s]
/proc/loadavg: 29.75 31.70 31.96 1/412 3627
/proc/meminfo: memFree=262169512/264257624 swapFree=67111528/67111528
[pid=3627] ppid=3625 vsize=35288 CPUtime=0.09 cores=0-31
/proc/3627/stat : 3627 (claspmt) R 3625 3627 3596 0 -1 4202496 4744 0 0 0 9 0 0 0 21 0 1 0 36336639 36134912 3966 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/3627/statm: 8822 3967 386 189 0 3696 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35288

[startup+0.300325 s]
/proc/loadavg: 29.75 31.70 31.96 1/412 3627
/proc/meminfo: memFree=262169512/264257624 swapFree=67111528/67111528
[pid=3627] ppid=3625 vsize=47684 CPUtime=0.29 cores=0-31
/proc/3627/stat : 3627 (claspmt) R 3625 3627 3596 0 -1 4202496 8697 0 0 0 27 2 0 0 22 0 1 0 36336639 48828416 6949 270582939648 4194304 4964800 140733265901792 18446744073709551615 4607486 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/3627/statm: 11921 6949 400 189 0 6795 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47684

[startup+0.70032 s]
/proc/loadavg: 29.75 31.70 31.96 1/412 3627
/proc/meminfo: memFree=262169512/264257624 swapFree=67111528/67111528
[pid=3627] ppid=3625 vsize=52964 CPUtime=0.69 cores=0-31
/proc/3627/stat : 3627 (claspmt) R 3625 3627 3596 0 -1 4202496 10020 0 0 0 67 2 0 0 23 0 1 0 36336639 54235136 8272 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/3627/statm: 13241 8272 401 189 0 8115 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52964

[startup+1.50226 s]
/proc/loadavg: 29.75 31.70 31.96 32/444 3660
/proc/meminfo: memFree=262094848/264257624 swapFree=67111528/67111528
[pid=3627] ppid=3625 vsize=2120892 CPUtime=7.22 cores=0-31
/proc/3627/stat : 3627 (claspmt) S 3625 3627 3596 0 -1 4202496 76499 0 0 0 178 544 0 0 18 0 32 0 36336639 2171793408 60888 270582939648 4194304 4964800 140733265901792 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/3627/statm: 530223 60897 440 189 0 524572 0
[pid=3627/tid=3629] ppid=3625 vsize=2120892 CPUtime=0.18 cores=0-31
/proc/3627/task/3629/stat : 3629 (claspmt) S 3625 3627 3596 0 -1 4202560 1828 0 0 0 3 15 0 0 17 0 32 0 36336732 2171793408 60903 270582939648 4194304 4964800 140733265901792 18446744073709551615 258662772457 0 0 4096 18946 18446604712223743456 0 0 -1 17 0 0 0
[pid=3627/tid=3630] ppid=3625 vsize=2120892 CPUtime=0.2 cores=0-31
/proc/3627/task/3630/stat : 3630 (claspmt) R 3625 3627 3596 0 -1 4202560 2023 0 0 0 1 19 0 0 18 0 32 0 36336732 2171793408 60918 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=3627/tid=3631] ppid=3625 vsize=2120892 CPUtime=0.2 cores=0-31
/proc/3627/task/3631/stat : 3631 (claspmt) R 3625 3627 3596 0 -1 4202560 2360 0 0 0 3 17 0 0 18 0 32 0 36336732 2171793408 60924 270582939648 4194304 4964800 140733265901792 18446744073709551615 4375623 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=3627/tid=3632] ppid=3625 vsize=2120892 CPUtime=0.19 cores=0-31
/proc/3627/task/3632/stat : 3632 (claspmt) S 3625 3627 3596 0 -1 4202560 2003 0 0 0 2 17 0 0 17 0 32 0 36336732 2171793408 60928 270582939648 4194304 4964800 140733265901792 18446744073709551615 258662772457 0 0 4096 18946 18446604639375269344 0 0 -1 26 0 0 0
[pid=3627/tid=3633] ppid=3625 vsize=2120892 CPUtime=0.21 cores=0-31
/proc/3627/task/3633/stat : 3633 (claspmt) D 3625 3627 3596 0 -1 4202560 2151 0 0 0 4 17 0 0 18 0 32 0 36336732 2171793408 60931 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=3627/tid=3634] ppid=3625 vsize=2120892 CPUtime=0.19 cores=0-31
/proc/3627/task/3634/stat : 3634 (claspmt) D 3625 3627 3596 0 -1 4202560 2223 0 0 0 1 18 0 0 18 0 32 0 36336732 2171793408 60936 270582939648 4194304 4964800 140733265901792 18446744073709551615 4376558 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=3627/tid=3635] ppid=3625 vsize=2120892 CPUtime=0.2 cores=0-31
/proc/3627/task/3635/stat : 3635 (claspmt) R 3625 3627 3596 0 -1 4202560 2222 0 0 0 2 18 0 0 18 0 32 0 36336732 2171793408 60947 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=3627/tid=3637] ppid=3625 vsize=2120892 CPUtime=0.19 cores=0-31
/proc/3627/task/3637/stat : 3637 (claspmt) S 3625 3627 3596 0 -1 4202560 1933 0 0 0 2 17 0 0 17 0 32 0 36336732 2171793408 60949 270582939648 4194304 4964800 140733265901792 18446744073709551615 258662772457 0 0 4096 18946 18446604499912515040 0 0 -1 30 0 0 0
[pid=3627/tid=3638] ppid=3625 vsize=2120892 CPUtime=0.17 cores=0-31
/proc/3627/task/3638/stat : 3638 (claspmt) S 3625 3627 3596 0 -1 4202560 2053 0 0 0 1 16 0 0 17 0 32 0 36336732 2171793408 60957 270582939648 4194304 4964800 140733265901792 18446744073709551615 258662772457 0 0 4096 18946 18446604502129860064 0 0 -1 8 0 0 0
[pid=3627/tid=3639] ppid=3625 vsize=2120892 CPUtime=0.2 cores=0-31
/proc/3627/task/3639/stat : 3639 (claspmt) R 3625 3627 3596 0 -1 4202560 2214 0 0 0 2 18 0 0 18 0 32 0 36336732 2171793408 60967 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650653071 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=3627/tid=3640] ppid=3625 vsize=2120892 CPUtime=0.21 cores=0-31
/proc/3627/task/3640/stat : 3640 (claspmt) R 3625 3627 3596 0 -1 4202560 2229 0 0 0 2 19 0 0 18 0 32 0 36336732 2171793408 60972 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650653381 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=3627/tid=3641] ppid=3625 vsize=2120892 CPUtime=0.22 cores=0-31
/proc/3627/task/3641/stat : 3641 (claspmt) D 3625 3627 3596 0 -1 4202560 1818 0 0 0 2 20 0 0 18 0 32 0 36336732 2171793408 60977 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=3627/tid=3642] ppid=3625 vsize=2120892 CPUtime=0.23 cores=0-31
/proc/3627/task/3642/stat : 3642 (claspmt) R 3625 3627 3596 0 -1 4202560 2111 0 0 0 6 17 0 0 17 0 32 0 36336732 2171793408 60983 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=3627/tid=3643] ppid=3625 vsize=2120892 CPUtime=0.21 cores=0-31
/proc/3627/task/3643/stat : 3643 (claspmt) D 3625 3627 3596 0 -1 4202560 2210 0 0 0 2 19 0 0 18 0 32 0 36336732 2171793408 60986 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=3627/tid=3644] ppid=3625 vsize=2120892 CPUtime=0.2 cores=0-31
/proc/3627/task/3644/stat : 3644 (claspmt) S 3625 3627 3596 0 -1 4202560 2305 0 0 0 3 17 0 0 18 0 32 0 36336732 2171793408 60993 270582939648 4194304 4964800 140733265901792 18446744073709551615 258662772457 0 0 4096 18946 18446604709920349664 0 0 -1 24 0 0 0
[pid=3627/tid=3645] ppid=3625 vsize=2120892 CPUtime=0.18 cores=0-31
/proc/3627/task/3645/stat : 3645 (claspmt) S 3625 3627 3596 0 -1 4202560 1958 0 0 0 2 16 0 0 17 0 32 0 36336732 2171793408 61015 270582939648 4194304 4964800 140733265901792 18446744073709551615 258662772457 0 0 4096 18946 18446604505623674336 0 0 -1 28 0 0 0
[pid=3627/tid=3646] ppid=3625 vsize=2120892 CPUtime=0.17 cores=0-31
/proc/3627/task/3646/stat : 3646 (claspmt) S 3625 3627 3596 0 -1 4202560 1874 0 0 0 2 15 0 0 17 0 32 0 36336732 2171793408 61028 270582939648 4194304 4964800 140733265901792 18446744073709551615 258662772457 0 0 4096 18946 18446604503242309088 0 0 -1 25 0 0 0
[pid=3627/tid=3647] ppid=3625 vsize=2120892 CPUtime=0.2 cores=0-31
/proc/3627/task/3647/stat : 3647 (claspmt) R 3625 3627 3596 0 -1 4202560 2419 0 0 0 3 17 0 0 18 0 32 0 36336732 2171793408 61031 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=3627/tid=3648] ppid=3625 vsize=2120892 CPUtime=0.21 cores=0-31
/proc/3627/task/3648/stat : 3648 (claspmt) R 3625 3627 3596 0 -1 4202560 2317 0 0 0 2 19 0 0 18 0 32 0 36336732 2171793408 61042 270582939648 4194304 4964800 140733265901792 18446744073709551615 4376501 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=3627/tid=3649] ppid=3625 vsize=2120892 CPUtime=0.19 cores=0-31
/proc/3627/task/3649/stat : 3649 (claspmt) S 3625 3627 3596 0 -1 4202560 1951 0 0 0 1 18 0 0 18 0 32 0 36336732 2171793408 61060 270582939648 4194304 4964800 140733265901792 18446744073709551615 258662772457 0 0 4096 18946 18446604499137535456 0 0 -1 0 0 0 0
[pid=3627/tid=3650] ppid=3625 vsize=2120892 CPUtime=0.18 cores=0-31
/proc/3627/task/3650/stat : 3650 (claspmt) R 3625 3627 3596 0 -1 4202560 2107 0 0 0 2 16 0 0 18 0 32 0 36336732 2171793408 61064 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=3627/tid=3651] ppid=3625 vsize=2120892 CPUtime=0.18 cores=0-31
/proc/3627/task/3651/stat : 3651 (claspmt) D 3625 3627 3596 0 -1 4202560 2162 0 0 0 2 16 0 0 18 0 32 0 36336732 2171793408 61069 270582939648 4194304 4964800 140733265901792 18446744073709551615 4376558 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=3627/tid=3652] ppid=3625 vsize=2120892 CPUtime=0.19 cores=0-31
/proc/3627/task/3652/stat : 3652 (claspmt) R 3625 3627 3596 0 -1 4202560 2220 0 0 0 3 16 0 0 18 0 32 0 36336732 2171793408 61070 270582939648 4194304 4964800 140733265901792 18446744073709551615 4388730 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=3627/tid=3653] ppid=3625 vsize=2120892 CPUtime=0.12 cores=0-31
/proc/3627/task/3653/stat : 3653 (claspmt) S 3625 3627 3596 0 -1 4202560 1546 0 0 0 3 9 0 0 18 0 32 0 36336733 2171793408 61080 270582939648 4194304 4964800 140733265901792 18446744073709551615 258662772457 0 0 4096 18946 18446604564260519392 0 0 -1 23 0 0 0
[pid=3627/tid=3654] ppid=3625 vsize=2120892 CPUtime=0.19 cores=0-31
/proc/3627/task/3654/stat : 3654 (claspmt) S 3625 3627 3596 0 -1 4202560 2042 0 0 0 1 18 0 0 18 0 32 0 36336733 2171793408 61086 270582939648 4194304 4964800 140733265901792 18446744073709551615 258662772457 0 0 4096 18946 18446604712587247072 0 0 -1 21 0 0 0
[pid=3627/tid=3655] ppid=3625 vsize=2120892 CPUtime=0.18 cores=0-31
/proc/3627/task/3655/stat : 3655 (claspmt) R 3625 3627 3596 0 -1 4202560 2210 0 0 0 1 17 0 0 18 0 32 0 36336733 2171793408 61097 270582939648 4194304 4964800 140733265901792 18446744073709551615 4376025 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=3627/tid=3656] ppid=3625 vsize=2120892 CPUtime=0.19 cores=0-31
/proc/3627/task/3656/stat : 3656 (claspmt) D 3625 3627 3596 0 -1 4202560 2241 0 0 0 2 17 0 0 18 0 32 0 36336733 2171793408 61097 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=3627/tid=3657] ppid=3625 vsize=2120892 CPUtime=0.19 cores=0-31
/proc/3627/task/3657/stat : 3657 (claspmt) S 3625 3627 3596 0 -1 4202560 2017 0 0 0 2 17 0 0 17 0 32 0 36336733 2171793408 61101 270582939648 4194304 4964800 140733265901792 18446744073709551615 258662772457 0 0 4096 18946 18446604504589458912 0 0 -1 20 0 0 0
[pid=3627/tid=3658] ppid=3625 vsize=2120892 CPUtime=0.22 cores=0-31
/proc/3627/task/3658/stat : 3658 (claspmt) R 3625 3627 3596 0 -1 4202560 2266 0 0 0 7 15 0 0 18 0 32 0 36336733 2171793408 61106 270582939648 4194304 4964800 140733265901792 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=3627/tid=3659] ppid=3625 vsize=2120892 CPUtime=0.2 cores=0-31
/proc/3627/task/3659/stat : 3659 (claspmt) R 3625 3627 3596 0 -1 4202560 2317 0 0 0 2 18 0 0 18 0 32 0 36336733 2171793408 61114 270582939648 4194304 4964800 140733265901792 18446744073709551615 4376539 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=3627/tid=3660] ppid=3625 vsize=2120892 CPUtime=0.17 cores=0-31
/proc/3627/task/3660/stat : 3660 (claspmt) D 3625 3627 3596 0 -1 4202560 2319 0 0 0 1 16 0 0 18 0 32 0 36336733 2171793408 61114 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 2120892

[startup+3.10226 s]
/proc/loadavg: 29.53 31.62 31.94 33/444 3660
/proc/meminfo: memFree=261908352/264257624 swapFree=67111528/67111528
[pid=3627] ppid=3625 vsize=2122084 CPUtime=49.67 cores=0-31
/proc/3627/stat : 3627 (claspmt) R 3625 3627 3596 0 -1 4202496 87872 0 0 0 4392 575 0 0 18 0 32 0 36336639 2173014016 72261 270582939648 4194304 4964800 140733265901792 18446744073709551615 4320928 0 0 4096 18946 18446744073709551615 0 0 17 31 0 0 0
/proc/3627/statm: 530521 72261 461 189 0 524870 0
[pid=3627/tid=3629] ppid=3625 vsize=2122084 CPUtime=1.47 cores=0-31
/proc/3627/task/3629/stat : 3629 (claspmt) R 3625 3627 3596 0 -1 4202560 2052 0 0 0 131 16 0 0 17 0 32 0 36336732 2173014016 72261 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=3627/tid=3630] ppid=3625 vsize=2122084 CPUtime=1.49 cores=0-31
/proc/3627/task/3630/stat : 3630 (claspmt) R 3625 3627 3596 0 -1 4202560 3129 0 0 0 129 20 0 0 17 0 32 0 36336732 2173014016 72261 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=3627/tid=3631] ppid=3625 vsize=2122084 CPUtime=1.5 cores=0-31
/proc/3627/task/3631/stat : 3631 (claspmt) R 3625 3627 3596 0 -1 4202560 2721 0 0 0 131 19 0 0 17 0 32 0 36336732 2173014016 72262 270582939648 4194304 4964800 140733265901792 18446744073709551615 4687029 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=3627/tid=3632] ppid=3625 vsize=2122084 CPUtime=1.49 cores=0-31
/proc/3627/task/3632/stat : 3632 (claspmt) R 3625 3627 3596 0 -1 4202560 2246 0 0 0 131 18 0 0 17 0 32 0 36336732 2173014016 72262 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=3627/tid=3633] ppid=3625 vsize=2122084 CPUtime=1.8 cores=0-31
/proc/3627/task/3633/stat : 3633 (claspmt) R 3625 3627 3596 0 -1 4202560 2180 0 0 0 163 17 0 0 20 0 32 0 36336732 2173014016 72262 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=3627/tid=3634] ppid=3625 vsize=2122084 CPUtime=1.5 cores=0-31
/proc/3627/task/3634/stat : 3634 (claspmt) R 3625 3627 3596 0 -1 4202560 2697 0 0 0 130 20 0 0 17 0 32 0 36336732 2173014016 72262 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=3627/tid=3635] ppid=3625 vsize=2122084 CPUtime=1.5 cores=0-31
/proc/3627/task/3635/stat : 3635 (claspmt) R 3625 3627 3596 0 -1 4202560 2759 0 0 0 131 19 0 0 17 0 32 0 36336732 2173014016 72262 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=3627/tid=3637] ppid=3625 vsize=2122084 CPUtime=1.48 cores=0-31
/proc/3627/task/3637/stat : 3637 (claspmt) R 3625 3627 3596 0 -1 4202560 2170 0 0 0 130 18 0 0 17 0 32 0 36336732 2173014016 72263 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=3627/tid=3638] ppid=3625 vsize=2122084 CPUtime=1.47 cores=0-31
/proc/3627/task/3638/stat : 3638 (claspmt) R 3625 3627 3596 0 -1 4202560 2291 0 0 0 130 17 0 0 17 0 32 0 36336732 2173014016 72263 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=3627/tid=3639] ppid=3625 vsize=2122084 CPUtime=1.5 cores=0-31
/proc/3627/task/3639/stat : 3639 (claspmt) D 3625 3627 3596 0 -1 4202560 2843 0 0 0 131 19 0 0 17 0 32 0 36336732 2173014016 72263 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=3627/tid=3640] ppid=3625 vsize=2122084 CPUtime=1.5 cores=0-31
/proc/3627/task/3640/stat : 3640 (claspmt) R 3625 3627 3596 0 -1 4202560 2651 0 0 0 130 20 0 0 17 0 32 0 36336732 2173014016 72263 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670160 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=3627/tid=3641] ppid=3625 vsize=2122084 CPUtime=1.52 cores=0-31
/proc/3627/task/3641/stat : 3641 (claspmt) R 3625 3627 3596 0 -1 4202560 2203 0 0 0 131 21 0 0 17 0 32 0 36336732 2173014016 72264 270582939648 4194304 4964800 140733265901792 18446744073709551615 4658592 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=3627/tid=3642] ppid=3625 vsize=2122084 CPUtime=1.82 cores=0-31
/proc/3627/task/3642/stat : 3642 (claspmt) R 3625 3627 3596 0 -1 4202560 2240 0 0 0 165 17 0 0 20 0 32 0 36336732 2173014016 72264 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670239 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=3627/tid=3643] ppid=3625 vsize=2122084 CPUtime=1.5 cores=0-31
/proc/3627/task/3643/stat : 3643 (claspmt) R 3625 3627 3596 0 -1 4202560 2610 0 0 0 131 19 0 0 17 0 32 0 36336732 2173014016 72267 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=3627/tid=3644] ppid=3625 vsize=2122084 CPUtime=1.48 cores=0-31
/proc/3627/task/3644/stat : 3644 (claspmt) R 3625 3627 3596 0 -1 4202560 2703 0 0 0 130 18 0 0 17 0 32 0 36336732 2173014016 72267 270582939648 4194304 4964800 140733265901792 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=3627/tid=3645] ppid=3625 vsize=2122084 CPUtime=1.48 cores=0-31
/proc/3627/task/3645/stat : 3645 (claspmt) R 3625 3627 3596 0 -1 4202560 2216 0 0 0 131 17 0 0 17 0 32 0 36336732 2173014016 72268 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=3627/tid=3646] ppid=3625 vsize=2122084 CPUtime=1.46 cores=0-31
/proc/3627/task/3646/stat : 3646 (claspmt) R 3625 3627 3596 0 -1 4202560 2135 0 0 0 130 16 0 0 17 0 32 0 36336732 2173014016 72269 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=3627/tid=3647] ppid=3625 vsize=2122084 CPUtime=1.48 cores=0-31
/proc/3627/task/3647/stat : 3647 (claspmt) R 3625 3627 3596 0 -1 4202560 2832 0 0 0 130 18 0 0 17 0 32 0 36336732 2173014016 72270 270582939648 4194304 4964800 140733265901792 18446744073709551615 4379616 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=3627/tid=3648] ppid=3625 vsize=2122084 CPUtime=1.5 cores=0-31
/proc/3627/task/3648/stat : 3648 (claspmt) R 3625 3627 3596 0 -1 4202560 2811 0 0 0 130 20 0 0 17 0 32 0 36336732 2173014016 72270 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670129 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=3627/tid=3649] ppid=3625 vsize=2122084 CPUtime=1.49 cores=0-31
/proc/3627/task/3649/stat : 3649 (claspmt) R 3625 3627 3596 0 -1 4202560 2254 0 0 0 130 19 0 0 17 0 32 0 36336732 2173014016 72270 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=3627/tid=3650] ppid=3625 vsize=2122084 CPUtime=1.77 cores=0-31
/proc/3627/task/3650/stat : 3650 (claspmt) R 3625 3627 3596 0 -1 4202560 2198 0 0 0 161 16 0 0 20 0 32 0 36336732 2173014016 72270 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=3627/tid=3651] ppid=3625 vsize=2122084 CPUtime=1.47 cores=0-31
/proc/3627/task/3651/stat : 3651 (claspmt) R 3625 3627 3596 0 -1 4202560 2611 0 0 0 130 17 0 0 17 0 32 0 36336732 2173014016 72270 270582939648 4194304 4964800 140733265901792 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=3627/tid=3652] ppid=3625 vsize=2122084 CPUtime=1.48 cores=0-31
/proc/3627/task/3652/stat : 3652 (claspmt) R 3625 3627 3596 0 -1 4202560 2496 0 0 0 132 16 0 0 17 0 32 0 36336732 2173014016 72270 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=3627/tid=3653] ppid=3625 vsize=2122084 CPUtime=1.41 cores=0-31
/proc/3627/task/3653/stat : 3653 (claspmt) R 3625 3627 3596 0 -1 4202560 1725 0 0 0 132 9 0 0 17 0 32 0 36336733 2173014016 72270 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=3627/tid=3654] ppid=3625 vsize=2122084 CPUtime=1.49 cores=0-31
/proc/3627/task/3654/stat : 3654 (claspmt) R 3625 3627 3596 0 -1 4202560 2237 0 0 0 130 19 0 0 17 0 32 0 36336733 2173014016 72270 270582939648 4194304 4964800 140733265901792 18446744073709551615 4669535 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=3627/tid=3655] ppid=3625 vsize=2122084 CPUtime=1.49 cores=0-31
/proc/3627/task/3655/stat : 3655 (claspmt) R 3625 3627 3596 0 -1 4202560 2795 0 0 0 130 19 0 0 17 0 32 0 36336733 2173014016 72271 270582939648 4194304 4964800 140733265901792 18446744073709551615 4669086 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=3627/tid=3656] ppid=3625 vsize=2122084 CPUtime=1.49 cores=0-31
/proc/3627/task/3656/stat : 3656 (claspmt) R 3625 3627 3596 0 -1 4202560 2910 0 0 0 130 19 0 0 17 0 32 0 36336733 2173014016 72271 270582939648 4194304 4964800 140733265901792 18446744073709551615 4362964 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=3627/tid=3657] ppid=3625 vsize=2122084 CPUtime=1.48 cores=0-31
/proc/3627/task/3657/stat : 3657 (claspmt) R 3625 3627 3596 0 -1 4202560 2274 0 0 0 130 18 0 0 17 0 32 0 36336733 2173014016 72271 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=3627/tid=3658] ppid=3625 vsize=2122084 CPUtime=1.7 cores=0-31
/proc/3627/task/3658/stat : 3658 (claspmt) R 3625 3627 3596 0 -1 4202560 2365 0 0 0 155 15 0 0 19 0 32 0 36336733 2173014016 72271 270582939648 4194304 4964800 140733265901792 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=3627/tid=3659] ppid=3625 vsize=2122084 CPUtime=1.5 cores=0-31

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

/proc/3627/task/3641/stat : 3641 (claspmt) R 3625 3627 3596 0 -1 4202560 40436 0 0 0 495740 180 0 0 25 0 32 0 36336732 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=3627/tid=3642] ppid=3625 vsize=6268496 CPUtime=4959.73 cores=0-31
/proc/3627/task/3642/stat : 3642 (claspmt) R 3625 3627 3596 0 -1 4202560 32780 0 0 0 495838 135 0 0 25 0 32 0 36336732 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=3627/tid=3643] ppid=3625 vsize=6268496 CPUtime=4959.25 cores=0-31
/proc/3627/task/3643/stat : 3643 (claspmt) R 3625 3627 3596 0 -1 4202560 29133 0 0 0 495808 117 0 0 25 0 32 0 36336732 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=3627/tid=3644] ppid=3625 vsize=6268496 CPUtime=4958.54 cores=0-31
/proc/3627/task/3644/stat : 3644 (claspmt) R 3625 3627 3596 0 -1 4202560 110017 0 0 0 495440 414 0 0 25 0 32 0 36336732 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=3627/tid=3645] ppid=3625 vsize=6268496 CPUtime=4958.45 cores=0-31
/proc/3627/task/3645/stat : 3645 (claspmt) R 3625 3627 3596 0 -1 4202560 31697 0 0 0 495692 153 0 0 25 0 32 0 36336732 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668814 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=3627/tid=3646] ppid=3625 vsize=6268496 CPUtime=4947.69 cores=0-31
/proc/3627/task/3646/stat : 3646 (claspmt) R 3625 3627 3596 0 -1 4202560 19994 0 0 0 494689 80 0 0 25 0 32 0 36336732 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=3627/tid=3647] ppid=3625 vsize=6268496 CPUtime=4959.43 cores=0-31
/proc/3627/task/3647/stat : 3647 (claspmt) R 3625 3627 3596 0 -1 4202560 46822 0 0 0 495760 183 0 0 25 0 32 0 36336732 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=3627/tid=3648] ppid=3625 vsize=6268496 CPUtime=4957.97 cores=0-31
/proc/3627/task/3648/stat : 3648 (claspmt) R 3625 3627 3596 0 -1 4202560 27679 0 0 0 495628 169 0 0 25 0 32 0 36336732 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=3627/tid=3649] ppid=3625 vsize=6268496 CPUtime=4957.39 cores=0-31
/proc/3627/task/3649/stat : 3649 (claspmt) R 3625 3627 3596 0 -1 4202560 36898 0 0 0 495585 154 0 0 25 0 32 0 36336732 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=3627/tid=3650] ppid=3625 vsize=6268496 CPUtime=4957.21 cores=0-31
/proc/3627/task/3650/stat : 3650 (claspmt) R 3625 3627 3596 0 -1 4202560 29576 0 0 0 495604 117 0 0 25 0 32 0 36336732 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=3627/tid=3651] ppid=3625 vsize=6268496 CPUtime=4956.4 cores=0-31
/proc/3627/task/3651/stat : 3651 (claspmt) R 3625 3627 3596 0 -1 4202560 29133 0 0 0 495516 124 0 0 25 0 32 0 36336732 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=3627/tid=3652] ppid=3625 vsize=6268496 CPUtime=4959.14 cores=0-31
/proc/3627/task/3652/stat : 3652 (claspmt) R 3625 3627 3596 0 -1 4202560 94600 0 0 0 495541 373 0 0 25 0 32 0 36336732 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=3627/tid=3653] ppid=3625 vsize=6268496 CPUtime=4955.88 cores=0-31
/proc/3627/task/3653/stat : 3653 (claspmt) R 3625 3627 3596 0 -1 4202560 24384 0 0 0 495483 105 0 0 25 0 32 0 36336733 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4669476 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=3627/tid=3654] ppid=3625 vsize=6268496 CPUtime=4958.25 cores=0-31
/proc/3627/task/3654/stat : 3654 (claspmt) R 3625 3627 3596 0 -1 4202560 21034 0 0 0 495747 78 0 0 25 0 32 0 36336733 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=3627/tid=3655] ppid=3625 vsize=6268496 CPUtime=4959.42 cores=0-31
/proc/3627/task/3655/stat : 3655 (claspmt) R 3625 3627 3596 0 -1 4202560 48363 0 0 0 495753 189 0 0 25 0 32 0 36336733 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=3627/tid=3656] ppid=3625 vsize=6268496 CPUtime=4950.85 cores=0-31
/proc/3627/task/3656/stat : 3656 (claspmt) R 3625 3627 3596 0 -1 4202560 26961 0 0 0 494971 114 0 0 25 0 32 0 36336733 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=3627/tid=3657] ppid=3625 vsize=6268496 CPUtime=4959.08 cores=0-31
/proc/3627/task/3657/stat : 3657 (claspmt) R 3625 3627 3596 0 -1 4202560 34796 0 0 0 495772 136 0 0 25 0 32 0 36336733 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=3627/tid=3658] ppid=3625 vsize=6268496 CPUtime=4959.56 cores=0-31
/proc/3627/task/3658/stat : 3658 (claspmt) R 3625 3627 3596 0 -1 4202560 33773 0 0 0 495818 138 0 0 25 0 32 0 36336733 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=3627/tid=3659] ppid=3625 vsize=6268496 CPUtime=4947.43 cores=0-31
/proc/3627/task/3659/stat : 3659 (claspmt) R 3625 3627 3596 0 -1 4202560 28833 0 0 0 494618 125 0 0 25 0 32 0 36336733 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=3627/tid=3660] ppid=3625 vsize=6268496 CPUtime=4937.34 cores=0-31
/proc/3627/task/3660/stat : 3660 (claspmt) R 3625 3627 3596 0 -1 4202560 151948 0 0 0 493123 611 0 0 25 0 32 0 36336733 6418939904 1377856 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 158554
Current children cumulated vsize (KiB) 6268496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5007.6 s]
/proc/loadavg: 32.06 32.11 32.08 33/445 3850
/proc/meminfo: memFree=256648152/264257624 swapFree=67111528/67111528
[pid=3627] ppid=3625 vsize=6268496 CPUtime=160002 cores=0-31
/proc/3627/stat : 3627 (claspmt) R 3625 3627 3596 0 -1 4202496 1407142 0 0 0 15994464 5761 0 0 25 0 32 0 36336639 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 15 0 0 0
/proc/3627/statm: 1567124 1378559 463 189 0 1561473 0
[pid=3627/tid=3629] ppid=3625 vsize=6268496 CPUtime=5004.51 cores=0-31
/proc/3627/task/3629/stat : 3629 (claspmt) R 3625 3627 3596 0 -1 4202560 22791 0 0 0 500363 88 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=3627/tid=3630] ppid=3625 vsize=6268496 CPUtime=5004.7 cores=0-31
/proc/3627/task/3630/stat : 3630 (claspmt) R 3625 3627 3596 0 -1 4202560 49331 0 0 0 500280 190 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=3627/tid=3631] ppid=3625 vsize=6268496 CPUtime=5004.58 cores=0-31
/proc/3627/task/3631/stat : 3631 (claspmt) R 3625 3627 3596 0 -1 4202560 26289 0 0 0 500345 113 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=3627/tid=3632] ppid=3625 vsize=6268496 CPUtime=4999.76 cores=0-31
/proc/3627/task/3632/stat : 3632 (claspmt) R 3625 3627 3596 0 -1 4202560 41760 0 0 0 499796 180 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=3627/tid=3633] ppid=3625 vsize=6268496 CPUtime=4997.18 cores=0-31
/proc/3627/task/3633/stat : 3633 (claspmt) R 3625 3627 3596 0 -1 4202560 35469 0 0 0 499577 141 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=3627/tid=3634] ppid=3625 vsize=6268496 CPUtime=4993.25 cores=0-31
/proc/3627/task/3634/stat : 3634 (claspmt) R 3625 3627 3596 0 -1 4202560 34526 0 0 0 499173 152 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4321161 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=3627/tid=3635] ppid=3625 vsize=6268496 CPUtime=5004.63 cores=0-31
/proc/3627/task/3635/stat : 3635 (claspmt) R 3625 3627 3596 0 -1 4202560 138686 0 0 0 499904 559 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=3627/tid=3637] ppid=3625 vsize=6268496 CPUtime=4981.23 cores=0-31
/proc/3627/task/3637/stat : 3637 (claspmt) R 3625 3627 3596 0 -1 4202560 26997 0 0 0 497993 130 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=3627/tid=3638] ppid=3625 vsize=6268496 CPUtime=5004.12 cores=0-31
/proc/3627/task/3638/stat : 3638 (claspmt) R 3625 3627 3596 0 -1 4202560 22354 0 0 0 500327 85 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=3627/tid=3639] ppid=3625 vsize=6268496 CPUtime=5004.74 cores=0-31
/proc/3627/task/3639/stat : 3639 (claspmt) R 3625 3627 3596 0 -1 4202560 42679 0 0 0 500308 166 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=3627/tid=3640] ppid=3625 vsize=6268496 CPUtime=5004.38 cores=0-31
/proc/3627/task/3640/stat : 3640 (claspmt) R 3625 3627 3596 0 -1 4202560 28012 0 0 0 500324 114 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4660352 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=3627/tid=3641] ppid=3625 vsize=6268496 CPUtime=5004.51 cores=0-31
/proc/3627/task/3641/stat : 3641 (claspmt) R 3625 3627 3596 0 -1 4202560 40436 0 0 0 500271 180 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=3627/tid=3642] ppid=3625 vsize=6268496 CPUtime=5005.04 cores=0-31
/proc/3627/task/3642/stat : 3642 (claspmt) R 3625 3627 3596 0 -1 4202560 32780 0 0 0 500369 135 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=3627/tid=3643] ppid=3625 vsize=6268496 CPUtime=5004.56 cores=0-31
/proc/3627/task/3643/stat : 3643 (claspmt) R 3625 3627 3596 0 -1 4202560 29133 0 0 0 500339 117 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=3627/tid=3644] ppid=3625 vsize=6268496 CPUtime=5003.85 cores=0-31
/proc/3627/task/3644/stat : 3644 (claspmt) R 3625 3627 3596 0 -1 4202560 110017 0 0 0 499971 414 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=3627/tid=3645] ppid=3625 vsize=6268496 CPUtime=5003.76 cores=0-31
/proc/3627/task/3645/stat : 3645 (claspmt) R 3625 3627 3596 0 -1 4202560 31715 0 0 0 500223 153 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4653477 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=3627/tid=3646] ppid=3625 vsize=6268496 CPUtime=4992.97 cores=0-31
/proc/3627/task/3646/stat : 3646 (claspmt) R 3625 3627 3596 0 -1 4202560 19994 0 0 0 499217 80 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=3627/tid=3647] ppid=3625 vsize=6268496 CPUtime=5004.75 cores=0-31
/proc/3627/task/3647/stat : 3647 (claspmt) R 3625 3627 3596 0 -1 4202560 46834 0 0 0 500292 183 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4379076 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=3627/tid=3648] ppid=3625 vsize=6268496 CPUtime=5003.27 cores=0-31
/proc/3627/task/3648/stat : 3648 (claspmt) R 3625 3627 3596 0 -1 4202560 27679 0 0 0 500157 170 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=3627/tid=3649] ppid=3625 vsize=6268496 CPUtime=5002.7 cores=0-31
/proc/3627/task/3649/stat : 3649 (claspmt) R 3625 3627 3596 0 -1 4202560 37118 0 0 0 500115 155 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=3627/tid=3650] ppid=3625 vsize=6268496 CPUtime=5002.48 cores=0-31
/proc/3627/task/3650/stat : 3650 (claspmt) R 3625 3627 3596 0 -1 4202560 29576 0 0 0 500131 117 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=3627/tid=3651] ppid=3625 vsize=6268496 CPUtime=5001.72 cores=0-31
/proc/3627/task/3651/stat : 3651 (claspmt) R 3625 3627 3596 0 -1 4202560 29135 0 0 0 500048 124 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=3627/tid=3652] ppid=3625 vsize=6268496 CPUtime=5004.45 cores=0-31
/proc/3627/task/3652/stat : 3652 (claspmt) R 3625 3627 3596 0 -1 4202560 94600 0 0 0 500072 373 0 0 25 0 32 0 36336732 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=3627/tid=3653] ppid=3625 vsize=6268496 CPUtime=5001.19 cores=0-31
/proc/3627/task/3653/stat : 3653 (claspmt) R 3625 3627 3596 0 -1 4202560 24384 0 0 0 500014 105 0 0 25 0 32 0 36336733 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=3627/tid=3654] ppid=3625 vsize=6268496 CPUtime=5003.56 cores=0-31
/proc/3627/task/3654/stat : 3654 (claspmt) R 3625 3627 3596 0 -1 4202560 21034 0 0 0 500278 78 0 0 25 0 32 0 36336733 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=3627/tid=3655] ppid=3625 vsize=6268496 CPUtime=5004.73 cores=0-31
/proc/3627/task/3655/stat : 3655 (claspmt) R 3625 3627 3596 0 -1 4202560 48363 0 0 0 500284 189 0 0 25 0 32 0 36336733 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=3627/tid=3656] ppid=3625 vsize=6268496 CPUtime=4996.14 cores=0-31
/proc/3627/task/3656/stat : 3656 (claspmt) R 3625 3627 3596 0 -1 4202560 27212 0 0 0 499498 116 0 0 25 0 32 0 36336733 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=3627/tid=3657] ppid=3625 vsize=6268496 CPUtime=5004.39 cores=0-31
/proc/3627/task/3657/stat : 3657 (claspmt) R 3625 3627 3596 0 -1 4202560 34796 0 0 0 500303 136 0 0 25 0 32 0 36336733 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=3627/tid=3658] ppid=3625 vsize=6268496 CPUtime=5004.87 cores=0-31
/proc/3627/task/3658/stat : 3658 (claspmt) R 3625 3627 3596 0 -1 4202560 33775 0 0 0 500349 138 0 0 25 0 32 0 36336733 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=3627/tid=3659] ppid=3625 vsize=6268496 CPUtime=4992.74 cores=0-31
/proc/3627/task/3659/stat : 3659 (claspmt) R 3625 3627 3596 0 -1 4202560 28833 0 0 0 499149 125 0 0 25 0 32 0 36336733 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=3627/tid=3660] ppid=3625 vsize=6268496 CPUtime=4982.65 cores=0-31
/proc/3627/task/3660/stat : 3660 (claspmt) R 3625 3627 3596 0 -1 4202560 151948 0 0 0 497654 611 0 0 25 0 32 0 36336733 6418939904 1378559 270582939648 4194304 4964800 140733265901792 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 6268496

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -3627

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

[startup+5007.8 s]
/proc/loadavg: 32.06 32.11 32.08 33/445 3850
/proc/meminfo: memFree=256648152/264257624 swapFree=67111528/67111528
[pid=3627] ppid=3625 vsize=6169164 CPUtime=160003 cores=0-31
/proc/3627/stat : 3627 (claspmt) R 3625 3627 3596 0 -1 4202496 1407153 0 0 0 15994529 5761 0 0 25 0 1 0 36336639 6317223936 1376155 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650613570 0 0 4096 18946 0 0 0 17 15 0 0 0
/proc/3627/statm: 1542291 1376155 474 189 0 1536640 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 6169164

[startup+5008.6 s]
/proc/loadavg: 32.06 32.11 32.08 2/415 3851
/proc/meminfo: memFree=256670588/264257624 swapFree=67111528/67111528
[pid=3627] ppid=3625 vsize=6137008 CPUtime=160004 cores=0-31
/proc/3627/stat : 3627 (claspmt) R 3625 3627 3596 0 -1 4202496 1407153 0 0 0 15994609 5761 0 0 25 0 1 0 36336639 6284296192 1368062 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650612750 0 0 4096 18946 0 0 0 17 15 0 0 0
/proc/3627/statm: 1534252 1368062 474 189 0 1528601 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 6137008

[startup+5009.42 s]
/proc/loadavg: 32.06 32.11 32.08 2/415 3851
/proc/meminfo: memFree=256719916/264257624 swapFree=67111528/67111528
[pid=3627] ppid=3625 vsize=6107344 CPUtime=160005 cores=0-31
/proc/3627/stat : 3627 (claspmt) R 3625 3627 3596 0 -1 4202496 1407153 0 0 0 15994690 5762 0 0 25 0 1 0 36336639 6253920256 1360042 270582939648 4194304 4964800 140733265901792 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 17 15 0 0 0
/proc/3627/statm: 1526836 1360042 474 189 0 1521185 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 6107344

[startup+5009.8 s]
/proc/loadavg: 32.06 32.11 32.08 2/415 3851
/proc/meminfo: memFree=256719916/264257624 swapFree=67111528/67111528
[pid=3627] ppid=3625 vsize=0 CPUtime=160005 cores=0-31
/proc/3627/stat : 3627 (claspmt) R 3625 3627 3596 0 -1 4203524 1407153 0 0 0 15994711 5779 0 0 25 0 1 0 36336639 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 15 0 0 0
/proc/3627/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

[startup+5009.9 s]
/proc/loadavg: 32.06 32.11 32.08 2/415 3851
/proc/meminfo: memFree=256719916/264257624 swapFree=67111528/67111528
[pid=3627] ppid=3625 vsize=0 CPUtime=160005 cores=0-31
/proc/3627/stat : 3627 (claspmt) R 3625 3627 3596 0 -1 4203524 1407153 0 0 0 15994711 5789 0 0 25 0 1 0 36336639 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 15 0 0 0
/proc/3627/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): 5009.96
CPU time (s): 160005
CPU user time (s): 159947
CPU system time (s): 57.9532
CPU usage (%): 3193.74
Max. virtual memory (cumulated for all children) (KiB): 6268496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159947
system time used= 57.9532
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1407153
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= 380386
involuntary context switches= 405000

runsolver used 29.3945 second user time and 112.205 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-10 14:38:18
IDJOB=3472465
IDBENCH=83133
IDSOLVER=1961
FILE ID=node200/3472465-1307709497
RUNJOBID= node200-1307709497-3611
PBS_JOBID= 13549545
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-bottom22.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-3472465-1307709497/watcher-3472465-1307709497 -o /tmp/evaluation-result-3472465-1307709497/solver-3472465-1307709497 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472465-1307709497.cnf

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

MD5SUM BENCH= 808b4b06b3dea960876e6772f0b9c207
RANDOM SEED=687165324

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:      262170188 kB
Buffers:        269760 kB
Cached:        1502688 kB
SwapCached:          0 kB
Active:         289460 kB
Inactive:      1545944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262170188 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3688 kB
Writeback:           0 kB
AnonPages:       64408 kB
Mapped:          13484 kB
Slab:           172924 kB
PageTables:       3908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   170352 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 16:01:48