Trace number 3472275

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)UNSAT 9306 291.353

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
MD5SUM90581094793af5fc10d4e4b9a10259ac
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark9306
Satisfiable
(Un)Satisfiability was proved
Number of variables1400
Number of clauses4732
Sum of the clauses size12300
Maximum clause length21
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22052
Number of clauses of size 32605
Number of clauses of size 427
Number of clauses of size 531
Number of clauses of size over 514

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...375860/instance-3472275-1307375860.cnf
0.00/0.02	c Solving...
9305.94/291.34	s UNSATISFIABLE
9305.94/291.34	
9305.94/291.34	c Models        : 0     
9305.94/291.34	c Time          : 291.283s (Solving: 291.26s 1st Model: 0.00s Unsat: 291.26s)
9305.94/291.34	c CPU Time      : 9305.930s

Verifier Data 

No possible verification on an UNSAT instance

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-3472275-1307375860/watcher-3472275-1307375860 -o /tmp/evaluation-result-3472275-1307375860/solver-3472275-1307375860 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472275-1307375860.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: 32.02 32.07 31.77 1/413 10218
/proc/meminfo: memFree=263678648/264257624 swapFree=67111528/67111528
[pid=10218] ppid=10216 vsize=513564 CPUtime=0.03 cores=0-31
/proc/10218/stat : 10218 (claspmt) D 10216 10218 10192 0 -1 4202496 1592 0 0 0 3 0 0 0 18 0 23 0 2972885 525889536 1345 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/10218/statm: 128391 1347 437 189 0 122740 0
[pid=10218/tid=10219] ppid=10216 vsize=513564 CPUtime=0 cores=0-31
/proc/10218/task/10219/stat : 10219 (claspmt) S 10216 10218 10192 0 -1 4202560 53 0 0 0 0 0 0 0 18 0 23 0 2972888 525889536 1347 270582939648 4194304 4964800 140734119869968 18446744073709551615 258662772457 0 0 4096 18946 18446744071566929384 0 0 -1 1 0 0 0
[pid=10218/tid=10220] ppid=10216 vsize=513564 CPUtime=0 cores=0-31
/proc/10218/task/10220/stat : 10220 (claspmt) S 10216 10218 10192 0 -1 4202560 61 0 0 0 0 0 0 0 18 0 23 0 2972888 525889536 1347 270582939648 4194304 4964800 140734119869968 18446744073709551615 258662772457 0 0 4096 18946 18446604505560546784 0 0 -1 2 0 0 0
[pid=10218/tid=10221] ppid=10216 vsize=513564 CPUtime=0 cores=0-31
/proc/10218/task/10221/stat : 10221 (claspmt) S 10216 10218 10192 0 -1 4202560 64 0 0 0 0 0 0 0 18 0 23 0 2972888 525889536 1347 270582939648 4194304 4964800 140734119869968 18446744073709551615 258662772457 0 0 4096 18946 18446604505442270688 0 0 -1 16 0 0 0
[pid=10218/tid=10222] ppid=10216 vsize=513564 CPUtime=0 cores=0-31
/proc/10218/task/10222/stat : 10222 (claspmt) S 10216 10218 10192 0 -1 4202560 41 0 0 0 0 0 0 0 18 0 23 0 2972888 525889536 1351 270582939648 4194304 4964800 140734119869968 18446744073709551615 258662772457 0 0 4096 18946 18446604505697836512 0 0 -1 24 0 0 0
[pid=10218/tid=10223] ppid=10216 vsize=513564 CPUtime=0 cores=0-31
/proc/10218/task/10223/stat : 10223 (claspmt) S 10216 10218 10192 0 -1 4202560 59 0 0 0 0 0 0 0 18 0 24 0 2972888 525889536 1357 270582939648 4194304 4964800 140734119869968 18446744073709551615 258662772457 0 0 4096 18946 18446604501382217184 0 0 -1 0 0 0 0
[pid=10218/tid=10224] ppid=10216 vsize=513564 CPUtime=0 cores=0-31
/proc/10218/task/10224/stat : 10224 (claspmt) S 10216 10218 10192 0 -1 4202560 60 0 0 0 0 0 0 0 18 0 24 0 2972889 525889536 1360 270582939648 4194304 4964800 140734119869968 18446744073709551615 258662772457 0 0 4096 18946 18446604505581501920 0 0 -1 8 0 0 0
[pid=10218/tid=10225] ppid=10216 vsize=513564 CPUtime=0 cores=0-31
/proc/10218/task/10225/stat : 10225 (claspmt) R 10216 10218 10192 0 -1 4202560 59 0 0 0 0 0 0 0 18 0 24 0 2972889 525889536 1360 270582939648 4194304 4964800 140734119869968 18446744073709551615 4389169 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10218/tid=10226] ppid=10216 vsize=513564 CPUtime=0 cores=0-31
/proc/10218/task/10226/stat : 10226 (claspmt) R 10216 10218 10192 0 -1 4202560 31 0 0 0 0 0 0 0 18 0 24 0 2972889 525889536 1362 270582939648 4194304 4964800 140734119869968 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10218/tid=10227] ppid=10216 vsize=513564 CPUtime=0 cores=0-31
/proc/10218/task/10227/stat : 10227 (claspmt) D 10216 10218 10192 0 -1 4202560 36 0 0 0 0 0 0 0 18 0 24 0 2972889 525889536 1366 270582939648 4194304 4964800 140734119869968 18446744073709551615 4367461 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10218/tid=10228] ppid=10216 vsize=517664 CPUtime=0 cores=0-31
/proc/10218/task/10228/stat : 10228 (claspmt) D 10216 10218 10192 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 24 0 2972889 530087936 1374 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10218/tid=10229] ppid=10216 vsize=517664 CPUtime=0 cores=0-31
/proc/10218/task/10229/stat : 10229 (claspmt) D 10216 10218 10192 0 -1 4202560 33 0 0 0 0 0 0 0 18 0 24 0 2972889 530087936 1377 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10218/tid=10230] ppid=10216 vsize=517664 CPUtime=0 cores=0-31
/proc/10218/task/10230/stat : 10230 (claspmt) S 10216 10218 10192 0 -1 4202560 37 0 0 0 0 0 0 0 18 0 24 0 2972889 530087936 1381 270582939648 4194304 4964800 140734119869968 18446744073709551615 258651060958 0 0 4096 18946 18446604504404846624 0 0 -1 8 0 0 0
[pid=10218/tid=10231] ppid=10216 vsize=583200 CPUtime=0 cores=0-31
/proc/10218/task/10231/stat : 10231 (claspmt) D 10216 10218 10192 0 -1 4202560 32 0 0 0 0 0 0 0 18 0 24 0 2972889 597196800 1383 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10218/tid=10232] ppid=10216 vsize=583200 CPUtime=0 cores=0-31
/proc/10218/task/10232/stat : 10232 (claspmt) D 10216 10218 10192 0 -1 4202560 36 0 0 0 0 0 0 0 18 0 24 0 2972889 597196800 1390 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10218/tid=10233] ppid=10216 vsize=583200 CPUtime=0 cores=0-31
/proc/10218/task/10233/stat : 10233 (claspmt) R 10216 10218 10192 0 -1 4202560 22 0 0 0 0 0 0 0 18 0 24 0 2972889 597196800 1395 270582939648 4194304 4964800 140734119869968 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10218/tid=10234] ppid=10216 vsize=583200 CPUtime=0 cores=0-31
/proc/10218/task/10234/stat : 10234 (claspmt) R 10216 10218 10192 0 -1 4202560 18 0 0 0 0 0 0 0 19 0 24 0 2972889 597196800 1397 270582939648 4194304 4964800 140734119869968 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10218/tid=10235] ppid=10216 vsize=583200 CPUtime=0 cores=0-31
/proc/10218/task/10235/stat : 10235 (claspmt) R 10216 10218 10192 0 -1 4202560 15 0 0 0 0 0 0 0 19 0 24 0 2972889 597196800 1406 270582939648 4194304 4964800 140734119869968 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10218/tid=10236] ppid=10216 vsize=583200 CPUtime=0 cores=0-31
/proc/10218/task/10236/stat : 10236 (claspmt) D 10216 10218 10192 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 24 0 2972889 597196800 1411 270582939648 4194304 4964800 140734119869968 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10218/tid=10237] ppid=10216 vsize=583200 CPUtime=0 cores=0-31
/proc/10218/task/10237/stat : 10237 (claspmt) D 10216 10218 10192 0 -1 4202560 13 0 0 0 0 0 0 0 19 0 25 0 2972889 597196800 1416 270582939648 4194304 4964800 140734119869968 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10218/tid=10238] ppid=10216 vsize=583200 CPUtime=0 cores=0-31
/proc/10218/task/10238/stat : 10238 (claspmt) D 10216 10218 10192 0 -1 4202560 14 0 0 0 0 0 0 0 18 0 25 0 2972889 597196800 1416 270582939648 4194304 4964800 140734119869968 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10218/tid=10239] ppid=10216 vsize=583200 CPUtime=0 cores=0-31
/proc/10218/task/10239/stat : 10239 (claspmt) D 10216 10218 10192 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 25 0 2972889 597196800 1424 270582939648 4194304 4964800 140734119869968 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10218/tid=10240] ppid=10216 vsize=583200 CPUtime=0 cores=0-31
/proc/10218/task/10240/stat : 10240 (claspmt) D 10216 10218 10192 0 -1 4202560 6 0 0 0 0 0 0 0 19 0 25 0 2972889 597196800 1424 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10218/tid=10241] ppid=10216 vsize=587300 CPUtime=0 cores=0-31
/proc/10218/task/10241/stat : 10241 (claspmt) D 10216 10218 10192 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 25 0 2972889 601395200 1433 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10218/tid=10242] ppid=10216 vsize=587300 CPUtime=0 cores=0-31
/proc/10218/task/10242/stat : 10242 (claspmt) R 10216 10218 10192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 25 0 2972889 601395200 1438 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 24 0 0 0

[startup+0.131387 s]
/proc/loadavg: 32.02 32.07 31.77 1/413 10218
/proc/meminfo: memFree=263678648/264257624 swapFree=67111528/67111528
[pid=10218] ppid=10216 vsize=1464588 CPUtime=1.27 cores=0-31
/proc/10218/stat : 10218 (claspmt) R 10216 10218 10192 0 -1 4202496 3696 0 0 0 121 6 0 0 18 0 32 0 2972885 1499738112 3263 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668689 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/10218/statm: 366147 3263 458 189 0 360496 0
[pid=10218/tid=10219] ppid=10216 vsize=1464588 CPUtime=0.03 cores=0-31
/proc/10218/task/10219/stat : 10219 (claspmt) R 10216 10218 10192 0 -1 4202560 86 0 0 0 3 0 0 0 17 0 32 0 2972888 1499738112 3263 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10218/tid=10220] ppid=10216 vsize=1464588 CPUtime=0.03 cores=0-31
/proc/10218/task/10220/stat : 10220 (claspmt) S 10216 10218 10192 0 -1 4202560 103 0 0 0 3 0 0 0 17 0 32 0 2972888 1499738112 3263 270582939648 4194304 4964800 140734119869968 18446744073709551615 258651060958 0 0 4096 18946 18446744071566925064 0 0 -1 26 0 0 0
[pid=10218/tid=10221] ppid=10216 vsize=1464588 CPUtime=0.03 cores=0-31
/proc/10218/task/10221/stat : 10221 (claspmt) D 10216 10218 10192 0 -1 4202560 97 0 0 0 3 0 0 0 17 0 32 0 2972888 1499738112 3263 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=10218/tid=10222] ppid=10216 vsize=1464588 CPUtime=0.04 cores=0-31
/proc/10218/task/10222/stat : 10222 (claspmt) R 10216 10218 10192 0 -1 4202560 82 0 0 0 4 0 0 0 17 0 32 0 2972888 1499738112 3263 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10218/tid=10223] ppid=10216 vsize=1464588 CPUtime=0.06 cores=0-31
/proc/10218/task/10223/stat : 10223 (claspmt) R 10216 10218 10192 0 -1 4202560 63 0 0 0 6 0 0 0 17 0 32 0 2972888 1499738112 3263 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10218/tid=10224] ppid=10216 vsize=1464588 CPUtime=0.03 cores=0-31
/proc/10218/task/10224/stat : 10224 (claspmt) S 10216 10218 10192 0 -1 4202560 92 0 0 0 3 0 0 0 17 0 32 0 2972889 1499738112 3263 270582939648 4194304 4964800 140734119869968 18446744073709551615 258651060958 0 0 4096 18946 18446744071566924384 0 0 -1 21 0 0 0
[pid=10218/tid=10225] ppid=10216 vsize=1464588 CPUtime=0.03 cores=0-31
/proc/10218/task/10225/stat : 10225 (claspmt) D 10216 10218 10192 0 -1 4202560 109 0 0 0 3 0 0 0 17 0 32 0 2972889 1499738112 3263 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=10218/tid=10226] ppid=10216 vsize=1464588 CPUtime=0.03 cores=0-31
/proc/10218/task/10226/stat : 10226 (claspmt) S 10216 10218 10192 0 -1 4202560 71 0 0 0 3 0 0 0 17 0 32 0 2972889 1499738112 3263 270582939648 4194304 4964800 140734119869968 18446744073709551615 258651060958 0 0 4096 18946 18446604505442270688 0 0 -1 5 0 0 0
[pid=10218/tid=10227] ppid=10216 vsize=1464588 CPUtime=0.03 cores=0-31
/proc/10218/task/10227/stat : 10227 (claspmt) R 10216 10218 10192 0 -1 4202560 78 0 0 0 3 0 0 0 17 0 32 0 2972889 1499738112 3263 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670654 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10218/tid=10228] ppid=10216 vsize=1464588 CPUtime=0.03 cores=0-31
/proc/10218/task/10228/stat : 10228 (claspmt) S 10216 10218 10192 0 -1 4202560 105 0 0 0 3 0 0 0 17 0 32 0 2972889 1499738112 3263 270582939648 4194304 4964800 140734119869968 18446744073709551615 258651060958 0 0 4096 18946 18446744071566924304 0 0 -1 22 0 0 0
[pid=10218/tid=10229] ppid=10216 vsize=1464588 CPUtime=0.03 cores=0-31
/proc/10218/task/10229/stat : 10229 (claspmt) D 10216 10218 10192 0 -1 4202560 105 0 0 0 3 0 0 0 17 0 32 0 2972889 1499738112 3265 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10218/tid=10230] ppid=10216 vsize=1464588 CPUtime=0.04 cores=0-31
/proc/10218/task/10230/stat : 10230 (claspmt) D 10216 10218 10192 0 -1 4202560 94 0 0 0 4 0 0 0 17 0 32 0 2972889 1499738112 3265 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10218/tid=10231] ppid=10216 vsize=1464588 CPUtime=0.06 cores=0-31
/proc/10218/task/10231/stat : 10231 (claspmt) R 10216 10218 10192 0 -1 4202560 64 0 0 0 6 0 0 0 17 0 32 0 2972889 1499738112 3266 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10218/tid=10232] ppid=10216 vsize=1464588 CPUtime=0.03 cores=0-31
/proc/10218/task/10232/stat : 10232 (claspmt) D 10216 10218 10192 0 -1 4202560 104 0 0 0 3 0 0 0 17 0 32 0 2972889 1499738112 3266 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10218/tid=10233] ppid=10216 vsize=1464588 CPUtime=0.03 cores=0-31
/proc/10218/task/10233/stat : 10233 (claspmt) R 10216 10218 10192 0 -1 4202560 105 0 0 0 3 0 0 0 17 0 32 0 2972889 1499738112 3266 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669221 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10218/tid=10234] ppid=10216 vsize=1464588 CPUtime=0.03 cores=0-31
/proc/10218/task/10234/stat : 10234 (claspmt) D 10216 10218 10192 0 -1 4202560 84 0 0 0 3 0 0 0 19 0 32 0 2972889 1499738112 3296 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10218/tid=10235] ppid=10216 vsize=1464588 CPUtime=0.01 cores=0-31
/proc/10218/task/10235/stat : 10235 (claspmt) D 10216 10218 10192 0 -1 4202560 66 0 0 0 1 0 0 0 19 0 32 0 2972889 1499738112 3296 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10218/tid=10236] ppid=10216 vsize=1464588 CPUtime=0.03 cores=0-31
/proc/10218/task/10236/stat : 10236 (claspmt) D 10216 10218 10192 0 -1 4202560 107 0 0 0 3 0 0 0 17 0 32 0 2972889 1499738112 3296 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10218/tid=10237] ppid=10216 vsize=1464588 CPUtime=0 cores=0-31
/proc/10218/task/10237/stat : 10237 (claspmt) R 10216 10218 10192 0 -1 4202560 76 0 0 0 0 0 0 0 19 0 32 0 2972889 1499738112 3296 270582939648 4194304 4964800 140734119869968 18446744073709551615 4379076 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10218/tid=10238] ppid=10216 vsize=1464588 CPUtime=0.04 cores=0-31
/proc/10218/task/10238/stat : 10238 (claspmt) D 10216 10218 10192 0 -1 4202560 89 0 0 0 4 0 0 0 17 0 32 0 2972889 1499738112 3296 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=10218/tid=10239] ppid=10216 vsize=1464588 CPUtime=0.06 cores=0-31
/proc/10218/task/10239/stat : 10239 (claspmt) R 10216 10218 10192 0 -1 4202560 67 0 0 0 6 0 0 0 17 0 32 0 2972889 1499738112 3296 270582939648 4194304 4964800 140734119869968 18446744073709551615 4399515 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10218/tid=10240] ppid=10216 vsize=1464588 CPUtime=0.03 cores=0-31
/proc/10218/task/10240/stat : 10240 (claspmt) S 10216 10218 10192 0 -1 4202560 106 0 0 0 3 0 0 0 17 0 32 0 2972889 1499738112 3296 270582939648 4194304 4964800 140734119869968 18446744073709551615 258651060958 0 0 4096 18946 18446744071566927584 0 0 -1 30 0 0 0
[pid=10218/tid=10241] ppid=10216 vsize=1464588 CPUtime=0.04 cores=0-31
/proc/10218/task/10241/stat : 10241 (claspmt) D 10216 10218 10192 0 -1 4202560 116 0 0 0 4 0 0 0 17 0 32 0 2972889 1499738112 3296 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10218/tid=10242] ppid=10216 vsize=1464588 CPUtime=0.04 cores=0-31
/proc/10218/task/10242/stat : 10242 (claspmt) D 10216 10218 10192 0 -1 4202560 83 0 0 0 4 0 0 0 18 0 32 0 2972889 1499738112 3296 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 1464588

[startup+0.210984 s]
/proc/loadavg: 32.02 32.07 31.77 1/413 10218
/proc/meminfo: memFree=263678648/264257624 swapFree=67111528/67111528
[pid=10218] ppid=10216 vsize=1464984 CPUtime=3.89 cores=0-31
/proc/10218/stat : 10218 (claspmt) R 10216 10218 10192 0 -1 4202496 4985 0 0 0 378 11 0 0 18 0 32 0 2972885 1500143616 4552 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669280 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/10218/statm: 366246 4802 461 189 0 360595 0
[pid=10218/tid=10219] ppid=10216 vsize=1464984 CPUtime=0.13 cores=0-31
/proc/10218/task/10219/stat : 10219 (claspmt) R 10216 10218 10192 0 -1 4202560 134 0 0 0 13 0 0 0 17 0 32 0 2972888 1500143616 4853 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10218/tid=10220] ppid=10216 vsize=1464984 CPUtime=0.13 cores=0-31
/proc/10218/task/10220/stat : 10220 (claspmt) R 10216 10218 10192 0 -1 4202560 163 0 0 0 13 0 0 0 17 0 32 0 2972888 1500143616 4880 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10218/tid=10221] ppid=10216 vsize=1465116 CPUtime=0.15 cores=0-31
/proc/10218/task/10221/stat : 10221 (claspmt) R 10216 10218 10192 0 -1 4202560 146 0 0 0 15 0 0 0 17 0 32 0 2972888 1500278784 5021 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669149 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10218/tid=10222] ppid=10216 vsize=1465116 CPUtime=0.15 cores=0-31
/proc/10218/task/10222/stat : 10222 (claspmt) D 10216 10218 10192 0 -1 4202560 141 0 0 0 15 0 0 0 17 0 32 0 2972888 1500278784 5037 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10218/tid=10223] ppid=10216 vsize=1465116 CPUtime=0.18 cores=0-31
/proc/10218/task/10223/stat : 10223 (claspmt) R 10216 10218 10192 0 -1 4202560 68 0 0 0 18 0 0 0 17 0 32 0 2972888 1500278784 5037 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10218/tid=10224] ppid=10216 vsize=1465116 CPUtime=0.14 cores=0-31
/proc/10218/task/10224/stat : 10224 (claspmt) R 10216 10218 10192 0 -1 4202560 166 0 0 0 14 0 0 0 17 0 32 0 2972889 1500278784 5059 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=10218/tid=10225] ppid=10216 vsize=1465116 CPUtime=0.15 cores=0-31
/proc/10218/task/10225/stat : 10225 (claspmt) R 10216 10218 10192 0 -1 4202560 192 0 0 0 14 1 0 0 17 0 32 0 2972889 1500278784 5111 270582939648 4194304 4964800 140734119869968 18446744073709551615 4342167 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=10218/tid=10226] ppid=10216 vsize=1465116 CPUtime=0.15 cores=0-31
/proc/10218/task/10226/stat : 10226 (claspmt) R 10216 10218 10192 0 -1 4202560 116 0 0 0 15 0 0 0 17 0 32 0 2972889 1500278784 5119 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10218/tid=10227] ppid=10216 vsize=1465116 CPUtime=0.16 cores=0-31
/proc/10218/task/10227/stat : 10227 (claspmt) R 10216 10218 10192 0 -1 4202560 136 0 0 0 16 0 0 0 17 0 32 0 2972889 1500278784 5159 270582939648 4194304 4964800 140734119869968 18446744073709551615 4364579 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10218/tid=10228] ppid=10216 vsize=1465116 CPUtime=0.27 cores=0-31
/proc/10218/task/10228/stat : 10228 (claspmt) R 10216 10218 10192 0 -1 4202560 174 0 0 0 27 0 0 0 18 0 32 0 2972889 1500278784 5354 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668770 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10218/tid=10229] ppid=10216 vsize=1465116 CPUtime=0.3 cores=0-31
/proc/10218/task/10229/stat : 10229 (claspmt) R 10216 10218 10192 0 -1 4202560 165 0 0 0 30 0 0 0 18 0 32 0 2972889 1500278784 5472 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670142 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10218/tid=10230] ppid=10216 vsize=1465116 CPUtime=0.32 cores=0-31
/proc/10218/task/10230/stat : 10230 (claspmt) R 10216 10218 10192 0 -1 4202560 177 0 0 0 32 0 0 0 18 0 32 0 2972889 1500278784 5527 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10218/tid=10231] ppid=10216 vsize=1465116 CPUtime=0.46 cores=0-31
/proc/10218/task/10231/stat : 10231 (claspmt) R 10216 10218 10192 0 -1 4202560 106 0 0 0 46 0 0 0 18 0 32 0 2972889 1500278784 5818 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10218/tid=10232] ppid=10216 vsize=1465116 CPUtime=0.44 cores=0-31
/proc/10218/task/10232/stat : 10232 (claspmt) R 10216 10218 10192 0 -1 4202560 200 0 0 0 44 0 0 0 18 0 32 0 2972889 1500278784 5916 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669033 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10218/tid=10233] ppid=10216 vsize=1465248 CPUtime=0.6 cores=0-31
/proc/10218/task/10233/stat : 10233 (claspmt) R 10216 10218 10192 0 -1 4202560 362 0 0 0 60 0 0 0 18 0 32 0 2972889 1500413952 6765 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669493 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10218/tid=10234] ppid=10216 vsize=1465248 CPUtime=0.61 cores=0-31
/proc/10218/task/10234/stat : 10234 (claspmt) R 10216 10218 10192 0 -1 4202560 151 0 0 0 61 0 0 0 18 0 32 0 2972889 1500413952 6793 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668797 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10218/tid=10235] ppid=10216 vsize=1465248 CPUtime=0.59 cores=0-31
/proc/10218/task/10235/stat : 10235 (claspmt) R 10216 10218 10192 0 -1 4202560 159 0 0 0 59 0 0 0 18 0 32 0 2972889 1500413952 6814 270582939648 4194304 4964800 140734119869968 18446744073709551615 4660142 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10218/tid=10236] ppid=10216 vsize=1465248 CPUtime=0.61 cores=0-31
/proc/10218/task/10236/stat : 10236 (claspmt) R 10216 10218 10192 0 -1 4202560 223 0 0 0 61 0 0 0 18 0 32 0 2972889 1500413952 6815 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668564 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10218/tid=10237] ppid=10216 vsize=1465248 CPUtime=0.6 cores=0-31
/proc/10218/task/10237/stat : 10237 (claspmt) R 10216 10218 10192 0 -1 4202560 163 0 0 0 60 0 0 0 20 0 32 0 2972889 1500413952 6888 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10218/tid=10238] ppid=10216 vsize=1465380 CPUtime=0.73 cores=0-31
/proc/10218/task/10238/stat : 10238 (claspmt) R 10216 10218 10192 0 -1 4202560 205 0 0 0 73 0 0 0 18 0 32 0 2972889 1500549120 7115 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670381 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=10218/tid=10239] ppid=10216 vsize=1465380 CPUtime=0.76 cores=0-31
/proc/10218/task/10239/stat : 10239 (claspmt) R 10216 10218 10192 0 -1 4202560 140 0 0 0 76 0 0 0 18 0 32 0 2972889 1500549120 7116 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10218/tid=10240] ppid=10216 vsize=1465380 CPUtime=0.8 cores=0-31
/proc/10218/task/10240/stat : 10240 (claspmt) R 10216 10218 10192 0 -1 4202560 254 0 0 0 80 0 0 0 18 0 32 0 2972889 1500549120 7435 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10218/tid=10241] ppid=10216 vsize=1465380 CPUtime=0.81 cores=0-31
/proc/10218/task/10241/stat : 10241 (claspmt) R 10216 10218 10192 0 -1 4202560 437 0 0 0 81 0 0 0 18 0 32 0 2972889 1500549120 7473 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10218/tid=10242] ppid=10216 vsize=1465380 CPUtime=0.82 cores=0-31
/proc/10218/task/10242/stat : 10242 (claspmt) R 10216 10218 10192 0 -1 4202560 167 0 0 0 82 0 0 0 19 0 32 0 2972889 1500549120 7473 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 1464984

[startup+1.02716 s]
/proc/loadavg: 32.02 32.07 31.77 1/413 10218
/proc/meminfo: memFree=263678648/264257624 swapFree=67111528/67111528
[pid=10218] ppid=10216 vsize=1465380 CPUtime=29.7 cores=0-31
/proc/10218/stat : 10218 (claspmt) R 10216 10218 10192 0 -1 4202496 8069 0 0 0 2948 22 0 0 19 0 32 0 2972885 1500549120 7636 270582939648 4194304 4964800 140734119869968 18446744073709551615 4332288 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/10218/statm: 366345 7636 461 189 0 360694 0
[pid=10218/tid=10219] ppid=10216 vsize=1465380 CPUtime=0.92 cores=0-31
/proc/10218/task/10219/stat : 10219 (claspmt) R 10216 10218 10192 0 -1 4202560 178 0 0 0 92 0 0 0 18 0 32 0 2972888 1500549120 7636 270582939648 4194304 4964800 140734119869968 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10218/tid=10220] ppid=10216 vsize=1465380 CPUtime=0.91 cores=0-31
/proc/10218/task/10220/stat : 10220 (claspmt) R 10216 10218 10192 0 -1 4202560 240 0 0 0 91 0 0 0 18 0 32 0 2972888 1500549120 7636 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0

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

/proc/10218/task/10241/stat : 10241 (claspmt) R 10216 10218 10192 0 -1 4202560 4952 0 0 0 28744 23 0 0 25 0 32 0 2972889 1513529344 59668 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10218/tid=10242] ppid=10216 vsize=1478056 CPUtime=288.49 cores=0-31
/proc/10218/task/10242/stat : 10242 (claspmt) R 10216 10218 10192 0 -1 4202560 788 0 0 0 28837 12 0 0 25 0 32 0 2972889 1513529344 59668 270582939648 4194304 4964800 140734119869968 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10218/tid=10243] ppid=10216 vsize=1478056 CPUtime=286.32 cores=0-31
/proc/10218/task/10243/stat : 10243 (claspmt) R 10216 10218 10192 0 -1 4202560 2298 0 0 0 28620 12 0 0 25 0 32 0 2972889 1513529344 59668 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10218/tid=10245] ppid=10216 vsize=1478056 CPUtime=288.11 cores=0-31
/proc/10218/task/10245/stat : 10245 (claspmt) R 10216 10218 10192 0 -1 4202560 1374 0 0 0 28802 9 0 0 25 0 32 0 2972889 1513529344 59668 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669089 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10218/tid=10246] ppid=10216 vsize=1478056 CPUtime=288.45 cores=0-31
/proc/10218/task/10246/stat : 10246 (claspmt) R 10216 10218 10192 0 -1 4202560 734 0 0 0 28833 12 0 0 25 0 32 0 2972889 1513529344 59668 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10218/tid=10247] ppid=10216 vsize=1478056 CPUtime=288.49 cores=0-31
/proc/10218/task/10247/stat : 10247 (claspmt) R 10216 10218 10192 0 -1 4202560 1655 0 0 0 28839 10 0 0 25 0 32 0 2972889 1513529344 59668 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=10218/tid=10248] ppid=10216 vsize=1478056 CPUtime=288.51 cores=0-31
/proc/10218/task/10248/stat : 10248 (claspmt) R 10216 10218 10192 0 -1 4202560 1535 0 0 0 28840 11 0 0 25 0 32 0 2972889 1513529344 59668 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10218/tid=10249] ppid=10216 vsize=1478056 CPUtime=288.48 cores=0-31
/proc/10218/task/10249/stat : 10249 (claspmt) R 10216 10218 10192 0 -1 4202560 901 0 0 0 28836 12 0 0 25 0 32 0 2972890 1513529344 59668 270582939648 4194304 4964800 140734119869968 18446744073709551615 4683667 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=10218/tid=10250] ppid=10216 vsize=1478056 CPUtime=286.25 cores=0-31
/proc/10218/task/10250/stat : 10250 (claspmt) R 10216 10218 10192 0 -1 4202560 5798 0 0 0 28599 26 0 0 25 0 32 0 2972890 1513529344 59668 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 9223.47
Current children cumulated vsize (KiB) 1478056

[startup+290.301 s]
/proc/loadavg: 32.05 32.05 31.83 33/445 10267
/proc/meminfo: memFree=263447400/264257624 swapFree=67111528/67111528
[pid=10218] ppid=10216 vsize=1478056 CPUtime=9274.59 cores=0-31
/proc/10218/stat : 10218 (claspmt) R 10216 10218 10192 0 -1 4202496 60200 0 0 0 927054 405 0 0 25 0 32 0 2972885 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/10218/statm: 369514 59696 461 189 0 363863 0
[pid=10218/tid=10219] ppid=10216 vsize=1478056 CPUtime=289.82 cores=0-31
/proc/10218/task/10219/stat : 10219 (claspmt) R 10216 10218 10192 0 -1 4202560 2247 0 0 0 28970 12 0 0 25 0 32 0 2972888 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=10218/tid=10220] ppid=10216 vsize=1478056 CPUtime=290.08 cores=0-31
/proc/10218/task/10220/stat : 10220 (claspmt) R 10216 10218 10192 0 -1 4202560 1366 0 0 0 28999 9 0 0 25 0 32 0 2972888 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10218/tid=10221] ppid=10216 vsize=1478056 CPUtime=288.1 cores=0-31
/proc/10218/task/10221/stat : 10221 (claspmt) R 10216 10218 10192 0 -1 4202560 835 0 0 0 28799 11 0 0 25 0 32 0 2972888 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10218/tid=10222] ppid=10216 vsize=1478056 CPUtime=290.01 cores=0-31
/proc/10218/task/10222/stat : 10222 (claspmt) R 10216 10218 10192 0 -1 4202560 1511 0 0 0 28991 10 0 0 25 0 32 0 2972888 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4370229 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10218/tid=10223] ppid=10216 vsize=1478056 CPUtime=290.11 cores=0-31
/proc/10218/task/10223/stat : 10223 (claspmt) R 10216 10218 10192 0 -1 4202560 1651 0 0 0 29003 8 0 0 25 0 32 0 2972888 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10218/tid=10224] ppid=10216 vsize=1478056 CPUtime=290.09 cores=0-31
/proc/10218/task/10224/stat : 10224 (claspmt) R 10216 10218 10192 0 -1 4202560 1102 0 0 0 28999 10 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=10218/tid=10225] ppid=10216 vsize=1478056 CPUtime=290.08 cores=0-31
/proc/10218/task/10225/stat : 10225 (claspmt) R 10216 10218 10192 0 -1 4202560 5905 0 0 0 28986 22 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=10218/tid=10226] ppid=10216 vsize=1478056 CPUtime=290.09 cores=0-31
/proc/10218/task/10226/stat : 10226 (claspmt) R 10216 10218 10192 0 -1 4202560 773 0 0 0 29002 7 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10218/tid=10227] ppid=10216 vsize=1478056 CPUtime=290.06 cores=0-31
/proc/10218/task/10227/stat : 10227 (claspmt) R 10216 10218 10192 0 -1 4202560 2333 0 0 0 28995 11 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4658600 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10218/tid=10228] ppid=10216 vsize=1478056 CPUtime=290.1 cores=0-31
/proc/10218/task/10228/stat : 10228 (claspmt) R 10216 10218 10192 0 -1 4202560 1399 0 0 0 28999 11 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10218/tid=10229] ppid=10216 vsize=1478056 CPUtime=289.78 cores=0-31
/proc/10218/task/10229/stat : 10229 (claspmt) R 10216 10218 10192 0 -1 4202560 745 0 0 0 28969 9 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10218/tid=10230] ppid=10216 vsize=1478056 CPUtime=290.09 cores=0-31
/proc/10218/task/10230/stat : 10230 (claspmt) R 10216 10218 10192 0 -1 4202560 1558 0 0 0 29000 9 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669396 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10218/tid=10231] ppid=10216 vsize=1478056 CPUtime=290.11 cores=0-31
/proc/10218/task/10231/stat : 10231 (claspmt) R 10216 10218 10192 0 -1 4202560 1695 0 0 0 29000 11 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10218/tid=10232] ppid=10216 vsize=1478056 CPUtime=290.09 cores=0-31
/proc/10218/task/10232/stat : 10232 (claspmt) R 10216 10218 10192 0 -1 4202560 936 0 0 0 28997 12 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10218/tid=10233] ppid=10216 vsize=1478056 CPUtime=290.09 cores=0-31
/proc/10218/task/10233/stat : 10233 (claspmt) R 10216 10218 10192 0 -1 4202560 4957 0 0 0 28988 21 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670394 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10218/tid=10234] ppid=10216 vsize=1478056 CPUtime=290.09 cores=0-31
/proc/10218/task/10234/stat : 10234 (claspmt) R 10216 10218 10192 0 -1 4202560 730 0 0 0 29000 9 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10218/tid=10235] ppid=10216 vsize=1478056 CPUtime=290.01 cores=0-31
/proc/10218/task/10235/stat : 10235 (claspmt) R 10216 10218 10192 0 -1 4202560 2072 0 0 0 28988 13 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669512 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10218/tid=10236] ppid=10216 vsize=1478056 CPUtime=290.1 cores=0-31
/proc/10218/task/10236/stat : 10236 (claspmt) R 10216 10218 10192 0 -1 4202560 1568 0 0 0 29000 10 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10218/tid=10237] ppid=10216 vsize=1478056 CPUtime=289.89 cores=0-31
/proc/10218/task/10237/stat : 10237 (claspmt) R 10216 10218 10192 0 -1 4202560 865 0 0 0 28977 12 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670261 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10218/tid=10238] ppid=10216 vsize=1478056 CPUtime=290.09 cores=0-31
/proc/10218/task/10238/stat : 10238 (claspmt) R 10216 10218 10192 0 -1 4202560 1851 0 0 0 28996 13 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=10218/tid=10239] ppid=10216 vsize=1478056 CPUtime=290.12 cores=0-31
/proc/10218/task/10239/stat : 10239 (claspmt) R 10216 10218 10192 0 -1 4202560 1397 0 0 0 29000 12 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10218/tid=10240] ppid=10216 vsize=1478056 CPUtime=290.08 cores=0-31
/proc/10218/task/10240/stat : 10240 (claspmt) R 10216 10218 10192 0 -1 4202560 946 0 0 0 28997 11 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669476 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10218/tid=10241] ppid=10216 vsize=1478056 CPUtime=289.27 cores=0-31
/proc/10218/task/10241/stat : 10241 (claspmt) R 10216 10218 10192 0 -1 4202560 4952 0 0 0 28904 23 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10218/tid=10242] ppid=10216 vsize=1478056 CPUtime=290.09 cores=0-31
/proc/10218/task/10242/stat : 10242 (claspmt) R 10216 10218 10192 0 -1 4202560 792 0 0 0 28997 12 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10218/tid=10243] ppid=10216 vsize=1478056 CPUtime=287.92 cores=0-31
/proc/10218/task/10243/stat : 10243 (claspmt) R 10216 10218 10192 0 -1 4202560 2298 0 0 0 28780 12 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10218/tid=10245] ppid=10216 vsize=1478056 CPUtime=289.71 cores=0-31
/proc/10218/task/10245/stat : 10245 (claspmt) R 10216 10218 10192 0 -1 4202560 1374 0 0 0 28962 9 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10218/tid=10246] ppid=10216 vsize=1478056 CPUtime=290.05 cores=0-31
/proc/10218/task/10246/stat : 10246 (claspmt) R 10216 10218 10192 0 -1 4202560 734 0 0 0 28993 12 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10218/tid=10247] ppid=10216 vsize=1478056 CPUtime=290.09 cores=0-31
/proc/10218/task/10247/stat : 10247 (claspmt) R 10216 10218 10192 0 -1 4202560 1655 0 0 0 28999 10 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=10218/tid=10248] ppid=10216 vsize=1478056 CPUtime=290.11 cores=0-31
/proc/10218/task/10248/stat : 10248 (claspmt) R 10216 10218 10192 0 -1 4202560 1535 0 0 0 29000 11 0 0 25 0 32 0 2972889 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10218/tid=10249] ppid=10216 vsize=1478056 CPUtime=290.08 cores=0-31
/proc/10218/task/10249/stat : 10249 (claspmt) R 10216 10218 10192 0 -1 4202560 901 0 0 0 28996 12 0 0 25 0 32 0 2972890 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=10218/tid=10250] ppid=10216 vsize=1478056 CPUtime=287.79 cores=0-31
/proc/10218/task/10250/stat : 10250 (claspmt) R 10216 10218 10192 0 -1 4202560 5798 0 0 0 28753 26 0 0 25 0 32 0 2972890 1513529344 59696 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 9274.59
Current children cumulated vsize (KiB) 1478056

[startup+291.101 s]
/proc/loadavg: 32.05 32.05 31.83 33/445 10267
/proc/meminfo: memFree=263447408/264257624 swapFree=67111528/67111528
[pid=10218] ppid=10216 vsize=1478056 CPUtime=9300.77 cores=0-31
/proc/10218/stat : 10218 (claspmt) R 10216 10218 10192 0 -1 4202496 60207 0 0 0 929671 406 0 0 25 0 32 0 2972885 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4321020 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/10218/statm: 369514 59703 461 189 0 363863 0
[pid=10218/tid=10219] ppid=10216 vsize=1478056 CPUtime=290.64 cores=0-31
/proc/10218/task/10219/stat : 10219 (claspmt) R 10216 10218 10192 0 -1 4202560 2247 0 0 0 29052 12 0 0 25 0 32 0 2972888 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=10218/tid=10220] ppid=10216 vsize=1478056 CPUtime=290.9 cores=0-31
/proc/10218/task/10220/stat : 10220 (claspmt) R 10216 10218 10192 0 -1 4202560 1366 0 0 0 29081 9 0 0 25 0 32 0 2972888 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10218/tid=10221] ppid=10216 vsize=1478056 CPUtime=288.92 cores=0-31
/proc/10218/task/10221/stat : 10221 (claspmt) R 10216 10218 10192 0 -1 4202560 835 0 0 0 28881 11 0 0 25 0 32 0 2972888 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669493 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10218/tid=10222] ppid=10216 vsize=1478056 CPUtime=290.83 cores=0-31
/proc/10218/task/10222/stat : 10222 (claspmt) R 10216 10218 10192 0 -1 4202560 1511 0 0 0 29073 10 0 0 25 0 32 0 2972888 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669343 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10218/tid=10223] ppid=10216 vsize=1478056 CPUtime=290.93 cores=0-31
/proc/10218/task/10223/stat : 10223 (claspmt) R 10216 10218 10192 0 -1 4202560 1651 0 0 0 29085 8 0 0 25 0 32 0 2972888 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10218/tid=10224] ppid=10216 vsize=1478056 CPUtime=290.91 cores=0-31
/proc/10218/task/10224/stat : 10224 (claspmt) R 10216 10218 10192 0 -1 4202560 1102 0 0 0 29081 10 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=10218/tid=10225] ppid=10216 vsize=1478056 CPUtime=290.9 cores=0-31
/proc/10218/task/10225/stat : 10225 (claspmt) R 10216 10218 10192 0 -1 4202560 5905 0 0 0 29068 22 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=10218/tid=10226] ppid=10216 vsize=1478056 CPUtime=290.91 cores=0-31
/proc/10218/task/10226/stat : 10226 (claspmt) R 10216 10218 10192 0 -1 4202560 773 0 0 0 29084 7 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10218/tid=10227] ppid=10216 vsize=1478056 CPUtime=290.88 cores=0-31
/proc/10218/task/10227/stat : 10227 (claspmt) R 10216 10218 10192 0 -1 4202560 2333 0 0 0 29077 11 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10218/tid=10228] ppid=10216 vsize=1478056 CPUtime=290.92 cores=0-31
/proc/10218/task/10228/stat : 10228 (claspmt) R 10216 10218 10192 0 -1 4202560 1399 0 0 0 29081 11 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670427 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10218/tid=10229] ppid=10216 vsize=1478056 CPUtime=290.6 cores=0-31
/proc/10218/task/10229/stat : 10229 (claspmt) R 10216 10218 10192 0 -1 4202560 745 0 0 0 29051 9 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10218/tid=10230] ppid=10216 vsize=1478056 CPUtime=290.91 cores=0-31
/proc/10218/task/10230/stat : 10230 (claspmt) R 10216 10218 10192 0 -1 4202560 1558 0 0 0 29082 9 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10218/tid=10231] ppid=10216 vsize=1478056 CPUtime=290.93 cores=0-31
/proc/10218/task/10231/stat : 10231 (claspmt) R 10216 10218 10192 0 -1 4202560 1695 0 0 0 29082 11 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10218/tid=10232] ppid=10216 vsize=1478056 CPUtime=290.91 cores=0-31
/proc/10218/task/10232/stat : 10232 (claspmt) R 10216 10218 10192 0 -1 4202560 936 0 0 0 29079 12 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10218/tid=10233] ppid=10216 vsize=1478056 CPUtime=290.91 cores=0-31
/proc/10218/task/10233/stat : 10233 (claspmt) R 10216 10218 10192 0 -1 4202560 4957 0 0 0 29070 21 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10218/tid=10234] ppid=10216 vsize=1478056 CPUtime=290.91 cores=0-31
/proc/10218/task/10234/stat : 10234 (claspmt) R 10216 10218 10192 0 -1 4202560 730 0 0 0 29082 9 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10218/tid=10235] ppid=10216 vsize=1478056 CPUtime=290.83 cores=0-31
/proc/10218/task/10235/stat : 10235 (claspmt) R 10216 10218 10192 0 -1 4202560 2072 0 0 0 29070 13 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10218/tid=10236] ppid=10216 vsize=1478056 CPUtime=290.92 cores=0-31
/proc/10218/task/10236/stat : 10236 (claspmt) R 10216 10218 10192 0 -1 4202560 1568 0 0 0 29082 10 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4363610 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10218/tid=10237] ppid=10216 vsize=1478056 CPUtime=290.71 cores=0-31
/proc/10218/task/10237/stat : 10237 (claspmt) R 10216 10218 10192 0 -1 4202560 865 0 0 0 29059 12 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10218/tid=10238] ppid=10216 vsize=1478056 CPUtime=290.91 cores=0-31
/proc/10218/task/10238/stat : 10238 (claspmt) R 10216 10218 10192 0 -1 4202560 1857 0 0 0 29078 13 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=10218/tid=10239] ppid=10216 vsize=1478056 CPUtime=290.94 cores=0-31
/proc/10218/task/10239/stat : 10239 (claspmt) R 10216 10218 10192 0 -1 4202560 1397 0 0 0 29082 12 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10218/tid=10240] ppid=10216 vsize=1478056 CPUtime=290.9 cores=0-31
/proc/10218/task/10240/stat : 10240 (claspmt) R 10216 10218 10192 0 -1 4202560 946 0 0 0 29079 11 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10218/tid=10241] ppid=10216 vsize=1478056 CPUtime=290.08 cores=0-31
/proc/10218/task/10241/stat : 10241 (claspmt) R 10216 10218 10192 0 -1 4202560 4952 0 0 0 28985 23 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10218/tid=10242] ppid=10216 vsize=1478056 CPUtime=290.91 cores=0-31
/proc/10218/task/10242/stat : 10242 (claspmt) R 10216 10218 10192 0 -1 4202560 792 0 0 0 29079 12 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10218/tid=10243] ppid=10216 vsize=1478056 CPUtime=288.74 cores=0-31
/proc/10218/task/10243/stat : 10243 (claspmt) R 10216 10218 10192 0 -1 4202560 2298 0 0 0 28862 12 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10218/tid=10245] ppid=10216 vsize=1478056 CPUtime=290.53 cores=0-31
/proc/10218/task/10245/stat : 10245 (claspmt) R 10216 10218 10192 0 -1 4202560 1374 0 0 0 29044 9 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10218/tid=10246] ppid=10216 vsize=1478056 CPUtime=290.87 cores=0-31
/proc/10218/task/10246/stat : 10246 (claspmt) R 10216 10218 10192 0 -1 4202560 734 0 0 0 29075 12 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10218/tid=10247] ppid=10216 vsize=1478056 CPUtime=290.91 cores=0-31
/proc/10218/task/10247/stat : 10247 (claspmt) R 10216 10218 10192 0 -1 4202560 1655 0 0 0 29081 10 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=10218/tid=10248] ppid=10216 vsize=1478056 CPUtime=290.93 cores=0-31
/proc/10218/task/10248/stat : 10248 (claspmt) R 10216 10218 10192 0 -1 4202560 1535 0 0 0 29082 11 0 0 25 0 32 0 2972889 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670496 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10218/tid=10249] ppid=10216 vsize=1478056 CPUtime=290.9 cores=0-31
/proc/10218/task/10249/stat : 10249 (claspmt) R 10216 10218 10192 0 -1 4202560 901 0 0 0 29078 12 0 0 25 0 32 0 2972890 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=10218/tid=10250] ppid=10216 vsize=1478056 CPUtime=288.58 cores=0-31
/proc/10218/task/10250/stat : 10250 (claspmt) R 10216 10218 10192 0 -1 4202560 5799 0 0 0 28832 26 0 0 25 0 32 0 2972890 1513529344 59703 270582939648 4194304 4964800 140734119869968 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 9300.77
Current children cumulated vsize (KiB) 1478056

[startup+291.301 s]
/proc/loadavg: 32.05 32.05 31.83 33/445 10267
/proc/meminfo: memFree=263447408/264257624 swapFree=67111528/67111528
[pid=10218] ppid=10216 vsize=1387536 CPUtime=9305.94 cores=0-31
/proc/10218/stat : 10218 (claspmt) R 10216 10218 10192 0 -1 4202496 60218 0 0 0 930172 422 0 0 17 0 1 0 2972885 1420836864 59600 270582939648 4194304 4964800 140734119869968 18446744073709551615 258650611899 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/10218/statm: 346884 59600 472 189 0 341233 0
Current children cumulated CPU time (s) 9305.94
Current children cumulated vsize (KiB) 1387536

Child status: 20
Real time (s): 291.353
CPU time (s): 9306
CPU user time (s): 9301.75
CPU system time (s): 4.24635
CPU usage (%): 3194.06
Max. virtual memory (cumulated for all children) (KiB): 1478112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9301.75
system time used= 4.24635
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60219
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= 200361
involuntary context switches= 21329

runsolver used 1.84572 second user time and 6.35703 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-06 17:57:40
IDJOB=3472275
IDBENCH=20472
IDSOLVER=1961
FILE ID=node200/3472275-1307375860
RUNJOBID= node200-1307375860-10206
PBS_JOBID= 13509164
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.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-3472275-1307375860/watcher-3472275-1307375860 -o /tmp/evaluation-result-3472275-1307375860/solver-3472275-1307375860 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472275-1307375860.cnf

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

MD5SUM BENCH= 90581094793af5fc10d4e4b9a10259ac
RANDOM SEED=192367132

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:      263679300 kB
Buffers:         41096 kB
Cached:         332800 kB
SwapCached:          0 kB
Active:         139748 kB
Inactive:       297212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263679300 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             832 kB
Writeback:           0 kB
AnonPages:       64192 kB
Mapped:          14528 kB
Slab:            63124 kB
PageTables:       4436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   164924 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= 61744 MiB
End job on node200 at 2011-06-06 18:02:31