Trace number 3472274

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 81294.6 2543.88

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
MD5SUM8d6acb9f6b752ad76c024133f5175c69
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark81294.6
Satisfiable
(Un)Satisfiability was proved
Number of variables1694
Number of clauses5726
Sum of the clauses size14874
Maximum clause length23
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22490
Number of clauses of size 33143
Number of clauses of size 439
Number of clauses of size 538
Number of clauses of size over 513

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...373314/instance-3472274-1307373314.cnf
0.00/0.02	c Solving...
81294.52/2543.86	s UNSATISFIABLE
81294.52/2543.86	
81294.52/2543.86	c Models        : 0     
81294.52/2543.86	c Time          : 2543.788s (Solving: 2543.77s 1st Model: 0.00s Unsat: 2543.77s)
81294.52/2543.86	c CPU Time      : 81294.500s

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-3472274-1307373314/watcher-3472274-1307373314 -o /tmp/evaluation-result-3472274-1307373314/solver-3472274-1307373314 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472274-1307373314.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: 15.53 21.32 27.45 1/413 10067
/proc/meminfo: memFree=263679832/264257624 swapFree=67111528/67111528
[pid=10067] ppid=10065 vsize=497016 CPUtime=0.03 cores=0-31
/proc/10067/stat : 10067 (claspmt) D 10065 10067 9865 0 -1 4202496 1465 0 0 0 2 1 0 0 18 0 19 0 2718299 508944384 1235 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662755914 0 0 4096 18946 18446744073709551615 0 0 17 13 0 0 0
/proc/10067/statm: 124254 1242 435 189 0 118603 0
[pid=10067/tid=10068] ppid=10065 vsize=497016 CPUtime=0 cores=0-31
/proc/10067/task/10068/stat : 10068 (claspmt) S 10065 10067 9865 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 20 0 2718302 508944384 1258 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446744071566928624 0 0 -1 1 0 0 0
[pid=10067/tid=10069] ppid=10065 vsize=497016 CPUtime=0 cores=0-31
/proc/10067/task/10069/stat : 10069 (claspmt) D 10065 10067 9865 0 -1 4202560 38 0 0 0 0 0 0 0 18 0 20 0 2718302 508944384 1261 270582939648 4194304 4964800 140734987861024 18446744073709551615 4377969 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10067/tid=10070] ppid=10065 vsize=501116 CPUtime=0 cores=0-31
/proc/10067/task/10070/stat : 10070 (claspmt) D 10065 10067 9865 0 -1 4202560 67 0 0 0 0 0 0 0 18 0 20 0 2718302 513142784 1264 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=10067/tid=10071] ppid=10065 vsize=501116 CPUtime=0 cores=0-31
/proc/10067/task/10071/stat : 10071 (claspmt) D 10065 10067 9865 0 -1 4202560 52 0 0 0 0 0 0 0 18 0 20 0 2718302 513142784 1273 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10067/tid=10072] ppid=10065 vsize=501116 CPUtime=0 cores=0-31
/proc/10067/task/10072/stat : 10072 (claspmt) D 10065 10067 9865 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 20 0 2718302 513142784 1274 270582939648 4194304 4964800 140734987861024 18446744073709551615 4367404 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10067/tid=10073] ppid=10065 vsize=501116 CPUtime=0 cores=0-31
/proc/10067/task/10073/stat : 10073 (claspmt) D 10065 10067 9865 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 20 0 2718302 513142784 1284 270582939648 4194304 4964800 140734987861024 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10067/tid=10074] ppid=10065 vsize=501116 CPUtime=0 cores=0-31
/proc/10067/task/10074/stat : 10074 (claspmt) D 10065 10067 9865 0 -1 4202560 53 0 0 0 0 0 0 0 18 0 20 0 2718302 513142784 1292 270582939648 4194304 4964800 140734987861024 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10067/tid=10075] ppid=10065 vsize=501116 CPUtime=0 cores=0-31
/proc/10067/task/10075/stat : 10075 (claspmt) S 10065 10067 9865 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 21 0 2718302 513142784 1293 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604506169556448 0 0 -1 2 0 0 0
[pid=10067/tid=10076] ppid=10065 vsize=501116 CPUtime=0 cores=0-31
/proc/10067/task/10076/stat : 10076 (claspmt) D 10065 10067 9865 0 -1 4202560 30 0 0 0 0 0 0 0 18 0 21 0 2718302 513142784 1298 270582939648 4194304 4964800 140734987861024 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10067/tid=10077] ppid=10065 vsize=501116 CPUtime=0 cores=0-31
/proc/10067/task/10077/stat : 10077 (claspmt) D 10065 10067 9865 0 -1 4202560 40 0 0 0 0 0 0 0 18 0 21 0 2718302 513142784 1301 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10067/tid=10078] ppid=10065 vsize=501116 CPUtime=0 cores=0-31
/proc/10067/task/10078/stat : 10078 (claspmt) D 10065 10067 9865 0 -1 4202560 25 0 0 0 0 0 0 0 19 0 21 0 2718302 513142784 1305 270582939648 4194304 4964800 140734987861024 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10067/tid=10079] ppid=10065 vsize=501116 CPUtime=0 cores=0-31
/proc/10067/task/10079/stat : 10079 (claspmt) R 10065 10067 9865 0 -1 4202560 31 0 0 0 0 0 0 0 18 0 21 0 2718302 513142784 1315 270582939648 4194304 4964800 140734987861024 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10067/tid=10080] ppid=10065 vsize=501116 CPUtime=0 cores=0-31
/proc/10067/task/10080/stat : 10080 (claspmt) D 10065 10067 9865 0 -1 4202560 23 0 0 0 0 0 0 0 19 0 21 0 2718302 513142784 1319 270582939648 4194304 4964800 140734987861024 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10067/tid=10081] ppid=10065 vsize=505216 CPUtime=0 cores=0-31
/proc/10067/task/10081/stat : 10081 (claspmt) D 10065 10067 9865 0 -1 4202560 25 0 0 0 0 0 0 0 18 0 21 0 2718302 517341184 1324 270582939648 4194304 4964800 140734987861024 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10067/tid=10082] ppid=10065 vsize=505216 CPUtime=0 cores=0-31
/proc/10067/task/10082/stat : 10082 (claspmt) R 10065 10067 9865 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 21 0 2718302 517341184 1339 270582939648 4194304 4964800 140734987861024 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10067/tid=10083] ppid=10065 vsize=505216 CPUtime=0 cores=0-31
/proc/10067/task/10083/stat : 10083 (claspmt) D 10065 10067 9865 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 2718302 517341184 1344 270582939648 4194304 4964800 140734987861024 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10067/tid=10084] ppid=10065 vsize=505216 CPUtime=0 cores=0-31
/proc/10067/task/10084/stat : 10084 (claspmt) D 10065 10067 9865 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 22 0 2718302 517341184 1351 270582939648 4194304 4964800 140734987861024 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10067/tid=10085] ppid=10065 vsize=505216 CPUtime=0 cores=0-31
/proc/10067/task/10085/stat : 10085 (claspmt) D 10065 10067 9865 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 2718302 517341184 1355 270582939648 4194304 4964800 140734987861024 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10067/tid=10086] ppid=10065 vsize=509516 CPUtime=0 cores=0-31
/proc/10067/task/10086/stat : 10086 (claspmt) D 10065 10067 9865 0 -1 4202560 6 0 0 0 0 0 0 0 19 0 22 0 2718302 521744384 1357 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10067/tid=10087] ppid=10065 vsize=509516 CPUtime=0 cores=0-31
/proc/10067/task/10087/stat : 10087 (claspmt) D 10065 10067 9865 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 22 0 2718302 521744384 1364 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10067/tid=10088] ppid=10065 vsize=509516 CPUtime=0 cores=0-31
/proc/10067/task/10088/stat : 10088 (claspmt) D 10065 10067 9865 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 2718302 521744384 1370 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 13 0 0 0

[startup+0.059799 s]
/proc/loadavg: 15.53 21.32 27.45 1/413 10067
/proc/meminfo: memFree=263679832/264257624 swapFree=67111528/67111528
[pid=10067] ppid=10065 vsize=1005788 CPUtime=0.1 cores=0-31
/proc/10067/stat : 10067 (claspmt) S 10065 10067 9865 0 -1 4202496 3145 0 0 0 5 5 0 0 18 0 32 0 2718299 1029926912 2666 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 13 0 0 0
/proc/10067/statm: 251447 2687 440 189 0 245796 0
[pid=10067/tid=10068] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10068/stat : 10068 (claspmt) S 10065 10067 9865 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 32 0 2718302 1029926912 2687 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446744071566928624 0 0 -1 1 0 0 0
[pid=10067/tid=10069] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10069/stat : 10069 (claspmt) S 10065 10067 9865 0 -1 4202560 76 0 0 0 0 0 0 0 17 0 32 0 2718302 1029926912 2687 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604568940150240 0 0 -1 1 0 0 0
[pid=10067/tid=10070] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10070/stat : 10070 (claspmt) S 10065 10067 9865 0 -1 4202560 90 0 0 0 0 0 0 0 17 0 32 0 2718302 1029926912 2687 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604505809280480 0 0 -1 20 0 0 0
[pid=10067/tid=10071] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10071/stat : 10071 (claspmt) S 10065 10067 9865 0 -1 4202560 60 0 0 0 0 0 0 0 18 0 32 0 2718302 1029926912 2687 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604573003996640 0 0 -1 28 0 0 0
[pid=10067/tid=10072] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10072/stat : 10072 (claspmt) S 10065 10067 9865 0 -1 4202560 86 0 0 0 0 0 0 0 18 0 32 0 2718302 1029926912 2688 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604506162879968 0 0 -1 13 0 0 0
[pid=10067/tid=10073] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10073/stat : 10073 (claspmt) S 10065 10067 9865 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 32 0 2718302 1029926912 2688 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604505819307488 0 0 -1 16 0 0 0
[pid=10067/tid=10074] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10074/stat : 10074 (claspmt) S 10065 10067 9865 0 -1 4202560 82 0 0 0 0 0 0 0 18 0 32 0 2718302 1029926912 2688 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604506014703072 0 0 -1 12 0 0 0
[pid=10067/tid=10075] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10075/stat : 10075 (claspmt) S 10065 10067 9865 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 32 0 2718302 1029926912 2688 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604506169556448 0 0 -1 2 0 0 0
[pid=10067/tid=10076] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10076/stat : 10076 (claspmt) S 10065 10067 9865 0 -1 4202560 65 0 0 0 0 0 0 0 18 0 32 0 2718302 1029926912 2688 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604575284354528 0 0 -1 6 0 0 0
[pid=10067/tid=10077] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10077/stat : 10077 (claspmt) S 10065 10067 9865 0 -1 4202560 88 0 0 0 0 0 0 0 17 0 32 0 2718302 1029926912 2688 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604505441205728 0 0 -1 6 0 0 0
[pid=10067/tid=10078] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10078/stat : 10078 (claspmt) S 10065 10067 9865 0 -1 4202560 86 0 0 0 0 0 0 0 19 0 32 0 2718302 1029926912 2688 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604568827649504 0 0 -1 17 0 0 0
[pid=10067/tid=10079] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10079/stat : 10079 (claspmt) S 10065 10067 9865 0 -1 4202560 67 0 0 0 0 0 0 0 18 0 32 0 2718302 1029926912 2689 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604572874718688 0 0 -1 3 0 0 0
[pid=10067/tid=10080] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10080/stat : 10080 (claspmt) S 10065 10067 9865 0 -1 4202560 78 0 0 0 0 0 0 0 19 0 32 0 2718302 1029926912 2689 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604573405052384 0 0 -1 17 0 0 0
[pid=10067/tid=10081] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10081/stat : 10081 (claspmt) S 10065 10067 9865 0 -1 4202560 83 0 0 0 0 0 0 0 18 0 32 0 2718302 1029926912 2689 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604568694865376 0 0 -1 2 0 0 0
[pid=10067/tid=10082] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10082/stat : 10082 (claspmt) S 10065 10067 9865 0 -1 4202560 83 0 0 0 0 0 0 0 19 0 32 0 2718302 1029926912 2689 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604574900870624 0 0 -1 17 0 0 0
[pid=10067/tid=10083] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10083/stat : 10083 (claspmt) S 10065 10067 9865 0 -1 4202560 66 0 0 0 0 0 0 0 18 0 32 0 2718302 1029926912 2689 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604574965317088 0 0 -1 22 0 0 0
[pid=10067/tid=10084] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10084/stat : 10084 (claspmt) S 10065 10067 9865 0 -1 4202560 66 0 0 0 0 0 0 0 18 0 32 0 2718302 1029926912 2689 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604573820452320 0 0 -1 7 0 0 0
[pid=10067/tid=10085] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10085/stat : 10085 (claspmt) S 10065 10067 9865 0 -1 4202560 60 0 0 0 0 0 0 0 19 0 32 0 2718302 1029926912 2689 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604569697344992 0 0 -1 13 0 0 0
[pid=10067/tid=10086] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10086/stat : 10086 (claspmt) S 10065 10067 9865 0 -1 4202560 78 0 0 0 0 0 0 0 18 0 32 0 2718302 1029926912 2691 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604570015923680 0 0 -1 20 0 0 0
[pid=10067/tid=10087] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10087/stat : 10087 (claspmt) S 10065 10067 9865 0 -1 4202560 55 0 0 0 0 0 0 0 18 0 32 0 2718302 1029926912 2691 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604569561284064 0 0 -1 0 0 0 0
[pid=10067/tid=10088] ppid=10065 vsize=1005788 CPUtime=0 cores=0-31
/proc/10067/task/10088/stat : 10088 (claspmt) S 10065 10067 9865 0 -1 4202560 79 0 0 0 0 0 0 0 18 0 32 0 2718302 1029926912 2691 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662772457 0 0 4096 18946 18446604571994848736 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1005788

[startup+0.103646 s]
/proc/loadavg: 15.53 21.32 27.45 1/413 10067
/proc/meminfo: memFree=263679832/264257624 swapFree=67111528/67111528
[pid=10067] ppid=10065 vsize=1333600 CPUtime=0.61 cores=0-31
/proc/10067/stat : 10067 (claspmt) R 10065 10067 9865 0 -1 4202496 3590 0 0 0 53 8 0 0 17 0 32 0 2718299 1365606400 3110 270582939648 4194304 4964800 140734987861024 18446744073709551615 4645861 0 0 4096 18946 18446744073709551615 0 0 17 29 0 0 0
/proc/10067/statm: 333400 3120 455 189 0 327749 0
[pid=10067/tid=10068] ppid=10065 vsize=1333600 CPUtime=0.01 cores=0-31
/proc/10067/task/10068/stat : 10068 (claspmt) D 10065 10067 9865 0 -1 4202560 64 0 0 0 1 0 0 0 17 0 32 0 2718302 1365606400 3120 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10067/tid=10069] ppid=10065 vsize=1333600 CPUtime=0.01 cores=0-31
/proc/10067/task/10069/stat : 10069 (claspmt) D 10065 10067 9865 0 -1 4202560 91 0 0 0 1 0 0 0 17 0 32 0 2718302 1365606400 3120 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10067/tid=10070] ppid=10065 vsize=1333600 CPUtime=0.01 cores=0-31
/proc/10067/task/10070/stat : 10070 (claspmt) S 10065 10067 9865 0 -1 4202560 111 0 0 0 1 0 0 0 17 0 32 0 2718302 1365606400 3123 270582939648 4194304 4964800 140734987861024 18446744073709551615 258651060958 0 0 4096 18946 18446744071566930344 0 0 -1 20 0 0 0
[pid=10067/tid=10071] ppid=10065 vsize=1333600 CPUtime=0.01 cores=0-31
/proc/10067/task/10071/stat : 10071 (claspmt) D 10065 10067 9865 0 -1 4202560 82 0 0 0 1 0 0 0 17 0 32 0 2718302 1365606400 3123 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10067/tid=10072] ppid=10065 vsize=1333600 CPUtime=0.03 cores=0-31
/proc/10067/task/10072/stat : 10072 (claspmt) R 10065 10067 9865 0 -1 4202560 88 0 0 0 3 0 0 0 17 0 32 0 2718302 1365606400 3123 270582939648 4194304 4964800 140734987861024 18446744073709551615 4673285 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10067/tid=10073] ppid=10065 vsize=1333600 CPUtime=0.02 cores=0-31
/proc/10067/task/10073/stat : 10073 (claspmt) R 10065 10067 9865 0 -1 4202560 93 0 0 0 2 0 0 0 17 0 32 0 2718302 1365606400 3123 270582939648 4194304 4964800 140734987861024 18446744073709551615 4668934 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10067/tid=10074] ppid=10065 vsize=1333600 CPUtime=0.01 cores=0-31
/proc/10067/task/10074/stat : 10074 (claspmt) R 10065 10067 9865 0 -1 4202560 106 0 0 0 1 0 0 0 17 0 32 0 2718302 1365606400 3123 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10067/tid=10075] ppid=10065 vsize=1333600 CPUtime=0.01 cores=0-31
/proc/10067/task/10075/stat : 10075 (claspmt) D 10065 10067 9865 0 -1 4202560 64 0 0 0 1 0 0 0 17 0 32 0 2718302 1365606400 3123 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10067/tid=10076] ppid=10065 vsize=1333600 CPUtime=0.01 cores=0-31
/proc/10067/task/10076/stat : 10076 (claspmt) D 10065 10067 9865 0 -1 4202560 79 0 0 0 1 0 0 0 17 0 32 0 2718302 1365606400 3123 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10067/tid=10077] ppid=10065 vsize=1333600 CPUtime=0.01 cores=0-31
/proc/10067/task/10077/stat : 10077 (claspmt) D 10065 10067 9865 0 -1 4202560 105 0 0 0 1 0 0 0 17 0 32 0 2718302 1365606400 3123 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10067/tid=10078] ppid=10065 vsize=1333600 CPUtime=0 cores=0-31
/proc/10067/task/10078/stat : 10078 (claspmt) R 10065 10067 9865 0 -1 4202560 96 0 0 0 0 0 0 0 19 0 32 0 2718302 1365606400 3123 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670155 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10067/tid=10079] ppid=10065 vsize=1333600 CPUtime=0.01 cores=0-31
/proc/10067/task/10079/stat : 10079 (claspmt) S 10065 10067 9865 0 -1 4202560 75 0 0 0 1 0 0 0 17 0 32 0 2718302 1365606400 3123 270582939648 4194304 4964800 140734987861024 18446744073709551615 258651060958 0 0 4096 18946 18446604575218515424 0 0 -1 15 0 0 0
[pid=10067/tid=10080] ppid=10065 vsize=1333600 CPUtime=0.01 cores=0-31
/proc/10067/task/10080/stat : 10080 (claspmt) R 10065 10067 9865 0 -1 4202560 79 0 0 0 1 0 0 0 19 0 32 0 2718302 1365606400 3123 270582939648 4194304 4964800 140734987861024 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=10067/tid=10081] ppid=10065 vsize=1333600 CPUtime=0.01 cores=0-31
/proc/10067/task/10081/stat : 10081 (claspmt) R 10065 10067 9865 0 -1 4202560 92 0 0 0 1 0 0 0 17 0 32 0 2718302 1365606400 3133 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10067/tid=10082] ppid=10065 vsize=1333600 CPUtime=0 cores=0-31
/proc/10067/task/10082/stat : 10082 (claspmt) R 10065 10067 9865 0 -1 4202560 94 0 0 0 0 0 0 0 18 0 32 0 2718302 1365606400 3133 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10067/tid=10083] ppid=10065 vsize=1333600 CPUtime=0.01 cores=0-31
/proc/10067/task/10083/stat : 10083 (claspmt) D 10065 10067 9865 0 -1 4202560 81 0 0 0 1 0 0 0 17 0 32 0 2718302 1365606400 3133 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10067/tid=10084] ppid=10065 vsize=1333600 CPUtime=0.02 cores=0-31
/proc/10067/task/10084/stat : 10084 (claspmt) D 10065 10067 9865 0 -1 4202560 79 0 0 0 2 0 0 0 17 0 32 0 2718302 1365606400 3133 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10067/tid=10085] ppid=10065 vsize=1333600 CPUtime=0 cores=0-31
/proc/10067/task/10085/stat : 10085 (claspmt) S 10065 10067 9865 0 -1 4202560 68 0 0 0 0 0 0 0 19 0 32 0 2718302 1365606400 3133 270582939648 4194304 4964800 140734987861024 18446744073709551615 258662782148 0 0 4096 18946 18446604568694865376 0 0 -1 31 0 0 0
[pid=10067/tid=10086] ppid=10065 vsize=1333600 CPUtime=0.01 cores=0-31
/proc/10067/task/10086/stat : 10086 (claspmt) D 10065 10067 9865 0 -1 4202560 97 0 0 0 1 0 0 0 17 0 32 0 2718302 1365606400 3133 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10067/tid=10087] ppid=10065 vsize=1333600 CPUtime=0.01 cores=0-31
/proc/10067/task/10087/stat : 10087 (claspmt) R 10065 10067 9865 0 -1 4202560 72 0 0 0 1 0 0 0 17 0 32 0 2718302 1365606400 3133 270582939648 4194304 4964800 140734987861024 18446744073709551615 4362329 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10067/tid=10088] ppid=10065 vsize=1333600 CPUtime=0.03 cores=0-31
/proc/10067/task/10088/stat : 10088 (claspmt) R 10065 10067 9865 0 -1 4202560 81 0 0 0 3 0 0 0 17 0 32 0 2718302 1365606400 3136 270582939648 4194304 4964800 140734987861024 18446744073709551615 4674795 0 0 4096 18946 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 1333600

[startup+0.362644 s]
/proc/loadavg: 15.53 21.32 27.45 1/413 10067
/proc/meminfo: memFree=263679832/264257624 swapFree=67111528/67111528
[pid=10067] ppid=10065 vsize=1596272 CPUtime=7.18 cores=0-31
/proc/10067/stat : 10067 (claspmt) R 10065 10067 9865 0 -1 4202496 6574 0 0 0 698 20 0 0 18 0 32 0 2718299 1634582528 6094 270582939648 4194304 4964800 140734987861024 18446744073709551615 4653351 0 0 4096 18946 18446744073709551615 0 0 17 29 0 0 0
/proc/10067/statm: 399068 6094 461 189 0 393417 0
[pid=10067/tid=10068] ppid=10065 vsize=1596272 CPUtime=0.22 cores=0-31
/proc/10067/task/10068/stat : 10068 (claspmt) R 10065 10067 9865 0 -1 4202560 154 0 0 0 22 0 0 0 17 0 32 0 2718302 1634582528 6094 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669560 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10067/tid=10069] ppid=10065 vsize=1596272 CPUtime=0.21 cores=0-31
/proc/10067/task/10069/stat : 10069 (claspmt) R 10065 10067 9865 0 -1 4202560 198 0 0 0 21 0 0 0 17 0 32 0 2718302 1634582528 6095 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669512 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10067/tid=10070] ppid=10065 vsize=1596272 CPUtime=0.21 cores=0-31
/proc/10067/task/10070/stat : 10070 (claspmt) R 10065 10067 9865 0 -1 4202560 222 0 0 0 21 0 0 0 17 0 32 0 2718302 1634582528 6096 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669973 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=10067/tid=10071] ppid=10065 vsize=1596272 CPUtime=0.22 cores=0-31
/proc/10067/task/10071/stat : 10071 (claspmt) R 10065 10067 9865 0 -1 4202560 192 0 0 0 22 0 0 0 17 0 32 0 2718302 1634582528 6096 270582939648 4194304 4964800 140734987861024 18446744073709551615 4338784 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10067/tid=10072] ppid=10065 vsize=1596272 CPUtime=0.28 cores=0-31
/proc/10067/task/10072/stat : 10072 (claspmt) R 10065 10067 9865 0 -1 4202560 108 0 0 0 28 0 0 0 18 0 32 0 2718302 1634582528 6096 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669486 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10067/tid=10073] ppid=10065 vsize=1596272 CPUtime=0.22 cores=0-31
/proc/10067/task/10073/stat : 10073 (claspmt) R 10065 10067 9865 0 -1 4202560 205 0 0 0 22 0 0 0 17 0 32 0 2718302 1634582528 6096 270582939648 4194304 4964800 140734987861024 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10067/tid=10074] ppid=10065 vsize=1596272 CPUtime=0.21 cores=0-31
/proc/10067/task/10074/stat : 10074 (claspmt) R 10065 10067 9865 0 -1 4202560 256 0 0 0 21 0 0 0 17 0 32 0 2718302 1634582528 6097 270582939648 4194304 4964800 140734987861024 18446744073709551615 4365162 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10067/tid=10075] ppid=10065 vsize=1596272 CPUtime=0.21 cores=0-31
/proc/10067/task/10075/stat : 10075 (claspmt) R 10065 10067 9865 0 -1 4202560 161 0 0 0 21 0 0 0 17 0 32 0 2718302 1634582528 6101 270582939648 4194304 4964800 140734987861024 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10067/tid=10076] ppid=10065 vsize=1596272 CPUtime=0.22 cores=0-31
/proc/10067/task/10076/stat : 10076 (claspmt) R 10065 10067 9865 0 -1 4202560 161 0 0 0 22 0 0 0 17 0 32 0 2718302 1634582528 6102 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670190 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10067/tid=10077] ppid=10065 vsize=1596272 CPUtime=0.22 cores=0-31
/proc/10067/task/10077/stat : 10077 (claspmt) R 10065 10067 9865 0 -1 4202560 219 0 0 0 21 1 0 0 17 0 32 0 2718302 1634582528 6104 270582939648 4194304 4964800 140734987861024 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10067/tid=10078] ppid=10065 vsize=1596272 CPUtime=0.18 cores=0-31
/proc/10067/task/10078/stat : 10078 (claspmt) R 10065 10067 9865 0 -1 4202560 172 0 0 0 18 0 0 0 19 0 32 0 2718302 1634582528 6105 270582939648 4194304 4964800 140734987861024 18446744073709551615 258651060958 0 0 4096 18946 0 0 0 -1 27 0 0 0

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

/proc/10067/task/10091/stat : 10091 (claspmt) R 10065 10067 9865 0 -1 4202560 16033 0 0 0 254132 90 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10067/tid=10092] ppid=10065 vsize=1621516 CPUtime=2537.27 cores=0-31
/proc/10067/task/10092/stat : 10092 (claspmt) R 10065 10067 9865 0 -1 4202560 1500 0 0 0 253686 41 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=10067/tid=10093] ppid=10065 vsize=1621516 CPUtime=2541.93 cores=0-31
/proc/10067/task/10093/stat : 10093 (claspmt) R 10065 10067 9865 0 -1 4202560 4747 0 0 0 254145 48 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669523 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10067/tid=10094] ppid=10065 vsize=1621516 CPUtime=2542.14 cores=0-31
/proc/10067/task/10094/stat : 10094 (claspmt) R 10065 10067 9865 0 -1 4202560 2755 0 0 0 254159 55 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10067/tid=10095] ppid=10065 vsize=1621516 CPUtime=2532.11 cores=0-31
/proc/10067/task/10095/stat : 10095 (claspmt) R 10065 10067 9865 0 -1 4202560 1374 0 0 0 253165 46 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670363 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10067/tid=10096] ppid=10065 vsize=1621516 CPUtime=2539.4 cores=0-31
/proc/10067/task/10096/stat : 10096 (claspmt) R 10065 10067 9865 0 -1 4202560 3209 0 0 0 253884 56 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670511 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10067/tid=10097] ppid=10065 vsize=1621516 CPUtime=2542.05 cores=0-31
/proc/10067/task/10097/stat : 10097 (claspmt) R 10065 10067 9865 0 -1 4202560 3732 0 0 0 254149 56 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10067/tid=10098] ppid=10065 vsize=1621516 CPUtime=2542.1 cores=0-31
/proc/10067/task/10098/stat : 10098 (claspmt) R 10065 10067 9865 0 -1 4202560 1561 0 0 0 254167 43 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10067/tid=10099] ppid=10065 vsize=1621516 CPUtime=2542.23 cores=0-31
/proc/10067/task/10099/stat : 10099 (claspmt) R 10065 10067 9865 0 -1 4202560 16825 0 0 0 254134 89 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4627211 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 81273.4
Current children cumulated vsize (KiB) 1621516

[startup+2543.5 s]
/proc/loadavg: 32.02 32.07 31.77 33/445 10170
/proc/meminfo: memFree=263142996/264257624 swapFree=67111528/67111528
[pid=10067] ppid=10065 vsize=1621516 CPUtime=81285.6 cores=0-31
/proc/10067/stat : 10067 (claspmt) R 10065 10067 9865 0 -1 4202496 141310 0 0 0 8126727 1833 0 0 25 0 32 0 2718299 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4684063 0 0 4096 18946 18446744073709551615 0 0 17 29 0 0 0
/proc/10067/statm: 405379 135692 463 189 0 399728 0
[pid=10067/tid=10068] ppid=10065 vsize=1621516 CPUtime=2542.24 cores=0-31
/proc/10067/task/10068/stat : 10068 (claspmt) R 10065 10067 9865 0 -1 4202560 4663 0 0 0 254180 44 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670423 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10067/tid=10069] ppid=10065 vsize=1621516 CPUtime=2538.62 cores=0-31
/proc/10067/task/10069/stat : 10069 (claspmt) R 10065 10067 9865 0 -1 4202560 2876 0 0 0 253804 58 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10067/tid=10070] ppid=10065 vsize=1621516 CPUtime=2542.43 cores=0-31
/proc/10067/task/10070/stat : 10070 (claspmt) R 10065 10067 9865 0 -1 4202560 1684 0 0 0 254193 50 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=10067/tid=10071] ppid=10065 vsize=1621516 CPUtime=2542.3 cores=0-31
/proc/10067/task/10071/stat : 10071 (claspmt) R 10065 10067 9865 0 -1 4202560 3393 0 0 0 254167 63 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669276 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10067/tid=10072] ppid=10065 vsize=1621516 CPUtime=2540.8 cores=0-31
/proc/10067/task/10072/stat : 10072 (claspmt) R 10065 10067 9865 0 -1 4202560 3943 0 0 0 254028 52 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=10067/tid=10073] ppid=10065 vsize=1621516 CPUtime=2542.41 cores=0-31
/proc/10067/task/10073/stat : 10073 (claspmt) R 10065 10067 9865 0 -1 4202560 1706 0 0 0 254193 48 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10067/tid=10074] ppid=10065 vsize=1621516 CPUtime=2540.56 cores=0-31
/proc/10067/task/10074/stat : 10074 (claspmt) R 10065 10067 9865 0 -1 4202560 13996 0 0 0 253941 115 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10067/tid=10075] ppid=10065 vsize=1621516 CPUtime=2542.48 cores=0-31
/proc/10067/task/10075/stat : 10075 (claspmt) R 10065 10067 9865 0 -1 4202560 1519 0 0 0 254195 53 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10067/tid=10076] ppid=10065 vsize=1621516 CPUtime=2534.07 cores=0-31
/proc/10067/task/10076/stat : 10076 (claspmt) R 10065 10067 9865 0 -1 4202560 4641 0 0 0 253350 57 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669471 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10067/tid=10077] ppid=10065 vsize=1621516 CPUtime=2542.58 cores=0-31
/proc/10067/task/10077/stat : 10077 (claspmt) R 10065 10067 9865 0 -1 4202560 3196 0 0 0 254203 55 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10067/tid=10078] ppid=10065 vsize=1621516 CPUtime=2540.96 cores=0-31
/proc/10067/task/10078/stat : 10078 (claspmt) R 10065 10067 9865 0 -1 4202560 1431 0 0 0 254049 47 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10067/tid=10079] ppid=10065 vsize=1621516 CPUtime=2528.9 cores=0-31
/proc/10067/task/10079/stat : 10079 (claspmt) R 10065 10067 9865 0 -1 4202560 3336 0 0 0 252829 61 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=10067/tid=10080] ppid=10065 vsize=1621516 CPUtime=2542.53 cores=0-31
/proc/10067/task/10080/stat : 10080 (claspmt) R 10065 10067 9865 0 -1 4202560 3308 0 0 0 254207 46 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650614263 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10067/tid=10081] ppid=10065 vsize=1621516 CPUtime=2542.43 cores=0-31
/proc/10067/task/10081/stat : 10081 (claspmt) R 10065 10067 9865 0 -1 4202560 1499 0 0 0 254200 43 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=10067/tid=10082] ppid=10065 vsize=1621516 CPUtime=2542.57 cores=0-31
/proc/10067/task/10082/stat : 10082 (claspmt) R 10065 10067 9865 0 -1 4202560 16816 0 0 0 254165 92 0 0 18 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=10067/tid=10083] ppid=10065 vsize=1621516 CPUtime=2542.41 cores=0-31
/proc/10067/task/10083/stat : 10083 (claspmt) R 10065 10067 9865 0 -1 4202560 1369 0 0 0 254187 54 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10067/tid=10084] ppid=10065 vsize=1621516 CPUtime=2532.3 cores=0-31
/proc/10067/task/10084/stat : 10084 (claspmt) R 10065 10067 9865 0 -1 4202560 4520 0 0 0 253162 68 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10067/tid=10085] ppid=10065 vsize=1621516 CPUtime=2538.56 cores=0-31
/proc/10067/task/10085/stat : 10085 (claspmt) R 10065 10067 9865 0 -1 4202560 2462 0 0 0 253800 56 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10067/tid=10086] ppid=10065 vsize=1621516 CPUtime=2542.46 cores=0-31
/proc/10067/task/10086/stat : 10086 (claspmt) R 10065 10067 9865 0 -1 4202560 1449 0 0 0 254210 36 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10067/tid=10087] ppid=10065 vsize=1621516 CPUtime=2542.44 cores=0-31
/proc/10067/task/10087/stat : 10087 (claspmt) R 10065 10067 9865 0 -1 4202560 3676 0 0 0 254202 42 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10067/tid=10088] ppid=10065 vsize=1621516 CPUtime=2542.63 cores=0-31
/proc/10067/task/10088/stat : 10088 (claspmt) R 10065 10067 9865 0 -1 4202560 4126 0 0 0 254211 52 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10067/tid=10089] ppid=10065 vsize=1621516 CPUtime=2531.17 cores=0-31
/proc/10067/task/10089/stat : 10089 (claspmt) R 10065 10067 9865 0 -1 4202560 1436 0 0 0 253072 45 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670220 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10067/tid=10091] ppid=10065 vsize=1621516 CPUtime=2542.6 cores=0-31
/proc/10067/task/10091/stat : 10091 (claspmt) R 10065 10067 9865 0 -1 4202560 16033 0 0 0 254170 90 0 0 25 0 32 0 2718302 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10067/tid=10092] ppid=10065 vsize=1621516 CPUtime=2537.64 cores=0-31
/proc/10067/task/10092/stat : 10092 (claspmt) R 10065 10067 9865 0 -1 4202560 1500 0 0 0 253723 41 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=10067/tid=10093] ppid=10065 vsize=1621516 CPUtime=2542.31 cores=0-31
/proc/10067/task/10093/stat : 10093 (claspmt) R 10065 10067 9865 0 -1 4202560 4747 0 0 0 254183 48 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10067/tid=10094] ppid=10065 vsize=1621516 CPUtime=2542.52 cores=0-31
/proc/10067/task/10094/stat : 10094 (claspmt) R 10065 10067 9865 0 -1 4202560 2755 0 0 0 254197 55 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10067/tid=10095] ppid=10065 vsize=1621516 CPUtime=2532.49 cores=0-31
/proc/10067/task/10095/stat : 10095 (claspmt) R 10065 10067 9865 0 -1 4202560 1374 0 0 0 253203 46 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10067/tid=10096] ppid=10065 vsize=1621516 CPUtime=2539.78 cores=0-31
/proc/10067/task/10096/stat : 10096 (claspmt) R 10065 10067 9865 0 -1 4202560 3209 0 0 0 253922 56 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10067/tid=10097] ppid=10065 vsize=1621516 CPUtime=2542.43 cores=0-31
/proc/10067/task/10097/stat : 10097 (claspmt) R 10065 10067 9865 0 -1 4202560 3732 0 0 0 254187 56 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4324775 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10067/tid=10098] ppid=10065 vsize=1621516 CPUtime=2542.48 cores=0-31
/proc/10067/task/10098/stat : 10098 (claspmt) R 10065 10067 9865 0 -1 4202560 1561 0 0 0 254205 43 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10067/tid=10099] ppid=10065 vsize=1621516 CPUtime=2542.61 cores=0-31
/proc/10067/task/10099/stat : 10099 (claspmt) R 10065 10067 9865 0 -1 4202560 16825 0 0 0 254172 89 0 0 25 0 32 0 2718303 1660432384 135692 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669294 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 81285.6
Current children cumulated vsize (KiB) 1621516

[startup+2543.7 s]
/proc/loadavg: 32.02 32.07 31.77 33/445 10170
/proc/meminfo: memFree=263142996/264257624 swapFree=67111528/67111528
[pid=10067] ppid=10065 vsize=1621516 CPUtime=81292 cores=0-31
/proc/10067/stat : 10067 (claspmt) R 10065 10067 9865 0 -1 4202496 141311 0 0 0 8127366 1833 0 0 25 0 32 0 2718299 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 29 0 0 0
/proc/10067/statm: 405379 135693 463 189 0 399728 0
[pid=10067/tid=10068] ppid=10065 vsize=1621516 CPUtime=2542.44 cores=0-31
/proc/10067/task/10068/stat : 10068 (claspmt) R 10065 10067 9865 0 -1 4202560 4663 0 0 0 254200 44 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10067/tid=10069] ppid=10065 vsize=1621516 CPUtime=2538.82 cores=0-31
/proc/10067/task/10069/stat : 10069 (claspmt) R 10065 10067 9865 0 -1 4202560 2876 0 0 0 253824 58 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10067/tid=10070] ppid=10065 vsize=1621516 CPUtime=2542.63 cores=0-31
/proc/10067/task/10070/stat : 10070 (claspmt) R 10065 10067 9865 0 -1 4202560 1685 0 0 0 254213 50 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=10067/tid=10071] ppid=10065 vsize=1621516 CPUtime=2542.5 cores=0-31
/proc/10067/task/10071/stat : 10071 (claspmt) R 10065 10067 9865 0 -1 4202560 3393 0 0 0 254187 63 0 0 18 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4342167 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10067/tid=10072] ppid=10065 vsize=1621516 CPUtime=2541 cores=0-31
/proc/10067/task/10072/stat : 10072 (claspmt) R 10065 10067 9865 0 -1 4202560 3943 0 0 0 254048 52 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4320989 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=10067/tid=10073] ppid=10065 vsize=1621516 CPUtime=2542.61 cores=0-31
/proc/10067/task/10073/stat : 10073 (claspmt) R 10065 10067 9865 0 -1 4202560 1706 0 0 0 254213 48 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10067/tid=10074] ppid=10065 vsize=1621516 CPUtime=2540.76 cores=0-31
/proc/10067/task/10074/stat : 10074 (claspmt) R 10065 10067 9865 0 -1 4202560 13996 0 0 0 253961 115 0 0 18 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10067/tid=10075] ppid=10065 vsize=1621516 CPUtime=2542.68 cores=0-31
/proc/10067/task/10075/stat : 10075 (claspmt) R 10065 10067 9865 0 -1 4202560 1519 0 0 0 254215 53 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4312158 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10067/tid=10076] ppid=10065 vsize=1621516 CPUtime=2534.27 cores=0-31
/proc/10067/task/10076/stat : 10076 (claspmt) R 10065 10067 9865 0 -1 4202560 4641 0 0 0 253370 57 0 0 18 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669471 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10067/tid=10077] ppid=10065 vsize=1621516 CPUtime=2542.78 cores=0-31
/proc/10067/task/10077/stat : 10077 (claspmt) R 10065 10067 9865 0 -1 4202560 3196 0 0 0 254223 55 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10067/tid=10078] ppid=10065 vsize=1621516 CPUtime=2541.16 cores=0-31
/proc/10067/task/10078/stat : 10078 (claspmt) R 10065 10067 9865 0 -1 4202560 1431 0 0 0 254069 47 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10067/tid=10079] ppid=10065 vsize=1621516 CPUtime=2529.1 cores=0-31
/proc/10067/task/10079/stat : 10079 (claspmt) R 10065 10067 9865 0 -1 4202560 3336 0 0 0 252849 61 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4684067 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=10067/tid=10080] ppid=10065 vsize=1621516 CPUtime=2542.73 cores=0-31
/proc/10067/task/10080/stat : 10080 (claspmt) R 10065 10067 9865 0 -1 4202560 3308 0 0 0 254227 46 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4660415 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10067/tid=10081] ppid=10065 vsize=1621516 CPUtime=2542.63 cores=0-31
/proc/10067/task/10081/stat : 10081 (claspmt) R 10065 10067 9865 0 -1 4202560 1499 0 0 0 254220 43 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=10067/tid=10082] ppid=10065 vsize=1621516 CPUtime=2542.77 cores=0-31
/proc/10067/task/10082/stat : 10082 (claspmt) R 10065 10067 9865 0 -1 4202560 16816 0 0 0 254185 92 0 0 18 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=10067/tid=10083] ppid=10065 vsize=1621516 CPUtime=2542.61 cores=0-31
/proc/10067/task/10083/stat : 10083 (claspmt) R 10065 10067 9865 0 -1 4202560 1369 0 0 0 254207 54 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10067/tid=10084] ppid=10065 vsize=1621516 CPUtime=2532.5 cores=0-31
/proc/10067/task/10084/stat : 10084 (claspmt) R 10065 10067 9865 0 -1 4202560 4520 0 0 0 253182 68 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10067/tid=10085] ppid=10065 vsize=1621516 CPUtime=2538.76 cores=0-31
/proc/10067/task/10085/stat : 10085 (claspmt) R 10065 10067 9865 0 -1 4202560 2462 0 0 0 253820 56 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10067/tid=10086] ppid=10065 vsize=1621516 CPUtime=2542.66 cores=0-31
/proc/10067/task/10086/stat : 10086 (claspmt) R 10065 10067 9865 0 -1 4202560 1449 0 0 0 254230 36 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10067/tid=10087] ppid=10065 vsize=1621516 CPUtime=2542.64 cores=0-31
/proc/10067/task/10087/stat : 10087 (claspmt) R 10065 10067 9865 0 -1 4202560 3676 0 0 0 254222 42 0 0 18 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4342193 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10067/tid=10088] ppid=10065 vsize=1621516 CPUtime=2542.83 cores=0-31
/proc/10067/task/10088/stat : 10088 (claspmt) R 10065 10067 9865 0 -1 4202560 4126 0 0 0 254231 52 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669471 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10067/tid=10089] ppid=10065 vsize=1621516 CPUtime=2531.37 cores=0-31
/proc/10067/task/10089/stat : 10089 (claspmt) R 10065 10067 9865 0 -1 4202560 1436 0 0 0 253092 45 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4653260 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10067/tid=10091] ppid=10065 vsize=1621516 CPUtime=2542.8 cores=0-31
/proc/10067/task/10091/stat : 10091 (claspmt) R 10065 10067 9865 0 -1 4202560 16033 0 0 0 254190 90 0 0 25 0 32 0 2718302 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669507 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10067/tid=10092] ppid=10065 vsize=1621516 CPUtime=2537.84 cores=0-31
/proc/10067/task/10092/stat : 10092 (claspmt) R 10065 10067 9865 0 -1 4202560 1500 0 0 0 253743 41 0 0 25 0 32 0 2718303 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=10067/tid=10093] ppid=10065 vsize=1621516 CPUtime=2542.51 cores=0-31
/proc/10067/task/10093/stat : 10093 (claspmt) R 10065 10067 9865 0 -1 4202560 4747 0 0 0 254203 48 0 0 25 0 32 0 2718303 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10067/tid=10094] ppid=10065 vsize=1621516 CPUtime=2542.72 cores=0-31
/proc/10067/task/10094/stat : 10094 (claspmt) R 10065 10067 9865 0 -1 4202560 2755 0 0 0 254217 55 0 0 25 0 32 0 2718303 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10067/tid=10095] ppid=10065 vsize=1621516 CPUtime=2532.69 cores=0-31
/proc/10067/task/10095/stat : 10095 (claspmt) R 10065 10067 9865 0 -1 4202560 1374 0 0 0 253223 46 0 0 25 0 32 0 2718303 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4320883 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10067/tid=10096] ppid=10065 vsize=1621516 CPUtime=2539.98 cores=0-31
/proc/10067/task/10096/stat : 10096 (claspmt) R 10065 10067 9865 0 -1 4202560 3209 0 0 0 253942 56 0 0 25 0 32 0 2718303 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10067/tid=10097] ppid=10065 vsize=1621516 CPUtime=2542.63 cores=0-31
/proc/10067/task/10097/stat : 10097 (claspmt) R 10065 10067 9865 0 -1 4202560 3732 0 0 0 254207 56 0 0 25 0 32 0 2718303 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10067/tid=10098] ppid=10065 vsize=1621516 CPUtime=2542.68 cores=0-31
/proc/10067/task/10098/stat : 10098 (claspmt) R 10065 10067 9865 0 -1 4202560 1561 0 0 0 254225 43 0 0 25 0 32 0 2718303 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10067/tid=10099] ppid=10065 vsize=1621516 CPUtime=2542.81 cores=0-31
/proc/10067/task/10099/stat : 10099 (claspmt) R 10065 10067 9865 0 -1 4202560 16825 0 0 0 254192 89 0 0 25 0 32 0 2718303 1660432384 135693 270582939648 4194304 4964800 140734987861024 18446744073709551615 4670147 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 81292
Current children cumulated vsize (KiB) 1621516

[startup+2543.8 s]
/proc/loadavg: 32.02 32.07 31.77 33/445 10170
/proc/meminfo: memFree=263142996/264257624 swapFree=67111528/67111528
[pid=10067] ppid=10065 vsize=1531104 CPUtime=81294.5 cores=0-31
/proc/10067/stat : 10067 (claspmt) R 10065 10067 9865 0 -1 4202496 141323 0 0 0 8127602 1849 0 0 17 0 1 0 2718299 1567850496 135597 270582939648 4194304 4964800 140734987861024 18446744073709551615 258650604549 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/10067/statm: 382776 135597 474 189 0 377125 0
Current children cumulated CPU time (s) 81294.5
Current children cumulated vsize (KiB) 1531104

Child status: 20
Real time (s): 2543.88
CPU time (s): 81294.6
CPU user time (s): 81276.1
CPU system time (s): 18.5292
CPU usage (%): 3195.69
Max. virtual memory (cumulated for all children) (KiB): 1621520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 81276.1
system time used= 18.5292
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141324
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= 1065352
involuntary context switches= 202592

runsolver used 14.9897 second user time and 56.7464 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-06 17:15:14
IDJOB=3472274
IDBENCH=20468
IDSOLVER=1961
FILE ID=node200/3472274-1307373314
RUNJOBID= node200-1307373083-9879
PBS_JOBID= 13509163
Free space on /tmp= 61744 MiB

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

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

MD5SUM BENCH= 8d6acb9f6b752ad76c024133f5175c69
RANDOM SEED=392656840

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:      263680236 kB
Buffers:         39220 kB
Cached:         332792 kB
SwapCached:          0 kB
Active:         139884 kB
Inactive:       295360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263680236 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             632 kB
Writeback:           0 kB
AnonPages:       64636 kB
Mapped:          14528 kB
Slab:            64036 kB
PageTables:       4380 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   154476 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 17:57:38