0.66/0.52
0.66/0.52 scop both+minisat_release (2018-06-13)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Jul 23 17:28:25 CEST 2018
0.66/0.55 c PID: 17247
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.55 c (0,0) Parsing Begin
4.60/1.84 c (1,1) Parsing End
4.60/1.84 c (1,1) CSP: 150 int (0 aux), 0 bool (0 aux), 4508 ctr, max domain size 5
4.60/1.84 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.60/1.85 c (1,1) Constraint Name Generate Begin
4.60/1.88 c (1,1) Ctr:HOME/instance-4294441-1532359704.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
4.60/1.88 c (1,1) Constraint Name Generate End
4.60/1.88 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
4.60/1.88 c (1,1) CSP to CSPinCNF Begin
5.14/2.09 c (1,1) translated 451 (10%) constraints
5.43/2.15 c (1,1) translated 902 (20%) constraints
5.43/2.19 c (1,1) translated 1353 (30%) constraints
5.70/2.22 c (1,1) translated 1804 (40%) constraints
5.70/2.25 c (1,1) translated 2254 (50%) constraints
5.70/2.28 c (1,1) translated 2705 (60%) constraints
5.99/2.31 c (1,1) translated 3156 (70%) constraints
5.99/2.33 c (1,1) translated 3607 (80%) constraints
5.99/2.35 c (1,1) translated 4058 (90%) constraints
7.38/2.72 c (2,2) translated 4508 (100%) constraints
8.31/3.10 c (2,2) STATISTICS1:HOME/instance-4294441-1532359704.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1111,6535,16777216,5,4,25,16777216:60;5:7912;1:1597,5:17123;2:2883;1:3420,4:4711;3:779;2:961;1:84,25:60;2:9509;1:4433,
8.31/3.10 c (2,2) ===========================================
8.31/3.10 c (2,2) Both Encoding selects:
8.31/3.10 c (2,2) Order
8.31/3.10 c (2,2) ===========================================
8.62/3.18 c (2,2) translated 654 (10%) constraints
8.99/3.23 c (2,2) translated 1307 (20%) constraints
8.99/3.28 c (2,2) translated 1961 (30%) constraints
9.20/3.36 c (2,2) translated 2614 (40%) constraints
9.20/3.37 c (2,2) translated 3268 (50%) constraints
9.43/3.41 c (2,2) translated 3921 (60%) constraints
9.43/3.49 c (2,2) translated 4575 (70%) constraints
9.77/3.56 c (3,3) translated 5228 (80%) constraints
10.10/3.63 c (3,3) translated 5882 (90%) constraints
10.10/3.66 c (3,3) translated 6535 (100%) constraints
10.10/3.67 c (3,3) CSP to CSPinCNF End
10.10/3.67 c (3,3) CSP: 240 int (90 aux), 1711 bool (1711 aux), 8270 ctr, max domain size 6
10.10/3.67 c (3,3) Heap : 732 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.10/3.67 c (3,3) CSPinCNF Propagation Begin
10.81/3.83 c (3,3) 345 values, 2618 unsatisfiable literals, and 2143 valid clauses are removed
10.81/3.83 c (3,3) CSPinCNF Propagation End
10.81/3.84 c (3,3) CSP: 510 int (360 aux), 1441 bool (1441 aux), 6127 ctr, max domain size 6
10.81/3.84 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
10.81/3.84 c (3,3) Simplify CSPinCNF Begin
11.41/4.01 c (3,3) Simplify CSPinCNF End
11.41/4.01 c (3,3) CSP: 510 int (360 aux), 4693 bool (4693 aux), 9379 ctr, max domain size 6
11.41/4.01 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
11.41/4.01 c (3,3) Calculate Precise Domain Begin
11.41/4.06 c (3,3) 0 values are removed by re-calculation
11.41/4.06 c (3,3) Calculate Precise Domain End
11.41/4.06 c (3,3) CSP: 510 int (360 aux), 4693 bool (4693 aux), 9379 ctr, max domain size 6
11.41/4.06 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
11.41/4.06 c (3,3) CSPinCNF to SatSolver Begin
11.75/4.19 c (3,3) 938 (10 %) CSP clauses are encoded (5568 SAT variables, 4188 SAT clauses)
12.07/4.23 c (3,3) 1876 (20 %) CSP clauses are encoded (5568 SAT variables, 8054 SAT clauses)
12.07/4.28 c (3,3) 2814 (30 %) CSP clauses are encoded (5568 SAT variables, 11416 SAT clauses)
12.38/4.31 c (3,3) 3752 (40 %) CSP clauses are encoded (5568 SAT variables, 14674 SAT clauses)
12.38/4.34 c (3,3) 4690 (50 %) CSP clauses are encoded (5568 SAT variables, 17364 SAT clauses)
12.38/4.36 c (3,3) 5628 (60 %) CSP clauses are encoded (5568 SAT variables, 18302 SAT clauses)
12.69/4.46 c (3,3) 6566 (70 %) CSP clauses are encoded (5568 SAT variables, 27095 SAT clauses)
13.29/4.63 c (4,4) 7504 (80 %) CSP clauses are encoded (5568 SAT variables, 43743 SAT clauses)
13.60/4.73 c (4,4) 8442 (90 %) CSP clauses are encoded (5568 SAT variables, 60391 SAT clauses)
13.60/4.74 c (4,4) 9379 (100 %) CSP clauses are encoded (5568 SAT variables, 62753 SAT clauses)
13.60/4.74 c (4,4) CSPinCNF to SatSolver End
13.60/4.74 c (4,4) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.91/4.83 c (4,4) STATISTICS2:HOME/instance-4294441-1532359704.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,5203,9379,512,6,4,10,512:50;256:100;36:50;5:3412;1:59,6:300;5:8883;2:20886;1:59,4:3183;3:407;2:5565;1:224,10:50;9:100;3:50;2:3471;1:21636,
13.91/4.83 c (4,4) SatSolver.solve Begin
13.91/4.83 c (4,4) 5568 bool, 62757 clause
13.91/4.84 c (4,4) 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-4294441-1532359704.xml-scop-17247.cnf HOME/instance-4294441-1532359704.xml-scop-17247.cnf.out
14.60/5.09 c (4,0) c This is COMiniSatPS.
14.60/5.09 c (4,0) c WARNING: for repeatability, setting FPU to use double precision
14.60/5.09 c (4,0) c ============================[ Problem Statistics ]=============================
14.60/5.09 c (4,0) c | |
14.60/5.09 c (4,0) c | Number of variables: 5568 |
14.60/5.09 c (4,0) c | Number of clauses: 62757 |
14.60/5.09 c (4,0) c | Parse time: 0.02 s |
14.60/5.09 c (4,0) c | Eliminated clauses: 0.02 Mb |
14.60/5.09 c (4,0) c Reduced to 4443 vars, 60736 cls (grow=0)
14.60/5.09 c (4,0) c No iterative elimination performed. (vars=4443, c/v ratio=13.7)
14.60/5.09 c (4,0) c | Simplification time: 0.12 s |
14.60/5.09 c (4,0) c | |
14.60/5.09 c (4,0) c ============================[ Search Statistics ]==============================
14.60/5.09 c (4,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
14.60/5.09 c (4,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
14.60/5.09 c (4,0) c ===============================================================================
14.60/5.09 c (4,0) c ===============================================================================
14.60/5.09 c (4,0) c restarts : 11
14.60/5.09 c (4,0) c conflicts : 2304 (9701 /sec)
14.60/5.09 c (4,0) c decisions : 5635 (0.00 % random) (23727 /sec)
14.60/5.09 c (4,0) c propagations : 318203 (1339836 /sec)
14.60/5.09 c (4,0) c conflict literals : 59626 (7.00 % deleted)
14.60/5.09 c (4,0) c CPU time : 0.237494 s
14.60/5.09 c (4,0)
14.60/5.09 c (4,0) s SATISFIABLE
14.60/5.10 c (4,4) SatSolver.solve End
14.60/5.10 c (4,4) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
14.60/5.10 c (4,4) Show results Begin
14.77/5.11 c (4,4) x[0][0] = 0
14.77/5.11 c (4,4) x[0][1] = 0
14.77/5.11 c (4,4) x[0][2] = 0
14.77/5.11 c (4,4) x[0][3] = 0
14.77/5.11 c (4,4) x[0][4] = 0
14.77/5.11 c (4,4) x[0][5] = 1
14.77/5.11 c (4,4) x[0][6] = 1
14.77/5.11 c (4,4) x[0][7] = 1
14.77/5.11 c (4,4) x[0][8] = 1
14.77/5.11 c (4,4) x[0][9] = 1
14.77/5.11 c (4,4) x[0][10] = 2
14.77/5.11 c (4,4) x[0][11] = 2
14.77/5.11 c (4,4) x[0][12] = 2
14.77/5.11 c (4,4) x[0][13] = 2
14.77/5.11 c (4,4) x[0][14] = 2
14.77/5.11 c (4,4) x[0][15] = 3
14.77/5.11 c (4,4) x[0][16] = 3
14.77/5.11 c (4,4) x[0][17] = 3
14.77/5.11 c (4,4) x[0][18] = 3
14.77/5.11 c (4,4) x[0][19] = 3
14.77/5.11 c (4,4) x[0][20] = 4
14.77/5.11 c (4,4) x[0][21] = 4
14.77/5.11 c (4,4) x[0][22] = 4
14.77/5.12 c (4,4) x[0][23] = 4
14.77/5.12 c (4,4) x[0][24] = 4
14.77/5.12 c (4,4) x[1][0] = 0
14.77/5.12 c (4,4) x[1][1] = 1
14.77/5.12 c (4,4) x[1][2] = 2
14.77/5.12 c (4,4) x[1][3] = 3
14.77/5.12 c (4,4) x[1][4] = 4
14.77/5.12 c (4,4) x[1][5] = 0
14.77/5.12 c (4,4) x[1][6] = 1
14.77/5.12 c (4,4) x[1][7] = 2
14.77/5.12 c (4,4) x[1][8] = 3
14.77/5.12 c (4,4) x[1][9] = 4
14.77/5.12 c (4,4) x[1][10] = 0
14.77/5.12 c (4,4) x[1][11] = 1
14.77/5.12 c (4,4) x[1][12] = 2
14.77/5.12 c (4,4) x[1][13] = 3
14.77/5.12 c (4,4) x[1][14] = 4
14.77/5.12 c (4,4) x[1][15] = 0
14.77/5.12 c (4,4) x[1][16] = 1
14.77/5.12 c (4,4) x[1][17] = 2
14.77/5.12 c (4,4) x[1][18] = 3
14.77/5.12 c (4,4) x[1][19] = 4
14.77/5.12 c (4,4) x[1][20] = 0
14.77/5.12 c (4,4) x[1][21] = 1
14.77/5.12 c (4,4) x[1][22] = 2
14.77/5.12 c (4,4) x[1][23] = 3
14.77/5.12 c (4,4) x[1][24] = 4
14.77/5.12 c (4,4) x[2][0] = 0
14.77/5.12 c (4,4) x[2][1] = 2
14.77/5.12 c (4,4) x[2][2] = 1
14.77/5.12 c (4,4) x[2][3] = 4
14.77/5.12 c (4,4) x[2][4] = 3
14.77/5.12 c (4,4) x[2][5] = 3
14.77/5.12 c (4,4) x[2][6] = 4
14.77/5.12 c (4,4) x[2][7] = 2
14.77/5.12 c (4,4) x[2][8] = 0
14.77/5.12 c (4,4) x[2][9] = 1
14.77/5.12 c (4,4) x[2][10] = 2
14.77/5.12 c (4,4) x[2][11] = 3
14.77/5.12 c (4,4) x[2][12] = 0
14.77/5.12 c (4,4) x[2][13] = 1
14.77/5.12 c (4,4) x[2][14] = 4
14.77/5.12 c (4,4) x[2][15] = 1
14.77/5.12 c (4,4) x[2][16] = 0
14.77/5.12 c (4,4) x[2][17] = 4
14.77/5.12 c (4,4) x[2][18] = 3
14.77/5.12 c (4,4) x[2][19] = 2
14.77/5.12 c (4,4) x[2][20] = 4
14.77/5.12 c (4,4) x[2][21] = 1
14.77/5.12 c (4,4) x[2][22] = 3
14.77/5.12 c (4,4) x[2][23] = 2
14.77/5.12 c (4,4) x[2][24] = 0
14.77/5.12 c (4,4) x[3][0] = 0
14.77/5.12 c (4,4) x[3][1] = 2
14.77/5.12 c (4,4) x[3][2] = 3
14.77/5.12 c (4,4) x[3][3] = 1
14.77/5.12 c (4,4) x[3][4] = 4
14.77/5.12 c (4,4) x[3][5] = 1
14.77/5.12 c (4,4) x[3][6] = 3
14.77/5.12 c (4,4) x[3][7] = 4
14.77/5.12 c (4,4) x[3][8] = 2
14.77/5.12 c (4,4) x[3][9] = 0
14.77/5.12 c (4,4) x[3][10] = 3
14.77/5.12 c (4,4) x[3][11] = 0
14.77/5.12 c (4,4) x[3][12] = 1
14.77/5.12 c (4,4) x[3][13] = 4
14.77/5.12 c (4,4) x[3][14] = 2
14.77/5.12 c (4,4) x[3][15] = 2
14.77/5.12 c (4,4) x[3][16] = 4
14.77/5.12 c (4,4) x[3][17] = 0
14.77/5.12 c (4,4) x[3][18] = 3
14.77/5.12 c (4,4) x[3][19] = 1
14.77/5.12 c (4,4) x[3][20] = 4
14.77/5.12 c (4,4) x[3][21] = 1
14.77/5.12 c (4,4) x[3][22] = 2
14.77/5.12 c (4,4) x[3][23] = 0
14.77/5.12 c (4,4) x[3][24] = 3
14.77/5.12 c (4,4) x[4][0] = 0
14.77/5.12 c (4,4) x[4][1] = 2
14.77/5.12 c (4,4) x[4][2] = 3
14.77/5.12 c (4,4) x[4][3] = 4
14.77/5.12 c (4,4) x[4][4] = 1
14.77/5.12 c (4,4) x[4][5] = 2
14.77/5.12 c (4,4) x[4][6] = 1
14.77/5.12 c (4,4) x[4][7] = 0
14.77/5.12 c (4,4) x[4][8] = 3
14.77/5.12 c (4,4) x[4][9] = 4
14.77/5.12 c (4,4) x[4][10] = 4
14.77/5.12 c (4,4) x[4][11] = 3
14.77/5.12 c (4,4) x[4][12] = 1
14.77/5.12 c (4,4) x[4][13] = 2
14.77/5.12 c (4,4) x[4][14] = 0
14.77/5.12 c (4,4) x[4][15] = 1
14.77/5.12 c (4,4) x[4][16] = 4
14.77/5.12 c (4,4) x[4][17] = 2
14.77/5.12 c (4,4) x[4][18] = 0
14.77/5.12 c (4,4) x[4][19] = 3
14.77/5.12 c (4,4) x[4][20] = 3
14.77/5.12 c (4,4) x[4][21] = 0
14.77/5.12 c (4,4) x[4][22] = 4
14.77/5.12 c (4,4) x[4][23] = 1
14.77/5.12 c (4,4) x[4][24] = 2
14.77/5.12 c (4,4) x[5][0] = 0
14.77/5.12 c (4,4) x[5][1] = 2
14.77/5.12 c (4,4) x[5][2] = 3
14.77/5.12 c (4,4) x[5][3] = 4
14.77/5.12 c (4,4) x[5][4] = 1
14.77/5.12 c (4,4) x[5][5] = 3
14.77/5.12 c (4,4) x[5][6] = 0
14.77/5.12 c (4,4) x[5][7] = 4
14.77/5.12 c (4,4) x[5][8] = 1
14.77/5.12 c (4,4) x[5][9] = 2
14.77/5.12 c (4,4) x[5][10] = 1
14.77/5.12 c (4,4) x[5][11] = 4
14.77/5.12 c (4,4) x[5][12] = 2
14.77/5.12 c (4,4) x[5][13] = 0
14.77/5.12 c (4,4) x[5][14] = 3
14.77/5.12 c (4,4) x[5][15] = 4
14.77/5.12 c (4,4) x[5][16] = 3
14.77/5.12 c (4,4) x[5][17] = 1
14.77/5.12 c (4,4) x[5][18] = 2
14.77/5.12 c (4,4) x[5][19] = 0
14.77/5.12 c (4,4) x[5][20] = 2
14.77/5.12 c (4,4) x[5][21] = 1
14.77/5.12 c (4,4) x[5][22] = 0
14.77/5.12 c (4,4) x[5][23] = 3
14.77/5.12 c (4,4) x[5][24] = 4
14.77/5.12 s SATISFIABLE
14.77/5.12 v <instantiation>
14.77/5.12 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] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24]</list>
14.77/5.12 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 2 1 4 3 3 4 2 0 1 2 3 0 1 4 1 0 4 3 2 4 1 3 2 0 0 2 3 1 4 1 3 4 2 0 3 0 1 4 2 2 4 0 3 1 4 1 2 0 3 0 2 3 4 1 2 1 0 3 4 4 3 1 2 0 1 4 2 0 3 3 0 4 1 2 0 2 3 4 1 3 0 4 1 2 1 4 2 0 3 4 3 1 2 0 2 1 0 3 4</values>
14.77/5.12 v </instantiation>
14.77/5.12 c (4,4) Show results End
14.77/5.12 c (4,4) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
14.77/5.12 c (4,4) 1,1,3,3,3,3,4,4,4,STOP-AFTER(ALL)
14.77/5.12 c END-Prog: Mon Jul 23 17:28:29 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 (3937 MiB free)
memory of node 1: 16384 MiB (10505 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294441-1532359704/watcher-4294441-1532359704 -o /tmp/evaluation-result-4294441-1532359704/solver-4294441-1532359704 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532330044-8951 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4294441-1532359704.xml
running on 4 cores: 1,3,5,7
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
solver pid=17247, runsolver pid=17244
Current StackSize limit: 8192 KiB
[startup+0.100123 s]*
/proc/loadavg: 2.02 2.06 2.07 3/220 17262
/proc/meminfo: memFree=14729436/32770624 swapFree=67108860/67108860
[pid=17247] ppid=17244 vsize=15011656 memory=72892 CPUtime=0.11 cores=1,3,5,7
/proc/17247/stat : 17247 (java) S 17244 17247 8919 0 -1 1077944320 6918 0 0 0 9 2 0 0 20 0 15 0 53533567 15371935744 18223 33554432000 4194304 4196468 140726708075600 140726708058144 139902215864055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
/proc/17247/statm: 3752914 18223 2780 1 0 3715374 0
[pid=17247/tid=17249] ppid=17244 vsize=15011656 memory=-6871259845000215376 CPUtime=0.08 cores=1,3,5,7
/proc/17247/task/17249/stat : 17249 (java) R 17244 17247 8919 0 -1 4202560 5146 0 0 0 7 1 0 0 20 0 15 0 53533568 15371935744 18355 33554432000 4194304 4196468 140726708075600 139902187676040 139902196139804 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17250] ppid=17244 vsize=15011656 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17250/stat : 17250 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15371935744 18355 33554432000 4194304 4196468 140726708075600 139902220106000 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17251] ppid=17244 vsize=15011656 memory=140402454967936 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17251/stat : 17251 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15371935744 18355 33554432000 4194304 4196468 140726708075600 139902051355024 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17252] ppid=17244 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17252/stat : 17252 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15371935744 18421 33554432000 4194304 4196468 140726708075600 139901675788816 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17253] ppid=17244 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17253/stat : 17253 (java) S 17244 17247 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53533569 15371935744 18421 33554432000 4194304 4196468 140726708075600 139901674736272 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17254] ppid=17244 vsize=15011656 memory=140402454967936 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17254/stat : 17254 (java) S 17244 17247 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53533571 15371935744 18421 33554432000 4194304 4196468 140726708075600 139901556161008 139902215875202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17255] ppid=17244 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17255/stat : 17255 (java) S 17244 17247 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53533571 15371935744 18421 33554432000 4194304 4196468 140726708075600 139900842141088 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17256] ppid=17244 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17256/stat : 17256 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533571 15371935744 18421 33554432000 4194304 4196468 140726708075600 139900573705712 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17257] ppid=17244 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17257/stat : 17257 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53533574 15371935744 18421 33554432000 4194304 4196468 140726708075600 139900199197392 139902215882651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17258] ppid=17244 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17258/stat : 17258 (java) S 17244 17247 8919 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 53533574 15371935744 18421 33554432000 4194304 4196468 140726708075600 139901555107824 139902215875202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17259] ppid=17244 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17259/stat : 17259 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53533574 15371935744 18421 33554432000 4194304 4196468 140726708075600 139901554055280 139902215875202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17260] ppid=17244 vsize=15011656 memory=140402454967936 CPUtime=0.01 cores=1,3,5,7
/proc/17247/task/17260/stat : 17260 (java) S 17244 17247 8919 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 15 0 53533574 15371935744 18421 33554432000 4194304 4196468 140726708075600 139901553002736 139902215875202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17261] ppid=17244 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17261/stat : 17261 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53533574 15371935744 18421 33554432000 4194304 4196468 140726708075600 139899701291616 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17262] ppid=17244 vsize=15011656 memory=140402454967936 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17262/stat : 17262 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533574 15371935744 18421 33554432000 4194304 4196468 140726708075600 139901551950640 139902215875202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 72892 KiB
[startup+0.210455 s]*
/proc/loadavg: 2.02 2.06 2.07 4/220 17262
/proc/meminfo: memFree=14715980/32770624 swapFree=67108860/67108860
[pid=17247] ppid=17244 vsize=15011656 memory=85484 CPUtime=0.26 cores=1,3,5,7
/proc/17247/stat : 17247 (java) S 17244 17247 8919 0 -1 1077944320 10236 0 0 0 23 3 0 0 20 0 15 0 53533567 15371935744 21371 33554432000 4194304 4196468 140726708075600 140726708058144 139902215864055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
/proc/17247/statm: 3752914 21371 2940 1 0 3715374 0
[pid=17247/tid=17249] ppid=17244 vsize=15011656 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/17247/task/17249/stat : 17249 (java) R 17244 17247 8919 0 -1 4202560 8074 0 0 0 17 2 0 0 20 0 15 0 53533568 15371935744 21371 33554432000 4194304 4196468 140726708075600 139902187693600 139902208101182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17250] ppid=17244 vsize=15011656 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17250/stat : 17250 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15371935744 21371 33554432000 4194304 4196468 140726708075600 139902220106000 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17251] ppid=17244 vsize=15011656 memory=288370778606679680 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17251/stat : 17251 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15371935744 21371 33554432000 4194304 4196468 140726708075600 139902051355024 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17252] ppid=17244 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17252/stat : 17252 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15371935744 21371 33554432000 4194304 4196468 140726708075600 139901675788816 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17253] ppid=17244 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17253/stat : 17253 (java) S 17244 17247 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53533569 15371935744 21371 33554432000 4194304 4196468 140726708075600 139901674736272 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17254] ppid=17244 vsize=15011656 memory=140402454967936 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17254/stat : 17254 (java) S 17244 17247 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53533571 15371935744 21371 33554432000 4194304 4196468 140726708075600 139901556161008 139902215875202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17255] ppid=17244 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17255/stat : 17255 (java) S 17244 17247 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53533571 15371935744 21371 33554432000 4194304 4196468 140726708075600 139900842141088 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17256] ppid=17244 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17256/stat : 17256 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533571 15371935744 21371 33554432000 4194304 4196468 140726708075600 139900573705712 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17257] ppid=17244 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17257/stat : 17257 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53533574 15371935744 21371 33554432000 4194304 4196468 140726708075600 139900199197392 139902215882651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17258] ppid=17244 vsize=15011656 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17247/task/17258/stat : 17258 (java) R 17244 17247 8919 0 -1 1077944384 467 0 0 0 1 0 0 0 20 0 15 0 53533574 15371935744 21371 33554432000 4194304 4196468 140726708075600 139901555107920 139902215874261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17259] ppid=17244 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17259/stat : 17259 (java) R 17244 17247 8919 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 15 0 53533574 15371935744 21371 33554432000 4194304 4196468 140726708075600 139901554055280 139902193731872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17260] ppid=17244 vsize=15011656 memory=140402454967936 CPUtime=0.03 cores=1,3,5,7
/proc/17247/task/17260/stat : 17260 (java) S 17244 17247 8919 0 -1 1077944384 339 0 0 0 3 0 0 0 20 0 15 0 53533574 15371935744 21371 33554432000 4194304 4196468 140726708075600 139901553002736 139902215875202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17261] ppid=17244 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17261/stat : 17261 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53533574 15371935744 21371 33554432000 4194304 4196468 140726708075600 139899701291616 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17262] ppid=17244 vsize=15011656 memory=140402454967936 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17262/stat : 17262 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533574 15371935744 21371 33554432000 4194304 4196468 140726708075600 139901551950640 139902215875202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 85484 KiB
[startup+0.310564 s]*
/proc/loadavg: 2.02 2.06 2.07 3/220 17262
/proc/meminfo: memFree=14712320/32770624 swapFree=67108860/67108860
[pid=17247] ppid=17244 vsize=15011656 memory=89000 CPUtime=0.43 cores=1,3,5,7
/proc/17247/stat : 17247 (java) S 17244 17247 8919 0 -1 1077944320 10851 0 0 0 40 3 0 0 20 0 15 0 53533567 15371935744 22250 33554432000 4194304 4196468 140726708075600 140726708058144 139902215864055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
/proc/17247/statm: 3752914 22250 2982 1 0 3715374 0
[pid=17247/tid=17249] ppid=17244 vsize=15011656 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/17247/task/17249/stat : 17249 (java) R 17244 17247 8919 0 -1 4202560 8455 0 0 0 27 3 0 0 20 0 15 0 53533568 15371935744 22250 33554432000 4194304 4196468 140726708075600 139902187691680 139902193088208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17250] ppid=17244 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17250/stat : 17250 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15371935744 22250 33554432000 4194304 4196468 140726708075600 139902220106000 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17251] ppid=17244 vsize=15011656 memory=288370778606679680 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17251/stat : 17251 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15371935744 22250 33554432000 4194304 4196468 140726708075600 139902051355024 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17252] ppid=17244 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17252/stat : 17252 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15371935744 22250 33554432000 4194304 4196468 140726708075600 139901675788816 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17253] ppid=17244 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17253/stat : 17253 (java) S 17244 17247 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53533569 15371935744 22250 33554432000 4194304 4196468 140726708075600 139901674736272 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17254] ppid=17244 vsize=15011656 memory=140402454967936 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17254/stat : 17254 (java) S 17244 17247 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53533571 15371935744 22250 33554432000 4194304 4196468 140726708075600 139901556161008 139902215875202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17255] ppid=17244 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17255/stat : 17255 (java) S 17244 17247 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53533571 15371935744 22250 33554432000 4194304 4196468 140726708075600 139900842141088 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17256] ppid=17244 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17256/stat : 17256 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533571 15371935744 22250 33554432000 4194304 4196468 140726708075600 139900573705712 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17257] ppid=17244 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17257/stat : 17257 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53533574 15371935744 22250 33554432000 4194304 4196468 140726708075600 139900199197392 139902215882651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17258] ppid=17244 vsize=15011656 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/17247/task/17258/stat : 17258 (java) S 17244 17247 8919 0 -1 1077944384 593 0 0 0 4 0 0 0 20 0 15 0 53533574 15371935744 22250 33554432000 4194304 4196468 140726708075600 139901555107824 139902215875202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17259] ppid=17244 vsize=15011656 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/17247/task/17259/stat : 17259 (java) S 17244 17247 8919 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 53533574 15371935744 22250 33554432000 4194304 4196468 140726708075600 139901554055280 139902215875202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17260] ppid=17244 vsize=15011656 memory=140402454967936 CPUtime=0.07 cores=1,3,5,7
/proc/17247/task/17260/stat : 17260 (java) R 17244 17247 8919 0 -1 4202560 438 0 0 0 7 0 0 0 20 0 15 0 53533574 15371935744 22250 33554432000 4194304 4196468 140726708075600 139901553002864 139902215885402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17261] ppid=17244 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17261/stat : 17261 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53533574 15371935744 22250 33554432000 4194304 4196468 140726708075600 139899701291616 139902215874261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17262] ppid=17244 vsize=15011656 memory=140402454967936 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17262/stat : 17262 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533574 15371935744 22250 33554432000 4194304 4196468 140726708075600 139901551950640 139902215875202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89000 KiB
[startup+0.705082 s]
/proc/loadavg: 2.02 2.06 2.07 3/220 17262
/proc/meminfo: memFree=14687952/32770624 swapFree=67108860/67108860
[pid=17247] ppid=17244 vsize=15017928 memory=131012 CPUtime=1.07 cores=1,3,5,7
/proc/17247/stat : 17247 (java) S 17244 17247 8919 0 -1 1077944320 17900 0 0 0 102 5 0 0 20 0 15 0 53533567 15378358272 32753 33554432000 4194304 4196468 140726708075600 140726708058144 139902215864055 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
/proc/17247/statm: 3754482 32753 3155 1 0 3715886 0
[pid=17247/tid=17249] ppid=17244 vsize=15017928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/17247/task/17249/stat : 17249 (java) R 17244 17247 8919 0 -1 4202560 14836 0 0 0 63 4 0 0 20 0 15 0 53533568 15378358272 32753 33554432000 4194304 4196468 140726708075600 139902187699968 139901718291834 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17250] ppid=17244 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17250/stat : 17250 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15378358272 32753 33554432000 4194304 4196468 140726708075600 139902220106000 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17251] ppid=17244 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17251/stat : 17251 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15378358272 32753 33554432000 4194304 4196468 140726708075600 139902051355024 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17252] ppid=17244 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17252/stat : 17252 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15378358272 32753 33554432000 4194304 4196468 140726708075600 139901675788816 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17253] ppid=17244 vsize=15017928 memory=214507712435909 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17253/stat : 17253 (java) S 17244 17247 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53533569 15378358272 32753 33554432000 4194304 4196468 140726708075600 139901674736272 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17254] ppid=17244 vsize=15017928 memory=287128 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17254/stat : 17254 (java) S 17244 17247 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53533571 15378358272 32753 33554432000 4194304 4196468 140726708075600 139901556161008 139902215875202 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17255] ppid=17244 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17255/stat : 17255 (java) S 17244 17247 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53533571 15378358272 32753 33554432000 4194304 4196468 140726708075600 139900842141088 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17256] ppid=17244 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17256/stat : 17256 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533571 15378358272 32753 33554432000 4194304 4196468 140726708075600 139900573705712 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17257] ppid=17244 vsize=15017928 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17257/stat : 17257 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53533574 15378358272 32753 33554432000 4194304 4196468 140726708075600 139900199197392 139902215882651 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17258] ppid=17244 vsize=15017928 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17247/task/17258/stat : 17258 (java) R 17244 17247 8919 0 -1 4202560 817 0 0 0 12 0 0 0 20 0 15 0 53533574 15378358272 32753 33554432000 4194304 4196468 140726708075600 139901555098104 139902197385291 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17259] ppid=17244 vsize=15017928 memory=-3472574513799858009 CPUtime=0.07 cores=1,3,5,7
/proc/17247/task/17259/stat : 17259 (java) R 17244 17247 8919 0 -1 4202560 214 0 0 0 7 0 0 0 20 0 15 0 53533574 15378358272 32753 33554432000 4194304 4196468 140726708075600 139901554045072 139902200748738 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17260] ppid=17244 vsize=15017928 memory=6944656592387989600 CPUtime=0.18 cores=1,3,5,7
/proc/17247/task/17260/stat : 17260 (java) R 17244 17247 8919 0 -1 4202560 692 0 0 0 18 0 0 0 20 0 15 0 53533574 15378358272 32753 33554432000 4194304 4196468 140726708075600 139901552998464 139902194453564 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17261] ppid=17244 vsize=15017928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17261/stat : 17261 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53533574 15378358272 32753 33554432000 4194304 4196468 140726708075600 139899701291616 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17262] ppid=17244 vsize=15017928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17262/stat : 17262 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533574 15378358272 32753 33554432000 4194304 4196468 140726708075600 139901551950640 139902215875202 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 15017928 KiB
Current children cumulated memory: 131012 KiB
[startup+1.50112 s]
/proc/loadavg: 2.02 2.06 2.07 6/220 17262
/proc/meminfo: memFree=14619512/32770624 swapFree=67108860/67108860
[pid=17247] ppid=17244 vsize=15022100 memory=234024 CPUtime=3.69 cores=1,3,5,7
/proc/17247/stat : 17247 (java) S 17244 17247 8919 0 -1 1077944320 21201 0 0 0 361 8 0 0 20 0 15 0 53533567 15382630400 58506 33554432000 4194304 4196468 140726708075600 140726708058144 139902215864055 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
/proc/17247/statm: 3755525 58506 3208 1 0 3716910 0
[pid=17247/tid=17249] ppid=17244 vsize=15022100 memory=126 CPUtime=1.47 cores=1,3,5,7
/proc/17247/task/17249/stat : 17249 (java) R 17244 17247 8919 0 -1 4202560 15676 0 0 0 141 6 0 0 20 0 15 0 53533568 15382630400 58506 33554432000 4194304 4196468 140726708075600 139902187698672 139902198323696 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17250] ppid=17244 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17250/stat : 17250 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15382630400 58506 33554432000 4194304 4196468 140726708075600 139902220106000 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17251] ppid=17244 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17251/stat : 17251 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15382630400 58506 33554432000 4194304 4196468 140726708075600 139902051355024 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17252] ppid=17244 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17252/stat : 17252 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15382630400 58506 33554432000 4194304 4196468 140726708075600 139901675788816 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17253] ppid=17244 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17253/stat : 17253 (java) S 17244 17247 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53533569 15382630400 58506 33554432000 4194304 4196468 140726708075600 139901674736272 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17254] ppid=17244 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17254/stat : 17254 (java) S 17244 17247 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53533571 15382630400 58506 33554432000 4194304 4196468 140726708075600 139901556161008 139902215875202 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
################
# More data... #
################
/proc/17247/task/17249/stat : 17249 (java) R 17244 17247 8919 0 -1 4202560 16684 0 0 0 383 13 0 0 20 0 15 0 53533568 15384727552 195066 33554432000 4194304 4196468 140726708075600 139902187701664 139901723382553 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17250] ppid=17244 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17250/stat : 17250 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15384727552 195066 33554432000 4194304 4196468 140726708075600 139902220106000 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17251] ppid=17244 vsize=15024148 memory=140402455258815 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17251/stat : 17251 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15384727552 195066 33554432000 4194304 4196468 140726708075600 139902051355024 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17252] ppid=17244 vsize=15024148 memory=7884226704801354855 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17252/stat : 17252 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15384727552 195066 33554432000 4194304 4196468 140726708075600 139901675788816 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17253] ppid=17244 vsize=15024148 memory=4639939496134862184 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17253/stat : 17253 (java) S 17244 17247 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53533569 15384727552 195066 33554432000 4194304 4196468 140726708075600 139901674736272 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17254] ppid=17244 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17254/stat : 17254 (java) S 17244 17247 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53533571 15384727552 195578 33554432000 4194304 4196468 140726708075600 139901556161008 139902215875202 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17255] ppid=17244 vsize=15024148 memory=3543523872880992303 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17255/stat : 17255 (java) S 17244 17247 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53533571 15384727552 195578 33554432000 4194304 4196468 140726708075600 139900842141088 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17256] ppid=17244 vsize=15024148 memory=4638778419807604048 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17256/stat : 17256 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533571 15384727552 195578 33554432000 4194304 4196468 140726708075600 139900573705712 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17257] ppid=17244 vsize=15024148 memory=161 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17257/stat : 17257 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53533574 15384727552 195578 33554432000 4194304 4196468 140726708075600 139900199197392 139902215882651 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17258] ppid=17244 vsize=15024148 memory=0 CPUtime=3.1 cores=1,3,5,7
/proc/17247/task/17258/stat : 17258 (java) R 17244 17247 8919 0 -1 4202560 4557 0 0 0 309 1 0 0 20 0 15 0 53533574 15384727552 195578 33554432000 4194304 4196468 140726708075600 139901555095184 139902195262417 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17259] ppid=17244 vsize=15024148 memory=3184097920075968559 CPUtime=2.91 cores=1,3,5,7
/proc/17247/task/17259/stat : 17259 (java) R 17244 17247 8919 0 -1 4202560 1676 0 0 0 290 1 0 0 20 0 15 0 53533574 15384727552 195578 33554432000 4194304 4196468 140726708075600 139901554036512 139902199360843 0 4 0 25189583 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17260] ppid=17244 vsize=15024148 memory=3471342798775805616 CPUtime=1.39 cores=1,3,5,7
/proc/17247/task/17260/stat : 17260 (java) S 17244 17247 8919 0 -1 1077944384 4523 0 0 0 138 1 0 0 20 0 15 0 53533574 15384727552 195578 33554432000 4194304 4196468 140726708075600 139901553002736 139902215875202 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17261] ppid=17244 vsize=15024148 memory=3472328296227418159 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17261/stat : 17261 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53533574 15384727552 195578 33554432000 4194304 4196468 140726708075600 139899701291616 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17262] ppid=17244 vsize=15024148 memory=3471342798775805616 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17262/stat : 17262 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53533574 15384727552 195578 33554432000 4194304 4196468 140726708075600 139901551950640 139902215875202 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
Current children cumulated CPU time: 11.41 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 780264 KiB
[startup+4.80066 s]
/proc/loadavg: 2.10 2.07 2.07 5/220 17262
/proc/meminfo: memFree=14022416/32770624 swapFree=67108860/67108860
[pid=17247] ppid=17244 vsize=15026264 memory=1062364 CPUtime=13.91 cores=1,3,5,7
/proc/17247/stat : 17247 (java) S 17244 17247 8919 0 -1 1077944320 30623 0 0 0 1369 22 0 0 20 0 15 0 53533567 15386894336 265591 33554432000 4194304 4196468 140726708075600 140726708058144 139902215864055 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
/proc/17247/statm: 3756566 265591 3232 1 0 3717422 0
[pid=17247/tid=17249] ppid=17244 vsize=15026264 memory=-6305715013950070912 CPUtime=4.76 cores=1,3,5,7
/proc/17247/task/17249/stat : 17249 (java) R 17244 17247 8919 0 -1 4202560 17210 0 0 0 458 18 0 0 20 0 15 0 53533568 15386894336 265591 33554432000 4194304 4196468 140726708075600 139902187702320 139902215875990 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17250] ppid=17244 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17250/stat : 17250 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15386894336 265591 33554432000 4194304 4196468 140726708075600 139902220106000 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17251] ppid=17244 vsize=15026264 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17251/stat : 17251 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15386894336 265591 33554432000 4194304 4196468 140726708075600 139902051355024 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17252] ppid=17244 vsize=15026264 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17252/stat : 17252 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533569 15386894336 265591 33554432000 4194304 4196468 140726708075600 139901675788816 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17253] ppid=17244 vsize=15026264 memory=7667497561383256160 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17253/stat : 17253 (java) S 17244 17247 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53533569 15386894336 265591 33554432000 4194304 4196468 140726708075600 139901674736272 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17254] ppid=17244 vsize=15026264 memory=7302976471258915946 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17254/stat : 17254 (java) S 17244 17247 8919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53533571 15386894336 265591 33554432000 4194304 4196468 140726708075600 139901556161008 139902215875202 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17255] ppid=17244 vsize=15026264 memory=7163367085792450153 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17255/stat : 17255 (java) S 17244 17247 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53533571 15386894336 265591 33554432000 4194304 4196468 140726708075600 139900842141088 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17256] ppid=17244 vsize=15026264 memory=149001557 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17256/stat : 17256 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53533571 15386894336 265591 33554432000 4194304 4196468 140726708075600 139900573705712 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17257] ppid=17244 vsize=15026264 memory=140402346963096 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17257/stat : 17257 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53533574 15386894336 265591 33554432000 4194304 4196468 140726708075600 139900199197392 139902215882651 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17258] ppid=17244 vsize=15026264 memory=280804693891856 CPUtime=3.88 cores=1,3,5,7
/proc/17247/task/17258/stat : 17258 (java) R 17244 17247 8919 0 -1 4202560 5140 0 0 0 387 1 0 0 20 0 15 0 53533574 15386894336 265591 33554432000 4194304 4196468 140726708075600 139901555089360 139902199274848 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17259] ppid=17244 vsize=15026264 memory=0 CPUtime=3.69 cores=1,3,5,7
/proc/17247/task/17259/stat : 17259 (java) R 17244 17247 8919 0 -1 4202560 2374 0 0 0 368 1 0 0 20 0 15 0 53533574 15386894336 265591 33554432000 4194304 4196468 140726708075600 139901554055280 139902200108668 0 4 0 25189583 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17260] ppid=17244 vsize=15026264 memory=0 CPUtime=1.56 cores=1,3,5,7
/proc/17247/task/17260/stat : 17260 (java) R 17244 17247 8919 0 -1 1077944384 4556 0 0 0 155 1 0 0 20 0 15 0 53533574 15386894336 265591 33554432000 4194304 4196468 140726708075600 139901553002736 139902215875202 0 4 0 25189583 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17261] ppid=17244 vsize=15026264 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17261/stat : 17261 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53533574 15386894336 265591 33554432000 4194304 4196468 140726708075600 139899701291616 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17262] ppid=17244 vsize=15026264 memory=834916 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17262/stat : 17262 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53533574 15386894336 265591 33554432000 4194304 4196468 140726708075600 139901551950640 139902215875202 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
Current children cumulated CPU time: 13.91 s
Current children cumulated vsize: 15026264 KiB
Current children cumulated memory: 1062364 KiB
[startup+5.00074 s]*
/proc/loadavg: 2.10 2.07 2.07 5/225 17268
/proc/meminfo: memFree=13704488/32770624 swapFree=67108860/67108860
[pid=17247] ppid=17244 vsize=15683912 memory=1084168 CPUtime=14.45 cores=1,3,5,7
/proc/17247/stat : 17247 (java) S 17244 17247 8919 0 -1 1077944320 31330 0 0 0 1422 23 0 0 20 0 19 0 53533567 16060325888 271042 33554432000 4194304 4196468 140726708075600 140726708058144 139902215864055 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
/proc/17247/statm: 3920978 271042 3236 1 0 3881834 0
[pid=17263] ppid=17247 vsize=25620 memory=9184 CPUtime=0.15 cores=1,3,5,7
/proc/17263/stat : 17263 (minisat_release) R 17247 17247 8919 0 -1 4202496 2468 0 0 0 15 0 0 0 20 0 1 0 53534052 26234880 2296 33554432000 4194304 4308513 140730846188320 140730846185464 4276465 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 38264832 140730846196399 140730846196910 140730846196910 140730846199749 0
/proc/17263/statm: 6405 2296 334 28 0 2645 0
[pid=17247/tid=17249] ppid=17244 vsize=15683912 memory=-8253362762723522712 CPUtime=4.85 cores=1,3,5,7
/proc/17247/task/17249/stat : 17249 (java) S 17244 17247 8919 0 -1 1077944384 17562 0 0 0 467 18 0 0 20 0 19 0 53533568 16060325888 271042 33554432000 4194304 4196468 140726708075600 139902187703296 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17250] ppid=17244 vsize=15683912 memory=3472328295574039403 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17250/stat : 17250 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53533569 16060325888 271042 33554432000 4194304 4196468 140726708075600 139902220106000 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17251] ppid=17244 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17251/stat : 17251 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53533569 16060325888 271042 33554432000 4194304 4196468 140726708075600 139902051355024 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17252] ppid=17244 vsize=15683912 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17252/stat : 17252 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53533569 16060325888 271042 33554432000 4194304 4196468 140726708075600 139901675788816 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17253] ppid=17244 vsize=15683912 memory=3472468698682647216 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17253/stat : 17253 (java) S 17244 17247 8919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53533569 16060325888 271042 33554432000 4194304 4196468 140726708075600 139901674736272 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17254] ppid=17244 vsize=15683912 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17254/stat : 17254 (java) S 17244 17247 8919 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 53533571 16060325888 271042 33554432000 4194304 4196468 140726708075600 139901556161008 139902215875202 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17255] ppid=17244 vsize=15683912 memory=43772361331 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17255/stat : 17255 (java) S 17244 17247 8919 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53533571 16060325888 271042 33554432000 4194304 4196468 140726708075600 139900842141088 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17256] ppid=17244 vsize=15683912 memory=8315167063544856749 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17256/stat : 17256 (java) S 17244 17247 8919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53533571 16060325888 271042 33554432000 4194304 4196468 140726708075600 139900573705712 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17257] ppid=17244 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17257/stat : 17257 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53533574 16060325888 271042 33554432000 4194304 4196468 140726708075600 139900199197392 139902215882651 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17258] ppid=17244 vsize=15683912 memory=3472323898181169199 CPUtime=4.09 cores=1,3,5,7
/proc/17247/task/17258/stat : 17258 (java) R 17244 17247 8919 0 -1 4202560 5439 0 0 0 408 1 0 0 20 0 19 0 53533574 16060325888 271042 33554432000 4194304 4196468 140726708075600 139901555092976 139902195557159 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17259] ppid=17244 vsize=15683912 memory=140402454967936 CPUtime=3.89 cores=1,3,5,7
/proc/17247/task/17259/stat : 17259 (java) S 17244 17247 8919 0 -1 1077944384 2374 0 0 0 388 1 0 0 20 0 19 0 53533574 16060325888 271042 33554432000 4194304 4196468 140726708075600 139901554055280 139902215875202 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17260] ppid=17244 vsize=15683912 memory=-1 CPUtime=1.57 cores=1,3,5,7
/proc/17247/task/17260/stat : 17260 (java) S 17244 17247 8919 0 -1 1077944384 4559 0 0 0 156 1 0 0 20 0 19 0 53533574 16060325888 271042 33554432000 4194304 4196468 140726708075600 139901553002736 139902215875202 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17261] ppid=17244 vsize=15683912 memory=140402347205336 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17261/stat : 17261 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53533574 16060325888 271042 33554432000 4194304 4196468 140726708075600 139899701291616 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17262] ppid=17244 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17262/stat : 17262 (java) S 17244 17247 8919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53533574 16060325888 271042 33554432000 4194304 4196468 140726708075600 139901551950640 139902215875202 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17264] ppid=17244 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17264/stat : 17264 (java) S 17244 17247 8919 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 53534053 16060325888 271042 33554432000 4194304 4196468 140726708075600 139901533587008 139902215888665 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17266] ppid=17244 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17266/stat : 17266 (java) S 17244 17247 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53534053 16060325888 271042 33554432000 4194304 4196468 140726708075600 139899164409904 139902215885981 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17267] ppid=17244 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17267/stat : 17267 (java) S 17244 17247 8919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 53534053 16060325888 271042 33554432000 4194304 4196468 140726708075600 139898895973552 139902215885981 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17268] ppid=17244 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17247/task/17268/stat : 17268 (java) S 17244 17247 8919 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 53534055 16060325888 271042 33554432000 4194304 4196468 140726708075600 139899432852512 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
Current children cumulated CPU time: 14.6 s
Current children cumulated vsize: 15709532 KiB
Current children cumulated memory: 1093352 KiB
[startup+5.11144 s]
/proc/loadavg: 2.10 2.07 2.07 5/225 17268
/proc/meminfo: memFree=13704488/32770624 swapFree=67108860/67108860
[pid=17247] ppid=17244 vsize=15552836 memory=1084764 CPUtime=14.77 cores=1,3,5,7
/proc/17247/stat : 17247 (java) S 17244 17247 8919 0 -1 1077944320 31508 2901 0 0 1430 23 24 0 20 0 17 0 53533567 15926104064 271191 33554432000 4194304 4196468 140726708075600 140726708058144 139902215864055 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
/proc/17247/statm: 3888209 271191 3236 1 0 3849065 0
[pid=17247/tid=17249] ppid=17244 vsize=15552836 memory=365052 CPUtime=5.1 cores=1,3,5,7
/proc/17247/task/17249/stat : 17249 (java) R 17244 17247 8919 0 -1 4202560 17577 2901 0 0 468 18 24 0 20 0 17 0 53533568 15926104064 271191 33554432000 4194304 4196468 140726708075600 139902187694336 139901718181868 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17250] ppid=17244 vsize=15552836 memory=621160 CPUtime=0.24 cores=1,3,5,7
/proc/17247/task/17250/stat : 17250 (java) S 17244 17247 8919 0 -1 1077944384 1 2901 0 0 0 0 24 0 20 0 17 0 53533569 15926104064 271191 33554432000 4194304 4196468 140726708075600 139902220106000 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17251] ppid=17244 vsize=15552836 memory=5787220531491389536 CPUtime=0.24 cores=1,3,5,7
/proc/17247/task/17251/stat : 17251 (java) S 17244 17247 8919 0 -1 1077944384 1 2901 0 0 0 0 24 0 20 0 17 0 53533569 15926104064 271191 33554432000 4194304 4196468 140726708075600 139902051355024 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17252] ppid=17244 vsize=15552836 memory=280804693590432 CPUtime=0.24 cores=1,3,5,7
/proc/17247/task/17252/stat : 17252 (java) S 17244 17247 8919 0 -1 1077944384 1 2901 0 0 0 0 24 0 20 0 17 0 53533569 15926104064 271191 33554432000 4194304 4196468 140726708075600 139901675788816 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17253] ppid=17244 vsize=15552836 memory=280804693690536 CPUtime=0.24 cores=1,3,5,7
/proc/17247/task/17253/stat : 17253 (java) S 17244 17247 8919 0 -1 1077944384 2 2901 0 0 0 0 24 0 20 0 17 0 53533569 15926104064 271191 33554432000 4194304 4196468 140726708075600 139901674736272 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17254] ppid=17244 vsize=15552836 memory=6655300316396806240 CPUtime=0.24 cores=1,3,5,7
/proc/17247/task/17254/stat : 17254 (java) S 17244 17247 8919 0 -1 1077944384 6 2901 0 0 0 0 24 0 20 0 17 0 53533571 15926104064 271191 33554432000 4194304 4196468 140726708075600 139901556161008 139902215875202 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17255] ppid=17244 vsize=15552836 memory=56 CPUtime=0.24 cores=1,3,5,7
/proc/17247/task/17255/stat : 17255 (java) S 17244 17247 8919 0 -1 1077944384 13 2901 0 0 0 0 24 0 20 0 17 0 53533571 15926104064 271191 33554432000 4194304 4196468 140726708075600 139900842141088 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17256] ppid=17244 vsize=15552836 memory=9169 CPUtime=0.24 cores=1,3,5,7
/proc/17247/task/17256/stat : 17256 (java) S 17244 17247 8919 0 -1 1077944384 1 2901 0 0 0 0 24 0 20 0 17 0 53533571 15926104064 271191 33554432000 4194304 4196468 140726708075600 139900573705712 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17257] ppid=17244 vsize=15552836 memory=21517 CPUtime=0.24 cores=1,3,5,7
/proc/17247/task/17257/stat : 17257 (java) S 17244 17247 8919 0 -1 1077944384 3 2901 0 0 0 0 24 0 20 0 17 0 53533574 15926104064 271191 33554432000 4194304 4196468 140726708075600 139900199197392 139902215882651 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17258] ppid=17244 vsize=15552836 memory=-1161699032755964503 CPUtime=4.36 cores=1,3,5,7
/proc/17247/task/17258/stat : 17258 (java) S 17244 17247 8919 0 -1 1077944384 5573 2901 0 0 411 1 24 0 20 0 17 0 53533574 15926104064 271191 33554432000 4194304 4196468 140726708075600 139901555107824 139902215875202 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17259] ppid=17244 vsize=15552836 memory=6944656592455097440 CPUtime=4.14 cores=1,3,5,7
/proc/17247/task/17259/stat : 17259 (java) S 17244 17247 8919 0 -1 1077944384 2378 2901 0 0 389 1 24 0 20 0 17 0 53533574 15926104064 271191 33554432000 4194304 4196468 140726708075600 139901554055280 139902215875202 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17260] ppid=17244 vsize=15552836 memory=161 CPUtime=1.83 cores=1,3,5,7
/proc/17247/task/17260/stat : 17260 (java) R 17244 17247 8919 0 -1 4202560 4563 2901 0 0 158 1 24 0 20 0 17 0 53533574 15926104064 271191 33554432000 4194304 4196468 140726708075600 139901552996624 139902215875990 0 4 0 25189583 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17261] ppid=17244 vsize=15552836 memory=6944656592455097440 CPUtime=0.24 cores=1,3,5,7
/proc/17247/task/17261/stat : 17261 (java) S 17244 17247 8919 0 -1 1077944384 3 2901 0 0 0 0 24 0 20 0 17 0 53533574 15926104064 271191 33554432000 4194304 4196468 140726708075600 139899701291616 139902215874261 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17262] ppid=17244 vsize=15552836 memory=-4051592751533505334 CPUtime=0.24 cores=1,3,5,7
/proc/17247/task/17262/stat : 17262 (java) S 17244 17247 8919 0 -1 1077944384 3 2901 0 0 0 0 24 0 20 0 17 0 53533574 15926104064 271191 33554432000 4194304 4196468 140726708075600 139901551950640 139902215875202 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17264] ppid=17244 vsize=15552836 memory=56 CPUtime=0.24 cores=1,3,5,7
/proc/17247/task/17264/stat : 17264 (java) S 17244 17247 8919 0 -1 1077944384 24 2901 0 0 0 0 24 0 20 0 17 0 53534053 15926104064 271191 33554432000 4194304 4196468 140726708075600 139901533586192 139902215875202 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
[pid=17247/tid=17268] ppid=17244 vsize=15552836 memory=-7957962119327172001 CPUtime=0.24 cores=1,3,5,7
/proc/17247/task/17268/stat : 17268 (java) S 17244 17247 8919 0 -1 1077944384 27 2901 0 0 0 0 24 0 20 0 17 0 53534055 15926104064 271191 33554432000 4194304 4196468 140726708075600 139899432854320 139902215875202 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25284608 140726708081652 140726708081929 140726708081929 140726708084687 0
Current children cumulated CPU time: 14.77 s
Current children cumulated vsize: 15552836 KiB
Current children cumulated memory: 1084764 KiB
Child status: 0
Real time (s): 5.13264
CPU time (s): 14.8138
CPU user time (s): 14.5631
CPU system time (s): 0.250745
CPU usage (%): 288.62
Max. virtual memory (cumulated for all children) (KiB): 15709532
Max. memory (cumulated for all children) (KiB): 1093352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5631
system time used= 0.250745
maximum resident set size= 1087596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34447
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4272
involuntary context switches= 61
# summary of solver processes directly reported to runsolver:
# pid: 17247
# total CPU time (s): 14.8138
# total CPU user time (s): 14.5631
# total CPU system time (s): 0.250745
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059228 second user time and 0.098362 second system time
The end