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)	1353	252.17	224.144

35.52/13.68	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
35.52/13.68	c This is free software under the dual EPL/GNU LGPL licenses.
35.52/13.68	c See www.sat4j.org for details.
35.52/13.68	c That software uses the Rhino library from the Mozilla project.
35.52/13.68	c version CUSTOM.v20170705
35.52/13.68	c java.runtime.name	Java(TM) SE Runtime Environment
35.52/13.68	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
35.52/13.68	c java.vm.version	25.131-b11
35.52/13.68	c java.vm.vendor	Oracle Corporation
35.52/13.68	c sun.arch.data.model	64
35.52/13.68	c java.version		1.8.0_131
35.52/13.68	c os.name		Linux
35.52/13.68	c os.version		3.10.0-514.16.1.el7.x86_64
35.52/13.68	c os.arch		amd64
35.52/13.68	c Free memory 		499604488
35.52/13.68	c Max memory 		7247757312
35.52/13.68	c Total memory 		504889344
35.52/13.68	c Number of processors 	4
35.52/13.68	c c --- Begin Solver configuration ---
35.52/13.68	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
35.52/13.68	c Learn all clauses as in MiniSAT
35.52/13.68	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
35.52/13.68	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
35.52/13.68	c No reason simplification
35.52/13.68	c Glucose 2.1 dynamic restart strategy
35.52/13.68	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
35.52/13.68	c timeout=2147483s
35.52/13.68	c DB Simplification allowed=false
35.52/13.68	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
35.52/13.68	c --- End Solver configuration ---
35.52/13.68	c constraints type 
35.52/13.68	c org.sat4j.minisat.constraints.card.MinWatchCard => 2176
35.52/13.68	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 414304
35.52/13.68	c org.sat4j.minisat.constraints.cnf.UnitClauses => 33
35.52/13.68	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20382944
35.52/13.68	c org.sat4j.specs.Constr$1 => 33
35.52/13.68	c org.sat4j.minisat.constraints.cnf.UnitClause => 2176
35.52/13.68	c 20801666 constraints processed.
46.30/20.59	o 2199
82.54/56.38	o 2079
85.36/59.07	o 1682
209.28/182.76	o 1679
211.03/184.49	o 1454
214.67/186.68	o 1353
252.13/224.10	c starts		: 5103
252.13/224.10	c conflicts		: 435492
252.13/224.10	c decisions		: 6442107
252.13/224.10	c propagations		: 704481694
252.13/224.10	c inspects		: 1384191000
252.13/224.10	c shortcuts		: 0
252.13/224.10	c learnt literals	: 1438
252.13/224.10	c learnt binary clauses	: 2361
252.13/224.10	c learnt ternary clauses	: 5238
252.13/224.10	c learnt constraints	: 434054
252.13/224.10	c ignored constraints	: 0
252.13/224.10	c root simplifications	: 0
252.13/224.10	c removed literals (reason simplification)	: 0
252.13/224.10	c reason swapping (by a shorter reason)	: 0
252.13/224.10	c Calls to reduceDB	: 37
252.13/224.10	c Number of update (reduction) of LBD	: 239067
252.13/224.10	c Imported unit clauses	: 0
252.13/224.10	c number of reductions to clauses (during analyze)	: 0
252.13/224.10	c number of learned constraints concerned by reduction	: 0
252.13/224.10	c number of learning phase by resolution	: 0
252.13/224.10	c number of learning phase by cutting planes	: 0
252.13/224.10	c number of rounding to 1 operations	: 0
252.13/224.10	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
252.13/224.10	c number of reductions of the coefficients by power 2 	: 0
252.13/224.10	c number of right shift for reduction by power 2 	: 0
252.13/224.10	c number of reductions of the coefficients by GCD over coefficients 	: 0
252.13/224.10	c speed (assignments/second)	: 3349268.057754387
252.13/224.10	c non guided choices	2682269
252.13/224.10	c learnt constraints type 
252.13/224.10	s SATISFIABLE
252.13/224.11	v <instantiation type="solution">
252.13/224.11	v 	<list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[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.13/224.11	v 	<values> 0 1 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 44 17 91 81 98 66 98 96 100 99 21 98 81 88 99 66 72 98 100 30 98 17 99 22 17 56 55 29 53 59 4 99 </values>
252.13/224.11	v </instantiation>
252.13/224.11

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15207 MiB free)
  memory of node 1: 16384 MiB (11715 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258348-1502645339/watcher-4258348-1502645339 -o /tmp/evaluation-result-4258348-1502645339/solver-4258348-1502645339 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6040 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258348-1502645339.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=9288, runsolver pid=9285

[startup+0.100177 s]*
/proc/loadavg: 3.39 3.58 3.66 3/204 9297
/proc/meminfo: memFree=27556728/32770624 swapFree=67108860/67108860
[pid=9288] ppid=9285 vsize=10151672 memory=20496 CPUtime=0.04 cores=0,2,4,6
/proc/9288/stat : 9288 (java) S 9285 9288 17093 0 -1 1077944320 4005 0 0 0 3 1 0 0 20 0 9 0 66727232 10395312128 5124 18446744073709551615 4194304 4196468 140736220073888 140736220056432 140280986423031 0 0 1 16800970 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
/proc/9288/statm: 2537918 5124 2156 1 0 2527415 0
[pid=9288/tid=9290] ppid=9285 vsize=10417928 memory=4206751525541407381 CPUtime=0.04 cores=0,2,4,6
/proc/9288/task/9290/stat : 9290 (java) R 9285 9288 17093 0 -1 4202560 2685 0 0 0 3 1 0 0 20 0 13 0 66727238 10667958272 5259 18446744073709551615 4194304 4196468 140736220073888 140280990663784 140280986444957 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9291] ppid=9285 vsize=10417928 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9291/stat : 9291 (java) S 9285 9288 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 66727238 10667958272 5259 18446744073709551615 4194304 4196468 140736220073888 140280597503120 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9292] ppid=9285 vsize=10417928 memory=140679459305088 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9292/stat : 9292 (java) S 9285 9288 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 66727238 10667958272 5259 18446744073709551615 4194304 4196468 140736220073888 140280596450320 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9293] ppid=9285 vsize=10417928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9293/stat : 9293 (java) S 9285 9288 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 66727238 10667958272 5259 18446744073709551615 4194304 4196468 140736220073888 140280595397520 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9294] ppid=9285 vsize=10417928 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9294/stat : 9294 (java) S 9285 9288 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 66727238 10667958272 5259 18446744073709551615 4194304 4196468 140736220073888 140280594344720 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9295] ppid=9285 vsize=10417928 memory=140679459305088 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9295/stat : 9295 (java) S 9285 9288 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 66727240 10667958272 5325 18446744073709551615 4194304 4196468 140736220073888 140280550443376 140280986434178 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9296] ppid=9285 vsize=10417928 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9296/stat : 9296 (java) S 9285 9288 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 66727240 10667958272 5325 18446744073709551615 4194304 4196468 140736220073888 140280549389344 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9297] ppid=9285 vsize=10417928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9297/stat : 9297 (java) S 9285 9288 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 66727240 10667958272 5391 18446744073709551615 4194304 4196468 140736220073888 140280548336496 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9298] ppid=9285 vsize=10417928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9298/stat : 9298 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 66727243 10667958272 5391 18446744073709551615 4194304 4196468 140736220073888 140280547284816 140280986441627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9299] ppid=9285 vsize=10417928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9299/stat : 9299 (java) R 9285 9288 17093 0 -1 4202560 234 0 0 0 0 0 0 0 20 0 13 0 66727243 10667958272 5391 18446744073709551615 4194304 4196468 140736220073888 140280546220152 140280978712413 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9300] ppid=9285 vsize=10417928 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9300/stat : 9300 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 66727243 10667958272 5391 18446744073709551615 4194304 4196468 140736220073888 140280545180096 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9301] ppid=9285 vsize=10417928 memory=140679459305088 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9301/stat : 9301 (java) S 9285 9288 17093 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 13 0 66727243 10667958272 5391 18446744073709551615 4194304 4196468 140736220073888 140280476985968 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 20496 KiB

[startup+0.209955 s]*
/proc/loadavg: 3.39 3.58 3.66 2/209 9302
/proc/meminfo: memFree=27556416/32770624 swapFree=67108860/67108860
[pid=9288] ppid=9285 vsize=10484492 memory=22620 CPUtime=0.05 cores=0,2,4,6
/proc/9288/stat : 9288 (java) S 9285 9288 17093 0 -1 1077944320 4614 0 0 0 4 1 0 0 20 0 14 0 66727232 10736119808 5655 18446744073709551615 4194304 4196468 140736220073888 140736220056432 140280986423031 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
/proc/9288/statm: 2621123 5655 2571 1 0 2610620 0
[pid=9288/tid=9290] ppid=9285 vsize=10484492 memory=8318255677412212789 CPUtime=0.04 cores=0,2,4,6
/proc/9288/task/9290/stat : 9290 (java) D 9285 9288 17093 0 -1 4202560 2725 0 0 0 3 1 0 0 20 0 14 0 66727238 10736119808 5655 18446744073709551615 4194304 4196468 140736220073888 140280990660512 140280986445053 0 4 1 16800974 18446744071580418449 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9291] ppid=9285 vsize=10484492 memory=330 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9291/stat : 9291 (java) S 9285 9288 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66727238 10736119808 5655 18446744073709551615 4194304 4196468 140736220073888 140280597503120 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9292] ppid=9285 vsize=10484492 memory=140679459857258 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9292/stat : 9292 (java) S 9285 9288 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66727238 10736119808 5655 18446744073709551615 4194304 4196468 140736220073888 140280596450320 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9293] ppid=9285 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9293/stat : 9293 (java) S 9285 9288 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66727238 10736119808 5655 18446744073709551615 4194304 4196468 140736220073888 140280595397520 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9294] ppid=9285 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9294/stat : 9294 (java) S 9285 9288 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66727238 10736119808 5655 18446744073709551615 4194304 4196468 140736220073888 140280594344720 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9295] ppid=9285 vsize=10484492 memory=140679459305088 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9295/stat : 9295 (java) S 9285 9288 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66727240 10736119808 5655 18446744073709551615 4194304 4196468 140736220073888 140280550443376 140280986434178 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9296] ppid=9285 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9296/stat : 9296 (java) S 9285 9288 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 66727240 10736119808 5655 18446744073709551615 4194304 4196468 140736220073888 140280549389344 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9297] ppid=9285 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9297/stat : 9297 (java) S 9285 9288 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 66727240 10736119808 5655 18446744073709551615 4194304 4196468 140736220073888 140280548336496 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9298] ppid=9285 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9298/stat : 9298 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66727243 10736119808 5655 18446744073709551615 4194304 4196468 140736220073888 140280547284816 140280986441627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9299] ppid=9285 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9299/stat : 9299 (java) S 9285 9288 17093 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 14 0 66727243 10736119808 5655 18446744073709551615 4194304 4196468 140736220073888 140280546233200 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9300] ppid=9285 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9300/stat : 9300 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66727243 10736119808 5655 18446744073709551615 4194304 4196468 140736220073888 140280545180400 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9301] ppid=9285 vsize=10484492 memory=140679459305088 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9301/stat : 9301 (java) S 9285 9288 17093 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 14 0 66727243 10736119808 5655 18446744073709551615 4194304 4196468 140736220073888 140280476985968 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9302] ppid=9285 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9302/stat : 9302 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66727243 10736119808 5655 18446744073709551615 4194304 4196468 140736220073888 140280475933408 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 22620 KiB

[startup+0.310963 s]*
/proc/loadavg: 3.39 3.58 3.66 4/210 9303
/proc/meminfo: memFree=27546624/32770624 swapFree=67108860/67108860
[pid=9288] ppid=9285 vsize=10551156 memory=33404 CPUtime=0.2 cores=0,2,4,6
/proc/9288/stat : 9288 (java) S 9285 9288 17093 0 -1 1077944320 8129 0 0 0 18 2 0 0 20 0 15 0 66727232 10804383744 8351 18446744073709551615 4194304 4196468 140736220073888 140736220056432 140280986423031 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
/proc/9288/statm: 2637789 8351 2878 1 0 2627261 0
[pid=9288/tid=9290] ppid=9285 vsize=10551156 memory=-7677926825137650786 CPUtime=0.14 cores=0,2,4,6
/proc/9288/task/9290/stat : 9290 (java) R 9285 9288 17093 0 -1 4202560 5778 0 0 0 12 2 0 0 20 0 15 0 66727238 10804383744 8351 18446744073709551615 4194304 4196468 140736220073888 140280990646448 140280971791120 0 4 1 16800974 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9291] ppid=9285 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9291/stat : 9291 (java) S 9285 9288 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66727238 10804383744 8351 18446744073709551615 4194304 4196468 140736220073888 140280597503120 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9292] ppid=9285 vsize=10551156 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9292/stat : 9292 (java) S 9285 9288 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66727238 10804383744 8351 18446744073709551615 4194304 4196468 140736220073888 140280596450320 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9293] ppid=9285 vsize=10551156 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9293/stat : 9293 (java) S 9285 9288 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66727238 10804383744 8351 18446744073709551615 4194304 4196468 140736220073888 140280595397520 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9294] ppid=9285 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9294/stat : 9294 (java) S 9285 9288 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66727238 10804383744 8351 18446744073709551615 4194304 4196468 140736220073888 140280594344720 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9295] ppid=9285 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9295/stat : 9295 (java) S 9285 9288 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66727240 10804383744 8351 18446744073709551615 4194304 4196468 140736220073888 140280550443376 140280986434178 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9296] ppid=9285 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9296/stat : 9296 (java) S 9285 9288 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66727240 10804383744 8351 18446744073709551615 4194304 4196468 140736220073888 140280549389344 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9297] ppid=9285 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9297/stat : 9297 (java) S 9285 9288 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66727240 10804383744 8351 18446744073709551615 4194304 4196468 140736220073888 140280548336496 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9298] ppid=9285 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9298/stat : 9298 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66727243 10804383744 8351 18446744073709551615 4194304 4196468 140736220073888 140280547284816 140280986441627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9299] ppid=9285 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9288/task/9299/stat : 9299 (java) S 9285 9288 17093 0 -1 1077944384 490 0 0 0 1 0 0 0 20 0 15 0 66727243 10804383744 8351 18446744073709551615 4194304 4196468 140736220073888 140280546233200 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9300] ppid=9285 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9288/task/9300/stat : 9300 (java) S 9285 9288 17093 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 15 0 66727243 10804383744 8351 18446744073709551615 4194304 4196468 140736220073888 140280545180400 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9301] ppid=9285 vsize=10551156 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9288/task/9301/stat : 9301 (java) S 9285 9288 17093 0 -1 1077944384 421 0 0 0 3 0 0 0 20 0 15 0 66727243 10804383744 8351 18446744073709551615 4194304 4196468 140736220073888 140280476985968 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9302] ppid=9285 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9302/stat : 9302 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66727243 10804383744 8351 18446744073709551615 4194304 4196468 140736220073888 140280475933408 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9303] ppid=9285 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9303/stat : 9303 (java) S 9285 9288 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66727254 10804383744 8351 18446744073709551615 4194304 4196468 140736220073888 140280474880688 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 33404 KiB

[startup+0.700882 s]
/proc/loadavg: 3.39 3.58 3.66 6/210 9303
/proc/meminfo: memFree=27535504/32770624 swapFree=67108860/67108860
[pid=9288] ppid=9285 vsize=10551232 memory=93624 CPUtime=1.27 cores=0,2,4,6
/proc/9288/stat : 9288 (java) S 9285 9288 17093 0 -1 1077944320 13033 0 0 0 122 5 0 0 20 0 15 0 66727232 10804461568 23406 18446744073709551615 4194304 4196468 140736220073888 140736220056432 140280986423031 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
/proc/9288/statm: 2637808 23406 3064 1 0 2627261 0
[pid=9288/tid=9290] ppid=9285 vsize=10551232 memory=4028 CPUtime=0.51 cores=0,2,4,6
/proc/9288/task/9290/stat : 9290 (java) R 9285 9288 17093 0 -1 4202560 7488 0 0 0 48 3 0 0 20 0 15 0 66727238 10804461568 23406 18446744073709551615 4194304 4196468 140736220073888 140280990656176 140280630783492 0 4 1 16800974 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9291] ppid=9285 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9291/stat : 9291 (java) S 9285 9288 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66727238 10804461568 23406 18446744073709551615 4194304 4196468 140736220073888 140280597503120 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9292] ppid=9285 vsize=10551232 memory=140679305613392 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9292/stat : 9292 (java) S 9285 9288 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66727238 10804461568 23406 18446744073709551615 4194304 4196468 140736220073888 140280596450320 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9293] ppid=9285 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9293/stat : 9293 (java) S 9285 9288 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66727238 10804461568 23406 18446744073709551615 4194304 4196468 140736220073888 140280595397520 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9294] ppid=9285 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9294/stat : 9294 (java) S 9285 9288 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66727238 10804461568 23406 18446744073709551615 4194304 4196468 140736220073888 140280594344720 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9295] ppid=9285 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9295/stat : 9295 (java) S 9285 9288 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 66727240 10804461568 23406 18446744073709551615 4194304 4196468 140736220073888 140280550443376 140280986434178 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9296] ppid=9285 vsize=10551232 memory=281358609972448 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9296/stat : 9296 (java) S 9285 9288 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66727240 10804461568 23406 18446744073709551615 4194304 4196468 140736220073888 140280549389344 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9297] ppid=9285 vsize=10551232 memory=16945 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9297/stat : 9297 (java) S 9285 9288 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66727240 10804461568 23406 18446744073709551615 4194304 4196468 140736220073888 140280548336496 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9298] ppid=9285 vsize=10551232 memory=281358609940720 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9298/stat : 9298 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66727243 10804461568 23406 18446744073709551615 4194304 4196468 140736220073888 140280547284816 140280986441627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9299] ppid=9285 vsize=10551232 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/9288/task/9299/stat : 9299 (java) R 9285 9288 17093 0 -1 4202560 1349 0 0 0 22 0 0 0 20 0 15 0 66727243 10804461568 23406 18446744073709551615 4194304 4196468 140736220073888 140280546219224 140280966116131 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9300] ppid=9285 vsize=10551232 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/9288/task/9300/stat : 9300 (java) R 9285 9288 17093 0 -1 4202560 1059 0 0 0 19 0 0 0 20 0 15 0 66727243 10804461568 23406 18446744073709551615 4194304 4196468 140736220073888 140280545172048 140280964019184 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9301] ppid=9285 vsize=10551232 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/9288/task/9301/stat : 9301 (java) R 9285 9288 17093 0 -1 4202560 1767 0 0 0 31 0 0 0 20 0 15 0 66727243 10804461568 23406 18446744073709551615 4194304 4196468 140736220073888 140280476985968 140280979519867 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9302] ppid=9285 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9302/stat : 9302 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66727243 10804461568 23406 18446744073709551615 4194304 4196468 140736220073888 140280475933408 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9303] ppid=9285 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9303/stat : 9303 (java) S 9285 9288 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66727254 10804461568 23406 18446744073709551615 4194304 4196468 140736220073888 140280474880688 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 93624 KiB

[startup+1.50076 s]
/proc/loadavg: 3.39 3.58 3.66 5/210 9303
/proc/meminfo: memFree=27369628/32770624 swapFree=67108860/67108860
[pid=9288] ppid=9285 vsize=10551232 memory=409020 CPUtime=3.77 cores=0,2,4,6
/proc/9288/stat : 9288 (java) S 9285 9288 17093 0 -1 1077944320 17542 0 0 0 358 19 0 0 20 0 15 0 66727232 10804461568 102255 18446744073709551615 4194304 4196468 140736220073888 140736220056432 140280986423031 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
/proc/9288/statm: 2637808 102255 3101 1 0 2627261 0
[pid=9288/tid=9290] ppid=9285 vsize=10551232 memory=4028 CPUtime=1.17 cores=0,2,4,6
/proc/9288/task/9290/stat : 9290 (java) R 9285 9288 17093 0 -1 4202560 7592 0 0 0 112 5 0 0 20 0 15 0 66727238 10804461568 102255 18446744073709551615 4194304 4196468 140736220073888 140280990660856 140280986434966 0 4 1 16800974 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9291] ppid=9285 vsize=10551232 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/9288/task/9291/stat : 9291 (java) S 9285 9288 17093 0 -1 1077944384 46 0 0 0 5 1 0 0 20 0 15 0 66727238 10804461568 102255 18446744073709551615 4194304 4196468 140736220073888 140280597503120 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9292] ppid=9285 vsize=10551232 memory=7680170660397595203 CPUtime=0.12 cores=0,2,4,6
/proc/9288/task/9292/stat : 9292 (java) S 9285 9288 17093 0 -1 1077944384 151 0 0 0 10 2 0 0 20 0 15 0 66727238 10804461568 102255 18446744073709551615 4194304 4196468 140736220073888 140280596450320 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9293] ppid=9285 vsize=10551232 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/9288/task/9293/stat : 9293 (java) S 9285 9288 17093 0 -1 1077944384 161 0 0 0 9 2 0 0 20 0 15 0 66727238 10804461568 102255 18446744073709551615 4194304 4196468 140736220073888 140280595397520 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9294] ppid=9285 vsize=10551232 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/9288/task/9294/stat : 9294 (java) S 9285 9288 17093 0 -1 1077944384 153 0 0 0 8 3 0 0 20 0 15 0 66727238 10804461568 102255 18446744073709551615 4194304 4196468 140736220073888 140280594344720 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9295] ppid=9285 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9295/stat : 9295 (java) S 9285 9288 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 66727240 10804461568 102255 18446744073709551615 4194304 4196468 140736220073888 140280550443376 140280986434178 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9296] ppid=9285 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9296/stat : 9296 (java) S 9285 9288 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66727240 10804461568 102255 18446744073709551615 4194304 4196468 140736220073888 140280549389344 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9297] ppid=9285 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9297/stat : 9297 (java) S 9285 9288 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66727240 10804461568 102255 18446744073709551615 4194304 4196468 140736220073888 140280548336496 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9298] ppid=9285 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9298/stat : 9298 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66727243 10804461568 102255 18446744073709551615 4194304 4196468 140736220073888 140280547284816 140280986441627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0

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

/proc/9288/task/9296/stat : 9296 (java) S 9285 9288 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 66727240 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280549389408 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9297] ppid=9285 vsize=10617796 memory=3591196 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9297/stat : 9297 (java) S 9285 9288 17093 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 66727240 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280548336512 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9298] ppid=9285 vsize=10617796 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9298/stat : 9298 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66727243 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280547284816 140280986441627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9299] ppid=9285 vsize=10617796 memory=288230621803970871 CPUtime=2.42 cores=0,2,4,6
/proc/9288/task/9299/stat : 9299 (java) S 9285 9288 17093 0 -1 1077944384 8480 0 0 0 241 1 0 0 20 0 16 0 66727243 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280546233200 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9300] ppid=9285 vsize=10617796 memory=4028 CPUtime=2.4 cores=0,2,4,6
/proc/9288/task/9300/stat : 9300 (java) S 9285 9288 17093 0 -1 1077944384 11152 0 0 0 239 1 0 0 20 0 16 0 66727243 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280545180400 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9301] ppid=9285 vsize=10617796 memory=37620 CPUtime=0.51 cores=0,2,4,6
/proc/9288/task/9301/stat : 9301 (java) S 9285 9288 17093 0 -1 1077944384 4594 0 0 0 50 1 0 0 20 0 16 0 66727243 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280476985968 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9302] ppid=9285 vsize=10617796 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9302/stat : 9302 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66727243 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280475933408 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9303] ppid=9285 vsize=10617796 memory=2420 CPUtime=0.12 cores=0,2,4,6
/proc/9288/task/9303/stat : 9303 (java) S 9285 9288 17093 0 -1 1077944384 1049 0 0 0 6 6 0 0 20 0 16 0 66727254 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280474880688 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9304] ppid=9285 vsize=10617796 memory=3591196 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9304/stat : 9304 (java) S 9285 9288 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 66728609 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280473826224 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
Current children cumulated CPU time: 250.49 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3591196 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+223.901 s]
/proc/loadavg: 2.85 3.11 3.45 3/211 9388
/proc/meminfo: memFree=22546308/32770624 swapFree=67108860/67108860
[pid=9288] ppid=9285 vsize=10617796 memory=3591196 CPUtime=252.09 cores=0,2,4,6
/proc/9288/stat : 9288 (java) S 9285 9288 17093 0 -1 1077944320 74486 0 0 0 24927 282 0 0 20 0 16 0 66727232 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140736220056432 140280986423031 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
/proc/9288/statm: 2654449 897799 3139 1 0 2643902 0
[pid=9288/tid=9290] ppid=9285 vsize=10617796 memory=3591196 CPUtime=213.45 cores=0,2,4,6
/proc/9288/task/9290/stat : 9290 (java) R 9285 9288 17093 0 -1 4202560 23169 0 0 0 21334 11 0 0 20 0 16 0 66727238 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280990659976 140280634209041 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9291] ppid=9285 vsize=10617796 memory=3591196 CPUtime=7.67 cores=0,2,4,6
/proc/9288/task/9291/stat : 9291 (java) S 9285 9288 17093 0 -1 1077944384 4000 0 0 0 702 65 0 0 20 0 16 0 66727238 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280597503120 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9292] ppid=9285 vsize=10617796 memory=3591196 CPUtime=7.74 cores=0,2,4,6
/proc/9288/task/9292/stat : 9292 (java) S 9285 9288 17093 0 -1 1077944384 4710 0 0 0 708 66 0 0 20 0 16 0 66727238 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280596450320 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9293] ppid=9285 vsize=10617796 memory=3591196 CPUtime=7.66 cores=0,2,4,6
/proc/9288/task/9293/stat : 9293 (java) S 9285 9288 17093 0 -1 1077944384 4217 0 0 0 704 62 0 0 20 0 16 0 66727238 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280595397520 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9294] ppid=9285 vsize=10617796 memory=3591196 CPUtime=7.68 cores=0,2,4,6
/proc/9288/task/9294/stat : 9294 (java) S 9285 9288 17093 0 -1 1077944384 4960 0 0 0 702 66 0 0 20 0 16 0 66727238 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280594344720 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9295] ppid=9285 vsize=10617796 memory=3591196 CPUtime=2.33 cores=0,2,4,6
/proc/9288/task/9295/stat : 9295 (java) S 9285 9288 17093 0 -1 1077944384 6715 0 0 0 233 0 0 0 20 0 16 0 66727240 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280550443376 140280986434178 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9296] ppid=9285 vsize=10617796 memory=3591196 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9296/stat : 9296 (java) S 9285 9288 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 66727240 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280549389408 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9297] ppid=9285 vsize=10617796 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9297/stat : 9297 (java) S 9285 9288 17093 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 66727240 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280548336512 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9298] ppid=9285 vsize=10617796 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9298/stat : 9298 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66727243 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280547284816 140280986441627 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9299] ppid=9285 vsize=10617796 memory=4028 CPUtime=2.42 cores=0,2,4,6
/proc/9288/task/9299/stat : 9299 (java) S 9285 9288 17093 0 -1 1077944384 8480 0 0 0 241 1 0 0 20 0 16 0 66727243 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280546233200 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9300] ppid=9285 vsize=10617796 memory=37620 CPUtime=2.4 cores=0,2,4,6
/proc/9288/task/9300/stat : 9300 (java) S 9285 9288 17093 0 -1 1077944384 11152 0 0 0 239 1 0 0 20 0 16 0 66727243 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280545180400 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9301] ppid=9285 vsize=10617796 memory=288230574492221466 CPUtime=0.51 cores=0,2,4,6
/proc/9288/task/9301/stat : 9301 (java) S 9285 9288 17093 0 -1 1077944384 4594 0 0 0 50 1 0 0 20 0 16 0 66727243 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280476985968 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9302] ppid=9285 vsize=10617796 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9302/stat : 9302 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66727243 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280475933408 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9303] ppid=9285 vsize=10617796 memory=3591196 CPUtime=0.12 cores=0,2,4,6
/proc/9288/task/9303/stat : 9303 (java) S 9285 9288 17093 0 -1 1077944384 1049 0 0 0 6 6 0 0 20 0 16 0 66727254 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280474880688 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9304] ppid=9285 vsize=10617796 memory=3591196 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9304/stat : 9304 (java) S 9285 9288 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 66728609 10872623104 897799 18446744073709551615 4194304 4196468 140736220073888 140280473826224 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3591196 KiB

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

[startup+224.144 s]
# the end of solver process 9288 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.32 s, system=2.84993 s

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

[startup+224.005 s]*
/proc/loadavg: 2.85 3.11 3.45 2/212 9391
/proc/meminfo: memFree=22546220/32770624 swapFree=67108860/67108860
[pid=9288] ppid=9285 vsize=10817488 memory=3591452 CPUtime=252.13 cores=0,2,4,6
/proc/9288/stat : 9288 (java) S 9285 9288 17093 0 -1 1077944320 75028 0 0 0 24931 282 0 0 20 0 17 0 66727232 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140736220056432 140280986423031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
/proc/9288/statm: 2704372 897863 3141 1 0 2693825 0
[pid=9288/tid=9290] ppid=9285 vsize=10817488 memory=-7677926825137650786 CPUtime=213.48 cores=0,2,4,6
/proc/9288/task/9290/stat : 9290 (java) S 9285 9288 17093 0 -1 1077944384 23303 0 0 0 21337 11 0 0 20 0 17 0 66727238 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280990665904 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9291] ppid=9285 vsize=10817488 memory=1708 CPUtime=7.67 cores=0,2,4,6
/proc/9288/task/9291/stat : 9291 (java) S 9285 9288 17093 0 -1 1077944384 4000 0 0 0 702 65 0 0 20 0 17 0 66727238 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280597503120 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9292] ppid=9285 vsize=10817488 memory=1444 CPUtime=7.74 cores=0,2,4,6
/proc/9288/task/9292/stat : 9292 (java) S 9285 9288 17093 0 -1 1077944384 4710 0 0 0 708 66 0 0 20 0 17 0 66727238 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280596450320 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9293] ppid=9285 vsize=10817488 memory=1228 CPUtime=7.66 cores=0,2,4,6
/proc/9288/task/9293/stat : 9293 (java) S 9285 9288 17093 0 -1 1077944384 4217 0 0 0 704 62 0 0 20 0 17 0 66727238 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280595397520 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9294] ppid=9285 vsize=10817488 memory=4872558044660077418 CPUtime=7.68 cores=0,2,4,6
/proc/9288/task/9294/stat : 9294 (java) S 9285 9288 17093 0 -1 1077944384 4960 0 0 0 702 66 0 0 20 0 17 0 66727238 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280594344720 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9295] ppid=9285 vsize=10817488 memory=1708 CPUtime=2.33 cores=0,2,4,6
/proc/9288/task/9295/stat : 9295 (java) S 9285 9288 17093 0 -1 1077944384 6717 0 0 0 233 0 0 0 20 0 17 0 66727240 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280550443376 140280986434178 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9296] ppid=9285 vsize=10817488 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9296/stat : 9296 (java) S 9285 9288 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 66727240 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280549389408 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9297] ppid=9285 vsize=10817488 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9297/stat : 9297 (java) S 9285 9288 17093 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 66727240 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280548336512 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9298] ppid=9285 vsize=10817488 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9298/stat : 9298 (java) S 9285 9288 17093 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 17 0 66727243 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280547284816 140280986441627 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9299] ppid=9285 vsize=10817488 memory=1992 CPUtime=2.43 cores=0,2,4,6
/proc/9288/task/9299/stat : 9299 (java) S 9285 9288 17093 0 -1 1077944384 8480 0 0 0 242 1 0 0 20 0 17 0 66727243 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280546233200 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9300] ppid=9285 vsize=10817488 memory=7680170660397595203 CPUtime=2.41 cores=0,2,4,6
/proc/9288/task/9300/stat : 9300 (java) S 9285 9288 17093 0 -1 1077944384 11155 0 0 0 240 1 0 0 20 0 17 0 66727243 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280545180400 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9301] ppid=9285 vsize=10817488 memory=1000 CPUtime=0.51 cores=0,2,4,6
/proc/9288/task/9301/stat : 9301 (java) S 9285 9288 17093 0 -1 1077944384 4613 0 0 0 50 1 0 0 20 0 17 0 66727243 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280476985968 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9302] ppid=9285 vsize=10817488 memory=796 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9302/stat : 9302 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66727243 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280475933408 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9303] ppid=9285 vsize=10817488 memory=8944 CPUtime=0.12 cores=0,2,4,6
/proc/9288/task/9303/stat : 9303 (java) S 9285 9288 17093 0 -1 1077944384 1049 0 0 0 6 6 0 0 20 0 17 0 66727254 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280474880688 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9389] ppid=9285 vsize=10817488 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9389/stat : 9389 (java) S 9285 9288 17093 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 17 0 66749623 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280472772720 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9390] ppid=9285 vsize=10817488 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9390/stat : 9390 (java) S 9285 9288 17093 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 17 0 66749623 11077107712 897863 18446744073709551615 4194304 4196468 140736220073888 140280471720848 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
Current children cumulated CPU time: 252.13 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3591452 KiB

[startup+224.11 s]
/proc/loadavg: 2.85 3.11 3.45 2/212 9391
/proc/meminfo: memFree=22546220/32770624 swapFree=67108860/67108860
[pid=9288] ppid=9285 vsize=10817488 memory=3591544 CPUtime=252.13 cores=0,2,4,6
/proc/9288/stat : 9288 (java) S 9285 9288 17093 0 -1 1077944320 75142 0 0 0 24931 282 0 0 20 0 17 0 66727232 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140736220056432 140280986423031 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
/proc/9288/statm: 2704372 897886 3142 1 0 2693825 0
[pid=9288/tid=9290] ppid=9285 vsize=10817488 memory=3591196 CPUtime=213.48 cores=0,2,4,6
/proc/9288/task/9290/stat : 9290 (java) S 9285 9288 17093 0 -1 1077944384 23303 0 0 0 21337 11 0 0 20 0 17 0 66727238 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280990665904 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9291] ppid=9285 vsize=10817488 memory=3591196 CPUtime=7.67 cores=0,2,4,6
/proc/9288/task/9291/stat : 9291 (java) S 9285 9288 17093 0 -1 1077944384 4000 0 0 0 702 65 0 0 20 0 17 0 66727238 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280597503120 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9292] ppid=9285 vsize=10817488 memory=3591196 CPUtime=7.74 cores=0,2,4,6
/proc/9288/task/9292/stat : 9292 (java) S 9285 9288 17093 0 -1 1077944384 4710 0 0 0 708 66 0 0 20 0 17 0 66727238 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280596450320 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9293] ppid=9285 vsize=10817488 memory=3591196 CPUtime=7.66 cores=0,2,4,6
/proc/9288/task/9293/stat : 9293 (java) S 9285 9288 17093 0 -1 1077944384 4217 0 0 0 704 62 0 0 20 0 17 0 66727238 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280595397520 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9294] ppid=9285 vsize=10817488 memory=3591196 CPUtime=7.68 cores=0,2,4,6
/proc/9288/task/9294/stat : 9294 (java) S 9285 9288 17093 0 -1 1077944384 4960 0 0 0 702 66 0 0 20 0 17 0 66727238 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280594344720 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9295] ppid=9285 vsize=10817488 memory=3591196 CPUtime=2.33 cores=0,2,4,6
/proc/9288/task/9295/stat : 9295 (java) S 9285 9288 17093 0 -1 1077944384 6717 0 0 0 233 0 0 0 20 0 17 0 66727240 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280550443376 140280986434178 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9296] ppid=9285 vsize=10817488 memory=3591196 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9296/stat : 9296 (java) S 9285 9288 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 66727240 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280549389408 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9297] ppid=9285 vsize=10817488 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9297/stat : 9297 (java) S 9285 9288 17093 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 66727240 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280548336512 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9298] ppid=9285 vsize=10817488 memory=37620 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9298/stat : 9298 (java) S 9285 9288 17093 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 17 0 66727243 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280547284816 140280986441627 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9299] ppid=9285 vsize=10817488 memory=288230574492221466 CPUtime=2.43 cores=0,2,4,6
/proc/9288/task/9299/stat : 9299 (java) R 9285 9288 17093 0 -1 4202560 8488 0 0 0 242 1 0 0 20 0 17 0 66727243 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280546233200 140280972449428 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9300] ppid=9285 vsize=10817488 memory=288230621803970871 CPUtime=2.41 cores=0,2,4,6
/proc/9288/task/9300/stat : 9300 (java) S 9285 9288 17093 0 -1 1077944384 11158 0 0 0 240 1 0 0 20 0 17 0 66727243 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280545180400 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9301] ppid=9285 vsize=10817488 memory=3591196 CPUtime=0.52 cores=0,2,4,6
/proc/9288/task/9301/stat : 9301 (java) R 9285 9288 17093 0 -1 1077944384 4641 0 0 0 51 1 0 0 20 0 17 0 66727243 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280476981696 140280986433237 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9302] ppid=9285 vsize=10817488 memory=3591196 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9302/stat : 9302 (java) S 9285 9288 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66727243 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280475933408 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9303] ppid=9285 vsize=10817488 memory=1296 CPUtime=0.12 cores=0,2,4,6
/proc/9288/task/9303/stat : 9303 (java) S 9285 9288 17093 0 -1 1077944384 1049 0 0 0 6 6 0 0 20 0 17 0 66727254 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280474880688 140280986434178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9389] ppid=9285 vsize=10817488 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9389/stat : 9389 (java) S 9285 9288 17093 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 17 0 66749623 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280472772720 140280986433237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
[pid=9288/tid=9390] ppid=9285 vsize=10817488 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/9288/task/9390/stat : 9390 (java) R 9285 9288 17093 0 -1 4202560 112 0 0 0 0 0 0 0 20 0 17 0 66749623 11077107712 897886 18446744073709551615 4194304 4196468 140736220073888 140280471720848 140280628082748 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140736220078485 140736220078638 140736220078638 140736220082127 0
Current children cumulated CPU time: 252.13 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3591544 KiB

Child status: 143
Real time (s): 224.144
CPU time (s): 252.17
CPU user time (s): 249.32
CPU system time (s): 2.84993
CPU usage (%): 112.503
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 3591544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.32
system time used= 2.84993
maximum resident set size= 3591804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75718
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7832
involuntary context switches= 602


# summary of solver processes directly reported to runsolver:
#   pid: 9288
#   total CPU time (s): 252.17
#   total CPU user time (s): 249.32
#   total CPU system time (s): 2.84993

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04435 second user time and 2.41371 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml
MD5SUM	65a76f6052f0c7193e3442ad9f3b990a
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	743
Best CPU time to get the best result obtained on this benchmark	251.907
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 4258348

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