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)	1393	2520.21	2472.25

40.16/14.91	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
40.16/14.91	c This is free software under the dual EPL/GNU LGPL licenses.
40.16/14.91	c See www.sat4j.org for details.
40.16/14.91	c That software uses the Rhino library from the Mozilla project.
40.16/14.91	c version CUSTOM.v20170705
40.16/14.91	c java.runtime.name	Java(TM) SE Runtime Environment
40.16/14.91	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
40.16/14.91	c java.vm.version	25.131-b11
40.16/14.91	c java.vm.vendor	Oracle Corporation
40.16/14.91	c sun.arch.data.model	64
40.16/14.91	c java.version		1.8.0_131
40.16/14.91	c os.name		Linux
40.16/14.91	c os.version		3.10.0-514.16.1.el7.x86_64
40.16/14.91	c os.arch		amd64
40.16/14.91	c Free memory 		499604488
40.16/14.91	c Max memory 		7247757312
40.16/14.91	c Total memory 		504889344
40.16/14.91	c Number of processors 	4
40.16/14.91	c c --- Begin Solver configuration ---
40.16/14.91	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
40.16/14.91	c Learn all clauses as in MiniSAT
40.16/14.91	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
40.16/14.91	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
40.16/14.91	c No reason simplification
40.16/14.91	c Glucose 2.1 dynamic restart strategy
40.16/14.91	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
40.16/14.91	c timeout=2147483s
40.16/14.91	c DB Simplification allowed=false
40.16/14.91	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
40.16/14.91	c --- End Solver configuration ---
40.16/14.91	c constraints type 
40.16/14.91	c org.sat4j.minisat.constraints.card.MinWatchCard => 2310
40.16/14.91	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 440913
40.16/14.91	c org.sat4j.minisat.constraints.cnf.UnitClauses => 34
40.16/14.91	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21699150
40.16/14.91	c org.sat4j.specs.Constr$1 => 34
40.16/14.91	c org.sat4j.minisat.constraints.cnf.UnitClause => 2310
40.16/14.91	c 22144751 constraints processed.
72.24/43.16	o 2384
73.70/44.42	o 1661
75.33/45.71	o 1606
1230.02/1184.00	o 1601
1231.66/1185.55	o 1393
2520.17/2472.21	c starts		: 9698
2520.17/2472.21	c conflicts		: 5605236
2520.17/2472.21	c decisions		: 21031091
2520.17/2472.21	c propagations		: 6347683952
2520.17/2472.21	c inspects		: 26401286041
2520.17/2472.21	c shortcuts		: 0
2520.17/2472.21	c learnt literals	: 2532
2520.17/2472.21	c learnt binary clauses	: 3491
2520.17/2472.21	c learnt ternary clauses	: 6974
2520.17/2472.21	c learnt constraints	: 5602704
2520.17/2472.21	c ignored constraints	: 0
2520.17/2472.21	c root simplifications	: 0
2520.17/2472.21	c removed literals (reason simplification)	: 0
2520.17/2472.21	c reason swapping (by a shorter reason)	: 0
2520.17/2472.21	c Calls to reduceDB	: 146
2520.17/2472.21	c Number of update (reduction) of LBD	: 1813356
2520.17/2472.21	c Imported unit clauses	: 0
2520.17/2472.21	c number of reductions to clauses (during analyze)	: 0
2520.17/2472.21	c number of learned constraints concerned by reduction	: 0
2520.17/2472.21	c number of learning phase by resolution	: 0
2520.17/2472.21	c number of learning phase by cutting planes	: 0
2520.17/2472.21	c number of rounding to 1 operations	: 0
2520.17/2472.21	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2520.17/2472.21	c number of reductions of the coefficients by power 2 	: 0
2520.17/2472.21	c number of right shift for reduction by power 2 	: 0
2520.17/2472.21	c number of reductions of the coefficients by GCD over coefficients 	: 0
2520.17/2472.21	c speed (assignments/second)	: 2583275.491072646
2520.17/2472.21	c non guided choices	5608808
2520.17/2472.21	c learnt constraints type 
2520.17/2472.21	s SATISFIABLE
2520.17/2472.21	v <instantiation type="solution">
2520.17/2472.21	v 	<list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] </list>
2520.17/2472.22	v 	<values> 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 96 100 98 65 96 30 74 27 73 97 72 54 94 98 7 100 97 69 22 21 38 97 51 47 71 94 3 17 18 23 47 42 1 </values>
2520.17/2472.22	v </instantiation>
2520.17/2472.22

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263199-1502624760/watcher-4263199-1502624760 -o /tmp/evaluation-result-4263199-1502624760/solver-4263199-1502624760 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502623904-24884 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263199-1502624760.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
solver pid=24914, runsolver pid=24907
Current StackSize limit: 8192 KiB


[startup+0.101306 s]*
/proc/loadavg: 1.28 1.63 1.80 4/193 24925
/proc/meminfo: memFree=31795164/32770624 swapFree=67108860/67108860
[pid=24914] ppid=24907 vsize=9936560 memory=18264 CPUtime=0.01 cores=0,2,4,6
/proc/24914/stat : 24914 (java) S 24907 24914 11586 0 -1 1077944320 3391 0 0 0 1 0 0 0 20 0 6 0 50816670 10175037440 4566 18446744073709551615 4194304 4196468 140736021665904 140736021648448 139623435677431 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
/proc/24914/statm: 2484140 4566 1919 1 0 2473637 0
[pid=24914/tid=24916] ppid=24907 vsize=9936560 memory=7077796292425249400 CPUtime=0.01 cores=0,2,4,6
/proc/24914/task/24916/stat : 24916 (java) R 24907 24914 11586 0 -1 4202560 2090 0 0 0 1 0 0 0 20 0 6 0 50816679 10175037440 4566 18446744073709551615 4194304 4196468 140736021665904 139623439913552 139623421370897 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24918] ppid=24907 vsize=9936560 memory=-5738297875903123798 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24918/stat : 24918 (java) S 24907 24914 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 50816680 10175037440 4566 18446744073709551615 4194304 4196468 140736021665904 139623366097808 139623435687637 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24922] ppid=24907 vsize=9936560 memory=140365313066624 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24922/stat : 24922 (java) S 24907 24914 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 50816680 10175037440 4566 18446744073709551615 4194304 4196468 140736021665904 139623365045008 139623435687637 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24924] ppid=24907 vsize=9936560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24924/stat : 24924 (java) S 24907 24914 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 50816680 10175037440 4566 18446744073709551615 4194304 4196468 140736021665904 139623363992720 139623435687637 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24925] ppid=24907 vsize=9936560 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24925/stat : 24925 (java) S 24907 24914 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 50816680 10175037440 4566 18446744073709551615 4194304 4196468 140736021665904 139623362939920 139623435687637 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9936560 KiB
Current children cumulated memory: 18264 KiB

[startup+0.209652 s]*
/proc/loadavg: 1.28 1.63 1.80 4/210 24942
/proc/meminfo: memFree=31783656/32770624 swapFree=67108860/67108860
[pid=24914] ppid=24907 vsize=10484492 memory=24232 CPUtime=0.06 cores=0,2,4,6
/proc/24914/stat : 24914 (java) S 24907 24914 11586 0 -1 1077944320 4485 0 0 0 5 1 0 0 20 0 14 0 50816670 10736119808 6058 18446744073709551615 4194304 4196468 140736021665904 140736021648448 139623435677431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
/proc/24914/statm: 2621123 6058 2579 1 0 2610620 0
[pid=24914/tid=24916] ppid=24907 vsize=10484492 memory=8318255677412212789 CPUtime=0.04 cores=0,2,4,6
/proc/24914/task/24916/stat : 24916 (java) D 24907 24914 11586 0 -1 4202560 2597 0 0 0 4 0 0 0 20 0 14 0 50816679 10736119808 6058 18446744073709551615 4194304 4196468 140736021665904 139623439914912 139623435699453 0 4 1 16800974 18446744071580418449 0 0 -1 6 0 0 3 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24918] ppid=24907 vsize=10484492 memory=328 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24918/stat : 24918 (java) S 24907 24914 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 50816680 10736119808 6058 18446744073709551615 4194304 4196468 140736021665904 139623366097808 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24922] ppid=24907 vsize=10484492 memory=4122119509184333472 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24922/stat : 24922 (java) S 24907 24914 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 50816680 10736119808 6058 18446744073709551615 4194304 4196468 140736021665904 139623365045008 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24924] ppid=24907 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24924/stat : 24924 (java) S 24907 24914 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 50816680 10736119808 6058 18446744073709551615 4194304 4196468 140736021665904 139623363992720 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24925] ppid=24907 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24925/stat : 24925 (java) S 24907 24914 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 50816680 10736119808 6058 18446744073709551615 4194304 4196468 140736021665904 139623362939920 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24927] ppid=24907 vsize=10484492 memory=140365313066624 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24927/stat : 24927 (java) S 24907 24914 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 50816681 10736119808 6058 18446744073709551615 4194304 4196468 140736021665904 139622744860784 139623435688578 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24929] ppid=24907 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24929/stat : 24929 (java) S 24907 24914 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 50816682 10736119808 6058 18446744073709551615 4194304 4196468 140736021665904 139622474572576 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24931] ppid=24907 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24931/stat : 24931 (java) S 24907 24914 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 50816682 10736119808 6058 18446744073709551615 4194304 4196468 140736021665904 139622473520240 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24936] ppid=24907 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24936/stat : 24936 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 50816684 10736119808 6058 18446744073709551615 4194304 4196468 140736021665904 139622472468560 139623435696027 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24937] ppid=24907 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24937/stat : 24937 (java) S 24907 24914 11586 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 14 0 50816684 10736119808 6058 18446744073709551615 4194304 4196468 140736021665904 139622471416432 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24938] ppid=24907 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24938/stat : 24938 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 50816684 10736119808 6058 18446744073709551615 4194304 4196468 140736021665904 139622470363632 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24939] ppid=24907 vsize=10484492 memory=140365313066624 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24939/stat : 24939 (java) S 24907 24914 11586 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 14 0 50816684 10736119808 6058 18446744073709551615 4194304 4196468 140736021665904 139622469311344 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24941] ppid=24907 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24941/stat : 24941 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 50816685 10736119808 6058 18446744073709551615 4194304 4196468 140736021665904 139622468258784 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 24232 KiB

[startup+0.309995 s]*
/proc/loadavg: 1.28 1.63 1.80 5/211 24943
/proc/meminfo: memFree=31764408/32770624 swapFree=67108860/67108860
[pid=24914] ppid=24907 vsize=10551156 memory=34248 CPUtime=0.19 cores=0,2,4,6
/proc/24914/stat : 24914 (java) S 24907 24914 11586 0 -1 1077944320 7774 0 0 0 17 2 0 0 20 0 15 0 50816670 10804383744 8562 18446744073709551615 4194304 4196468 140736021665904 140736021648448 139623435677431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
/proc/24914/statm: 2637789 8562 2867 1 0 2627261 0
[pid=24914/tid=24916] ppid=24907 vsize=10551156 memory=-8774313645642428999 CPUtime=0.13 cores=0,2,4,6
/proc/24914/task/24916/stat : 24916 (java) R 24907 24914 11586 0 -1 4202560 5437 0 0 0 12 1 0 0 20 0 15 0 50816679 10804383744 8562 18446744073709551615 4194304 4196468 140736021665904 139623439909584 139623419757918 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24918] ppid=24907 vsize=10551156 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24918/stat : 24918 (java) S 24907 24914 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50816680 10804383744 8562 18446744073709551615 4194304 4196468 140736021665904 139623366097808 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24922] ppid=24907 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24922/stat : 24922 (java) S 24907 24914 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50816680 10804383744 8562 18446744073709551615 4194304 4196468 140736021665904 139623365045008 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24924] ppid=24907 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24924/stat : 24924 (java) S 24907 24914 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50816680 10804383744 8562 18446744073709551615 4194304 4196468 140736021665904 139623363992720 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24925] ppid=24907 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24925/stat : 24925 (java) S 24907 24914 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50816680 10804383744 8562 18446744073709551615 4194304 4196468 140736021665904 139623362939920 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24927] ppid=24907 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24927/stat : 24927 (java) S 24907 24914 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50816681 10804383744 8562 18446744073709551615 4194304 4196468 140736021665904 139622744860784 139623435688578 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24929] ppid=24907 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24929/stat : 24929 (java) S 24907 24914 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50816682 10804383744 8562 18446744073709551615 4194304 4196468 140736021665904 139622474572576 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24931] ppid=24907 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24931/stat : 24931 (java) S 24907 24914 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50816682 10804383744 8562 18446744073709551615 4194304 4196468 140736021665904 139622473520240 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24936] ppid=24907 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24936/stat : 24936 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50816684 10804383744 8562 18446744073709551615 4194304 4196468 140736021665904 139622472468560 139623435696027 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24937] ppid=24907 vsize=10551156 memory=140365168654464 CPUtime=0.01 cores=0,2,4,6
/proc/24914/task/24937/stat : 24937 (java) S 24907 24914 11586 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 15 0 50816684 10804383744 8562 18446744073709551615 4194304 4196468 140736021665904 139622471416432 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24938] ppid=24907 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24938/stat : 24938 (java) S 24907 24914 11586 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 50816684 10804383744 8562 18446744073709551615 4194304 4196468 140736021665904 139622470363632 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24939] ppid=24907 vsize=10551156 memory=140365313066624 CPUtime=0.03 cores=0,2,4,6
/proc/24914/task/24939/stat : 24939 (java) S 24907 24914 11586 0 -1 1077944384 407 0 0 0 3 0 0 0 20 0 15 0 50816684 10804383744 8562 18446744073709551615 4194304 4196468 140736021665904 139622469311344 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24941] ppid=24907 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24941/stat : 24941 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50816685 10804383744 8562 18446744073709551615 4194304 4196468 140736021665904 139622468258784 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24943] ppid=24907 vsize=10551156 memory=140365313066624 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24943/stat : 24943 (java) S 24907 24914 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50816693 10804383744 8562 18446744073709551615 4194304 4196468 140736021665904 139622467205552 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 34248 KiB

[startup+0.707081 s]
/proc/loadavg: 1.28 1.63 1.80 10/211 24943
/proc/meminfo: memFree=31733584/32770624 swapFree=67108860/67108860
[pid=24914] ppid=24907 vsize=10551232 memory=97536 CPUtime=1.31 cores=0,2,4,6
/proc/24914/stat : 24914 (java) S 24907 24914 11586 0 -1 1077944320 12442 0 0 0 126 5 0 0 20 0 15 0 50816670 10804461568 24384 18446744073709551615 4194304 4196468 140736021665904 140736021648448 139623435677431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
/proc/24914/statm: 2637808 24384 3060 1 0 2627261 0
[pid=24914/tid=24916] ppid=24907 vsize=10551232 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/24914/task/24916/stat : 24916 (java) R 24907 24914 11586 0 -1 1077944384 7002 0 0 0 49 3 0 0 20 0 15 0 50816679 10804461568 24384 18446744073709551615 4194304 4196468 140736021665904 139623439906368 139623435687637 0 4 1 16800974 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24918] ppid=24907 vsize=10551232 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24918/stat : 24918 (java) S 24907 24914 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50816680 10804461568 24384 18446744073709551615 4194304 4196468 140736021665904 139623366097808 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24922] ppid=24907 vsize=10551232 memory=280730337003664 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24922/stat : 24922 (java) S 24907 24914 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50816680 10804461568 24384 18446744073709551615 4194304 4196468 140736021665904 139623365045008 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24924] ppid=24907 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24924/stat : 24924 (java) S 24907 24914 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50816680 10804461568 24384 18446744073709551615 4194304 4196468 140736021665904 139623363992720 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24925] ppid=24907 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24925/stat : 24925 (java) S 24907 24914 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50816680 10804461568 24384 18446744073709551615 4194304 4196468 140736021665904 139623362939920 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24927] ppid=24907 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24927/stat : 24927 (java) S 24907 24914 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50816681 10804461568 24384 18446744073709551615 4194304 4196468 140736021665904 139622744860784 139623435688578 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24929] ppid=24907 vsize=10551232 memory=179 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24929/stat : 24929 (java) S 24907 24914 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50816682 10804461568 24384 18446744073709551615 4194304 4196468 140736021665904 139622474572576 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24931] ppid=24907 vsize=10551232 memory=17 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24931/stat : 24931 (java) S 24907 24914 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50816682 10804461568 24384 18446744073709551615 4194304 4196468 140736021665904 139622473520240 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24936] ppid=24907 vsize=10551232 memory=192 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24936/stat : 24936 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50816684 10804461568 24384 18446744073709551615 4194304 4196468 140736021665904 139622472468560 139623435696027 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24937] ppid=24907 vsize=10551232 memory=41 CPUtime=0.22 cores=0,2,4,6
/proc/24914/task/24937/stat : 24937 (java) R 24907 24914 11586 0 -1 4202560 1348 0 0 0 22 0 0 0 20 0 15 0 50816684 10804461568 24384 18446744073709551615 4194304 4196468 140736021665904 139622471415616 139623419163354 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24938] ppid=24907 vsize=10551232 memory=3 CPUtime=0.23 cores=0,2,4,6
/proc/24914/task/24938/stat : 24938 (java) R 24907 24914 11586 0 -1 4202560 1047 0 0 0 23 0 0 0 20 0 15 0 50816684 10804461568 24384 18446744073709551615 4194304 4196468 140736021665904 139622470352432 139623419177969 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24939] ppid=24907 vsize=10551232 memory=49360 CPUtime=0.31 cores=0,2,4,6
/proc/24914/task/24939/stat : 24939 (java) S 24907 24914 11586 0 -1 1077944384 1674 0 0 0 31 0 0 0 20 0 15 0 50816684 10804461568 24384 18446744073709551615 4194304 4196468 140736021665904 139622469311344 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24941] ppid=24907 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24941/stat : 24941 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50816685 10804461568 24384 18446744073709551615 4194304 4196468 140736021665904 139622468258784 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24943] ppid=24907 vsize=10551232 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24943/stat : 24943 (java) S 24907 24914 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50816693 10804461568 24384 18446744073709551615 4194304 4196468 140736021665904 139622467205552 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 97536 KiB

[startup+1.50153 s]
/proc/loadavg: 1.28 1.63 1.80 9/211 24943
/proc/meminfo: memFree=31409728/32770624 swapFree=67108860/67108860
[pid=24914] ppid=24907 vsize=10553108 memory=415028 CPUtime=3.64 cores=0,2,4,6
/proc/24914/stat : 24914 (java) S 24907 24914 11586 0 -1 1077944320 17950 0 0 0 345 19 0 0 20 0 15 0 50816670 10806382592 103757 18446744073709551615 4194304 4196468 140736021665904 140736021648448 139623435677431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
/proc/24914/statm: 2638277 103757 3102 1 0 2627730 0
[pid=24914/tid=24916] ppid=24907 vsize=10553108 memory=12 CPUtime=1.16 cores=0,2,4,6
/proc/24914/task/24916/stat : 24916 (java) R 24907 24914 11586 0 -1 4202560 7125 0 0 0 111 5 0 0 20 0 15 0 50816679 10806382592 103757 18446744073709551615 4194304 4196468 140736021665904 139623439909656 139623032012267 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24918] ppid=24907 vsize=10553108 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/24914/task/24918/stat : 24918 (java) S 24907 24914 11586 0 -1 1077944384 130 0 0 0 9 2 0 0 20 0 15 0 50816680 10806382592 103757 18446744073709551615 4194304 4196468 140736021665904 139623366097808 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24922] ppid=24907 vsize=10553108 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24914/task/24922/stat : 24922 (java) S 24907 24914 11586 0 -1 1077944384 132 0 0 0 10 2 0 0 20 0 15 0 50816680 10806382592 103757 18446744073709551615 4194304 4196468 140736021665904 139623365045008 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24924] ppid=24907 vsize=10553108 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/24914/task/24924/stat : 24924 (java) S 24907 24914 11586 0 -1 1077944384 103 0 0 0 8 2 0 0 20 0 15 0 50816680 10806382592 103757 18446744073709551615 4194304 4196468 140736021665904 139623363992720 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24925] ppid=24907 vsize=10553108 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24914/task/24925/stat : 24925 (java) S 24907 24914 11586 0 -1 1077944384 140 0 0 0 10 2 0 0 20 0 15 0 50816680 10806382592 103757 18446744073709551615 4194304 4196468 140736021665904 139623362939920 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24927] ppid=24907 vsize=10553108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24927/stat : 24927 (java) S 24907 24914 11586 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 50816681 10806382592 103757 18446744073709551615 4194304 4196468 140736021665904 139622744860784 139623435688578 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24929] ppid=24907 vsize=10553108 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24929/stat : 24929 (java) S 24907 24914 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50816682 10806382592 103757 18446744073709551615 4194304 4196468 140736021665904 139622474572576 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24931] ppid=24907 vsize=10553108 memory=280730336760672 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24931/stat : 24931 (java) S 24907 24914 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50816682 10806382592 103757 18446744073709551615 4194304 4196468 140736021665904 139622473520240 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24936] ppid=24907 vsize=10553108 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24936/stat : 24936 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50816684 10806382592 103757 18446744073709551615 4194304 4196468 140736021665904 139622472468560 139623435696027 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24937] ppid=24907 vsize=10553108 memory=15254852779379061 CPUtime=0.68 cores=0,2,4,6
/proc/24914/task/24937/stat : 24937 (java) S 24907 24914 11586 0 -1 1077944384 2722 0 0 0 68 0 0 0 20 0 15 0 50816684 10806382592 103757 18446744073709551615 4194304 4196468 140736021665904 139622471416432 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24938] ppid=24907 vsize=10553108 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/24914/task/24938/stat : 24938 (java) R 24907 24914 11586 0 -1 4202560 4203 0 0 0 91 1 0 0 20 0 15 0 50816684 10806382592 103757 18446744073709551615 4194304 4196468 140736021665904 139622470349368 139623417220726 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24939] ppid=24907 vsize=10553108 memory=1578 CPUtime=0.35 cores=0,2,4,6
/proc/24914/task/24939/stat : 24939 (java) S 24907 24914 11586 0 -1 1077944384 1951 0 0 0 35 0 0 0 20 0 15 0 50816684 10806382592 103757 18446744073709551615 4194304 4196468 140736021665904 139622469311344 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24941] ppid=24907 vsize=10553108 memory=27316 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24941/stat : 24941 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50816685 10806382592 103757 18446744073709551615 4194304 4196468 140736021665904 139622468258784 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24943] ppid=24907 vsize=10553108 memory=-2127765403170070664 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24943/stat : 24943 (java) S 24907 24914 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50816693 10806382592 103757 18446744073709551615 4194304 4196468 140736021665904 139622467205552 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
Current children cumulated CPU time: 3.64 s
Current children cumulated vsize: 10553108 KiB
Current children cumulated memory: 415028 KiB


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

/proc/24914/task/24924/stat : 24924 (java) S 24907 24914 11586 0 -1 1077944384 21145 0 0 0 1283 88 0 0 20 0 16 0 50816680 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139623363992720 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24925] ppid=24907 vsize=10617796 memory=29200 CPUtime=13.65 cores=0,2,4,6
/proc/24914/task/24925/stat : 24925 (java) S 24907 24914 11586 0 -1 1077944384 18424 0 0 0 1277 88 0 0 20 0 16 0 50816680 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139623362939920 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24927] ppid=24907 vsize=10617796 memory=4444616 CPUtime=4.55 cores=0,2,4,6
/proc/24914/task/24927/stat : 24927 (java) S 24907 24914 11586 0 -1 1077944384 11984 0 0 0 451 4 0 0 20 0 16 0 50816681 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622744860784 139623435688578 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24929] ppid=24907 vsize=10617796 memory=4444616 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24929/stat : 24929 (java) S 24907 24914 11586 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 50816682 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622474572640 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24931] ppid=24907 vsize=10617796 memory=4444616 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24931/stat : 24931 (java) S 24907 24914 11586 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 50816682 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622473520256 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24936] ppid=24907 vsize=10617796 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24936/stat : 24936 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 50816684 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622472468560 139623435696027 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24937] ppid=24907 vsize=10617796 memory=4444616 CPUtime=2.46 cores=0,2,4,6
/proc/24914/task/24937/stat : 24937 (java) S 24907 24914 11586 0 -1 1077944384 10444 0 0 0 245 1 0 0 20 0 16 0 50816684 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622471416432 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24938] ppid=24907 vsize=10617796 memory=4444616 CPUtime=2.52 cores=0,2,4,6
/proc/24914/task/24938/stat : 24938 (java) S 24907 24914 11586 0 -1 1077944384 12908 0 0 0 250 2 0 0 20 0 16 0 50816684 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622470363632 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24939] ppid=24907 vsize=10617796 memory=-8774313645642428999 CPUtime=0.53 cores=0,2,4,6
/proc/24914/task/24939/stat : 24939 (java) S 24907 24914 11586 0 -1 1077944384 5055 0 0 0 51 2 0 0 20 0 16 0 50816684 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622469311344 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24941] ppid=24907 vsize=10617796 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24941/stat : 24941 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 50816685 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622468258784 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24943] ppid=24907 vsize=10617796 memory=2244 CPUtime=1.17 cores=0,2,4,6
/proc/24914/task/24943/stat : 24943 (java) S 24907 24914 11586 0 -1 1077944384 2704 0 0 0 59 58 0 0 20 0 16 0 50816693 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622467205552 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24944] ppid=24907 vsize=10617796 memory=4284 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24944/stat : 24944 (java) S 24907 24914 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 50818170 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622466151088 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
Current children cumulated CPU time: 2429.86 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 4444616 KiB

[startup+2442.3 s]
/proc/loadavg: 4.67 3.28 2.57 6/210 25284
/proc/meminfo: memFree=19321616/32770624 swapFree=67108860/67108860
[pid=24914] ppid=24907 vsize=10617796 memory=4444616 CPUtime=2489.89 cores=0,2,4,6
/proc/24914/stat : 24914 (java) S 24907 24914 11586 0 -1 1077944320 234948 0 0 0 248556 433 0 0 20 0 16 0 50816670 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 140736021648448 139623435677431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
/proc/24914/statm: 2654449 1111154 3146 1 0 2643902 0
[pid=24914/tid=24916] ppid=24907 vsize=10617796 memory=4444616 CPUtime=2423.69 cores=0,2,4,6
/proc/24914/task/24916/stat : 24916 (java) R 24907 24914 11586 0 -1 4202560 117913 0 0 0 242350 19 0 0 20 0 16 0 50816679 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139623439914328 139623035063477 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24918] ppid=24907 vsize=10617796 memory=4444616 CPUtime=13.69 cores=0,2,4,6
/proc/24914/task/24918/stat : 24918 (java) S 24907 24914 11586 0 -1 1077944384 17604 0 0 0 1280 89 0 0 20 0 16 0 50816680 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139623366097808 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24922] ppid=24907 vsize=10617796 memory=4444616 CPUtime=13.78 cores=0,2,4,6
/proc/24914/task/24922/stat : 24922 (java) S 24907 24914 11586 0 -1 1077944384 15246 0 0 0 1288 90 0 0 20 0 16 0 50816680 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139623365045008 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24924] ppid=24907 vsize=10617796 memory=4444616 CPUtime=13.71 cores=0,2,4,6
/proc/24914/task/24924/stat : 24924 (java) S 24907 24914 11586 0 -1 1077944384 21145 0 0 0 1283 88 0 0 20 0 16 0 50816680 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139623363992720 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24925] ppid=24907 vsize=10617796 memory=4444616 CPUtime=13.65 cores=0,2,4,6
/proc/24914/task/24925/stat : 24925 (java) S 24907 24914 11586 0 -1 1077944384 18424 0 0 0 1277 88 0 0 20 0 16 0 50816680 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139623362939920 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24927] ppid=24907 vsize=10617796 memory=4444616 CPUtime=4.55 cores=0,2,4,6
/proc/24914/task/24927/stat : 24927 (java) S 24907 24914 11586 0 -1 1077944384 11993 0 0 0 451 4 0 0 20 0 16 0 50816681 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622744860784 139623435688578 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24929] ppid=24907 vsize=10617796 memory=4444616 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24929/stat : 24929 (java) S 24907 24914 11586 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 50816682 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622474572640 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24931] ppid=24907 vsize=10617796 memory=4444616 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24931/stat : 24931 (java) S 24907 24914 11586 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 50816682 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622473520256 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24936] ppid=24907 vsize=10617796 memory=4444616 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24936/stat : 24936 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 50816684 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622472468560 139623435696027 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24937] ppid=24907 vsize=10617796 memory=4444616 CPUtime=2.46 cores=0,2,4,6
/proc/24914/task/24937/stat : 24937 (java) S 24907 24914 11586 0 -1 1077944384 10451 0 0 0 245 1 0 0 20 0 16 0 50816684 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622471416432 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24938] ppid=24907 vsize=10617796 memory=4444616 CPUtime=2.52 cores=0,2,4,6
/proc/24914/task/24938/stat : 24938 (java) S 24907 24914 11586 0 -1 1077944384 12911 0 0 0 250 2 0 0 20 0 16 0 50816684 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622470363632 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24939] ppid=24907 vsize=10617796 memory=4444616 CPUtime=0.53 cores=0,2,4,6
/proc/24914/task/24939/stat : 24939 (java) S 24907 24914 11586 0 -1 1077944384 5065 0 0 0 51 2 0 0 20 0 16 0 50816684 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622469311344 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24941] ppid=24907 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24941/stat : 24941 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 50816685 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622468258784 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24943] ppid=24907 vsize=10617796 memory=1440 CPUtime=1.2 cores=0,2,4,6
/proc/24914/task/24943/stat : 24943 (java) S 24907 24914 11586 0 -1 1077944384 2745 0 0 0 60 60 0 0 20 0 16 0 50816693 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622467205552 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24944] ppid=24907 vsize=10617796 memory=4444616 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24944/stat : 24944 (java) S 24907 24914 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 50818170 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622466151088 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
Current children cumulated CPU time: 2489.89 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 4444616 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2472 s]*
/proc/loadavg: 4.95 3.47 2.66 6/210 25284
/proc/meminfo: memFree=19321732/32770624 swapFree=67108860/67108860
[pid=24914] ppid=24907 vsize=10617796 memory=4444616 CPUtime=2520.1 cores=0,2,4,6
/proc/24914/stat : 24914 (java) S 24907 24914 11586 0 -1 1077944320 239869 0 0 0 251575 435 0 0 20 0 16 0 50816670 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 140736021648448 139623435677431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
/proc/24914/statm: 2654449 1111154 3146 1 0 2643902 0
[pid=24914/tid=24916] ppid=24907 vsize=10617796 memory=9992 CPUtime=2453.24 cores=0,2,4,6
/proc/24914/task/24916/stat : 24916 (java) R 24907 24914 11586 0 -1 4202560 118698 0 0 0 245305 19 0 0 20 0 16 0 50816679 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139623439916496 139623028565858 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24918] ppid=24907 vsize=10617796 memory=4126316290023845779 CPUtime=13.86 cores=0,2,4,6
/proc/24914/task/24918/stat : 24918 (java) S 24907 24914 11586 0 -1 1077944384 18352 0 0 0 1297 89 0 0 20 0 16 0 50816680 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139623366097808 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24922] ppid=24907 vsize=10617796 memory=15880 CPUtime=13.94 cores=0,2,4,6
/proc/24914/task/24922/stat : 24922 (java) S 24907 24914 11586 0 -1 1077944384 17829 0 0 0 1303 91 0 0 20 0 16 0 50816680 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139623365045008 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24924] ppid=24907 vsize=10617796 memory=16240 CPUtime=13.88 cores=0,2,4,6
/proc/24914/task/24924/stat : 24924 (java) S 24907 24914 11586 0 -1 1077944384 21418 0 0 0 1300 88 0 0 20 0 16 0 50816680 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139623363992720 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24925] ppid=24907 vsize=10617796 memory=16884 CPUtime=13.81 cores=0,2,4,6
/proc/24914/task/24925/stat : 24925 (java) S 24907 24914 11586 0 -1 1077944384 18649 0 0 0 1293 88 0 0 20 0 16 0 50816680 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139623362939920 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24927] ppid=24907 vsize=10617796 memory=4048 CPUtime=4.56 cores=0,2,4,6
/proc/24914/task/24927/stat : 24927 (java) S 24907 24914 11586 0 -1 1077944384 12240 0 0 0 452 4 0 0 20 0 16 0 50816681 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622744860784 139623435688578 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24929] ppid=24907 vsize=10617796 memory=644 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24929/stat : 24929 (java) S 24907 24914 11586 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 50816682 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622474572640 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24931] ppid=24907 vsize=10617796 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24931/stat : 24931 (java) S 24907 24914 11586 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 50816682 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622473520256 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24936] ppid=24907 vsize=10617796 memory=5668 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24936/stat : 24936 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 50816684 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622472468560 139623435696027 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24937] ppid=24907 vsize=10617796 memory=1996 CPUtime=2.46 cores=0,2,4,6
/proc/24914/task/24937/stat : 24937 (java) S 24907 24914 11586 0 -1 1077944384 10456 0 0 0 245 1 0 0 20 0 16 0 50816684 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622471416432 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24938] ppid=24907 vsize=10617796 memory=796 CPUtime=2.52 cores=0,2,4,6
/proc/24914/task/24938/stat : 24938 (java) S 24907 24914 11586 0 -1 1077944384 12920 0 0 0 250 2 0 0 20 0 16 0 50816684 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622470363632 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24939] ppid=24907 vsize=10617796 memory=9992 CPUtime=0.53 cores=0,2,4,6
/proc/24914/task/24939/stat : 24939 (java) S 24907 24914 11586 0 -1 1077944384 5072 0 0 0 51 2 0 0 20 0 16 0 50816684 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622469311344 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24941] ppid=24907 vsize=10617796 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24941/stat : 24941 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 50816685 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622468258784 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24943] ppid=24907 vsize=10617796 memory=1008 CPUtime=1.22 cores=0,2,4,6
/proc/24914/task/24943/stat : 24943 (java) S 24907 24914 11586 0 -1 1077944384 2784 0 0 0 61 61 0 0 20 0 16 0 50816693 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622467205552 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24944] ppid=24907 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24944/stat : 24944 (java) S 24907 24914 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 50818170 10872623104 1111154 18446744073709551615 4194304 4196468 140736021665904 139622466151088 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 4444616 KiB

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

[startup+2472.25 s]
# the end of solver process 24914 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.83 s, system=4.37863 s

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

[startup+2472.2 s]
/proc/loadavg: 4.95 3.47 2.66 6/210 25284
/proc/meminfo: memFree=19321732/32770624 swapFree=67108860/67108860
[pid=24914] ppid=24907 vsize=10817488 memory=4444916 CPUtime=2520.17 cores=0,2,4,6
/proc/24914/stat : 24914 (java) S 24907 24914 11586 0 -1 1077944320 241421 0 0 0 251582 435 0 0 20 0 17 0 50816670 11077107712 1111229 18446744073709551615 4194304 4196468 140736021665904 140736021648448 139623435677431 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
/proc/24914/statm: 2704372 1111229 3148 1 0 2693825 0
[pid=24914/tid=24916] ppid=24907 vsize=10817488 memory=2432 CPUtime=2453.29 cores=0,2,4,6
/proc/24914/task/24916/stat : 24916 (java) S 24907 24914 11586 0 -1 1077944384 119299 0 0 0 245310 19 0 0 20 0 17 0 50816679 11077107712 1111229 18446744073709551615 4194304 4196468 140736021665904 139623439920304 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24918] ppid=24907 vsize=10817488 memory=2844 CPUtime=13.86 cores=0,2,4,6
/proc/24914/task/24918/stat : 24918 (java) S 24907 24914 11586 0 -1 1077944384 18352 0 0 0 1297 89 0 0 20 0 17 0 50816680 11077107712 1111229 18446744073709551615 4194304 4196468 140736021665904 139623366097808 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24922] ppid=24907 vsize=10817488 memory=1152 CPUtime=13.94 cores=0,2,4,6
/proc/24914/task/24922/stat : 24922 (java) S 24907 24914 11586 0 -1 1077944384 17829 0 0 0 1303 91 0 0 20 0 17 0 50816680 11077107712 1111229 18446744073709551615 4194304 4196468 140736021665904 139623365045008 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24924] ppid=24907 vsize=10817488 memory=3212 CPUtime=13.88 cores=0,2,4,6
/proc/24914/task/24924/stat : 24924 (java) S 24907 24914 11586 0 -1 1077944384 21418 0 0 0 1300 88 0 0 20 0 17 0 50816680 11077107712 1111229 18446744073709551615 4194304 4196468 140736021665904 139623363992720 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24925] ppid=24907 vsize=10817488 memory=4444616 CPUtime=13.81 cores=0,2,4,6
/proc/24914/task/24925/stat : 24925 (java) S 24907 24914 11586 0 -1 1077944384 18649 0 0 0 1293 88 0 0 20 0 17 0 50816680 11077107712 1111229 18446744073709551615 4194304 4196468 140736021665904 139623362939920 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24927] ppid=24907 vsize=10817488 memory=1156 CPUtime=4.56 cores=0,2,4,6
/proc/24914/task/24927/stat : 24927 (java) S 24907 24914 11586 0 -1 1077944384 12281 0 0 0 452 4 0 0 20 0 17 0 50816681 11077107712 1111229 18446744073709551615 4194304 4196468 140736021665904 139622744860784 139623435688578 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24929] ppid=24907 vsize=10817488 memory=2996 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24929/stat : 24929 (java) S 24907 24914 11586 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 17 0 50816682 11077107712 1111229 18446744073709551615 4194304 4196468 140736021665904 139622474572640 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24931] ppid=24907 vsize=10817488 memory=8038636 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24931/stat : 24931 (java) S 24907 24914 11586 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 17 0 50816682 11077107712 1111229 18446744073709551615 4194304 4196468 140736021665904 139622473520256 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24936] ppid=24907 vsize=10817488 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24936/stat : 24936 (java) S 24907 24914 11586 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 17 0 50816684 11077107712 1111229 18446744073709551615 4194304 4196468 140736021665904 139622472468560 139623435696027 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24937] ppid=24907 vsize=10817488 memory=4126316290023845779 CPUtime=2.46 cores=0,2,4,6
/proc/24914/task/24937/stat : 24937 (java) S 24907 24914 11586 0 -1 1077944384 10537 0 0 0 245 1 0 0 20 0 17 0 50816684 11077107712 1111229 18446744073709551615 4194304 4196468 140736021665904 139622471416432 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24938] ppid=24907 vsize=10817488 memory=15880 CPUtime=2.52 cores=0,2,4,6
/proc/24914/task/24938/stat : 24938 (java) S 24907 24914 11586 0 -1 1077944384 13000 0 0 0 250 2 0 0 20 0 17 0 50816684 11077107712 1111229 18446744073709551615 4194304 4196468 140736021665904 139622470363632 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24939] ppid=24907 vsize=10817488 memory=16240 CPUtime=0.53 cores=0,2,4,6
/proc/24914/task/24939/stat : 24939 (java) S 24907 24914 11586 0 -1 1077944384 5296 0 0 0 51 2 0 0 20 0 17 0 50816684 11077107712 1111229 18446744073709551615 4194304 4196468 140736021665904 139622469311344 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24941] ppid=24907 vsize=10817488 memory=16884 CPUtime=0 cores=0,2,4,6
/proc/24914/task/24941/stat : 24941 (java) S 24907 24914 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 50816685 11077107712 1111229 18446744073709551615 4194304 4196468 140736021665904 139622468258784 139623435687637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
[pid=24914/tid=24943] ppid=24907 vsize=10817488 memory=4048 CPUtime=1.22 cores=0,2,4,6
/proc/24914/task/24943/stat : 24943 (java) S 24907 24914 11586 0 -1 1077944384 2784 0 0 0 61 61 0 0 20 0 17 0 50816693 11077107712 1111229 18446744073709551615 4194304 4196468 140736021665904 139622467205552 139623435688578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38006784 140736021672336 140736021672489 140736021672489 140736021675983 0
Current children cumulated CPU time: 2520.17 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 4444916 KiB

Child status: 143
Real time (s): 2472.25
CPU time (s): 2520.21
CPU user time (s): 2515.83
CPU system time (s): 4.37863
CPU usage (%): 101.94
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 4444916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.83
system time used= 4.37864
maximum resident set size= 4445140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242476
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57245
involuntary context switches= 3471


# summary of solver processes directly reported to runsolver:
#   pid: 24914
#   total CPU time (s): 2520.21
#   total CPU user time (s): 2515.83
#   total CPU system time (s): 4.37863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1602 second user time and 23.3496 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml
MD5SUM	72c979ceab0684897cea6dc90bd0dbab
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	783
Best CPU time to get the best result obtained on this benchmark	19994.6
Satisfiable
(Un)Satisfiability was proved
Number of variables	1190
Number of constraints	1155
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":34},{"size":2,"count":1122},{"size":101,"count":33}]
Minimum variable degree	0
Maximum variable degree	65
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":34},{"degree":2,"count":66},{"degree":4,"count":1056},{"degree":65,"count":33}]
Minimum constraint arity	1
Maximum constraint arity	33
Distribution of constraint arities	[{"arity":1,"count":33},{"arity":3,"count":1056},{"arity":33,"count":66}]
Number of extensional constraints	0
Number of intensional constraints	33
Distribution of constraint types	[{"type":"intension","count":33},{"type":"sum","count":1056},{"type":"count","count":66}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4263199

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