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)	151	2520.25	2493.24

15.46/7.66	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
15.46/7.66	c This is free software under the dual EPL/GNU LGPL licenses.
15.46/7.66	c See www.sat4j.org for details.
15.46/7.66	c That software uses the Rhino library from the Mozilla project.
15.46/7.66	c version CUSTOM.v20170705
15.46/7.66	c java.runtime.name	Java(TM) SE Runtime Environment
15.46/7.66	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
15.46/7.66	c java.vm.version	25.131-b11
15.46/7.66	c java.vm.vendor	Oracle Corporation
15.46/7.66	c sun.arch.data.model	64
15.46/7.66	c java.version		1.8.0_131
15.46/7.66	c os.name		Linux
15.46/7.66	c os.version		3.10.0-514.16.1.el7.x86_64
15.46/7.66	c os.arch		amd64
15.46/7.66	c Free memory 		499604488
15.46/7.66	c Max memory 		7247757312
15.46/7.66	c Total memory 		504889344
15.46/7.66	c Number of processors 	4
15.46/7.66	c c --- Begin Solver configuration ---
15.46/7.66	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
15.46/7.66	c Learn all clauses as in MiniSAT
15.46/7.66	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
15.46/7.66	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
15.46/7.66	c No reason simplification
15.46/7.66	c Glucose 2.1 dynamic restart strategy
15.46/7.66	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
15.46/7.66	c timeout=2147483s
15.46/7.66	c DB Simplification allowed=false
15.46/7.66	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
15.46/7.66	c --- End Solver configuration ---
15.46/7.66	c constraints type 
15.46/7.66	c org.sat4j.minisat.constraints.card.MinWatchCard => 244
15.46/7.66	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6176192
15.46/7.66	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1071000
15.46/7.66	c org.sat4j.minisat.constraints.cnf.UnitClause => 180
15.46/7.66	c 7247616 constraints processed.
55.24/45.18	o 172
75.79/58.91	o 151
2520.20/2493.21	c starts		: 1769
2520.20/2493.21	c conflicts		: 639809
2520.20/2493.21	c decisions		: 313848026
2520.20/2493.21	c propagations		: 8128416357
2520.20/2493.21	c inspects		: 10332036906
2520.20/2493.21	c shortcuts		: 0
2520.20/2493.21	c learnt literals	: 0
2520.20/2493.21	c learnt binary clauses	: 12916
2520.20/2493.21	c learnt ternary clauses	: 12321
2520.20/2493.21	c learnt constraints	: 639809
2520.20/2493.21	c ignored constraints	: 0
2520.20/2493.21	c root simplifications	: 0
2520.20/2493.21	c removed literals (reason simplification)	: 0
2520.20/2493.21	c reason swapping (by a shorter reason)	: 0
2520.20/2493.21	c Calls to reduceDB	: 33
2520.20/2493.21	c Number of update (reduction) of LBD	: 439884
2520.20/2493.21	c Imported unit clauses	: 0
2520.20/2493.21	c number of reductions to clauses (during analyze)	: 0
2520.20/2493.21	c number of learned constraints concerned by reduction	: 0
2520.20/2493.21	c number of learning phase by resolution	: 0
2520.20/2493.21	c number of learning phase by cutting planes	: 0
2520.20/2493.21	c number of rounding to 1 operations	: 0
2520.20/2493.21	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2520.20/2493.21	c number of reductions of the coefficients by power 2 	: 0
2520.20/2493.21	c number of right shift for reduction by power 2 	: 0
2520.20/2493.21	c number of reductions of the coefficients by GCD over coefficients 	: 0
2520.20/2493.21	c speed (assignments/second)	: 3270345.008955973
2520.20/2493.21	c non guided choices	61727967
2520.20/2493.21	c learnt constraints type 
2520.20/2493.21	s SATISFIABLE
2520.20/2493.22	v <instantiation type="solution">
2520.20/2493.22	v 	<list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] </list>
2520.20/2493.22	v 	<values> 11 19 13 17 25 21 15 29 22 30 27 6 0 24 1 18 31 26 12 20 16 9 8 3 14 5 23 7 10 2 28 4 0 1 0 2 1 0 0 2 3 2 0 0 0 2 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 2 0 0 0 2 1 0 1 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 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 3 2 0 4 0 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 2 0 0 0 1 2 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 0 0 3 2 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 1 2 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 3 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 1 0 3 1 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 2 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 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
2520.20/2493.22	v </instantiation>
2520.20/2493.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 (14395 MiB free)
  memory of node 1: 16384 MiB (10827 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263033-1502620567/watcher-4263033-1502620567 -o /tmp/evaluation-result-4263033-1502620567/solver-4263033-1502620567 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502619133-1622 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263033-1502620567.xml 

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

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

solver pid=2074, runsolver pid=2071

[startup+0.100176 s]*
/proc/loadavg: 2.49 4.08 3.38 3/215 2091
/proc/meminfo: memFree=25811116/32770624 swapFree=67108860/67108860
[pid=2074] ppid=2071 vsize=10555400 memory=29932 CPUtime=0.12 cores=0,2,4,6
/proc/2074/stat : 2074 (java) S 2071 2074 31794 0 -1 1077944320 6533 0 0 0 10 2 0 0 20 0 15 0 95144821 10808729600 7483 33554432000 4194304 4196468 140721236180432 140721236162976 139719894732535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
/proc/2074/statm: 2638850 7483 2825 1 0 2627263 0
[pid=2074/tid=2076] ppid=2071 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=0,2,4,6
/proc/2074/task/2076/stat : 2076 (java) R 2071 2074 31794 0 -1 4202560 4381 0 0 0 8 1 0 0 20 0 15 0 95144821 10808729600 7483 33554432000 4194304 4196468 140721236180432 139719898954224 139719894744470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2077] ppid=2071 vsize=10555400 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2077/stat : 2077 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144822 10808729600 7483 33554432000 4194304 4196468 140721236180432 139719851285392 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2078] ppid=2071 vsize=10555400 memory=139764768044672 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2078/stat : 2078 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144822 10808729600 7483 33554432000 4194304 4196468 140721236180432 139719500290832 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2079] ppid=2071 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2079/stat : 2079 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144822 10808729600 7483 33554432000 4194304 4196468 140721236180432 139719499238544 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2080] ppid=2071 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2080/stat : 2080 (java) S 2071 2074 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95144822 10808729600 7483 33554432000 4194304 4196468 140721236180432 139719498185744 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2081] ppid=2071 vsize=10555400 memory=139764768044672 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2081/stat : 2081 (java) S 2071 2074 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95144824 10808729600 7483 33554432000 4194304 4196468 140721236180432 139719199803504 139719894743682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2082] ppid=2071 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2082/stat : 2082 (java) S 2071 2074 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95144824 10808729600 7483 33554432000 4194304 4196468 140721236180432 139719198749472 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2083] ppid=2071 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2083/stat : 2083 (java) S 2071 2074 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95144824 10808729600 7483 33554432000 4194304 4196468 140721236180432 139719197697136 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2085] ppid=2071 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2085/stat : 2085 (java) S 2071 2074 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95144827 10808729600 7483 33554432000 4194304 4196468 140721236180432 139719196645456 139719894751131 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2086] ppid=2071 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2086/stat : 2086 (java) S 2071 2074 31794 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 95144827 10808729600 7483 33554432000 4194304 4196468 140721236180432 139719195593328 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2088] ppid=2071 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2088/stat : 2088 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144827 10808729600 7483 33554432000 4194304 4196468 140721236180432 139719194540528 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2089] ppid=2071 vsize=10555400 memory=139764768044672 CPUtime=0.01 cores=0,2,4,6
/proc/2074/task/2089/stat : 2089 (java) R 2071 2074 31794 0 -1 4202560 372 0 0 0 1 0 0 0 20 0 15 0 95144827 10808729600 7483 33554432000 4194304 4196468 140721236180432 139719193488240 139719878813022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2090] ppid=2071 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2090/stat : 2090 (java) S 2071 2074 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95144827 10808729600 7483 33554432000 4194304 4196468 140721236180432 139719192435680 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2091] ppid=2071 vsize=10555400 memory=139764768044672 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2091/stat : 2091 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144827 10808729600 7483 33554432000 4194304 4196468 140721236180432 139719191382448 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29932 KiB

[startup+0.210661 s]*
/proc/loadavg: 2.49 4.08 3.38 3/215 2091
/proc/meminfo: memFree=25802076/32770624 swapFree=67108860/67108860
[pid=2074] ppid=2071 vsize=10555400 memory=39568 CPUtime=0.29 cores=0,2,4,6
/proc/2074/stat : 2074 (java) S 2071 2074 31794 0 -1 1077944320 7950 0 0 0 27 2 0 0 20 0 15 0 95144821 10808729600 9892 33554432000 4194304 4196468 140721236180432 140721236162976 139719894732535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
/proc/2074/statm: 2638850 9892 2951 1 0 2627263 0
[pid=2074/tid=2076] ppid=2071 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/2074/task/2076/stat : 2076 (java) R 2071 2074 31794 0 -1 4202560 5193 0 0 0 18 2 0 0 20 0 15 0 95144821 10808729600 9892 33554432000 4194304 4196468 140721236180432 139719898956752 139719894744470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2077] ppid=2071 vsize=10555400 memory=331 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2077/stat : 2077 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144822 10808729600 9892 33554432000 4194304 4196468 140721236180432 139719851285392 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2078] ppid=2071 vsize=10555400 memory=288370140919756416 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2078/stat : 2078 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144822 10808729600 9892 33554432000 4194304 4196468 140721236180432 139719500290832 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2079] ppid=2071 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2079/stat : 2079 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144822 10808729600 9892 33554432000 4194304 4196468 140721236180432 139719499238544 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2080] ppid=2071 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2080/stat : 2080 (java) S 2071 2074 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95144822 10808729600 9892 33554432000 4194304 4196468 140721236180432 139719498185744 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2081] ppid=2071 vsize=10555400 memory=139764768044672 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2081/stat : 2081 (java) S 2071 2074 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95144824 10808729600 9892 33554432000 4194304 4196468 140721236180432 139719199803504 139719894743682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2082] ppid=2071 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2082/stat : 2082 (java) S 2071 2074 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95144824 10808729600 9892 33554432000 4194304 4196468 140721236180432 139719198749472 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2083] ppid=2071 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2083/stat : 2083 (java) S 2071 2074 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95144824 10808729600 9892 33554432000 4194304 4196468 140721236180432 139719197697136 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2085] ppid=2071 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2085/stat : 2085 (java) S 2071 2074 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95144827 10808729600 9892 33554432000 4194304 4196468 140721236180432 139719196645456 139719894751131 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2086] ppid=2071 vsize=10555400 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2074/task/2086/stat : 2086 (java) S 2071 2074 31794 0 -1 1077944384 542 0 0 0 2 0 0 0 20 0 15 0 95144827 10808729600 9892 33554432000 4194304 4196468 140721236180432 139719195593328 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2088] ppid=2071 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2074/task/2088/stat : 2088 (java) S 2071 2074 31794 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 95144827 10808729600 9892 33554432000 4194304 4196468 140721236180432 139719194540528 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2089] ppid=2071 vsize=10555400 memory=139764768044672 CPUtime=0.05 cores=0,2,4,6
/proc/2074/task/2089/stat : 2089 (java) R 2071 2074 31794 0 -1 4202560 785 0 0 0 5 0 0 0 20 0 15 0 95144827 10808729600 9892 33554432000 4194304 4196468 140721236180432 139719193488240 139719878813022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2090] ppid=2071 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2090/stat : 2090 (java) S 2071 2074 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95144827 10808729600 9892 33554432000 4194304 4196468 140721236180432 139719192435680 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2091] ppid=2071 vsize=10555400 memory=139764768044672 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2091/stat : 2091 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144827 10808729600 9892 33554432000 4194304 4196468 140721236180432 139719191382448 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39568 KiB

[startup+0.310336 s]*
/proc/loadavg: 2.49 4.08 3.38 4/215 2091
/proc/meminfo: memFree=25795500/32770624 swapFree=67108860/67108860
[pid=2074] ppid=2071 vsize=10555476 memory=46160 CPUtime=0.52 cores=0,2,4,6
/proc/2074/stat : 2074 (java) S 2071 2074 31794 0 -1 1077944320 8577 0 0 0 49 3 0 0 20 0 15 0 95144821 10808807424 11540 33554432000 4194304 4196468 140721236180432 140721236162976 139719894732535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
/proc/2074/statm: 2638869 11540 3039 1 0 2627263 0
[pid=2074/tid=2076] ppid=2071 vsize=10555476 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/2074/task/2076/stat : 2076 (java) R 2071 2074 31794 0 -1 4202560 5533 0 0 0 28 2 0 0 20 0 15 0 95144821 10808807424 11540 33554432000 4194304 4196468 140721236180432 139719898966448 139719894744470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2077] ppid=2071 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2077/stat : 2077 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144822 10808807424 11540 33554432000 4194304 4196468 140721236180432 139719851285392 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2078] ppid=2071 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2078/stat : 2078 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144822 10808807424 11540 33554432000 4194304 4196468 140721236180432 139719500290832 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2079] ppid=2071 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2079/stat : 2079 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144822 10808807424 11540 33554432000 4194304 4196468 140721236180432 139719499238544 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2080] ppid=2071 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2080/stat : 2080 (java) S 2071 2074 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95144822 10808807424 11540 33554432000 4194304 4196468 140721236180432 139719498185744 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2081] ppid=2071 vsize=10555476 memory=139764768093472 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2081/stat : 2081 (java) S 2071 2074 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95144824 10808807424 11540 33554432000 4194304 4196468 140721236180432 139719199803504 139719894743682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2082] ppid=2071 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2082/stat : 2082 (java) S 2071 2074 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95144824 10808807424 11540 33554432000 4194304 4196468 140721236180432 139719198749472 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2083] ppid=2071 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2083/stat : 2083 (java) S 2071 2074 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95144824 10808807424 11540 33554432000 4194304 4196468 140721236180432 139719197697136 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2085] ppid=2071 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2085/stat : 2085 (java) S 2071 2074 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95144827 10808807424 11540 33554432000 4194304 4196468 140721236180432 139719196645456 139719894751131 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2086] ppid=2071 vsize=10555476 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2074/task/2086/stat : 2086 (java) R 2071 2074 31794 0 -1 4202560 632 0 0 0 4 0 0 0 20 0 15 0 95144827 10808807424 11540 33554432000 4194304 4196468 140721236180432 139719195593328 139719887717577 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2088] ppid=2071 vsize=10555476 memory=139764611256079 CPUtime=0.03 cores=0,2,4,6
/proc/2074/task/2088/stat : 2088 (java) R 2071 2074 31794 0 -1 1077944384 156 0 0 0 3 0 0 0 20 0 15 0 95144827 10808807424 11540 33554432000 4194304 4196468 140721236180432 139719194540528 139719894743682 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2089] ppid=2071 vsize=10555476 memory=139764768046669 CPUtime=0.12 cores=0,2,4,6
/proc/2074/task/2089/stat : 2089 (java) R 2071 2074 31794 0 -1 4202560 903 0 0 0 12 0 0 0 20 0 15 0 95144827 10808807424 11540 33554432000 4194304 4196468 140721236180432 139719193484672 139719887839101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2090] ppid=2071 vsize=10555476 memory=139764611244495 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2090/stat : 2090 (java) S 2071 2074 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95144827 10808807424 11540 33554432000 4194304 4196468 140721236180432 139719192435680 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2091] ppid=2071 vsize=10555476 memory=279529379335328 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2091/stat : 2091 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144827 10808807424 11540 33554432000 4194304 4196468 140721236180432 139719191382448 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46160 KiB

[startup+0.700658 s]
/proc/loadavg: 2.49 4.08 3.38 5/215 2091
/proc/meminfo: memFree=25759240/32770624 swapFree=67108860/67108860
[pid=2074] ppid=2071 vsize=10555476 memory=160440 CPUtime=1.78 cores=0,2,4,6
/proc/2074/stat : 2074 (java) S 2071 2074 31794 0 -1 1077944320 13882 0 0 0 172 6 0 0 20 0 15 0 95144821 10808807424 40110 33554432000 4194304 4196468 140721236180432 140721236162976 139719894732535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
/proc/2074/statm: 2638869 40110 3092 1 0 2627263 0
[pid=2074/tid=2076] ppid=2071 vsize=10555476 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/2074/task/2076/stat : 2076 (java) R 2071 2074 31794 0 -1 4202560 5870 0 0 0 64 3 0 0 20 0 15 0 95144821 10808807424 40110 33554432000 4194304 4196468 140721236180432 139719898952720 139719533677534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2077] ppid=2071 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2077/stat : 2077 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144822 10808807424 40110 33554432000 4194304 4196468 140721236180432 139719851285392 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2078] ppid=2071 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2078/stat : 2078 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144822 10808807424 40110 33554432000 4194304 4196468 140721236180432 139719500290832 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2079] ppid=2071 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2079/stat : 2079 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144822 10808807424 40110 33554432000 4194304 4196468 140721236180432 139719499238544 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2080] ppid=2071 vsize=10555476 memory=8458433173657302837 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2080/stat : 2080 (java) S 2071 2074 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95144822 10808807424 40110 33554432000 4194304 4196468 140721236180432 139719498185744 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2081] ppid=2071 vsize=10555476 memory=5859271425798723175 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2081/stat : 2081 (java) S 2071 2074 31794 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95144824 10808807424 40110 33554432000 4194304 4196468 140721236180432 139719199803504 139719894743682 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2082] ppid=2071 vsize=10555476 memory=7588675599774802240 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2082/stat : 2082 (java) S 2071 2074 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95144824 10808807424 40110 33554432000 4194304 4196468 140721236180432 139719198749472 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2083] ppid=2071 vsize=10555476 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2083/stat : 2083 (java) S 2071 2074 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95144824 10808807424 40110 33554432000 4194304 4196468 140721236180432 139719197697136 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2085] ppid=2071 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2085/stat : 2085 (java) S 2071 2074 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95144827 10808807424 40110 33554432000 4194304 4196468 140721236180432 139719196645456 139719894751131 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2086] ppid=2071 vsize=10555476 memory=4612 CPUtime=0.41 cores=0,2,4,6
/proc/2074/task/2086/stat : 2086 (java) R 2071 2074 31794 0 -1 4202560 1900 0 0 0 41 0 0 0 20 0 15 0 95144827 10808807424 40110 33554432000 4194304 4196468 140721236180432 139719195574344 139719880760520 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2088] ppid=2071 vsize=10555476 memory=15872 CPUtime=0.39 cores=0,2,4,6
/proc/2074/task/2088/stat : 2088 (java) R 2071 2074 31794 0 -1 4202560 2858 0 0 0 39 0 0 0 20 0 15 0 95144827 10808807424 40110 33554432000 4194304 4196468 140721236180432 139719194521544 139719878229323 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2089] ppid=2071 vsize=10555476 memory=18448 CPUtime=0.26 cores=0,2,4,6
/proc/2074/task/2089/stat : 2089 (java) S 2071 2074 31794 0 -1 1077944384 1884 0 0 0 26 0 0 0 20 0 15 0 95144827 10808807424 40110 33554432000 4194304 4196468 140721236180432 139719193488240 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2090] ppid=2071 vsize=10555476 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2090/stat : 2090 (java) S 2071 2074 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95144827 10808807424 40110 33554432000 4194304 4196468 140721236180432 139719192435680 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2091] ppid=2071 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2091/stat : 2091 (java) S 2071 2074 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95144827 10808807424 40110 33554432000 4194304 4196468 140721236180432 139719191382448 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 160440 KiB

[startup+1.50862 s]
/proc/loadavg: 2.49 4.08 3.38 7/215 2091
/proc/meminfo: memFree=25612296/32770624 swapFree=67108860/67108860
[pid=2074] ppid=2071 vsize=10555476 memory=421924 CPUtime=4.28 cores=0,2,4,6
/proc/2074/stat : 2074 (java) S 2071 2074 31794 0 -1 1077944320 22286 0 0 0 410 18 0 0 20 0 15 0 95144821 10808807424 105481 33554432000 4194304 4196468 140721236180432 140721236162976 139719894732535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
/proc/2074/statm: 2638869 105481 3134 1 0 2627263 0
[pid=2074/tid=2076] ppid=2071 vsize=10555476 memory=15872 CPUtime=1.36 cores=0,2,4,6
/proc/2074/task/2076/stat : 2076 (java) S 2071 2074 31794 0 -1 1077944384 5943 0 0 0 131 5 0 0 20 0 15 0 95144821 10808807424 105481 33554432000 4194304 4196468 140721236180432 139719898965440 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2077] ppid=2071 vsize=10555476 memory=18448 CPUtime=0.08 cores=0,2,4,6
/proc/2074/task/2077/stat : 2077 (java) R 2071 2074 31794 0 -1 4202560 61 0 0 0 6 2 0 0 20 0 15 0 95144822 10808807424 105481 33554432000 4194304 4196468 140721236180432 139719851285592 139719879759954 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2078] ppid=2071 vsize=10555476 memory=2241 CPUtime=0.1 cores=0,2,4,6
/proc/2074/task/2078/stat : 2078 (java) R 2071 2074 31794 0 -1 4202560 162 0 0 0 8 2 0 0 20 0 15 0 95144822 10808807424 105481 33554432000 4194304 4196468 140721236180432 139719500291032 139719879754656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2079] ppid=2071 vsize=10555476 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/2074/task/2079/stat : 2079 (java) R 2071 2074 31794 0 -1 4202560 89 0 0 0 5 1 0 0 20 0 15 0 95144822 10808807424 105481 33554432000 4194304 4196468 140721236180432 139719499238744 139719879756590 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2080] ppid=2071 vsize=10555476 memory=2241 CPUtime=0.1 cores=0,2,4,6
/proc/2074/task/2080/stat : 2080 (java) R 2071 2074 31794 0 -1 4202560 192 0 0 0 8 2 0 0 20 0 15 0 95144822 10808807424 105481 33554432000 4194304 4196468 140721236180432 139719498185632 139719879759954 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2081] ppid=2071 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2081/stat : 2081 (java) S 2071 2074 31794 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 95144824 10808807424 105481 33554432000 4194304 4196468 140721236180432 139719199802016 139719894742741 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0

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

/proc/2074/task/2079/stat : 2079 (java) S 2071 2074 31794 0 -1 1077944384 5099 0 0 0 566 64 0 0 20 0 16 0 95144822 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719499238544 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2080] ppid=2071 vsize=10622040 memory=3545780 CPUtime=6.36 cores=0,2,4,6
/proc/2074/task/2080/stat : 2080 (java) S 2071 2074 31794 0 -1 1077944384 4175 0 0 0 574 62 0 0 20 0 16 0 95144822 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719498185744 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2081] ppid=2071 vsize=10622040 memory=634 CPUtime=3 cores=0,2,4,6
/proc/2074/task/2081/stat : 2081 (java) S 2071 2074 31794 0 -1 1077944384 11750 0 0 0 296 4 0 0 20 0 16 0 95144824 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719199803504 139719894743682 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2082] ppid=2071 vsize=10622040 memory=3545780 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2082/stat : 2082 (java) S 2071 2074 31794 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 95144824 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719198749536 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2083] ppid=2071 vsize=10622040 memory=3545780 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2083/stat : 2083 (java) S 2071 2074 31794 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 95144824 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719197697152 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2085] ppid=2071 vsize=10622040 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2085/stat : 2085 (java) S 2071 2074 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719196645456 139719894751131 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2086] ppid=2071 vsize=10622040 memory=27372 CPUtime=3 cores=0,2,4,6
/proc/2074/task/2086/stat : 2086 (java) S 2071 2074 31794 0 -1 1077944384 20001 0 0 0 297 3 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719195593328 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2088] ppid=2071 vsize=10622040 memory=3545780 CPUtime=3.08 cores=0,2,4,6
/proc/2074/task/2088/stat : 2088 (java) S 2071 2074 31794 0 -1 1077944384 18546 0 0 0 306 2 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719194540528 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2089] ppid=2071 vsize=10622040 memory=1236 CPUtime=0.48 cores=0,2,4,6
/proc/2074/task/2089/stat : 2089 (java) S 2071 2074 31794 0 -1 1077944384 5826 0 0 0 47 1 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719193488240 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2090] ppid=2071 vsize=10622040 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2090/stat : 2090 (java) S 2071 2074 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719192435680 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2091] ppid=2071 vsize=10622040 memory=1728 CPUtime=1.61 cores=0,2,4,6
/proc/2074/task/2091/stat : 2091 (java) S 2071 2074 31794 0 -1 1077944384 2945 0 0 0 78 83 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719191382448 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2092] ppid=2071 vsize=10622040 memory=3545780 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2092/stat : 2092 (java) S 2071 2074 31794 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 95145593 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719190327984 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
Current children cumulated CPU time: 2409.29 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3545780 KiB

[startup+2442.3 s]
/proc/loadavg: 2.16 2.08 2.14 3/218 2273
/proc/meminfo: memFree=25454484/32770624 swapFree=67108860/67108860
[pid=2074] ppid=2071 vsize=10622040 memory=3545780 CPUtime=2469.33 cores=0,2,4,6
/proc/2074/stat : 2074 (java) S 2071 2074 31794 0 -1 1077944320 172707 0 0 0 246571 362 0 0 20 0 16 0 95144821 10876968960 886445 33554432000 4194304 4196468 140721236180432 140721236162976 139719894732535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
/proc/2074/statm: 2655510 886445 3171 1 0 2643904 0
[pid=2074/tid=2076] ppid=2071 vsize=10622040 memory=3545780 CPUtime=2432.79 cores=0,2,4,6
/proc/2074/task/2076/stat : 2076 (java) R 2071 2074 31794 0 -1 4202560 94221 0 0 0 243252 27 0 0 20 0 16 0 95144821 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719898971584 139719535903480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2077] ppid=2071 vsize=10622040 memory=3545780 CPUtime=6.23 cores=0,2,4,6
/proc/2074/task/2077/stat : 2077 (java) S 2071 2074 31794 0 -1 1077944384 5212 0 0 0 558 65 0 0 20 0 16 0 95144822 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719851285392 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2078] ppid=2071 vsize=10622040 memory=3545780 CPUtime=6.34 cores=0,2,4,6
/proc/2074/task/2078/stat : 2078 (java) S 2071 2074 31794 0 -1 1077944384 3357 0 0 0 569 65 0 0 20 0 16 0 95144822 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719500290832 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2079] ppid=2071 vsize=10622040 memory=3545780 CPUtime=6.3 cores=0,2,4,6
/proc/2074/task/2079/stat : 2079 (java) S 2071 2074 31794 0 -1 1077944384 5099 0 0 0 566 64 0 0 20 0 16 0 95144822 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719499238544 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2080] ppid=2071 vsize=10622040 memory=3545780 CPUtime=6.36 cores=0,2,4,6
/proc/2074/task/2080/stat : 2080 (java) S 2071 2074 31794 0 -1 1077944384 4175 0 0 0 574 62 0 0 20 0 16 0 95144822 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719498185744 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2081] ppid=2071 vsize=10622040 memory=3545780 CPUtime=3 cores=0,2,4,6
/proc/2074/task/2081/stat : 2081 (java) S 2071 2074 31794 0 -1 1077944384 11770 0 0 0 296 4 0 0 20 0 16 0 95144824 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719199803504 139719894743682 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2082] ppid=2071 vsize=10622040 memory=3545780 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2082/stat : 2082 (java) S 2071 2074 31794 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 95144824 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719198749536 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2083] ppid=2071 vsize=10622040 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2083/stat : 2083 (java) S 2071 2074 31794 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 95144824 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719197697152 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2085] ppid=2071 vsize=10622040 memory=3545780 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2085/stat : 2085 (java) S 2071 2074 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719196645456 139719894751131 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2086] ppid=2071 vsize=10622040 memory=3545780 CPUtime=3 cores=0,2,4,6
/proc/2074/task/2086/stat : 2086 (java) S 2071 2074 31794 0 -1 1077944384 20008 0 0 0 297 3 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719195593328 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2088] ppid=2071 vsize=10622040 memory=3545780 CPUtime=3.09 cores=0,2,4,6
/proc/2074/task/2088/stat : 2088 (java) S 2071 2074 31794 0 -1 1077944384 18555 0 0 0 307 2 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719194540528 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2089] ppid=2071 vsize=10622040 memory=1692 CPUtime=0.48 cores=0,2,4,6
/proc/2074/task/2089/stat : 2089 (java) S 2071 2074 31794 0 -1 1077944384 5843 0 0 0 47 1 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719193488240 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2090] ppid=2071 vsize=10622040 memory=3545780 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2090/stat : 2090 (java) S 2071 2074 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719192435680 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2091] ppid=2071 vsize=10622040 memory=3545780 CPUtime=1.65 cores=0,2,4,6
/proc/2074/task/2091/stat : 2091 (java) S 2071 2074 31794 0 -1 1077944384 3022 0 0 0 80 85 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719191382448 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2092] ppid=2071 vsize=10622040 memory=3545780 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2092/stat : 2092 (java) S 2071 2074 31794 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 95145593 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719190327984 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
Current children cumulated CPU time: 2469.33 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3545780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2493 s]*
/proc/loadavg: 2.03 2.06 2.13 3/218 2273
/proc/meminfo: memFree=25247520/32770624 swapFree=67108860/67108860
[pid=2074] ppid=2071 vsize=10622040 memory=3545780 CPUtime=2520.07 cores=0,2,4,6
/proc/2074/stat : 2074 (java) S 2071 2074 31794 0 -1 1077944320 175038 0 0 0 251644 363 0 0 20 0 16 0 95144821 10876968960 886445 33554432000 4194304 4196468 140721236180432 140721236162976 139719894732535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
/proc/2074/statm: 2655510 886445 3171 1 0 2643904 0
[pid=2074/tid=2076] ppid=2071 vsize=10622040 memory=6935054825532540783 CPUtime=2483.5 cores=0,2,4,6
/proc/2074/task/2076/stat : 2076 (java) R 2071 2074 31794 0 -1 4202560 96482 0 0 0 248323 27 0 0 20 0 16 0 95144821 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719898971584 139719536583339 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2077] ppid=2071 vsize=10622040 memory=4126316290023845779 CPUtime=6.23 cores=0,2,4,6
/proc/2074/task/2077/stat : 2077 (java) S 2071 2074 31794 0 -1 1077944384 5212 0 0 0 558 65 0 0 20 0 16 0 95144822 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719851285392 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2078] ppid=2071 vsize=10622040 memory=916 CPUtime=6.34 cores=0,2,4,6
/proc/2074/task/2078/stat : 2078 (java) S 2071 2074 31794 0 -1 1077944384 3357 0 0 0 569 65 0 0 20 0 16 0 95144822 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719500290832 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2079] ppid=2071 vsize=10622040 memory=3832 CPUtime=6.3 cores=0,2,4,6
/proc/2074/task/2079/stat : 2079 (java) S 2071 2074 31794 0 -1 1077944384 5099 0 0 0 566 64 0 0 20 0 16 0 95144822 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719499238544 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2080] ppid=2071 vsize=10622040 memory=4612 CPUtime=6.36 cores=0,2,4,6
/proc/2074/task/2080/stat : 2080 (java) S 2071 2074 31794 0 -1 1077944384 4175 0 0 0 574 62 0 0 20 0 16 0 95144822 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719498185744 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2081] ppid=2071 vsize=10622040 memory=15872 CPUtime=3 cores=0,2,4,6
/proc/2074/task/2081/stat : 2081 (java) S 2071 2074 31794 0 -1 1077944384 11780 0 0 0 296 4 0 0 20 0 16 0 95144824 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719199803504 139719894743682 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2082] ppid=2071 vsize=10622040 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2082/stat : 2082 (java) S 2071 2074 31794 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 95144824 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719198749536 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2083] ppid=2071 vsize=10622040 memory=27372 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2083/stat : 2083 (java) S 2071 2074 31794 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 95144824 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719197697152 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2085] ppid=2071 vsize=10622040 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2085/stat : 2085 (java) S 2071 2074 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719196645456 139719894751131 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2086] ppid=2071 vsize=10622040 memory=2428 CPUtime=3 cores=0,2,4,6
/proc/2074/task/2086/stat : 2086 (java) S 2071 2074 31794 0 -1 1077944384 20011 0 0 0 297 3 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719195593328 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2088] ppid=2071 vsize=10622040 memory=1728 CPUtime=3.09 cores=0,2,4,6
/proc/2074/task/2088/stat : 2088 (java) S 2071 2074 31794 0 -1 1077944384 18559 0 0 0 307 2 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719194540528 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2089] ppid=2071 vsize=10622040 memory=1420 CPUtime=0.48 cores=0,2,4,6
/proc/2074/task/2089/stat : 2089 (java) S 2071 2074 31794 0 -1 1077944384 5855 0 0 0 47 1 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719193488240 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2090] ppid=2071 vsize=10622040 memory=11032 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2090/stat : 2090 (java) S 2071 2074 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719192435680 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2091] ppid=2071 vsize=10622040 memory=3545780 CPUtime=1.68 cores=0,2,4,6
/proc/2074/task/2091/stat : 2091 (java) S 2071 2074 31794 0 -1 1077944384 3063 0 0 0 82 86 0 0 20 0 16 0 95144827 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719191382448 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2092] ppid=2071 vsize=10622040 memory=2660 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2092/stat : 2092 (java) S 2071 2074 31794 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 95145593 10876968960 886445 33554432000 4194304 4196468 140721236180432 139719190327984 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3545780 KiB

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

[startup+2493.24 s]
# the end of solver process 2074 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.59 s, system=3.65555 s

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

[startup+2493.2 s]
/proc/loadavg: 2.03 2.06 2.13 3/218 2273
/proc/meminfo: memFree=25247520/32770624 swapFree=67108860/67108860
[pid=2074] ppid=2071 vsize=10821732 memory=3546152 CPUtime=2520.2 cores=0,2,4,6
/proc/2074/stat : 2074 (java) S 2071 2074 31794 0 -1 1077944320 176983 0 0 0 251657 363 0 0 20 0 17 0 95144821 11081453568 886538 33554432000 4194304 4196468 140721236180432 140721236162976 139719894732535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
/proc/2074/statm: 2705433 886538 3173 1 0 2693827 0
[pid=2074/tid=2076] ppid=2071 vsize=10821732 memory=8112282956445269571 CPUtime=2483.61 cores=0,2,4,6
/proc/2074/task/2076/stat : 2076 (java) S 2071 2074 31794 0 -1 1077944384 96756 0 0 0 248334 27 0 0 20 0 17 0 95144821 11081453568 886538 33554432000 4194304 4196468 140721236180432 139719898975408 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2077] ppid=2071 vsize=10821732 memory=8112282956445269571 CPUtime=6.23 cores=0,2,4,6
/proc/2074/task/2077/stat : 2077 (java) S 2071 2074 31794 0 -1 1077944384 5212 0 0 0 558 65 0 0 20 0 17 0 95144822 11081453568 886538 33554432000 4194304 4196468 140721236180432 139719851285392 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2078] ppid=2071 vsize=10821732 memory=1572 CPUtime=6.34 cores=0,2,4,6
/proc/2074/task/2078/stat : 2078 (java) S 2071 2074 31794 0 -1 1077944384 3357 0 0 0 569 65 0 0 20 0 17 0 95144822 11081453568 886538 33554432000 4194304 4196468 140721236180432 139719500290832 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2079] ppid=2071 vsize=10821732 memory=932 CPUtime=6.3 cores=0,2,4,6
/proc/2074/task/2079/stat : 2079 (java) S 2071 2074 31794 0 -1 1077944384 5099 0 0 0 566 64 0 0 20 0 17 0 95144822 11081453568 886538 33554432000 4194304 4196468 140721236180432 139719499238544 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2080] ppid=2071 vsize=10821732 memory=1160 CPUtime=6.36 cores=0,2,4,6
/proc/2074/task/2080/stat : 2080 (java) S 2071 2074 31794 0 -1 1077944384 4175 0 0 0 574 62 0 0 20 0 17 0 95144822 11081453568 886538 33554432000 4194304 4196468 140721236180432 139719498185744 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2081] ppid=2071 vsize=10821732 memory=2904 CPUtime=3 cores=0,2,4,6
/proc/2074/task/2081/stat : 2081 (java) S 2071 2074 31794 0 -1 1077944384 11823 0 0 0 296 4 0 0 20 0 17 0 95144824 11081453568 886538 33554432000 4194304 4196468 140721236180432 139719199803504 139719894743682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2082] ppid=2071 vsize=10821732 memory=537848 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2082/stat : 2082 (java) S 2071 2074 31794 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 17 0 95144824 11081453568 886538 33554432000 4194304 4196468 140721236180432 139719198749536 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2083] ppid=2071 vsize=10821732 memory=2200 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2083/stat : 2083 (java) S 2071 2074 31794 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 17 0 95144824 11081453568 886538 33554432000 4194304 4196468 140721236180432 139719197697152 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2085] ppid=2071 vsize=10821732 memory=6504 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2085/stat : 2085 (java) S 2071 2074 31794 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 17 0 95144827 11081453568 886538 33554432000 4194304 4196468 140721236180432 139719196645456 139719894751131 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2086] ppid=2071 vsize=10821732 memory=3545780 CPUtime=3.01 cores=0,2,4,6
/proc/2074/task/2086/stat : 2086 (java) S 2071 2074 31794 0 -1 1077944384 20263 0 0 0 298 3 0 0 20 0 17 0 95144827 11081453568 886538 33554432000 4194304 4196468 140721236180432 139719195593328 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2088] ppid=2071 vsize=10821732 memory=3545780 CPUtime=3.09 cores=0,2,4,6
/proc/2074/task/2088/stat : 2088 (java) S 2071 2074 31794 0 -1 1077944384 18876 0 0 0 307 2 0 0 20 0 17 0 95144827 11081453568 886538 33554432000 4194304 4196468 140721236180432 139719194540528 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2089] ppid=2071 vsize=10821732 memory=1952 CPUtime=0.49 cores=0,2,4,6
/proc/2074/task/2089/stat : 2089 (java) S 2071 2074 31794 0 -1 1077944384 6322 0 0 0 48 1 0 0 20 0 17 0 95144827 11081453568 886538 33554432000 4194304 4196468 140721236180432 139719193488240 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2090] ppid=2071 vsize=10821732 memory=8552 CPUtime=0 cores=0,2,4,6
/proc/2074/task/2090/stat : 2090 (java) S 2071 2074 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95144827 11081453568 886538 33554432000 4194304 4196468 140721236180432 139719192435680 139719894742741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
[pid=2074/tid=2091] ppid=2071 vsize=10821732 memory=1224 CPUtime=1.68 cores=0,2,4,6
/proc/2074/task/2091/stat : 2091 (java) S 2071 2074 31794 0 -1 1077944384 3063 0 0 0 82 86 0 0 20 0 17 0 95144827 11081453568 886538 33554432000 4194304 4196468 140721236180432 139719191382448 139719894743682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35930112 140721236182150 140721236182303 140721236182303 140721236185039 0
Current children cumulated CPU time: 2520.2 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 3546152 KiB

Child status: 143
Real time (s): 2493.24
CPU time (s): 2520.25
CPU user time (s): 2516.59
CPU system time (s): 3.65555
CPU usage (%): 101.083
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 3546152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.59
system time used= 3.65555
maximum resident set size= 3546380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57100
involuntary context switches= 1384


# summary of solver processes directly reported to runsolver:
#   pid: 2074
#   total CPU time (s): 2520.25
#   total CPU user time (s): 2516.59
#   total CPU system time (s): 3.65555

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.258 second user time and 24.9308 second system time

The end

Name	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml
MD5SUM	ca834160bf20391dc7be2075ee08801e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	100
Best CPU time to get the best result obtained on this benchmark	2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables	1056
Number of constraints	91
Number of domains	2
Minimum domain size	5
Maximum domain size	32
Distribution of domain sizes	[{"size":5,"count":90},{"size":32,"count":32}]
Minimum variable degree	0
Maximum variable degree	14
Distribution of variable degrees	[{"degree":0,"count":934},{"degree":1,"count":14},{"degree":2,"count":92},{"degree":4,"count":2},{"degree":10,"count":2},{"degree":13,"count":2},{"degree":14,"count":10}]
Minimum constraint arity	3
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":3,"count":90},{"arity":32,"count":1}]
Number of extensional constraints	90
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":90},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4263033

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