2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
sat4j-CSP 2017-07-05	SAT (TO)	1600	2520.22	2479.05

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

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263197-1502623967/watcher-4263197-1502623967 -o /tmp/evaluation-result-4263197-1502623967/solver-4263197-1502623967 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502620602-10435 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263197-1502623967.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10889, runsolver pid=10886
Current StackSize limit: 8192 KiB


[startup+0.103893 s]*
/proc/loadavg: 4.78 3.56 2.62 6/214 10904
/proc/meminfo: memFree=18931960/32770624 swapFree=67108860/67108860
[pid=10889] ppid=10886 vsize=10555400 memory=30440 CPUtime=0.13 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 6758 0 -1 1077944320 6743 0 0 0 12 1 0 0 20 0 15 0 95477821 10808729600 7610 33554432000 4194304 4196468 140723276854208 140723276836752 140393280216823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
/proc/10889/statm: 2638850 7610 2790 1 0 2627263 0
[pid=10889/tid=10891] ppid=10886 vsize=10555400 memory=-8773748148830376319 CPUtime=0.09 cores=1,3,5,7
/proc/10889/task/10891/stat : 10891 (java) R 10886 10889 6758 0 -1 4202560 4587 0 0 0 8 1 0 0 20 0 15 0 95477822 10808729600 7610 33554432000 4194304 4196468 140723276854208 140393284441936 140393264297310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10892] ppid=10886 vsize=10555400 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10892/stat : 10892 (java) S 10886 10889 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95477823 10808729600 7610 33554432000 4194304 4196468 140723276854208 140393222220816 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10893] ppid=10886 vsize=10555400 memory=140483938662016 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10893/stat : 10893 (java) S 10886 10889 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95477823 10808729600 7610 33554432000 4194304 4196468 140723276854208 140393221168272 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10894] ppid=10886 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10894/stat : 10894 (java) S 10886 10889 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95477823 10808729600 7610 33554432000 4194304 4196468 140723276854208 140392885181200 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10895] ppid=10886 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10895/stat : 10895 (java) S 10886 10889 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95477823 10808729600 7610 33554432000 4194304 4196468 140723276854208 140392884128656 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10896] ppid=10886 vsize=10555400 memory=140483938662016 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10896/stat : 10896 (java) S 10886 10889 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95477824 10808729600 7610 33554432000 4194304 4196468 140723276854208 140392585050352 140393280227970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10897] ppid=10886 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10897/stat : 10897 (java) S 10886 10889 6758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95477824 10808729600 7610 33554432000 4194304 4196468 140723276854208 140392583996576 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10898] ppid=10886 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10898/stat : 10898 (java) S 10886 10889 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95477825 10808729600 7610 33554432000 4194304 4196468 140723276854208 140392582943472 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10899] ppid=10886 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10899/stat : 10899 (java) S 10886 10889 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95477827 10808729600 7610 33554432000 4194304 4196468 140723276854208 140392581892048 140393280235419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10900] ppid=10886 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10900/stat : 10900 (java) S 10886 10889 6758 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 95477827 10808729600 7610 33554432000 4194304 4196468 140723276854208 140392580840176 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10901] ppid=10886 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10901/stat : 10901 (java) S 10886 10889 6758 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 95477827 10808729600 7610 33554432000 4194304 4196468 140723276854208 140392579787632 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10902] ppid=10886 vsize=10555400 memory=140483938662016 CPUtime=0.02 cores=1,3,5,7
/proc/10889/task/10902/stat : 10902 (java) R 10886 10889 6758 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 95477827 10808729600 7610 33554432000 4194304 4196468 140723276854208 140392578734576 140393280238170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10903] ppid=10886 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10903/stat : 10903 (java) S 10886 10889 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95477827 10808729600 7610 33554432000 4194304 4196468 140723276854208 140392577682272 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10904] ppid=10886 vsize=10555400 memory=140483938662016 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10904/stat : 10904 (java) S 10886 10889 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95477827 10808729600 7610 33554432000 4194304 4196468 140723276854208 140392576629296 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30440 KiB

[startup+0.215552 s]*
/proc/loadavg: 4.78 3.56 2.62 7/214 10904
/proc/meminfo: memFree=18923284/32770624 swapFree=67108860/67108860
[pid=10889] ppid=10886 vsize=10555400 memory=39880 CPUtime=0.34 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 6758 0 -1 1077944320 8060 0 0 0 31 3 0 0 20 0 15 0 95477821 10808729600 9970 33554432000 4194304 4196468 140723276854208 140723276836752 140393280216823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
/proc/10889/statm: 2638850 9970 2996 1 0 2627263 0
[pid=10889/tid=10891] ppid=10886 vsize=10555400 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/10889/task/10891/stat : 10891 (java) R 10886 10889 6758 0 -1 4202560 5116 0 0 0 19 2 0 0 20 0 15 0 95477822 10808729600 9970 33554432000 4194304 4196468 140723276854208 140393284440240 140393280228758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10892] ppid=10886 vsize=10555400 memory=365 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10892/stat : 10892 (java) S 10886 10889 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95477823 10808729600 9970 33554432000 4194304 4196468 140723276854208 140393222220816 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10893] ppid=10886 vsize=10555400 memory=140483939079339 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10893/stat : 10893 (java) S 10886 10889 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95477823 10808729600 9970 33554432000 4194304 4196468 140723276854208 140393221168272 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10894] ppid=10886 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10894/stat : 10894 (java) S 10886 10889 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95477823 10808729600 9970 33554432000 4194304 4196468 140723276854208 140392885181200 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10895] ppid=10886 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10895/stat : 10895 (java) S 10886 10889 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95477823 10808729600 9970 33554432000 4194304 4196468 140723276854208 140392884128656 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10896] ppid=10886 vsize=10555400 memory=140483938662016 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10896/stat : 10896 (java) S 10886 10889 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95477824 10808729600 9970 33554432000 4194304 4196468 140723276854208 140392585050352 140393280227970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10897] ppid=10886 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10897/stat : 10897 (java) S 10886 10889 6758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95477824 10808729600 9970 33554432000 4194304 4196468 140723276854208 140392583996576 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10898] ppid=10886 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10898/stat : 10898 (java) S 10886 10889 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95477825 10808729600 9970 33554432000 4194304 4196468 140723276854208 140392582943472 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10899] ppid=10886 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10899/stat : 10899 (java) S 10886 10889 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95477827 10808729600 9970 33554432000 4194304 4196468 140723276854208 140392581892048 140393280235419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10900] ppid=10886 vsize=10555400 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10889/task/10900/stat : 10900 (java) S 10886 10889 6758 0 -1 1077944384 571 0 0 0 2 0 0 0 20 0 15 0 95477827 10808729600 9970 33554432000 4194304 4196468 140723276854208 140392580840176 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10901] ppid=10886 vsize=10555400 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10889/task/10901/stat : 10901 (java) S 10886 10889 6758 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 95477827 10808729600 9970 33554432000 4194304 4196468 140723276854208 140392579787632 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10902] ppid=10886 vsize=10555400 memory=140483938662016 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10902/stat : 10902 (java) R 10886 10889 6758 0 -1 4202560 738 0 0 0 7 0 0 0 20 0 15 0 95477827 10808729600 9970 33554432000 4194304 4196468 140723276854208 140392578731312 140393272933975 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10903] ppid=10886 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10903/stat : 10903 (java) S 10886 10889 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95477827 10808729600 9970 33554432000 4194304 4196468 140723276854208 140392577682272 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10904] ppid=10886 vsize=10555400 memory=140483938662016 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10904/stat : 10904 (java) S 10886 10889 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95477827 10808729600 9970 33554432000 4194304 4196468 140723276854208 140392576629296 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39880 KiB

[startup+0.310388 s]*
/proc/loadavg: 4.78 3.56 2.62 8/214 10904
/proc/meminfo: memFree=18916832/32770624 swapFree=67108860/67108860
[pid=10889] ppid=10886 vsize=10555476 memory=46616 CPUtime=0.54 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 6758 0 -1 1077944320 8752 0 0 0 51 3 0 0 20 0 15 0 95477821 10808807424 11654 33554432000 4194304 4196468 140723276854208 140723276836752 140393280216823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
/proc/10889/statm: 2638869 11654 3035 1 0 2627263 0
[pid=10889/tid=10891] ppid=10886 vsize=10555476 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7
/proc/10889/task/10891/stat : 10891 (java) R 10886 10889 6758 0 -1 4202560 5522 0 0 0 28 2 0 0 20 0 15 0 95477822 10808807424 11654 33554432000 4194304 4196468 140723276854208 140393284453488 140393280228758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10892] ppid=10886 vsize=10555476 memory=304556144784048151 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10892/stat : 10892 (java) S 10886 10889 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95477823 10808807424 11654 33554432000 4194304 4196468 140723276854208 140393222220816 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10893] ppid=10886 vsize=10555476 memory=140483939080899 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10893/stat : 10893 (java) S 10886 10889 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95477823 10808807424 11654 33554432000 4194304 4196468 140723276854208 140393221168272 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10894] ppid=10886 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10894/stat : 10894 (java) S 10886 10889 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95477823 10808807424 11654 33554432000 4194304 4196468 140723276854208 140392885181200 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10895] ppid=10886 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10895/stat : 10895 (java) S 10886 10889 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95477823 10808807424 11654 33554432000 4194304 4196468 140723276854208 140392884128656 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10896] ppid=10886 vsize=10555476 memory=140483938662016 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10896/stat : 10896 (java) S 10886 10889 6758 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95477824 10808807424 11654 33554432000 4194304 4196468 140723276854208 140392585050352 140393280227970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10897] ppid=10886 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10897/stat : 10897 (java) S 10886 10889 6758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95477824 10808807424 11654 33554432000 4194304 4196468 140723276854208 140392583996576 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10898] ppid=10886 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10898/stat : 10898 (java) S 10886 10889 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95477825 10808807424 11654 33554432000 4194304 4196468 140723276854208 140392582943472 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10899] ppid=10886 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10899/stat : 10899 (java) S 10886 10889 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95477827 10808807424 11654 33554432000 4194304 4196468 140723276854208 140392581892048 140393280235419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10900] ppid=10886 vsize=10555476 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10889/task/10900/stat : 10900 (java) S 10886 10889 6758 0 -1 1077944384 584 0 0 0 4 0 0 0 20 0 15 0 95477827 10808807424 11654 33554432000 4194304 4196468 140723276854208 140392580840176 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10901] ppid=10886 vsize=10555476 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/10889/task/10901/stat : 10901 (java) S 10886 10889 6758 0 -1 1077944384 376 0 0 0 4 0 0 0 20 0 15 0 95477827 10808807424 11654 33554432000 4194304 4196468 140723276854208 140392579787632 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10902] ppid=10886 vsize=10555476 memory=140483938662016 CPUtime=0.14 cores=1,3,5,7
/proc/10889/task/10902/stat : 10902 (java) R 10886 10889 6758 0 -1 4202560 901 0 0 0 14 0 0 0 20 0 15 0 95477827 10808807424 11654 33554432000 4194304 4196468 140723276854208 140392578734576 140393280228758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10903] ppid=10886 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10903/stat : 10903 (java) S 10886 10889 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95477827 10808807424 11654 33554432000 4194304 4196468 140723276854208 140392577682272 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10904] ppid=10886 vsize=10555476 memory=140483938662016 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10904/stat : 10904 (java) S 10886 10889 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95477827 10808807424 11654 33554432000 4194304 4196468 140723276854208 140392576629296 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46616 KiB

[startup+0.700758 s]
/proc/loadavg: 4.78 3.56 2.62 9/214 10904
/proc/meminfo: memFree=18874116/32770624 swapFree=67108860/67108860
[pid=10889] ppid=10886 vsize=10555476 memory=168528 CPUtime=1.78 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 6758 0 -1 1077944320 11748 0 0 0 173 5 0 0 20 0 15 0 95477821 10808807424 42132 33554432000 4194304 4196468 140723276854208 140723276836752 140393280216823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
/proc/10889/statm: 2638869 42132 3091 1 0 2627263 0
[pid=10889/tid=10891] ppid=10886 vsize=10555476 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/10889/task/10891/stat : 10891 (java) R 10886 10889 6758 0 -1 4202560 5944 0 0 0 63 4 0 0 20 0 15 0 95477822 10808807424 42132 33554432000 4194304 4196468 140723276854208 140393284448176 140392904025672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10892] ppid=10886 vsize=10555476 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10892/stat : 10892 (java) S 10886 10889 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95477823 10808807424 42132 33554432000 4194304 4196468 140723276854208 140393222220816 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10893] ppid=10886 vsize=10555476 memory=11040 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10893/stat : 10893 (java) S 10886 10889 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95477823 10808807424 42132 33554432000 4194304 4196468 140723276854208 140393221168272 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10894] ppid=10886 vsize=10555476 memory=5700 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10894/stat : 10894 (java) S 10886 10889 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95477823 10808807424 42132 33554432000 4194304 4196468 140723276854208 140392885181200 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10895] ppid=10886 vsize=10555476 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10895/stat : 10895 (java) S 10886 10889 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95477823 10808807424 42132 33554432000 4194304 4196468 140723276854208 140392884128656 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10896] ppid=10886 vsize=10555476 memory=792 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10896/stat : 10896 (java) S 10886 10889 6758 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95477824 10808807424 42132 33554432000 4194304 4196468 140723276854208 140392585050352 140393280227970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10897] ppid=10886 vsize=10555476 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10897/stat : 10897 (java) S 10886 10889 6758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95477824 10808807424 42132 33554432000 4194304 4196468 140723276854208 140392583996576 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10898] ppid=10886 vsize=10555476 memory=6296683634146759010 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10898/stat : 10898 (java) S 10886 10889 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95477825 10808807424 42132 33554432000 4194304 4196468 140723276854208 140392582943472 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10899] ppid=10886 vsize=10555476 memory=7451579857426993517 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10899/stat : 10899 (java) S 10886 10889 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95477827 10808807424 42132 33554432000 4194304 4196468 140723276854208 140392581892048 140393280235419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10900] ppid=10886 vsize=10555476 memory=6220993253238723945 CPUtime=0.37 cores=1,3,5,7
/proc/10889/task/10900/stat : 10900 (java) R 10886 10889 6758 0 -1 4202560 1497 0 0 0 37 0 0 0 20 0 15 0 95477827 10808807424 42132 33554432000 4194304 4196468 140723276854208 140392580824256 140393263715818 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10901] ppid=10886 vsize=10555476 memory=-8412654363917126771 CPUtime=0.38 cores=1,3,5,7
/proc/10889/task/10901/stat : 10901 (java) R 10886 10889 6758 0 -1 4202560 1240 0 0 0 38 0 0 0 20 0 15 0 95477827 10808807424 42132 33554432000 4194304 4196468 140723276854208 140392579777552 140393265139881 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10902] ppid=10886 vsize=10555476 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/10889/task/10902/stat : 10902 (java) S 10886 10889 6758 0 -1 1077944384 1696 0 0 0 33 0 0 0 20 0 15 0 95477827 10808807424 42132 33554432000 4194304 4196468 140723276854208 140392578734576 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10903] ppid=10886 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10903/stat : 10903 (java) S 10886 10889 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95477827 10808807424 42132 33554432000 4194304 4196468 140723276854208 140392577682272 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10904] ppid=10886 vsize=10555476 memory=31524 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10904/stat : 10904 (java) S 10886 10889 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95477827 10808807424 42132 33554432000 4194304 4196468 140723276854208 140392576629296 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 168528 KiB

[startup+1.50127 s]
/proc/loadavg: 4.78 3.56 2.62 10/214 10904
/proc/meminfo: memFree=18671132/32770624 swapFree=67108860/67108860
[pid=10889] ppid=10886 vsize=10557164 memory=562124 CPUtime=4.43 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 6758 0 -1 1077944320 20562 0 0 0 418 25 0 0 20 0 15 0 95477821 10810535936 140531 33554432000 4194304 4196468 140723276854208 140723276836752 140393280216823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
/proc/10889/statm: 2639291 140531 3129 1 0 2627685 0
[pid=10889/tid=10891] ppid=10886 vsize=10557164 memory=6791534058613427641 CPUtime=1.15 cores=1,3,5,7
/proc/10889/task/10891/stat : 10891 (java) S 10886 10889 6758 0 -1 1077944384 6026 0 0 0 109 6 0 0 20 0 15 0 95477822 10810535936 140531 33554432000 4194304 4196468 140723276854208 140393284452848 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10892] ppid=10886 vsize=10557164 memory=-9001734043636558696 CPUtime=0.2 cores=1,3,5,7
/proc/10889/task/10892/stat : 10892 (java) R 10886 10889 6758 0 -1 4202560 95 0 0 0 16 4 0 0 20 0 15 0 95477823 10810535936 140531 33554432000 4194304 4196468 140723276854208 140393222221016 140393265238947 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10893] ppid=10886 vsize=10557164 memory=-8130577827046002024 CPUtime=0.22 cores=1,3,5,7
/proc/10889/task/10893/stat : 10893 (java) R 10886 10889 6758 0 -1 4202560 89 0 0 0 18 4 0 0 20 0 15 0 95477823 10810535936 140531 33554432000 4194304 4196468 140723276854208 140393221168472 140393265238944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10894] ppid=10886 vsize=10557164 memory=-6581303687383400389 CPUtime=0.2 cores=1,3,5,7
/proc/10889/task/10894/stat : 10894 (java) R 10886 10889 6758 0 -1 4202560 200 0 0 0 17 3 0 0 20 0 15 0 95477823 10810535936 140531 33554432000 4194304 4196468 140723276854208 140392885181400 140393265238944 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10895] ppid=10886 vsize=10557164 memory=-6517102902069810590 CPUtime=0.2 cores=1,3,5,7
/proc/10889/task/10895/stat : 10895 (java) R 10886 10889 6758 0 -1 4202560 297 0 0 0 16 4 0 0 20 0 15 0 95477823 10810535936 140531 33554432000 4194304 4196468 140723276854208 140392884128544 140393264665038 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10896] ppid=10886 vsize=10557164 memory=7016952788452204857 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10896/stat : 10896 (java) S 10886 10889 6758 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 95477824 10810535936 140531 33554432000 4194304 4196468 140723276854208 140392585048864 140393280227029 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0

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

/proc/10889/task/10896/stat : 10896 (java) S 10886 10889 6758 0 -1 1077944384 12401 0 0 0 407 3 0 0 20 0 16 0 95477824 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392585050352 140393280227970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10897] ppid=10886 vsize=10622040 memory=4128080 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10897/stat : 10897 (java) S 10886 10889 6758 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 95477824 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392583996640 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10898] ppid=10886 vsize=10622040 memory=4128080 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10898/stat : 10898 (java) S 10886 10889 6758 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 16 0 95477825 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392582943488 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10899] ppid=10886 vsize=10622040 memory=4128080 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10899/stat : 10899 (java) S 10886 10889 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392581892048 140393280235419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10900] ppid=10886 vsize=10622040 memory=4128080 CPUtime=2.4 cores=1,3,5,7
/proc/10889/task/10900/stat : 10900 (java) S 10886 10889 6758 0 -1 1077944384 10043 0 0 0 238 2 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392580840176 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10901] ppid=10886 vsize=10622040 memory=4128080 CPUtime=2.34 cores=1,3,5,7
/proc/10889/task/10901/stat : 10901 (java) S 10886 10889 6758 0 -1 1077944384 10927 0 0 0 232 2 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392579787632 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10902] ppid=10886 vsize=10622040 memory=4128080 CPUtime=0.52 cores=1,3,5,7
/proc/10889/task/10902/stat : 10902 (java) S 10886 10889 6758 0 -1 1077944384 5563 0 0 0 50 2 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392578734576 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10903] ppid=10886 vsize=10622040 memory=4128080 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10903/stat : 10903 (java) S 10886 10889 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392577682272 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10904] ppid=10886 vsize=10622040 memory=2340 CPUtime=1.29 cores=1,3,5,7
/proc/10889/task/10904/stat : 10904 (java) S 10886 10889 6758 0 -1 1077944384 3044 0 0 0 59 70 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392576629296 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10906] ppid=10886 vsize=10622040 memory=916 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10906/stat : 10906 (java) S 10886 10889 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95479232 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392575575088 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
Current children cumulated CPU time: 2423.51 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 4128080 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.19 3/217 11055
/proc/meminfo: memFree=16556432/32770624 swapFree=67108860/67108860
[pid=10889] ppid=10886 vsize=10622040 memory=4128080 CPUtime=2483.55 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 6758 0 -1 1077944320 239496 0 0 0 247948 407 0 0 20 0 16 0 95477821 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140723276836752 140393280216823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
/proc/10889/statm: 2655510 1032020 3165 1 0 2643904 0
[pid=10889/tid=10891] ppid=10886 vsize=10622040 memory=4128080 CPUtime=2426.39 cores=1,3,5,7
/proc/10889/task/10891/stat : 10891 (java) R 10886 10889 6758 0 -1 4202560 130547 0 0 0 242621 18 0 0 20 0 16 0 95477822 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140393284455848 140392906546361 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10892] ppid=10886 vsize=10622040 memory=4128080 CPUtime=11.62 cores=1,3,5,7
/proc/10889/task/10892/stat : 10892 (java) S 10886 10889 6758 0 -1 1077944384 18842 0 0 0 1081 81 0 0 20 0 16 0 95477823 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140393222220816 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10893] ppid=10886 vsize=10622040 memory=4128080 CPUtime=11.63 cores=1,3,5,7
/proc/10889/task/10893/stat : 10893 (java) S 10886 10889 6758 0 -1 1077944384 17577 0 0 0 1084 79 0 0 20 0 16 0 95477823 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140393221168272 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10894] ppid=10886 vsize=10622040 memory=4128080 CPUtime=11.63 cores=1,3,5,7
/proc/10889/task/10894/stat : 10894 (java) S 10886 10889 6758 0 -1 1077944384 15188 0 0 0 1084 79 0 0 20 0 16 0 95477823 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392885181200 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10895] ppid=10886 vsize=10622040 memory=4128080 CPUtime=11.5 cores=1,3,5,7
/proc/10889/task/10895/stat : 10895 (java) S 10886 10889 6758 0 -1 1077944384 13809 0 0 0 1076 74 0 0 20 0 16 0 95477823 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392884128656 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10896] ppid=10886 vsize=10622040 memory=4128080 CPUtime=4.1 cores=1,3,5,7
/proc/10889/task/10896/stat : 10896 (java) S 10886 10889 6758 0 -1 1077944384 12410 0 0 0 407 3 0 0 20 0 16 0 95477824 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392585050352 140393280227970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10897] ppid=10886 vsize=10622040 memory=4128080 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10897/stat : 10897 (java) S 10886 10889 6758 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 95477824 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392583996640 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10898] ppid=10886 vsize=10622040 memory=4128080 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10898/stat : 10898 (java) S 10886 10889 6758 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 16 0 95477825 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392582943488 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10899] ppid=10886 vsize=10622040 memory=4128080 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10899/stat : 10899 (java) S 10886 10889 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392581892048 140393280235419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10900] ppid=10886 vsize=10622040 memory=4128080 CPUtime=2.4 cores=1,3,5,7
/proc/10889/task/10900/stat : 10900 (java) S 10886 10889 6758 0 -1 1077944384 10046 0 0 0 238 2 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392580840176 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10901] ppid=10886 vsize=10622040 memory=4128080 CPUtime=2.34 cores=1,3,5,7
/proc/10889/task/10901/stat : 10901 (java) S 10886 10889 6758 0 -1 1077944384 10934 0 0 0 232 2 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392579787632 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10902] ppid=10886 vsize=10622040 memory=4128080 CPUtime=0.52 cores=1,3,5,7
/proc/10889/task/10902/stat : 10902 (java) S 10886 10889 6758 0 -1 1077944384 5573 0 0 0 50 2 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392578734576 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10903] ppid=10886 vsize=10622040 memory=4128080 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10903/stat : 10903 (java) S 10886 10889 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392577682272 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10904] ppid=10886 vsize=10622040 memory=4128080 CPUtime=1.32 cores=1,3,5,7
/proc/10889/task/10904/stat : 10904 (java) S 10886 10889 6758 0 -1 1077944384 3085 0 0 0 60 72 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392576629296 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10906] ppid=10886 vsize=10622040 memory=4128080 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10906/stat : 10906 (java) S 10886 10889 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95479232 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392575575088 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
Current children cumulated CPU time: 2483.55 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 4128080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2478.8 s]
/proc/loadavg: 2.00 2.02 2.18 3/217 11056
/proc/meminfo: memFree=16556228/32770624 swapFree=67108860/67108860
[pid=10889] ppid=10886 vsize=10622040 memory=4128080 CPUtime=2520.08 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 6758 0 -1 1077944320 242106 0 0 0 251599 409 0 0 20 0 16 0 95477821 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140723276836752 140393280216823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
/proc/10889/statm: 2655510 1032020 3165 1 0 2643904 0
[pid=10889/tid=10891] ppid=10886 vsize=10622040 memory=5700 CPUtime=2462.89 cores=1,3,5,7
/proc/10889/task/10891/stat : 10891 (java) R 10886 10889 6758 0 -1 4202560 133087 0 0 0 246271 18 0 0 20 0 16 0 95477822 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140393284455848 140392907141900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10892] ppid=10886 vsize=10622040 memory=4616 CPUtime=11.62 cores=1,3,5,7
/proc/10889/task/10892/stat : 10892 (java) S 10886 10889 6758 0 -1 1077944384 18842 0 0 0 1081 81 0 0 20 0 16 0 95477823 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140393222220816 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10893] ppid=10886 vsize=10622040 memory=792 CPUtime=11.63 cores=1,3,5,7
/proc/10889/task/10893/stat : 10893 (java) S 10886 10889 6758 0 -1 1077944384 17577 0 0 0 1084 79 0 0 20 0 16 0 95477823 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140393221168272 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10894] ppid=10886 vsize=10622040 memory=4128080 CPUtime=11.63 cores=1,3,5,7
/proc/10889/task/10894/stat : 10894 (java) S 10886 10889 6758 0 -1 1077944384 15188 0 0 0 1084 79 0 0 20 0 16 0 95477823 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392885181200 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10895] ppid=10886 vsize=10622040 memory=16668 CPUtime=11.5 cores=1,3,5,7
/proc/10889/task/10895/stat : 10895 (java) S 10886 10889 6758 0 -1 1077944384 13809 0 0 0 1076 74 0 0 20 0 16 0 95477823 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392884128656 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10896] ppid=10886 vsize=10622040 memory=1796 CPUtime=4.1 cores=1,3,5,7
/proc/10889/task/10896/stat : 10896 (java) S 10886 10889 6758 0 -1 1077944384 12419 0 0 0 407 3 0 0 20 0 16 0 95477824 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392585050352 140393280227970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10897] ppid=10886 vsize=10622040 memory=636 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10897/stat : 10897 (java) S 10886 10889 6758 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 95477824 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392583996640 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10898] ppid=10886 vsize=10622040 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10898/stat : 10898 (java) S 10886 10889 6758 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 16 0 95477825 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392582943488 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10899] ppid=10886 vsize=10622040 memory=916 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10899/stat : 10899 (java) S 10886 10889 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392581892048 140393280235419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10900] ppid=10886 vsize=10622040 memory=4128080 CPUtime=2.4 cores=1,3,5,7
/proc/10889/task/10900/stat : 10900 (java) S 10886 10889 6758 0 -1 1077944384 10049 0 0 0 238 2 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392580840176 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10901] ppid=10886 vsize=10622040 memory=2836 CPUtime=2.34 cores=1,3,5,7
/proc/10889/task/10901/stat : 10901 (java) S 10886 10889 6758 0 -1 1077944384 10941 0 0 0 232 2 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392579787632 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10902] ppid=10886 vsize=10622040 memory=2556 CPUtime=0.52 cores=1,3,5,7
/proc/10889/task/10902/stat : 10902 (java) S 10886 10889 6758 0 -1 1077944384 5583 0 0 0 50 2 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392578734576 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10903] ppid=10886 vsize=10622040 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10903/stat : 10903 (java) S 10886 10889 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392577682272 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10904] ppid=10886 vsize=10622040 memory=3252 CPUtime=1.34 cores=1,3,5,7
/proc/10889/task/10904/stat : 10904 (java) S 10886 10889 6758 0 -1 1077944384 3126 0 0 0 61 73 0 0 20 0 16 0 95477827 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392576629296 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10906] ppid=10886 vsize=10622040 memory=4128080 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10906/stat : 10906 (java) S 10886 10889 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95479232 10876968960 1032020 33554432000 4194304 4196468 140723276854208 140392575575088 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 4128080 KiB

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

[startup+2479.05 s]
# the end of solver process 10889 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.1 s, system=4.12137 s

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

[startup+2479 s]*
/proc/loadavg: 2.00 2.02 2.18 2/218 11059
/proc/meminfo: memFree=16555948/32770624 swapFree=67108860/67108860
[pid=10889] ppid=10886 vsize=10821732 memory=4128412 CPUtime=2520.17 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 6758 0 -1 1077944320 244169 0 0 0 251608 409 0 0 20 0 17 0 95477821 11081453568 1032103 33554432000 4194304 4196468 140723276854208 140723276836752 140393280216823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
/proc/10889/statm: 2705433 1032103 3168 1 0 2693827 0
[pid=10889/tid=10891] ppid=10886 vsize=10821732 memory=6791534058613427641 CPUtime=2462.97 cores=1,3,5,7
/proc/10889/task/10891/stat : 10891 (java) S 10886 10889 6758 0 -1 1077944384 133725 0 0 0 246279 18 0 0 20 0 17 0 95477822 11081453568 1032105 33554432000 4194304 4196468 140723276854208 140393284459696 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10892] ppid=10886 vsize=10821732 memory=4872558044660077418 CPUtime=11.62 cores=1,3,5,7
/proc/10889/task/10892/stat : 10892 (java) S 10886 10889 6758 0 -1 1077944384 18842 0 0 0 1081 81 0 0 20 0 17 0 95477823 11081453568 1032106 33554432000 4194304 4196468 140723276854208 140393222220816 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10893] ppid=10886 vsize=10821732 memory=6586256 CPUtime=11.63 cores=1,3,5,7
/proc/10889/task/10893/stat : 10893 (java) S 10886 10889 6758 0 -1 1077944384 17577 0 0 0 1084 79 0 0 20 0 17 0 95477823 11081453568 1032106 33554432000 4194304 4196468 140723276854208 140393221168272 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10894] ppid=10886 vsize=10821732 memory=6791534058613427641 CPUtime=11.63 cores=1,3,5,7
/proc/10889/task/10894/stat : 10894 (java) S 10886 10889 6758 0 -1 1077944384 15188 0 0 0 1084 79 0 0 20 0 17 0 95477823 11081453568 1032106 33554432000 4194304 4196468 140723276854208 140392885181200 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10895] ppid=10886 vsize=10821732 memory=4140 CPUtime=11.5 cores=1,3,5,7
/proc/10889/task/10895/stat : 10895 (java) S 10886 10889 6758 0 -1 1077944384 13809 0 0 0 1076 74 0 0 20 0 17 0 95477823 11081453568 1032106 33554432000 4194304 4196468 140723276854208 140392884128656 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10896] ppid=10886 vsize=10821732 memory=27924 CPUtime=4.1 cores=1,3,5,7
/proc/10889/task/10896/stat : 10896 (java) S 10886 10889 6758 0 -1 1077944384 12466 0 0 0 407 3 0 0 20 0 17 0 95477824 11081453568 1032106 33554432000 4194304 4196468 140723276854208 140392585050352 140393280227970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10897] ppid=10886 vsize=10821732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10897/stat : 10897 (java) S 10886 10889 6758 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 17 0 95477824 11081453568 1032106 33554432000 4194304 4196468 140723276854208 140392583996640 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10898] ppid=10886 vsize=10821732 memory=2396 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10898/stat : 10898 (java) S 10886 10889 6758 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 17 0 95477825 11081453568 1032106 33554432000 4194304 4196468 140723276854208 140392582943488 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10899] ppid=10886 vsize=10821732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10899/stat : 10899 (java) S 10886 10889 6758 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 17 0 95477827 11081453568 1032106 33554432000 4194304 4196468 140723276854208 140392581892048 140393280235419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10900] ppid=10886 vsize=10821732 memory=1004 CPUtime=2.4 cores=1,3,5,7
/proc/10889/task/10900/stat : 10900 (java) R 10886 10889 6758 0 -1 4202560 10067 0 0 0 238 2 0 0 20 0 17 0 95477827 11081453568 1032106 33554432000 4194304 4196468 140723276854208 140392580840176 140393260405418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10901] ppid=10886 vsize=10821732 memory=11040 CPUtime=2.34 cores=1,3,5,7
/proc/10889/task/10901/stat : 10901 (java) R 10886 10889 6758 0 -1 1077944384 11353 0 0 0 232 2 0 0 20 0 17 0 95477827 11081453568 1032110 33554432000 4194304 4196468 140723276854208 140392579787632 140393280227970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10902] ppid=10886 vsize=10821732 memory=5700 CPUtime=0.52 cores=1,3,5,7
/proc/10889/task/10902/stat : 10902 (java) R 10886 10889 6758 0 -1 4202560 5833 0 0 0 50 2 0 0 20 0 17 0 95477827 11081453568 1032110 33554432000 4194304 4196468 140723276854208 140392578734576 140393261789241 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10903] ppid=10886 vsize=10821732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/10889/task/10903/stat : 10903 (java) S 10886 10889 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95477827 11081453568 1032110 33554432000 4194304 4196468 140723276854208 140392577682272 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=10904] ppid=10886 vsize=10821732 memory=304556123141439514 CPUtime=1.34 cores=1,3,5,7
/proc/10889/task/10904/stat : 10904 (java) S 10886 10889 6758 0 -1 1077944384 3126 0 0 0 61 73 0 0 20 0 17 0 95477827 11081453568 1032110 33554432000 4194304 4196468 140723276854208 140392576629296 140393280227970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=11057] ppid=10886 vsize=10821732 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/10889/task/11057/stat : 11057 (java) S 10886 10889 6758 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 17 0 95725702 11081453568 1032110 33554432000 4194304 4196468 140723276854208 140392574521328 140393280227029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
[pid=10889/tid=11058] ppid=10886 vsize=10821732 memory=15535206786402648 CPUtime=0 cores=1,3,5,7
/proc/10889/task/11058/stat : 11058 (java) R 10886 10889 6758 0 -1 4202560 269 0 0 0 0 0 0 0 20 0 17 0 95725702 11081453568 1032110 33554432000 4194304 4196468 140723276854208 140392573469712 140393263610417 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24899584 140723276862598 140723276862751 140723276862751 140723276865487 0
Current children cumulated CPU time: 2520.17 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 4128412 KiB

Child status: 143
Real time (s): 2479.05
CPU time (s): 2520.22
CPU user time (s): 2516.1
CPU system time (s): 4.12137
CPU usage (%): 101.661
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 4128412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.1
system time used= 4.12137
maximum resident set size= 4128568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245141
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57400
involuntary context switches= 2629


# summary of solver processes directly reported to runsolver:
#   pid: 10889
#   total CPU time (s): 2520.22
#   total CPU user time (s): 2516.1
#   total CPU system time (s): 4.12137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.695 second user time and 23.2604 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml
MD5SUM	7965d79c566fadd70d01c63d02ba9078
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	661
Best CPU time to get the best result obtained on this benchmark	2400.07
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 4263197

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data