2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j-CSP 2018-07-11	SAT (TO)	151	252.153	235.938

14.24/7.36	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
14.24/7.36	c This is free software under the dual EPL/GNU LGPL licenses.
14.24/7.36	c See www.sat4j.org for details.
14.24/7.36	c That software uses the Rhino library from the Mozilla project.
14.24/7.36	c version 2.3.6-SNAPSHOT
14.24/7.36	c java.runtime.name	Java(TM) SE Runtime Environment
14.24/7.36	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
14.24/7.36	c java.vm.version	25.131-b11
14.24/7.36	c java.vm.vendor	Oracle Corporation
14.24/7.36	c sun.arch.data.model	64
14.24/7.36	c java.version		1.8.0_131
14.24/7.36	c os.name		Linux
14.24/7.36	c os.version		3.10.0-514.16.1.el7.x86_64
14.24/7.36	c os.arch		amd64
14.24/7.36	c Free memory 		499604488
14.24/7.36	c Max memory 		7247757312
14.24/7.36	c Total memory 		504889344
14.24/7.36	c Number of processors 	4
14.24/7.36	c c --- Begin Solver configuration ---
14.24/7.36	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
14.24/7.36	c Learn all clauses as in MiniSAT
14.24/7.36	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
14.24/7.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
14.24/7.36	c No reason simplification
14.24/7.36	c Glucose 2.1 dynamic restart strategy
14.24/7.36	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
14.24/7.36	c timeout=2147483s
14.24/7.36	c DB Simplification allowed=false
14.24/7.36	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
14.24/7.36	c --- End Solver configuration ---
14.24/7.36	c constraints type 
14.24/7.36	c org.sat4j.minisat.constraints.card.MinWatchCard => 244
14.24/7.36	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6176192
14.24/7.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1071000
14.24/7.36	c org.sat4j.minisat.constraints.cnf.UnitClause => 180
14.24/7.36	c 7247616 constraints processed.
54.28/45.17	o 172
74.74/58.97	o 151
252.12/235.90	c starts		: 197
252.12/235.90	c conflicts		: 63710
252.12/235.90	c decisions		: 33811455
252.12/235.90	c propagations		: 768941971
252.12/235.90	c inspects		: 911226723
252.12/235.90	c shortcuts		: 0
252.12/235.90	c learnt literals	: 0
252.12/235.90	c learnt binary clauses	: 1189
252.12/235.90	c learnt ternary clauses	: 1351
252.12/235.90	c learnt constraints	: 63710
252.12/235.90	c ignored constraints	: 0
252.12/235.90	c root simplifications	: 0
252.12/235.90	c removed literals (reason simplification)	: 0
252.12/235.90	c reason swapping (by a shorter reason)	: 0
252.12/235.90	c Calls to reduceDB	: 8
252.12/235.90	c Number of update (reduction) of LBD	: 36232
252.12/235.90	c Imported unit clauses	: 0
252.12/235.90	c number of reductions to clauses (during analyze)	: 0
252.12/235.90	c number of learned constraints concerned by reduction	: 0
252.12/235.90	c number of learning phase by resolution	: 0
252.12/235.90	c number of learning phase by cutting planes	: 0
252.12/235.90	c number of rounding to 1 operations	: 0
252.12/235.90	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
252.12/235.90	c number of reductions of the coefficients by power 2 	: 0
252.12/235.90	c number of right shift for reduction by power 2 	: 0
252.12/235.90	c number of reductions of the coefficients by GCD over coefficients 	: 0
252.12/235.90	c number of ending skipping 	: 0
252.12/235.90	c number of internal skipping 	: 0
252.12/235.90	c number of derivation steps 	: 0
252.12/235.90	c number of skipped derivation steps 	: 0
252.12/235.90	c number of remaining unassigned 	: 0
252.12/235.90	c number of remaining assigned 	: 0
252.12/235.90	c speed (assignments/second)	: 3365423.1211950122
252.12/235.90	c non guided choices	: 7222350
252.12/235.90	s SATISFIABLE
252.12/235.91	v <instantiation type="solution">
252.12/235.91	v 	<list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] </list>
252.12/235.91	v 	<values> 11 19 13 17 25 21 15 29 22 30 27 6 0 24 1 18 31 26 12 20 16 9 8 3 14 5 23 7 10 2 28 4 0 1 0 2 1 0 0 2 3 2 0 0 0 2 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 2 0 0 0 2 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 2 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 0 0 0 2 0 3 2 0 4 0 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 2 0 0 0 1 2 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 0 0 3 2 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 1 2 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 3 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 0 1 0 3 1 0 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 0 0 0 0 1 2 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 0 0 0 0 3 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 0 0 0 0 0 0 0 0 0 0 0 0 1 2 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 2 3 3 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 2 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
252.12/235.91	v </instantiation>
252.12/235.91

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301631-1532883155/watcher-4301631-1532883155 -o /tmp/evaluation-result-4301631-1532883155/solver-4301631-1532883155 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22036 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301631-1532883155.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=27514, runsolver pid=27511
Current StackSize limit: 8192 KiB


[startup+0.107414 s]*
/proc/loadavg: 2.83 2.87 2.64 4/216 27529
/proc/meminfo: memFree=27882940/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=10659044 memory=30388 CPUtime=0.14 cores=1,3,5,7
/proc/27514/stat : 27514 (java) S 27511 27514 22004 0 -1 1077944320 6739 0 0 0 12 2 0 0 20 0 15 0 105878701 10914861056 7597 33554432000 4194304 4196468 140730259400816 140730259383360 139699694538487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
/proc/27514/statm: 2664761 7597 2844 1 0 2627271 0
[pid=27514/tid=27516] ppid=27511 vsize=10659012 memory=-8773748148829851008 CPUtime=0.1 cores=1,3,5,7
/proc/27514/task/27516/stat : 27516 (java) D 27511 27514 22004 0 -1 1077944384 4603 0 0 0 9 1 0 0 20 0 15 0 105878701 10914828288 7648 33554432000 4194304 4196468 140730259400816 139699698749216 139699687217709 0 4 0 16800975 18446744072101756452 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27517] ppid=27511 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27517/stat : 27517 (java) S 27511 27514 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105878702 10914828288 7648 33554432000 4194304 4196468 140730259400816 139699651091344 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27518] ppid=27511 vsize=10659012 memory=140660714141312 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27518/stat : 27518 (java) S 27511 27514 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105878702 10914828288 7648 33554432000 4194304 4196468 140730259400816 139699300522768 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27519] ppid=27511 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27519/stat : 27519 (java) S 27511 27514 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105878702 10914828288 7648 33554432000 4194304 4196468 140730259400816 139699299470480 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27520] ppid=27511 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27520/stat : 27520 (java) S 27511 27514 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105878702 10914828288 7648 33554432000 4194304 4196468 140730259400816 139699298417680 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27521] ppid=27511 vsize=10659044 memory=140660714141312 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27521/stat : 27521 (java) S 27511 27514 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105878703 10914861056 7648 33554432000 4194304 4196468 140730259400816 139699254143088 139699694549634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27522] ppid=27511 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27522/stat : 27522 (java) S 27511 27514 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105878704 10914828288 7648 33554432000 4194304 4196468 140730259400816 139699253089056 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27523] ppid=27511 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27523/stat : 27523 (java) S 27511 27514 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105878704 10914828288 7648 33554432000 4194304 4196468 140730259400816 139699252036720 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27524] ppid=27511 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27524/stat : 27524 (java) S 27511 27514 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105878706 10914828288 7648 33554432000 4194304 4196468 140730259400816 139699250985040 139699694557083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27525] ppid=27511 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27525/stat : 27525 (java) S 27511 27514 22004 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 105878706 10914828288 7648 33554432000 4194304 4196468 140730259400816 139699249932912 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27526] ppid=27511 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27526/stat : 27526 (java) S 27511 27514 22004 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 105878706 10914828288 7648 33554432000 4194304 4196468 140730259400816 139699248880112 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27527] ppid=27511 vsize=10659012 memory=140660714141312 CPUtime=0.02 cores=1,3,5,7
/proc/27514/task/27527/stat : 27527 (java) S 27511 27514 22004 0 -1 1077944384 326 0 0 0 2 0 0 0 20 0 15 0 105878706 10914828288 7648 33554432000 4194304 4196468 140730259400816 139699180006256 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27528] ppid=27511 vsize=10659044 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27528/stat : 27528 (java) S 27511 27514 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105878706 10914861056 7648 33554432000 4194304 4196468 140730259400816 139699178953696 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27529] ppid=27511 vsize=10659044 memory=140660714141312 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27529/stat : 27529 (java) S 27511 27514 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105878707 10914861056 7648 33554432000 4194304 4196468 140730259400816 139699177900464 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659044 KiB
Current children cumulated memory: 30388 KiB

[startup+0.210521 s]*
/proc/loadavg: 2.83 2.87 2.64 4/216 27529
/proc/meminfo: memFree=27874272/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=10659012 memory=41812 CPUtime=0.33 cores=1,3,5,7
/proc/27514/stat : 27514 (java) S 27511 27514 22004 0 -1 1077944320 8036 0 0 0 30 3 0 0 20 0 15 0 105878701 10914828288 10453 33554432000 4194304 4196468 140730259400816 140730259383360 139699694538487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
/proc/27514/statm: 2664753 10453 3011 1 0 2627263 0
[pid=27514/tid=27516] ppid=27511 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/27514/task/27516/stat : 27516 (java) R 27511 27514 22004 0 -1 4202560 5017 0 0 0 19 1 0 0 20 0 15 0 105878701 10914828288 10453 33554432000 4194304 4196468 140730259400816 139699698774328 139699680607571 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27517] ppid=27511 vsize=10659012 memory=364 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27517/stat : 27517 (java) S 27511 27514 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105878702 10914828288 10453 33554432000 4194304 4196468 140730259400816 139699651091344 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27518] ppid=27511 vsize=10659012 memory=140660714163600 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27518/stat : 27518 (java) S 27511 27514 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105878702 10914828288 10453 33554432000 4194304 4196468 140730259400816 139699300522768 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27519] ppid=27511 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27519/stat : 27519 (java) S 27511 27514 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105878702 10914828288 10453 33554432000 4194304 4196468 140730259400816 139699299470480 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27520] ppid=27511 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27520/stat : 27520 (java) S 27511 27514 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105878702 10914828288 10453 33554432000 4194304 4196468 140730259400816 139699298417680 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27521] ppid=27511 vsize=10659012 memory=140660714141312 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27521/stat : 27521 (java) S 27511 27514 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105878703 10914828288 10453 33554432000 4194304 4196468 140730259400816 139699254143088 139699694549634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27522] ppid=27511 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27522/stat : 27522 (java) S 27511 27514 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105878704 10914828288 10453 33554432000 4194304 4196468 140730259400816 139699253089056 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27523] ppid=27511 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27523/stat : 27523 (java) S 27511 27514 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105878704 10914828288 10453 33554432000 4194304 4196468 140730259400816 139699252036720 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27524] ppid=27511 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27524/stat : 27524 (java) S 27511 27514 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105878706 10914828288 10453 33554432000 4194304 4196468 140730259400816 139699250985040 139699694557083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27525] ppid=27511 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27514/task/27525/stat : 27525 (java) S 27511 27514 22004 0 -1 1077944384 595 0 0 0 2 0 0 0 20 0 15 0 105878706 10914828288 10453 33554432000 4194304 4196468 140730259400816 139699249932912 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27526] ppid=27511 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27514/task/27526/stat : 27526 (java) S 27511 27514 22004 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 15 0 105878706 10914828288 10453 33554432000 4194304 4196468 140730259400816 139699248880112 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27527] ppid=27511 vsize=10659012 memory=140660714141312 CPUtime=0.07 cores=1,3,5,7
/proc/27514/task/27527/stat : 27527 (java) R 27511 27514 22004 0 -1 4202560 670 0 0 0 7 0 0 0 20 0 15 0 105878706 10914828288 10453 33554432000 4194304 4196468 140730259400816 139699180006256 139699686775614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27528] ppid=27511 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27528/stat : 27528 (java) S 27511 27514 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105878706 10914828288 10453 33554432000 4194304 4196468 140730259400816 139699178953696 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27529] ppid=27511 vsize=10659012 memory=140660714141312 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27529/stat : 27529 (java) S 27511 27514 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105878707 10914828288 10453 33554432000 4194304 4196468 140730259400816 139699177900464 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41812 KiB

[startup+0.315411 s]*
/proc/loadavg: 2.83 2.87 2.64 7/216 27529
/proc/meminfo: memFree=27864904/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=10659088 memory=48972 CPUtime=0.55 cores=1,3,5,7
/proc/27514/stat : 27514 (java) S 27511 27514 22004 0 -1 1077944320 9023 0 0 0 52 3 0 0 20 0 15 0 105878701 10914906112 12243 33554432000 4194304 4196468 140730259400816 140730259383360 139699694538487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
/proc/27514/statm: 2664772 12243 3052 1 0 2627263 0
[pid=27514/tid=27516] ppid=27511 vsize=10659088 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/27514/task/27516/stat : 27516 (java) R 27511 27514 22004 0 -1 4202560 5763 0 0 0 28 1 0 0 20 0 15 0 105878701 10914906112 12243 33554432000 4194304 4196468 140730259400816 139699698773184 139699678618974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27517] ppid=27511 vsize=10659088 memory=288230600429797399 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27517/stat : 27517 (java) S 27511 27514 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105878702 10914906112 12243 33554432000 4194304 4196468 140730259400816 139699651091344 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27518] ppid=27511 vsize=10659088 memory=140660714163573 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27518/stat : 27518 (java) S 27511 27514 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105878702 10914906112 12243 33554432000 4194304 4196468 140730259400816 139699300522768 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27519] ppid=27511 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27519/stat : 27519 (java) S 27511 27514 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105878702 10914906112 12243 33554432000 4194304 4196468 140730259400816 139699299470480 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27520] ppid=27511 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27520/stat : 27520 (java) S 27511 27514 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105878702 10914906112 12243 33554432000 4194304 4196468 140730259400816 139699298417680 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27521] ppid=27511 vsize=10659088 memory=140660714141312 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27521/stat : 27521 (java) S 27511 27514 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105878703 10914906112 12243 33554432000 4194304 4196468 140730259400816 139699254143088 139699694549634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27522] ppid=27511 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27522/stat : 27522 (java) S 27511 27514 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105878704 10914906112 12243 33554432000 4194304 4196468 140730259400816 139699253089056 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27523] ppid=27511 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27523/stat : 27523 (java) S 27511 27514 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105878704 10914906112 12243 33554432000 4194304 4196468 140730259400816 139699252036720 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27524] ppid=27511 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27524/stat : 27524 (java) S 27511 27514 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105878706 10914906112 12243 33554432000 4194304 4196468 140730259400816 139699250985040 139699694557083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27525] ppid=27511 vsize=10659088 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27514/task/27525/stat : 27525 (java) R 27511 27514 22004 0 -1 4202560 620 0 0 0 5 0 0 0 20 0 15 0 105878706 10914906112 12243 33554432000 4194304 4196468 140730259400816 139699249932912 139699674200928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27526] ppid=27511 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/27514/task/27526/stat : 27526 (java) R 27511 27514 22004 0 -1 1077944384 505 0 0 0 4 0 0 0 20 0 15 0 105878706 10914906112 12243 33554432000 4194304 4196468 140730259400816 139699248880112 139699694549634 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27527] ppid=27511 vsize=10659088 memory=140660714141312 CPUtime=0.13 cores=1,3,5,7
/proc/27514/task/27527/stat : 27527 (java) R 27511 27514 22004 0 -1 4202560 768 0 0 0 13 0 0 0 20 0 15 0 105878706 10914906112 12243 33554432000 4194304 4196468 140730259400816 139699180003192 139699686775614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27528] ppid=27511 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27528/stat : 27528 (java) S 27511 27514 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105878706 10914906112 12243 33554432000 4194304 4196468 140730259400816 139699178953696 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27529] ppid=27511 vsize=10659088 memory=140660714141312 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27529/stat : 27529 (java) S 27511 27514 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105878707 10914906112 12243 33554432000 4194304 4196468 140730259400816 139699177900464 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 48972 KiB

[startup+0.700833 s]
/proc/loadavg: 2.83 2.87 2.64 5/216 27529
/proc/meminfo: memFree=27815472/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=10659088 memory=147428 CPUtime=1.79 cores=1,3,5,7
/proc/27514/stat : 27514 (java) S 27511 27514 22004 0 -1 1077944320 19234 0 0 0 173 6 0 0 20 0 15 0 105878701 10914906112 36857 33554432000 4194304 4196468 140730259400816 140730259383360 139699694538487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
/proc/27514/statm: 2664772 36857 3081 1 0 2627263 0
[pid=27514/tid=27516] ppid=27511 vsize=10659088 memory=1840 CPUtime=0.68 cores=1,3,5,7
/proc/27514/task/27516/stat : 27516 (java) R 27511 27514 22004 0 -1 4202560 6003 0 0 0 65 3 0 0 20 0 15 0 105878701 10914906112 36857 33554432000 4194304 4196468 140730259400816 139699698764008 139699334322312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27517] ppid=27511 vsize=10659088 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27517/stat : 27517 (java) S 27511 27514 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105878702 10914906112 36857 33554432000 4194304 4196468 140730259400816 139699651091344 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27518] ppid=27511 vsize=10659088 memory=12060 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27518/stat : 27518 (java) S 27511 27514 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105878702 10914906112 36857 33554432000 4194304 4196468 140730259400816 139699300522768 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27519] ppid=27511 vsize=10659088 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27519/stat : 27519 (java) S 27511 27514 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105878702 10914906112 36857 33554432000 4194304 4196468 140730259400816 139699299470480 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27520] ppid=27511 vsize=10659088 memory=792 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27520/stat : 27520 (java) S 27511 27514 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105878702 10914906112 36857 33554432000 4194304 4196468 140730259400816 139699298417680 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27521] ppid=27511 vsize=10659088 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27521/stat : 27521 (java) S 27511 27514 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105878703 10914906112 36857 33554432000 4194304 4196468 140730259400816 139699254143088 139699694549634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27522] ppid=27511 vsize=10659088 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27522/stat : 27522 (java) S 27511 27514 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105878704 10914906112 36857 33554432000 4194304 4196468 140730259400816 139699253089056 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27523] ppid=27511 vsize=10659088 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27523/stat : 27523 (java) S 27511 27514 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105878704 10914906112 36857 33554432000 4194304 4196468 140730259400816 139699252036720 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27524] ppid=27511 vsize=10659088 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27524/stat : 27524 (java) S 27511 27514 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105878706 10914906112 36857 33554432000 4194304 4196468 140730259400816 139699250985040 139699694557083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27525] ppid=27511 vsize=10659088 memory=7163631965283378496 CPUtime=0.41 cores=1,3,5,7
/proc/27514/task/27525/stat : 27525 (java) R 27511 27514 22004 0 -1 4202560 4518 0 0 0 41 0 0 0 20 0 15 0 105878706 10914906112 36857 33554432000 4194304 4196468 140730259400816 139699249914480 139699678785700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27526] ppid=27511 vsize=10659088 memory=7667213801450137426 CPUtime=0.39 cores=1,3,5,7
/proc/27514/task/27526/stat : 27526 (java) R 27511 27514 22004 0 -1 4202560 4351 0 0 0 38 1 0 0 20 0 15 0 105878706 10914906112 36857 33554432000 4194304 4196468 140730259400816 139699248861504 139699674382021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27527] ppid=27511 vsize=10659088 memory=6935658124599644240 CPUtime=0.29 cores=1,3,5,7
/proc/27514/task/27527/stat : 27527 (java) S 27511 27514 22004 0 -1 1077944384 2990 0 0 0 28 1 0 0 20 0 15 0 105878706 10914906112 36857 33554432000 4194304 4196468 140730259400816 139699180006256 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27528] ppid=27511 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27528/stat : 27528 (java) S 27511 27514 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105878706 10914906112 36857 33554432000 4194304 4196468 140730259400816 139699178953696 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27529] ppid=27511 vsize=10659088 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27529/stat : 27529 (java) S 27511 27514 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105878707 10914906112 36857 33554432000 4194304 4196468 140730259400816 139699177900464 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 147428 KiB

[startup+1.50742 s]
/proc/loadavg: 2.83 2.87 2.64 5/216 27529
/proc/meminfo: memFree=27684780/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=10659088 memory=392668 CPUtime=3.87 cores=1,3,5,7
/proc/27514/stat : 27514 (java) S 27511 27514 22004 0 -1 1077944320 20295 0 0 0 372 15 0 0 20 0 15 0 105878701 10914906112 98167 33554432000 4194304 4196468 140730259400816 140730259383360 139699694538487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
/proc/27514/statm: 2664772 98167 3144 1 0 2627263 0
[pid=27514/tid=27516] ppid=27511 vsize=10659088 memory=0 CPUtime=1.38 cores=1,3,5,7
/proc/27514/task/27516/stat : 27516 (java) S 27511 27514 22004 0 -1 1077944384 6085 0 0 0 133 5 0 0 20 0 15 0 105878701 10914906112 98167 33554432000 4194304 4196468 140730259400816 139699698775840 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27517] ppid=27511 vsize=10659088 memory=-6951259422114956437 CPUtime=0.05 cores=1,3,5,7
/proc/27514/task/27517/stat : 27517 (java) R 27511 27514 22004 0 -1 4202560 90 0 0 0 4 1 0 0 20 0 15 0 105878702 10914906112 98167 33554432000 4194304 4196468 140730259400816 139699651091344 139699679560556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27518] ppid=27511 vsize=10659088 memory=-6509546260019855295 CPUtime=0.07 cores=1,3,5,7
/proc/27514/task/27518/stat : 27518 (java) R 27511 27514 22004 0 -1 4202560 159 0 0 0 6 1 0 0 20 0 15 0 105878702 10914906112 98167 33554432000 4194304 4196468 140730259400816 139699300522968 139699679560562 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27519] ppid=27511 vsize=10659088 memory=-7390251449858225344 CPUtime=0.05 cores=1,3,5,7
/proc/27514/task/27519/stat : 27519 (java) R 27511 27514 22004 0 -1 4202560 50 0 0 0 4 1 0 0 20 0 15 0 105878702 10914906112 98167 33554432000 4194304 4196468 140730259400816 139699299470480 139699679565610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27520] ppid=27511 vsize=10659088 memory=4134692831991786133 CPUtime=0.08 cores=1,3,5,7
/proc/27514/task/27520/stat : 27520 (java) R 27511 27514 22004 0 -1 4202560 176 0 0 0 7 1 0 0 20 0 15 0 105878702 10914906112 98167 33554432000 4194304 4196468 140730259400816 139699298417680 139699676164393 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27521] ppid=27511 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27521/stat : 27521 (java) S 27511 27514 22004 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 105878703 10914906112 98167 33554432000 4194304 4196468 140730259400816 139699254141600 139699694548693 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0

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

/proc/27514/task/27518/stat : 27518 (java) S 27511 27514 22004 0 -1 1077944384 1971 0 0 0 318 24 0 0 20 0 16 0 105878702 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699300522768 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27519] ppid=27511 vsize=10725652 memory=2246256 CPUtime=3.38 cores=1,3,5,7
/proc/27514/task/27519/stat : 27519 (java) S 27511 27514 22004 0 -1 1077944384 3008 0 0 0 314 24 0 0 20 0 16 0 105878702 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699299470480 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27520] ppid=27511 vsize=10725652 memory=2246256 CPUtime=3.43 cores=1,3,5,7
/proc/27514/task/27520/stat : 27520 (java) S 27511 27514 22004 0 -1 1077944384 4201 0 0 0 318 25 0 0 20 0 16 0 105878702 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699298417680 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27521] ppid=27511 vsize=10725652 memory=12060 CPUtime=1.62 cores=1,3,5,7
/proc/27514/task/27521/stat : 27521 (java) S 27511 27514 22004 0 -1 1077944384 4401 0 0 0 162 0 0 0 20 0 16 0 105878703 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699254143088 139699694549634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27522] ppid=27511 vsize=10725652 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27522/stat : 27522 (java) S 27511 27514 22004 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 105878704 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699253089120 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27523] ppid=27511 vsize=10725652 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27523/stat : 27523 (java) S 27511 27514 22004 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 105878704 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699252036736 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27524] ppid=27511 vsize=10725652 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27524/stat : 27524 (java) S 27511 27514 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105878706 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699250985040 139699694557083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27525] ppid=27511 vsize=10725652 memory=6791534058613427641 CPUtime=2.82 cores=1,3,5,7
/proc/27514/task/27525/stat : 27525 (java) S 27511 27514 22004 0 -1 1077944384 10462 0 0 0 281 1 0 0 20 0 16 0 105878706 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699249932912 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27526] ppid=27511 vsize=10725652 memory=2246256 CPUtime=2.65 cores=1,3,5,7
/proc/27514/task/27526/stat : 27526 (java) S 27511 27514 22004 0 -1 1077944384 10983 0 0 0 263 2 0 0 20 0 16 0 105878706 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699248880112 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27527] ppid=27511 vsize=10725652 memory=2246256 CPUtime=0.47 cores=1,3,5,7
/proc/27514/task/27527/stat : 27527 (java) S 27511 27514 22004 0 -1 1077944384 4861 0 0 0 46 1 0 0 20 0 16 0 105878706 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699180006256 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27528] ppid=27511 vsize=10725652 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27528/stat : 27528 (java) S 27511 27514 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105878706 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699178953696 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27529] ppid=27511 vsize=10725652 memory=281321164238256 CPUtime=0.13 cores=1,3,5,7
/proc/27514/task/27529/stat : 27529 (java) S 27511 27514 22004 0 -1 1077944384 252 0 0 0 6 7 0 0 20 0 16 0 105878707 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699177900464 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27530] ppid=27511 vsize=10725652 memory=281321164562096 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27530/stat : 27530 (java) S 27511 27514 22004 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 105879443 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699176846000 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
Current children cumulated CPU time: 238.6 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 2246256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+235.701 s]
/proc/loadavg: 2.09 2.42 2.50 3/217 27534
/proc/meminfo: memFree=25553284/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=10725652 memory=2246256 CPUtime=252.01 cores=1,3,5,7
/proc/27514/stat : 27514 (java) S 27511 27514 22004 0 -1 1077944320 62333 0 0 0 25075 126 0 0 20 0 16 0 105878701 10983067648 561564 33554432000 4194304 4196468 140730259400816 140730259383360 139699694538487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
/proc/27514/statm: 2681413 561564 3189 1 0 2643904 0
[pid=27514/tid=27516] ppid=27511 vsize=10725652 memory=2246256 CPUtime=230.57 cores=1,3,5,7
/proc/27514/task/27516/stat : 27516 (java) R 27511 27514 22004 0 -1 4202560 18396 0 0 0 23041 16 0 0 20 0 16 0 105878701 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699698777128 139699337467243 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27517] ppid=27511 vsize=10725652 memory=2246256 CPUtime=3.41 cores=1,3,5,7
/proc/27514/task/27517/stat : 27517 (java) S 27511 27514 22004 0 -1 1077944384 2389 0 0 0 319 22 0 0 20 0 16 0 105878702 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699651091344 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27518] ppid=27511 vsize=10725652 memory=2246256 CPUtime=3.42 cores=1,3,5,7
/proc/27514/task/27518/stat : 27518 (java) S 27511 27514 22004 0 -1 1077944384 1971 0 0 0 318 24 0 0 20 0 16 0 105878702 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699300522768 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27519] ppid=27511 vsize=10725652 memory=2200 CPUtime=3.38 cores=1,3,5,7
/proc/27514/task/27519/stat : 27519 (java) S 27511 27514 22004 0 -1 1077944384 3008 0 0 0 314 24 0 0 20 0 16 0 105878702 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699299470480 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27520] ppid=27511 vsize=10725652 memory=56 CPUtime=3.43 cores=1,3,5,7
/proc/27514/task/27520/stat : 27520 (java) S 27511 27514 22004 0 -1 1077944384 4201 0 0 0 318 25 0 0 20 0 16 0 105878702 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699298417680 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27521] ppid=27511 vsize=10725652 memory=7454130749351154278 CPUtime=1.62 cores=1,3,5,7
/proc/27514/task/27521/stat : 27521 (java) S 27511 27514 22004 0 -1 1077944384 4401 0 0 0 162 0 0 0 20 0 16 0 105878703 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699254143088 139699694549634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27522] ppid=27511 vsize=10725652 memory=2246256 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27522/stat : 27522 (java) S 27511 27514 22004 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 105878704 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699253089120 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27523] ppid=27511 vsize=10725652 memory=2246256 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27523/stat : 27523 (java) S 27511 27514 22004 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 105878704 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699252036736 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27524] ppid=27511 vsize=10725652 memory=2246256 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27524/stat : 27524 (java) S 27511 27514 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105878706 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699250985040 139699694557083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27525] ppid=27511 vsize=10725652 memory=2246256 CPUtime=2.82 cores=1,3,5,7
/proc/27514/task/27525/stat : 27525 (java) S 27511 27514 22004 0 -1 1077944384 10462 0 0 0 281 1 0 0 20 0 16 0 105878706 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699249932912 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27526] ppid=27511 vsize=10725652 memory=2246256 CPUtime=2.65 cores=1,3,5,7
/proc/27514/task/27526/stat : 27526 (java) S 27511 27514 22004 0 -1 1077944384 10983 0 0 0 263 2 0 0 20 0 16 0 105878706 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699248880112 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27527] ppid=27511 vsize=10725652 memory=4028 CPUtime=0.47 cores=1,3,5,7
/proc/27514/task/27527/stat : 27527 (java) S 27511 27514 22004 0 -1 1077944384 4861 0 0 0 46 1 0 0 20 0 16 0 105878706 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699180006256 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27528] ppid=27511 vsize=10725652 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27528/stat : 27528 (java) S 27511 27514 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105878706 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699178953696 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27529] ppid=27511 vsize=10725652 memory=7236248137064671083 CPUtime=0.14 cores=1,3,5,7
/proc/27514/task/27529/stat : 27529 (java) S 27511 27514 22004 0 -1 1077944384 252 0 0 0 7 7 0 0 20 0 16 0 105878707 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699177900464 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27530] ppid=27511 vsize=10725652 memory=2246256 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27530/stat : 27530 (java) S 27511 27514 22004 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 105879443 10983067648 561564 33554432000 4194304 4196468 140730259400816 139699176846000 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 2246256 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+235.938 s]
# the end of solver process 27514 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.872 s, system=1.28131 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+235.805 s]
/proc/loadavg: 2.09 2.42 2.50 3/217 27534
/proc/meminfo: memFree=25553284/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=10925344 memory=2246664 CPUtime=252.12 cores=1,3,5,7
/proc/27514/stat : 27514 (java) S 27511 27514 22004 0 -1 1077944320 63609 0 0 0 25086 126 0 0 20 0 17 0 105878701 11187552256 561666 33554432000 4194304 4196468 140730259400816 140730259383360 139699694538487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
/proc/27514/statm: 2731336 561666 3191 1 0 2693827 0
[pid=27514/tid=27516] ppid=27511 vsize=10925344 memory=4108 CPUtime=230.68 cores=1,3,5,7
/proc/27514/task/27516/stat : 27516 (java) R 27511 27514 22004 0 -1 4202560 18620 0 0 0 23052 16 0 0 20 0 17 0 105878701 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699698776400 139699336919197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27517] ppid=27511 vsize=10925344 memory=1404 CPUtime=3.41 cores=1,3,5,7
/proc/27514/task/27517/stat : 27517 (java) S 27511 27514 22004 0 -1 1077944384 2389 0 0 0 319 22 0 0 20 0 17 0 105878702 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699651091344 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27518] ppid=27511 vsize=10925344 memory=3164 CPUtime=3.42 cores=1,3,5,7
/proc/27514/task/27518/stat : 27518 (java) S 27511 27514 22004 0 -1 1077944384 1971 0 0 0 318 24 0 0 20 0 17 0 105878702 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699300522768 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27519] ppid=27511 vsize=10925344 memory=543312 CPUtime=3.38 cores=1,3,5,7
/proc/27514/task/27519/stat : 27519 (java) S 27511 27514 22004 0 -1 1077944384 3008 0 0 0 314 24 0 0 20 0 17 0 105878702 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699299470480 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27520] ppid=27511 vsize=10925344 memory=1404 CPUtime=3.43 cores=1,3,5,7
/proc/27514/task/27520/stat : 27520 (java) S 27511 27514 22004 0 -1 1077944384 4201 0 0 0 318 25 0 0 20 0 17 0 105878702 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699298417680 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27521] ppid=27511 vsize=10925344 memory=3180 CPUtime=1.62 cores=1,3,5,7
/proc/27514/task/27521/stat : 27521 (java) S 27511 27514 22004 0 -1 1077944384 4438 0 0 0 162 0 0 0 20 0 17 0 105878703 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699254143088 139699694549634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27522] ppid=27511 vsize=10925344 memory=12060 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27522/stat : 27522 (java) S 27511 27514 22004 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 105878704 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699253089120 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27523] ppid=27511 vsize=10925344 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27523/stat : 27523 (java) S 27511 27514 22004 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 105878704 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699252036736 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27524] ppid=27511 vsize=10925344 memory=792 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27524/stat : 27524 (java) S 27511 27514 22004 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 17 0 105878706 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699250985040 139699694557083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27525] ppid=27511 vsize=10925344 memory=1228 CPUtime=2.82 cores=1,3,5,7
/proc/27514/task/27525/stat : 27525 (java) S 27511 27514 22004 0 -1 1077944384 10511 0 0 0 281 1 0 0 20 0 17 0 105878706 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699249932912 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27526] ppid=27511 vsize=10925344 memory=1944 CPUtime=2.65 cores=1,3,5,7
/proc/27514/task/27526/stat : 27526 (java) S 27511 27514 22004 0 -1 1077944384 11124 0 0 0 263 2 0 0 20 0 17 0 105878706 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699248880112 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27527] ppid=27511 vsize=10925344 memory=1416 CPUtime=0.47 cores=1,3,5,7
/proc/27514/task/27527/stat : 27527 (java) S 27511 27514 22004 0 -1 1077944384 5095 0 0 0 46 1 0 0 20 0 17 0 105878706 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699180006256 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27528] ppid=27511 vsize=10925344 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27528/stat : 27528 (java) S 27511 27514 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105878706 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699178953696 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27529] ppid=27511 vsize=10925344 memory=8508 CPUtime=0.14 cores=1,3,5,7
/proc/27514/task/27529/stat : 27529 (java) S 27511 27514 22004 0 -1 1077944384 252 0 0 0 7 7 0 0 20 0 17 0 105878707 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699177900464 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
Current children cumulated CPU time: 252.12 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 2246664 KiB

[startup+235.901 s]
/proc/loadavg: 2.09 2.42 2.50 3/217 27534
/proc/meminfo: memFree=25553284/32770624 swapFree=67108860/67108860
[pid=27514] ppid=27511 vsize=10925344 memory=2246664 CPUtime=252.12 cores=1,3,5,7
/proc/27514/stat : 27514 (java) S 27511 27514 22004 0 -1 1077944320 63618 0 0 0 25086 126 0 0 20 0 17 0 105878701 11187552256 561666 33554432000 4194304 4196468 140730259400816 140730259383360 139699694538487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
/proc/27514/statm: 2731336 561666 3191 1 0 2693827 0
[pid=27514/tid=27516] ppid=27511 vsize=10925344 memory=2246256 CPUtime=230.68 cores=1,3,5,7
/proc/27514/task/27516/stat : 27516 (java) S 27511 27514 22004 0 -1 1077944384 18629 0 0 0 23052 16 0 0 20 0 17 0 105878701 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699698781360 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27517] ppid=27511 vsize=10925344 memory=2246256 CPUtime=3.41 cores=1,3,5,7
/proc/27514/task/27517/stat : 27517 (java) S 27511 27514 22004 0 -1 1077944384 2389 0 0 0 319 22 0 0 20 0 17 0 105878702 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699651091344 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27518] ppid=27511 vsize=10925344 memory=56 CPUtime=3.42 cores=1,3,5,7
/proc/27514/task/27518/stat : 27518 (java) S 27511 27514 22004 0 -1 1077944384 1971 0 0 0 318 24 0 0 20 0 17 0 105878702 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699300522768 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27519] ppid=27511 vsize=10925344 memory=7454130749351154278 CPUtime=3.38 cores=1,3,5,7
/proc/27514/task/27519/stat : 27519 (java) S 27511 27514 22004 0 -1 1077944384 3008 0 0 0 314 24 0 0 20 0 17 0 105878702 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699299470480 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27520] ppid=27511 vsize=10925344 memory=2246256 CPUtime=3.43 cores=1,3,5,7
/proc/27514/task/27520/stat : 27520 (java) S 27511 27514 22004 0 -1 1077944384 4201 0 0 0 318 25 0 0 20 0 17 0 105878702 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699298417680 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27521] ppid=27511 vsize=10925344 memory=2246256 CPUtime=1.62 cores=1,3,5,7
/proc/27514/task/27521/stat : 27521 (java) S 27511 27514 22004 0 -1 1077944384 4438 0 0 0 162 0 0 0 20 0 17 0 105878703 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699254143088 139699694549634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27522] ppid=27511 vsize=10925344 memory=2246256 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27522/stat : 27522 (java) S 27511 27514 22004 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 105878704 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699253089120 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27523] ppid=27511 vsize=10925344 memory=2246256 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27523/stat : 27523 (java) S 27511 27514 22004 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 105878704 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699252036736 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27524] ppid=27511 vsize=10925344 memory=2246256 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27524/stat : 27524 (java) S 27511 27514 22004 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 17 0 105878706 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699250985040 139699694557083 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27525] ppid=27511 vsize=10925344 memory=2200 CPUtime=2.82 cores=1,3,5,7
/proc/27514/task/27525/stat : 27525 (java) S 27511 27514 22004 0 -1 1077944384 10511 0 0 0 281 1 0 0 20 0 17 0 105878706 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699249932912 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27526] ppid=27511 vsize=10925344 memory=2246256 CPUtime=2.65 cores=1,3,5,7
/proc/27514/task/27526/stat : 27526 (java) S 27511 27514 22004 0 -1 1077944384 11124 0 0 0 263 2 0 0 20 0 17 0 105878706 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699248880112 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27527] ppid=27511 vsize=10925344 memory=4028 CPUtime=0.47 cores=1,3,5,7
/proc/27514/task/27527/stat : 27527 (java) S 27511 27514 22004 0 -1 1077944384 5095 0 0 0 46 1 0 0 20 0 17 0 105878706 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699180006256 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27528] ppid=27511 vsize=10925344 memory=2246256 CPUtime=0 cores=1,3,5,7
/proc/27514/task/27528/stat : 27528 (java) S 27511 27514 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105878706 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699178953696 139699694548693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
[pid=27514/tid=27529] ppid=27511 vsize=10925344 memory=6791534058613427641 CPUtime=0.14 cores=1,3,5,7
/proc/27514/task/27529/stat : 27529 (java) S 27511 27514 22004 0 -1 1077944384 252 0 0 0 7 7 0 0 20 0 17 0 105878707 11187552256 561666 33554432000 4194304 4196468 140730259400816 139699177900464 139699694549634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15544320 140730259403894 140730259404046 140730259404046 140730259406799 0
Current children cumulated CPU time: 252.12 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 2246664 KiB

Child status: 143
Real time (s): 235.938
CPU time (s): 252.153
CPU user time (s): 250.872
CPU system time (s): 1.28131
CPU usage (%): 106.873
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 2246664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.872
system time used= 1.28131
maximum resident set size= 2247156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64438
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7772
involuntary context switches= 234


# summary of solver processes directly reported to runsolver:
#   pid: 27514
#   total CPU time (s): 252.153
#   total CPU user time (s): 250.872
#   total CPU system time (s): 1.28131

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.03804 second user time and 1.77777 second system time

The end

Name	QuadraticAssignment/ QuadraticAssignment-esc32d_c18.xml
MD5SUM	ca834160bf20391dc7be2075ee08801e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	104
Best CPU time to get the best result obtained on this benchmark	252.075
Satisfiable
(Un)Satisfiability was proved
Number of variables	1056
Number of constraints	91
Number of domains	2
Minimum domain size	5
Maximum domain size	32
Distribution of domain sizes	[{"size":5,"count":90},{"size":32,"count":32}]
Minimum variable degree	0
Maximum variable degree	14
Distribution of variable degrees	[{"degree":0,"count":934},{"degree":1,"count":14},{"degree":2,"count":92},{"degree":4,"count":2},{"degree":10,"count":2},{"degree":13,"count":2},{"degree":14,"count":10}]
Minimum constraint arity	3
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":3,"count":90},{"arity":32,"count":1}]
Number of extensional constraints	90
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":90},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4301631

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data