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)	1600	252.091	223.04401

42.03/15.14	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
42.03/15.14	c This is free software under the dual EPL/GNU LGPL licenses.
42.03/15.14	c See www.sat4j.org for details.
42.03/15.14	c That software uses the Rhino library from the Mozilla project.
42.03/15.14	c version CUSTOM.v20170705
42.03/15.14	c java.runtime.name	Java(TM) SE Runtime Environment
42.03/15.14	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
42.03/15.14	c java.vm.version	25.131-b11
42.03/15.14	c java.vm.vendor	Oracle Corporation
42.03/15.14	c sun.arch.data.model	64
42.03/15.14	c java.version		1.8.0_131
42.03/15.14	c os.name		Linux
42.03/15.14	c os.version		3.10.0-514.16.1.el7.x86_64
42.03/15.14	c os.arch		amd64
42.03/15.14	c Free memory 		499604488
42.03/15.14	c Max memory 		7247757312
42.03/15.14	c Total memory 		504889344
42.03/15.14	c Number of processors 	4
42.03/15.14	c c --- Begin Solver configuration ---
42.03/15.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
42.03/15.14	c Learn all clauses as in MiniSAT
42.03/15.14	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
42.03/15.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
42.03/15.14	c No reason simplification
42.03/15.14	c Glucose 2.1 dynamic restart strategy
42.03/15.14	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
42.03/15.14	c timeout=2147483s
42.03/15.14	c DB Simplification allowed=false
42.03/15.14	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
42.03/15.14	c --- End Solver configuration ---
42.03/15.14	c constraints type 
42.03/15.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 2176
42.03/15.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 414304
42.03/15.14	c org.sat4j.minisat.constraints.cnf.UnitClauses => 33
42.03/15.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20382944
42.03/15.14	c org.sat4j.specs.Constr$1 => 33
42.03/15.14	c org.sat4j.minisat.constraints.cnf.UnitClause => 2176
42.03/15.14	c 20801666 constraints processed.
44.19/16.44	o 1600
252.05/223.00	c starts		: 3087
252.05/223.00	c conflicts		: 322711
252.05/223.00	c decisions		: 2731624
252.05/223.00	c propagations		: 914146413
252.05/223.00	c inspects		: 1522933073
252.05/223.00	c shortcuts		: 0
252.05/223.00	c learnt literals	: 136
252.05/223.00	c learnt binary clauses	: 246
252.05/223.00	c learnt ternary clauses	: 1203
252.05/223.00	c learnt constraints	: 322575
252.05/223.00	c ignored constraints	: 0
252.05/223.00	c root simplifications	: 0
252.05/223.00	c removed literals (reason simplification)	: 0
252.05/223.00	c reason swapping (by a shorter reason)	: 0
252.05/223.00	c Calls to reduceDB	: 21
252.05/223.00	c Number of update (reduction) of LBD	: 225924
252.05/223.00	c Imported unit clauses	: 0
252.05/223.00	c number of reductions to clauses (during analyze)	: 0
252.05/223.00	c number of learned constraints concerned by reduction	: 0
252.05/223.00	c number of learning phase by resolution	: 0
252.05/223.00	c number of learning phase by cutting planes	: 0
252.05/223.00	c number of rounding to 1 operations	: 0
252.05/223.00	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
252.05/223.00	c number of reductions of the coefficients by power 2 	: 0
252.05/223.00	c number of right shift for reduction by power 2 	: 0
252.05/223.00	c number of reductions of the coefficients by GCD over coefficients 	: 0
252.05/223.00	c speed (assignments/second)	: 4399566.914202935
252.05/223.00	c non guided choices	266697
252.05/223.00	c learnt constraints type 
252.05/223.00	s SATISFIABLE
252.06/223.01	v <instantiation type="solution">
252.06/223.01	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list>
252.06/223.01	v 	<values> 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 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 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 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 1 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 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 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 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 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 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 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 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 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 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 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 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 5 23 98 15 100 18 97 100 95 100 6 75 24 10 99 94 100 94 100 87 10 20 14 13 14 2 23 99 8 20 93 63 </values>
252.06/223.01	v </instantiation>
252.06/223.01

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258347-1502645067/watcher-4258347-1502645067 -o /tmp/evaluation-result-4258347-1502645067/solver-4258347-1502645067 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258347-1502645067.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=8965, runsolver pid=8962
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 4.44 4.48 3.91 3/207 8974
/proc/meminfo: memFree=25386180/32770624 swapFree=67108860/67108860
[pid=8965] ppid=8962 vsize=10151672 memory=20476 CPUtime=0.03 cores=1,3,5,7
/proc/8965/stat : 8965 (java) S 8962 8965 17093 0 -1 1077944320 4008 0 0 0 3 0 0 0 20 0 9 0 66699983 10395312128 5119 18446744073709551615 4194304 4196468 140723486251328 140723486233872 139854655307511 0 0 1 16800970 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
/proc/8965/statm: 2537918 5119 2123 1 0 2527415 0
[pid=8965/tid=8967] ppid=8962 vsize=10151672 memory=-7677926825137650786 CPUtime=0.03 cores=1,3,5,7
/proc/8965/task/8967/stat : 8967 (java) R 8962 8965 17093 0 -1 4202560 2655 0 0 0 3 0 0 0 20 0 9 0 66699990 10395312128 5119 18446744073709551615 4194304 4196468 140723486251328 139854659542608 139854647985604 0 4 1 16800970 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8968] ppid=8962 vsize=10151672 memory=4872558142750482496 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8968/stat : 8968 (java) S 8962 8965 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66699991 10395312128 5119 18446744073709551615 4194304 4196468 140723486251328 139854612273680 139854655317717 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8969] ppid=8962 vsize=10151672 memory=140216990901888 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8969/stat : 8969 (java) S 8962 8965 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66699991 10395312128 5119 18446744073709551615 4194304 4196468 140723486251328 139854611221136 139854655317717 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8970] ppid=8962 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8970/stat : 8970 (java) S 8962 8965 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66699991 10395312128 5119 18446744073709551615 4194304 4196468 140723486251328 139854610168080 139854655317717 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8971] ppid=8962 vsize=10151672 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8971/stat : 8971 (java) S 8962 8965 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66699991 10395312128 5119 18446744073709551615 4194304 4196468 140723486251328 139854609115536 139854655317717 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8972] ppid=8962 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8972/stat : 8972 (java) S 8962 8965 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66699992 10395312128 5119 18446744073709551615 4194304 4196468 140723486251328 139854218717936 139854655318658 0 0 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8973] ppid=8962 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8973/stat : 8973 (java) S 8962 8965 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 66699993 10395312128 5119 18446744073709551615 4194304 4196468 140723486251328 139854217664160 139854655317717 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8974] ppid=8962 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8974/stat : 8974 (java) S 8962 8965 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 66699993 10395312128 5119 18446744073709551615 4194304 4196468 140723486251328 139854216611056 139854655317717 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 20476 KiB

[startup+0.209848 s]*
/proc/loadavg: 4.44 4.48 3.91 3/213 8980
/proc/meminfo: memFree=25382920/32770624 swapFree=67108860/67108860
[pid=8965] ppid=8962 vsize=10553140 memory=27900 CPUtime=0.1 cores=1,3,5,7
/proc/8965/stat : 8965 (java) S 8962 8965 17093 0 -1 1077944320 5466 0 0 0 9 1 0 0 20 0 15 0 66699983 10806415360 6909 18446744073709551615 4194304 4196468 140723486251328 140723486233872 139854655307511 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
/proc/8965/statm: 2638285 6909 2759 1 0 2627757 0
[pid=8965/tid=8967] ppid=8962 vsize=10554768 memory=7972079681069007774 CPUtime=0.08 cores=1,3,5,7
/proc/8965/task/8967/stat : 8967 (java) R 8962 8965 17093 0 -1 4202560 3735 0 0 0 7 1 0 0 20 0 15 0 66699990 10808082432 7305 18446744073709551615 4194304 4196468 140723486251328 139854659495856 139854647987229 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8968] ppid=8962 vsize=10554768 memory=4872558142750482496 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8968/stat : 8968 (java) S 8962 8965 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66699991 10808082432 7305 18446744073709551615 4194304 4196468 140723486251328 139854612273680 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8969] ppid=8962 vsize=10554768 memory=140216990901888 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8969/stat : 8969 (java) S 8962 8965 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66699991 10808082432 7305 18446744073709551615 4194304 4196468 140723486251328 139854611221136 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8970] ppid=8962 vsize=10554768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8970/stat : 8970 (java) S 8962 8965 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66699991 10808082432 7305 18446744073709551615 4194304 4196468 140723486251328 139854610168080 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8971] ppid=8962 vsize=10554768 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8971/stat : 8971 (java) S 8962 8965 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66699991 10808082432 7305 18446744073709551615 4194304 4196468 140723486251328 139854609115536 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8972] ppid=8962 vsize=10554768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8972/stat : 8972 (java) S 8962 8965 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66699992 10808082432 7371 18446744073709551615 4194304 4196468 140723486251328 139854218717936 139854655318658 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8973] ppid=8962 vsize=10554768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8973/stat : 8973 (java) S 8962 8965 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66699993 10808082432 7371 18446744073709551615 4194304 4196468 140723486251328 139854217664160 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8974] ppid=8962 vsize=10554768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8974/stat : 8974 (java) S 8962 8965 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66699993 10808082432 7371 18446744073709551615 4194304 4196468 140723486251328 139854216611056 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8975] ppid=8962 vsize=10554768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8975/stat : 8975 (java) S 8962 8965 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66699995 10808082432 7371 18446744073709551615 4194304 4196468 140723486251328 139854215559632 139854655326107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8976] ppid=8962 vsize=10554768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8976/stat : 8976 (java) S 8962 8965 17093 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 66699995 10808082432 7437 18446744073709551615 4194304 4196468 140723486251328 139854214506736 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8977] ppid=8962 vsize=10554768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8977/stat : 8977 (java) S 8962 8965 17093 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 66699995 10808082432 7437 18446744073709551615 4194304 4196468 140723486251328 139854213454192 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8978] ppid=8962 vsize=10554768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8965/task/8978/stat : 8978 (java) S 8962 8965 17093 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 15 0 66699995 10808082432 7437 18446744073709551615 4194304 4196468 140723486251328 139854212401136 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8979] ppid=8962 vsize=10554768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8979/stat : 8979 (java) S 8962 8965 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66699995 10808082432 7437 18446744073709551615 4194304 4196468 140723486251328 139854211348832 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8980] ppid=8962 vsize=10554768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8980/stat : 8980 (java) S 8962 8965 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66700002 10808082432 7437 18446744073709551615 4194304 4196468 140723486251328 139854210296880 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10553140 KiB
Current children cumulated memory: 27900 KiB

[startup+0.310318 s]*
/proc/loadavg: 4.44 4.48 3.91 3/213 8980
/proc/meminfo: memFree=25372452/32770624 swapFree=67108860/67108860
[pid=8965] ppid=8962 vsize=10551156 memory=36888 CPUtime=0.26 cores=1,3,5,7
/proc/8965/stat : 8965 (java) S 8962 8965 17093 0 -1 1077944320 8486 0 0 0 23 3 0 0 20 0 15 0 66699983 10804383744 9222 18446744073709551615 4194304 4196468 140723486251328 140723486233872 139854655307511 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
/proc/8965/statm: 2637789 9222 2876 1 0 2627261 0
[pid=8965/tid=8967] ppid=8962 vsize=10551156 memory=-7677926825137650786 CPUtime=0.18 cores=1,3,5,7
/proc/8965/task/8967/stat : 8967 (java) R 8962 8965 17093 0 -1 4202560 6127 0 0 0 16 2 0 0 20 0 15 0 66699990 10804383744 9222 18446744073709551615 4194304 4196468 140723486251328 139854659545152 139854655319446 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8968] ppid=8962 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8968/stat : 8968 (java) S 8962 8965 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66699991 10804383744 9222 18446744073709551615 4194304 4196468 140723486251328 139854612273680 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8969] ppid=8962 vsize=10551156 memory=-6517102902069810590 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8969/stat : 8969 (java) S 8962 8965 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66699991 10804383744 9222 18446744073709551615 4194304 4196468 140723486251328 139854611221136 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8970] ppid=8962 vsize=10551156 memory=-8281159560775938631 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8970/stat : 8970 (java) S 8962 8965 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66699991 10804383744 9222 18446744073709551615 4194304 4196468 140723486251328 139854610168080 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8971] ppid=8962 vsize=10551156 memory=140216990908881 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8971/stat : 8971 (java) S 8962 8965 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66699991 10804383744 9222 18446744073709551615 4194304 4196468 140723486251328 139854609115536 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8972] ppid=8962 vsize=10551156 memory=6371577976825342049 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8972/stat : 8972 (java) S 8962 8965 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66699992 10804383744 9222 18446744073709551615 4194304 4196468 140723486251328 139854218717936 139854655318658 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8973] ppid=8962 vsize=10551156 memory=6156260588853946985 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8973/stat : 8973 (java) S 8962 8965 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66699993 10804383744 9222 18446744073709551615 4194304 4196468 140723486251328 139854217664160 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8974] ppid=8962 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8974/stat : 8974 (java) S 8962 8965 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66699993 10804383744 9222 18446744073709551615 4194304 4196468 140723486251328 139854216611056 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8975] ppid=8962 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8975/stat : 8975 (java) S 8962 8965 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66699995 10804383744 9222 18446744073709551615 4194304 4196468 140723486251328 139854215559632 139854655326107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8976] ppid=8962 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8965/task/8976/stat : 8976 (java) S 8962 8965 17093 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 15 0 66699995 10804383744 9222 18446744073709551615 4194304 4196468 140723486251328 139854214506736 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8977] ppid=8962 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8965/task/8977/stat : 8977 (java) S 8962 8965 17093 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 15 0 66699995 10804383744 9222 18446744073709551615 4194304 4196468 140723486251328 139854213454192 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8978] ppid=8962 vsize=10551156 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8965/task/8978/stat : 8978 (java) R 8962 8965 17093 0 -1 4202560 405 0 0 0 4 0 0 0 20 0 15 0 66699995 10804383744 9222 18446744073709551615 4194304 4196468 140723486251328 139854212401136 139854647544638 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8979] ppid=8962 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8979/stat : 8979 (java) S 8962 8965 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66699995 10804383744 9222 18446744073709551615 4194304 4196468 140723486251328 139854211348832 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8980] ppid=8962 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8980/stat : 8980 (java) S 8962 8965 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66700002 10804383744 9222 18446744073709551615 4194304 4196468 140723486251328 139854210296880 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36888 KiB

[startup+0.701266 s]
/proc/loadavg: 4.44 4.48 3.91 6/213 8980
/proc/meminfo: memFree=25358636/32770624 swapFree=67108860/67108860
[pid=8965] ppid=8962 vsize=10551232 memory=105048 CPUtime=1.42 cores=1,3,5,7
/proc/8965/stat : 8965 (java) S 8962 8965 17093 0 -1 1077944320 13104 0 0 0 137 5 0 0 20 0 15 0 66699983 10804461568 26262 18446744073709551615 4194304 4196468 140723486251328 140723486233872 139854655307511 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
/proc/8965/statm: 2637808 26262 3063 1 0 2627261 0
[pid=8965/tid=8967] ppid=8962 vsize=10551232 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/8965/task/8967/stat : 8967 (java) R 8962 8965 17093 0 -1 4202560 7744 0 0 0 51 4 0 0 20 0 15 0 66699990 10804461568 26262 18446744073709551615 4194304 4196468 140723486251328 139854659539752 139854620646408 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8968] ppid=8962 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8968/stat : 8968 (java) S 8962 8965 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66699991 10804461568 26262 18446744073709551615 4194304 4196468 140723486251328 139854612273680 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8969] ppid=8962 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8969/stat : 8969 (java) S 8962 8965 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66699991 10804461568 26262 18446744073709551615 4194304 4196468 140723486251328 139854611221136 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8970] ppid=8962 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8970/stat : 8970 (java) S 8962 8965 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66699991 10804461568 26262 18446744073709551615 4194304 4196468 140723486251328 139854610168080 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8971] ppid=8962 vsize=10551232 memory=18889266171726 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8971/stat : 8971 (java) S 8962 8965 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66699991 10804461568 26262 18446744073709551615 4194304 4196468 140723486251328 139854609115536 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8972] ppid=8962 vsize=10551232 memory=303430249088300439 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8972/stat : 8972 (java) S 8962 8965 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 66699992 10804461568 26262 18446744073709551615 4194304 4196468 140723486251328 139854218717936 139854655318658 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8973] ppid=8962 vsize=10551232 memory=14128948594967164 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8973/stat : 8973 (java) S 8962 8965 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66699993 10804461568 26262 18446744073709551615 4194304 4196468 140723486251328 139854217664160 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8974] ppid=8962 vsize=10551232 memory=4639642631936434791 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8974/stat : 8974 (java) S 8962 8965 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66699993 10804461568 26262 18446744073709551615 4194304 4196468 140723486251328 139854216611056 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8975] ppid=8962 vsize=10551232 memory=4640206595503050852 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8975/stat : 8975 (java) S 8962 8965 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66699995 10804461568 26262 18446744073709551615 4194304 4196468 140723486251328 139854215559632 139854655326107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8976] ppid=8962 vsize=10551232 memory=4638778398332703844 CPUtime=0.25 cores=1,3,5,7
/proc/8965/task/8976/stat : 8976 (java) R 8962 8965 17093 0 -1 4202560 1185 0 0 0 25 0 0 0 20 0 15 0 66699995 10804461568 26262 18446744073709551615 4194304 4196468 140723486251328 139854214499760 139854636852155 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8977] ppid=8962 vsize=10551232 memory=6935651561890015574 CPUtime=0.26 cores=1,3,5,7
/proc/8965/task/8977/stat : 8977 (java) R 8962 8965 17093 0 -1 4202560 1144 0 0 0 26 0 0 0 20 0 15 0 66699995 10804461568 26262 18446744073709551615 4194304 4196468 140723486251328 139854213443904 139854634964113 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8978] ppid=8962 vsize=10551232 memory=7379241887857404503 CPUtime=0.33 cores=1,3,5,7
/proc/8965/task/8978/stat : 8978 (java) S 8962 8965 17093 0 -1 1077944384 1661 0 0 0 33 0 0 0 20 0 15 0 66699995 10804461568 26262 18446744073709551615 4194304 4196468 140723486251328 139854212401136 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8979] ppid=8962 vsize=10551232 memory=6082507487824139624 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8979/stat : 8979 (java) S 8962 8965 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66699995 10804461568 26262 18446744073709551615 4194304 4196468 140723486251328 139854211348832 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8980] ppid=8962 vsize=10551232 memory=7158588607990158697 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8980/stat : 8980 (java) S 8962 8965 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66700002 10804461568 26262 18446744073709551615 4194304 4196468 140723486251328 139854210296880 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 105048 KiB

[startup+1.50123 s]
/proc/loadavg: 4.44 4.48 3.91 5/213 8980
/proc/meminfo: memFree=25193508/32770624 swapFree=67108860/67108860
[pid=8965] ppid=8962 vsize=10551232 memory=448824 CPUtime=3.93 cores=1,3,5,7
/proc/8965/stat : 8965 (java) S 8962 8965 17093 0 -1 1077944320 21537 0 0 0 374 19 0 0 20 0 15 0 66699983 10804461568 112206 18446744073709551615 4194304 4196468 140723486251328 140723486233872 139854655307511 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
/proc/8965/statm: 2637808 112206 3101 1 0 2627261 0
[pid=8965/tid=8967] ppid=8962 vsize=10551232 memory=-7522837415797432223 CPUtime=1.18 cores=1,3,5,7
/proc/8965/task/8967/stat : 8967 (java) S 8962 8965 17093 0 -1 1077944384 7855 0 0 0 111 7 0 0 20 0 15 0 66699990 10804461568 112206 18446744073709551615 4194304 4196468 140723486251328 139854659543456 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8968] ppid=8962 vsize=10551232 memory=-7522837415730323359 CPUtime=0.13 cores=1,3,5,7
/proc/8965/task/8968/stat : 8968 (java) R 8962 8965 17093 0 -1 4202560 155 0 0 0 11 2 0 0 20 0 15 0 66699991 10804461568 112206 18446744073709551615 4194304 4196468 140723486251328 139854612273680 139854640334930 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8969] ppid=8962 vsize=10551232 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8965/task/8969/stat : 8969 (java) R 8962 8965 17093 0 -1 1077944384 136 0 0 0 7 2 0 0 20 0 15 0 66699991 10804461568 112206 18446744073709551615 4194304 4196468 140723486251328 139854611221136 139854655317717 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8970] ppid=8962 vsize=10551232 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8965/task/8970/stat : 8970 (java) R 8962 8965 17093 0 -1 4202560 59 0 0 0 9 1 0 0 20 0 15 0 66699991 10804461568 112206 18446744073709551615 4194304 4196468 140723486251328 139854610168080 139854640331566 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8971] ppid=8962 vsize=10551232 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8965/task/8971/stat : 8971 (java) R 8962 8965 17093 0 -1 4202560 141 0 0 0 8 2 0 0 20 0 15 0 66699991 10804461568 112206 18446744073709551615 4194304 4196468 140723486251328 139854609115536 139854640334624 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8972] ppid=8962 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8972/stat : 8972 (java) S 8962 8965 17093 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 66699992 10804461568 112206 18446744073709551615 4194304 4196468 140723486251328 139854218716448 139854655317717 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8973] ppid=8962 vsize=10551232 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8973/stat : 8973 (java) S 8962 8965 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 66699993 10804461568 112206 18446744073709551615 4194304 4196468 140723486251328 139854217664160 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8974] ppid=8962 vsize=10551232 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8974/stat : 8974 (java) S 8962 8965 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 66699993 10804461568 112206 18446744073709551615 4194304 4196468 140723486251328 139854216611056 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8975] ppid=8962 vsize=10551232 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8975/stat : 8975 (java) S 8962 8965 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66699995 10804461568 112206 18446744073709551615 4194304 4196468 140723486251328 139854215559632 139854655326107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8976] ppid=8962 vsize=10551232 memory=6944652177228980320 CPUtime=0.94 cores=1,3,5,7
/proc/8965/task/8976/stat : 8976 (java) R 8962 8965 17093 0 -1 4202560 5039 0 0 0 94 0 0 0 20 0 15 0 66699995 10804461568 112206 18446744073709551615 4194304 4196468 140723486251328 139854214492760 139854636828007 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8977] ppid=8962 vsize=10551232 memory=6944656575208382560 CPUtime=0.93 cores=1,3,5,7
/proc/8965/task/8977/stat : 8977 (java) R 8962 8965 17093 0 -1 4202560 4685 0 0 0 93 0 0 0 20 0 15 0 66699995 10804461568 112206 18446744073709551615 4194304 4196468 140723486251328 139854213440216 139854634564104 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8978] ppid=8962 vsize=10551232 memory=6944656575208382560 CPUtime=0.35 cores=1,3,5,7
/proc/8965/task/8978/stat : 8978 (java) S 8962 8965 17093 0 -1 1077944384 2022 0 0 0 35 0 0 0 20 0 15 0 66699995 10804461568 112206 18446744073709551615 4194304 4196468 140723486251328 139854212401136 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0

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

/proc/8965/task/8972/stat : 8972 (java) S 8962 8965 17093 0 -1 1077944384 7812 0 0 0 230 1 0 0 20 0 16 0 66699992 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854218717936 139854655318658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8973] ppid=8962 vsize=10617796 memory=3321428 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8973/stat : 8973 (java) S 8962 8965 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 66699993 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854217664160 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8974] ppid=8962 vsize=10617796 memory=3321428 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8974/stat : 8974 (java) S 8962 8965 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 66699993 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854216611056 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8975] ppid=8962 vsize=10617796 memory=3321428 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8975/stat : 8975 (java) S 8962 8965 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66699995 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854215559632 139854655326107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8976] ppid=8962 vsize=10617796 memory=12200 CPUtime=2.58 cores=1,3,5,7
/proc/8965/task/8976/stat : 8976 (java) S 8962 8965 17093 0 -1 1077944384 11799 0 0 0 257 1 0 0 20 0 16 0 66699995 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854214506736 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8977] ppid=8962 vsize=10617796 memory=3321428 CPUtime=2.34 cores=1,3,5,7
/proc/8965/task/8977/stat : 8977 (java) S 8962 8965 17093 0 -1 1077944384 8418 0 0 0 233 1 0 0 20 0 16 0 66699995 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854213454192 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8978] ppid=8962 vsize=10617796 memory=4028 CPUtime=0.51 cores=1,3,5,7
/proc/8965/task/8978/stat : 8978 (java) S 8962 8965 17093 0 -1 1077944384 4019 0 0 0 51 0 0 0 20 0 16 0 66699995 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854212401136 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8979] ppid=8962 vsize=10617796 memory=37620 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8979/stat : 8979 (java) S 8962 8965 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66699995 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854211348832 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8980] ppid=8962 vsize=10617796 memory=3321428 CPUtime=0.07 cores=1,3,5,7
/proc/8965/task/8980/stat : 8980 (java) S 8962 8965 17093 0 -1 1077944384 1244 0 0 0 3 4 0 0 20 0 16 0 66700002 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854210296880 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=9059] ppid=8962 vsize=10617796 memory=3321428 CPUtime=0 cores=1,3,5,7
/proc/8965/task/9059/stat : 9059 (java) S 8962 8965 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 66701506 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854209242672 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
Current children cumulated CPU time: 191.48 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3321428 KiB

[startup+222.301 s]
/proc/loadavg: 2.52 3.46 3.63 6/210 9145
/proc/meminfo: memFree=22179232/32770624 swapFree=67108860/67108860
[pid=8965] ppid=8962 vsize=10617796 memory=3321428 CPUtime=251.51 cores=1,3,5,7
/proc/8965/stat : 8965 (java) S 8962 8965 17093 0 -1 1077944320 72366 0 0 0 24880 271 0 0 20 0 16 0 66699983 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 140723486233872 139854655307511 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
/proc/8965/statm: 2654449 830357 3140 1 0 2643902 0
[pid=8965/tid=8967] ppid=8962 vsize=10617796 memory=3321428 CPUtime=211.63 cores=1,3,5,7
/proc/8965/task/8967/stat : 8967 (java) R 8962 8965 17093 0 -1 4202560 17629 0 0 0 21152 11 0 0 20 0 16 0 66699990 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854659543392 139854290945852 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8968] ppid=8962 vsize=10617796 memory=3321428 CPUtime=8.02 cores=1,3,5,7
/proc/8965/task/8968/stat : 8968 (java) S 8962 8965 17093 0 -1 1077944384 3633 0 0 0 740 62 0 0 20 0 16 0 66699991 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854612273680 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8969] ppid=8962 vsize=10617796 memory=3321428 CPUtime=8.06 cores=1,3,5,7
/proc/8965/task/8969/stat : 8969 (java) S 8962 8965 17093 0 -1 1077944384 7667 0 0 0 738 68 0 0 20 0 16 0 66699991 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854611221136 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8970] ppid=8962 vsize=10617796 memory=3321428 CPUtime=7.88 cores=1,3,5,7
/proc/8965/task/8970/stat : 8970 (java) S 8962 8965 17093 0 -1 1077944384 5023 0 0 0 733 55 0 0 20 0 16 0 66699991 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854610168080 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8971] ppid=8962 vsize=10617796 memory=4048 CPUtime=7.98 cores=1,3,5,7
/proc/8965/task/8971/stat : 8971 (java) S 8962 8965 17093 0 -1 1077944384 3190 0 0 0 735 63 0 0 20 0 16 0 66699991 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854609115536 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8972] ppid=8962 vsize=10617796 memory=3321428 CPUtime=2.31 cores=1,3,5,7
/proc/8965/task/8972/stat : 8972 (java) S 8962 8965 17093 0 -1 1077944384 7862 0 0 0 230 1 0 0 20 0 16 0 66699992 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854218717936 139854655318658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8973] ppid=8962 vsize=10617796 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8973/stat : 8973 (java) S 8962 8965 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 66699993 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854217664160 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8974] ppid=8962 vsize=10617796 memory=3321428 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8974/stat : 8974 (java) S 8962 8965 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 66699993 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854216611056 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8975] ppid=8962 vsize=10617796 memory=3321428 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8975/stat : 8975 (java) S 8962 8965 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66699995 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854215559632 139854655326107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8976] ppid=8962 vsize=10617796 memory=3321428 CPUtime=2.58 cores=1,3,5,7
/proc/8965/task/8976/stat : 8976 (java) S 8962 8965 17093 0 -1 1077944384 11812 0 0 0 257 1 0 0 20 0 16 0 66699995 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854214506736 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8977] ppid=8962 vsize=10617796 memory=4028 CPUtime=2.34 cores=1,3,5,7
/proc/8965/task/8977/stat : 8977 (java) S 8962 8965 17093 0 -1 1077944384 8422 0 0 0 233 1 0 0 20 0 16 0 66699995 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854213454192 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8978] ppid=8962 vsize=10617796 memory=3321428 CPUtime=0.52 cores=1,3,5,7
/proc/8965/task/8978/stat : 8978 (java) S 8962 8965 17093 0 -1 1077944384 4462 0 0 0 51 1 0 0 20 0 16 0 66699995 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854212401136 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8979] ppid=8962 vsize=10617796 memory=3321428 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8979/stat : 8979 (java) S 8962 8965 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66699995 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854211348832 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8980] ppid=8962 vsize=10617796 memory=4028 CPUtime=0.11 cores=1,3,5,7
/proc/8965/task/8980/stat : 8980 (java) S 8962 8965 17093 0 -1 1077944384 1285 0 0 0 5 6 0 0 20 0 16 0 66700002 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854210296880 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=9059] ppid=8962 vsize=10617796 memory=37620 CPUtime=0 cores=1,3,5,7
/proc/8965/task/9059/stat : 9059 (java) S 8962 8965 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 66701506 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854209242672 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
Current children cumulated CPU time: 251.51 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3321428 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+222.801 s]
/proc/loadavg: 2.52 3.46 3.63 6/210 9145
/proc/meminfo: memFree=22179232/32770624 swapFree=67108860/67108860
[pid=8965] ppid=8962 vsize=10617796 memory=3321428 CPUtime=252.01 cores=1,3,5,7
/proc/8965/stat : 8965 (java) S 8962 8965 17093 0 -1 1077944320 72401 0 0 0 24930 271 0 0 20 0 16 0 66699983 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 140723486233872 139854655307511 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
/proc/8965/statm: 2654449 830357 3140 1 0 2643902 0
[pid=8965/tid=8967] ppid=8962 vsize=10617796 memory=7680170660397595203 CPUtime=212.13 cores=1,3,5,7
/proc/8965/task/8967/stat : 8967 (java) R 8962 8965 17093 0 -1 4202560 17664 0 0 0 21202 11 0 0 20 0 16 0 66699990 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854659543392 139854291443470 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8968] ppid=8962 vsize=10617796 memory=640 CPUtime=8.02 cores=1,3,5,7
/proc/8965/task/8968/stat : 8968 (java) S 8962 8965 17093 0 -1 1077944384 3633 0 0 0 740 62 0 0 20 0 16 0 66699991 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854612273680 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8969] ppid=8962 vsize=10617796 memory=960 CPUtime=8.06 cores=1,3,5,7
/proc/8965/task/8969/stat : 8969 (java) S 8962 8965 17093 0 -1 1077944384 7667 0 0 0 738 68 0 0 20 0 16 0 66699991 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854611221136 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8970] ppid=8962 vsize=10617796 memory=1232 CPUtime=7.88 cores=1,3,5,7
/proc/8965/task/8970/stat : 8970 (java) S 8962 8965 17093 0 -1 1077944384 5023 0 0 0 733 55 0 0 20 0 16 0 66699991 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854610168080 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8971] ppid=8962 vsize=10617796 memory=2248 CPUtime=7.98 cores=1,3,5,7
/proc/8965/task/8971/stat : 8971 (java) S 8962 8965 17093 0 -1 1077944384 3190 0 0 0 735 63 0 0 20 0 16 0 66699991 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854609115536 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8972] ppid=8962 vsize=10617796 memory=4300 CPUtime=2.31 cores=1,3,5,7
/proc/8965/task/8972/stat : 8972 (java) S 8962 8965 17093 0 -1 1077944384 7862 0 0 0 230 1 0 0 20 0 16 0 66699992 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854218717936 139854655318658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8973] ppid=8962 vsize=10617796 memory=932 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8973/stat : 8973 (java) S 8962 8965 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 66699993 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854217664160 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8974] ppid=8962 vsize=10617796 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8974/stat : 8974 (java) S 8962 8965 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 66699993 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854216611056 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8975] ppid=8962 vsize=10617796 memory=4300 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8975/stat : 8975 (java) S 8962 8965 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66699995 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854215559632 139854655326107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8976] ppid=8962 vsize=10617796 memory=932 CPUtime=2.58 cores=1,3,5,7
/proc/8965/task/8976/stat : 8976 (java) S 8962 8965 17093 0 -1 1077944384 11812 0 0 0 257 1 0 0 20 0 16 0 66699995 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854214506736 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8977] ppid=8962 vsize=10617796 memory=1624 CPUtime=2.34 cores=1,3,5,7
/proc/8965/task/8977/stat : 8977 (java) S 8962 8965 17093 0 -1 1077944384 8422 0 0 0 233 1 0 0 20 0 16 0 66699995 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854213454192 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8978] ppid=8962 vsize=10617796 memory=2160 CPUtime=0.52 cores=1,3,5,7
/proc/8965/task/8978/stat : 8978 (java) S 8962 8965 17093 0 -1 1077944384 4462 0 0 0 51 1 0 0 20 0 16 0 66699995 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854212401136 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8979] ppid=8962 vsize=10617796 memory=844 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8979/stat : 8979 (java) S 8962 8965 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66699995 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854211348832 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8980] ppid=8962 vsize=10617796 memory=16448 CPUtime=0.11 cores=1,3,5,7
/proc/8965/task/8980/stat : 8980 (java) S 8962 8965 17093 0 -1 1077944384 1285 0 0 0 5 6 0 0 20 0 16 0 66700002 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854210296880 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=9059] ppid=8962 vsize=10617796 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/8965/task/9059/stat : 9059 (java) S 8962 8965 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 66701506 10872623104 830357 18446744073709551615 4194304 4196468 140723486251328 139854209242672 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3321428 KiB

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

[startup+223.043 s]
# the end of solver process 8965 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.349 s, system=2.74184 s

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

[startup+223.001 s]*
/proc/loadavg: 2.52 3.46 3.63 4/211 9148
/proc/meminfo: memFree=22179092/32770624 swapFree=67108860/67108860
[pid=8965] ppid=8962 vsize=10817488 memory=3321736 CPUtime=252.06 cores=1,3,5,7
/proc/8965/stat : 8965 (java) S 8962 8965 17093 0 -1 1077944320 74532 0 0 0 24934 272 0 0 20 0 17 0 66699983 11077107712 830434 18446744073709551615 4194304 4196468 140723486251328 140723486233872 139854655307511 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
/proc/8965/statm: 2704372 830434 3143 1 0 2693825 0
[pid=8965/tid=8967] ppid=8962 vsize=10817488 memory=-7677926825137650786 CPUtime=212.15 cores=1,3,5,7
/proc/8965/task/8967/stat : 8967 (java) S 8962 8965 17093 0 -1 1077944384 18009 0 0 0 21204 11 0 0 20 0 17 0 66699990 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854659550384 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8968] ppid=8962 vsize=10817488 memory=4872558044660077418 CPUtime=8.02 cores=1,3,5,7
/proc/8965/task/8968/stat : 8968 (java) S 8962 8965 17093 0 -1 1077944384 3633 0 0 0 740 62 0 0 20 0 17 0 66699991 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854612273680 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8969] ppid=8962 vsize=10817488 memory=5788 CPUtime=8.06 cores=1,3,5,7
/proc/8965/task/8969/stat : 8969 (java) S 8962 8965 17093 0 -1 1077944384 7667 0 0 0 738 68 0 0 20 0 17 0 66699991 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854611221136 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8970] ppid=8962 vsize=10817488 memory=4612 CPUtime=7.88 cores=1,3,5,7
/proc/8965/task/8970/stat : 8970 (java) S 8962 8965 17093 0 -1 1077944384 5023 0 0 0 733 55 0 0 20 0 17 0 66699991 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854610168080 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8971] ppid=8962 vsize=10817488 memory=1708 CPUtime=7.98 cores=1,3,5,7
/proc/8965/task/8971/stat : 8971 (java) S 8962 8965 17093 0 -1 1077944384 3190 0 0 0 735 63 0 0 20 0 17 0 66699991 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854609115536 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8972] ppid=8962 vsize=10817488 memory=1444 CPUtime=2.31 cores=1,3,5,7
/proc/8965/task/8972/stat : 8972 (java) S 8962 8965 17093 0 -1 1077944384 7895 0 0 0 230 1 0 0 20 0 17 0 66699992 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854218717936 139854655318658 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8973] ppid=8962 vsize=10817488 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8973/stat : 8973 (java) S 8962 8965 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 17 0 66699993 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854217664160 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8974] ppid=8962 vsize=10817488 memory=12200 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8974/stat : 8974 (java) S 8962 8965 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 66699993 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854216611056 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8975] ppid=8962 vsize=10817488 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8975/stat : 8975 (java) S 8962 8965 17093 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 17 0 66699995 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854215559632 139854655326107 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8976] ppid=8962 vsize=10817488 memory=1204 CPUtime=2.58 cores=1,3,5,7
/proc/8965/task/8976/stat : 8976 (java) S 8962 8965 17093 0 -1 1077944384 12207 0 0 0 257 1 0 0 20 0 17 0 66699995 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854214506736 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8977] ppid=8962 vsize=10817488 memory=1000 CPUtime=2.34 cores=1,3,5,7
/proc/8965/task/8977/stat : 8977 (java) R 8962 8965 17093 0 -1 1077944384 8443 0 0 0 233 1 0 0 20 0 17 0 66699995 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854213454192 139854655318658 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8978] ppid=8962 vsize=10817488 memory=3321428 CPUtime=0.53 cores=1,3,5,7
/proc/8965/task/8978/stat : 8978 (java) R 8962 8965 17093 0 -1 4202560 5154 0 0 0 52 1 0 0 20 0 17 0 66699995 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854212401136 139854639415610 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8979] ppid=8962 vsize=10817488 memory=3321428 CPUtime=0 cores=1,3,5,7
/proc/8965/task/8979/stat : 8979 (java) S 8962 8965 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66699995 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854211348832 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=8980] ppid=8962 vsize=10817488 memory=2752 CPUtime=0.11 cores=1,3,5,7
/proc/8965/task/8980/stat : 8980 (java) S 8962 8965 17093 0 -1 1077944384 1285 0 0 0 5 6 0 0 20 0 17 0 66700002 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854210296880 139854655318658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=9146] ppid=8962 vsize=10817488 memory=4064 CPUtime=0 cores=1,3,5,7
/proc/8965/task/9146/stat : 9146 (java) S 8962 8965 17093 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 17 0 66722264 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854208188912 139854655317717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
[pid=8965/tid=9147] ppid=8962 vsize=10817488 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/8965/task/9147/stat : 9147 (java) R 8962 8965 17093 0 -1 4202560 215 0 0 0 0 0 0 0 20 0 17 0 66722264 11077107712 830437 18446744073709551615 4194304 4196468 140723486251328 139854207137296 139854289137142 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16072704 140723486257557 140723486257710 140723486257710 140723486261199 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3321736 KiB

Child status: 143
Real time (s): 223.044
CPU time (s): 252.091
CPU user time (s): 249.349
CPU system time (s): 2.74184
CPU usage (%): 113.023
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 3321736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.349
system time used= 2.74184
maximum resident set size= 3321976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75117
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7611
involuntary context switches= 645


# summary of solver processes directly reported to runsolver:
#   pid: 8965
#   total CPU time (s): 252.091
#   total CPU user time (s): 249.349
#   total CPU system time (s): 2.74184

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4264 second user time and 2.07099 second system time

The end

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

Trace number 4258347

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data