2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
sat4j-CSP 2017-07-05	SAT (TO)	1606	252.118	223.144

38.50/14.45	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
38.50/14.45	c This is free software under the dual EPL/GNU LGPL licenses.
38.50/14.45	c See www.sat4j.org for details.
38.50/14.45	c That software uses the Rhino library from the Mozilla project.
38.50/14.45	c version CUSTOM.v20170705
38.50/14.45	c java.runtime.name	Java(TM) SE Runtime Environment
38.50/14.45	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
38.50/14.45	c java.vm.version	25.131-b11
38.50/14.45	c java.vm.vendor	Oracle Corporation
38.50/14.45	c sun.arch.data.model	64
38.50/14.45	c java.version		1.8.0_131
38.50/14.45	c os.name		Linux
38.50/14.45	c os.version		3.10.0-514.16.1.el7.x86_64
38.50/14.45	c os.arch		amd64
38.50/14.45	c Free memory 		499604488
38.50/14.45	c Max memory 		7247757312
38.50/14.45	c Total memory 		504889344
38.50/14.45	c Number of processors 	4
38.50/14.45	c c --- Begin Solver configuration ---
38.50/14.45	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
38.50/14.45	c Learn all clauses as in MiniSAT
38.50/14.45	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
38.50/14.45	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
38.50/14.45	c No reason simplification
38.50/14.45	c Glucose 2.1 dynamic restart strategy
38.50/14.45	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
38.50/14.45	c timeout=2147483s
38.50/14.45	c DB Simplification allowed=false
38.50/14.45	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
38.50/14.45	c --- End Solver configuration ---
38.50/14.45	c constraints type 
38.50/14.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 2310
38.50/14.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 440913
38.50/14.45	c org.sat4j.minisat.constraints.cnf.UnitClauses => 34
38.50/14.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21699150
38.50/14.45	c org.sat4j.specs.Constr$1 => 34
38.50/14.45	c org.sat4j.minisat.constraints.cnf.UnitClause => 2310
38.50/14.45	c 22144751 constraints processed.
71.80/43.62	o 2384
73.25/44.96	o 1661
74.91/46.33	o 1606
252.07/223.10	c starts		: 4612
252.07/223.10	c conflicts		: 458015
252.07/223.10	c decisions		: 9278138
252.07/223.10	c propagations		: 777767031
252.07/223.10	c inspects		: 1503480985
252.07/223.10	c shortcuts		: 0
252.07/223.10	c learnt literals	: 1407
252.07/223.10	c learnt binary clauses	: 1668
252.07/223.10	c learnt ternary clauses	: 4280
252.07/223.10	c learnt constraints	: 456608
252.07/223.10	c ignored constraints	: 0
252.07/223.10	c root simplifications	: 0
252.07/223.10	c removed literals (reason simplification)	: 0
252.07/223.10	c reason swapping (by a shorter reason)	: 0
252.07/223.10	c Calls to reduceDB	: 30
252.07/223.10	c Number of update (reduction) of LBD	: 234390
252.07/223.10	c Imported unit clauses	: 0
252.07/223.10	c number of reductions to clauses (during analyze)	: 0
252.07/223.10	c number of learned constraints concerned by reduction	: 0
252.07/223.10	c number of learning phase by resolution	: 0
252.07/223.10	c number of learning phase by cutting planes	: 0
252.07/223.10	c number of rounding to 1 operations	: 0
252.07/223.10	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
252.07/223.10	c number of reductions of the coefficients by power 2 	: 0
252.07/223.10	c number of right shift for reduction by power 2 	: 0
252.07/223.10	c number of reductions of the coefficients by GCD over coefficients 	: 0
252.07/223.10	c speed (assignments/second)	: 3729099.191147209
252.07/223.10	c non guided choices	5093010
252.07/223.10	c learnt constraints type 
252.07/223.10	s SATISFIABLE
252.08/223.11	v <instantiation type="solution">
252.08/223.11	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[0][32] x[0][33] 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[1][32] x[1][33] 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[2][32] x[2][33] 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[3][32] x[3][33] 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[4][32] x[4][33] 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[5][32] x[5][33] 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[6][32] x[6][33] 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[7][32] x[7][33] 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[8][32] x[8][33] 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[9][32] x[9][33] 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[10][32] x[10][33] 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[11][32] x[11][33] 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[12][32] x[12][33] 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[13][32] x[13][33] 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[14][32] x[14][33] 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[15][32] x[15][33] 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[16][32] x[16][33] 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[17][32] x[17][33] 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[18][32] x[18][33] 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[19][32] x[19][33] 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[20][32] x[20][33] 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[21][32] x[21][33] 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[22][32] x[22][33] 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[23][32] x[23][33] 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[24][32] x[24][33] 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[25][32] x[25][33] 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[26][32] x[26][33] 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[27][32] x[27][33] 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[28][32] x[28][33] 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[29][32] x[29][33] 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[30][32] x[30][33] 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] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] </list>
252.08/223.11	v 	<values> 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 0 1 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 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 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 1 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 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 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 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 1 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 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 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 0 0 0 0 0 0 0 0 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 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 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 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 1 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 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 1 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 99 97 100 19 91 97 69 100 20 91 99 18 31 30 99 96 97 93 25 98 17 41 48 40 28 60 3 59 16 98 85 47 4 </values>
252.08/223.11	v </instantiation>
252.08/223.11

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258349-1502646060/watcher-4258349-1502646060 -o /tmp/evaluation-result-4258349-1502646060/solver-4258349-1502646060 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6040 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258349-1502646060.xml 

running on 4 cores: 0,2,4,6

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
Current StackSize limit: 8192 KiB

solver pid=10030, runsolver pid=10027

[startup+0.100109 s]*
/proc/loadavg: 2.73 3.04 3.29 6/203 10039
/proc/meminfo: memFree=28443952/32770624 swapFree=67108860/67108860
[pid=10030] ppid=10027 vsize=10151672 memory=21308 CPUtime=0.04 cores=0,2,4,6
/proc/10030/stat : 10030 (java) S 10027 10030 17093 0 -1 1077944320 4231 0 0 0 3 1 0 0 20 0 9 0 66799288 10395312128 5327 18446744073709551615 4194304 4196468 140730965415984 140730965398528 140238384180983 0 0 1 16800970 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
/proc/10030/statm: 2537918 5327 2123 1 0 2527415 0
[pid=10030/tid=10032] ppid=10027 vsize=10151672 memory=4206751525541407381 CPUtime=0.03 cores=0,2,4,6
/proc/10030/task/10032/stat : 10032 (java) R 10027 10030 17093 0 -1 4202560 2887 0 0 0 3 0 0 0 20 0 9 0 66799294 10395312128 5327 18446744073709551615 4194304 4196468 140730965415984 140238388416376 140238369863475 0 4 1 16800970 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10033] ppid=10027 vsize=10151672 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10033/stat : 10033 (java) S 10027 10030 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66799295 10395312128 5327 18446744073709551615 4194304 4196468 140730965415984 140238341147024 140238384191189 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10034] ppid=10027 vsize=10151672 memory=139815074481792 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10034/stat : 10034 (java) S 10027 10030 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66799295 10395312128 5392 18446744073709551615 4194304 4196468 140730965415984 140238340094224 140238384191189 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10035] ppid=10027 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10035/stat : 10035 (java) S 10027 10030 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66799295 10395312128 5392 18446744073709551615 4194304 4196468 140730965415984 140238339041936 140238384191189 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10036] ppid=10027 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10036/stat : 10036 (java) S 10027 10030 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66799295 10395312128 5392 18446744073709551615 4194304 4196468 140730965415984 140238337989136 140238384191189 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10037] ppid=10027 vsize=10151672 memory=139815074481792 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10037/stat : 10037 (java) S 10027 10030 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66799296 10395312128 5392 18446744073709551615 4194304 4196468 140730965415984 140237964180080 140238384192130 0 0 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10038] ppid=10027 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10038/stat : 10038 (java) S 10027 10030 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 66799297 10395312128 5392 18446744073709551615 4194304 4196468 140730965415984 140237963126048 140238384191189 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10039] ppid=10027 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10039/stat : 10039 (java) S 10027 10030 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 66799297 10395312128 5392 18446744073709551615 4194304 4196468 140730965415984 140237962073712 140238384191189 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 21308 KiB

[startup+0.210062 s]*
/proc/loadavg: 2.73 3.04 3.29 7/209 10045
/proc/meminfo: memFree=28364980/32770624 swapFree=67108860/67108860
[pid=10030] ppid=10027 vsize=10551156 memory=30556 CPUtime=0.14 cores=0,2,4,6
/proc/10030/stat : 10030 (java) S 10027 10030 17093 0 -1 1077944320 7771 0 0 0 12 2 0 0 20 0 15 0 66799288 10804383744 7639 18446744073709551615 4194304 4196468 140730965415984 140730965398528 140238384180983 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
/proc/10030/statm: 2637789 7639 2808 1 0 2627261 0
[pid=10030/tid=10032] ppid=10027 vsize=10551156 memory=8318255677412212789 CPUtime=0.1 cores=0,2,4,6
/proc/10030/task/10032/stat : 10032 (java) R 10027 10030 17093 0 -1 4202560 5629 0 0 0 9 1 0 0 20 0 15 0 66799294 10804383744 7639 18446744073709551615 4194304 4196468 140730965415984 140238388369328 140238384202909 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10033] ppid=10027 vsize=10551156 memory=330 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10033/stat : 10033 (java) S 10027 10030 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66799295 10804383744 7639 18446744073709551615 4194304 4196468 140730965415984 140238341147024 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10034] ppid=10027 vsize=10551156 memory=139815074499198 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10034/stat : 10034 (java) S 10027 10030 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66799295 10804383744 7639 18446744073709551615 4194304 4196468 140730965415984 140238340094224 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10035] ppid=10027 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10035/stat : 10035 (java) S 10027 10030 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66799295 10804383744 7639 18446744073709551615 4194304 4196468 140730965415984 140238339041936 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10036] ppid=10027 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10036/stat : 10036 (java) S 10027 10030 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66799295 10804383744 7639 18446744073709551615 4194304 4196468 140730965415984 140238337989136 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10037] ppid=10027 vsize=10551156 memory=139815074481792 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10037/stat : 10037 (java) S 10027 10030 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66799296 10804383744 7639 18446744073709551615 4194304 4196468 140730965415984 140237964180080 140238384192130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10038] ppid=10027 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10038/stat : 10038 (java) S 10027 10030 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66799297 10804383744 7639 18446744073709551615 4194304 4196468 140730965415984 140237963126048 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10039] ppid=10027 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10039/stat : 10039 (java) S 10027 10030 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66799297 10804383744 7639 18446744073709551615 4194304 4196468 140730965415984 140237962073712 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10040] ppid=10027 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10040/stat : 10040 (java) S 10027 10030 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66799299 10804383744 7639 18446744073709551615 4194304 4196468 140730965415984 140237961022032 140238384199579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10041] ppid=10027 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10041/stat : 10041 (java) S 10027 10030 17093 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 15 0 66799299 10804383744 7639 18446744073709551615 4194304 4196468 140730965415984 140237959968880 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10042] ppid=10027 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10042/stat : 10042 (java) S 10027 10030 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66799299 10804383744 7639 18446744073709551615 4194304 4196468 140730965415984 140237958916080 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10043] ppid=10027 vsize=10551156 memory=139815074481792 CPUtime=0.02 cores=0,2,4,6
/proc/10030/task/10043/stat : 10043 (java) R 10027 10030 17093 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 66799299 10804383744 7639 18446744073709551615 4194304 4196468 140730965415984 140237957863792 140238384202330 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10044] ppid=10027 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10044/stat : 10044 (java) S 10027 10030 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66799300 10804383744 7639 18446744073709551615 4194304 4196468 140730965415984 140237956811232 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10045] ppid=10027 vsize=10551156 memory=139815074481792 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10045/stat : 10045 (java) S 10027 10030 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66799304 10804383744 7639 18446744073709551615 4194304 4196468 140730965415984 140237955759024 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30556 KiB

[startup+0.314169 s]*
/proc/loadavg: 2.73 3.04 3.29 8/209 10045
/proc/meminfo: memFree=28310228/32770624 swapFree=67108860/67108860
[pid=10030] ppid=10027 vsize=10551156 memory=39176 CPUtime=0.32 cores=0,2,4,6
/proc/10030/stat : 10030 (java) S 10027 10030 17093 0 -1 1077944320 9118 0 0 0 29 3 0 0 20 0 15 0 66799288 10804383744 9794 18446744073709551615 4194304 4196468 140730965415984 140730965398528 140238384180983 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
/proc/10030/statm: 2637789 9794 2939 1 0 2627261 0
[pid=10030/tid=10032] ppid=10027 vsize=10551156 memory=-7677926825137650786 CPUtime=0.2 cores=0,2,4,6
/proc/10030/task/10032/stat : 10032 (java) R 10027 10030 17093 0 -1 4202560 6172 0 0 0 18 2 0 0 20 0 15 0 66799294 10804383744 9794 18446744073709551615 4194304 4196468 140730965415984 140238388418944 140238013954465 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10033] ppid=10027 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10033/stat : 10033 (java) S 10027 10030 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66799295 10804383744 9794 18446744073709551615 4194304 4196468 140730965415984 140238341147024 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10034] ppid=10027 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10034/stat : 10034 (java) S 10027 10030 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66799295 10804383744 9794 18446744073709551615 4194304 4196468 140730965415984 140238340094224 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10035] ppid=10027 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10035/stat : 10035 (java) S 10027 10030 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66799295 10804383744 9794 18446744073709551615 4194304 4196468 140730965415984 140238339041936 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10036] ppid=10027 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10036/stat : 10036 (java) S 10027 10030 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66799295 10804383744 9794 18446744073709551615 4194304 4196468 140730965415984 140238337989136 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10037] ppid=10027 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10037/stat : 10037 (java) S 10027 10030 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66799296 10804383744 9794 18446744073709551615 4194304 4196468 140730965415984 140237964180080 140238384192130 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10038] ppid=10027 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10038/stat : 10038 (java) S 10027 10030 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66799297 10804383744 9794 18446744073709551615 4194304 4196468 140730965415984 140237963126048 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10039] ppid=10027 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10039/stat : 10039 (java) S 10027 10030 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66799297 10804383744 9794 18446744073709551615 4194304 4196468 140730965415984 140237962073712 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10040] ppid=10027 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10040/stat : 10040 (java) S 10027 10030 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66799299 10804383744 9794 18446744073709551615 4194304 4196468 140730965415984 140237961022032 140238384199579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10041] ppid=10027 vsize=10551156 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10030/task/10041/stat : 10041 (java) R 10027 10030 17093 0 -1 4202560 686 0 0 0 2 0 0 0 20 0 15 0 66799299 10804383744 9794 18446744073709551615 4194304 4196468 140730965415984 140237959968880 140238362597191 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10042] ppid=10027 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10030/task/10042/stat : 10042 (java) R 10027 10030 17093 0 -1 4202560 173 0 0 0 1 0 0 0 20 0 15 0 66799299 10804383744 9794 18446744073709551615 4194304 4196468 140730965415984 140237958916080 140238365359504 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10043] ppid=10027 vsize=10551156 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/10030/task/10043/stat : 10043 (java) R 10027 10030 17093 0 -1 1077944384 724 0 0 0 6 0 0 0 20 0 15 0 66799299 10804383744 9794 18446744073709551615 4194304 4196468 140730965415984 140237957862976 140238384191189 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10044] ppid=10027 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10044/stat : 10044 (java) S 10027 10030 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66799300 10804383744 9794 18446744073709551615 4194304 4196468 140730965415984 140237956811232 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10045] ppid=10027 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10045/stat : 10045 (java) S 10027 10030 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66799304 10804383744 9794 18446744073709551615 4194304 4196468 140730965415984 140237955759024 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 39176 KiB

[startup+0.701427 s]
/proc/loadavg: 2.73 3.04 3.29 9/209 10045
/proc/meminfo: memFree=28243812/32770624 swapFree=67108860/67108860
[pid=10030] ppid=10027 vsize=10551232 memory=114908 CPUtime=1.44 cores=0,2,4,6
/proc/10030/stat : 10030 (java) S 10027 10030 17093 0 -1 1077944320 12792 0 0 0 139 5 0 0 20 0 15 0 66799288 10804461568 28727 18446744073709551615 4194304 4196468 140730965415984 140730965398528 140238384180983 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
/proc/10030/statm: 2637808 28727 3064 1 0 2627261 0
[pid=10030/tid=10032] ppid=10027 vsize=10551232 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/10030/task/10032/stat : 10032 (java) R 10027 10030 17093 0 -1 4202560 7536 0 0 0 54 3 0 0 20 0 15 0 66799294 10804461568 28727 18446744073709551615 4194304 4196468 140730965415984 140238388413112 140238366109992 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10033] ppid=10027 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10033/stat : 10033 (java) S 10027 10030 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66799295 10804461568 28727 18446744073709551615 4194304 4196468 140730965415984 140238341147024 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10034] ppid=10027 vsize=10551232 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10034/stat : 10034 (java) S 10027 10030 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66799295 10804461568 28727 18446744073709551615 4194304 4196468 140730965415984 140238340094224 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10035] ppid=10027 vsize=10551232 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10035/stat : 10035 (java) S 10027 10030 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66799295 10804461568 28727 18446744073709551615 4194304 4196468 140730965415984 140238339041936 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10036] ppid=10027 vsize=10551232 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10036/stat : 10036 (java) S 10027 10030 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66799295 10804461568 28727 18446744073709551615 4194304 4196468 140730965415984 140238337989136 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10037] ppid=10027 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10037/stat : 10037 (java) S 10027 10030 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 66799296 10804461568 28727 18446744073709551615 4194304 4196468 140730965415984 140237964180080 140238384192130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10038] ppid=10027 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10038/stat : 10038 (java) S 10027 10030 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66799297 10804461568 28727 18446744073709551615 4194304 4196468 140730965415984 140237963126048 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10039] ppid=10027 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10039/stat : 10039 (java) S 10027 10030 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66799297 10804461568 28727 18446744073709551615 4194304 4196468 140730965415984 140237962073712 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10040] ppid=10027 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10040/stat : 10040 (java) S 10027 10030 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66799299 10804461568 28727 18446744073709551615 4194304 4196468 140730965415984 140237961022032 140238384199579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10041] ppid=10027 vsize=10551232 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/10030/task/10041/stat : 10041 (java) R 10027 10030 17093 0 -1 4202560 1303 0 0 0 27 0 0 0 20 0 15 0 66799299 10804461568 28727 18446744073709551615 4194304 4196468 140730965415984 140237959961904 140238365725087 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10042] ppid=10027 vsize=10551232 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/10030/task/10042/stat : 10042 (java) R 10027 10030 17093 0 -1 4202560 1073 0 0 0 25 0 0 0 20 0 15 0 66799299 10804461568 28727 18446744073709551615 4194304 4196468 140730965415984 140237958899232 140238376418110 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10043] ppid=10027 vsize=10551232 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/10030/task/10043/stat : 10043 (java) S 10027 10030 17093 0 -1 1077944384 1510 0 0 0 31 0 0 0 20 0 15 0 66799299 10804461568 28727 18446744073709551615 4194304 4196468 140730965415984 140237957863792 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10044] ppid=10027 vsize=10551232 memory=15 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10044/stat : 10044 (java) S 10027 10030 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66799300 10804461568 28727 18446744073709551615 4194304 4196468 140730965415984 140237956811232 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10045] ppid=10027 vsize=10551232 memory=69 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10045/stat : 10045 (java) S 10027 10030 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66799304 10804461568 28727 18446744073709551615 4194304 4196468 140730965415984 140237955759024 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 114908 KiB

[startup+1.50744 s]
/proc/loadavg: 2.99 3.09 3.30 8/209 10045
/proc/meminfo: memFree=28071908/32770624 swapFree=67108860/67108860
[pid=10030] ppid=10027 vsize=10553120 memory=488444 CPUtime=3.84 cores=0,2,4,6
/proc/10030/stat : 10030 (java) S 10027 10030 17093 0 -1 1077944320 18889 0 0 0 360 24 0 0 20 0 15 0 66799288 10806394880 122111 18446744073709551615 4194304 4196468 140730965415984 140730965398528 140238384180983 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
/proc/10030/statm: 2638280 122111 3104 1 0 2627733 0
[pid=10030/tid=10032] ppid=10027 vsize=10553120 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/10030/task/10032/stat : 10032 (java) S 10027 10030 17093 0 -1 1077944384 7653 0 0 0 112 5 0 0 20 0 15 0 66799294 10806394880 122111 18446744073709551615 4194304 4196468 140730965415984 140238388417312 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10033] ppid=10027 vsize=10553120 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/10030/task/10033/stat : 10033 (java) R 10027 10030 17093 0 -1 4202560 184 0 0 0 16 4 0 0 20 0 15 0 66799295 10806394880 122111 18446744073709551615 4194304 4196468 140730965415984 140238341147224 140238369208792 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10034] ppid=10027 vsize=10553120 memory=6673 CPUtime=0.12 cores=0,2,4,6
/proc/10030/task/10034/stat : 10034 (java) R 10027 10030 17093 0 -1 4202560 71 0 0 0 10 2 0 0 20 0 15 0 66799295 10806394880 122111 18446744073709551615 4194304 4196468 140730965415984 140238340094112 140238369208402 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10035] ppid=10027 vsize=10553120 memory=4420 CPUtime=0.18 cores=0,2,4,6
/proc/10030/task/10035/stat : 10035 (java) R 10027 10030 17093 0 -1 4202560 172 0 0 0 14 4 0 0 20 0 15 0 66799295 10806394880 122111 18446744073709551615 4194304 4196468 140730965415984 140238339041936 140238369208402 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10036] ppid=10027 vsize=10553120 memory=6628 CPUtime=0.15 cores=0,2,4,6
/proc/10030/task/10036/stat : 10036 (java) R 10027 10030 17093 0 -1 4202560 171 0 0 0 12 3 0 0 20 0 15 0 66799295 10806394880 122111 18446744073709551615 4194304 4196468 140730965415984 140238337989136 140238369208402 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10037] ppid=10027 vsize=10553120 memory=164 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10037/stat : 10037 (java) S 10027 10030 17093 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 66799296 10806394880 122111 18446744073709551615 4194304 4196468 140730965415984 140237964178592 140238384191189 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10038] ppid=10027 vsize=10553120 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10038/stat : 10038 (java) S 10027 10030 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66799297 10806394880 122111 18446744073709551615 4194304 4196468 140730965415984 140237963126048 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10039] ppid=10027 vsize=10553120 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10039/stat : 10039 (java) S 10027 10030 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 66799297 10806394880 122111 18446744073709551615 4194304 4196468 140730965415984 140237962073712 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10040] ppid=10027 vsize=10553120 memory=8772 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10040/stat : 10040 (java) S 10027 10030 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66799299 10806394880 122111 18446744073709551615 4194304 4196468 140730965415984 140237961022032 140238384199579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10041] ppid=10027 vsize=10553120 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/10030/task/10041/stat : 10041 (java) S 10027 10030 17093 0 -1 1077944384 3282 0 0 0 68 0 0 0 20 0 15 0 66799299 10806394880 122111 18446744073709551615 4194304 4196468 140730965415984 140237959968880 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10042] ppid=10027 vsize=10553120 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/10030/task/10042/stat : 10042 (java) R 10027 10030 17093 0 -1 4202560 4165 0 0 0 91 0 0 0 20 0 15 0 66799299 10806394880 122111 18446744073709551615 4194304 4196468 140730965415984 140237958902104 140238361777470 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10043] ppid=10027 vsize=10553120 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/10030/task/10043/stat : 10043 (java) S 10027 10030 17093 0 -1 1077944384 1747 0 0 0 34 0 0 0 20 0 15 0 66799299 10806394880 122111 18446744073709551615 4194304 4196468 140730965415984 140237957863792 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0

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

/proc/10030/task/10038/stat : 10038 (java) S 10027 10030 17093 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 66799297 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237963126112 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10039] ppid=10027 vsize=10617796 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10039/stat : 10039 (java) S 10027 10030 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 66799297 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237962073728 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10040] ppid=10027 vsize=10617796 memory=3383604 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10040/stat : 10040 (java) S 10027 10030 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66799299 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237961022032 140238384199579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10041] ppid=10027 vsize=10617796 memory=4028 CPUtime=2.12 cores=0,2,4,6
/proc/10030/task/10041/stat : 10041 (java) S 10027 10030 17093 0 -1 1077944384 8759 0 0 0 211 1 0 0 20 0 16 0 66799299 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237959968880 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10042] ppid=10027 vsize=10617796 memory=3383604 CPUtime=2.76 cores=0,2,4,6
/proc/10030/task/10042/stat : 10042 (java) S 10027 10030 17093 0 -1 1077944384 12227 0 0 0 275 1 0 0 20 0 16 0 66799299 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237958916080 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10043] ppid=10027 vsize=10617796 memory=4028 CPUtime=0.51 cores=0,2,4,6
/proc/10030/task/10043/stat : 10043 (java) S 10027 10030 17093 0 -1 1077944384 3972 0 0 0 51 0 0 0 20 0 16 0 66799299 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237957863792 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10044] ppid=10027 vsize=10617796 memory=4064 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10044/stat : 10044 (java) S 10027 10030 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66799300 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237956811232 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10045] ppid=10027 vsize=10617796 memory=1156 CPUtime=0.1 cores=0,2,4,6
/proc/10030/task/10045/stat : 10045 (java) S 10027 10030 17093 0 -1 1077944384 1044 0 0 0 5 5 0 0 20 0 16 0 66799304 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237955759024 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10046] ppid=10027 vsize=10617796 memory=3383604 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10046/stat : 10046 (java) S 10027 10030 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 66800742 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237954704560 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
Current children cumulated CPU time: 251.43 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3383604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+222.901 s]
/proc/loadavg: 3.18 3.13 3.27 6/213 10220
/proc/meminfo: memFree=22255736/32770624 swapFree=67108860/67108860
[pid=10030] ppid=10027 vsize=10617796 memory=3383604 CPUtime=252.03 cores=0,2,4,6
/proc/10030/stat : 10030 (java) S 10027 10030 17093 0 -1 1077944320 76033 0 0 0 24915 288 0 0 20 0 16 0 66799288 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140730965398528 140238384180983 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
/proc/10030/statm: 2654449 845901 3146 1 0 2643902 0
[pid=10030/tid=10032] ppid=10027 vsize=10617796 memory=3383604 CPUtime=212.3 cores=0,2,4,6
/proc/10030/task/10032/stat : 10032 (java) R 10027 10030 17093 0 -1 4202560 22720 0 0 0 21220 10 0 0 20 0 16 0 66799294 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140238388417104 140238019404360 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10033] ppid=10027 vsize=10617796 memory=3383604 CPUtime=7.91 cores=0,2,4,6
/proc/10030/task/10033/stat : 10033 (java) S 10027 10030 17093 0 -1 1077944384 4587 0 0 0 727 64 0 0 20 0 16 0 66799295 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140238341147024 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10034] ppid=10027 vsize=10617796 memory=3383604 CPUtime=7.89 cores=0,2,4,6
/proc/10030/task/10034/stat : 10034 (java) S 10027 10030 17093 0 -1 1077944384 4580 0 0 0 727 62 0 0 20 0 16 0 66799295 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140238340094224 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10035] ppid=10027 vsize=10617796 memory=3383604 CPUtime=8.02 cores=0,2,4,6
/proc/10030/task/10035/stat : 10035 (java) S 10027 10030 17093 0 -1 1077944384 4609 0 0 0 731 71 0 0 20 0 16 0 66799295 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140238339041936 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10036] ppid=10027 vsize=10617796 memory=3383604 CPUtime=7.93 cores=0,2,4,6
/proc/10030/task/10036/stat : 10036 (java) S 10027 10030 17093 0 -1 1077944384 4955 0 0 0 725 68 0 0 20 0 16 0 66799295 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140238337989136 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10037] ppid=10027 vsize=10617796 memory=3383604 CPUtime=2.37 cores=0,2,4,6
/proc/10030/task/10037/stat : 10037 (java) S 10027 10030 17093 0 -1 1077944384 7171 0 0 0 236 1 0 0 20 0 16 0 66799296 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237964180080 140238384192130 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10038] ppid=10027 vsize=10617796 memory=3383604 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10038/stat : 10038 (java) S 10027 10030 17093 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 66799297 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237963126112 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10039] ppid=10027 vsize=10617796 memory=3383576 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10039/stat : 10039 (java) S 10027 10030 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 66799297 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237962073728 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10040] ppid=10027 vsize=10617796 memory=3383604 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10040/stat : 10040 (java) S 10027 10030 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66799299 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237961022032 140238384199579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10041] ppid=10027 vsize=10617796 memory=4028 CPUtime=2.12 cores=0,2,4,6
/proc/10030/task/10041/stat : 10041 (java) S 10027 10030 17093 0 -1 1077944384 8759 0 0 0 211 1 0 0 20 0 16 0 66799299 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237959968880 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10042] ppid=10027 vsize=10617796 memory=3383604 CPUtime=2.76 cores=0,2,4,6
/proc/10030/task/10042/stat : 10042 (java) S 10027 10030 17093 0 -1 1077944384 12227 0 0 0 275 1 0 0 20 0 16 0 66799299 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237958916080 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10043] ppid=10027 vsize=10617796 memory=4028 CPUtime=0.51 cores=0,2,4,6
/proc/10030/task/10043/stat : 10043 (java) S 10027 10030 17093 0 -1 1077944384 3972 0 0 0 51 0 0 0 20 0 16 0 66799299 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237957863792 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10044] ppid=10027 vsize=10617796 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10044/stat : 10044 (java) S 10027 10030 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66799300 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237956811232 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10045] ppid=10027 vsize=10617796 memory=1228 CPUtime=0.1 cores=0,2,4,6
/proc/10030/task/10045/stat : 10045 (java) S 10027 10030 17093 0 -1 1077944384 1044 0 0 0 5 5 0 0 20 0 16 0 66799304 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237955759024 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10046] ppid=10027 vsize=10617796 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10046/stat : 10046 (java) S 10027 10030 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 66800742 10872623104 845901 18446744073709551615 4194304 4196468 140730965415984 140237954704560 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3383604 KiB

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

[startup+223.144 s]
# the end of solver process 10030 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.213 s, system=2.90448 s

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

[startup+223.005 s]*
/proc/loadavg: 3.18 3.13 3.27 5/214 10223
/proc/meminfo: memFree=22255736/32770624 swapFree=67108860/67108860
[pid=10030] ppid=10027 vsize=10817488 memory=3383912 CPUtime=252.07 cores=0,2,4,6
/proc/10030/stat : 10030 (java) S 10027 10030 17093 0 -1 1077944320 77706 0 0 0 24919 288 0 0 20 0 17 0 66799288 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140730965398528 140238384180983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
/proc/10030/statm: 2704372 845978 3148 1 0 2693825 0
[pid=10030/tid=10032] ppid=10027 vsize=10817488 memory=-7677926825137650786 CPUtime=212.35 cores=0,2,4,6
/proc/10030/task/10032/stat : 10032 (java) S 10027 10030 17093 0 -1 1077944384 23346 0 0 0 21225 10 0 0 20 0 17 0 66799294 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140238388423856 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10033] ppid=10027 vsize=10817488 memory=4872558044660077418 CPUtime=7.91 cores=0,2,4,6
/proc/10030/task/10033/stat : 10033 (java) S 10027 10030 17093 0 -1 1077944384 4587 0 0 0 727 64 0 0 20 0 17 0 66799295 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140238341147024 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10034] ppid=10027 vsize=10817488 memory=16098173902915238 CPUtime=7.89 cores=0,2,4,6
/proc/10030/task/10034/stat : 10034 (java) S 10027 10030 17093 0 -1 1077944384 4580 0 0 0 727 62 0 0 20 0 17 0 66799295 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140238340094224 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10035] ppid=10027 vsize=10817488 memory=2248 CPUtime=8.02 cores=0,2,4,6
/proc/10030/task/10035/stat : 10035 (java) S 10027 10030 17093 0 -1 1077944384 4609 0 0 0 731 71 0 0 20 0 17 0 66799295 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140238339041936 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10036] ppid=10027 vsize=10817488 memory=4300 CPUtime=7.93 cores=0,2,4,6
/proc/10030/task/10036/stat : 10036 (java) S 10027 10030 17093 0 -1 1077944384 4955 0 0 0 725 68 0 0 20 0 17 0 66799295 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140238337989136 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10037] ppid=10027 vsize=10817488 memory=932 CPUtime=2.37 cores=0,2,4,6
/proc/10030/task/10037/stat : 10037 (java) S 10027 10030 17093 0 -1 1077944384 7205 0 0 0 236 1 0 0 20 0 17 0 66799296 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140237964180080 140238384192130 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10038] ppid=10027 vsize=10817488 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10038/stat : 10038 (java) S 10027 10030 17093 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 66799297 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140237963126112 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10039] ppid=10027 vsize=10817488 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10039/stat : 10039 (java) S 10027 10030 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 66799297 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140237962073728 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10040] ppid=10027 vsize=10817488 memory=844 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10040/stat : 10040 (java) S 10027 10030 17093 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 17 0 66799299 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140237961022032 140238384199579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10041] ppid=10027 vsize=10817488 memory=6227181309477873766 CPUtime=2.12 cores=0,2,4,6
/proc/10030/task/10041/stat : 10041 (java) S 10027 10030 17093 0 -1 1077944384 8856 0 0 0 211 1 0 0 20 0 17 0 66799299 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140237959968880 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10042] ppid=10027 vsize=10817488 memory=7373352817559363648 CPUtime=2.77 cores=0,2,4,6
/proc/10030/task/10042/stat : 10042 (java) S 10027 10030 17093 0 -1 1077944384 12297 0 0 0 276 1 0 0 20 0 17 0 66799299 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140237958916080 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10043] ppid=10027 vsize=10817488 memory=8099279071866868837 CPUtime=0.52 cores=0,2,4,6
/proc/10030/task/10043/stat : 10043 (java) S 10027 10030 17093 0 -1 1077944384 4214 0 0 0 51 1 0 0 20 0 17 0 66799299 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140237957863792 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10044] ppid=10027 vsize=10817488 memory=4 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10044/stat : 10044 (java) S 10027 10030 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66799300 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140237956811232 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10045] ppid=10027 vsize=10817488 memory=622163 CPUtime=0.1 cores=0,2,4,6
/proc/10030/task/10045/stat : 10045 (java) S 10027 10030 17093 0 -1 1077944384 1044 0 0 0 5 5 0 0 20 0 17 0 66799304 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140237955759024 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10221] ppid=10027 vsize=10817488 memory=700198 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10221/stat : 10221 (java) S 10027 10030 17093 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 17 0 66821579 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140237953651568 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10222] ppid=10027 vsize=10817488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10222/stat : 10222 (java) S 10027 10030 17093 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 17 0 66821579 11077107712 845978 18446744073709551615 4194304 4196468 140730965415984 140237952599696 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3383912 KiB

[startup+223.111 s]
/proc/loadavg: 3.18 3.13 3.27 5/214 10223
/proc/meminfo: memFree=22255736/32770624 swapFree=67108860/67108860
[pid=10030] ppid=10027 vsize=10817488 memory=3383964 CPUtime=252.08 cores=0,2,4,6
/proc/10030/stat : 10030 (java) S 10027 10030 17093 0 -1 1077944320 78031 0 0 0 24920 288 0 0 20 0 17 0 66799288 11077107712 845982 18446744073709551615 4194304 4196468 140730965415984 140730965398528 140238384180983 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
/proc/10030/statm: 2704372 845989 3149 1 0 2693825 0
[pid=10030/tid=10032] ppid=10027 vsize=10817488 memory=3383604 CPUtime=212.35 cores=0,2,4,6
/proc/10030/task/10032/stat : 10032 (java) S 10027 10030 17093 0 -1 1077944384 23346 0 0 0 21225 10 0 0 20 0 17 0 66799294 11077107712 845991 18446744073709551615 4194304 4196468 140730965415984 140238388423856 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10033] ppid=10027 vsize=10817488 memory=3383604 CPUtime=7.91 cores=0,2,4,6
/proc/10030/task/10033/stat : 10033 (java) S 10027 10030 17093 0 -1 1077944384 4587 0 0 0 727 64 0 0 20 0 17 0 66799295 11077107712 845991 18446744073709551615 4194304 4196468 140730965415984 140238341147024 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10034] ppid=10027 vsize=10817488 memory=3383604 CPUtime=7.89 cores=0,2,4,6
/proc/10030/task/10034/stat : 10034 (java) S 10027 10030 17093 0 -1 1077944384 4580 0 0 0 727 62 0 0 20 0 17 0 66799295 11077107712 845991 18446744073709551615 4194304 4196468 140730965415984 140238340094224 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10035] ppid=10027 vsize=10817488 memory=3383604 CPUtime=8.02 cores=0,2,4,6
/proc/10030/task/10035/stat : 10035 (java) S 10027 10030 17093 0 -1 1077944384 4609 0 0 0 731 71 0 0 20 0 17 0 66799295 11077107712 845991 18446744073709551615 4194304 4196468 140730965415984 140238339041936 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10036] ppid=10027 vsize=10817488 memory=3383604 CPUtime=7.93 cores=0,2,4,6
/proc/10030/task/10036/stat : 10036 (java) S 10027 10030 17093 0 -1 1077944384 4955 0 0 0 725 68 0 0 20 0 17 0 66799295 11077107712 845991 18446744073709551615 4194304 4196468 140730965415984 140238337989136 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10037] ppid=10027 vsize=10817488 memory=3383576 CPUtime=2.37 cores=0,2,4,6
/proc/10030/task/10037/stat : 10037 (java) S 10027 10030 17093 0 -1 1077944384 7205 0 0 0 236 1 0 0 20 0 17 0 66799296 11077107712 845991 18446744073709551615 4194304 4196468 140730965415984 140237964180080 140238384192130 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10038] ppid=10027 vsize=10817488 memory=3383604 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10038/stat : 10038 (java) S 10027 10030 17093 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 66799297 11077107712 845991 18446744073709551615 4194304 4196468 140730965415984 140237963126112 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10039] ppid=10027 vsize=10817488 memory=3383604 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10039/stat : 10039 (java) S 10027 10030 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 66799297 11077107712 845991 18446744073709551615 4194304 4196468 140730965415984 140237962073728 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10040] ppid=10027 vsize=10817488 memory=3383604 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10040/stat : 10040 (java) S 10027 10030 17093 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 17 0 66799299 11077107712 845991 18446744073709551615 4194304 4196468 140730965415984 140237961022032 140238384199579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10041] ppid=10027 vsize=10817488 memory=4028 CPUtime=2.13 cores=0,2,4,6
/proc/10030/task/10041/stat : 10041 (java) R 10027 10030 17093 0 -1 4202560 8897 0 0 0 212 1 0 0 20 0 17 0 66799299 11077107712 845991 18446744073709551615 4194304 4196468 140730965415984 140237959968880 140238376470365 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10042] ppid=10027 vsize=10817488 memory=3383604 CPUtime=2.77 cores=0,2,4,6
/proc/10030/task/10042/stat : 10042 (java) R 10027 10030 17093 0 -1 4202560 12343 0 0 0 276 1 0 0 20 0 17 0 66799299 11077107712 845991 18446744073709551615 4194304 4196468 140730965415984 140237958906464 140238363358406 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10043] ppid=10027 vsize=10817488 memory=4028 CPUtime=0.52 cores=0,2,4,6
/proc/10030/task/10043/stat : 10043 (java) R 10027 10030 17093 0 -1 1077944384 4286 0 0 0 51 1 0 0 20 0 17 0 66799299 11077107712 845991 18446744073709551615 4194304 4196468 140730965415984 140237957859520 140238384191189 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10044] ppid=10027 vsize=10817488 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10044/stat : 10044 (java) S 10027 10030 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66799300 11077107712 845991 18446744073709551615 4194304 4196468 140730965415984 140237956811232 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10045] ppid=10027 vsize=10817488 memory=37680 CPUtime=0.1 cores=0,2,4,6
/proc/10030/task/10045/stat : 10045 (java) S 10027 10030 17093 0 -1 1077944384 1044 0 0 0 5 5 0 0 20 0 17 0 66799304 11077107712 845991 18446744073709551615 4194304 4196468 140730965415984 140237955759024 140238384192130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10221] ppid=10027 vsize=10817488 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10221/stat : 10221 (java) S 10027 10030 17093 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 17 0 66821579 11077107712 845993 18446744073709551615 4194304 4196468 140730965415984 140237953651568 140238384191189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
[pid=10030/tid=10222] ppid=10027 vsize=10817488 memory=3383604 CPUtime=0 cores=0,2,4,6
/proc/10030/task/10222/stat : 10222 (java) R 10027 10030 17093 0 -1 4202560 271 0 0 0 0 0 0 0 20 0 17 0 66821579 11077107712 845993 18446744073709551615 4194304 4196468 140730965415984 140237952599696 140238384202813 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140730965418389 140730965418542 140730965418542 140730965422031 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3383964 KiB

Child status: 143
Real time (s): 223.144
CPU time (s): 252.118
CPU user time (s): 249.213
CPU system time (s): 2.90448
CPU usage (%): 112.984
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 3383964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.213
system time used= 2.90448
maximum resident set size= 3384216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7800
involuntary context switches= 778


# summary of solver processes directly reported to runsolver:
#   pid: 10030
#   total CPU time (s): 252.118
#   total CPU user time (s): 249.213
#   total CPU system time (s): 2.90448

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40513 second user time and 2.09065 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml
MD5SUM	72c979ceab0684897cea6dc90bd0dbab
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	789
Best CPU time to get the best result obtained on this benchmark	251.90401
Satisfiable
(Un)Satisfiability was proved
Number of variables	1190
Number of constraints	1155
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":34},{"size":2,"count":1122},{"size":101,"count":33}]
Minimum variable degree	0
Maximum variable degree	65
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":34},{"degree":2,"count":66},{"degree":4,"count":1056},{"degree":65,"count":33}]
Minimum constraint arity	1
Maximum constraint arity	33
Distribution of constraint arities	[{"arity":1,"count":33},{"arity":3,"count":1056},{"arity":33,"count":66}]
Number of extensional constraints	0
Number of intensional constraints	33
Distribution of constraint types	[{"type":"intension","count":33},{"type":"sum","count":1056},{"type":"count","count":66}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4258349

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