2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
sat4j-CSP 2017-07-05	SAT	31.8501	19.178801

17.89/7.33	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
17.89/7.33	c This is free software under the dual EPL/GNU LGPL licenses.
17.89/7.33	c See www.sat4j.org for details.
17.89/7.33	c That software uses the Rhino library from the Mozilla project.
17.89/7.33	c version CUSTOM.v20170705
17.89/7.33	c java.runtime.name	Java(TM) SE Runtime Environment
17.89/7.33	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
17.89/7.33	c java.vm.version	25.131-b11
17.89/7.33	c java.vm.vendor	Oracle Corporation
17.89/7.33	c sun.arch.data.model	64
17.89/7.33	c java.version		1.8.0_131
17.89/7.33	c os.name		Linux
17.89/7.33	c os.version		3.10.0-514.16.1.el7.x86_64
17.89/7.33	c os.arch		amd64
17.89/7.33	c Free memory 		499604488
17.89/7.33	c Max memory 		7247757312
17.89/7.33	c Total memory 		504889344
17.89/7.33	c Number of processors 	4
17.89/7.33	c c --- Begin Solver configuration ---
17.89/7.33	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
17.89/7.33	c Learn all clauses as in MiniSAT
17.89/7.33	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
17.89/7.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
17.89/7.33	c No reason simplification
17.89/7.33	c Glucose 2.1 dynamic restart strategy
17.89/7.33	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
17.89/7.33	c timeout=2147483s
17.89/7.33	c DB Simplification allowed=false
17.89/7.33	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
17.89/7.33	c --- End Solver configuration ---
17.89/7.33	c constraints type 
17.89/7.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 2048
17.89/7.33	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8809187
17.89/7.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2482466
17.89/7.33	c org.sat4j.specs.Constr$1 => 1376025
17.89/7.33	c org.sat4j.minisat.constraints.cnf.UnitClause => 345789
17.89/7.33	c 13015515 constraints processed.
31.82/19.16	c starts		: 3
31.82/19.16	c conflicts		: 317
31.82/19.16	c decisions		: 1269
31.82/19.16	c propagations		: 22826276
31.82/19.16	c inspects		: 93921021
31.82/19.16	c shortcuts		: 0
31.82/19.16	c learnt literals	: 12
31.82/19.16	c learnt binary clauses	: 61
31.82/19.16	c learnt ternary clauses	: 44
31.82/19.16	c learnt constraints	: 305
31.82/19.16	c ignored constraints	: 0
31.82/19.16	c root simplifications	: 0
31.82/19.16	c removed literals (reason simplification)	: 0
31.82/19.16	c reason swapping (by a shorter reason)	: 0
31.82/19.16	c Calls to reduceDB	: 0
31.82/19.16	c Number of update (reduction) of LBD	: 98
31.82/19.16	c Imported unit clauses	: 0
31.82/19.16	c number of reductions to clauses (during analyze)	: 0
31.82/19.16	c number of learned constraints concerned by reduction	: 0
31.82/19.16	c number of learning phase by resolution	: 0
31.82/19.16	c number of learning phase by cutting planes	: 0
31.82/19.16	c number of rounding to 1 operations	: 0
31.82/19.16	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
31.82/19.16	c number of reductions of the coefficients by power 2 	: 0
31.82/19.16	c number of right shift for reduction by power 2 	: 0
31.82/19.16	c number of reductions of the coefficients by GCD over coefficients 	: 0
31.82/19.16	c speed (assignments/second)	: 2065352.5153818314
31.82/19.16	c non guided choices	50
31.82/19.16	c learnt constraints type 
31.82/19.16	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 61
31.82/19.16	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 244
31.82/19.16	s SATISFIABLE
31.82/19.16	v <instantiation type="solution">
31.82/19.16	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[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] 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[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] 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[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] 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[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] 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[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] 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] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] </list>
31.82/19.16	v 	<values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 </values>
31.82/19.16	v </instantiation>
31.82/19.16

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 (14067 MiB free)
  memory of node 1: 16384 MiB (15380 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263439-1502631218/watcher-4263439-1502631218 -o /tmp/evaluation-result-4263439-1502631218/solver-4263439-1502631218 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8033 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263439-1502631218.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=21321, runsolver pid=21318
Current StackSize limit: 8192 KiB


[startup+0.100158 s]*
/proc/loadavg: 2.08 2.03 2.05 2/198 21322
/proc/meminfo: memFree=30153968/32770624 swapFree=67108860/67108860
[pid=21321] ppid=21318 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/21321/stat : 21321 (runsolver) D 21318 21321 7968 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 17004493 34791424 114 18446744073709551615 4194304 4346622 140735945442608 140735945439240 140694970102487 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6446216 6449568 26259456 140735945449572 140735945450021 140735945450021 140735945453514 0
/proc/21321/statm: 8494 114 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.209095 s]*
/proc/loadavg: 2.08 2.03 2.05 2/211 21335
/proc/meminfo: memFree=30140712/32770624 swapFree=67108860/67108860
[pid=21321] ppid=21318 vsize=10484492 memory=23812 CPUtime=0.05 cores=1,3,5,7
/proc/21321/stat : 21321 (java) S 21318 21321 7968 0 -1 1077944320 4933 0 0 0 5 0 0 0 20 0 14 0 17004493 10736119808 5953 18446744073709551615 4194304 4196468 140723015196368 140723015178912 140316760411895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 13 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
/proc/21321/statm: 2621123 5953 2573 1 0 2610620 0
[pid=21321/tid=21323] ppid=21318 vsize=10484492 memory=8318255677412212789 CPUtime=0.04 cores=1,3,5,7
/proc/21321/task/21323/stat : 21323 (java) D 21318 21321 7968 0 -1 4202560 3049 0 0 0 4 0 0 0 20 0 14 0 17004507 10736119808 5953 18446744073709551615 4194304 4196468 140723015196368 140316764649376 140316760433917 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21324] ppid=21318 vsize=10484492 memory=326 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21324/stat : 21324 (java) S 21318 21321 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17004508 10736119808 5953 18446744073709551615 4194304 4196468 140723015196368 140316717378576 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21325] ppid=21318 vsize=10484492 memory=288371071124764288 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21325/stat : 21325 (java) S 21318 21321 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17004508 10736119808 5953 18446744073709551615 4194304 4196468 140723015196368 140316370459792 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21326] ppid=21318 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21326/stat : 21326 (java) S 21318 21321 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17004508 10736119808 5953 18446744073709551615 4194304 4196468 140723015196368 140316369406736 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21327] ppid=21318 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21327/stat : 21327 (java) S 21318 21321 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17004508 10736119808 5953 18446744073709551615 4194304 4196468 140723015196368 140316368354192 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21328] ppid=21318 vsize=10484492 memory=140694973052544 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21328/stat : 21328 (java) S 21318 21321 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 17004509 10736119808 5953 18446744073709551615 4194304 4196468 140723015196368 140316324452592 140316760423042 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21329] ppid=21318 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21329/stat : 21329 (java) S 21318 21321 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 17004510 10736119808 5953 18446744073709551615 4194304 4196468 140723015196368 140316323398816 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21330] ppid=21318 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21330/stat : 21330 (java) S 21318 21321 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 17004510 10736119808 5953 18446744073709551615 4194304 4196468 140723015196368 140316322345712 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21331] ppid=21318 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21331/stat : 21331 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17004512 10736119808 5953 18446744073709551615 4194304 4196468 140723015196368 140316321294288 140316760430491 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21332] ppid=21318 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21332/stat : 21332 (java) S 21318 21321 7968 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 14 0 17004512 10736119808 5953 18446744073709551615 4194304 4196468 140723015196368 140316320242416 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21333] ppid=21318 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21333/stat : 21333 (java) S 21318 21321 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 17004512 10736119808 5953 18446744073709551615 4194304 4196468 140723015196368 140316319189872 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21334] ppid=21318 vsize=10484492 memory=140694973052544 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21334/stat : 21334 (java) S 21318 21321 7968 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 14 0 17004512 10736119808 5953 18446744073709551615 4194304 4196468 140723015196368 140316318136816 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21335] ppid=21318 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21335/stat : 21335 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 17004513 10736119808 5953 18446744073709551615 4194304 4196468 140723015196368 140316317084512 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 23812 KiB

[startup+0.313465 s]*
/proc/loadavg: 2.08 2.03 2.05 3/212 21336
/proc/meminfo: memFree=30132476/32770624 swapFree=67108860/67108860
[pid=21321] ppid=21318 vsize=10551156 memory=31736 CPUtime=0.17 cores=1,3,5,7
/proc/21321/stat : 21321 (java) S 21318 21321 7968 0 -1 1077944320 8158 0 0 0 15 2 0 0 20 0 15 0 17004493 10804383744 7934 18446744073709551615 4194304 4196468 140723015196368 140723015178912 140316760411895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 13 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
/proc/21321/statm: 2637789 7934 2866 1 0 2627261 0
[pid=21321/tid=21323] ppid=21318 vsize=10551156 memory=-8774313645642428999 CPUtime=0.12 cores=1,3,5,7
/proc/21321/task/21323/stat : 21323 (java) R 21318 21321 7968 0 -1 4202560 5855 0 0 0 10 2 0 0 20 0 15 0 17004507 10804383744 7934 18446744073709551615 4194304 4196468 140723015196368 140316764644048 140316760433821 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21324] ppid=21318 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21324/stat : 21324 (java) S 21318 21321 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17004508 10804383744 7934 18446744073709551615 4194304 4196468 140723015196368 140316717378576 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21325] ppid=21318 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21325/stat : 21325 (java) S 21318 21321 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17004508 10804383744 7934 18446744073709551615 4194304 4196468 140723015196368 140316370459792 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21326] ppid=21318 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21326/stat : 21326 (java) S 21318 21321 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17004508 10804383744 7934 18446744073709551615 4194304 4196468 140723015196368 140316369406736 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21327] ppid=21318 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21327/stat : 21327 (java) S 21318 21321 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17004508 10804383744 7934 18446744073709551615 4194304 4196468 140723015196368 140316368354192 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21328] ppid=21318 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21328/stat : 21328 (java) S 21318 21321 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17004509 10804383744 7934 18446744073709551615 4194304 4196468 140723015196368 140316324452592 140316760423042 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21329] ppid=21318 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21329/stat : 21329 (java) S 21318 21321 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17004510 10804383744 7934 18446744073709551615 4194304 4196468 140723015196368 140316323398816 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21330] ppid=21318 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21330/stat : 21330 (java) S 21318 21321 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17004510 10804383744 7934 18446744073709551615 4194304 4196468 140723015196368 140316322345712 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21331] ppid=21318 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21331/stat : 21331 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17004512 10804383744 7934 18446744073709551615 4194304 4196468 140723015196368 140316321294288 140316760430491 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21332] ppid=21318 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21332/stat : 21332 (java) S 21318 21321 7968 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 15 0 17004512 10804383744 7934 18446744073709551615 4194304 4196468 140723015196368 140316320242416 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21333] ppid=21318 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21333/stat : 21333 (java) S 21318 21321 7968 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 17004512 10804383744 7934 18446744073709551615 4194304 4196468 140723015196368 140316319189872 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21334] ppid=21318 vsize=10551156 memory=140694973052544 CPUtime=0.02 cores=1,3,5,7
/proc/21321/task/21334/stat : 21334 (java) S 21318 21321 7968 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 17004512 10804383744 7934 18446744073709551615 4194304 4196468 140723015196368 140316318136816 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21335] ppid=21318 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21335/stat : 21335 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17004513 10804383744 7934 18446744073709551615 4194304 4196468 140723015196368 140316317084512 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21336] ppid=21318 vsize=10551156 memory=140694973052544 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21336/stat : 21336 (java) S 21318 21321 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17004518 10804383744 7934 18446744073709551615 4194304 4196468 140723015196368 140316316031536 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 31736 KiB

[startup+0.701632 s]
/proc/loadavg: 2.08 2.03 2.05 6/212 21336
/proc/meminfo: memFree=30118640/32770624 swapFree=67108860/67108860
[pid=21321] ppid=21318 vsize=10551232 memory=126460 CPUtime=1.12 cores=1,3,5,7
/proc/21321/stat : 21321 (java) S 21318 21321 7968 0 -1 1077944320 11452 0 0 0 108 4 0 0 20 0 15 0 17004493 10804461568 31615 18446744073709551615 4194304 4196468 140723015196368 140723015178912 140316760411895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 13 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
/proc/21321/statm: 2637808 31615 3055 1 0 2627261 0
[pid=21321/tid=21323] ppid=21318 vsize=10551232 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/21321/task/21323/stat : 21323 (java) R 21318 21321 7968 0 -1 4202560 6856 0 0 0 46 3 0 0 20 0 15 0 17004507 10804461568 31615 18446744073709551615 4194304 4196468 140723015196368 140316764649728 140316760423830 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21324] ppid=21318 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21324/stat : 21324 (java) S 21318 21321 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17004508 10804461568 31615 18446744073709551615 4194304 4196468 140723015196368 140316717378576 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21325] ppid=21318 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21325/stat : 21325 (java) S 21318 21321 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17004508 10804461568 31615 18446744073709551615 4194304 4196468 140723015196368 140316370459792 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21326] ppid=21318 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21326/stat : 21326 (java) S 21318 21321 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17004508 10804461568 31615 18446744073709551615 4194304 4196468 140723015196368 140316369406736 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21327] ppid=21318 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21327/stat : 21327 (java) S 21318 21321 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17004508 10804461568 31615 18446744073709551615 4194304 4196468 140723015196368 140316368354192 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21328] ppid=21318 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21328/stat : 21328 (java) S 21318 21321 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17004509 10804461568 31615 18446744073709551615 4194304 4196468 140723015196368 140316324452592 140316760423042 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21329] ppid=21318 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21329/stat : 21329 (java) S 21318 21321 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17004510 10804461568 31615 18446744073709551615 4194304 4196468 140723015196368 140316323398816 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21330] ppid=21318 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21330/stat : 21330 (java) S 21318 21321 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17004510 10804461568 31615 18446744073709551615 4194304 4196468 140723015196368 140316322345712 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21331] ppid=21318 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21331/stat : 21331 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17004512 10804461568 31615 18446744073709551615 4194304 4196468 140723015196368 140316321294288 140316760430491 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21332] ppid=21318 vsize=10551232 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/21321/task/21332/stat : 21332 (java) R 21318 21321 7968 0 -1 4202560 1265 0 0 0 19 0 0 0 20 0 15 0 17004512 10804461568 31615 18446744073709551615 4194304 4196468 140723015196368 140316320228960 140316743822710 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21333] ppid=21318 vsize=10551232 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/21321/task/21333/stat : 21333 (java) R 21318 21321 7968 0 -1 4202560 739 0 0 0 20 0 0 0 20 0 15 0 17004512 10804461568 31615 18446744073709551615 4194304 4196468 140723015196368 140316319183064 140316743748240 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21334] ppid=21318 vsize=10551232 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/21321/task/21334/stat : 21334 (java) S 21318 21321 7968 0 -1 1077944384 1220 0 0 0 21 0 0 0 20 0 15 0 17004512 10804461568 31615 18446744073709551615 4194304 4196468 140723015196368 140316318136816 140316760423042 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21335] ppid=21318 vsize=10551232 memory=928 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21335/stat : 21335 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17004513 10804461568 31615 18446744073709551615 4194304 4196468 140723015196368 140316317084512 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21336] ppid=21318 vsize=10551232 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21336/stat : 21336 (java) S 21318 21321 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17004518 10804461568 31615 18446744073709551615 4194304 4196468 140723015196368 140316316031536 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 126460 KiB

[startup+1.50759 s]
/proc/loadavg: 2.08 2.03 2.05 7/213 21337
/proc/meminfo: memFree=29902436/32770624 swapFree=67108860/67108860
[pid=21321] ppid=21318 vsize=10551232 memory=592204 CPUtime=3.4 cores=1,3,5,7
/proc/21321/stat : 21321 (java) S 21318 21321 7968 0 -1 1077944320 16100 0 0 0 307 33 0 0 20 0 15 0 17004493 10804461568 148051 18446744073709551615 4194304 4196468 140723015196368 140723015178912 140316760411895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 13 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
/proc/21321/statm: 2637808 148051 3092 1 0 2627261 0
[pid=21321/tid=21323] ppid=21318 vsize=10551232 memory=-7537507005311654808 CPUtime=0.93 cores=1,3,5,7
/proc/21321/task/21323/stat : 21323 (java) S 21318 21321 7968 0 -1 1077944384 6929 0 0 0 88 5 0 0 20 0 15 0 17004507 10804461568 148051 18446744073709551615 4194304 4196468 140723015196368 140316764644528 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21324] ppid=21318 vsize=10551232 memory=1156 CPUtime=0.33 cores=1,3,5,7
/proc/21321/task/21324/stat : 21324 (java) R 21318 21321 7968 0 -1 4202560 353 0 0 0 26 7 0 0 20 0 15 0 17004508 10804461568 148051 18446744073709551615 4194304 4196468 140723015196368 140316717378576 140316744866652 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21325] ppid=21318 vsize=10551232 memory=2412 CPUtime=0.35 cores=1,3,5,7
/proc/21321/task/21325/stat : 21325 (java) R 21318 21321 7968 0 -1 4202560 325 0 0 0 29 6 0 0 20 0 15 0 17004508 10804461568 148051 18446744073709551615 4194304 4196468 140723015196368 140316370459680 140316745362610 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21326] ppid=21318 vsize=10551232 memory=269196 CPUtime=0.32 cores=1,3,5,7
/proc/21321/task/21326/stat : 21326 (java) R 21318 21321 7968 0 -1 4202560 243 0 0 0 26 6 0 0 20 0 15 0 17004508 10804461568 148051 18446744073709551615 4194304 4196468 140723015196368 140316369406736 140316745362624 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21327] ppid=21318 vsize=10551232 memory=1628 CPUtime=0.34 cores=1,3,5,7
/proc/21321/task/21327/stat : 21327 (java) R 21318 21321 7968 0 -1 4202560 235 0 0 0 28 6 0 0 20 0 15 0 17004508 10804461568 148051 18446744073709551615 4194304 4196468 140723015196368 140316368354392 140316745109529 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21328] ppid=21318 vsize=10551232 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21328/stat : 21328 (java) S 21318 21321 7968 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 17004509 10804461568 148051 18446744073709551615 4194304 4196468 140723015196368 140316324450912 140316760422101 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21329] ppid=21318 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21329/stat : 21329 (java) S 21318 21321 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 17004510 10804461568 148051 18446744073709551615 4194304 4196468 140723015196368 140316323398816 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21330] ppid=21318 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21330/stat : 21330 (java) S 21318 21321 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17004510 10804461568 148051 18446744073709551615 4194304 4196468 140723015196368 140316322345712 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21331] ppid=21318 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21331/stat : 21331 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17004512 10804461568 148051 18446744073709551615 4194304 4196468 140723015196368 140316321294288 140316760430491 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21332] ppid=21318 vsize=10551232 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/21321/task/21332/stat : 21332 (java) S 21318 21321 7968 0 -1 1077944384 3493 0 0 0 46 0 0 0 20 0 15 0 17004512 10804461568 148051 18446744073709551615 4194304 4196468 140723015196368 140316320242416 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21333] ppid=21318 vsize=10551232 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/21321/task/21333/stat : 21333 (java) S 21318 21321 7968 0 -1 1077944384 1692 0 0 0 38 0 0 0 20 0 15 0 17004512 10804461568 148051 18446744073709551615 4194304 4196468 140723015196368 140316319189872 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21334] ppid=21318 vsize=10551232 memory=-5921431000321636112 CPUtime=0.23 cores=1,3,5,7
/proc/21321/task/21334/stat : 21334 (java) S 21318 21321 7968 0 -1 1077944384 1258 0 0 0 23 0 0 0 20 0 15 0 17004512 10804461568 148051 18446744073709551615 4194304 4196468 140723015196368 140316318136816 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21335] ppid=21318 vsize=10551232 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21335/stat : 21335 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17004513 10804461568 148051 18446744073709551615 4194304 4196468 140723015196368 140316317084512 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21336] ppid=21318 vsize=10551232 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21336/stat : 21336 (java) S 21318 21321 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17004518 10804461568 148051 18446744073709551615 4194304 4196468 140723015196368 140316316031536 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
Current children cumulated CPU time: 3.4 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 592204 KiB

[startup+3.11007 s]
/proc/loadavg: 2.08 2.03 2.05 3/212 21337
/proc/meminfo: memFree=29394820/32770624 swapFree=67108860/67108860
[pid=21321] ppid=21318 vsize=10551232 memory=769844 CPUtime=7.26 cores=1,3,5,7
/proc/21321/stat : 21321 (java) S 21318 21321 7968 0 -1 1077944320 18417 0 0 0 679 47 0 0 20 0 15 0 17004493 10804461568 192461 18446744073709551615 4194304 4196468 140723015196368 140723015178912 140316760411895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 13 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
/proc/21321/statm: 2637808 192461 3100 1 0 2627261 0
[pid=21321/tid=21323] ppid=21318 vsize=10551232 memory=-8774313645642428999 CPUtime=1.33 cores=1,3,5,7
/proc/21321/task/21323/stat : 21323 (java) R 21318 21321 7968 0 -1 4202560 6980 0 0 0 128 5 0 0 20 0 15 0 17004507 10804461568 192461 18446744073709551615 4194304 4196468 140723015196368 140316764643008 140316399975362 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21324] ppid=21318 vsize=10551232 memory=0 CPUtime=1.08 cores=1,3,5,7
/proc/21321/task/21324/stat : 21324 (java) S 21318 21321 7968 0 -1 1077944384 660 0 0 0 98 10 0 0 20 0 15 0 17004508 10804461568 192461 18446744073709551615 4194304 4196468 140723015196368 140316717378576 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0

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

[startup+18.4008 s]
/proc/loadavg: 2.26 2.08 2.06 3/213 21339
/proc/meminfo: memFree=27684976/32770624 swapFree=67108860/67108860
[pid=21321] ppid=21318 vsize=10617796 memory=2476512 CPUtime=31.18 cores=1,3,5,7
/proc/21321/stat : 21321 (java) S 21318 21321 7968 0 -1 1077944320 45064 0 0 0 2955 163 0 0 20 0 16 0 17004493 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140723015178912 140316760411895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 13 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
/proc/21321/statm: 2654449 619128 3114 1 0 2643902 0
[pid=21321/tid=21323] ppid=21318 vsize=10617796 memory=2476508 CPUtime=13.27 cores=1,3,5,7
/proc/21321/task/21323/stat : 21323 (java) R 21318 21321 7968 0 -1 4202560 11493 0 0 0 1318 9 0 0 20 0 16 0 17004507 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140316764647568 140316400985319 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21324] ppid=21318 vsize=10617796 memory=3868 CPUtime=3.69 cores=1,3,5,7
/proc/21321/task/21324/stat : 21324 (java) S 21318 21321 7968 0 -1 1077944384 5092 0 0 0 331 38 0 0 20 0 16 0 17004508 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140316717378576 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21325] ppid=21318 vsize=10617796 memory=-8774313645642428999 CPUtime=3.7 cores=1,3,5,7
/proc/21321/task/21325/stat : 21325 (java) S 21318 21321 7968 0 -1 1077944384 4328 0 0 0 332 38 0 0 20 0 16 0 17004508 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140316370459792 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21326] ppid=21318 vsize=10617796 memory=-6948047529741492128 CPUtime=3.69 cores=1,3,5,7
/proc/21321/task/21326/stat : 21326 (java) S 21318 21321 7968 0 -1 1077944384 2737 0 0 0 332 37 0 0 20 0 16 0 17004508 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140316369406736 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21327] ppid=21318 vsize=10617796 memory=6944656592455350634 CPUtime=3.71 cores=1,3,5,7
/proc/21321/task/21327/stat : 21327 (java) S 21318 21321 7968 0 -1 1077944384 5646 0 0 0 335 36 0 0 20 0 16 0 17004508 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140316368354192 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21328] ppid=21318 vsize=10617796 memory=-8990767739041718176 CPUtime=1.15 cores=1,3,5,7
/proc/21321/task/21328/stat : 21328 (java) S 21318 21321 7968 0 -1 1077944384 3178 0 0 0 115 0 0 0 20 0 16 0 17004509 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140316324452592 140316760423042 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21329] ppid=21318 vsize=10617796 memory=-7088785026379990432 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21329/stat : 21329 (java) S 21318 21321 7968 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 17004510 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140316323398880 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21330] ppid=21318 vsize=10617796 memory=2476512 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21330/stat : 21330 (java) S 21318 21321 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 17004510 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140316322345712 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21331] ppid=21318 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21331/stat : 21331 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17004512 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140316321294288 140316760430491 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21332] ppid=21318 vsize=10617796 memory=281389749496560 CPUtime=0.84 cores=1,3,5,7
/proc/21321/task/21332/stat : 21332 (java) S 21318 21321 7968 0 -1 1077944384 5494 0 0 0 83 1 0 0 20 0 16 0 17004512 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140316320242416 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21333] ppid=21318 vsize=10617796 memory=7091032337984545363 CPUtime=0.74 cores=1,3,5,7
/proc/21321/task/21333/stat : 21333 (java) S 21318 21321 7968 0 -1 1077944384 2923 0 0 0 74 0 0 0 20 0 16 0 17004512 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140316319189872 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21334] ppid=21318 vsize=10617796 memory=7649399384231326002 CPUtime=0.3 cores=1,3,5,7
/proc/21321/task/21334/stat : 21334 (java) S 21318 21321 7968 0 -1 1077944384 2138 0 0 0 30 0 0 0 20 0 16 0 17004512 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140316318136816 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21335] ppid=21318 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21335/stat : 21335 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17004513 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140316317084512 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21336] ppid=21318 vsize=10617796 memory=14212 CPUtime=0.01 cores=1,3,5,7
/proc/21321/task/21336/stat : 21336 (java) S 21318 21321 7968 0 -1 1077944384 621 0 0 0 0 1 0 0 20 0 16 0 17004518 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140316316031536 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21339] ppid=21318 vsize=10617796 memory=7237398200190523744 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21339/stat : 21339 (java) S 21318 21321 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 17005304 10872623104 619128 18446744073709551615 4194304 4196468 140723015196368 140316314977328 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
Current children cumulated CPU time: 31.18 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 2476512 KiB

[startup+18.8008 s]
/proc/loadavg: 2.26 2.08 2.06 3/213 21339
/proc/meminfo: memFree=27684976/32770624 swapFree=67108860/67108860
[pid=21321] ppid=21318 vsize=10617796 memory=2476576 CPUtime=31.62 cores=1,3,5,7
/proc/21321/stat : 21321 (java) S 21318 21321 7968 0 -1 1077944320 45848 0 0 0 2999 163 0 0 20 0 16 0 17004493 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140723015178912 140316760411895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 13 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
/proc/21321/statm: 2654449 619144 3114 1 0 2643902 0
[pid=21321/tid=21323] ppid=21318 vsize=10617796 memory=288230613214036277 CPUtime=13.67 cores=1,3,5,7
/proc/21321/task/21323/stat : 21323 (java) R 21318 21321 7968 0 -1 4202560 11597 0 0 0 1358 9 0 0 20 0 16 0 17004507 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140316764647568 140316400797646 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21324] ppid=21318 vsize=10617796 memory=15816711811106768 CPUtime=3.69 cores=1,3,5,7
/proc/21321/task/21324/stat : 21324 (java) S 21318 21321 7968 0 -1 1077944384 5092 0 0 0 331 38 0 0 20 0 16 0 17004508 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140316717378576 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21325] ppid=21318 vsize=10617796 memory=4064 CPUtime=3.7 cores=1,3,5,7
/proc/21321/task/21325/stat : 21325 (java) S 21318 21321 7968 0 -1 1077944384 4328 0 0 0 332 38 0 0 20 0 16 0 17004508 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140316370459792 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21326] ppid=21318 vsize=10617796 memory=1156 CPUtime=3.69 cores=1,3,5,7
/proc/21321/task/21326/stat : 21326 (java) S 21318 21321 7968 0 -1 1077944384 2737 0 0 0 332 37 0 0 20 0 16 0 17004508 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140316369406736 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21327] ppid=21318 vsize=10617796 memory=3192 CPUtime=3.71 cores=1,3,5,7
/proc/21321/task/21327/stat : 21327 (java) S 21318 21321 7968 0 -1 1077944384 5646 0 0 0 335 36 0 0 20 0 16 0 17004508 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140316368354192 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21328] ppid=21318 vsize=10617796 memory=0 CPUtime=1.15 cores=1,3,5,7
/proc/21321/task/21328/stat : 21328 (java) S 21318 21321 7968 0 -1 1077944384 3178 0 0 0 115 0 0 0 20 0 16 0 17004509 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140316324452592 140316760423042 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21329] ppid=21318 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21329/stat : 21329 (java) S 21318 21321 7968 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 17004510 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140316323398880 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21330] ppid=21318 vsize=10617796 memory=140694874622740 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21330/stat : 21330 (java) S 21318 21321 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 17004510 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140316322345712 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21331] ppid=21318 vsize=10617796 memory=2476224 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21331/stat : 21331 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17004512 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140316321294288 140316760430491 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21332] ppid=21318 vsize=10617796 memory=-8774313645642428999 CPUtime=0.86 cores=1,3,5,7
/proc/21321/task/21332/stat : 21332 (java) S 21318 21321 7968 0 -1 1077944384 5760 0 0 0 85 1 0 0 20 0 16 0 17004512 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140316320242416 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21333] ppid=21318 vsize=10617796 memory=3976732485301903408 CPUtime=0.76 cores=1,3,5,7
/proc/21321/task/21333/stat : 21333 (java) S 21318 21321 7968 0 -1 1077944384 3158 0 0 0 76 0 0 0 20 0 16 0 17004512 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140316319189872 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21334] ppid=21318 vsize=10617796 memory=2622 CPUtime=0.31 cores=1,3,5,7
/proc/21321/task/21334/stat : 21334 (java) S 21318 21321 7968 0 -1 1077944384 2317 0 0 0 31 0 0 0 20 0 16 0 17004512 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140316318136816 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21335] ppid=21318 vsize=10617796 memory=10 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21335/stat : 21335 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17004513 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140316317084512 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21336] ppid=21318 vsize=10617796 memory=6944652177228980320 CPUtime=0.01 cores=1,3,5,7
/proc/21321/task/21336/stat : 21336 (java) S 21318 21321 7968 0 -1 1077944384 621 0 0 0 0 1 0 0 20 0 16 0 17004518 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140316316031536 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21339] ppid=21318 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21339/stat : 21339 (java) S 21318 21321 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 17005304 10872623104 619144 18446744073709551615 4194304 4196468 140723015196368 140316314977328 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
Current children cumulated CPU time: 31.62 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 2476576 KiB

[startup+19.0008 s]*
/proc/loadavg: 2.26 2.08 2.06 2/213 21341
/proc/meminfo: memFree=27684852/32770624 swapFree=67108860/67108860
[pid=21321] ppid=21318 vsize=10750924 memory=2476724 CPUtime=31.82 cores=1,3,5,7
/proc/21321/stat : 21321 (java) S 21318 21321 7968 0 -1 1077944320 46412 0 0 0 3019 163 0 0 20 0 16 0 17004493 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140723015178912 140316760411895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 13 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
/proc/21321/statm: 2687731 619181 3116 1 0 2677184 0
[pid=21321/tid=21323] ppid=21318 vsize=10750924 memory=8318255677412212789 CPUtime=13.83 cores=1,3,5,7
/proc/21321/task/21323/stat : 21323 (java) S 21318 21321 7968 0 -1 1077944384 11918 0 0 0 1374 9 0 0 20 0 16 0 17004507 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316764652576 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21324] ppid=21318 vsize=10750924 memory=326 CPUtime=3.69 cores=1,3,5,7
/proc/21321/task/21324/stat : 21324 (java) S 21318 21321 7968 0 -1 1077944384 5092 0 0 0 331 38 0 0 20 0 16 0 17004508 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316717378576 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21325] ppid=21318 vsize=10750924 memory=288371071124764288 CPUtime=3.7 cores=1,3,5,7
/proc/21321/task/21325/stat : 21325 (java) S 21318 21321 7968 0 -1 1077944384 4328 0 0 0 332 38 0 0 20 0 16 0 17004508 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316370459792 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21326] ppid=21318 vsize=10750924 memory=0 CPUtime=3.69 cores=1,3,5,7
/proc/21321/task/21326/stat : 21326 (java) S 21318 21321 7968 0 -1 1077944384 2737 0 0 0 332 37 0 0 20 0 16 0 17004508 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316369406736 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21327] ppid=21318 vsize=10750924 memory=-1 CPUtime=3.71 cores=1,3,5,7
/proc/21321/task/21327/stat : 21327 (java) S 21318 21321 7968 0 -1 1077944384 5646 0 0 0 335 36 0 0 20 0 16 0 17004508 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316368354192 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21328] ppid=21318 vsize=10750924 memory=140694973052544 CPUtime=1.15 cores=1,3,5,7
/proc/21321/task/21328/stat : 21328 (java) S 21318 21321 7968 0 -1 1077944384 3195 0 0 0 115 0 0 0 20 0 16 0 17004509 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316324452592 140316760423042 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21329] ppid=21318 vsize=10750924 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21329/stat : 21329 (java) S 21318 21321 7968 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 17004510 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316323398880 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21330] ppid=21318 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21330/stat : 21330 (java) S 21318 21321 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 17004510 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316322345712 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21331] ppid=21318 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21331/stat : 21331 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17004512 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316321294288 140316760430491 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21332] ppid=21318 vsize=10750924 memory=0 CPUtime=0.88 cores=1,3,5,7
/proc/21321/task/21332/stat : 21332 (java) S 21318 21321 7968 0 -1 1077944384 5786 0 0 0 87 1 0 0 20 0 16 0 17004512 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316320242416 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21333] ppid=21318 vsize=10750924 memory=-1 CPUtime=0.77 cores=1,3,5,7
/proc/21321/task/21333/stat : 21333 (java) S 21318 21321 7968 0 -1 1077944384 3168 0 0 0 77 0 0 0 20 0 16 0 17004512 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316319189872 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21334] ppid=21318 vsize=10750924 memory=140694973052544 CPUtime=0.32 cores=1,3,5,7
/proc/21321/task/21334/stat : 21334 (java) S 21318 21321 7968 0 -1 1077944384 2365 0 0 0 32 0 0 0 20 0 16 0 17004512 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316318136816 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21335] ppid=21318 vsize=10750924 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21335/stat : 21335 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17004513 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316317084512 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21336] ppid=21318 vsize=10750924 memory=140694973052544 CPUtime=0.01 cores=1,3,5,7
/proc/21321/task/21336/stat : 21336 (java) S 21318 21321 7968 0 -1 1077944384 621 0 0 0 0 1 0 0 20 0 16 0 17004518 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316316031536 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21340] ppid=21318 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21340/stat : 21340 (java) S 21318 21321 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 17006389 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316246008720 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
Current children cumulated CPU time: 31.82 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 2476724 KiB

[startup+19.1099 s]
/proc/loadavg: 2.26 2.08 2.06 2/213 21341
/proc/meminfo: memFree=27684852/32770624 swapFree=67108860/67108860
[pid=21321] ppid=21318 vsize=10750924 memory=2476724 CPUtime=31.82 cores=1,3,5,7
/proc/21321/stat : 21321 (java) S 21318 21321 7968 0 -1 1077944320 46412 0 0 0 3019 163 0 0 20 0 16 0 17004493 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140723015178912 140316760411895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 13 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
/proc/21321/statm: 2687731 619181 3116 1 0 2677184 0
[pid=21321/tid=21323] ppid=21318 vsize=10750924 memory=2476512 CPUtime=13.83 cores=1,3,5,7
/proc/21321/task/21323/stat : 21323 (java) S 21318 21321 7968 0 -1 1077944384 11918 0 0 0 1374 9 0 0 20 0 16 0 17004507 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316764652576 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21324] ppid=21318 vsize=10750924 memory=4124 CPUtime=3.69 cores=1,3,5,7
/proc/21321/task/21324/stat : 21324 (java) S 21318 21321 7968 0 -1 1077944384 5092 0 0 0 331 38 0 0 20 0 16 0 17004508 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316717378576 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21325] ppid=21318 vsize=10750924 memory=13008 CPUtime=3.7 cores=1,3,5,7
/proc/21321/task/21325/stat : 21325 (java) S 21318 21321 7968 0 -1 1077944384 4328 0 0 0 332 38 0 0 20 0 16 0 17004508 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316370459792 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21326] ppid=21318 vsize=10750924 memory=4124 CPUtime=3.69 cores=1,3,5,7
/proc/21321/task/21326/stat : 21326 (java) S 21318 21321 7968 0 -1 1077944384 2737 0 0 0 332 37 0 0 20 0 16 0 17004508 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316369406736 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21327] ppid=21318 vsize=10750924 memory=13008 CPUtime=3.71 cores=1,3,5,7
/proc/21321/task/21327/stat : 21327 (java) S 21318 21321 7968 0 -1 1077944384 5646 0 0 0 335 36 0 0 20 0 16 0 17004508 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316368354192 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21328] ppid=21318 vsize=10750924 memory=-7175753904026764170 CPUtime=1.15 cores=1,3,5,7
/proc/21321/task/21328/stat : 21328 (java) S 21318 21321 7968 0 -1 1077944384 3195 0 0 0 115 0 0 0 20 0 16 0 17004509 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316324452592 140316760423042 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21329] ppid=21318 vsize=10750924 memory=7681407940103534239 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21329/stat : 21329 (java) S 21318 21321 7968 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 17004510 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316323398880 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21330] ppid=21318 vsize=10750924 memory=840 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21330/stat : 21330 (java) S 21318 21321 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 17004510 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316322345712 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21331] ppid=21318 vsize=10750924 memory=3880 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21331/stat : 21331 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17004512 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316321294288 140316760430491 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21332] ppid=21318 vsize=10750924 memory=2476224 CPUtime=0.88 cores=1,3,5,7
/proc/21321/task/21332/stat : 21332 (java) S 21318 21321 7968 0 -1 1077944384 5786 0 0 0 87 1 0 0 20 0 16 0 17004512 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316320242416 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21333] ppid=21318 vsize=10750924 memory=2476564 CPUtime=0.77 cores=1,3,5,7
/proc/21321/task/21333/stat : 21333 (java) S 21318 21321 7968 0 -1 1077944384 3168 0 0 0 77 0 0 0 20 0 16 0 17004512 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316319189872 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21334] ppid=21318 vsize=10750924 memory=2476564 CPUtime=0.32 cores=1,3,5,7
/proc/21321/task/21334/stat : 21334 (java) S 21318 21321 7968 0 -1 1077944384 2365 0 0 0 32 0 0 0 20 0 16 0 17004512 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316318136816 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21335] ppid=21318 vsize=10750924 memory=2476224 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21335/stat : 21335 (java) S 21318 21321 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17004513 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316317084512 140316760422101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21336] ppid=21318 vsize=10750924 memory=56 CPUtime=0.01 cores=1,3,5,7
/proc/21321/task/21336/stat : 21336 (java) S 21318 21321 7968 0 -1 1077944384 621 0 0 0 0 1 0 0 20 0 16 0 17004518 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316316031536 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
[pid=21321/tid=21340] ppid=21318 vsize=10750924 memory=7300761882994059666 CPUtime=0 cores=1,3,5,7
/proc/21321/task/21340/stat : 21340 (java) S 21318 21321 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 17006389 11008946176 619181 18446744073709551615 4194304 4196468 140723015196368 140316246008720 140316760423042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24567808 140723015201169 140723015201322 140723015201322 140723015204815 0
Current children cumulated CPU time: 31.82 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 2476724 KiB

Child status: 0
Real time (s): 19.1788
CPU time (s): 31.8501
CPU user time (s): 30.1993
CPU system time (s): 1.65074
CPU usage (%): 166.069
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 2482988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.1993
system time used= 1.65074
maximum resident set size= 2482988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47297
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2845
involuntary context switches= 165


# summary of solver processes directly reported to runsolver:
#   pid: 21321
#   total CPU time (s): 31.8501
#   total CPU user time (s): 30.1993
#   total CPU system time (s): 1.65074

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.145979 second user time and 0.223656 second system time

The end

Name	Nonogram/Nonogram-regular-gp/ Nonogram-108-regular.xml
MD5SUM	027923484d27a63c58a8ab959921f76a
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.033723
Satisfiable
(Un)Satisfiability was proved
Number of variables	1024
Number of constraints	64
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":1024}]
Minimum variable degree	2
Maximum variable degree	2
Distribution of variable degrees	[{"degree":2,"count":1024}]
Minimum constraint arity	32
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":32,"count":64}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"regular","count":64}]
Optimization problem	NO
Type of objective

Trace number 4263439

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data