0.66/0.53
0.66/0.53 scop both+minisat_release (2018-06-13)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Mon Jul 23 16:40:24 CEST 2018
0.66/0.56 c PID: 16656
0.66/0.56 c IP: 172.20.3.102
0.66/0.56 c HOST: node102.alineos.net
0.66/0.57 c (0,0) Parsing Begin
3.76/1.66 c (1,1) Parsing End
3.76/1.67 c (1,1) CSP: 125 int (0 aux), 0 bool (0 aux), 3007 ctr, max domain size 5
3.76/1.67 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.76/1.67 c (1,1) Constraint Name Generate Begin
3.76/1.69 c (1,1) Ctr:HOME/instance-4294387-1532356824.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
3.76/1.69 c (1,1) Constraint Name Generate End
3.76/1.69 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.76/1.69 c (1,1) CSP to CSPinCNF Begin
4.32/1.89 c (1,1) translated 301 (10%) constraints
4.63/1.95 c (1,1) translated 602 (20%) constraints
4.63/1.98 c (1,1) translated 903 (30%) constraints
4.90/2.01 c (1,1) translated 1203 (40%) constraints
4.90/2.03 c (1,1) translated 1504 (50%) constraints
4.90/2.05 c (1,1) translated 1805 (60%) constraints
4.90/2.07 c (1,1) translated 2105 (70%) constraints
4.90/2.09 c (1,1) translated 2406 (80%) constraints
5.18/2.11 c (1,1) translated 2707 (90%) constraints
6.25/2.44 c (1,1) translated 3007 (100%) constraints
7.24/2.76 c (2,2) STATISTICS1:HOME/instance-4294387-1532356824.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,914,4684,16777216,5,4,25,16777216:50;5:5115;1:1297,5:11279;2:2367;1:2820,4:3164;3:653;2:789;1:78,25:50;2:6412;1:3667,
7.24/2.76 c (2,2) ===========================================
7.24/2.76 c (2,2) Both Encoding selects:
7.24/2.76 c (2,2) Order
7.24/2.76 c (2,2) ===========================================
7.58/2.82 c (2,2) translated 469 (10%) constraints
7.58/2.86 c (2,2) translated 937 (20%) constraints
7.88/2.90 c (2,2) translated 1406 (30%) constraints
7.88/2.94 c (2,2) translated 1874 (40%) constraints
7.88/2.98 c (2,2) translated 2342 (50%) constraints
8.21/3.02 c (2,2) translated 2811 (60%) constraints
8.21/3.09 c (2,2) translated 3279 (70%) constraints
8.52/3.14 c (2,2) translated 3748 (80%) constraints
8.52/3.19 c (2,2) translated 4216 (90%) constraints
8.80/3.21 c (2,2) translated 4684 (100%) constraints
8.80/3.22 c (2,2) CSP to CSPinCNF End
8.80/3.22 c (2,2) CSP: 200 int (75 aux), 1414 bool (1414 aux), 6134 ctr, max domain size 6
8.80/3.23 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.80/3.23 c (2,2) CSPinCNF Propagation Begin
9.12/3.37 c (2,2) 345 values, 2218 unsatisfiable literals, and 1843 valid clauses are removed
9.12/3.37 c (2,2) CSPinCNF Propagation End
9.12/3.37 c (2,2) CSP: 470 int (345 aux), 1144 bool (1144 aux), 4291 ctr, max domain size 6
9.12/3.37 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.12/3.37 c (2,2) Simplify CSPinCNF Begin
9.75/3.51 c (2,2) Simplify CSPinCNF End
9.75/3.52 c (2,2) CSP: 470 int (345 aux), 3747 bool (3747 aux), 6894 ctr, max domain size 6
9.75/3.52 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.75/3.52 c (2,2) Calculate Precise Domain Begin
9.75/3.56 c (3,3) 0 values are removed by re-calculation
9.75/3.56 c (3,3) Calculate Precise Domain End
9.75/3.56 c (3,3) CSP: 470 int (345 aux), 3747 bool (3747 aux), 6894 ctr, max domain size 6
9.75/3.56 c (3,3) Heap : 619 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
9.75/3.56 c (3,3) CSPinCNF to SatSolver Begin
10.09/3.68 c (3,3) 690 (10 %) CSP clauses are encoded (4447 SAT variables, 3101 SAT clauses)
10.38/3.72 c (3,3) 1379 (20 %) CSP clauses are encoded (4447 SAT variables, 5942 SAT clauses)
10.38/3.75 c (3,3) 2069 (30 %) CSP clauses are encoded (4447 SAT variables, 8632 SAT clauses)
10.38/3.78 c (3,3) 2758 (40 %) CSP clauses are encoded (4447 SAT variables, 11037 SAT clauses)
10.68/3.80 c (3,3) 3447 (50 %) CSP clauses are encoded (4447 SAT variables, 13470 SAT clauses)
10.68/3.82 c (3,3) 4137 (60 %) CSP clauses are encoded (4447 SAT variables, 14276 SAT clauses)
10.99/3.92 c (3,3) 4826 (70 %) CSP clauses are encoded (4447 SAT variables, 22820 SAT clauses)
11.32/4.06 c (3,3) 5516 (80 %) CSP clauses are encoded (4447 SAT variables, 39220 SAT clauses)
11.63/4.12 c (3,3) 6205 (90 %) CSP clauses are encoded (4447 SAT variables, 47764 SAT clauses)
11.63/4.13 c (3,3) 6894 (100 %) CSP clauses are encoded (4447 SAT variables, 49539 SAT clauses)
11.63/4.13 c (3,3) CSPinCNF to SatSolver End
11.63/4.13 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.63/4.19 c (3,3) STATISTICS2:HOME/instance-4294387-1532356824.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,4217,6894,512,6,4,10,512:40;256:80;36:40;5:2715;1:59,6:240;5:7089;2:14274;1:59,4:1936;3:331;2:4444;1:183,10:40;9:80;3:40;2:2774;1:14874,
11.63/4.19 c (3,3) SatSolver.solve Begin
11.63/4.19 c (3,3) 4447 bool, 49543 clause
11.63/4.19 c (3,3) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4294387-1532356824.xml-scop-16656.cnf HOME/instance-4294387-1532356824.xml-scop-16656.cnf.out
12.37/4.45 c (3,0) c This is COMiniSatPS.
12.37/4.45 c (3,0) c WARNING: for repeatability, setting FPU to use double precision
12.37/4.45 c (3,0) c ============================[ Problem Statistics ]=============================
12.37/4.45 c (3,0) c | |
12.37/4.45 c (3,0) c | Number of variables: 4447 |
12.37/4.45 c (3,0) c | Number of clauses: 49543 |
12.37/4.45 c (3,0) c | Parse time: 0.01 s |
12.37/4.45 c (3,0) c | Eliminated clauses: 0.02 Mb |
12.37/4.45 c (3,0) c Reduced to 3545 vars, 48041 cls (grow=0)
12.37/4.45 c (3,0) c No iterative elimination performed. (vars=3545, c/v ratio=13.6)
12.37/4.45 c (3,0) c | Simplification time: 0.10 s |
12.37/4.45 c (3,0) c | |
12.37/4.45 c (3,0) c ============================[ Search Statistics ]==============================
12.37/4.45 c (3,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
12.37/4.45 c (3,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
12.37/4.45 c (3,0) c ===============================================================================
12.37/4.45 c (3,0) c ===============================================================================
12.37/4.45 c (3,0) c restarts : 11
12.37/4.45 c (3,0) c conflicts : 3182 (13842 /sec)
12.37/4.45 c (3,0) c decisions : 7978 (0.00 % random) (34706 /sec)
12.37/4.45 c (3,0) c propagations : 415235 (1806343 /sec)
12.37/4.45 c (3,0) c conflict literals : 88784 (5.24 % deleted)
12.37/4.45 c (3,0) c CPU time : 0.229876 s
12.37/4.45 c (3,0)
12.37/4.45 c (3,0) s SATISFIABLE
12.37/4.46 c (3,3) SatSolver.solve End
12.37/4.46 c (3,3) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
12.37/4.46 c (3,3) Show results Begin
12.37/4.47 c (3,3) x[0][0] = 0
12.37/4.47 c (3,3) x[0][1] = 0
12.37/4.47 c (3,3) x[0][2] = 0
12.37/4.47 c (3,3) x[0][3] = 0
12.37/4.47 c (3,3) x[0][4] = 0
12.37/4.47 c (3,3) x[0][5] = 1
12.37/4.47 c (3,3) x[0][6] = 1
12.37/4.47 c (3,3) x[0][7] = 1
12.37/4.47 c (3,3) x[0][8] = 1
12.37/4.47 c (3,3) x[0][9] = 1
12.37/4.47 c (3,3) x[0][10] = 2
12.37/4.47 c (3,3) x[0][11] = 2
12.37/4.47 c (3,3) x[0][12] = 2
12.37/4.47 c (3,3) x[0][13] = 2
12.37/4.47 c (3,3) x[0][14] = 2
12.37/4.47 c (3,3) x[0][15] = 3
12.37/4.47 c (3,3) x[0][16] = 3
12.37/4.47 c (3,3) x[0][17] = 3
12.37/4.47 c (3,3) x[0][18] = 3
12.37/4.47 c (3,3) x[0][19] = 3
12.37/4.47 c (3,3) x[0][20] = 4
12.37/4.47 c (3,3) x[0][21] = 4
12.37/4.47 c (3,3) x[0][22] = 4
12.37/4.47 c (3,3) x[0][23] = 4
12.37/4.47 c (3,3) x[0][24] = 4
12.37/4.47 c (3,3) x[1][0] = 0
12.37/4.47 c (3,3) x[1][1] = 1
12.37/4.47 c (3,3) x[1][2] = 2
12.37/4.47 c (3,3) x[1][3] = 3
12.37/4.47 c (3,3) x[1][4] = 4
12.37/4.47 c (3,3) x[1][5] = 0
12.37/4.47 c (3,3) x[1][6] = 1
12.37/4.47 c (3,3) x[1][7] = 2
12.37/4.47 c (3,3) x[1][8] = 3
12.37/4.47 c (3,3) x[1][9] = 4
12.37/4.47 c (3,3) x[1][10] = 0
12.37/4.47 c (3,3) x[1][11] = 1
12.37/4.47 c (3,3) x[1][12] = 2
12.37/4.47 c (3,3) x[1][13] = 3
12.37/4.47 c (3,3) x[1][14] = 4
12.37/4.47 c (3,3) x[1][15] = 0
12.37/4.47 c (3,3) x[1][16] = 1
12.37/4.47 c (3,3) x[1][17] = 2
12.37/4.47 c (3,3) x[1][18] = 3
12.37/4.47 c (3,3) x[1][19] = 4
12.37/4.47 c (3,3) x[1][20] = 0
12.37/4.47 c (3,3) x[1][21] = 1
12.37/4.47 c (3,3) x[1][22] = 2
12.37/4.47 c (3,3) x[1][23] = 3
12.37/4.47 c (3,3) x[1][24] = 4
12.37/4.47 c (3,3) x[2][0] = 0
12.37/4.47 c (3,3) x[2][1] = 1
12.37/4.47 c (3,3) x[2][2] = 2
12.37/4.47 c (3,3) x[2][3] = 3
12.37/4.47 c (3,3) x[2][4] = 4
12.37/4.47 c (3,3) x[2][5] = 4
12.37/4.47 c (3,3) x[2][6] = 0
12.37/4.47 c (3,3) x[2][7] = 1
12.37/4.47 c (3,3) x[2][8] = 2
12.37/4.47 c (3,3) x[2][9] = 3
12.37/4.47 c (3,3) x[2][10] = 3
12.37/4.47 c (3,3) x[2][11] = 4
12.37/4.47 c (3,3) x[2][12] = 0
12.37/4.47 c (3,3) x[2][13] = 1
12.37/4.47 c (3,3) x[2][14] = 2
12.37/4.47 c (3,3) x[2][15] = 2
12.37/4.47 c (3,3) x[2][16] = 3
12.37/4.47 c (3,3) x[2][17] = 4
12.37/4.47 c (3,3) x[2][18] = 0
12.37/4.47 c (3,3) x[2][19] = 1
12.37/4.47 c (3,3) x[2][20] = 1
12.37/4.47 c (3,3) x[2][21] = 2
12.37/4.47 c (3,3) x[2][22] = 3
12.37/4.47 c (3,3) x[2][23] = 4
12.37/4.47 c (3,3) x[2][24] = 0
12.37/4.47 c (3,3) x[3][0] = 0
12.37/4.47 c (3,3) x[3][1] = 1
12.37/4.47 c (3,3) x[3][2] = 2
12.37/4.47 c (3,3) x[3][3] = 4
12.37/4.47 c (3,3) x[3][4] = 3
12.37/4.47 c (3,3) x[3][5] = 2
12.37/4.47 c (3,3) x[3][6] = 4
12.37/4.47 c (3,3) x[3][7] = 3
12.37/4.47 c (3,3) x[3][8] = 0
12.37/4.47 c (3,3) x[3][9] = 1
12.37/4.47 c (3,3) x[3][10] = 3
12.37/4.47 c (3,3) x[3][11] = 0
12.37/4.47 c (3,3) x[3][12] = 1
12.37/4.47 c (3,3) x[3][13] = 2
12.37/4.47 c (3,3) x[3][14] = 4
12.37/4.47 c (3,3) x[3][15] = 1
12.37/4.47 c (3,3) x[3][16] = 2
12.37/4.47 c (3,3) x[3][17] = 4
12.37/4.47 c (3,3) x[3][18] = 3
12.37/4.47 c (3,3) x[3][19] = 0
12.37/4.47 c (3,3) x[3][20] = 4
12.37/4.47 c (3,3) x[3][21] = 3
12.37/4.47 c (3,3) x[3][22] = 0
12.37/4.47 c (3,3) x[3][23] = 1
12.37/4.47 c (3,3) x[3][24] = 2
12.37/4.47 c (3,3) x[4][0] = 0
12.37/4.47 c (3,3) x[4][1] = 1
12.37/4.47 c (3,3) x[4][2] = 3
12.37/4.47 c (3,3) x[4][3] = 2
12.37/4.47 c (3,3) x[4][4] = 4
12.37/4.47 c (3,3) x[4][5] = 1
12.37/4.47 c (3,3) x[4][6] = 3
12.37/4.47 c (3,3) x[4][7] = 2
12.37/4.47 c (3,3) x[4][8] = 4
12.37/4.47 c (3,3) x[4][9] = 0
12.37/4.47 c (3,3) x[4][10] = 3
12.37/4.47 c (3,3) x[4][11] = 2
12.37/4.47 c (3,3) x[4][12] = 4
12.37/4.47 c (3,3) x[4][13] = 0
12.37/4.47 c (3,3) x[4][14] = 1
12.37/4.47 c (3,3) x[4][15] = 2
12.37/4.47 c (3,3) x[4][16] = 4
12.37/4.47 c (3,3) x[4][17] = 0
12.37/4.47 c (3,3) x[4][18] = 1
12.37/4.47 c (3,3) x[4][19] = 3
12.37/4.48 c (3,3) x[4][20] = 4
12.37/4.48 c (3,3) x[4][21] = 0
12.37/4.48 c (3,3) x[4][22] = 1
12.37/4.48 c (3,3) x[4][23] = 3
12.37/4.48 c (3,3) x[4][24] = 2
12.37/4.48 s SATISFIABLE
12.37/4.48 v <instantiation>
12.37/4.48 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24]</list>
12.37/4.48 v <values>0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 4 4 4 4 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 4 0 1 2 3 3 4 0 1 2 2 3 4 0 1 1 2 3 4 0 0 1 2 4 3 2 4 3 0 1 3 0 1 2 4 1 2 4 3 0 4 3 0 1 2 0 1 3 2 4 1 3 2 4 0 3 2 4 0 1 2 4 0 1 3 4 0 1 3 2</values>
12.37/4.48 v </instantiation>
12.37/4.48 c (3,3) Show results End
12.37/4.48 c (3,3) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
12.37/4.48 c (3,3) 1,1,2,2,2,3,3,3,3,STOP-AFTER(ALL)
12.37/4.48 c END-Prog: Mon Jul 23 16:40:28 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (5806 MiB free)
memory of node 1: 16384 MiB (10233 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294387-1532356824/watcher-4294387-1532356824 -o /tmp/evaluation-result-4294387-1532356824/solver-4294387-1532356824 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8950 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294387-1532356824.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16656, runsolver pid=16653
[startup+0.100083 s]*
/proc/loadavg: 2.00 2.08 2.08 3/220 16671
/proc/meminfo: memFree=16364224/32770624 swapFree=67108860/67108860
[pid=16656] ppid=16653 vsize=15011656 memory=73392 CPUtime=0.11 cores=0,2,4,6
/proc/16656/stat : 16656 (java) S 16653 16656 8919 0 -1 1077944320 6504 0 0 0 9 2 0 0 20 0 15 0 53245522 15371935744 18348 33554432000 4194304 4196468 140734462869024 140734462851568 140514055794423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
/proc/16656/statm: 3752914 18348 2780 1 0 3715374 0
[pid=16656/tid=16658] ppid=16653 vsize=15011656 memory=-6799202250962287440 CPUtime=0.08 cores=0,2,4,6
/proc/16656/task/16658/stat : 16658 (java) R 16653 16656 8919 0 -1 4202560 4679 0 0 0 7 1 0 0 20 0 15 0 53245523 15371935744 18414 33554432000 4194304 4196468 140734462869024 140514027620752 140514036070144 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16659] ppid=16653 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16659/stat : 16659 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15371935744 18414 33554432000 4194304 4196468 140734462869024 140514060037264 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16660] ppid=16653 vsize=15011656 memory=140559931913856 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16660/stat : 16660 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15371935744 18414 33554432000 4194304 4196468 140734462869024 140513516055568 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16661] ppid=16653 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16661/stat : 16661 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15371935744 18414 33554432000 4194304 4196468 140734462869024 140513515002768 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16662] ppid=16653 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16662/stat : 16662 (java) S 16653 16656 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53245524 15371935744 18414 33554432000 4194304 4196468 140734462869024 140513513949968 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16663] ppid=16653 vsize=15011656 memory=140559931913856 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16663/stat : 16663 (java) S 16653 16656 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53245526 15371935744 18414 33554432000 4194304 4196468 140734462869024 140513396062576 140514055805570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16664] ppid=16653 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16664/stat : 16664 (java) S 16653 16656 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53245526 15371935744 18480 33554432000 4194304 4196468 140734462869024 140512640099360 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16665] ppid=16653 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16665/stat : 16665 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245527 15371935744 18480 33554432000 4194304 4196468 140734462869024 140512405218160 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16666] ppid=16653 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16666/stat : 16666 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53245529 15371935744 18480 33554432000 4194304 4196468 140734462869024 140512030709584 140514055813019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16667] ppid=16653 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16667/stat : 16667 (java) S 16653 16656 8919 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 53245529 15371935744 18480 33554432000 4194304 4196468 140734462869024 140513395010416 140514055805570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16668] ppid=16653 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16668/stat : 16668 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53245529 15371935744 18480 33554432000 4194304 4196468 140734462869024 140513393957616 140514055805570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16669] ppid=16653 vsize=15011656 memory=140559931913856 CPUtime=0.01 cores=0,2,4,6
/proc/16656/task/16669/stat : 16669 (java) S 16653 16656 8919 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 53245529 15371935744 18480 33554432000 4194304 4196468 140734462869024 140513392904816 140514055805570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16670] ppid=16653 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16670/stat : 16670 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53245529 15371935744 18480 33554432000 4194304 4196468 140734462869024 140511532804832 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16671] ppid=16653 vsize=15011656 memory=140559931913856 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16671/stat : 16671 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245530 15371935744 18480 33554432000 4194304 4196468 140734462869024 140513391852208 140514055805570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73392 KiB
[startup+0.210469 s]*
/proc/loadavg: 2.00 2.08 2.08 3/220 16671
/proc/meminfo: memFree=16351264/32770624 swapFree=67108860/67108860
[pid=16656] ppid=16653 vsize=15011656 memory=86484 CPUtime=0.26 cores=0,2,4,6
/proc/16656/stat : 16656 (java) S 16653 16656 8919 0 -1 1077944320 10036 0 0 0 23 3 0 0 20 0 15 0 53245522 15371935744 21621 33554432000 4194304 4196468 140734462869024 140734462851568 140514055794423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
/proc/16656/statm: 3752914 21621 2881 1 0 3715374 0
[pid=16656/tid=16658] ppid=16653 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/16656/task/16658/stat : 16658 (java) R 16653 16656 8919 0 -1 4202560 7942 0 0 0 17 2 0 0 20 0 15 0 53245523 15371935744 21621 33554432000 4194304 4196468 140734462869024 140514027620816 140514034872065 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16659] ppid=16653 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16659/stat : 16659 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15371935744 21621 33554432000 4194304 4196468 140734462869024 140514060037264 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16660] ppid=16653 vsize=15011656 memory=288370936083625600 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16660/stat : 16660 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15371935744 21621 33554432000 4194304 4196468 140734462869024 140513516055568 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16661] ppid=16653 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16661/stat : 16661 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15371935744 21621 33554432000 4194304 4196468 140734462869024 140513515002768 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16662] ppid=16653 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16662/stat : 16662 (java) S 16653 16656 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53245524 15371935744 21621 33554432000 4194304 4196468 140734462869024 140513513949968 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16663] ppid=16653 vsize=15011656 memory=140559931913856 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16663/stat : 16663 (java) S 16653 16656 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53245526 15371935744 21621 33554432000 4194304 4196468 140734462869024 140513396062576 140514055805570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16664] ppid=16653 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16664/stat : 16664 (java) S 16653 16656 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53245526 15371935744 21621 33554432000 4194304 4196468 140734462869024 140512640099360 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16665] ppid=16653 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16665/stat : 16665 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245527 15371935744 21621 33554432000 4194304 4196468 140734462869024 140512405218160 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16666] ppid=16653 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16666/stat : 16666 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53245529 15371935744 21621 33554432000 4194304 4196468 140734462869024 140512030709584 140514055813019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16667] ppid=16653 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16656/task/16667/stat : 16667 (java) S 16653 16656 8919 0 -1 1077944384 430 0 0 0 1 0 0 0 20 0 15 0 53245529 15371935744 21621 33554432000 4194304 4196468 140734462869024 140513395010416 140514055805570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16668] ppid=16653 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16668/stat : 16668 (java) S 16653 16656 8919 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 53245529 15371935744 21621 33554432000 4194304 4196468 140734462869024 140513393957616 140514055805570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16669] ppid=16653 vsize=15011656 memory=140559931913856 CPUtime=0.03 cores=0,2,4,6
/proc/16656/task/16669/stat : 16669 (java) R 16653 16656 8919 0 -1 4202560 286 0 0 0 3 0 0 0 20 0 15 0 53245529 15371935744 21621 33554432000 4194304 4196468 140734462869024 140513392904816 140514034473273 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16670] ppid=16653 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16670/stat : 16670 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53245529 15371935744 21621 33554432000 4194304 4196468 140734462869024 140511532804832 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16671] ppid=16653 vsize=15011656 memory=140559931913856 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16671/stat : 16671 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245530 15371935744 21621 33554432000 4194304 4196468 140734462869024 140513391852208 140514055805570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86484 KiB
[startup+0.310463 s]*
/proc/loadavg: 2.00 2.08 2.08 3/220 16671
/proc/meminfo: memFree=16347976/32770624 swapFree=67108860/67108860
[pid=16656] ppid=16653 vsize=15011656 memory=89960 CPUtime=0.43 cores=0,2,4,6
/proc/16656/stat : 16656 (java) S 16653 16656 8919 0 -1 1077944320 10557 0 0 0 40 3 0 0 20 0 15 0 53245522 15371935744 22490 33554432000 4194304 4196468 140734462869024 140734462851568 140514055794423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
/proc/16656/statm: 3752914 22490 2975 1 0 3715374 0
[pid=16656/tid=16658] ppid=16653 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/16656/task/16658/stat : 16658 (java) R 16653 16656 8919 0 -1 4202560 8310 0 0 0 27 3 0 0 20 0 15 0 53245523 15371935744 22490 33554432000 4194304 4196468 140734462869024 140514027598352 140514055816349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16659] ppid=16653 vsize=15011656 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16659/stat : 16659 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15371935744 22490 33554432000 4194304 4196468 140734462869024 140514060037264 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16660] ppid=16653 vsize=15011656 memory=288370936083625600 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16660/stat : 16660 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15371935744 22490 33554432000 4194304 4196468 140734462869024 140513516055568 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16661] ppid=16653 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16661/stat : 16661 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15371935744 22490 33554432000 4194304 4196468 140734462869024 140513515002768 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16662] ppid=16653 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16662/stat : 16662 (java) S 16653 16656 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53245524 15371935744 22490 33554432000 4194304 4196468 140734462869024 140513513949968 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16663] ppid=16653 vsize=15011656 memory=140559931913856 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16663/stat : 16663 (java) S 16653 16656 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53245526 15371935744 22490 33554432000 4194304 4196468 140734462869024 140513396062576 140514055805570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16664] ppid=16653 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16664/stat : 16664 (java) S 16653 16656 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53245526 15371935744 22490 33554432000 4194304 4196468 140734462869024 140512640099360 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16665] ppid=16653 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16665/stat : 16665 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245527 15371935744 22490 33554432000 4194304 4196468 140734462869024 140512405218160 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16666] ppid=16653 vsize=15011656 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16666/stat : 16666 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53245529 15371935744 22490 33554432000 4194304 4196468 140734462869024 140512030709584 140514055813019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16667] ppid=16653 vsize=15011656 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16656/task/16667/stat : 16667 (java) R 16653 16656 8919 0 -1 4202560 457 0 0 0 1 0 0 0 20 0 15 0 53245529 15371935744 22490 33554432000 4194304 4196468 140734462869024 140513395010416 140514048031550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16668] ppid=16653 vsize=15011656 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/16656/task/16668/stat : 16668 (java) S 16653 16656 8919 0 -1 1077944384 153 0 0 0 3 0 0 0 20 0 15 0 53245529 15371935744 22490 33554432000 4194304 4196468 140734462869024 140513393957616 140514055805570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16669] ppid=16653 vsize=15011656 memory=140559931913856 CPUtime=0.07 cores=0,2,4,6
/proc/16656/task/16669/stat : 16669 (java) S 16653 16656 8919 0 -1 1077944384 307 0 0 0 7 0 0 0 20 0 15 0 53245529 15371935744 22490 33554432000 4194304 4196468 140734462869024 140513392904816 140514055805570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16670] ppid=16653 vsize=15011656 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16670/stat : 16670 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53245529 15371935744 22490 33554432000 4194304 4196468 140734462869024 140511532804832 140514055804629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16671] ppid=16653 vsize=15011656 memory=140559931913856 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16671/stat : 16671 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245530 15371935744 22490 33554432000 4194304 4196468 140734462869024 140513391852208 140514055805570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89960 KiB
[startup+0.701919 s]
/proc/loadavg: 2.00 2.08 2.08 3/220 16671
/proc/meminfo: memFree=16323036/32770624 swapFree=67108860/67108860
[pid=16656] ppid=16653 vsize=15017928 memory=126636 CPUtime=1.01 cores=0,2,4,6
/proc/16656/stat : 16656 (java) S 16653 16656 8919 0 -1 1077944320 17371 0 0 0 94 7 0 0 20 0 15 0 53245522 15378358272 31659 33554432000 4194304 4196468 140734462869024 140734462851568 140514055794423 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
/proc/16656/statm: 3754482 31659 3131 1 0 3715886 0
[pid=16656/tid=16658] ppid=16653 vsize=15017928 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/16656/task/16658/stat : 16658 (java) R 16653 16656 8919 0 -1 4202560 14753 0 0 0 62 5 0 0 20 0 15 0 53245523 15378358272 31659 33554432000 4194304 4196468 140734462869024 140514027632448 140513558556167 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16659] ppid=16653 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16659/stat : 16659 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15378358272 31659 33554432000 4194304 4196468 140734462869024 140514060037264 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16660] ppid=16653 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16660/stat : 16660 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15378358272 31659 33554432000 4194304 4196468 140734462869024 140513516055568 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16661] ppid=16653 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16661/stat : 16661 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15378358272 31659 33554432000 4194304 4196468 140734462869024 140513515002768 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16662] ppid=16653 vsize=15017928 memory=212126824158326 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16662/stat : 16662 (java) S 16653 16656 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53245524 15378358272 31659 33554432000 4194304 4196468 140734462869024 140513513949968 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16663] ppid=16653 vsize=15017928 memory=287128 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16663/stat : 16663 (java) S 16653 16656 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53245526 15378358272 31659 33554432000 4194304 4196468 140734462869024 140513396062576 140514055805570 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16664] ppid=16653 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16664/stat : 16664 (java) S 16653 16656 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53245526 15378358272 31659 33554432000 4194304 4196468 140734462869024 140512640099360 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16665] ppid=16653 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16665/stat : 16665 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245527 15378358272 31659 33554432000 4194304 4196468 140734462869024 140512405218160 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16666] ppid=16653 vsize=15017928 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16666/stat : 16666 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53245529 15378358272 31659 33554432000 4194304 4196468 140734462869024 140512030709584 140514055813019 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16667] ppid=16653 vsize=15017928 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/16656/task/16667/stat : 16667 (java) R 16653 16656 8919 0 -1 4202560 504 0 0 0 5 0 0 0 20 0 15 0 53245529 15378358272 31659 33554432000 4194304 4196468 140734462869024 140513395001744 140514040903989 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16668] ppid=16653 vsize=15017928 memory=-3472574513799858009 CPUtime=0.09 cores=0,2,4,6
/proc/16656/task/16668/stat : 16668 (java) R 16653 16656 8919 0 -1 4202560 364 0 0 0 9 0 0 0 20 0 15 0 53245529 15378358272 31659 33554432000 4194304 4196468 140734462869024 140513393947408 140514037357979 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16669] ppid=16653 vsize=15017928 memory=6944656592387989600 CPUtime=0.17 cores=0,2,4,6
/proc/16656/task/16669/stat : 16669 (java) R 16653 16656 8919 0 -1 1077944384 410 0 0 0 17 0 0 0 20 0 15 0 53245529 15378358272 31659 33554432000 4194304 4196468 140734462869024 140513392900544 140514055804629 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16670] ppid=16653 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16670/stat : 16670 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53245529 15378358272 31659 33554432000 4194304 4196468 140734462869024 140511532804832 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16671] ppid=16653 vsize=15017928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16671/stat : 16671 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245530 15378358272 31659 33554432000 4194304 4196468 140734462869024 140513391852208 140514055805570 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 126636 KiB
[startup+1.50067 s]
/proc/loadavg: 2.00 2.08 2.08 5/220 16671
/proc/meminfo: memFree=16262636/32770624 swapFree=67108860/67108860
[pid=16656] ppid=16653 vsize=15022100 memory=228068 CPUtime=3.46 cores=0,2,4,6
/proc/16656/stat : 16656 (java) S 16653 16656 8919 0 -1 1077944320 20748 0 0 0 337 9 0 0 20 0 15 0 53245522 15382630400 57017 33554432000 4194304 4196468 140734462869024 140734462851568 140514055794423 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
/proc/16656/statm: 3755525 57017 3202 1 0 3716910 0
[pid=16656/tid=16658] ppid=16653 vsize=15022100 memory=127 CPUtime=1.47 cores=0,2,4,6
/proc/16656/task/16658/stat : 16658 (java) R 16653 16656 8919 0 -1 4202560 15627 0 0 0 140 7 0 0 20 0 15 0 53245523 15382630400 57017 33554432000 4194304 4196468 140734462869024 140514027627592 140513562817828 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16659] ppid=16653 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16659/stat : 16659 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15382630400 57017 33554432000 4194304 4196468 140734462869024 140514060037264 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16660] ppid=16653 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16660/stat : 16660 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15382630400 57017 33554432000 4194304 4196468 140734462869024 140513516055568 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16661] ppid=16653 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16661/stat : 16661 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15382630400 57017 33554432000 4194304 4196468 140734462869024 140513515002768 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16662] ppid=16653 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16662/stat : 16662 (java) S 16653 16656 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53245524 15382630400 57017 33554432000 4194304 4196468 140734462869024 140513513949968 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16663] ppid=16653 vsize=15022100 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16663/stat : 16663 (java) S 16653 16656 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53245526 15382630400 57017 33554432000 4194304 4196468 140734462869024 140513396062576 140514055805570 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
################
# More data... #
################
[startup+3.1105 s]
/proc/loadavg: 2.08 2.10 2.08 5/220 16671
/proc/meminfo: memFree=15949188/32770624 swapFree=67108860/67108860
[pid=16656] ppid=16653 vsize=15024148 memory=507340 CPUtime=8.52 cores=0,2,4,6
/proc/16656/stat : 16656 (java) S 16653 16656 8919 0 -1 1077944320 26384 0 0 0 837 15 0 0 20 0 15 0 53245522 15384727552 126835 33554432000 4194304 4196468 140734462869024 140734462851568 140514055794423 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
/proc/16656/statm: 3756037 126835 3214 1 0 3717422 0
[pid=16656/tid=16658] ppid=16653 vsize=15024148 memory=465296 CPUtime=3.06 cores=0,2,4,6
/proc/16656/task/16658/stat : 16658 (java) R 16653 16656 8919 0 -1 4202560 16402 0 0 0 295 11 0 0 20 0 15 0 53245523 15384727552 126835 33554432000 4194304 4196468 140734462869024 140514027624416 140513563710919 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16659] ppid=16653 vsize=15024148 memory=317304 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16659/stat : 16659 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15384727552 126835 33554432000 4194304 4196468 140734462869024 140514060037264 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16660] ppid=16653 vsize=15024148 memory=-7452431979323206951 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16660/stat : 16660 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15384727552 126835 33554432000 4194304 4196468 140734462869024 140513516055568 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16661] ppid=16653 vsize=15024148 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16661/stat : 16661 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15384727552 126835 33554432000 4194304 4196468 140734462869024 140513515002768 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16662] ppid=16653 vsize=15024148 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16662/stat : 16662 (java) S 16653 16656 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53245524 15384727552 126835 33554432000 4194304 4196468 140734462869024 140513513949968 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16663] ppid=16653 vsize=15024148 memory=282048 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16663/stat : 16663 (java) S 16653 16656 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53245526 15384727552 126835 33554432000 4194304 4196468 140734462869024 140513396062576 140514055805570 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16664] ppid=16653 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16664/stat : 16664 (java) S 16653 16656 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53245526 15384727552 126835 33554432000 4194304 4196468 140734462869024 140512640099360 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16665] ppid=16653 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16665/stat : 16665 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245527 15384727552 126835 33554432000 4194304 4196468 140734462869024 140512405218160 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16666] ppid=16653 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16666/stat : 16666 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53245529 15384727552 126835 33554432000 4194304 4196468 140734462869024 140512030709584 140514055813019 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16667] ppid=16653 vsize=15024148 memory=281119568185440 CPUtime=2.13 cores=0,2,4,6
/proc/16656/task/16667/stat : 16667 (java) R 16653 16656 8919 0 -1 4202560 2849 0 0 0 213 0 0 0 20 0 15 0 53245529 15384727552 126835 33554432000 4194304 4196468 140734462869024 140513394987776 140514039700428 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16668] ppid=16653 vsize=15024148 memory=281119568226864 CPUtime=2.12 cores=0,2,4,6
/proc/16656/task/16668/stat : 16668 (java) R 16653 16656 8919 0 -1 4202560 2241 0 0 0 212 0 0 0 20 0 15 0 53245529 15384727552 126835 33554432000 4194304 4196468 140734462869024 140513393937824 140514037337779 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16669] ppid=16653 vsize=15024148 memory=288230574492221466 CPUtime=1.18 cores=0,2,4,6
/proc/16656/task/16669/stat : 16669 (java) S 16653 16656 8919 0 -1 1077944384 3555 0 0 0 116 2 0 0 20 0 15 0 53245529 15384727552 126835 33554432000 4194304 4196468 140734462869024 140513392904816 140514055805570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16670] ppid=16653 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16670/stat : 16670 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53245529 15384727552 126835 33554432000 4194304 4196468 140734462869024 140511532804832 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16671] ppid=16653 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16671/stat : 16671 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245530 15384727552 126835 33554432000 4194304 4196468 140734462869024 140513391852208 140514055805570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
Current children cumulated CPU time: 8.52 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 507340 KiB
[startup+4.49129 s]
# the end of solver process 16656 was just reported to runsolver
# cumulated CPU time of all completed processes: user=12.4615 s, system=0.24641 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20193 s]
/proc/loadavg: 2.08 2.10 2.08 5/220 16671
/proc/meminfo: memFree=15949188/32770624 swapFree=67108860/67108860
[pid=16656] ppid=16653 vsize=15024148 memory=527684 CPUtime=8.8 cores=0,2,4,6
/proc/16656/stat : 16656 (java) S 16653 16656 8919 0 -1 1077944320 26861 0 0 0 865 15 0 0 20 0 15 0 53245522 15384727552 131921 33554432000 4194304 4196468 140734462869024 140734462851568 140514055794423 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
/proc/16656/statm: 3756037 131921 3214 1 0 3717422 0
[pid=16656/tid=16658] ppid=16653 vsize=15024148 memory=0 CPUtime=3.16 cores=0,2,4,6
/proc/16656/task/16658/stat : 16658 (java) R 16653 16656 8919 0 -1 4202560 16411 0 0 0 304 12 0 0 20 0 15 0 53245523 15384727552 131921 33554432000 4194304 4196468 140734462869024 140514027624416 140513567903741 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16659] ppid=16653 vsize=15024148 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16659/stat : 16659 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15384727552 131921 33554432000 4194304 4196468 140734462869024 140514060037264 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16660] ppid=16653 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16660/stat : 16660 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15384727552 131921 33554432000 4194304 4196468 140734462869024 140513516055568 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16661] ppid=16653 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16661/stat : 16661 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15384727552 131921 33554432000 4194304 4196468 140734462869024 140513515002768 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16662] ppid=16653 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16662/stat : 16662 (java) S 16653 16656 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53245524 15384727552 131921 33554432000 4194304 4196468 140734462869024 140513513949968 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16663] ppid=16653 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16663/stat : 16663 (java) S 16653 16656 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53245526 15384727552 131921 33554432000 4194304 4196468 140734462869024 140513396062576 140514055805570 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16664] ppid=16653 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16664/stat : 16664 (java) S 16653 16656 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53245526 15384727552 131921 33554432000 4194304 4196468 140734462869024 140512640099360 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16665] ppid=16653 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16665/stat : 16665 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245527 15384727552 131921 33554432000 4194304 4196468 140734462869024 140512405218160 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16666] ppid=16653 vsize=15024148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16666/stat : 16666 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53245529 15384727552 131921 33554432000 4194304 4196468 140734462869024 140512030709584 140514055813019 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16667] ppid=16653 vsize=15024148 memory=0 CPUtime=2.22 cores=0,2,4,6
/proc/16656/task/16667/stat : 16667 (java) R 16653 16656 8919 0 -1 4202560 3304 0 0 0 222 0 0 0 20 0 15 0 53245529 15384727552 131921 33554432000 4194304 4196468 140734462869024 140513394987776 140514035050794 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16668] ppid=16653 vsize=15024148 memory=4140 CPUtime=2.21 cores=0,2,4,6
/proc/16656/task/16668/stat : 16668 (java) R 16653 16656 8919 0 -1 4202560 2248 0 0 0 221 0 0 0 20 0 15 0 53245529 15384727552 131921 33554432000 4194304 4196468 140734462869024 140513393946048 140514034965469 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16669] ppid=16653 vsize=15024148 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/16656/task/16669/stat : 16669 (java) R 16653 16656 8919 0 -1 1077944384 3558 0 0 0 116 2 0 0 20 0 15 0 53245529 15384727552 131921 33554432000 4194304 4196468 140734462869024 140513392904816 140514055805570 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16670] ppid=16653 vsize=15024148 memory=148 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16670/stat : 16670 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53245529 15384727552 131921 33554432000 4194304 4196468 140734462869024 140511532804832 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16671] ppid=16653 vsize=15024148 memory=303711745523056951 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16671/stat : 16671 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245530 15384727552 131921 33554432000 4194304 4196468 140734462869024 140513391852208 140514055805570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
Current children cumulated CPU time: 8.8 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 527684 KiB
[startup+4.00069 s]*
/proc/loadavg: 2.08 2.10 2.08 5/220 16671
/proc/meminfo: memFree=15702008/32770624 swapFree=67108860/67108860
[pid=16656] ppid=16653 vsize=15026264 memory=739164 CPUtime=11.32 cores=0,2,4,6
/proc/16656/stat : 16656 (java) S 16653 16656 8919 0 -1 1077944320 29144 0 0 0 1112 20 0 0 20 0 15 0 53245522 15386894336 184791 33554432000 4194304 4196468 140734462869024 140734462851568 140514055794423 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
/proc/16656/statm: 3756566 184791 3226 1 0 3717422 0
[pid=16656/tid=16658] ppid=16653 vsize=15026264 memory=288355116380323867 CPUtime=3.97 cores=0,2,4,6
/proc/16656/task/16658/stat : 16658 (java) R 16653 16656 8919 0 -1 4202560 16952 0 0 0 381 16 0 0 20 0 15 0 53245523 15386894336 184791 33554432000 4194304 4196468 140734462869024 140514027628448 140513569973361 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16659] ppid=16653 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16659/stat : 16659 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15386894336 184791 33554432000 4194304 4196468 140734462869024 140514060037264 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16660] ppid=16653 vsize=15026264 memory=140559932204735 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16660/stat : 16660 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15386894336 184791 33554432000 4194304 4196468 140734462869024 140513516055568 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16661] ppid=16653 vsize=15026264 memory=7884790741381503330 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16661/stat : 16661 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245524 15386894336 184791 33554432000 4194304 4196468 140734462869024 140513515002768 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16662] ppid=16653 vsize=15026264 memory=7162531440177276259 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16662/stat : 16662 (java) S 16653 16656 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53245524 15386894336 184791 33554432000 4194304 4196468 140734462869024 140513513949968 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16663] ppid=16653 vsize=15026264 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16663/stat : 16663 (java) S 16653 16656 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53245526 15386894336 184791 33554432000 4194304 4196468 140734462869024 140513396062576 140514055805570 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16664] ppid=16653 vsize=15026264 memory=3905804192784069431 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16664/stat : 16664 (java) S 16653 16656 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53245526 15386894336 184791 33554432000 4194304 4196468 140734462869024 140512640099360 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16665] ppid=16653 vsize=15026264 memory=4638778406922702160 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16665/stat : 16665 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245527 15386894336 184791 33554432000 4194304 4196468 140734462869024 140512405218160 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16666] ppid=16653 vsize=15026264 memory=161 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16666/stat : 16666 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53245529 15386894336 184791 33554432000 4194304 4196468 140734462869024 140512030709584 140514055813019 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16667] ppid=16653 vsize=15026264 memory=0 CPUtime=2.99 cores=0,2,4,6
/proc/16656/task/16667/stat : 16667 (java) R 16653 16656 8919 0 -1 4202560 4548 0 0 0 299 0 0 0 20 0 15 0 53245529 15386894336 184791 33554432000 4194304 4196468 140734462869024 140513394997792 140514037338641 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16668] ppid=16653 vsize=15026264 memory=3184097920075968559 CPUtime=2.98 cores=0,2,4,6
/proc/16656/task/16668/stat : 16668 (java) R 16653 16656 8919 0 -1 4202560 2492 0 0 0 298 0 0 0 20 0 15 0 53245529 15386894336 184791 33554432000 4194304 4196468 140734462869024 140513393944464 140514040219367 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16669] ppid=16653 vsize=15026264 memory=3471342956252751536 CPUtime=1.35 cores=0,2,4,6
/proc/16656/task/16669/stat : 16669 (java) R 16653 16656 8919 0 -1 1077944384 3812 0 0 0 133 2 0 0 20 0 15 0 53245529 15386894336 184791 33554432000 4194304 4196468 140734462869024 140513392904816 140514055805570 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16670] ppid=16653 vsize=15026264 memory=3472328296227418159 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16670/stat : 16670 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53245529 15386894336 184791 33554432000 4194304 4196468 140734462869024 140511532804832 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16671] ppid=16653 vsize=15026264 memory=3471342956252751536 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16671/stat : 16671 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53245530 15386894336 184791 33554432000 4194304 4196468 140734462869024 140513391852208 140514055805570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
Current children cumulated CPU time: 11.32 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 739164 KiB
[startup+4.40069 s]
/proc/loadavg: 2.08 2.10 2.08 5/220 16671
/proc/meminfo: memFree=15702008/32770624 swapFree=67108860/67108860
[pid=16656] ppid=16653 vsize=15683912 memory=849752 CPUtime=12.37 cores=0,2,4,6
/proc/16656/stat : 16656 (java) S 16653 16656 8919 0 -1 1077944320 30083 0 0 0 1215 22 0 0 20 0 19 0 53245522 16060325888 212438 33554432000 4194304 4196468 140734462869024 140734462851568 140514055794423 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
/proc/16656/statm: 3920978 212438 3234 1 0 3881834 0
[pid=16656/tid=16658] ppid=16653 vsize=15683912 memory=16105853321218399 CPUtime=4.22 cores=0,2,4,6
/proc/16656/task/16658/stat : 16658 (java) S 16653 16656 8919 0 -1 1077944384 17377 0 0 0 404 18 0 0 20 0 19 0 53245523 16060325888 212438 33554432000 4194304 4196468 140734462869024 140514027633664 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16659] ppid=16653 vsize=15683912 memory=7232890293113415765 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16659/stat : 16659 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53245524 16060325888 212438 33554432000 4194304 4196468 140734462869024 140514060037264 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16660] ppid=16653 vsize=15683912 memory=4639930699739322728 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16660/stat : 16660 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53245524 16060325888 212438 33554432000 4194304 4196468 140734462869024 140513516055568 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16661] ppid=16653 vsize=15683912 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16661/stat : 16661 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53245524 16060325888 212438 33554432000 4194304 4196468 140734462869024 140513515002768 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16662] ppid=16653 vsize=15683912 memory=694488 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16662/stat : 16662 (java) S 16653 16656 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53245524 16060325888 212438 33554432000 4194304 4196468 140734462869024 140513513949968 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16663] ppid=16653 vsize=15683912 memory=658500 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16663/stat : 16663 (java) S 16653 16656 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 53245526 16060325888 212438 33554432000 4194304 4196468 140734462869024 140513396062576 140514055805570 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16664] ppid=16653 vsize=15683912 memory=7900611722800716256 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16664/stat : 16664 (java) S 16653 16656 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53245526 16060325888 212438 33554432000 4194304 4196468 140734462869024 140512640099360 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16665] ppid=16653 vsize=15683912 memory=9122745479247552727 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16665/stat : 16665 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53245527 16060325888 212438 33554432000 4194304 4196468 140734462869024 140512405218160 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16666] ppid=16653 vsize=15683912 memory=-9174445032661854264 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16666/stat : 16666 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53245529 16060325888 212438 33554432000 4194304 4196468 140734462869024 140512030709584 140514055813019 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16667] ppid=16653 vsize=15683912 memory=-3253322038155611931 CPUtime=3.35 cores=0,2,4,6
/proc/16656/task/16667/stat : 16667 (java) S 16653 16656 8919 0 -1 1077944384 4766 0 0 0 335 0 0 0 20 0 19 0 53245529 16060325888 212438 33554432000 4194304 4196468 140734462869024 140513395010416 140514055805570 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16668] ppid=16653 vsize=15683912 memory=6655300316396806240 CPUtime=3.36 cores=0,2,4,6
/proc/16656/task/16668/stat : 16668 (java) S 16653 16656 8919 0 -1 1077944384 2699 0 0 0 336 0 0 0 20 0 19 0 53245529 16060325888 212438 33554432000 4194304 4196468 140734462869024 140513393957616 140514055805570 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16669] ppid=16653 vsize=15683912 memory=6943526294502006880 CPUtime=1.39 cores=0,2,4,6
/proc/16656/task/16669/stat : 16669 (java) S 16653 16656 8919 0 -1 1077944384 3847 0 0 0 137 2 0 0 20 0 19 0 53245529 16060325888 212438 33554432000 4194304 4196468 140734462869024 140513392904816 140514055805570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16670] ppid=16653 vsize=15683912 memory=-2892745056948731249 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16670/stat : 16670 (java) S 16653 16656 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53245529 16060325888 212438 33554432000 4194304 4196468 140734462869024 140511532804832 140514055804629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
[pid=16656/tid=16671] ppid=16653 vsize=15683912 memory=8171313558828896344 CPUtime=0 cores=0,2,4,6
/proc/16656/task/16671/stat : 16671 (java) S 16653 16656 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53245530 16060325888 212438 33554432000 4194304 4196468 140734462869024 140513391852208 140514055805570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140734462870516 140734462870793 140734462870793 140734462873551 0
Current children cumulated CPU time: 12.37 s
Current children cumulated vsize: 15683912 KiB
Current children cumulated memory: 849752 KiB
Child status: 0
Real time (s): 4.49134
CPU time (s): 12.7079
CPU user time (s): 12.4615
CPU system time (s): 0.24641
CPU usage (%): 282.942
Max. virtual memory (cumulated for all children) (KiB): 15683912
Max. memory (cumulated for all children) (KiB): 849752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4615
system time used= 0.24641
maximum resident set size= 852680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32906
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4383
involuntary context switches= 60
# summary of solver processes directly reported to runsolver:
# pid: 16656
# total CPU time (s): 12.7079
# total CPU user time (s): 12.4615
# total CPU system time (s): 0.24641
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045924 second user time and 0.097188 second system time
The end