Trace number 3472457

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) 160006 5009.52

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom19.cnf
MD5SUMd725e0d6a363434dce7cb39ffdb1b83f
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 variables40286
Number of clauses134663
Sum of the clauses size343327
Maximum clause length1301
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 269181
Number of clauses of size 364779
Number of clauses of size 4189
Number of clauses of size 517
Number of clauses of size over 5496

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...690279/instance-3472457-1307690279.cnf
0.69/0.76	c Solving...
160002.55/5007.25	
160002.55/5007.25	*** INTERRUPTED! ***
160002.55/5007.25	*** 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-3472457-1307690279/watcher-3472457-1307690279 -o /tmp/evaluation-result-3472457-1307690279/solver-3472457-1307690279 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472457-1307690279.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: 28.85 30.99 31.66 2/412 2144
/proc/meminfo: memFree=262184396/264257624 swapFree=67111528/67111528
[pid=2144] ppid=2142 vsize=26076 CPUtime=0 cores=0-31
/proc/2144/stat : 2144 (claspmt) R 2142 2144 1976 0 -1 4202496 559 0 0 0 0 0 0 0 22 0 1 0 34414822 26701824 488 270582939648 4194304 4964800 140734847402992 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/2144/statm: 6519 493 373 189 0 1393 0

[startup+0.0923451 s]
/proc/loadavg: 28.85 30.99 31.66 2/412 2144
/proc/meminfo: memFree=262184396/264257624 swapFree=67111528/67111528
[pid=2144] ppid=2142 vsize=32608 CPUtime=0.08 cores=0-31
/proc/2144/stat : 2144 (claspmt) R 2142 2144 1976 0 -1 4202496 4002 0 0 0 7 1 0 0 22 0 1 0 34414822 33390592 3324 270582939648 4194304 4964800 140734847402992 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/2144/statm: 8152 3325 386 189 0 3026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32608

[startup+0.100341 s]
/proc/loadavg: 28.85 30.99 31.66 2/412 2144
/proc/meminfo: memFree=262184396/264257624 swapFree=67111528/67111528
[pid=2144] ppid=2142 vsize=33004 CPUtime=0.09 cores=0-31
/proc/2144/stat : 2144 (claspmt) R 2142 2144 1976 0 -1 4202496 4112 0 0 0 8 1 0 0 22 0 1 0 34414822 33796096 3434 270582939648 4194304 4964800 140734847402992 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/2144/statm: 8251 3435 386 189 0 3125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33004

[startup+0.300353 s]
/proc/loadavg: 28.85 30.99 31.66 2/412 2144
/proc/meminfo: memFree=262184396/264257624 swapFree=67111528/67111528
[pid=2144] ppid=2142 vsize=41924 CPUtime=0.29 cores=0-31
/proc/2144/stat : 2144 (claspmt) R 2142 2144 1976 0 -1 4202496 6905 0 0 0 27 2 0 0 23 0 1 0 34414822 42930176 5653 270582939648 4194304 4964800 140734847402992 18446744073709551615 4600360 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/2144/statm: 10481 5653 401 189 0 5355 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41924

[startup+0.700385 s]
/proc/loadavg: 28.85 30.99 31.66 2/412 2144
/proc/meminfo: memFree=262184396/264257624 swapFree=67111528/67111528
[pid=2144] ppid=2142 vsize=46016 CPUtime=0.69 cores=0-31
/proc/2144/stat : 2144 (claspmt) R 2142 2144 1976 0 -1 4202496 7921 0 0 0 67 2 0 0 25 0 1 0 34414822 47120384 6669 270582939648 4194304 4964800 140734847402992 18446744073709551615 4621712 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/2144/statm: 11504 6669 401 189 0 6378 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46016

[startup+1.50228 s]
/proc/loadavg: 28.85 30.99 31.66 4/444 2176
/proc/meminfo: memFree=262057892/264257624 swapFree=67111528/67111528
[pid=2144] ppid=2142 vsize=2019328 CPUtime=8.39 cores=0-31
/proc/2144/stat : 2144 (claspmt) R 2142 2144 1976 0 -1 4202496 60966 0 0 0 444 395 0 0 16 0 32 0 34414822 2067791872 49271 270582939648 4194304 4964800 140734847402992 18446744073709551615 4370259 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/2144/statm: 504832 49271 455 189 0 499181 0
[pid=2144/tid=2146] ppid=2142 vsize=2019328 CPUtime=0.22 cores=0-31
/proc/2144/task/2146/stat : 2146 (claspmt) R 2142 2144 1976 0 -1 4202560 1402 0 0 0 9 13 0 0 16 0 32 0 34414899 2067791872 49271 270582939648 4194304 4964800 140734847402992 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=2144/tid=2147] ppid=2142 vsize=2019328 CPUtime=0.21 cores=0-31
/proc/2144/task/2147/stat : 2147 (claspmt) R 2142 2144 1976 0 -1 4202560 1915 0 0 0 9 12 0 0 16 0 32 0 34414899 2067791872 49272 270582939648 4194304 4964800 140734847402992 18446744073709551615 4362919 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=2144/tid=2148] ppid=2142 vsize=2019328 CPUtime=0.23 cores=0-31
/proc/2144/task/2148/stat : 2148 (claspmt) R 2142 2144 1976 0 -1 4202560 1883 0 0 0 8 15 0 0 16 0 32 0 34414899 2067791872 49272 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2144/tid=2149] ppid=2142 vsize=2019328 CPUtime=0.2 cores=0-31
/proc/2144/task/2149/stat : 2149 (claspmt) R 2142 2144 1976 0 -1 4202560 1533 0 0 0 8 12 0 0 16 0 32 0 34414899 2067791872 49272 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668763 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=2144/tid=2150] ppid=2142 vsize=2019328 CPUtime=0.44 cores=0-31
/proc/2144/task/2150/stat : 2150 (claspmt) R 2142 2144 1976 0 -1 4202560 1641 0 0 0 31 13 0 0 18 0 32 0 34414899 2067791872 49272 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=2144/tid=2151] ppid=2142 vsize=2019328 CPUtime=0.21 cores=0-31
/proc/2144/task/2151/stat : 2151 (claspmt) R 2142 2144 1976 0 -1 4202560 1970 0 0 0 9 12 0 0 16 0 32 0 34414899 2067791872 49272 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670394 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=2144/tid=2152] ppid=2142 vsize=2019328 CPUtime=0.22 cores=0-31
/proc/2144/task/2152/stat : 2152 (claspmt) R 2142 2144 1976 0 -1 4202560 1611 0 0 0 9 13 0 0 16 0 32 0 34414899 2067791872 49272 270582939648 4194304 4964800 140734847402992 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=2144/tid=2153] ppid=2142 vsize=2019328 CPUtime=0.18 cores=0-31
/proc/2144/task/2153/stat : 2153 (claspmt) R 2142 2144 1976 0 -1 4202560 1499 0 0 0 9 9 0 0 16 0 32 0 34414899 2067791872 49273 270582939648 4194304 4964800 140734847402992 18446744073709551615 4370301 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2144/tid=2154] ppid=2142 vsize=2019328 CPUtime=0.2 cores=0-31
/proc/2144/task/2154/stat : 2154 (claspmt) R 2142 2144 1976 0 -1 4202560 1493 0 0 0 8 12 0 0 16 0 32 0 34414899 2067791872 49273 270582939648 4194304 4964800 140734847402992 18446744073709551615 4370381 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=2144/tid=2155] ppid=2142 vsize=2019328 CPUtime=0.2 cores=0-31
/proc/2144/task/2155/stat : 2155 (claspmt) R 2142 2144 1976 0 -1 4202560 1923 0 0 0 8 12 0 0 16 0 32 0 34414899 2067791872 49273 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=2144/tid=2156] ppid=2142 vsize=2019328 CPUtime=0.21 cores=0-31
/proc/2144/task/2156/stat : 2156 (claspmt) R 2142 2144 1976 0 -1 4202560 1922 0 0 0 7 14 0 0 16 0 32 0 34414899 2067791872 49276 270582939648 4194304 4964800 140734847402992 18446744073709551615 4361199 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=2144/tid=2157] ppid=2142 vsize=2019328 CPUtime=0.2 cores=0-31
/proc/2144/task/2157/stat : 2157 (claspmt) R 2142 2144 1976 0 -1 4202560 1535 0 0 0 8 12 0 0 16 0 32 0 34414899 2067791872 49276 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=2144/tid=2158] ppid=2142 vsize=2019328 CPUtime=0.43 cores=0-31
/proc/2144/task/2158/stat : 2158 (claspmt) R 2142 2144 1976 0 -1 4202560 1661 0 0 0 31 12 0 0 18 0 32 0 34414899 2067791872 49276 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=2144/tid=2159] ppid=2142 vsize=2019328 CPUtime=0.21 cores=0-31
/proc/2144/task/2159/stat : 2159 (claspmt) D 2142 2144 1976 0 -1 4202560 1836 0 0 0 8 13 0 0 16 0 32 0 34414899 2067791872 49276 270582939648 4194304 4964800 140734847402992 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=2144/tid=2160] ppid=2142 vsize=2019328 CPUtime=0.22 cores=0-31
/proc/2144/task/2160/stat : 2160 (claspmt) R 2142 2144 1976 0 -1 4202560 1695 0 0 0 9 13 0 0 16 0 32 0 34414899 2067791872 49278 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668592 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=2144/tid=2161] ppid=2142 vsize=2019328 CPUtime=0.2 cores=0-31
/proc/2144/task/2161/stat : 2161 (claspmt) R 2142 2144 1976 0 -1 4202560 1529 0 0 0 9 11 0 0 16 0 32 0 34414899 2067791872 49279 270582939648 4194304 4964800 140734847402992 18446744073709551615 4342189 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=2144/tid=2162] ppid=2142 vsize=2019328 CPUtime=0.19 cores=0-31
/proc/2144/task/2162/stat : 2162 (claspmt) R 2142 2144 1976 0 -1 4202560 1484 0 0 0 8 11 0 0 16 0 32 0 34414899 2067791872 49279 270582939648 4194304 4964800 140734847402992 18446744073709551615 4370377 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=2144/tid=2163] ppid=2142 vsize=2019328 CPUtime=0.22 cores=0-31
/proc/2144/task/2163/stat : 2163 (claspmt) R 2142 2144 1976 0 -1 4202560 1916 0 0 0 9 13 0 0 16 0 32 0 34414899 2067791872 49280 270582939648 4194304 4964800 140734847402992 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=2144/tid=2164] ppid=2142 vsize=2019328 CPUtime=0.2 cores=0-31
/proc/2144/task/2164/stat : 2164 (claspmt) R 2142 2144 1976 0 -1 4202560 1861 0 0 0 9 11 0 0 16 0 32 0 34414899 2067791872 49281 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=2144/tid=2165] ppid=2142 vsize=2019328 CPUtime=0.21 cores=0-31
/proc/2144/task/2165/stat : 2165 (claspmt) R 2142 2144 1976 0 -1 4202560 1384 0 0 0 8 13 0 0 16 0 32 0 34414899 2067791872 49283 270582939648 4194304 4964800 140734847402992 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=2144/tid=2166] ppid=2142 vsize=2019328 CPUtime=0.39 cores=0-31
/proc/2144/task/2166/stat : 2166 (claspmt) R 2142 2144 1976 0 -1 4202560 1778 0 0 0 27 12 0 0 18 0 32 0 34414899 2067791872 49283 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=2144/tid=2167] ppid=2142 vsize=2019328 CPUtime=0.22 cores=0-31
/proc/2144/task/2167/stat : 2167 (claspmt) R 2142 2144 1976 0 -1 4202560 1927 0 0 0 9 13 0 0 16 0 32 0 34414899 2067791872 49284 270582939648 4194304 4964800 140734847402992 18446744073709551615 4684040 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=2144/tid=2168] ppid=2142 vsize=2019328 CPUtime=0.22 cores=0-31
/proc/2144/task/2168/stat : 2168 (claspmt) R 2142 2144 1976 0 -1 4202560 1828 0 0 0 8 14 0 0 16 0 32 0 34414899 2067791872 49284 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=2144/tid=2169] ppid=2142 vsize=2019328 CPUtime=0.18 cores=0-31
/proc/2144/task/2169/stat : 2169 (claspmt) R 2142 2144 1976 0 -1 4202560 1544 0 0 0 7 11 0 0 16 0 32 0 34414899 2067791872 49285 270582939648 4194304 4964800 140734847402992 18446744073709551615 4370266 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=2144/tid=2170] ppid=2142 vsize=2019328 CPUtime=0.19 cores=0-31
/proc/2144/task/2170/stat : 2170 (claspmt) R 2142 2144 1976 0 -1 4202560 1529 0 0 0 8 11 0 0 16 0 32 0 34414900 2067791872 49285 270582939648 4194304 4964800 140734847402992 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=2144/tid=2171] ppid=2142 vsize=2019328 CPUtime=0.2 cores=0-31
/proc/2144/task/2171/stat : 2171 (claspmt) R 2142 2144 1976 0 -1 4202560 1859 0 0 0 9 11 0 0 16 0 32 0 34414900 2067791872 49285 270582939648 4194304 4964800 140734847402992 18446744073709551615 4361293 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=2144/tid=2172] ppid=2142 vsize=2019328 CPUtime=0.2 cores=0-31
/proc/2144/task/2172/stat : 2172 (claspmt) R 2142 2144 1976 0 -1 4202560 1881 0 0 0 7 13 0 0 16 0 32 0 34414900 2067791872 49285 270582939648 4194304 4964800 140734847402992 18446744073709551615 4362938 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=2144/tid=2173] ppid=2142 vsize=2019328 CPUtime=0.2 cores=0-31
/proc/2144/task/2173/stat : 2173 (claspmt) R 2142 2144 1976 0 -1 4202560 1363 0 0 0 8 12 0 0 16 0 32 0 34414900 2067791872 49286 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=2144/tid=2174] ppid=2142 vsize=2019328 CPUtime=0.44 cores=0-31
/proc/2144/task/2174/stat : 2174 (claspmt) R 2142 2144 1976 0 -1 4202560 1670 0 0 0 34 10 0 0 18 0 32 0 34414900 2067791872 49287 270582939648 4194304 4964800 140734847402992 18446744073709551615 4674464 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=2144/tid=2175] ppid=2142 vsize=2019328 CPUtime=0.2 cores=0-31
/proc/2144/task/2175/stat : 2175 (claspmt) R 2142 2144 1976 0 -1 4202560 1832 0 0 0 8 12 0 0 16 0 32 0 34414900 2067791872 49287 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=2144/tid=2176] ppid=2142 vsize=2019328 CPUtime=0.2 cores=0-31
/proc/2144/task/2176/stat : 2176 (claspmt) R 2142 2144 1976 0 -1 4202560 1742 0 0 0 8 12 0 0 16 0 32 0 34414900 2067791872 49287 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668763 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 8.39
Current children cumulated vsize (KiB) 2019328

[startup+3.10134 s]
/proc/loadavg: 28.85 30.99 31.66 33/444 2176
/proc/meminfo: memFree=261977564/264257624 swapFree=67111528/67111528
[pid=2144] ppid=2142 vsize=2020680 CPUtime=59.32 cores=0-31
/proc/2144/stat : 2144 (claspmt) R 2142 2144 1976 0 -1 4202496 73647 0 0 0 5499 433 0 0 17 0 32 0 34414822 2069176320 61952 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669280 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/2144/statm: 505170 61952 461 189 0 499519 0
[pid=2144/tid=2146] ppid=2142 vsize=2020680 CPUtime=1.81 cores=0-31
/proc/2144/task/2146/stat : 2146 (claspmt) R 2142 2144 1976 0 -1 4202560 1802 0 0 0 167 14 0 0 17 0 32 0 34414899 2069176320 61953 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=2144/tid=2147] ppid=2142 vsize=2020680 CPUtime=1.79 cores=0-31
/proc/2144/task/2147/stat : 2147 (claspmt) R 2142 2144 1976 0 -1 4202560 2493 0 0 0 166 13 0 0 17 0 32 0 34414899 2069176320 61953 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=2144/tid=2148] ppid=2142 vsize=2020680 CPUtime=1.82 cores=0-31
/proc/2144/task/2148/stat : 2148 (claspmt) R 2142 2144 1976 0 -1 4202560 2301 0 0 0 167 15 0 0 17 0 32 0 34414899 2069176320 61953 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2144/tid=2149] ppid=2142 vsize=2020680 CPUtime=1.79 cores=0-31
/proc/2144/task/2149/stat : 2149 (claspmt) R 2142 2144 1976 0 -1 4202560 1990 0 0 0 166 13 0 0 17 0 32 0 34414899 2069176320 61954 270582939648 4194304 4964800 140734847402992 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=2144/tid=2150] ppid=2142 vsize=2020680 CPUtime=2.04 cores=0-31
/proc/2144/task/2150/stat : 2150 (claspmt) R 2142 2144 1976 0 -1 4202560 1682 0 0 0 191 13 0 0 20 0 32 0 34414899 2069176320 61954 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668672 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=2144/tid=2151] ppid=2142 vsize=2020680 CPUtime=1.8 cores=0-31
/proc/2144/task/2151/stat : 2151 (claspmt) R 2142 2144 1976 0 -1 4202560 2350 0 0 0 167 13 0 0 17 0 32 0 34414899 2069176320 61954 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670640 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=2144/tid=2152] ppid=2142 vsize=2020680 CPUtime=1.81 cores=0-31
/proc/2144/task/2152/stat : 2152 (claspmt) R 2142 2144 1976 0 -1 4202560 2061 0 0 0 167 14 0 0 17 0 32 0 34414899 2069176320 61954 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=2144/tid=2153] ppid=2142 vsize=2020680 CPUtime=1.78 cores=0-31
/proc/2144/task/2153/stat : 2153 (claspmt) R 2142 2144 1976 0 -1 4202560 1868 0 0 0 167 11 0 0 17 0 32 0 34414899 2069176320 61954 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2144/tid=2154] ppid=2142 vsize=2020680 CPUtime=1.8 cores=0-31
/proc/2144/task/2154/stat : 2154 (claspmt) R 2142 2144 1976 0 -1 4202560 1878 0 0 0 166 14 0 0 17 0 32 0 34414899 2069176320 61954 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=2144/tid=2155] ppid=2142 vsize=2020680 CPUtime=1.79 cores=0-31
/proc/2144/task/2155/stat : 2155 (claspmt) R 2142 2144 1976 0 -1 4202560 2474 0 0 0 166 13 0 0 17 0 32 0 34414899 2069176320 61954 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=2144/tid=2156] ppid=2142 vsize=2020680 CPUtime=1.8 cores=0-31
/proc/2144/task/2156/stat : 2156 (claspmt) R 2142 2144 1976 0 -1 4202560 2399 0 0 0 166 14 0 0 17 0 32 0 34414899 2069176320 61954 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668817 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=2144/tid=2157] ppid=2142 vsize=2020680 CPUtime=1.8 cores=0-31
/proc/2144/task/2157/stat : 2157 (claspmt) R 2142 2144 1976 0 -1 4202560 2050 0 0 0 166 14 0 0 17 0 32 0 34414899 2069176320 61954 270582939648 4194304 4964800 140734847402992 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=2144/tid=2158] ppid=2142 vsize=2020680 CPUtime=2.03 cores=0-31
/proc/2144/task/2158/stat : 2158 (claspmt) R 2142 2144 1976 0 -1 4202560 1698 0 0 0 191 12 0 0 20 0 32 0 34414899 2069176320 61955 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670160 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=2144/tid=2159] ppid=2142 vsize=2020680 CPUtime=1.8 cores=0-31
/proc/2144/task/2159/stat : 2159 (claspmt) R 2142 2144 1976 0 -1 4202560 2209 0 0 0 166 14 0 0 17 0 32 0 34414899 2069176320 61955 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=2144/tid=2160] ppid=2142 vsize=2020680 CPUtime=1.8 cores=0-31
/proc/2144/task/2160/stat : 2160 (claspmt) R 2142 2144 1976 0 -1 4202560 2199 0 0 0 166 14 0 0 17 0 32 0 34414899 2069176320 61955 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=2144/tid=2161] ppid=2142 vsize=2020680 CPUtime=1.79 cores=0-31
/proc/2144/task/2161/stat : 2161 (claspmt) R 2142 2144 1976 0 -1 4202560 1859 0 0 0 167 12 0 0 17 0 32 0 34414899 2069176320 61955 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=2144/tid=2162] ppid=2142 vsize=2020680 CPUtime=1.79 cores=0-31
/proc/2144/task/2162/stat : 2162 (claspmt) R 2142 2144 1976 0 -1 4202560 1871 0 0 0 167 12 0 0 17 0 32 0 34414899 2069176320 61957 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=2144/tid=2163] ppid=2142 vsize=2020680 CPUtime=1.81 cores=0-31
/proc/2144/task/2163/stat : 2163 (claspmt) R 2142 2144 1976 0 -1 4202560 2479 0 0 0 166 15 0 0 17 0 32 0 34414899 2069176320 61958 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=2144/tid=2164] ppid=2142 vsize=2020680 CPUtime=1.79 cores=0-31
/proc/2144/task/2164/stat : 2164 (claspmt) R 2142 2144 1976 0 -1 4202560 2374 0 0 0 166 13 0 0 17 0 32 0 34414899 2069176320 61958 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670239 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=2144/tid=2165] ppid=2142 vsize=2020680 CPUtime=1.81 cores=0-31
/proc/2144/task/2165/stat : 2165 (claspmt) R 2142 2144 1976 0 -1 4202560 1772 0 0 0 167 14 0 0 17 0 32 0 34414899 2069176320 61958 270582939648 4194304 4964800 140734847402992 18446744073709551615 258650652533 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=2144/tid=2166] ppid=2142 vsize=2020680 CPUtime=1.99 cores=0-31
/proc/2144/task/2166/stat : 2166 (claspmt) R 2142 2144 1976 0 -1 4202560 1810 0 0 0 187 12 0 0 20 0 32 0 34414899 2069176320 61958 270582939648 4194304 4964800 140734847402992 18446744073709551615 4399339 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=2144/tid=2167] ppid=2142 vsize=2020680 CPUtime=1.81 cores=0-31
/proc/2144/task/2167/stat : 2167 (claspmt) R 2142 2144 1976 0 -1 4202560 2233 0 0 0 167 14 0 0 17 0 32 0 34414899 2069176320 61958 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=2144/tid=2168] ppid=2142 vsize=2020680 CPUtime=1.81 cores=0-31
/proc/2144/task/2168/stat : 2168 (claspmt) R 2142 2144 1976 0 -1 4202560 2383 0 0 0 165 16 0 0 17 0 32 0 34414899 2069176320 61959 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=2144/tid=2169] ppid=2142 vsize=2020680 CPUtime=1.78 cores=0-31
/proc/2144/task/2169/stat : 2169 (claspmt) R 2142 2144 1976 0 -1 4202560 1931 0 0 0 166 12 0 0 17 0 32 0 34414899 2069176320 61961 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=2144/tid=2170] ppid=2142 vsize=2020680 CPUtime=1.78 cores=0-31
/proc/2144/task/2170/stat : 2170 (claspmt) R 2142 2144 1976 0 -1 4202560 1937 0 0 0 166 12 0 0 17 0 32 0 34414900 2069176320 61961 270582939648 4194304 4964800 140734847402992 18446744073709551615 4321054 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=2144/tid=2171] ppid=2142 vsize=2020680 CPUtime=1.72 cores=0-31
/proc/2144/task/2171/stat : 2171 (claspmt) R 2142 2144 1976 0 -1 4202560 2451 0 0 0 159 13 0 0 17 0 32 0 34414900 2069176320 61961 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669417 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=2144/tid=2172] ppid=2142 vsize=2020680 CPUtime=1.79 cores=0-31
/proc/2144/task/2172/stat : 2172 (claspmt) R 2142 2144 1976 0 -1 4202560 2387 0 0 0 165 14 0 0 17 0 32 0 34414900 2069176320 61961 270582939648 4194304 4964800 140734847402992 18446744073709551615 4320934 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=2144/tid=2173] ppid=2142 vsize=2020680 CPUtime=1.79 cores=0-31
/proc/2144/task/2173/stat : 2173 (claspmt) R 2142 2144 1976 0 -1 4202560 1781 0 0 0 166 13 0 0 17 0 32 0 34414900 2069176320 61962 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668805 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=2144/tid=2174] ppid=2142 vsize=2020680 CPUtime=2.04 cores=0-31
/proc/2144/task/2174/stat : 2174 (claspmt) R 2142 2144 1976 0 -1 4202560 1710 0 0 0 194 10 0 0 20 0 32 0 34414900 2069176320 61962 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=2144/tid=2175] ppid=2142 vsize=2020680 CPUtime=1.8 cores=0-31

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

/proc/2144/task/2157/stat : 2157 (claspmt) R 2142 2144 1976 0 -1 4202560 28505 0 0 0 495845 119 0 0 25 0 32 0 34414899 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=2144/tid=2158] ppid=2142 vsize=5742728 CPUtime=4959.98 cores=0-31
/proc/2144/task/2158/stat : 2158 (claspmt) R 2142 2144 1976 0 -1 4202560 30627 0 0 0 495871 127 0 0 25 0 32 0 34414899 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=2144/tid=2159] ppid=2142 vsize=5742728 CPUtime=4959.46 cores=0-31
/proc/2144/task/2159/stat : 2159 (claspmt) R 2142 2144 1976 0 -1 4202560 22431 0 0 0 495850 96 0 0 25 0 32 0 34414899 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=2144/tid=2160] ppid=2142 vsize=5742728 CPUtime=4959.51 cores=0-31
/proc/2144/task/2160/stat : 2160 (claspmt) R 2142 2144 1976 0 -1 4202560 104448 0 0 0 495496 455 0 0 25 0 32 0 34414899 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=2144/tid=2161] ppid=2142 vsize=5742728 CPUtime=4959.6 cores=0-31
/proc/2144/task/2161/stat : 2161 (claspmt) R 2142 2144 1976 0 -1 4202560 19245 0 0 0 495868 92 0 0 25 0 32 0 34414899 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=2144/tid=2162] ppid=2142 vsize=5742728 CPUtime=4926.27 cores=0-31
/proc/2144/task/2162/stat : 2162 (claspmt) R 2142 2144 1976 0 -1 4202560 17116 0 0 0 492560 67 0 0 25 0 32 0 34414899 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=2144/tid=2163] ppid=2142 vsize=5742728 CPUtime=4959.79 cores=0-31
/proc/2144/task/2163/stat : 2163 (claspmt) R 2142 2144 1976 0 -1 4202560 36244 0 0 0 495852 127 0 0 25 0 32 0 34414899 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=2144/tid=2164] ppid=2142 vsize=5742728 CPUtime=4959.67 cores=0-31
/proc/2144/task/2164/stat : 2164 (claspmt) R 2142 2144 1976 0 -1 4202560 22546 0 0 0 495865 102 0 0 25 0 32 0 34414899 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=2144/tid=2165] ppid=2142 vsize=5742728 CPUtime=4957.27 cores=0-31
/proc/2144/task/2165/stat : 2165 (claspmt) R 2142 2144 1976 0 -1 4202560 27857 0 0 0 495612 115 0 0 25 0 32 0 34414899 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=2144/tid=2166] ppid=2142 vsize=5742728 CPUtime=4959.91 cores=0-31
/proc/2144/task/2166/stat : 2166 (claspmt) R 2142 2144 1976 0 -1 4202560 27394 0 0 0 495884 107 0 0 25 0 32 0 34414899 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=2144/tid=2167] ppid=2142 vsize=5742728 CPUtime=4954.64 cores=0-31
/proc/2144/task/2167/stat : 2167 (claspmt) R 2142 2144 1976 0 -1 4202560 20197 0 0 0 495337 127 0 0 25 0 32 0 34414899 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=2144/tid=2168] ppid=2142 vsize=5742728 CPUtime=4959.64 cores=0-31
/proc/2144/task/2168/stat : 2168 (claspmt) R 2142 2144 1976 0 -1 4202560 86105 0 0 0 495610 354 0 0 25 0 32 0 34414899 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=2144/tid=2169] ppid=2142 vsize=5742728 CPUtime=4959.69 cores=0-31
/proc/2144/task/2169/stat : 2169 (claspmt) R 2142 2144 1976 0 -1 4202560 18542 0 0 0 495884 85 0 0 25 0 32 0 34414899 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=2144/tid=2170] ppid=2142 vsize=5742728 CPUtime=4932.35 cores=0-31
/proc/2144/task/2170/stat : 2170 (claspmt) R 2142 2144 1976 0 -1 4202560 17479 0 0 0 493173 62 0 0 25 0 32 0 34414900 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=2144/tid=2171] ppid=2142 vsize=5742728 CPUtime=4945.62 cores=0-31
/proc/2144/task/2171/stat : 2171 (claspmt) R 2142 2144 1976 0 -1 4202560 40539 0 0 0 494412 150 0 0 25 0 32 0 34414900 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=2144/tid=2172] ppid=2142 vsize=5742728 CPUtime=4959.71 cores=0-31
/proc/2144/task/2172/stat : 2172 (claspmt) R 2142 2144 1976 0 -1 4202560 21745 0 0 0 495869 102 0 0 25 0 32 0 34414900 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=2144/tid=2173] ppid=2142 vsize=5742728 CPUtime=4956.91 cores=0-31
/proc/2144/task/2173/stat : 2173 (claspmt) R 2142 2144 1976 0 -1 4202560 33122 0 0 0 495547 144 0 0 25 0 32 0 34414900 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2144/tid=2174] ppid=2142 vsize=5742728 CPUtime=4939 cores=0-31
/proc/2144/task/2174/stat : 2174 (claspmt) R 2142 2144 1976 0 -1 4202560 24982 0 0 0 493793 107 0 0 25 0 32 0 34414900 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=2144/tid=2175] ppid=2142 vsize=5742728 CPUtime=4959.74 cores=0-31
/proc/2144/task/2175/stat : 2175 (claspmt) R 2142 2144 1976 0 -1 4202560 19949 0 0 0 495889 85 0 0 25 0 32 0 34414900 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670691 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=2144/tid=2176] ppid=2142 vsize=5742728 CPUtime=4955.23 cores=0-31
/proc/2144/task/2176/stat : 2176 (claspmt) R 2142 2144 1976 0 -1 4202560 78228 0 0 0 495181 342 0 0 25 0 32 0 34414900 5880553472 1076745 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 158567
Current children cumulated vsize (KiB) 5742728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5007.22 s]
/proc/loadavg: 32.24 32.14 32.10 33/445 2389
/proc/meminfo: memFree=257855980/264257624 swapFree=67111528/67111528
[pid=2144] ppid=2142 vsize=5742728 CPUtime=160003 cores=0-31
/proc/2144/stat : 2144 (claspmt) R 2142 2144 1976 0 -1 4202496 1108851 0 0 0 15995631 4623 0 0 25 0 32 0 34414822 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/2144/statm: 1435682 1081914 463 189 0 1430031 0
[pid=2144/tid=2146] ppid=2142 vsize=5742728 CPUtime=5004.48 cores=0-31
/proc/2144/task/2146/stat : 2146 (claspmt) R 2142 2144 1976 0 -1 4202560 19592 0 0 0 500374 74 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=2144/tid=2147] ppid=2142 vsize=5742728 CPUtime=4995.71 cores=0-31
/proc/2144/task/2147/stat : 2147 (claspmt) R 2142 2144 1976 0 -1 4202560 39035 0 0 0 499421 150 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=2144/tid=2148] ppid=2142 vsize=5742728 CPUtime=5000.35 cores=0-31
/proc/2144/task/2148/stat : 2148 (claspmt) R 2142 2144 1976 0 -1 4202560 23048 0 0 0 499933 102 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=2144/tid=2149] ppid=2142 vsize=5742728 CPUtime=5003.25 cores=0-31
/proc/2144/task/2149/stat : 2149 (claspmt) R 2142 2144 1976 0 -1 4202560 31455 0 0 0 500195 130 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=2144/tid=2150] ppid=2142 vsize=5742728 CPUtime=5004.94 cores=0-31
/proc/2144/task/2150/stat : 2150 (claspmt) R 2142 2144 1976 0 -1 4202560 25625 0 0 0 500396 98 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=2144/tid=2151] ppid=2142 vsize=5742728 CPUtime=4988.97 cores=0-31
/proc/2144/task/2151/stat : 2151 (claspmt) R 2142 2144 1976 0 -1 4202560 21808 0 0 0 498801 96 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=2144/tid=2152] ppid=2142 vsize=5742728 CPUtime=5004.62 cores=0-31
/proc/2144/task/2152/stat : 2152 (claspmt) R 2142 2144 1976 0 -1 4202560 114171 0 0 0 499987 475 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=2144/tid=2153] ppid=2142 vsize=5742728 CPUtime=5000.45 cores=0-31
/proc/2144/task/2153/stat : 2153 (claspmt) R 2142 2144 1976 0 -1 4202560 19524 0 0 0 499951 94 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=2144/tid=2154] ppid=2142 vsize=5742728 CPUtime=5004.39 cores=0-31
/proc/2144/task/2154/stat : 2154 (claspmt) R 2142 2144 1976 0 -1 4202560 19317 0 0 0 500371 68 0 0 20 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=2144/tid=2155] ppid=2142 vsize=5742728 CPUtime=5004.71 cores=0-31
/proc/2144/task/2155/stat : 2155 (claspmt) R 2142 2144 1976 0 -1 4202560 42569 0 0 0 500319 152 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=2144/tid=2156] ppid=2142 vsize=5742728 CPUtime=5004.55 cores=0-31
/proc/2144/task/2156/stat : 2156 (claspmt) R 2142 2144 1976 0 -1 4202560 23406 0 0 0 500364 91 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=2144/tid=2157] ppid=2142 vsize=5742728 CPUtime=5004.58 cores=0-31
/proc/2144/task/2157/stat : 2157 (claspmt) R 2142 2144 1976 0 -1 4202560 28663 0 0 0 500338 120 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=2144/tid=2158] ppid=2142 vsize=5742728 CPUtime=5004.9 cores=0-31
/proc/2144/task/2158/stat : 2158 (claspmt) R 2142 2144 1976 0 -1 4202560 30723 0 0 0 500363 127 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=2144/tid=2159] ppid=2142 vsize=5742728 CPUtime=5004.39 cores=0-31
/proc/2144/task/2159/stat : 2159 (claspmt) R 2142 2144 1976 0 -1 4202560 22431 0 0 0 500342 97 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=2144/tid=2160] ppid=2142 vsize=5742728 CPUtime=5004.44 cores=0-31
/proc/2144/task/2160/stat : 2160 (claspmt) R 2142 2144 1976 0 -1 4202560 104449 0 0 0 499989 455 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=2144/tid=2161] ppid=2142 vsize=5742728 CPUtime=5004.53 cores=0-31
/proc/2144/task/2161/stat : 2161 (claspmt) R 2142 2144 1976 0 -1 4202560 19331 0 0 0 500361 92 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=2144/tid=2162] ppid=2142 vsize=5742728 CPUtime=4971.21 cores=0-31
/proc/2144/task/2162/stat : 2162 (claspmt) R 2142 2144 1976 0 -1 4202560 17122 0 0 0 497054 67 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=2144/tid=2163] ppid=2142 vsize=5742728 CPUtime=5004.71 cores=0-31
/proc/2144/task/2163/stat : 2163 (claspmt) R 2142 2144 1976 0 -1 4202560 36244 0 0 0 500344 127 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=2144/tid=2164] ppid=2142 vsize=5742728 CPUtime=5004.6 cores=0-31
/proc/2144/task/2164/stat : 2164 (claspmt) R 2142 2144 1976 0 -1 4202560 22546 0 0 0 500358 102 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=2144/tid=2165] ppid=2142 vsize=5742728 CPUtime=5002.2 cores=0-31
/proc/2144/task/2165/stat : 2165 (claspmt) R 2142 2144 1976 0 -1 4202560 28049 0 0 0 500105 115 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=2144/tid=2166] ppid=2142 vsize=5742728 CPUtime=5004.85 cores=0-31
/proc/2144/task/2166/stat : 2166 (claspmt) R 2142 2144 1976 0 -1 4202560 27789 0 0 0 500375 110 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=2144/tid=2167] ppid=2142 vsize=5742728 CPUtime=4999.56 cores=0-31
/proc/2144/task/2167/stat : 2167 (claspmt) R 2142 2144 1976 0 -1 4202560 20371 0 0 0 499829 127 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=2144/tid=2168] ppid=2142 vsize=5742728 CPUtime=5004.57 cores=0-31
/proc/2144/task/2168/stat : 2168 (claspmt) R 2142 2144 1976 0 -1 4202560 86130 0 0 0 500102 355 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=2144/tid=2169] ppid=2142 vsize=5742728 CPUtime=5004.62 cores=0-31
/proc/2144/task/2169/stat : 2169 (claspmt) R 2142 2144 1976 0 -1 4202560 18577 0 0 0 500377 85 0 0 25 0 32 0 34414899 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=2144/tid=2170] ppid=2142 vsize=5742728 CPUtime=4975.99 cores=0-31
/proc/2144/task/2170/stat : 2170 (claspmt) R 2142 2144 1976 0 -1 4202560 17528 0 0 0 497536 63 0 0 25 0 32 0 34414900 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=2144/tid=2171] ppid=2142 vsize=5742728 CPUtime=4990.56 cores=0-31
/proc/2144/task/2171/stat : 2171 (claspmt) R 2142 2144 1976 0 -1 4202560 40543 0 0 0 498905 151 0 0 25 0 32 0 34414900 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=2144/tid=2172] ppid=2142 vsize=5742728 CPUtime=5004.64 cores=0-31
/proc/2144/task/2172/stat : 2172 (claspmt) R 2142 2144 1976 0 -1 4202560 21873 0 0 0 500362 102 0 0 25 0 32 0 34414900 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=2144/tid=2173] ppid=2142 vsize=5742728 CPUtime=5001.84 cores=0-31
/proc/2144/task/2173/stat : 2173 (claspmt) R 2142 2144 1976 0 -1 4202560 33129 0 0 0 500040 144 0 0 25 0 32 0 34414900 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=2144/tid=2174] ppid=2142 vsize=5742728 CPUtime=4983.89 cores=0-31
/proc/2144/task/2174/stat : 2174 (claspmt) R 2142 2144 1976 0 -1 4202560 25026 0 0 0 498281 108 0 0 25 0 32 0 34414900 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=2144/tid=2175] ppid=2142 vsize=5742728 CPUtime=5004.67 cores=0-31
/proc/2144/task/2175/stat : 2175 (claspmt) R 2142 2144 1976 0 -1 4202560 20043 0 0 0 500382 85 0 0 25 0 32 0 34414900 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=2144/tid=2176] ppid=2142 vsize=5742728 CPUtime=5000.17 cores=0-31
/proc/2144/task/2176/stat : 2176 (claspmt) R 2142 2144 1976 0 -1 4202560 80731 0 0 0 499661 356 0 0 25 0 32 0 34414900 5880553472 1081914 270582939648 4194304 4964800 140734847402992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 5742728

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -2144

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

[startup+5007.8 s]
/proc/loadavg: 32.24 32.14 32.10 33/445 2389
/proc/meminfo: memFree=257855980/264257624 swapFree=67111528/67111528
[pid=2144] ppid=2142 vsize=5624520 CPUtime=160004 cores=0-31
/proc/2144/stat : 2144 (claspmt) R 2142 2144 1976 0 -1 4202496 1108862 0 0 0 15995756 4623 0 0 25 0 1 0 34414822 5759508480 1073598 270582939648 4194304 4964800 140734847402992 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/2144/statm: 1406130 1073598 474 189 0 1400479 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 5624520

[startup+5008.6 s]
/proc/loadavg: 32.24 32.14 32.10 2/415 2390
/proc/meminfo: memFree=257907060/264257624 swapFree=67111528/67111528
[pid=2144] ppid=2142 vsize=5589656 CPUtime=160005 cores=0-31
/proc/2144/stat : 2144 (claspmt) R 2142 2144 1976 0 -1 4202496 1108862 0 0 0 15995835 4623 0 0 25 0 1 0 34414822 5723807744 1064620 270582939648 4194304 4964800 140734847402992 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/2144/statm: 1397414 1064620 474 189 0 1391763 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 5589656

[startup+5009 s]
/proc/loadavg: 32.24 32.14 32.10 2/415 2390
/proc/meminfo: memFree=257907060/264257624 swapFree=67111528/67111528
[pid=2144] ppid=2142 vsize=5572900 CPUtime=160005 cores=0-31
/proc/2144/stat : 2144 (claspmt) R 2142 2144 1976 0 -1 4202496 1108862 0 0 0 15995875 4624 0 0 25 0 1 0 34414822 5706649600 1060140 270582939648 4194304 4964800 140734847402992 18446744073709551615 258650612315 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/2144/statm: 1393225 1060140 474 189 0 1387574 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 5572900

[startup+5009.43 s]
/proc/loadavg: 29.74 31.63 31.93 2/414 2390
/proc/meminfo: memFree=258651184/264257624 swapFree=67111528/67111528
[pid=2144] ppid=2142 vsize=0 CPUtime=160005 cores=0-31
/proc/2144/stat : 2144 (claspmt) R 2142 2144 1976 0 -1 4203524 1108862 0 0 0 15995900 4642 0 0 25 0 1 0 34414822 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/2144/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

[startup+5009.5 s]
/proc/loadavg: 29.74 31.63 31.93 2/414 2390
/proc/meminfo: memFree=258651184/264257624 swapFree=67111528/67111528
[pid=2144] ppid=2142 vsize=0 CPUtime=160005 cores=0-31
/proc/2144/stat : 2144 (claspmt) R 2142 2144 1976 0 -1 4203524 1108862 0 0 0 15995900 4649 0 0 25 0 1 0 34414822 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/2144/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.52
CPU time (s): 160006
CPU user time (s): 159959
CPU system time (s): 46.5109
CPU usage (%): 3194.03
Max. virtual memory (cumulated for all children) (KiB): 5742728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159959
system time used= 46.5109
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1108862
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= 381837
involuntary context switches= 392006

runsolver used 29.5655 second user time and 111.721 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-10 09:17:59
IDJOB=3472457
IDBENCH=83119
IDSOLVER=1961
FILE ID=node200/3472457-1307690279
RUNJOBID= node200-1307690229-1990
PBS_JOBID= 13549520
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-bottom19.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-3472457-1307690279/watcher-3472457-1307690279 -o /tmp/evaluation-result-3472457-1307690279/solver-3472457-1307690279 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472457-1307690279.cnf

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

MD5SUM BENCH= d725e0d6a363434dce7cb39ffdb1b83f
RANDOM SEED=1791072328

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:      262185540 kB
Buffers:        263792 kB
Cached:        1493260 kB
SwapCached:          0 kB
Active:         282420 kB
Inactive:      1537676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262185540 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3596 kB
Writeback:          12 kB
AnonPages:       62980 kB
Mapped:          14440 kB
Slab:           172708 kB
PageTables:       4800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   163960 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 10:41:29