2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
sat4j-CSP 2017-07-05	SAT (TO)	1425	252.086	225.74001

35.71/13.14	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
35.71/13.14	c This is free software under the dual EPL/GNU LGPL licenses.
35.71/13.14	c See www.sat4j.org for details.
35.71/13.14	c That software uses the Rhino library from the Mozilla project.
35.71/13.14	c version CUSTOM.v20170705
35.71/13.14	c java.runtime.name	Java(TM) SE Runtime Environment
35.71/13.14	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
35.71/13.14	c java.vm.version	25.131-b11
35.71/13.14	c java.vm.vendor	Oracle Corporation
35.71/13.14	c sun.arch.data.model	64
35.71/13.14	c java.version		1.8.0_131
35.71/13.14	c os.name		Linux
35.71/13.14	c os.version		3.10.0-514.16.1.el7.x86_64
35.71/13.14	c os.arch		amd64
35.71/13.14	c Free memory 		499604488
35.71/13.14	c Max memory 		7247757312
35.71/13.14	c Total memory 		504889344
35.71/13.14	c Number of processors 	4
35.71/13.14	c c --- Begin Solver configuration ---
35.71/13.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
35.71/13.14	c Learn all clauses as in MiniSAT
35.71/13.14	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
35.71/13.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
35.71/13.14	c No reason simplification
35.71/13.14	c Glucose 2.1 dynamic restart strategy
35.71/13.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
35.71/13.14	c timeout=2147483s
35.71/13.14	c DB Simplification allowed=false
35.71/13.14	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
35.71/13.14	c --- End Solver configuration ---
35.71/13.14	c constraints type 
35.71/13.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 1920
35.71/13.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 363570
35.71/13.14	c org.sat4j.minisat.constraints.cnf.UnitClauses => 31
35.71/13.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17874330
35.71/13.14	c org.sat4j.specs.Constr$1 => 31
35.71/13.14	c org.sat4j.minisat.constraints.cnf.UnitClause => 1920
35.71/13.14	c 18241802 constraints processed.
47.19/22.85	o 1871
88.44/63.57	o 1633
226.70/200.41	o 1629
247.16/220.83	o 1627
248.65/222.22	o 1574
250.01/223.54	o 1572
251.11/224.67	o 1425
252.05/225.70	c starts		: 5807
252.05/225.70	c conflicts		: 635235
252.05/225.70	c decisions		: 7652472
252.05/225.70	c propagations		: 634851277
252.05/225.70	c inspects		: 1700646065
252.05/225.70	c shortcuts		: 0
252.05/225.70	c learnt literals	: 1550
252.05/225.70	c learnt binary clauses	: 2147
252.05/225.70	c learnt ternary clauses	: 4917
252.05/225.70	c learnt constraints	: 633685
252.05/225.70	c ignored constraints	: 0
252.05/225.70	c root simplifications	: 0
252.05/225.70	c removed literals (reason simplification)	: 0
252.05/225.70	c reason swapping (by a shorter reason)	: 0
252.05/225.70	c Calls to reduceDB	: 46
252.05/225.70	c Number of update (reduction) of LBD	: 291157
252.05/225.70	c Imported unit clauses	: 0
252.05/225.70	c number of reductions to clauses (during analyze)	: 0
252.05/225.70	c number of learned constraints concerned by reduction	: 0
252.05/225.70	c number of learning phase by resolution	: 0
252.05/225.70	c number of learning phase by cutting planes	: 0
252.05/225.70	c number of rounding to 1 operations	: 0
252.05/225.70	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
252.05/225.70	c number of reductions of the coefficients by power 2 	: 0
252.05/225.70	c number of right shift for reduction by power 2 	: 0
252.05/225.70	c number of reductions of the coefficients by GCD over coefficients 	: 0
252.05/225.70	c speed (assignments/second)	: 2987647.8973326054
252.05/225.70	c non guided choices	3284421
252.05/225.70	c learnt constraints type 
252.05/225.70	s SATISFIABLE
252.05/225.71	v <instantiation type="solution">
252.05/225.71	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>
252.05/225.71	v 	<values> 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 1 0 1 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 1 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 32 99 47 28 81 97 42 40 99 17 100 96 78 95 83 97 99 17 6 14 96 20 100 52 100 89 96 53 25 76 </values>
252.05/225.71	v </instantiation>
252.05/225.71

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258354-1502645832/watcher-4258354-1502645832 -o /tmp/evaluation-result-4258354-1502645832/solver-4258354-1502645832 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6040 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258354-1502645832.xml 

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

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

solver pid=9786, runsolver pid=9783

[startup+0.100198 s]*
/proc/loadavg: 3.49 3.10 3.34 6/203 9795
/proc/meminfo: memFree=26297952/32770624 swapFree=67108860/67108860
[pid=9786] ppid=9783 vsize=10484492 memory=23016 CPUtime=0.05 cores=0,2,4,6
/proc/9786/stat : 9786 (java) S 9783 9786 17093 0 -1 1077944320 4711 0 0 0 4 1 0 0 20 0 14 0 66776527 10736119808 5754 18446744073709551615 4194304 4196468 140724062507232 140724062489776 140407199190775 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
/proc/9786/statm: 2621123 5754 2577 1 0 2610620 0
[pid=9786/tid=9788] ppid=9783 vsize=10484492 memory=4206751525541407381 CPUtime=0.04 cores=0,2,4,6
/proc/9786/task/9788/stat : 9788 (java) D 9783 9786 17093 0 -1 4202560 2827 0 0 0 4 0 0 0 20 0 14 0 66776533 10736119808 5754 18446744073709551615 4194304 4196468 140724062507232 140407203428256 140407199212797 0 4 1 16800974 18446744071580418449 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9789] ppid=9783 vsize=10484492 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9789/stat : 9789 (java) S 9783 9786 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66776533 10736119808 5754 18446744073709551615 4194304 4196468 140724062507232 140407129611152 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9790] ppid=9783 vsize=10484492 memory=140462175917696 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9790/stat : 9790 (java) S 9783 9786 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66776533 10736119808 5754 18446744073709551615 4194304 4196468 140724062507232 140407128558352 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9791] ppid=9783 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9791/stat : 9791 (java) S 9783 9786 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66776533 10736119808 5754 18446744073709551615 4194304 4196468 140724062507232 140407127506064 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9792] ppid=9783 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9792/stat : 9792 (java) S 9783 9786 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66776533 10736119808 5754 18446744073709551615 4194304 4196468 140724062507232 140407126453264 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9793] ppid=9783 vsize=10484492 memory=140462175917696 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9793/stat : 9793 (java) S 9783 9786 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66776535 10736119808 5754 18446744073709551615 4194304 4196468 140724062507232 140406695073904 140407199201922 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9794] ppid=9783 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9794/stat : 9794 (java) S 9783 9786 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 66776535 10736119808 5754 18446744073709551615 4194304 4196468 140724062507232 140406694019872 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9795] ppid=9783 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9795/stat : 9795 (java) S 9783 9786 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 66776535 10736119808 5754 18446744073709551615 4194304 4196468 140724062507232 140406692967536 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9796] ppid=9783 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9796/stat : 9796 (java) S 9783 9786 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66776538 10736119808 5754 18446744073709551615 4194304 4196468 140724062507232 140406691915856 140407199209371 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9797] ppid=9783 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9797/stat : 9797 (java) S 9783 9786 17093 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 14 0 66776538 10736119808 5754 18446744073709551615 4194304 4196468 140724062507232 140406690863728 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9798] ppid=9783 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9798/stat : 9798 (java) S 9783 9786 17093 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 14 0 66776538 10736119808 5754 18446744073709551615 4194304 4196468 140724062507232 140406689810928 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9799] ppid=9783 vsize=10484492 memory=140462175917696 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9799/stat : 9799 (java) S 9783 9786 17093 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 14 0 66776538 10736119808 5754 18446744073709551615 4194304 4196468 140724062507232 140406688758640 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9800] ppid=9783 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9800/stat : 9800 (java) S 9783 9786 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66776538 10736119808 5754 18446744073709551615 4194304 4196468 140724062507232 140406687706080 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 23016 KiB

[startup+0.210174 s]*
/proc/loadavg: 3.49 3.10 3.34 6/209 9801
/proc/meminfo: memFree=26289572/32770624 swapFree=67108860/67108860
[pid=9786] ppid=9783 vsize=10551156 memory=30640 CPUtime=0.16 cores=0,2,4,6
/proc/9786/stat : 9786 (java) S 9783 9786 17093 0 -1 1077944320 7922 0 0 0 14 2 0 0 20 0 15 0 66776527 10804383744 7660 18446744073709551615 4194304 4196468 140724062507232 140724062489776 140407199190775 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
/proc/9786/statm: 2637789 7660 2835 1 0 2627261 0
[pid=9786/tid=9788] ppid=9783 vsize=10551156 memory=8318255677412212789 CPUtime=0.12 cores=0,2,4,6
/proc/9786/task/9788/stat : 9788 (java) R 9783 9786 17093 0 -1 4202560 5699 0 0 0 10 2 0 0 20 0 15 0 66776533 10804383744 7660 18446744073709551615 4194304 4196468 140724062507232 140407203422928 140406792787389 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9789] ppid=9783 vsize=10551156 memory=330 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9789/stat : 9789 (java) S 9783 9786 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66776533 10804383744 7660 18446744073709551615 4194304 4196468 140724062507232 140407129611152 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9790] ppid=9783 vsize=10551156 memory=140462176469866 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9790/stat : 9790 (java) S 9783 9786 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66776533 10804383744 7660 18446744073709551615 4194304 4196468 140724062507232 140407128558352 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9791] ppid=9783 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9791/stat : 9791 (java) S 9783 9786 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66776533 10804383744 7660 18446744073709551615 4194304 4196468 140724062507232 140407127506064 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9792] ppid=9783 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9792/stat : 9792 (java) S 9783 9786 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66776533 10804383744 7660 18446744073709551615 4194304 4196468 140724062507232 140407126453264 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9793] ppid=9783 vsize=10551156 memory=140462175917696 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9793/stat : 9793 (java) S 9783 9786 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66776535 10804383744 7660 18446744073709551615 4194304 4196468 140724062507232 140406695073904 140407199201922 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9794] ppid=9783 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9794/stat : 9794 (java) S 9783 9786 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66776535 10804383744 7660 18446744073709551615 4194304 4196468 140724062507232 140406694019872 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9795] ppid=9783 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9795/stat : 9795 (java) S 9783 9786 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66776535 10804383744 7660 18446744073709551615 4194304 4196468 140724062507232 140406692967536 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9796] ppid=9783 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9796/stat : 9796 (java) S 9783 9786 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66776538 10804383744 7660 18446744073709551615 4194304 4196468 140724062507232 140406691915856 140407199209371 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9797] ppid=9783 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9786/task/9797/stat : 9797 (java) S 9783 9786 17093 0 -1 1077944384 431 0 0 0 1 0 0 0 20 0 15 0 66776538 10804383744 7660 18446744073709551615 4194304 4196468 140724062507232 140406690863728 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9798] ppid=9783 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9798/stat : 9798 (java) S 9783 9786 17093 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 66776538 10804383744 7660 18446744073709551615 4194304 4196468 140724062507232 140406689810928 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9799] ppid=9783 vsize=10551156 memory=140462175917696 CPUtime=0.02 cores=0,2,4,6
/proc/9786/task/9799/stat : 9799 (java) S 9783 9786 17093 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 15 0 66776538 10804383744 7660 18446744073709551615 4194304 4196468 140724062507232 140406688758640 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9800] ppid=9783 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9800/stat : 9800 (java) S 9783 9786 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66776538 10804383744 7660 18446744073709551615 4194304 4196468 140724062507232 140406687706080 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9801] ppid=9783 vsize=10551156 memory=140462175917696 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9801/stat : 9801 (java) S 9783 9786 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66776541 10804383744 7660 18446744073709551615 4194304 4196468 140724062507232 140406686652848 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30640 KiB

[startup+0.310185 s]*
/proc/loadavg: 3.49 3.10 3.34 7/209 9801
/proc/meminfo: memFree=26282368/32770624 swapFree=67108860/67108860
[pid=9786] ppid=9783 vsize=10551156 memory=39932 CPUtime=0.35 cores=0,2,4,6
/proc/9786/stat : 9786 (java) S 9783 9786 17093 0 -1 1077944320 9313 0 0 0 32 3 0 0 20 0 15 0 66776527 10804383744 9983 18446744073709551615 4194304 4196468 140724062507232 140724062489776 140407199190775 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
/proc/9786/statm: 2637789 9983 2939 1 0 2627261 0
[pid=9786/tid=9788] ppid=9783 vsize=10551156 memory=-7677926825137650786 CPUtime=0.22 cores=0,2,4,6
/proc/9786/task/9788/stat : 9788 (java) R 9783 9786 17093 0 -1 4202560 6291 0 0 0 20 2 0 0 20 0 15 0 66776533 10804383744 9983 18446744073709551615 4194304 4196468 140724062507232 140407203424432 140407180772670 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9789] ppid=9783 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9789/stat : 9789 (java) S 9783 9786 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66776533 10804383744 9983 18446744073709551615 4194304 4196468 140724062507232 140407129611152 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9790] ppid=9783 vsize=10551156 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9790/stat : 9790 (java) S 9783 9786 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66776533 10804383744 9983 18446744073709551615 4194304 4196468 140724062507232 140407128558352 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9791] ppid=9783 vsize=10551156 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9791/stat : 9791 (java) S 9783 9786 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66776533 10804383744 9983 18446744073709551615 4194304 4196468 140724062507232 140407127506064 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9792] ppid=9783 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9792/stat : 9792 (java) S 9783 9786 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66776533 10804383744 9983 18446744073709551615 4194304 4196468 140724062507232 140407126453264 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9793] ppid=9783 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9793/stat : 9793 (java) S 9783 9786 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66776535 10804383744 9983 18446744073709551615 4194304 4196468 140724062507232 140406695073904 140407199201922 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9794] ppid=9783 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9794/stat : 9794 (java) S 9783 9786 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66776535 10804383744 9983 18446744073709551615 4194304 4196468 140724062507232 140406694019872 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9795] ppid=9783 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9795/stat : 9795 (java) S 9783 9786 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66776535 10804383744 9983 18446744073709551615 4194304 4196468 140724062507232 140406692967536 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9796] ppid=9783 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9796/stat : 9796 (java) S 9783 9786 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66776538 10804383744 9983 18446744073709551615 4194304 4196468 140724062507232 140406691915856 140407199209371 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9797] ppid=9783 vsize=10551156 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9786/task/9797/stat : 9797 (java) S 9783 9786 17093 0 -1 1077944384 649 0 0 0 2 0 0 0 20 0 15 0 66776538 10804383744 9983 18446744073709551615 4194304 4196468 140724062507232 140406690863728 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9798] ppid=9783 vsize=10551156 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9786/task/9798/stat : 9798 (java) S 9783 9786 17093 0 -1 1077944384 184 0 0 0 2 0 0 0 20 0 15 0 66776538 10804383744 9983 18446744073709551615 4194304 4196468 140724062507232 140406689810928 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9799] ppid=9783 vsize=10551156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9786/task/9799/stat : 9799 (java) S 9783 9786 17093 0 -1 1077944384 828 0 0 0 8 0 0 0 20 0 15 0 66776538 10804383744 9983 18446744073709551615 4194304 4196468 140724062507232 140406688758640 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9800] ppid=9783 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9800/stat : 9800 (java) S 9783 9786 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66776538 10804383744 9983 18446744073709551615 4194304 4196468 140724062507232 140406687706080 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9801] ppid=9783 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9801/stat : 9801 (java) S 9783 9786 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66776541 10804383744 9983 18446744073709551615 4194304 4196468 140724062507232 140406686652848 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 39932 KiB

[startup+0.70146 s]
/proc/loadavg: 3.49 3.10 3.34 8/209 9801
/proc/meminfo: memFree=26267508/32770624 swapFree=67108860/67108860
[pid=9786] ppid=9783 vsize=10551232 memory=121524 CPUtime=1.53 cores=0,2,4,6
/proc/9786/stat : 9786 (java) S 9783 9786 17093 0 -1 1077944320 13385 0 0 0 146 7 0 0 20 0 15 0 66776527 10804461568 30381 18446744073709551615 4194304 4196468 140724062507232 140724062489776 140407199190775 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
/proc/9786/statm: 2637808 30381 3065 1 0 2627261 0
[pid=9786/tid=9788] ppid=9783 vsize=10551232 memory=33 CPUtime=0.6 cores=0,2,4,6
/proc/9786/task/9788/stat : 9788 (java) R 9783 9786 17093 0 -1 4202560 7521 0 0 0 56 4 0 0 20 0 15 0 66776533 10804461568 30381 18446744073709551615 4194304 4196468 140724062507232 140407203424304 140407181112250 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9789] ppid=9783 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9789/stat : 9789 (java) S 9783 9786 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66776533 10804461568 30381 18446744073709551615 4194304 4196468 140724062507232 140407129611152 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9790] ppid=9783 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9790/stat : 9790 (java) S 9783 9786 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66776533 10804461568 30381 18446744073709551615 4194304 4196468 140724062507232 140407128558352 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9791] ppid=9783 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9791/stat : 9791 (java) S 9783 9786 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66776533 10804461568 30381 18446744073709551615 4194304 4196468 140724062507232 140407127506064 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9792] ppid=9783 vsize=10551232 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9792/stat : 9792 (java) S 9783 9786 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66776533 10804461568 30381 18446744073709551615 4194304 4196468 140724062507232 140407126453264 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9793] ppid=9783 vsize=10551232 memory=2736 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9793/stat : 9793 (java) S 9783 9786 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 66776535 10804461568 30381 18446744073709551615 4194304 4196468 140724062507232 140406695073904 140407199201922 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9794] ppid=9783 vsize=10551232 memory=5252280 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9794/stat : 9794 (java) S 9783 9786 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66776535 10804461568 30381 18446744073709551615 4194304 4196468 140724062507232 140406694019872 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9795] ppid=9783 vsize=10551232 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9795/stat : 9795 (java) S 9783 9786 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66776535 10804461568 30381 18446744073709551615 4194304 4196468 140724062507232 140406692967536 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9796] ppid=9783 vsize=10551232 memory=7520519248886919265 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9796/stat : 9796 (java) S 9783 9786 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66776538 10804461568 30381 18446744073709551615 4194304 4196468 140724062507232 140406691915856 140407199209371 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9797] ppid=9783 vsize=10551232 memory=6225773947362037872 CPUtime=0.28 cores=0,2,4,6
/proc/9786/task/9797/stat : 9797 (java) R 9783 9786 17093 0 -1 4202560 1360 0 0 0 28 0 0 0 20 0 15 0 66776538 10804461568 30381 18446744073709551615 4194304 4196468 140724062507232 140406690849824 140407183590312 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9798] ppid=9783 vsize=10551232 memory=7809617114362637412 CPUtime=0.29 cores=0,2,4,6
/proc/9786/task/9798/stat : 9798 (java) R 9783 9786 17093 0 -1 4202560 1250 0 0 0 29 0 0 0 20 0 15 0 66776538 10804461568 30381 18446744073709551615 4194304 4196468 140724062507232 140406689797824 140407182687559 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9799] ppid=9783 vsize=10551232 memory=7668012111147524688 CPUtime=0.33 cores=0,2,4,6
/proc/9786/task/9799/stat : 9799 (java) S 9783 9786 17093 0 -1 1077944384 1884 0 0 0 32 1 0 0 20 0 15 0 66776538 10804461568 30381 18446744073709551615 4194304 4196468 140724062507232 140406688758640 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9800] ppid=9783 vsize=10551232 memory=6083073826404722793 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9800/stat : 9800 (java) S 9783 9786 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66776538 10804461568 30381 18446744073709551615 4194304 4196468 140724062507232 140406687706080 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9801] ppid=9783 vsize=10551232 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9801/stat : 9801 (java) S 9783 9786 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66776541 10804461568 30381 18446744073709551615 4194304 4196468 140724062507232 140406686652848 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 121524 KiB

[startup+1.50142 s]
/proc/loadavg: 3.49 3.10 3.34 7/209 9801
/proc/meminfo: memFree=26100704/32770624 swapFree=67108860/67108860
[pid=9786] ppid=9783 vsize=10551232 memory=485440 CPUtime=3.92 cores=0,2,4,6
/proc/9786/stat : 9786 (java) S 9783 9786 17093 0 -1 1077944320 16683 0 0 0 364 28 0 0 20 0 15 0 66776527 10804461568 121360 18446744073709551615 4194304 4196468 140724062507232 140724062489776 140407199190775 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
/proc/9786/statm: 2637808 121360 3104 1 0 2627261 0
[pid=9786/tid=9788] ppid=9783 vsize=10551232 memory=323684 CPUtime=1.18 cores=0,2,4,6
/proc/9786/task/9788/stat : 9788 (java) S 9783 9786 17093 0 -1 1077944384 7634 0 0 0 111 7 0 0 20 0 15 0 66776533 10804461568 121360 18446744073709551615 4194304 4196468 140724062507232 140407203427504 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9789] ppid=9783 vsize=10551232 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/9786/task/9789/stat : 9789 (java) R 9783 9786 17093 0 -1 4202560 155 0 0 0 15 4 0 0 20 0 15 0 66776533 10804461568 121360 18446744073709551615 4194304 4196468 140724062507232 140407129611352 140407184212896 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9790] ppid=9783 vsize=10551232 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/9786/task/9790/stat : 9790 (java) R 9783 9786 17093 0 -1 4202560 175 0 0 0 16 5 0 0 20 0 15 0 66776533 10804461568 121360 18446744073709551615 4194304 4196468 140724062507232 140407128558552 140407180816740 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9791] ppid=9783 vsize=10551232 memory=7019467087990568761 CPUtime=0.18 cores=0,2,4,6
/proc/9786/task/9791/stat : 9791 (java) R 9783 9786 17093 0 -1 4202560 170 0 0 0 14 4 0 0 20 0 15 0 66776533 10804461568 121360 18446744073709551615 4194304 4196468 140724062507232 140407127506264 140407184214830 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9792] ppid=9783 vsize=10551232 memory=7079770014140616784 CPUtime=0.15 cores=0,2,4,6
/proc/9786/task/9792/stat : 9792 (java) R 9783 9786 17093 0 -1 4202560 133 0 0 0 11 4 0 0 20 0 15 0 66776533 10804461568 121360 18446744073709551615 4194304 4196468 140724062507232 140407126453152 140407184212896 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9793] ppid=9783 vsize=10551232 memory=68 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9793/stat : 9793 (java) S 9783 9786 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 66776535 10804461568 121360 18446744073709551615 4194304 4196468 140724062507232 140406695072416 140407199200981 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9794] ppid=9783 vsize=10551232 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9794/stat : 9794 (java) S 9783 9786 17093 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 66776535 10804461568 121360 18446744073709551615 4194304 4196468 140724062507232 140406694019872 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0

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

/proc/9786/task/9790/stat : 9790 (java) S 9783 9786 17093 0 -1 1077944384 3221 0 0 0 625 58 0 0 20 0 16 0 66776533 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140407128558352 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9791] ppid=9783 vsize=10617796 memory=3049516 CPUtime=6.85 cores=0,2,4,6
/proc/9786/task/9791/stat : 9791 (java) S 9783 9786 17093 0 -1 1077944384 5324 0 0 0 631 54 0 0 20 0 16 0 66776533 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140407127506064 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9792] ppid=9783 vsize=10617796 memory=3049516 CPUtime=6.85 cores=0,2,4,6
/proc/9786/task/9792/stat : 9792 (java) S 9783 9786 17093 0 -1 1077944384 3551 0 0 0 625 60 0 0 20 0 16 0 66776533 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140407126453264 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9793] ppid=9783 vsize=10617796 memory=3049516 CPUtime=2.35 cores=0,2,4,6
/proc/9786/task/9793/stat : 9793 (java) S 9783 9786 17093 0 -1 1077944384 7083 0 0 0 235 0 0 0 20 0 16 0 66776535 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406695073904 140407199201922 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9794] ppid=9783 vsize=10617796 memory=3049516 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9794/stat : 9794 (java) S 9783 9786 17093 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 16 0 66776535 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406694019936 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9795] ppid=9783 vsize=10617796 memory=3049584 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9795/stat : 9795 (java) S 9783 9786 17093 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 66776535 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406692967552 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9796] ppid=9783 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9796/stat : 9796 (java) S 9783 9786 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66776538 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406691915856 140407199209371 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9797] ppid=9783 vsize=10617796 memory=0 CPUtime=3.12 cores=0,2,4,6
/proc/9786/task/9797/stat : 9797 (java) S 9783 9786 17093 0 -1 1077944384 13109 0 0 0 310 2 0 0 20 0 16 0 66776538 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406690863728 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9798] ppid=9783 vsize=10617796 memory=3049516 CPUtime=2.43 cores=0,2,4,6
/proc/9786/task/9798/stat : 9798 (java) S 9783 9786 17093 0 -1 1077944384 11115 0 0 0 241 2 0 0 20 0 16 0 66776538 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406689810928 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9799] ppid=9783 vsize=10617796 memory=4028 CPUtime=0.53 cores=0,2,4,6
/proc/9786/task/9799/stat : 9799 (java) S 9783 9786 17093 0 -1 1077944384 5867 0 0 0 51 2 0 0 20 0 16 0 66776538 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406688758640 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9800] ppid=9783 vsize=10617796 memory=3049516 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9800/stat : 9800 (java) S 9783 9786 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66776538 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406687706080 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9801] ppid=9783 vsize=10617796 memory=4028 CPUtime=0.1 cores=0,2,4,6
/proc/9786/task/9801/stat : 9801 (java) S 9783 9786 17093 0 -1 1077944384 1471 0 0 0 5 5 0 0 20 0 16 0 66776541 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406686652848 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9802] ppid=9783 vsize=10617796 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9802/stat : 9802 (java) S 9783 9786 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 66777849 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406685598384 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
Current children cumulated CPU time: 248.81 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3049608 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+225.501 s]
/proc/loadavg: 2.73 3.04 3.29 3/210 9967
/proc/meminfo: memFree=26584664/32770624 swapFree=67108860/67108860
[pid=9786] ppid=9783 vsize=10617796 memory=3049608 CPUtime=252.01 cores=0,2,4,6
/proc/9786/stat : 9786 (java) S 9783 9786 17093 0 -1 1077944320 78286 0 0 0 24945 256 0 0 20 0 16 0 66776527 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140724062489776 140407199190775 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
/proc/9786/statm: 2654449 762402 3140 1 0 2643902 0
[pid=9786/tid=9788] ppid=9783 vsize=10617796 memory=3049516 CPUtime=215.94 cores=0,2,4,6
/proc/9786/task/9788/stat : 9788 (java) R 9783 9786 17093 0 -1 4202560 21388 0 0 0 21581 13 0 0 20 0 16 0 66776533 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140407203427448 140406798237946 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9789] ppid=9783 vsize=10617796 memory=3049516 CPUtime=6.92 cores=0,2,4,6
/proc/9786/task/9789/stat : 9789 (java) S 9783 9786 17093 0 -1 1077944384 4719 0 0 0 636 56 0 0 20 0 16 0 66776533 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140407129611152 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9790] ppid=9783 vsize=10617796 memory=3049584 CPUtime=6.83 cores=0,2,4,6
/proc/9786/task/9790/stat : 9790 (java) S 9783 9786 17093 0 -1 1077944384 3221 0 0 0 625 58 0 0 20 0 16 0 66776533 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140407128558352 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9791] ppid=9783 vsize=10617796 memory=683 CPUtime=6.85 cores=0,2,4,6
/proc/9786/task/9791/stat : 9791 (java) S 9783 9786 17093 0 -1 1077944384 5324 0 0 0 631 54 0 0 20 0 16 0 66776533 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140407127506064 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9792] ppid=9783 vsize=10617796 memory=0 CPUtime=6.85 cores=0,2,4,6
/proc/9786/task/9792/stat : 9792 (java) S 9783 9786 17093 0 -1 1077944384 3551 0 0 0 625 60 0 0 20 0 16 0 66776533 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140407126453264 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9793] ppid=9783 vsize=10617796 memory=3049608 CPUtime=2.35 cores=0,2,4,6
/proc/9786/task/9793/stat : 9793 (java) S 9783 9786 17093 0 -1 1077944384 7083 0 0 0 235 0 0 0 20 0 16 0 66776535 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406695073904 140407199201922 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9794] ppid=9783 vsize=10617796 memory=3049516 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9794/stat : 9794 (java) S 9783 9786 17093 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 16 0 66776535 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406694019936 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9795] ppid=9783 vsize=10617796 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9795/stat : 9795 (java) S 9783 9786 17093 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 66776535 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406692967552 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9796] ppid=9783 vsize=10617796 memory=3049608 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9796/stat : 9796 (java) S 9783 9786 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66776538 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406691915856 140407199209371 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9797] ppid=9783 vsize=10617796 memory=3049608 CPUtime=3.12 cores=0,2,4,6
/proc/9786/task/9797/stat : 9797 (java) S 9783 9786 17093 0 -1 1077944384 13109 0 0 0 310 2 0 0 20 0 16 0 66776538 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406690863728 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9798] ppid=9783 vsize=10617796 memory=3049608 CPUtime=2.43 cores=0,2,4,6
/proc/9786/task/9798/stat : 9798 (java) S 9783 9786 17093 0 -1 1077944384 11115 0 0 0 241 2 0 0 20 0 16 0 66776538 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406689810928 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9799] ppid=9783 vsize=10617796 memory=3049260 CPUtime=0.54 cores=0,2,4,6
/proc/9786/task/9799/stat : 9799 (java) S 9783 9786 17093 0 -1 1077944384 5870 0 0 0 52 2 0 0 20 0 16 0 66776538 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406688758640 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9800] ppid=9783 vsize=10617796 memory=3049516 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9800/stat : 9800 (java) S 9783 9786 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66776538 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406687706080 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9801] ppid=9783 vsize=10617796 memory=3049516 CPUtime=0.11 cores=0,2,4,6
/proc/9786/task/9801/stat : 9801 (java) S 9783 9786 17093 0 -1 1077944384 1471 0 0 0 5 6 0 0 20 0 16 0 66776541 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406686652848 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9802] ppid=9783 vsize=10617796 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9802/stat : 9802 (java) S 9783 9786 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 66777849 10872623104 762402 18446744073709551615 4194304 4196468 140724062507232 140406685598384 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3049608 KiB

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

[startup+225.74 s]
# the end of solver process 9786 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.5 s, system=2.58631 s

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

[startup+225.605 s]
/proc/loadavg: 2.73 3.04 3.29 3/210 9967
/proc/meminfo: memFree=26584664/32770624 swapFree=67108860/67108860
[pid=9786] ppid=9783 vsize=10817488 memory=3049824 CPUtime=252.05 cores=0,2,4,6
/proc/9786/stat : 9786 (java) S 9783 9786 17093 0 -1 1077944320 78742 0 0 0 24949 256 0 0 20 0 17 0 66776527 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140724062489776 140407199190775 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
/proc/9786/statm: 2704372 762456 3142 1 0 2693825 0
[pid=9786/tid=9788] ppid=9783 vsize=10817488 memory=1708 CPUtime=215.97 cores=0,2,4,6
/proc/9786/task/9788/stat : 9788 (java) S 9783 9786 17093 0 -1 1077944384 21498 0 0 0 21584 13 0 0 20 0 17 0 66776533 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140407203433648 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9789] ppid=9783 vsize=10817488 memory=1444 CPUtime=6.92 cores=0,2,4,6
/proc/9786/task/9789/stat : 9789 (java) S 9783 9786 17093 0 -1 1077944384 4719 0 0 0 636 56 0 0 20 0 17 0 66776533 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140407129611152 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9790] ppid=9783 vsize=10817488 memory=1228 CPUtime=6.83 cores=0,2,4,6
/proc/9786/task/9790/stat : 9790 (java) S 9783 9786 17093 0 -1 1077944384 3221 0 0 0 625 58 0 0 20 0 17 0 66776533 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140407128558352 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9791] ppid=9783 vsize=10817488 memory=7680170660397595203 CPUtime=6.85 cores=0,2,4,6
/proc/9786/task/9791/stat : 9791 (java) S 9783 9786 17093 0 -1 1077944384 5324 0 0 0 631 54 0 0 20 0 17 0 66776533 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140407127506064 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9792] ppid=9783 vsize=10817488 memory=37648 CPUtime=6.85 cores=0,2,4,6
/proc/9786/task/9792/stat : 9792 (java) S 9783 9786 17093 0 -1 1077944384 3551 0 0 0 625 60 0 0 20 0 17 0 66776533 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140407126453264 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9793] ppid=9783 vsize=10817488 memory=3049516 CPUtime=2.35 cores=0,2,4,6
/proc/9786/task/9793/stat : 9793 (java) S 9783 9786 17093 0 -1 1077944384 7084 0 0 0 235 0 0 0 20 0 17 0 66776535 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406695073904 140407199201922 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9794] ppid=9783 vsize=10817488 memory=3049516 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9794/stat : 9794 (java) S 9783 9786 17093 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 17 0 66776535 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406694019936 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9795] ppid=9783 vsize=10817488 memory=37648 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9795/stat : 9795 (java) S 9783 9786 17093 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 17 0 66776535 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406692967552 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9796] ppid=9783 vsize=10817488 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9796/stat : 9796 (java) S 9783 9786 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 17 0 66776538 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406691915856 140407199209371 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9797] ppid=9783 vsize=10817488 memory=4028 CPUtime=3.12 cores=0,2,4,6
/proc/9786/task/9797/stat : 9797 (java) S 9783 9786 17093 0 -1 1077944384 13111 0 0 0 310 2 0 0 20 0 17 0 66776538 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406690863728 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9798] ppid=9783 vsize=10817488 memory=37648 CPUtime=2.43 cores=0,2,4,6
/proc/9786/task/9798/stat : 9798 (java) S 9783 9786 17093 0 -1 1077944384 11115 0 0 0 241 2 0 0 20 0 17 0 66776538 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406689810928 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9799] ppid=9783 vsize=10817488 memory=1296 CPUtime=0.54 cores=0,2,4,6
/proc/9786/task/9799/stat : 9799 (java) S 9783 9786 17093 0 -1 1077944384 5898 0 0 0 52 2 0 0 20 0 17 0 66776538 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406688758640 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9800] ppid=9783 vsize=10817488 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9800/stat : 9800 (java) S 9783 9786 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66776538 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406687706080 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9801] ppid=9783 vsize=10817488 memory=1732 CPUtime=0.11 cores=0,2,4,6
/proc/9786/task/9801/stat : 9801 (java) S 9783 9786 17093 0 -1 1077944384 1471 0 0 0 5 6 0 0 20 0 17 0 66776541 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406686652848 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3049824 KiB

[startup+225.701 s]
/proc/loadavg: 2.73 3.04 3.29 3/210 9967
/proc/meminfo: memFree=26584664/32770624 swapFree=67108860/67108860
[pid=9786] ppid=9783 vsize=10817488 memory=3049824 CPUtime=252.05 cores=0,2,4,6
/proc/9786/stat : 9786 (java) S 9783 9786 17093 0 -1 1077944320 78742 0 0 0 24949 256 0 0 20 0 17 0 66776527 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140724062489776 140407199190775 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
/proc/9786/statm: 2704372 762456 3142 1 0 2693825 0
[pid=9786/tid=9788] ppid=9783 vsize=10817488 memory=3049608 CPUtime=215.97 cores=0,2,4,6
/proc/9786/task/9788/stat : 9788 (java) S 9783 9786 17093 0 -1 1077944384 21498 0 0 0 21584 13 0 0 20 0 17 0 66776533 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140407203433648 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9789] ppid=9783 vsize=10817488 memory=0 CPUtime=6.92 cores=0,2,4,6
/proc/9786/task/9789/stat : 9789 (java) S 9783 9786 17093 0 -1 1077944384 4719 0 0 0 636 56 0 0 20 0 17 0 66776533 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140407129611152 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9790] ppid=9783 vsize=10817488 memory=683 CPUtime=6.83 cores=0,2,4,6
/proc/9786/task/9790/stat : 9790 (java) S 9783 9786 17093 0 -1 1077944384 3221 0 0 0 625 58 0 0 20 0 17 0 66776533 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140407128558352 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9791] ppid=9783 vsize=10817488 memory=3049584 CPUtime=6.85 cores=0,2,4,6
/proc/9786/task/9791/stat : 9791 (java) S 9783 9786 17093 0 -1 1077944384 5324 0 0 0 631 54 0 0 20 0 17 0 66776533 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140407127506064 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9792] ppid=9783 vsize=10817488 memory=3049516 CPUtime=6.85 cores=0,2,4,6
/proc/9786/task/9792/stat : 9792 (java) S 9783 9786 17093 0 -1 1077944384 3551 0 0 0 625 60 0 0 20 0 17 0 66776533 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140407126453264 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9793] ppid=9783 vsize=10817488 memory=3049516 CPUtime=2.35 cores=0,2,4,6
/proc/9786/task/9793/stat : 9793 (java) S 9783 9786 17093 0 -1 1077944384 7084 0 0 0 235 0 0 0 20 0 17 0 66776535 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406695073904 140407199201922 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9794] ppid=9783 vsize=10817488 memory=3049608 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9794/stat : 9794 (java) S 9783 9786 17093 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 17 0 66776535 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406694019936 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9795] ppid=9783 vsize=10817488 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9795/stat : 9795 (java) S 9783 9786 17093 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 17 0 66776535 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406692967552 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9796] ppid=9783 vsize=10817488 memory=3049608 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9796/stat : 9796 (java) S 9783 9786 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 17 0 66776538 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406691915856 140407199209371 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9797] ppid=9783 vsize=10817488 memory=3049608 CPUtime=3.12 cores=0,2,4,6
/proc/9786/task/9797/stat : 9797 (java) S 9783 9786 17093 0 -1 1077944384 13111 0 0 0 310 2 0 0 20 0 17 0 66776538 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406690863728 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9798] ppid=9783 vsize=10817488 memory=3049608 CPUtime=2.43 cores=0,2,4,6
/proc/9786/task/9798/stat : 9798 (java) S 9783 9786 17093 0 -1 1077944384 11115 0 0 0 241 2 0 0 20 0 17 0 66776538 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406689810928 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9799] ppid=9783 vsize=10817488 memory=3049260 CPUtime=0.54 cores=0,2,4,6
/proc/9786/task/9799/stat : 9799 (java) S 9783 9786 17093 0 -1 1077944384 5898 0 0 0 52 2 0 0 20 0 17 0 66776538 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406688758640 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9800] ppid=9783 vsize=10817488 memory=3049516 CPUtime=0 cores=0,2,4,6
/proc/9786/task/9800/stat : 9800 (java) S 9783 9786 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66776538 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406687706080 140407199200981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
[pid=9786/tid=9801] ppid=9783 vsize=10817488 memory=3049516 CPUtime=0.11 cores=0,2,4,6
/proc/9786/task/9801/stat : 9801 (java) S 9783 9786 17093 0 -1 1077944384 1471 0 0 0 5 6 0 0 20 0 17 0 66776541 11077107712 762456 18446744073709551615 4194304 4196468 140724062507232 140406686652848 140407199201922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25702400 140724062511509 140724062511662 140724062511662 140724062515151 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3049824 KiB

Child status: 143
Real time (s): 225.74
CPU time (s): 252.086
CPU user time (s): 249.5
CPU system time (s): 2.58631
CPU usage (%): 111.671
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 3049824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.5
system time used= 2.58631
maximum resident set size= 3050236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79344
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7910
involuntary context switches= 806


# summary of solver processes directly reported to runsolver:
#   pid: 9786
#   total CPU time (s): 252.086
#   total CPU user time (s): 249.5
#   total CPU system time (s): 2.58631

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36571 second user time and 2.106 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	251.92799
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 4258354

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