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)	1398	2520.1499	2470.05

34.52/12.98	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
34.52/12.98	c This is free software under the dual EPL/GNU LGPL licenses.
34.52/12.98	c See www.sat4j.org for details.
34.52/12.98	c That software uses the Rhino library from the Mozilla project.
34.52/12.98	c version CUSTOM.v20170705
34.52/12.98	c java.runtime.name	Java(TM) SE Runtime Environment
34.52/12.98	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
34.52/12.98	c java.vm.version	25.131-b11
34.52/12.98	c java.vm.vendor	Oracle Corporation
34.52/12.98	c sun.arch.data.model	64
34.52/12.98	c java.version		1.8.0_131
34.52/12.98	c os.name		Linux
34.52/12.98	c os.version		3.10.0-514.16.1.el7.x86_64
34.52/12.98	c os.arch		amd64
34.52/12.98	c Free memory 		499604488
34.52/12.98	c Max memory 		7247757312
34.52/12.98	c Total memory 		504889344
34.52/12.98	c Number of processors 	4
34.52/12.98	c c --- Begin Solver configuration ---
34.52/12.98	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
34.52/12.98	c Learn all clauses as in MiniSAT
34.52/12.98	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
34.52/12.98	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
34.52/12.98	c No reason simplification
34.52/12.98	c Glucose 2.1 dynamic restart strategy
34.52/12.98	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
34.52/12.98	c timeout=2147483s
34.52/12.98	c DB Simplification allowed=false
34.52/12.98	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
34.52/12.98	c --- End Solver configuration ---
34.52/12.98	c constraints type 
34.52/12.98	c org.sat4j.minisat.constraints.card.MinWatchCard => 1920
34.52/12.98	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 363570
34.52/12.98	c org.sat4j.minisat.constraints.cnf.UnitClauses => 31
34.52/12.98	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17874330
34.52/12.98	c org.sat4j.specs.Constr$1 => 31
34.52/12.98	c org.sat4j.minisat.constraints.cnf.UnitClause => 1920
34.52/12.98	c 18241802 constraints processed.
46.44/22.92	o 1871
87.55/63.47	o 1633
223.24/197.43	o 1629
243.76/217.80	o 1627
245.26/219.20	o 1574
246.63/220.54	o 1572
247.73/221.69	o 1425
2279.74/2230.53	o 1398
2520.11/2470.00	c starts		: 9453
2520.11/2470.00	c conflicts		: 5724842
2520.11/2470.00	c decisions		: 15444607
2520.11/2470.00	c propagations		: 3526227700
2520.11/2470.00	c inspects		: 33460702056
2520.11/2470.00	c shortcuts		: 0
2520.11/2470.00	c learnt literals	: 2141
2520.11/2470.00	c learnt binary clauses	: 3255
2520.11/2470.00	c learnt ternary clauses	: 6552
2520.11/2470.00	c learnt constraints	: 5722701
2520.11/2470.00	c ignored constraints	: 0
2520.11/2470.00	c root simplifications	: 0
2520.11/2470.00	c removed literals (reason simplification)	: 0
2520.11/2470.00	c reason swapping (by a shorter reason)	: 0
2520.11/2470.00	c Calls to reduceDB	: 170
2520.11/2470.00	c Number of update (reduction) of LBD	: 1725888
2520.11/2470.00	c Imported unit clauses	: 0
2520.11/2470.00	c number of reductions to clauses (during analyze)	: 0
2520.11/2470.00	c number of learned constraints concerned by reduction	: 0
2520.11/2470.00	c number of learning phase by resolution	: 0
2520.11/2470.01	c number of learning phase by cutting planes	: 0
2520.11/2470.01	c number of rounding to 1 operations	: 0
2520.11/2470.01	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2520.11/2470.01	c number of reductions of the coefficients by power 2 	: 0
2520.11/2470.01	c number of right shift for reduction by power 2 	: 0
2520.11/2470.01	c number of reductions of the coefficients by GCD over coefficients 	: 0
2520.11/2470.01	c speed (assignments/second)	: 1435205.3155334867
2520.11/2470.01	c non guided choices	3538561
2520.11/2470.01	c learnt constraints type 
2520.11/2470.01	s SATISFIABLE
2520.11/2470.01	v <instantiation type="solution">
2520.11/2470.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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list>
2520.11/2470.01	v 	<values> 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 82 4 71 95 97 14 84 99 30 32 62 84 100 35 67 98 22 44 18 98 75 71 43 24 20 82 52 11 52 52 </values>
2520.11/2470.01	v </instantiation>
2520.11/2470.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 (15348 MiB free)
  memory of node 1: 16384 MiB (15519 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263204-1502624611/watcher-4263204-1502624611 -o /tmp/evaluation-result-4263204-1502624611/solver-4263204-1502624611 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502621242-8487 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263204-1502624611.xml 

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

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
Current StackSize limit: 8192 KiB
solver pid=8744, runsolver pid=8741


[startup+0.109993 s]*
/proc/loadavg: 1.81 1.91 1.96 3/195 8773
/proc/meminfo: memFree=31595268/32770624 swapFree=67108860/67108860
[pid=8744] ppid=8741 vsize=10555400 memory=30972 CPUtime=0.14 cores=0,2,4,6
/proc/8744/stat : 8744 (java) S 8741 8744 2539 0 -1 1077944320 6810 0 0 0 12 2 0 0 20 0 15 0 95549456 10808729600 7743 33554432000 4194304 4196468 140721280889168 140721280871712 140624380792567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
/proc/8744/statm: 2638850 7743 2828 1 0 2627263 0
[pid=8744/tid=8746] ppid=8741 vsize=10555400 memory=-7956310820449840986 CPUtime=0.1 cores=0,2,4,6
/proc/8744/task/8746/stat : 8746 (java) R 8741 8744 2539 0 -1 4202560 4659 0 0 0 9 1 0 0 20 0 15 0 95549456 10808729600 7743 33554432000 4194304 4196468 140721280889168 140624385018552 140624380814493 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8753] ppid=8741 vsize=10555400 memory=-5738297875903123798 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549457 10808729600 7743 33554432000 4194304 4196468 140721280889168 140624343899280 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8754] ppid=8741 vsize=10555400 memory=140127038322304 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549457 10808729600 7743 33554432000 4194304 4196468 140721280889168 140623987006480 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8755] ppid=8741 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549457 10808729600 7743 33554432000 4194304 4196468 140721280889168 140623985953680 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8756] ppid=8741 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) S 8741 8744 2539 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95549457 10808729600 7743 33554432000 4194304 4196468 140721280889168 140623984900880 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8763] ppid=8741 vsize=10555400 memory=140127038322304 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8763/stat : 8763 (java) S 8741 8744 2539 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95549458 10808729600 7743 33554432000 4194304 4196468 140721280889168 140623873042800 140624380803714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8764] ppid=8741 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8764/stat : 8764 (java) S 8741 8744 2539 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95549459 10808729600 7743 33554432000 4194304 4196468 140721280889168 140623871988768 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8765] ppid=8741 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8765/stat : 8765 (java) S 8741 8744 2539 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95549459 10808729600 7743 33554432000 4194304 4196468 140721280889168 140623870935920 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8768] ppid=8741 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8768/stat : 8768 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95549461 10808729600 7743 33554432000 4194304 4196468 140721280889168 140623869884240 140624380811163 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8769] ppid=8741 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8769/stat : 8769 (java) S 8741 8744 2539 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 95549461 10808729600 7743 33554432000 4194304 4196468 140721280889168 140623868832624 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8770] ppid=8741 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8770/stat : 8770 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95549461 10808729600 7743 33554432000 4194304 4196468 140721280889168 140623867779824 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8771] ppid=8741 vsize=10555400 memory=140127038322304 CPUtime=0.02 cores=0,2,4,6
/proc/8744/task/8771/stat : 8771 (java) S 8741 8744 2539 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 15 0 95549461 10808729600 7743 33554432000 4194304 4196468 140721280889168 140623866727024 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8772] ppid=8741 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8772/stat : 8772 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95549462 10808729600 7743 33554432000 4194304 4196468 140721280889168 140623865674464 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8773] ppid=8741 vsize=10555400 memory=140127038322304 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8773/stat : 8773 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549462 10808729600 7743 33554432000 4194304 4196468 140721280889168 140623864621744 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30972 KiB

[startup+0.210353 s]*
/proc/loadavg: 1.81 1.91 1.96 3/195 8773
/proc/meminfo: memFree=31587652/32770624 swapFree=67108860/67108860
[pid=8744] ppid=8741 vsize=10555400 memory=39544 CPUtime=0.3 cores=0,2,4,6
/proc/8744/stat : 8744 (java) S 8741 8744 2539 0 -1 1077944320 8019 0 0 0 28 2 0 0 20 0 15 0 95549456 10808729600 9886 33554432000 4194304 4196468 140721280889168 140721280871712 140624380792567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
/proc/8744/statm: 2638850 9886 2962 1 0 2627263 0
[pid=8744/tid=8746] ppid=8741 vsize=10555400 memory=8318255677412212789 CPUtime=0.19 cores=0,2,4,6
/proc/8744/task/8746/stat : 8746 (java) R 8741 8744 2539 0 -1 4202560 5069 0 0 0 18 1 0 0 20 0 15 0 95549456 10808729600 9886 33554432000 4194304 4196468 140721280889168 140624385030800 140624373888960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8753] ppid=8741 vsize=10555400 memory=331 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549457 10808729600 9886 33554432000 4194304 4196468 140721280889168 140624343899280 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8754] ppid=8741 vsize=10555400 memory=288370503190034048 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549457 10808729600 9886 33554432000 4194304 4196468 140721280889168 140623987006480 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8755] ppid=8741 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549457 10808729600 9886 33554432000 4194304 4196468 140721280889168 140623985953680 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8756] ppid=8741 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) S 8741 8744 2539 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95549457 10808729600 9886 33554432000 4194304 4196468 140721280889168 140623984900880 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8763] ppid=8741 vsize=10555400 memory=140127038322304 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8763/stat : 8763 (java) S 8741 8744 2539 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95549458 10808729600 9886 33554432000 4194304 4196468 140721280889168 140623873042800 140624380803714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8764] ppid=8741 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8764/stat : 8764 (java) S 8741 8744 2539 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95549459 10808729600 9886 33554432000 4194304 4196468 140721280889168 140623871988768 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8765] ppid=8741 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8765/stat : 8765 (java) S 8741 8744 2539 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95549459 10808729600 9886 33554432000 4194304 4196468 140721280889168 140623870935920 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8768] ppid=8741 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8768/stat : 8768 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95549461 10808729600 9886 33554432000 4194304 4196468 140721280889168 140623869884240 140624380811163 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8769] ppid=8741 vsize=10555400 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8744/task/8769/stat : 8769 (java) R 8741 8744 2539 0 -1 4202560 565 0 0 0 2 0 0 0 20 0 15 0 95549461 10808729600 9886 33554432000 4194304 4196468 140721280889168 140623868824080 140624362336656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8770] ppid=8741 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8744/task/8770/stat : 8770 (java) R 8741 8744 2539 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 95549461 10808729600 9886 33554432000 4194304 4196468 140721280889168 140623867779824 140624380803714 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8771] ppid=8741 vsize=10555400 memory=140127038322304 CPUtime=0.06 cores=0,2,4,6
/proc/8744/task/8771/stat : 8771 (java) R 8741 8744 2539 0 -1 4202560 783 0 0 0 6 0 0 0 20 0 15 0 95549461 10808729600 9886 33554432000 4194304 4196468 140721280889168 140623866721560 140624359158894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8772] ppid=8741 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8772/stat : 8772 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95549462 10808729600 9886 33554432000 4194304 4196468 140721280889168 140623865674464 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8773] ppid=8741 vsize=10555400 memory=140127038322304 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8773/stat : 8773 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549462 10808729600 9886 33554432000 4194304 4196468 140721280889168 140623864621744 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39544 KiB

[startup+0.313286 s]*
/proc/loadavg: 1.81 1.91 1.96 4/195 8773
/proc/meminfo: memFree=31580612/32770624 swapFree=67108860/67108860
[pid=8744] ppid=8741 vsize=10555476 memory=46508 CPUtime=0.54 cores=0,2,4,6
/proc/8744/stat : 8744 (java) S 8741 8744 2539 0 -1 1077944320 8701 0 0 0 51 3 0 0 20 0 15 0 95549456 10808807424 11627 33554432000 4194304 4196468 140721280889168 140721280871712 140624380792567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
/proc/8744/statm: 2638869 11627 3025 1 0 2627263 0
[pid=8744/tid=8746] ppid=8741 vsize=10555476 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/8744/task/8746/stat : 8746 (java) R 8741 8744 2539 0 -1 4202560 5543 0 0 0 27 2 0 0 20 0 15 0 95549456 10808807424 11627 33554432000 4194304 4196468 140721280889168 140624385027408 140624364873084 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8753] ppid=8741 vsize=10555476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549457 10808807424 11627 33554432000 4194304 4196468 140721280889168 140624343899280 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8754] ppid=8741 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549457 10808807424 11627 33554432000 4194304 4196468 140721280889168 140623987006480 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8755] ppid=8741 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549457 10808807424 11627 33554432000 4194304 4196468 140721280889168 140623985953680 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8756] ppid=8741 vsize=10555476 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) S 8741 8744 2539 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95549457 10808807424 11627 33554432000 4194304 4196468 140721280889168 140623984900880 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8763] ppid=8741 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8763/stat : 8763 (java) S 8741 8744 2539 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95549458 10808807424 11627 33554432000 4194304 4196468 140721280889168 140623873042800 140624380803714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8764] ppid=8741 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8764/stat : 8764 (java) S 8741 8744 2539 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95549459 10808807424 11627 33554432000 4194304 4196468 140721280889168 140623871988768 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8765] ppid=8741 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8765/stat : 8765 (java) S 8741 8744 2539 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95549459 10808807424 11627 33554432000 4194304 4196468 140721280889168 140623870935920 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8768] ppid=8741 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8768/stat : 8768 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95549461 10808807424 11627 33554432000 4194304 4196468 140721280889168 140623869884240 140624380811163 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8769] ppid=8741 vsize=10555476 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8744/task/8769/stat : 8769 (java) S 8741 8744 2539 0 -1 1077944384 595 0 0 0 5 0 0 0 20 0 15 0 95549461 10808807424 11627 33554432000 4194304 4196468 140721280889168 140623868832624 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8770] ppid=8741 vsize=10555476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8744/task/8770/stat : 8770 (java) S 8741 8744 2539 0 -1 1077944384 318 0 0 0 3 0 0 0 20 0 15 0 95549461 10808807424 11627 33554432000 4194304 4196468 140721280889168 140623867779824 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8771] ppid=8741 vsize=10555476 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/8744/task/8771/stat : 8771 (java) S 8741 8744 2539 0 -1 1077944384 887 0 0 0 13 0 0 0 20 0 15 0 95549461 10808807424 11627 33554432000 4194304 4196468 140721280889168 140623866727024 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8772] ppid=8741 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8772/stat : 8772 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95549462 10808807424 11627 33554432000 4194304 4196468 140721280889168 140623865674464 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8773] ppid=8741 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8773/stat : 8773 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549462 10808807424 11627 33554432000 4194304 4196468 140721280889168 140623864621744 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46508 KiB

[startup+0.701031 s]
/proc/loadavg: 1.81 1.91 1.96 6/195 8773
/proc/meminfo: memFree=31546368/32770624 swapFree=67108860/67108860
[pid=8744] ppid=8741 vsize=10555476 memory=169668 CPUtime=1.74 cores=0,2,4,6
/proc/8744/stat : 8744 (java) S 8741 8744 2539 0 -1 1077944320 11995 0 0 0 168 6 0 0 20 0 15 0 95549456 10808807424 42417 33554432000 4194304 4196468 140721280889168 140721280871712 140624380792567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
/proc/8744/statm: 2638869 42417 3098 1 0 2627263 0
[pid=8744/tid=8746] ppid=8741 vsize=10555476 memory=1732 CPUtime=0.67 cores=0,2,4,6
/proc/8744/task/8746/stat : 8746 (java) R 8741 8744 2539 0 -1 4202560 5993 0 0 0 63 4 0 0 20 0 15 0 95549456 10808807424 42417 33554432000 4194304 4196468 140721280889168 140624385021592 140624021623434 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8753] ppid=8741 vsize=10555476 memory=796 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549457 10808807424 42417 33554432000 4194304 4196468 140721280889168 140624343899280 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8754] ppid=8741 vsize=10555476 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549457 10808807424 42417 33554432000 4194304 4196468 140721280889168 140623987006480 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8755] ppid=8741 vsize=10555476 memory=1932 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549457 10808807424 42417 33554432000 4194304 4196468 140721280889168 140623985953680 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8756] ppid=8741 vsize=10555476 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) S 8741 8744 2539 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95549457 10808807424 42417 33554432000 4194304 4196468 140721280889168 140623984900880 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8763] ppid=8741 vsize=10555476 memory=7379523272470717760 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8763/stat : 8763 (java) S 8741 8744 2539 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95549458 10808807424 42417 33554432000 4194304 4196468 140721280889168 140623873042800 140624380803714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8764] ppid=8741 vsize=10555476 memory=7307770256190629714 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8764/stat : 8764 (java) S 8741 8744 2539 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95549459 10808807424 42417 33554432000 4194304 4196468 140721280889168 140623871988768 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8765] ppid=8741 vsize=10555476 memory=5787213827131598673 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8765/stat : 8765 (java) S 8741 8744 2539 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95549459 10808807424 42417 33554432000 4194304 4196468 140721280889168 140623870935920 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8768] ppid=8741 vsize=10555476 memory=-6014655643171517632 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8768/stat : 8768 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95549461 10808807424 42417 33554432000 4194304 4196468 140721280889168 140623869884240 140624380811163 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8769] ppid=8741 vsize=10555476 memory=8508281403248052365 CPUtime=0.37 cores=0,2,4,6
/proc/8744/task/8769/stat : 8769 (java) R 8741 8744 2539 0 -1 4202560 1910 0 0 0 37 0 0 0 20 0 15 0 95549461 10808807424 42417 33554432000 4194304 4196468 140721280889168 140623868813640 140624361537026 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8770] ppid=8741 vsize=10555476 memory=7679937539659563834 CPUtime=0.34 cores=0,2,4,6
/proc/8744/task/8770/stat : 8770 (java) R 8741 8744 2539 0 -1 4202560 1260 0 0 0 34 0 0 0 20 0 15 0 95549461 10808807424 42417 33554432000 4194304 4196468 140721280889168 140623867765560 140624364289296 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8771] ppid=8741 vsize=10555476 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/8744/task/8771/stat : 8771 (java) S 8741 8744 2539 0 -1 1077944384 1462 0 0 0 32 0 0 0 20 0 15 0 95549461 10808807424 42417 33554432000 4194304 4196468 140721280889168 140623866727024 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8772] ppid=8741 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8772/stat : 8772 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95549462 10808807424 42417 33554432000 4194304 4196468 140721280889168 140623865674464 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8773] ppid=8741 vsize=10555476 memory=11062335 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8773/stat : 8773 (java) S 8741 8744 2539 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95549462 10808807424 42417 33554432000 4194304 4196468 140721280889168 140623864621744 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 169668 KiB

[startup+1.50099 s]
/proc/loadavg: 1.81 1.91 1.96 6/215 8802
/proc/meminfo: memFree=31291464/32770624 swapFree=67108860/67108860
[pid=8744] ppid=8741 vsize=10557404 memory=585888 CPUtime=4.15 cores=0,2,4,6
/proc/8744/stat : 8744 (java) S 8741 8744 2539 0 -1 1077944320 17747 0 0 0 384 31 0 0 20 0 15 0 95549456 10810781696 145960 33554432000 4194304 4196468 140721280889168 140721280871712 140624380792567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
/proc/8744/statm: 2639351 145960 3127 1 0 2627745 0
[pid=8744/tid=8746] ppid=8741 vsize=10557404 memory=4136 CPUtime=1.13 cores=0,2,4,6
/proc/8744/task/8746/stat : 8746 (java) S 8741 8744 2539 0 -1 1077944384 6075 0 0 0 108 5 0 0 20 0 15 0 95549456 10810781696 146472 33554432000 4194304 4196468 140721280889168 140624385029136 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8753] ppid=8741 vsize=10557404 memory=8112282956445269571 CPUtime=0.27 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) R 8741 8744 2539 0 -1 4202560 233 0 0 0 21 6 0 0 20 0 15 0 95549457 10810781696 146472 33554432000 4194304 4196468 140721280889168 140624343899480 140624365820441 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8754] ppid=8741 vsize=10557404 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) R 8741 8744 2539 0 -1 4202560 189 0 0 0 18 4 0 0 20 0 15 0 95549457 10810781696 146472 33554432000 4194304 4196468 140721280889168 140623987006368 140624365240859 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8755] ppid=8741 vsize=10557404 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) R 8741 8744 2539 0 -1 4202560 130 0 0 0 21 6 0 0 20 0 15 0 95549457 10810781696 146472 33554432000 4194304 4196468 140721280889168 140623985953880 140624365814688 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8756] ppid=8741 vsize=10557404 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) R 8741 8744 2539 0 -1 4202560 209 0 0 0 18 5 0 0 20 0 15 0 95549457 10810781696 146472 33554432000 4194304 4196468 140721280889168 140623984901080 140624373889268 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8763] ppid=8741 vsize=10557404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8763/stat : 8763 (java) S 8741 8744 2539 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 95549458 10810781696 146472 33554432000 4194304 4196468 140721280889168 140623873041312 140624380802773 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0

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

/proc/8744/task/8763/stat : 8763 (java) S 8741 8744 2539 0 -1 1077944384 14351 0 0 0 350 3 0 0 20 0 16 0 95549458 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623873042800 140624380803714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8764] ppid=8741 vsize=10622040 memory=4090704 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8764/stat : 8764 (java) S 8741 8744 2539 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 95549459 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623871988832 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8765] ppid=8741 vsize=10622040 memory=4090728 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8765/stat : 8765 (java) S 8741 8744 2539 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 16 0 95549459 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623870935936 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8768] ppid=8741 vsize=10622040 memory=3344 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8768/stat : 8768 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95549461 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623869884240 140624380811163 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8769] ppid=8741 vsize=10622040 memory=4090728 CPUtime=2.65 cores=0,2,4,6
/proc/8744/task/8769/stat : 8769 (java) S 8741 8744 2539 0 -1 1077944384 11350 0 0 0 263 2 0 0 20 0 16 0 95549461 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623868832624 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8770] ppid=8741 vsize=10622040 memory=4090728 CPUtime=2.08 cores=0,2,4,6
/proc/8744/task/8770/stat : 8770 (java) S 8741 8744 2539 0 -1 1077944384 9166 0 0 0 207 1 0 0 20 0 16 0 95549461 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623867779824 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8771] ppid=8741 vsize=10622040 memory=4270948 CPUtime=0.53 cores=0,2,4,6
/proc/8744/task/8771/stat : 8771 (java) S 8741 8744 2539 0 -1 1077944384 5480 0 0 0 52 1 0 0 20 0 16 0 95549461 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623866727024 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8772] ppid=8741 vsize=10622040 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8772/stat : 8772 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95549462 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623865674464 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8773] ppid=8741 vsize=10622040 memory=4136 CPUtime=1.3 cores=0,2,4,6
/proc/8744/task/8773/stat : 8773 (java) S 8741 8744 2539 0 -1 1077944384 3006 0 0 0 63 67 0 0 20 0 16 0 95549462 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623864621744 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8803] ppid=8741 vsize=10622040 memory=27596 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8803/stat : 8803 (java) S 8741 8744 2539 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95550762 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623863567280 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
Current children cumulated CPU time: 2432.52 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 4270948 KiB

[startup+2442.3 s]
/proc/loadavg: 1.97 2.08 2.68 3/217 9523
/proc/meminfo: memFree=26995544/32770624 swapFree=67108860/67108860
[pid=8744] ppid=8741 vsize=10622040 memory=4270948 CPUtime=2492.55 cores=0,2,4,6
/proc/8744/stat : 8744 (java) S 8741 8744 2539 0 -1 1077944320 204948 0 0 0 248796 459 0 0 20 0 16 0 95549456 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140721280871712 140624380792567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
/proc/8744/statm: 2655510 1067737 3163 1 0 2643904 0
[pid=8744/tid=8746] ppid=8741 vsize=10622040 memory=1724 CPUtime=2424.01 cores=0,2,4,6
/proc/8744/task/8746/stat : 8746 (java) R 8741 8744 2539 0 -1 4202560 95970 0 0 0 242382 19 0 0 20 0 16 0 95549456 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140624385031664 140624022751361 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8753] ppid=8741 vsize=10622040 memory=4270948 CPUtime=14.58 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) S 8741 8744 2539 0 -1 1077944384 19830 0 0 0 1364 94 0 0 20 0 16 0 95549457 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140624343899280 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8754] ppid=8741 vsize=10622040 memory=4270948 CPUtime=14.58 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) S 8741 8744 2539 0 -1 1077944384 16303 0 0 0 1368 90 0 0 20 0 16 0 95549457 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623987006480 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8755] ppid=8741 vsize=10622040 memory=4270948 CPUtime=14.53 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) S 8741 8744 2539 0 -1 1077944384 12815 0 0 0 1358 95 0 0 20 0 16 0 95549457 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623985953680 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8756] ppid=8741 vsize=10622040 memory=4270948 CPUtime=14.64 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) S 8741 8744 2539 0 -1 1077944384 15138 0 0 0 1369 95 0 0 20 0 16 0 95549457 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623984900880 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8763] ppid=8741 vsize=10622040 memory=4270948 CPUtime=3.53 cores=0,2,4,6
/proc/8744/task/8763/stat : 8763 (java) S 8741 8744 2539 0 -1 1077944384 14356 0 0 0 350 3 0 0 20 0 16 0 95549458 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623873042800 140624380803714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8764] ppid=8741 vsize=10622040 memory=4270948 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8764/stat : 8764 (java) S 8741 8744 2539 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 95549459 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623871988832 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8765] ppid=8741 vsize=10622040 memory=4270948 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8765/stat : 8765 (java) S 8741 8744 2539 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 16 0 95549459 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623870935936 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8768] ppid=8741 vsize=10622040 memory=4090704 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8768/stat : 8768 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95549461 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623869884240 140624380811163 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8769] ppid=8741 vsize=10622040 memory=4270948 CPUtime=2.65 cores=0,2,4,6
/proc/8744/task/8769/stat : 8769 (java) S 8741 8744 2539 0 -1 1077944384 11354 0 0 0 263 2 0 0 20 0 16 0 95549461 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623868832624 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8770] ppid=8741 vsize=10622040 memory=2196 CPUtime=2.08 cores=0,2,4,6
/proc/8744/task/8770/stat : 8770 (java) S 8741 8744 2539 0 -1 1077944384 9169 0 0 0 207 1 0 0 20 0 16 0 95549461 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623867779824 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8771] ppid=8741 vsize=10622040 memory=4270948 CPUtime=0.53 cores=0,2,4,6
/proc/8744/task/8771/stat : 8771 (java) S 8741 8744 2539 0 -1 1077944384 5487 0 0 0 52 1 0 0 20 0 16 0 95549461 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623866727024 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8772] ppid=8741 vsize=10622040 memory=16236 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8772/stat : 8772 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95549462 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623865674464 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8773] ppid=8741 vsize=10622040 memory=4270948 CPUtime=1.33 cores=0,2,4,6
/proc/8744/task/8773/stat : 8773 (java) S 8741 8744 2539 0 -1 1077944384 3046 0 0 0 65 68 0 0 20 0 16 0 95549462 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623864621744 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8803] ppid=8741 vsize=10622040 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8803/stat : 8803 (java) S 8741 8744 2539 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95550762 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623863567280 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
Current children cumulated CPU time: 2492.55 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 4270948 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2469.8 s]
/proc/loadavg: 1.98 2.07 2.66 3/217 9530
/proc/meminfo: memFree=26965508/32770624 swapFree=67108860/67108860
[pid=8744] ppid=8741 vsize=10622040 memory=4270948 CPUtime=2520.07 cores=0,2,4,6
/proc/8744/stat : 8744 (java) S 8741 8744 2539 0 -1 1077944320 206789 0 0 0 251547 460 0 0 20 0 16 0 95549456 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140721280871712 140624380792567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
/proc/8744/statm: 2655510 1067737 3163 1 0 2643904 0
[pid=8744/tid=8746] ppid=8741 vsize=10622040 memory=-8961168018402230209 CPUtime=2451.51 cores=0,2,4,6
/proc/8744/task/8746/stat : 8746 (java) R 8741 8744 2539 0 -1 4202560 97743 0 0 0 245132 19 0 0 20 0 16 0 95549456 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140624385031664 140624022803652 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8753] ppid=8741 vsize=10622040 memory=301793952414302491 CPUtime=14.58 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) S 8741 8744 2539 0 -1 1077944384 19830 0 0 0 1364 94 0 0 20 0 16 0 95549457 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140624343899280 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8754] ppid=8741 vsize=10622040 memory=288284463631434945 CPUtime=14.58 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) S 8741 8744 2539 0 -1 1077944384 16303 0 0 0 1368 90 0 0 20 0 16 0 95549457 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623987006480 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8755] ppid=8741 vsize=10622040 memory=280253865398832 CPUtime=14.53 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) S 8741 8744 2539 0 -1 1077944384 12815 0 0 0 1358 95 0 0 20 0 16 0 95549457 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623985953680 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8756] ppid=8741 vsize=10622040 memory=4270948 CPUtime=14.64 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) S 8741 8744 2539 0 -1 1077944384 15138 0 0 0 1369 95 0 0 20 0 16 0 95549457 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623984900880 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8763] ppid=8741 vsize=10622040 memory=8112282956445269571 CPUtime=3.53 cores=0,2,4,6
/proc/8744/task/8763/stat : 8763 (java) S 8741 8744 2539 0 -1 1077944384 14366 0 0 0 350 3 0 0 20 0 16 0 95549458 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623873042800 140624380803714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8764] ppid=8741 vsize=10622040 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8764/stat : 8764 (java) S 8741 8744 2539 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 95549459 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623871988832 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8765] ppid=8741 vsize=10622040 memory=1932 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8765/stat : 8765 (java) S 8741 8744 2539 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 16 0 95549459 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623870935936 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8768] ppid=8741 vsize=10622040 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8768/stat : 8768 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95549461 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623869884240 140624380811163 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8769] ppid=8741 vsize=10622040 memory=8560 CPUtime=2.65 cores=0,2,4,6
/proc/8744/task/8769/stat : 8769 (java) S 8741 8744 2539 0 -1 1077944384 11358 0 0 0 263 2 0 0 20 0 16 0 95549461 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623868832624 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8770] ppid=8741 vsize=10622040 memory=1724 CPUtime=2.08 cores=0,2,4,6
/proc/8744/task/8770/stat : 8770 (java) S 8741 8744 2539 0 -1 1077944384 9172 0 0 0 207 1 0 0 20 0 16 0 95549461 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623867779824 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8771] ppid=8741 vsize=10622040 memory=796 CPUtime=0.53 cores=0,2,4,6
/proc/8744/task/8771/stat : 8771 (java) S 8741 8744 2539 0 -1 1077944384 5499 0 0 0 52 1 0 0 20 0 16 0 95549461 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623866727024 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8772] ppid=8741 vsize=10622040 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8772/stat : 8772 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95549462 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623865674464 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8773] ppid=8741 vsize=10622040 memory=1932 CPUtime=1.34 cores=0,2,4,6
/proc/8744/task/8773/stat : 8773 (java) S 8741 8744 2539 0 -1 1077944384 3085 0 0 0 65 69 0 0 20 0 16 0 95549462 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623864621744 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8803] ppid=8741 vsize=10622040 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8803/stat : 8803 (java) S 8741 8744 2539 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95550762 10876968960 1067737 33554432000 4194304 4196468 140721280889168 140623863567280 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 4270948 KiB

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

[startup+2470.05 s]
# the end of solver process 8744 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.52 s, system=4.62966 s

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

[startup+2470 s]*
/proc/loadavg: 1.98 2.07 2.66 2/218 9533
/proc/meminfo: memFree=26965508/32770624 swapFree=67108860/67108860
[pid=8744] ppid=8741 vsize=10821732 memory=4271268 CPUtime=2520.11 cores=0,2,4,6
/proc/8744/stat : 8744 (java) S 8741 8744 2539 0 -1 1077944320 209128 0 0 0 251551 460 0 0 20 0 17 0 95549456 11081453568 1067817 33554432000 4194304 4196468 140721280889168 140721280871712 140624380792567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
/proc/8744/statm: 2705433 1067817 3167 1 0 2693827 0
[pid=8744/tid=8746] ppid=8741 vsize=10821732 memory=8112282956445269571 CPUtime=2451.55 cores=0,2,4,6
/proc/8744/task/8746/stat : 8746 (java) S 8741 8744 2539 0 -1 1077944384 98242 0 0 0 245136 19 0 0 20 0 17 0 95549456 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140624385035440 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8753] ppid=8741 vsize=10821732 memory=4126316290023845779 CPUtime=14.58 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) S 8741 8744 2539 0 -1 1077944384 19830 0 0 0 1364 94 0 0 20 0 17 0 95549457 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140624343899280 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8754] ppid=8741 vsize=10821732 memory=4316 CPUtime=14.58 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) S 8741 8744 2539 0 -1 1077944384 16303 0 0 0 1368 90 0 0 20 0 17 0 95549457 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140623987006480 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8755] ppid=8741 vsize=10821732 memory=2196 CPUtime=14.53 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) S 8741 8744 2539 0 -1 1077944384 12815 0 0 0 1358 95 0 0 20 0 17 0 95549457 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140623985953680 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8756] ppid=8741 vsize=10821732 memory=6760 CPUtime=14.64 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) S 8741 8744 2539 0 -1 1077944384 15138 0 0 0 1369 95 0 0 20 0 17 0 95549457 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140623984900880 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8763] ppid=8741 vsize=10821732 memory=832 CPUtime=3.53 cores=0,2,4,6
/proc/8744/task/8763/stat : 8763 (java) S 8741 8744 2539 0 -1 1077944384 14416 0 0 0 350 3 0 0 20 0 17 0 95549458 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140623873042800 140624380803714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8764] ppid=8741 vsize=10821732 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8764/stat : 8764 (java) S 8741 8744 2539 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 17 0 95549459 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140623871988832 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8765] ppid=8741 vsize=10821732 memory=916 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8765/stat : 8765 (java) S 8741 8744 2539 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 17 0 95549459 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140623870935936 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8768] ppid=8741 vsize=10821732 memory=3832 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8768/stat : 8768 (java) S 8741 8744 2539 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 17 0 95549461 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140623869884240 140624380811163 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8769] ppid=8741 vsize=10821732 memory=2544 CPUtime=2.65 cores=0,2,4,6
/proc/8744/task/8769/stat : 8769 (java) R 8741 8744 2539 0 -1 1077944384 11534 0 0 0 263 2 0 0 20 0 17 0 95549461 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140623868832624 140624380803714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8770] ppid=8741 vsize=10821732 memory=2824 CPUtime=2.09 cores=0,2,4,6
/proc/8744/task/8770/stat : 8770 (java) R 8741 8744 2539 0 -1 4202560 9344 0 0 0 208 1 0 0 20 0 17 0 95549461 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140623867779824 140624366473265 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8771] ppid=8741 vsize=10821732 memory=4100 CPUtime=0.53 cores=0,2,4,6
/proc/8744/task/8771/stat : 8771 (java) R 8741 8744 2539 0 -1 4202560 6473 0 0 0 52 1 0 0 20 0 17 0 95549461 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140623866727024 140624359838036 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8772] ppid=8741 vsize=10821732 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8772/stat : 8772 (java) S 8741 8744 2539 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95549462 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140623865674464 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=8773] ppid=8741 vsize=10821732 memory=3344 CPUtime=1.34 cores=0,2,4,6
/proc/8744/task/8773/stat : 8773 (java) S 8741 8744 2539 0 -1 1077944384 3085 0 0 0 65 69 0 0 20 0 17 0 95549462 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140623864621744 140624380803714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=9531] ppid=8741 vsize=10821732 memory=4270948 CPUtime=0 cores=0,2,4,6
/proc/8744/task/9531/stat : 9531 (java) S 8741 8744 2539 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 17 0 95796436 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140623862513776 140624380802773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
[pid=8744/tid=9532] ppid=8741 vsize=10821732 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/8744/task/9532/stat : 9532 (java) R 8741 8744 2539 0 -1 4202560 247 0 0 0 0 0 0 0 20 0 17 0 95796437 11081453568 1067818 33554432000 4194304 4196468 140721280889168 140623861461904 140624364186161 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37904384 140721280898182 140721280898335 140721280898335 140721280901071 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 4271268 KiB

Child status: 143
Real time (s): 2470.05
CPU time (s): 2520.15
CPU user time (s): 2515.52
CPU system time (s): 4.62966
CPU usage (%): 102.029
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 4271268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.52
system time used= 4.62967
maximum resident set size= 4271400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209832
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56988
involuntary context switches= 3604


# summary of solver processes directly reported to runsolver:
#   pid: 8744
#   total CPU time (s): 2520.15
#   total CPU user time (s): 2515.52
#   total CPU system time (s): 4.62966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3563 second user time and 23.2427 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml
MD5SUM	72502af2971f560ebaea982d6c1ff669
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	684
Best CPU time to get the best result obtained on this benchmark	2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables	992
Number of constraints	960
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":31},{"size":2,"count":930},{"size":101,"count":30}]
Minimum variable degree	0
Maximum variable degree	59
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":31},{"degree":2,"count":60},{"degree":4,"count":870},{"degree":59,"count":30}]
Minimum constraint arity	1
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":1,"count":30},{"arity":3,"count":870},{"arity":30,"count":60}]
Number of extensional constraints	0
Number of intensional constraints	30
Distribution of constraint types	[{"type":"intension","count":30},{"type":"sum","count":870},{"type":"count","count":60}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4263204

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