2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j-CSP 2018-07-11	SAT (TO)	8644	252.138	246.228

4.91/1.64	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
4.91/1.64	c This is free software under the dual EPL/GNU LGPL licenses.
4.91/1.64	c See www.sat4j.org for details.
4.91/1.64	c That software uses the Rhino library from the Mozilla project.
4.91/1.64	c version 2.3.6-SNAPSHOT
4.91/1.64	c java.runtime.name	Java(TM) SE Runtime Environment
4.91/1.64	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
4.91/1.64	c java.vm.version	25.131-b11
4.91/1.64	c java.vm.vendor	Oracle Corporation
4.91/1.64	c sun.arch.data.model	64
4.91/1.64	c java.version		1.8.0_131
4.91/1.64	c os.name		Linux
4.91/1.64	c os.version		3.10.0-514.16.1.el7.x86_64
4.91/1.64	c os.arch		amd64
4.91/1.64	c Free memory 		499604488
4.91/1.64	c Max memory 		7247757312
4.91/1.64	c Total memory 		504889344
4.91/1.64	c Number of processors 	4
4.91/1.64	c c --- Begin Solver configuration ---
4.91/1.64	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
4.91/1.64	c Learn all clauses as in MiniSAT
4.91/1.64	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
4.91/1.64	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
4.91/1.64	c No reason simplification
4.91/1.64	c Glucose 2.1 dynamic restart strategy
4.91/1.64	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
4.91/1.64	c timeout=2147483s
4.91/1.64	c DB Simplification allowed=false
4.91/1.64	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
4.91/1.64	c --- End Solver configuration ---
4.91/1.64	c constraints type 
4.91/1.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 2144
4.91/1.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 240810
4.91/1.64	c org.sat4j.minisat.constraints.cnf.UnitClauses => 40
4.91/1.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 279506
4.91/1.64	c org.sat4j.specs.Constr$1 => 41523
4.91/1.64	c org.sat4j.minisat.constraints.cnf.UnitClause => 25807
4.91/1.64	c 589830 constraints processed.
62.94/57.73	o 9778
87.17/81.76	o 8859
201.57/195.75	o 8644
252.11/246.21	c starts		: 4582
252.11/246.21	c conflicts		: 1084782
252.11/246.21	c decisions		: 14693288
252.11/246.21	c propagations		: 650510739
252.11/246.21	c inspects		: 1787287273
252.11/246.21	c shortcuts		: 0
252.11/246.21	c learnt literals	: 1066
252.11/246.21	c learnt binary clauses	: 12620
252.11/246.21	c learnt ternary clauses	: 55695
252.11/246.21	c learnt constraints	: 1083716
252.11/246.21	c ignored constraints	: 0
252.11/246.21	c root simplifications	: 0
252.11/246.21	c removed literals (reason simplification)	: 0
252.11/246.21	c reason swapping (by a shorter reason)	: 0
252.11/246.21	c Calls to reduceDB	: 72
252.11/246.21	c Number of update (reduction) of LBD	: 447784
252.11/246.21	c Imported unit clauses	: 0
252.11/246.21	c number of reductions to clauses (during analyze)	: 0
252.11/246.21	c number of learned constraints concerned by reduction	: 0
252.11/246.21	c number of learning phase by resolution	: 0
252.11/246.21	c number of learning phase by cutting planes	: 0
252.11/246.21	c number of rounding to 1 operations	: 0
252.11/246.21	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
252.11/246.21	c number of reductions of the coefficients by power 2 	: 0
252.11/246.21	c number of right shift for reduction by power 2 	: 0
252.11/246.21	c number of reductions of the coefficients by GCD over coefficients 	: 0
252.11/246.21	c number of ending skipping 	: 0
252.11/246.21	c number of internal skipping 	: 0
252.11/246.21	c number of derivation steps 	: 0
252.11/246.21	c number of skipped derivation steps 	: 0
252.11/246.21	c number of remaining unassigned 	: 0
252.11/246.21	c number of remaining assigned 	: 0
252.11/246.21	c speed (assignments/second)	: 2660586.501376284
252.11/246.21	c non guided choices	: 4180664
252.11/246.21	s SATISFIABLE
252.11/246.22	v <instantiation type="solution">
252.11/246.22	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[27][0] ds[27][1] ds[27][2] ds[27][3] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[27][0] cc[27][1] cc[27][2] cc[27][3] </list>
252.11/246.22	v 	<values> 0 0 3 0 0 0 0 0 1 1 0 3 1 1 1 1 0 3 3 3 0 0 3 0 0 2 0 0 1 1 1 1 2 1 1 1 3 3 1 1 3 0 0 0 0 2 0 0 1 1 1 1 3 2 1 1 3 1 3 1 3 0 2 3 1 2 3 0 1 1 2 1 3 3 1 3 1 1 3 1 3 0 2 3 3 2 3 1 3 1 3 1 3 3 1 3 3 1 1 3 1 3 3 0 3 3 0 3 3 3 3 1 1 3 3 1 3 1 1 3 1 3 3 0 3 3 0 3 3 3 3 3 1 2 3 1 3 1 1 3 1 1 0 0 3 0 0 0 0 3 1 3 1 2 3 3 1 3 3 1 3 1 0 0 3 2 3 0 0 1 1 3 2 2 3 3 1 3 3 1 3 1 2 0 3 3 3 0 1 2 3 0 2 2 3 1 1 1 3 1 0 3 2 3 2 3 3 0 1 3 3 0 2 2 3 3 3 3 3 3 0 3 2 3 2 3 0 0 3 3 3 0 3 2 1 3 3 3 3 3 0 3 3 0 3 2 0 3 3 1 0 0 3 3 1 3 3 3 3 0 1 0 3 0 3 2 0 3 3 1 0 0 3 3 1 3 3 2 3 3 1 1 0 3 3 2 3 3 1 3 1 2 3 3 1 3 3 3 3 3 3 1 1 3 1 3 3 3 1 3 1 3 0 0 1 3 3 3 3 3 3 1 1 0 1 3 0 3 1 2 1 3 0 0 1 3 3 0 0 0 1 3 3 0 1 0 0 3 3 2 2 3 1 3 3 3 1 3 3 3 1 3 3 0 1 2 3 0 3 3 3 3 1 3 3 3 1 3 3 3 3 3 0 3 2 3 3 0 0 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 3 3 0 1 3 3 3 3 1 0 1 3 1 3 3 0 3 0 3 3 0 0 2 3 3 1 0 3 1 1 1 1 3 1 1 0 3 2 3 0 0 0 2 3 3 2 2 3 1 1 1 3 3 1 3 1 3 3 0 1 0 0 3 3 0 3 2 3 2 1 3 3 3 1 3 1 1 3 0 1 0 0 3 0 0 3 2 0 2 1 3 3 3 3 3 1 1 0 0 1 3 0 3 0 0 3 2 1 3 1 3 3 3 3 3 3 1 1 3 2 3 3 2 0 0 0 3 2 3 3 3 0 3 1 3 3 1 2 3 3 3 3 2 3 2 2 3 2 3 3 3 3 3 3 3 7 10 0 11 6 10 0 12 8 3 7 10 16 0 0 12 4 8 4 12 7 0 9 12 16 0 0 12 12 1 4 11 6 10 0 12 4 8 4 12 4 8 4 12 6 5 5 12 3 7 6 12 2 5 9 12 1 16 0 11 0 9 0 19 2 7 0 19 1 7 1 19 1 8 0 19 2 7 0 19 9 6 0 5 6 9 2 3 6 8 2 4 2 8 3 7 1 6 2 11 2 6 0 12 2 5 1 12 6 6 1 7 4 5 3 8 3 6 4 7 3 1 4 12 4 1 3 12 6 2 1 11 5 3 2 10 1 5 2 12 2 6 0 12 7 6 1 6 3 4 2 11 2 4 1 13 3 0 1 16 3 4 0 13 5 7 1 7 4 4 4 8 4 4 2 10 6 4 2 8 5 5 1 9 4 3 3 10 0 1 5 14 1 1 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 0 1 1 1 1 1 0 2 2 1 3 3 3 0 0 0 0 0 3 0 0 0 1 1 1 1 1 1 3 3 3 3 1 1 1 3 0 0 1 1 1 1 0 2 2 2 0 0 3 3 3 3 3 3 3 3 3 2 0 0 0 0 3 3 0 0 3 0 3 3 3 1 1 0 0 0 2 3 3 3 3 3 3 3 3 2 0 0 0 2 2 0 2 2 1 2 2 2 2 3 3 1 0 1 2 2 2 2 0 0 3 0 0 0 0 0 0 2 2 2 0 2 0 0 0 0 2 0 3 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 5 0 300 0 2 3 1 0 2 2 0 0 200 3 2 0 200 100 0 0 200 2 300 0 200 200 100 0 2 1 100 0 0 100 1 0 0 2 2 0 1 400 2 0 200 400 2 0 2 100 100 0 100 200 0 0 400 0 1 0 200 0 200 0 4 3 100 0 100 100 0 0 200 100 200 0 300 600 100 0 300 1 200 0 100 4 0 0 0 100 0 0 0 100 100 0 1 100 100 0 1 0 100 0 2 1 1 0 500 600 3 0 </values>
252.11/246.22	v </instantiation>
252.11/246.22

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301280-1532877533/watcher-4301280-1532877533 -o /tmp/evaluation-result-4301280-1532877533/solver-4301280-1532877533 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532875965-20368 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301280-1532877533.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=21830, runsolver pid=21827

[startup+0.102486 s]*
/proc/loadavg: 2.05 2.25 2.35 4/216 21845
/proc/meminfo: memFree=27299272/32770624 swapFree=67108792/67108860
[pid=21830] ppid=21827 vsize=10659012 memory=28364 CPUtime=0.13 cores=0,2,4,6
/proc/21830/stat : 21830 (java) S 21827 21830 16915 0 -1 1077944320 6730 0 0 0 12 1 0 0 20 0 15 0 105316546 10914828288 7091 33554432000 4194304 4196468 140730132490048 140730132472592 139743035313911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
/proc/21830/statm: 2664753 7091 2839 1 0 2627263 0
[pid=21830/tid=21832] ppid=21827 vsize=10659012 memory=-8197568871503400832 CPUtime=0.09 cores=0,2,4,6
/proc/21830/task/21832/stat : 21832 (java) R 21827 21830 16915 0 -1 4202560 4519 0 0 0 8 1 0 0 20 0 15 0 105316546 10914828288 7091 33554432000 4194304 4196468 140730132490048 139743039535776 139743019394398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21833] ppid=21827 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21833/stat : 21833 (java) S 21827 21830 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105316547 10914828288 7091 33554432000 4194304 4196468 140730132490048 139742641842576 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21834] ppid=21827 vsize=10659012 memory=140047579231872 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21834/stat : 21834 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316547 10914828288 7091 33554432000 4194304 4196468 140730132490048 139742640789776 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21835] ppid=21827 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21835/stat : 21835 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316547 10914828288 7091 33554432000 4194304 4196468 140730132490048 139742639737488 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21836] ppid=21827 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21836/stat : 21836 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316547 10914828288 7091 33554432000 4194304 4196468 140730132490048 139742638684688 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21837] ppid=21827 vsize=10659012 memory=140047579231872 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21837/stat : 21837 (java) S 21827 21830 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105316549 10914828288 7091 33554432000 4194304 4196468 140730132490048 139742272264816 139743035325058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21838] ppid=21827 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21838/stat : 21838 (java) S 21827 21830 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105316549 10914828288 7091 33554432000 4194304 4196468 140730132490048 139742271210784 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21839] ppid=21827 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21839/stat : 21839 (java) S 21827 21830 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105316549 10914828288 7091 33554432000 4194304 4196468 140730132490048 139742270158448 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21840] ppid=21827 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21840/stat : 21840 (java) S 21827 21830 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105316552 10914828288 7091 33554432000 4194304 4196468 140730132490048 139742269106768 139743035332507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21841] ppid=21827 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21841/stat : 21841 (java) S 21827 21830 16915 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 105316552 10914828288 7091 33554432000 4194304 4196468 140730132490048 139742268053616 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21842] ppid=21827 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21842/stat : 21842 (java) S 21827 21830 16915 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 15 0 105316552 10914828288 7091 33554432000 4194304 4196468 140730132490048 139742267000816 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21843] ppid=21827 vsize=10659012 memory=140047579231872 CPUtime=0.02 cores=0,2,4,6
/proc/21830/task/21843/stat : 21843 (java) S 21827 21830 16915 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 15 0 105316552 10914828288 7091 33554432000 4194304 4196468 140730132490048 139742265948528 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21844] ppid=21827 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21844/stat : 21844 (java) S 21827 21830 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105316552 10914828288 7091 33554432000 4194304 4196468 140730132490048 139742196787680 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21845] ppid=21827 vsize=10659012 memory=140047579231872 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21845/stat : 21845 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316552 10914828288 7091 33554432000 4194304 4196468 140730132490048 139742195735472 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 28364 KiB

[startup+0.210495 s]*
/proc/loadavg: 2.28 2.30 2.37 3/216 21845
/proc/meminfo: memFree=27290216/32770624 swapFree=67108792/67108860
[pid=21830] ppid=21827 vsize=10659012 memory=39508 CPUtime=0.32 cores=0,2,4,6
/proc/21830/stat : 21830 (java) S 21827 21830 16915 0 -1 1077944320 8049 0 0 0 30 2 0 0 20 0 15 0 105316546 10914828288 9877 33554432000 4194304 4196468 140730132490048 140730132472592 139743035313911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
/proc/21830/statm: 2664753 9877 2950 1 0 2627263 0
[pid=21830/tid=21832] ppid=21827 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/21830/task/21832/stat : 21832 (java) R 21827 21830 16915 0 -1 4202560 5067 0 0 0 19 1 0 0 20 0 15 0 105316546 10914828288 9877 33554432000 4194304 4196468 140730132490048 139743039550192 139743035335258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21833] ppid=21827 vsize=10659012 memory=343 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21833/stat : 21833 (java) S 21827 21830 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105316547 10914828288 9877 33554432000 4194304 4196468 140730132490048 139742641842576 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21834] ppid=21827 vsize=10659012 memory=288370423730943616 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21834/stat : 21834 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316547 10914828288 9877 33554432000 4194304 4196468 140730132490048 139742640789776 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21835] ppid=21827 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21835/stat : 21835 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316547 10914828288 9877 33554432000 4194304 4196468 140730132490048 139742639737488 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21836] ppid=21827 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21836/stat : 21836 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316547 10914828288 9877 33554432000 4194304 4196468 140730132490048 139742638684688 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21837] ppid=21827 vsize=10659012 memory=140047579231872 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21837/stat : 21837 (java) S 21827 21830 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105316549 10914828288 9877 33554432000 4194304 4196468 140730132490048 139742272264816 139743035325058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21838] ppid=21827 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21838/stat : 21838 (java) S 21827 21830 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105316549 10914828288 9877 33554432000 4194304 4196468 140730132490048 139742271210784 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21839] ppid=21827 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21839/stat : 21839 (java) S 21827 21830 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105316549 10914828288 9877 33554432000 4194304 4196468 140730132490048 139742270158448 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21840] ppid=21827 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21840/stat : 21840 (java) S 21827 21830 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105316552 10914828288 9877 33554432000 4194304 4196468 140730132490048 139742269106768 139743035332507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21841] ppid=21827 vsize=10659012 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21830/task/21841/stat : 21841 (java) S 21827 21830 16915 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 15 0 105316552 10914828288 9877 33554432000 4194304 4196468 140730132490048 139742268053616 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21842] ppid=21827 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21830/task/21842/stat : 21842 (java) S 21827 21830 16915 0 -1 1077944384 388 0 0 0 2 0 0 0 20 0 15 0 105316552 10914828288 9877 33554432000 4194304 4196468 140730132490048 139742267000816 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21843] ppid=21827 vsize=10659012 memory=140047579231872 CPUtime=0.07 cores=0,2,4,6
/proc/21830/task/21843/stat : 21843 (java) R 21827 21830 16915 0 -1 4202560 848 0 0 0 7 0 0 0 20 0 15 0 105316552 10914828288 9877 33554432000 4194304 4196468 140730132490048 139742265948528 139743035325846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21844] ppid=21827 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21844/stat : 21844 (java) S 21827 21830 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105316552 10914828288 9877 33554432000 4194304 4196468 140730132490048 139742196787680 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21845] ppid=21827 vsize=10659012 memory=140047579231872 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21845/stat : 21845 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316552 10914828288 9877 33554432000 4194304 4196468 140730132490048 139742195735472 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 39508 KiB

[startup+0.31484 s]*
/proc/loadavg: 2.28 2.30 2.37 5/216 21845
/proc/meminfo: memFree=27277500/32770624 swapFree=67108792/67108860
[pid=21830] ppid=21827 vsize=10659088 memory=51200 CPUtime=0.59 cores=0,2,4,6
/proc/21830/stat : 21830 (java) S 21827 21830 16915 0 -1 1077944320 10111 0 0 0 56 3 0 0 20 0 15 0 105316546 10914906112 12800 33554432000 4194304 4196468 140730132490048 140730132472592 139743035313911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
/proc/21830/statm: 2664772 12800 3067 1 0 2627263 0
[pid=21830/tid=21832] ppid=21827 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/21830/task/21832/stat : 21832 (java) R 21827 21830 16915 0 -1 4202560 5771 0 0 0 28 2 0 0 20 0 15 0 105316546 10914906112 12800 33554432000 4194304 4196468 140730132490048 139743039548544 139743019394398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21833] ppid=21827 vsize=10659088 memory=4294977868 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21833/stat : 21833 (java) S 21827 21830 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105316547 10914906112 12800 33554432000 4194304 4196468 140730132490048 139742641842576 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21834] ppid=21827 vsize=10659088 memory=288370423730943616 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21834/stat : 21834 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316547 10914906112 12800 33554432000 4194304 4196468 140730132490048 139742640789776 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21835] ppid=21827 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21835/stat : 21835 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316547 10914906112 12800 33554432000 4194304 4196468 140730132490048 139742639737488 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21836] ppid=21827 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21836/stat : 21836 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316547 10914906112 12800 33554432000 4194304 4196468 140730132490048 139742638684688 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21837] ppid=21827 vsize=10659088 memory=140047579231872 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21837/stat : 21837 (java) S 21827 21830 16915 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105316549 10914906112 12800 33554432000 4194304 4196468 140730132490048 139742272264816 139743035325058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21838] ppid=21827 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21838/stat : 21838 (java) S 21827 21830 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105316549 10914906112 12800 33554432000 4194304 4196468 140730132490048 139742271210784 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21839] ppid=21827 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21839/stat : 21839 (java) S 21827 21830 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105316549 10914906112 12800 33554432000 4194304 4196468 140730132490048 139742270158448 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21840] ppid=21827 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21840/stat : 21840 (java) S 21827 21830 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105316552 10914906112 12800 33554432000 4194304 4196468 140730132490048 139742269106768 139743035332507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21841] ppid=21827 vsize=10659088 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/21830/task/21841/stat : 21841 (java) R 21827 21830 16915 0 -1 4202560 978 0 0 0 6 0 0 0 20 0 15 0 105316552 10914906112 12800 33554432000 4194304 4196468 140730132490048 139742268034632 139743021337753 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21842] ppid=21827 vsize=10659088 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21830/task/21842/stat : 21842 (java) R 21827 21830 16915 0 -1 4202560 781 0 0 0 7 0 0 0 20 0 15 0 105316552 10914906112 12800 33554432000 4194304 4196468 140730132490048 139742266986584 139743021328220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21843] ppid=21827 vsize=10659088 memory=140047579231872 CPUtime=0.12 cores=0,2,4,6
/proc/21830/task/21843/stat : 21843 (java) R 21827 21830 16915 0 -1 1077944384 1215 0 0 0 12 0 0 0 20 0 15 0 105316552 10914906112 12800 33554432000 4194304 4196468 140730132490048 139742265948528 139743035325058 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21844] ppid=21827 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21844/stat : 21844 (java) S 21827 21830 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105316552 10914906112 12800 33554432000 4194304 4196468 140730132490048 139742196787680 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21845] ppid=21827 vsize=10659088 memory=140047579231872 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21845/stat : 21845 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316552 10914906112 12800 33554432000 4194304 4196468 140730132490048 139742195735472 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 51200 KiB

[startup+0.704549 s]
/proc/loadavg: 2.28 2.30 2.37 5/216 21845
/proc/meminfo: memFree=27256780/32770624 swapFree=67108792/67108860
[pid=21830] ppid=21827 vsize=10661136 memory=153920 CPUtime=1.96 cores=0,2,4,6
/proc/21830/stat : 21830 (java) S 21827 21830 16915 0 -1 1077944320 13197 0 0 0 190 6 0 0 20 0 15 0 105316546 10917003264 38480 33554432000 4194304 4196468 140730132490048 140730132472592 139743035313911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
/proc/21830/statm: 2665284 38480 3113 1 0 2627775 0
[pid=21830/tid=21832] ppid=21827 vsize=10661136 memory=233836675885228 CPUtime=0.68 cores=0,2,4,6
/proc/21830/task/21832/stat : 21832 (java) R 21827 21830 16915 0 -1 4202560 6171 0 0 0 65 3 0 0 20 0 15 0 105316546 10917003264 38480 33554432000 4194304 4196468 140730132490048 139743039544064 139742677003731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21833] ppid=21827 vsize=10661136 memory=3977296629253554382 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21833/stat : 21833 (java) S 21827 21830 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105316547 10917003264 38480 33554432000 4194304 4196468 140730132490048 139742641842576 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21834] ppid=21827 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21834/stat : 21834 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316547 10917003264 38480 33554432000 4194304 4196468 140730132490048 139742640789776 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21835] ppid=21827 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21835/stat : 21835 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316547 10917003264 38480 33554432000 4194304 4196468 140730132490048 139742639737488 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21836] ppid=21827 vsize=10661136 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21836/stat : 21836 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316547 10917003264 38480 33554432000 4194304 4196468 140730132490048 139742638684688 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21837] ppid=21827 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21837/stat : 21837 (java) S 21827 21830 16915 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105316549 10917003264 38480 33554432000 4194304 4196468 140730132490048 139742272264816 139743035325058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21838] ppid=21827 vsize=10661136 memory=-3535359994705171810 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21838/stat : 21838 (java) S 21827 21830 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105316549 10917003264 38480 33554432000 4194304 4196468 140730132490048 139742271210784 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21839] ppid=21827 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21839/stat : 21839 (java) S 21827 21830 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105316549 10917003264 38480 33554432000 4194304 4196468 140730132490048 139742270158448 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21840] ppid=21827 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21840/stat : 21840 (java) S 21827 21830 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105316552 10917003264 38480 33554432000 4194304 4196468 140730132490048 139742269106768 139743035332507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21841] ppid=21827 vsize=10661136 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/21830/task/21841/stat : 21841 (java) R 21827 21830 16915 0 -1 4202560 1528 0 0 0 40 0 0 0 20 0 15 0 105316552 10917003264 38480 33554432000 4194304 4196468 140730132490048 139742268037696 139743020423631 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21842] ppid=21827 vsize=10661136 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/21830/task/21842/stat : 21842 (java) R 21827 21830 16915 0 -1 4202560 1788 0 0 0 43 1 0 0 20 0 15 0 105316552 10917003264 38480 33554432000 4194304 4196468 140730132490048 139742266992144 139743019573751 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21843] ppid=21827 vsize=10661136 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/21830/task/21843/stat : 21843 (java) S 21827 21830 16915 0 -1 1077944384 2341 0 0 0 40 1 0 0 20 0 15 0 105316552 10917003264 38480 33554432000 4194304 4196468 140730132490048 139742265948528 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21844] ppid=21827 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21844/stat : 21844 (java) S 21827 21830 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105316552 10917003264 38480 33554432000 4194304 4196468 140730132490048 139742196787680 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21845] ppid=21827 vsize=10661136 memory=18268 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21845/stat : 21845 (java) S 21827 21830 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105316552 10917003264 38480 33554432000 4194304 4196468 140730132490048 139742195735472 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 153920 KiB

[startup+1.50085 s]
/proc/loadavg: 2.28 2.30 2.37 5/216 21845
/proc/meminfo: memFree=27124168/32770624 swapFree=67108792/67108860
[pid=21830] ppid=21827 vsize=10661136 memory=243588 CPUtime=4.59 cores=0,2,4,6
/proc/21830/stat : 21830 (java) S 21827 21830 16915 0 -1 1077944320 16360 0 0 0 446 13 0 0 20 0 15 0 105316546 10917003264 60897 33554432000 4194304 4196468 140730132490048 140730132472592 139743035313911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
/proc/21830/statm: 2665284 60897 3153 1 0 2627775 0
[pid=21830/tid=21832] ppid=21827 vsize=10661136 memory=10799 CPUtime=1.41 cores=0,2,4,6
/proc/21830/task/21832/stat : 21832 (java) R 21827 21830 16915 0 -1 4202560 6317 0 0 0 137 4 0 0 20 0 15 0 105316546 10917003264 60897 33554432000 4194304 4196468 140730132490048 139743039546520 139742678659393 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21833] ppid=21827 vsize=10661136 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/21830/task/21833/stat : 21833 (java) S 21827 21830 16915 0 -1 1077944384 95 0 0 0 3 1 0 0 20 0 15 0 105316547 10917003264 60897 33554432000 4194304 4196468 140730132490048 139742641842576 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21834] ppid=21827 vsize=10661136 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/21830/task/21834/stat : 21834 (java) S 21827 21830 16915 0 -1 1077944384 86 0 0 0 3 1 0 0 20 0 15 0 105316547 10917003264 60897 33554432000 4194304 4196468 140730132490048 139742640789776 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21835] ppid=21827 vsize=10661136 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21830/task/21835/stat : 21835 (java) S 21827 21830 16915 0 -1 1077944384 89 0 0 0 2 1 0 0 20 0 15 0 105316547 10917003264 60897 33554432000 4194304 4196468 140730132490048 139742639737488 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21836] ppid=21827 vsize=10661136 memory=6943526294502006880 CPUtime=0.04 cores=0,2,4,6
/proc/21830/task/21836/stat : 21836 (java) S 21827 21830 16915 0 -1 1077944384 111 0 0 0 3 1 0 0 20 0 15 0 105316547 10917003264 60897 33554432000 4194304 4196468 140730132490048 139742638684688 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21837] ppid=21827 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21837/stat : 21837 (java) S 21827 21830 16915 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 105316549 10917003264 60897 33554432000 4194304 4196468 140730132490048 139742272264816 139743035325058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0

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

/proc/21830/task/21835/stat : 21835 (java) S 21827 21830 16915 0 -1 1077944384 210 0 0 0 8 3 0 0 20 0 16 0 105316547 10985164800 110780 33554432000 4194304 4196468 140730132490048 139742639737488 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21836] ppid=21827 vsize=10727700 memory=1200 CPUtime=0.13 cores=0,2,4,6
/proc/21830/task/21836/stat : 21836 (java) S 21827 21830 16915 0 -1 1077944384 288 0 0 0 9 4 0 0 20 0 16 0 105316547 10985164800 110780 33554432000 4194304 4196468 140730132490048 139742638684688 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21837] ppid=21827 vsize=10727700 memory=15876 CPUtime=0.01 cores=0,2,4,6
/proc/21830/task/21837/stat : 21837 (java) S 21827 21830 16915 0 -1 1077944384 1086 0 0 0 1 0 0 0 20 0 16 0 105316549 10985164800 110780 33554432000 4194304 4196468 140730132490048 139742272264816 139743035325058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21838] ppid=21827 vsize=10727700 memory=443120 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21838/stat : 21838 (java) S 21827 21830 16915 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 105316549 10985164800 110780 33554432000 4194304 4196468 140730132490048 139742271210848 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21839] ppid=21827 vsize=10727700 memory=956 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21839/stat : 21839 (java) S 21827 21830 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105316549 10985164800 110780 33554432000 4194304 4196468 140730132490048 139742270158448 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21840] ppid=21827 vsize=10727700 memory=443120 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21840/stat : 21840 (java) S 21827 21830 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105316552 10985164800 110780 33554432000 4194304 4196468 140730132490048 139742269106768 139743035332507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21841] ppid=21827 vsize=10727700 memory=792 CPUtime=2.2 cores=0,2,4,6
/proc/21830/task/21841/stat : 21841 (java) S 21827 21830 16915 0 -1 1077944384 7173 0 0 0 219 1 0 0 20 0 16 0 105316552 10985164800 110780 33554432000 4194304 4196468 140730132490048 139742268053616 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21842] ppid=21827 vsize=10727700 memory=443120 CPUtime=2.39 cores=0,2,4,6
/proc/21830/task/21842/stat : 21842 (java) S 21827 21830 16915 0 -1 1077944384 6977 0 0 0 237 2 0 0 20 0 16 0 105316552 10985164800 110780 33554432000 4194304 4196468 140730132490048 139742267000816 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21843] ppid=21827 vsize=10727700 memory=4136 CPUtime=0.81 cores=0,2,4,6
/proc/21830/task/21843/stat : 21843 (java) S 21827 21830 16915 0 -1 1077944384 5046 0 0 0 79 2 0 0 20 0 16 0 105316552 10985164800 110780 33554432000 4194304 4196468 140730132490048 139742265948528 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21844] ppid=21827 vsize=10727700 memory=443120 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21844/stat : 21844 (java) S 21827 21830 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105316552 10985164800 110780 33554432000 4194304 4196468 140730132490048 139742196787680 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21845] ppid=21827 vsize=10727700 memory=297237808157042993 CPUtime=0.08 cores=0,2,4,6
/proc/21830/task/21845/stat : 21845 (java) S 21827 21830 16915 0 -1 1077944384 705 0 0 0 5 3 0 0 20 0 16 0 105316552 10985164800 110780 33554432000 4194304 4196468 140730132490048 139742195735472 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21846] ppid=21827 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21846/stat : 21846 (java) S 21827 21830 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105316718 10985164800 110780 33554432000 4194304 4196468 140730132490048 139742192583856 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
Current children cumulated CPU time: 168.16 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 443120 KiB

[startup+222.301 s]
/proc/loadavg: 2.01 2.14 2.29 3/218 21935
/proc/meminfo: memFree=26839248/32770624 swapFree=67108792/67108860
[pid=21830] ppid=21827 vsize=10727700 memory=443240 CPUtime=228.29 cores=0,2,4,6
/proc/21830/stat : 21830 (java) S 21827 21830 16915 0 -1 1077944320 37956 0 0 0 22797 32 0 0 20 0 16 0 105316546 10985164800 110810 33554432000 4194304 4196468 140730132490048 140730132472592 139743035313911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
/proc/21830/statm: 2681925 110810 3169 1 0 2644416 0
[pid=21830/tid=21832] ppid=21827 vsize=10727700 memory=443240 CPUtime=222.09 cores=0,2,4,6
/proc/21830/task/21832/stat : 21832 (java) R 21827 21830 16915 0 -1 4202560 11187 0 0 0 22203 6 0 0 20 0 16 0 105316546 10985164800 110810 33554432000 4194304 4196468 140730132490048 139743039549600 139742680730675 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21833] ppid=21827 vsize=10727700 memory=443240 CPUtime=0.12 cores=0,2,4,6
/proc/21830/task/21833/stat : 21833 (java) S 21827 21830 16915 0 -1 1077944384 170 0 0 0 9 3 0 0 20 0 16 0 105316547 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742641842576 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21834] ppid=21827 vsize=10727700 memory=443240 CPUtime=0.12 cores=0,2,4,6
/proc/21830/task/21834/stat : 21834 (java) S 21827 21830 16915 0 -1 1077944384 1367 0 0 0 8 4 0 0 20 0 16 0 105316547 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742640789776 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21835] ppid=21827 vsize=10727700 memory=443240 CPUtime=0.11 cores=0,2,4,6
/proc/21830/task/21835/stat : 21835 (java) S 21827 21830 16915 0 -1 1077944384 210 0 0 0 8 3 0 0 20 0 16 0 105316547 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742639737488 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21836] ppid=21827 vsize=10727700 memory=443240 CPUtime=0.13 cores=0,2,4,6
/proc/21830/task/21836/stat : 21836 (java) S 21827 21830 16915 0 -1 1077944384 288 0 0 0 9 4 0 0 20 0 16 0 105316547 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742638684688 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21837] ppid=21827 vsize=10727700 memory=443240 CPUtime=0.01 cores=0,2,4,6
/proc/21830/task/21837/stat : 21837 (java) S 21827 21830 16915 0 -1 1077944384 1133 0 0 0 1 0 0 0 20 0 16 0 105316549 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742272264816 139743035325058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21838] ppid=21827 vsize=10727700 memory=443240 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21838/stat : 21838 (java) S 21827 21830 16915 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 105316549 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742271210848 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21839] ppid=21827 vsize=10727700 memory=443240 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21839/stat : 21839 (java) S 21827 21830 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105316549 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742270158448 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21840] ppid=21827 vsize=10727700 memory=443240 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21840/stat : 21840 (java) S 21827 21830 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105316552 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742269106768 139743035332507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21841] ppid=21827 vsize=10727700 memory=0 CPUtime=2.23 cores=0,2,4,6
/proc/21830/task/21841/stat : 21841 (java) S 21827 21830 16915 0 -1 1077944384 7601 0 0 0 222 1 0 0 20 0 16 0 105316552 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742268053616 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21842] ppid=21827 vsize=10727700 memory=443240 CPUtime=2.46 cores=0,2,4,6
/proc/21830/task/21842/stat : 21842 (java) S 21827 21830 16915 0 -1 1077944384 7824 0 0 0 244 2 0 0 20 0 16 0 105316552 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742267000816 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21843] ppid=21827 vsize=10727700 memory=443240 CPUtime=0.82 cores=0,2,4,6
/proc/21830/task/21843/stat : 21843 (java) S 21827 21830 16915 0 -1 1077944384 6044 0 0 0 80 2 0 0 20 0 16 0 105316552 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742265948528 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21844] ppid=21827 vsize=10727700 memory=7892 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21844/stat : 21844 (java) S 21827 21830 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105316552 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742196787680 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21845] ppid=21827 vsize=10727700 memory=840 CPUtime=0.11 cores=0,2,4,6
/proc/21830/task/21845/stat : 21845 (java) S 21827 21830 16915 0 -1 1077944384 750 0 0 0 7 4 0 0 20 0 16 0 105316552 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742195735472 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21846] ppid=21827 vsize=10727700 memory=2436 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21846/stat : 21846 (java) S 21827 21830 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105316718 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742192583856 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
Current children cumulated CPU time: 228.29 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 443240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+246.001 s]*
/proc/loadavg: 2.00 2.13 2.28 3/218 21936
/proc/meminfo: memFree=26838916/32770624 swapFree=67108792/67108860
[pid=21830] ppid=21827 vsize=10727700 memory=443240 CPUtime=252.01 cores=0,2,4,6
/proc/21830/stat : 21830 (java) S 21827 21830 16915 0 -1 1077944320 37984 0 0 0 25168 33 0 0 20 0 16 0 105316546 10985164800 110810 33554432000 4194304 4196468 140730132490048 140730132472592 139743035313911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
/proc/21830/statm: 2681925 110810 3169 1 0 2644416 0
[pid=21830/tid=21832] ppid=21827 vsize=10727700 memory=6791534058613427641 CPUtime=245.79 cores=0,2,4,6
/proc/21830/task/21832/stat : 21832 (java) R 21827 21830 16915 0 -1 4202560 11213 0 0 0 24573 6 0 0 20 0 16 0 105316546 10985164800 110810 33554432000 4194304 4196468 140730132490048 139743039549600 139742679763105 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21833] ppid=21827 vsize=10727700 memory=4872558044660077418 CPUtime=0.12 cores=0,2,4,6
/proc/21830/task/21833/stat : 21833 (java) S 21827 21830 16915 0 -1 1077944384 170 0 0 0 9 3 0 0 20 0 16 0 105316547 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742641842576 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21834] ppid=21827 vsize=10727700 memory=3044 CPUtime=0.12 cores=0,2,4,6
/proc/21830/task/21834/stat : 21834 (java) S 21827 21830 16915 0 -1 1077944384 1367 0 0 0 8 4 0 0 20 0 16 0 105316547 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742640789776 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21835] ppid=21827 vsize=10727700 memory=954312 CPUtime=0.11 cores=0,2,4,6
/proc/21830/task/21835/stat : 21835 (java) S 21827 21830 16915 0 -1 1077944384 210 0 0 0 8 3 0 0 20 0 16 0 105316547 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742639737488 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21836] ppid=21827 vsize=10727700 memory=6791534058613427641 CPUtime=0.13 cores=0,2,4,6
/proc/21830/task/21836/stat : 21836 (java) S 21827 21830 16915 0 -1 1077944384 288 0 0 0 9 4 0 0 20 0 16 0 105316547 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742638684688 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21837] ppid=21827 vsize=10727700 memory=4872558044660077418 CPUtime=0.01 cores=0,2,4,6
/proc/21830/task/21837/stat : 21837 (java) S 21827 21830 16915 0 -1 1077944384 1133 0 0 0 1 0 0 0 20 0 16 0 105316549 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742272264816 139743035325058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21838] ppid=21827 vsize=10727700 memory=956 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21838/stat : 21838 (java) S 21827 21830 16915 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 105316549 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742271210848 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21839] ppid=21827 vsize=10727700 memory=2464 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21839/stat : 21839 (java) S 21827 21830 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105316549 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742270158448 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21840] ppid=21827 vsize=10727700 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21840/stat : 21840 (java) S 21827 21830 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105316552 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742269106768 139743035332507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21841] ppid=21827 vsize=10727700 memory=0 CPUtime=2.23 cores=0,2,4,6
/proc/21830/task/21841/stat : 21841 (java) S 21827 21830 16915 0 -1 1077944384 7601 0 0 0 222 1 0 0 20 0 16 0 105316552 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742268053616 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21842] ppid=21827 vsize=10727700 memory=288230574492221466 CPUtime=2.46 cores=0,2,4,6
/proc/21830/task/21842/stat : 21842 (java) S 21827 21830 16915 0 -1 1077944384 7824 0 0 0 244 2 0 0 20 0 16 0 105316552 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742267000816 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21843] ppid=21827 vsize=10727700 memory=288230583166042426 CPUtime=0.82 cores=0,2,4,6
/proc/21830/task/21843/stat : 21843 (java) S 21827 21830 16915 0 -1 1077944384 6044 0 0 0 80 2 0 0 20 0 16 0 105316552 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742265948528 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21844] ppid=21827 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21844/stat : 21844 (java) S 21827 21830 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105316552 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742196787680 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21845] ppid=21827 vsize=10727700 memory=3472328296227679313 CPUtime=0.12 cores=0,2,4,6
/proc/21830/task/21845/stat : 21845 (java) S 21827 21830 16915 0 -1 1077944384 752 0 0 0 7 5 0 0 20 0 16 0 105316552 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742195735472 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21846] ppid=21827 vsize=10727700 memory=301029791950438690 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21846/stat : 21846 (java) S 21827 21830 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105316718 10985164800 110810 33554432000 4194304 4196468 140730132490048 139742192583856 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 443240 KiB

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

[startup+246.228 s]
# the end of solver process 21830 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.795 s, system=0.34308 s

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

[startup+246.201 s]
/proc/loadavg: 2.00 2.13 2.28 3/218 21936
/proc/meminfo: memFree=26838916/32770624 swapFree=67108792/67108860
[pid=21830] ppid=21827 vsize=10927392 memory=443568 CPUtime=252.11 cores=0,2,4,6
/proc/21830/stat : 21830 (java) S 21827 21830 16915 0 -1 1077944320 40179 0 0 0 25178 33 0 0 20 0 17 0 105316546 11189649408 110892 33554432000 4194304 4196468 140730132490048 140730132472592 139743035313911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
/proc/21830/statm: 2731848 110892 3171 1 0 2694339 0
[pid=21830/tid=21832] ppid=21827 vsize=10927392 memory=288230583166042426 CPUtime=245.86 cores=0,2,4,6
/proc/21830/task/21832/stat : 21832 (java) S 21827 21830 16915 0 -1 1077944384 11353 0 0 0 24580 6 0 0 20 0 17 0 105316546 11189649408 110892 33554432000 4194304 4196468 140730132490048 139743039556784 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21833] ppid=21827 vsize=10927392 memory=14410445029116127 CPUtime=0.12 cores=0,2,4,6
/proc/21830/task/21833/stat : 21833 (java) S 21827 21830 16915 0 -1 1077944384 170 0 0 0 9 3 0 0 20 0 17 0 105316547 11189649408 110892 33554432000 4194304 4196468 140730132490048 139742641842576 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21834] ppid=21827 vsize=10927392 memory=14410445029116127 CPUtime=0.12 cores=0,2,4,6
/proc/21830/task/21834/stat : 21834 (java) S 21827 21830 16915 0 -1 1077944384 1367 0 0 0 8 4 0 0 20 0 17 0 105316547 11189649408 110892 33554432000 4194304 4196468 140730132490048 139742640789776 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21835] ppid=21827 vsize=10927392 memory=2584 CPUtime=0.11 cores=0,2,4,6
/proc/21830/task/21835/stat : 21835 (java) S 21827 21830 16915 0 -1 1077944384 210 0 0 0 8 3 0 0 20 0 17 0 105316547 11189649408 110892 33554432000 4194304 4196468 140730132490048 139742639737488 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21836] ppid=21827 vsize=10927392 memory=1408 CPUtime=0.13 cores=0,2,4,6
/proc/21830/task/21836/stat : 21836 (java) S 21827 21830 16915 0 -1 1077944384 288 0 0 0 9 4 0 0 20 0 17 0 105316547 11189649408 110892 33554432000 4194304 4196468 140730132490048 139742638684688 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21837] ppid=21827 vsize=10927392 memory=3108 CPUtime=0.01 cores=0,2,4,6
/proc/21830/task/21837/stat : 21837 (java) S 21827 21830 16915 0 -1 1077944384 1133 0 0 0 1 0 0 0 20 0 17 0 105316549 11189649408 110892 33554432000 4194304 4196468 140730132490048 139742272264816 139743035325058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21838] ppid=21827 vsize=10927392 memory=443240 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21838/stat : 21838 (java) S 21827 21830 16915 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 17 0 105316549 11189649408 110892 33554432000 4194304 4196468 140730132490048 139742271210848 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21839] ppid=21827 vsize=10927392 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21839/stat : 21839 (java) S 21827 21830 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 105316549 11189649408 110892 33554432000 4194304 4196468 140730132490048 139742270158448 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21840] ppid=21827 vsize=10927392 memory=3044 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21840/stat : 21840 (java) S 21827 21830 16915 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 17 0 105316552 11189649408 110892 33554432000 4194304 4196468 140730132490048 139742269106768 139743035332507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21841] ppid=21827 vsize=10927392 memory=954312 CPUtime=2.24 cores=0,2,4,6
/proc/21830/task/21841/stat : 21841 (java) S 21827 21830 16915 0 -1 1077944384 7877 0 0 0 223 1 0 0 20 0 17 0 105316552 11189649408 110892 33554432000 4194304 4196468 140730132490048 139742268053616 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21842] ppid=21827 vsize=10927392 memory=6791534058613427641 CPUtime=2.47 cores=0,2,4,6
/proc/21830/task/21842/stat : 21842 (java) S 21827 21830 16915 0 -1 1077944384 8139 0 0 0 245 2 0 0 20 0 17 0 105316552 11189649408 110892 33554432000 4194304 4196468 140730132490048 139742267000816 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21843] ppid=21827 vsize=10927392 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/21830/task/21843/stat : 21843 (java) S 21827 21830 16915 0 -1 1077944384 7111 0 0 0 80 2 0 0 20 0 17 0 105316552 11189649408 110892 33554432000 4194304 4196468 140730132490048 139742265948528 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21844] ppid=21827 vsize=10927392 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21830/task/21844/stat : 21844 (java) S 21827 21830 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105316552 11189649408 110892 33554432000 4194304 4196468 140730132490048 139742196787680 139743035324117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
[pid=21830/tid=21845] ppid=21827 vsize=10927392 memory=7305499846046146643 CPUtime=0.12 cores=0,2,4,6
/proc/21830/task/21845/stat : 21845 (java) S 21827 21830 16915 0 -1 1077944384 752 0 0 0 7 5 0 0 20 0 17 0 105316552 11189649408 110892 33554432000 4194304 4196468 140730132490048 139742195735472 139743035325058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18415616 140730132497526 140730132497678 140730132497678 140730132500431 0
Current children cumulated CPU time: 252.11 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 443568 KiB

Child status: 143
Real time (s): 246.228
CPU time (s): 252.138
CPU user time (s): 251.795
CPU system time (s): 0.34308
CPU usage (%): 102.4
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 443568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.795
system time used= 0.34308
maximum resident set size= 443908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40621
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7670
involuntary context switches= 375


# summary of solver processes directly reported to runsolver:
#   pid: 21830
#   total CPU time (s): 252.138
#   total CPU user time (s): 251.795
#   total CPU system time (s): 0.34308

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.7607 second user time and 2.09659 second system time

The end

Name	NurseRostering/ NurseRostering-07_c18.xml
MD5SUM	39ce033b713bdbb29423ae6f53deb82d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	5922
Best CPU time to get the best result obtained on this benchmark	252.039
Satisfiable
(Un)Satisfiability was proved
Number of variables	1112
Number of constraints	2738
Number of domains	16
Minimum domain size	1
Maximum domain size	29
Distribution of domain sizes	[{"size":1,"count":40},{"size":2,"count":248},{"size":4,"count":560},{"size":5,"count":3},{"size":10,"count":9},{"size":21,"count":196},{"size":29,"count":56}]
Minimum variable degree	2
Maximum variable degree	25
Distribution of variable degrees	[{"degree":2,"count":472},{"degree":3,"count":80},{"degree":12,"count":5},{"degree":13,"count":15},{"degree":14,"count":19},{"degree":15,"count":3},{"degree":16,"count":15},{"degree":17,"count":25},{"degree":18,"count":28},{"degree":19,"count":37},{"degree":20,"count":69},{"degree":21,"count":127},{"degree":22,"count":116},{"degree":23,"count":48},{"degree":24,"count":48},{"degree":25,"count":5}]
Minimum constraint arity	2
Maximum constraint arity	40
Distribution of constraint arities	[{"arity":2,"count":1145},{"arity":3,"count":780},{"arity":4,"count":165},{"arity":6,"count":345},{"arity":7,"count":110},{"arity":21,"count":112},{"arity":29,"count":80},{"arity":40,"count":1}]
Number of extensional constraints	652
Number of intensional constraints	358
Distribution of constraint types	[{"type":"extension","count":652},{"type":"intension","count":358},{"type":"regular","count":1040},{"type":"sum","count":40},{"type":"count","count":647},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4301280

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