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)	180	2520.25	2495.9299

16.28/7.66	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
16.28/7.66	c This is free software under the dual EPL/GNU LGPL licenses.
16.28/7.66	c See www.sat4j.org for details.
16.28/7.66	c That software uses the Rhino library from the Mozilla project.
16.28/7.66	c version CUSTOM.v20170705
16.28/7.66	c java.runtime.name	Java(TM) SE Runtime Environment
16.28/7.66	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
16.28/7.66	c java.vm.version	25.131-b11
16.28/7.66	c java.vm.vendor	Oracle Corporation
16.28/7.66	c sun.arch.data.model	64
16.28/7.66	c java.version		1.8.0_131
16.28/7.66	c os.name		Linux
16.28/7.66	c os.version		3.10.0-514.16.1.el7.x86_64
16.28/7.66	c os.arch		amd64
16.28/7.66	c Free memory 		499604488
16.28/7.66	c Max memory 		7247757312
16.28/7.66	c Total memory 		504889344
16.28/7.66	c Number of processors 	4
16.28/7.66	c c --- Begin Solver configuration ---
16.28/7.66	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
16.28/7.66	c Learn all clauses as in MiniSAT
16.28/7.66	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
16.28/7.66	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
16.28/7.66	c No reason simplification
16.28/7.66	c Glucose 2.1 dynamic restart strategy
16.28/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
16.28/7.66	c timeout=2147483s
16.28/7.66	c DB Simplification allowed=false
16.28/7.66	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
16.28/7.66	c --- End Solver configuration ---
16.28/7.66	c constraints type 
16.28/7.66	c org.sat4j.minisat.constraints.card.MinWatchCard => 212
16.28/7.66	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5081024
16.28/7.66	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 880600
16.28/7.66	c org.sat4j.minisat.constraints.cnf.UnitClause => 148
16.28/7.66	c 5961984 constraints processed.
34.66/24.14	o 202
129.80/118.60	o 199
152.78/141.22	o 196
680.81/665.67	o 185
1025.27/1009.94	o 180
2520.21/2495.90	c starts		: 3162
2520.21/2495.90	c conflicts		: 1060634
2520.21/2495.90	c decisions		: 364833829
2520.21/2495.90	c propagations		: 8816091698
2520.21/2495.90	c inspects		: 11506407716
2520.21/2495.90	c shortcuts		: 0
2520.21/2495.90	c learnt literals	: 0
2520.21/2495.90	c learnt binary clauses	: 20250
2520.21/2495.90	c learnt ternary clauses	: 20332
2520.21/2495.90	c learnt constraints	: 1060634
2520.21/2495.90	c ignored constraints	: 0
2520.21/2495.90	c root simplifications	: 0
2520.21/2495.90	c removed literals (reason simplification)	: 0
2520.21/2495.90	c reason swapping (by a shorter reason)	: 0
2520.21/2495.90	c Calls to reduceDB	: 69
2520.21/2495.90	c Number of update (reduction) of LBD	: 729647
2520.21/2495.90	c Imported unit clauses	: 0
2520.21/2495.90	c number of reductions to clauses (during analyze)	: 0
2520.21/2495.90	c number of learned constraints concerned by reduction	: 0
2520.21/2495.90	c number of learning phase by resolution	: 0
2520.21/2495.90	c number of learning phase by cutting planes	: 0
2520.21/2495.90	c number of rounding to 1 operations	: 0
2520.21/2495.90	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2520.21/2495.90	c number of reductions of the coefficients by power 2 	: 0
2520.21/2495.90	c number of right shift for reduction by power 2 	: 0
2520.21/2495.90	c number of reductions of the coefficients by GCD over coefficients 	: 0
2520.21/2495.90	c speed (assignments/second)	: 3543174.6361813205
2520.21/2495.90	c non guided choices	78395709
2520.21/2495.90	c learnt constraints type 
2520.21/2495.90	s SATISFIABLE
2520.21/2495.91	v <instantiation type="solution">
2520.21/2495.91	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.21/2495.91	v 	<values> 26 6 10 20 2 8 4 15 1 14 22 17 25 0 16 7 30 29 21 3 12 19 11 31 24 27 23 9 18 13 28 5 0 2 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 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 3 0 0 0 0 2 0 0 0 0 0 2 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 3 0 1 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 1 0 0 0 1 0 0 0 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 3 0 0 0 0 0 1 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 2 3 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 2 1 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 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 2 0 1 1 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 0 0 0 1 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 1 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 2 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 2 2 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 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 1 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 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.21/2495.91	v </instantiation>
2520.21/2495.91

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263032-1502620562/watcher-4263032-1502620562 -o /tmp/evaluation-result-4263032-1502620562/solver-4263032-1502620562 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502602071-18556 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263032-1502620562.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=22302, runsolver pid=22299

[startup+0.100105 s]*
/proc/loadavg: 2.01 3.01 3.22 2/205 22304
/proc/meminfo: memFree=23452292/32770624 swapFree=67108776/67108860
[pid=22302] ppid=22299 vsize=9936560 memory=18000 CPUtime=0 cores=0,2,4,6
/proc/22302/stat : 22302 (java) S 22299 22302 7084 0 -1 1077944320 3338 0 0 0 0 0 0 0 20 0 6 0 161708994 10175037440 4500 18446744073709551615 4194304 4196468 140725629638480 140725629621024 140504512569079 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
/proc/22302/statm: 2484140 4500 1884 1 0 2473637 0
[pid=22302/tid=22304] ppid=22299 vsize=9936560 memory=7077796292425249400 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22304/stat : 22304 (java) R 22299 22302 7084 0 -1 4202560 2040 0 0 0 0 0 0 0 20 0 6 0 161709003 10175037440 4566 18446744073709551615 4194304 4196468 140725629638480 140504516805200 140504512591005 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22305] ppid=22299 vsize=9936560 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22305/stat : 22305 (java) S 22299 22302 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 161709004 10175037440 4566 18446744073709551615 4194304 4196468 140725629638480 140504442988944 140504512579285 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22306] ppid=22299 vsize=9936560 memory=139950040422016 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22306/stat : 22306 (java) S 22299 22302 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 161709004 10175037440 4566 18446744073709551615 4194304 4196468 140725629638480 140504441936144 140504512579285 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22307] ppid=22299 vsize=9936560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22307/stat : 22307 (java) S 22299 22302 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 161709004 10175037440 4566 18446744073709551615 4194304 4196468 140725629638480 140504440883856 140504512579285 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22308] ppid=22299 vsize=9936560 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22308/stat : 22308 (java) S 22299 22302 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 161709004 10175037440 4566 18446744073709551615 4194304 4196468 140725629638480 140504439831056 140504512579285 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9936560 KiB
Current children cumulated memory: 18000 KiB

[startup+0.210462 s]*
/proc/loadavg: 2.01 3.01 3.22 4/218 22317
/proc/meminfo: memFree=23439668/32770624 swapFree=67108776/67108860
[pid=22302] ppid=22299 vsize=10552180 memory=29088 CPUtime=0.1 cores=0,2,4,6
/proc/22302/stat : 22302 (java) S 22299 22302 7084 0 -1 1077944320 5196 0 0 0 9 1 0 0 20 0 15 0 161708994 10805432320 7206 18446744073709551615 4194304 4196468 140725629638480 140725629621024 140504512569079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
/proc/22302/statm: 2638045 7272 2785 1 0 2627517 0
[pid=22302/tid=22304] ppid=22299 vsize=10552180 memory=8316850467074736180 CPUtime=0.08 cores=0,2,4,6
/proc/22302/task/22304/stat : 22304 (java) R 22299 22302 7084 0 -1 4202560 3145 0 0 0 7 1 0 0 20 0 15 0 161709003 10805432320 7272 18446744073709551615 4194304 4196468 140725629638480 140504516757424 140504505248797 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22305] ppid=22299 vsize=10552180 memory=8333 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22305/stat : 22305 (java) S 22299 22302 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 161709004 10805432320 7272 18446744073709551615 4194304 4196468 140725629638480 140504442988944 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22306] ppid=22299 vsize=10552180 memory=3977724625587410592 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22306/stat : 22306 (java) S 22299 22302 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 161709004 10805432320 7272 18446744073709551615 4194304 4196468 140725629638480 140504441936144 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22307] ppid=22299 vsize=10552180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22307/stat : 22307 (java) S 22299 22302 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 161709004 10805432320 7272 18446744073709551615 4194304 4196468 140725629638480 140504440883856 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22308] ppid=22299 vsize=10552180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22308/stat : 22308 (java) S 22299 22302 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 161709004 10805432320 7272 18446744073709551615 4194304 4196468 140725629638480 140504439831056 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22309] ppid=22299 vsize=10552180 memory=139950040422016 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22309/stat : 22309 (java) S 22299 22302 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 161709006 10805432320 7272 18446744073709551615 4194304 4196468 140725629638480 140504008190576 140504512580226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22310] ppid=22299 vsize=10552180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22310/stat : 22310 (java) S 22299 22302 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 161709006 10805432320 7272 18446744073709551615 4194304 4196468 140725629638480 140504007136544 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22311] ppid=22299 vsize=10552180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22311/stat : 22311 (java) S 22299 22302 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 161709006 10805432320 7272 18446744073709551615 4194304 4196468 140725629638480 140504006084208 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22312] ppid=22299 vsize=10552180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22312/stat : 22312 (java) S 22299 22302 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 161709009 10805432320 7272 18446744073709551615 4194304 4196468 140725629638480 140504005032528 140504512587675 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22313] ppid=22299 vsize=10552180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22313/stat : 22313 (java) S 22299 22302 7084 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 15 0 161709009 10805432320 7272 18446744073709551615 4194304 4196468 140725629638480 140504003979376 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22314] ppid=22299 vsize=10552180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22314/stat : 22314 (java) S 22299 22302 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 161709009 10805432320 7272 18446744073709551615 4194304 4196468 140725629638480 140504002926576 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22315] ppid=22299 vsize=10552180 memory=139950040422016 CPUtime=0.01 cores=0,2,4,6
/proc/22302/task/22315/stat : 22315 (java) S 22299 22302 7084 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 161709009 10805432320 7272 18446744073709551615 4194304 4196468 140725629638480 140504001874288 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22316] ppid=22299 vsize=10552180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22316/stat : 22316 (java) S 22299 22302 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 161709009 10805432320 7272 18446744073709551615 4194304 4196468 140725629638480 140504000821728 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22317] ppid=22299 vsize=10552180 memory=139950040422016 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22317/stat : 22317 (java) S 22299 22302 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 161709012 10805432320 7272 18446744073709551615 4194304 4196468 140725629638480 140503999769520 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10552180 KiB
Current children cumulated memory: 29088 KiB

[startup+0.310717 s]*
/proc/loadavg: 2.01 3.01 3.22 3/218 22317
/proc/meminfo: memFree=23429776/32770624 swapFree=67108776/67108860
[pid=22302] ppid=22299 vsize=10551156 memory=36764 CPUtime=0.25 cores=0,2,4,6
/proc/22302/stat : 22302 (java) S 22299 22302 7084 0 -1 1077944320 7978 0 0 0 21 4 0 0 20 0 15 0 161708994 10804383744 9191 18446744073709551615 4194304 4196468 140725629638480 140725629621024 140504512569079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
/proc/22302/statm: 2637789 9191 2863 1 0 2627261 0
[pid=22302/tid=22304] ppid=22299 vsize=10551156 memory=8316850467074736180 CPUtime=0.18 cores=0,2,4,6
/proc/22302/task/22304/stat : 22304 (java) R 22299 22302 7084 0 -1 4202560 5630 0 0 0 15 3 0 0 20 0 15 0 161709003 10804383744 9191 18446744073709551615 4194304 4196468 140725629638480 140504516780912 140504496649566 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22305] ppid=22299 vsize=10551156 memory=8333 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22305/stat : 22305 (java) S 22299 22302 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 161709004 10804383744 9191 18446744073709551615 4194304 4196468 140725629638480 140504442988944 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22306] ppid=22299 vsize=10551156 memory=3977724625587410592 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22306/stat : 22306 (java) S 22299 22302 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 161709004 10804383744 9191 18446744073709551615 4194304 4196468 140725629638480 140504441936144 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22307] ppid=22299 vsize=10551156 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22307/stat : 22307 (java) S 22299 22302 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 161709004 10804383744 9191 18446744073709551615 4194304 4196468 140725629638480 140504440883856 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22308] ppid=22299 vsize=10551156 memory=3472328296227680299 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22308/stat : 22308 (java) S 22299 22302 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 161709004 10804383744 9191 18446744073709551615 4194304 4196468 140725629638480 140504439831056 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22309] ppid=22299 vsize=10551156 memory=3472468246200993456 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22309/stat : 22309 (java) S 22299 22302 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 161709006 10804383744 9191 18446744073709551615 4194304 4196468 140725629638480 140504008190576 140504512580226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22310] ppid=22299 vsize=10551156 memory=8461260354371939849 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22310/stat : 22310 (java) S 22299 22302 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 161709006 10804383744 9191 18446744073709551615 4194304 4196468 140725629638480 140504007136544 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22311] ppid=22299 vsize=10551156 memory=8475934422144423578 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22311/stat : 22311 (java) S 22299 22302 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 161709006 10804383744 9191 18446744073709551615 4194304 4196468 140725629638480 140504006084208 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22312] ppid=22299 vsize=10551156 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22312/stat : 22312 (java) S 22299 22302 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 161709009 10804383744 9191 18446744073709551615 4194304 4196468 140725629638480 140504005032528 140504512587675 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22313] ppid=22299 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22302/task/22313/stat : 22313 (java) S 22299 22302 7084 0 -1 1077944384 504 0 0 0 1 0 0 0 20 0 15 0 161709009 10804383744 9191 18446744073709551615 4194304 4196468 140725629638480 140504003979376 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22314] ppid=22299 vsize=10551156 memory=3472328296227418159 CPUtime=0.01 cores=0,2,4,6
/proc/22302/task/22314/stat : 22314 (java) R 22299 22302 7084 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 15 0 161709009 10804383744 9191 18446744073709551615 4194304 4196468 140725629638480 140504002926576 140504493269376 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22315] ppid=22299 vsize=10551156 memory=7959527092465190829 CPUtime=0.03 cores=0,2,4,6
/proc/22302/task/22315/stat : 22315 (java) S 22299 22302 7084 0 -1 1077944384 381 0 0 0 3 0 0 0 20 0 15 0 161709009 10804383744 9191 18446744073709551615 4194304 4196468 140725629638480 140504001874288 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22316] ppid=22299 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22316/stat : 22316 (java) S 22299 22302 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 161709009 10804383744 9191 18446744073709551615 4194304 4196468 140725629638480 140504000821728 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22317] ppid=22299 vsize=10551156 memory=139950040422016 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22317/stat : 22317 (java) S 22299 22302 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 161709012 10804383744 9191 18446744073709551615 4194304 4196468 140725629638480 140503999769520 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36764 KiB

[startup+0.710483 s]
/proc/loadavg: 2.01 3.01 3.22 6/218 22317
/proc/meminfo: memFree=23415112/32770624 swapFree=67108776/67108860
[pid=22302] ppid=22299 vsize=10551232 memory=113052 CPUtime=1.4 cores=0,2,4,6
/proc/22302/stat : 22302 (java) S 22299 22302 7084 0 -1 1077944320 13852 0 0 0 134 6 0 0 20 0 15 0 161708994 10804461568 28263 18446744073709551615 4194304 4196468 140725629638480 140725629621024 140504512569079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
/proc/22302/statm: 2637808 28263 3062 1 0 2627261 0
[pid=22302/tid=22304] ppid=22299 vsize=10551232 memory=9844065044643 CPUtime=0.56 cores=0,2,4,6
/proc/22302/task/22304/stat : 22304 (java) R 22299 22302 7084 0 -1 4202560 6949 0 0 0 52 4 0 0 20 0 15 0 161709003 10804461568 28263 18446744073709551615 4194304 4196468 140725629638480 140504516789264 140504103356100 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22305] ppid=22299 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22305/stat : 22305 (java) S 22299 22302 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 161709004 10804461568 28263 18446744073709551615 4194304 4196468 140725629638480 140504442988944 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22306] ppid=22299 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22306/stat : 22306 (java) S 22299 22302 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 161709004 10804461568 28263 18446744073709551615 4194304 4196468 140725629638480 140504441936144 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22307] ppid=22299 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22307/stat : 22307 (java) S 22299 22302 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 161709004 10804461568 28263 18446744073709551615 4194304 4196468 140725629638480 140504440883856 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22308] ppid=22299 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22308/stat : 22308 (java) S 22299 22302 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 161709004 10804461568 28263 18446744073709551615 4194304 4196468 140725629638480 140504439831056 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22309] ppid=22299 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22309/stat : 22309 (java) S 22299 22302 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 161709006 10804461568 28263 18446744073709551615 4194304 4196468 140725629638480 140504008190576 140504512580226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22310] ppid=22299 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22310/stat : 22310 (java) S 22299 22302 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 161709006 10804461568 28263 18446744073709551615 4194304 4196468 140725629638480 140504007136544 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22311] ppid=22299 vsize=10551232 memory=11364 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22311/stat : 22311 (java) S 22299 22302 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 161709006 10804461568 28263 18446744073709551615 4194304 4196468 140725629638480 140504006084208 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22312] ppid=22299 vsize=10551232 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22312/stat : 22312 (java) S 22299 22302 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 161709009 10804461568 28263 18446744073709551615 4194304 4196468 140725629638480 140504005032528 140504512587675 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22313] ppid=22299 vsize=10551232 memory=4600 CPUtime=0.29 cores=0,2,4,6
/proc/22302/task/22313/stat : 22313 (java) R 22299 22302 7084 0 -1 4202560 1745 0 0 0 29 0 0 0 20 0 15 0 161709009 10804461568 28263 18446744073709551615 4194304 4196468 140725629638480 140504003964840 140504497456926 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22314] ppid=22299 vsize=10551232 memory=1440 CPUtime=0.27 cores=0,2,4,6
/proc/22302/task/22314/stat : 22314 (java) R 22299 22302 7084 0 -1 4202560 2151 0 0 0 27 0 0 0 20 0 15 0 161709009 10804461568 28263 18446744073709551615 4194304 4196468 140725629638480 140504002907384 140504496065867 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22315] ppid=22299 vsize=10551232 memory=3472328279047811153 CPUtime=0.25 cores=0,2,4,6
/proc/22302/task/22315/stat : 22315 (java) S 22299 22302 7084 0 -1 1077944384 1635 0 0 0 24 1 0 0 20 0 15 0 161709009 10804461568 28263 18446744073709551615 4194304 4196468 140725629638480 140504001874288 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22316] ppid=22299 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22316/stat : 22316 (java) S 22299 22302 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 161709009 10804461568 28263 18446744073709551615 4194304 4196468 140725629638480 140504000821728 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22317] ppid=22299 vsize=10551232 memory=737 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22317/stat : 22317 (java) S 22299 22302 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 161709012 10804461568 28263 18446744073709551615 4194304 4196468 140725629638480 140503999769520 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 113052 KiB

[startup+1.50076 s]
/proc/loadavg: 2.01 3.01 3.22 5/218 22317
/proc/meminfo: memFree=23251040/32770624 swapFree=67108776/67108860
[pid=22302] ppid=22299 vsize=10551232 memory=308900 CPUtime=3.84 cores=0,2,4,6
/proc/22302/stat : 22302 (java) S 22299 22302 7084 0 -1 1077944320 23751 0 0 0 371 13 0 0 20 0 15 0 161708994 10804461568 77225 18446744073709551615 4194304 4196468 140725629638480 140725629621024 140504512569079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
/proc/22302/statm: 2637808 77225 3095 1 0 2627261 0
[pid=22302/tid=22304] ppid=22299 vsize=10551232 memory=68028 CPUtime=1.26 cores=0,2,4,6
/proc/22302/task/22304/stat : 22304 (java) R 22299 22302 7084 0 -1 4202560 7004 0 0 0 121 5 0 0 20 0 15 0 161709003 10804461568 77225 18446744073709551615 4194304 4196468 140725629638480 140504516797712 140504103314032 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22305] ppid=22299 vsize=10551232 memory=1296 CPUtime=0.06 cores=0,2,4,6
/proc/22302/task/22305/stat : 22305 (java) S 22299 22302 7084 0 -1 1077944384 129 0 0 0 5 1 0 0 20 0 15 0 161709004 10804461568 77225 18446744073709551615 4194304 4196468 140725629638480 140504442988944 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22306] ppid=22299 vsize=10551232 memory=279899798003552 CPUtime=0.03 cores=0,2,4,6
/proc/22302/task/22306/stat : 22306 (java) S 22299 22302 7084 0 -1 1077944384 32 0 0 0 3 0 0 0 20 0 15 0 161709004 10804461568 77225 18446744073709551615 4194304 4196468 140725629638480 140504441936144 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22307] ppid=22299 vsize=10551232 memory=-7173504570862900581 CPUtime=0.03 cores=0,2,4,6
/proc/22302/task/22307/stat : 22307 (java) S 22299 22302 7084 0 -1 1077944384 77 0 0 0 3 0 0 0 20 0 15 0 161709004 10804461568 77225 18446744073709551615 4194304 4196468 140725629638480 140504440883856 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22308] ppid=22299 vsize=10551232 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/22302/task/22308/stat : 22308 (java) S 22299 22302 7084 0 -1 1077944384 212 0 0 0 6 1 0 0 20 0 15 0 161709004 10804461568 77225 18446744073709551615 4194304 4196468 140725629638480 140504439831056 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22309] ppid=22299 vsize=10551232 memory=-7812736537705029536 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22309/stat : 22309 (java) S 22299 22302 7084 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 161709006 10804461568 77225 18446744073709551615 4194304 4196468 140725629638480 140504008190576 140504512580226 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22310] ppid=22299 vsize=10551232 memory=5791739490257626210 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22310/stat : 22310 (java) S 22299 22302 7084 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 161709006 10804461568 77225 18446744073709551615 4194304 4196468 140725629638480 140504007136544 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22311] ppid=22299 vsize=10551232 memory=6933690330692294553 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22311/stat : 22311 (java) S 22299 22302 7084 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 161709006 10804461568 77225 18446744073709551615 4194304 4196468 140725629638480 140504006084208 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22312] ppid=22299 vsize=10551232 memory=7451884443405019730 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22312/stat : 22312 (java) S 22299 22302 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 161709009 10804461568 77225 18446744073709551615 4194304 4196468 140725629638480 140504005032528 140504512587675 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22313] ppid=22299 vsize=10551232 memory=0 CPUtime=1 cores=0,2,4,6
/proc/22302/task/22313/stat : 22313 (java) R 22299 22302 7084 0 -1 4202560 5945 0 0 0 99 1 0 0 20 0 15 0 161709009 10804461568 77225 18446744073709551615 4194304 4196468 140725629638480 140504003964840 140504493029664 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22314] ppid=22299 vsize=10551232 memory=0 CPUtime=1.04 cores=0,2,4,6
/proc/22302/task/22314/stat : 22314 (java) R 22299 22302 7084 0 -1 4202560 7036 0 0 0 103 1 0 0 20 0 15 0 161709009 10804461568 77225 18446744073709551615 4194304 4196468 140725629638480 140504002912040 140504496065863 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22315] ppid=22299 vsize=10551232 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/22302/task/22315/stat : 22315 (java) S 22299 22302 7084 0 -1 1077944384 1871 0 0 0 26 1 0 0 20 0 15 0 161709009 10804461568 77225 18446744073709551615 4194304 4196468 140725629638480 140504001874288 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22316] ppid=22299 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22316/stat : 22316 (java) S 22299 22302 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 161709009 10804461568 77225 18446744073709551615 4194304 4196468 140725629638480 140504000821728 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22317] ppid=22299 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22317/stat : 22317 (java) S 22299 22302 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 161709012 10804461568 77225 18446744073709551615 4194304 4196468 140725629638480 140503999769520 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
Current children cumulated CPU time: 3.84 s
Current children cumulated vsize: 10551232 KiB

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

/proc/22302/task/22306/stat : 22306 (java) S 22299 22302 7084 0 -1 1077944384 6634 0 0 0 423 52 0 0 20 0 16 0 161709004 10872623104 831490 18446744073709551615 4194304 4196468 140725629638480 140504441936144 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22307] ppid=22299 vsize=10617796 memory=3313672 CPUtime=4.76 cores=0,2,4,6
/proc/22302/task/22307/stat : 22307 (java) S 22299 22302 7084 0 -1 1077944384 4654 0 0 0 423 53 0 0 20 0 16 0 161709004 10872623104 831490 18446744073709551615 4194304 4196468 140725629638480 140504440883856 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22308] ppid=22299 vsize=10617796 memory=3325960 CPUtime=4.77 cores=0,2,4,6
/proc/22302/task/22308/stat : 22308 (java) S 22299 22302 7084 0 -1 1077944384 4734 0 0 0 425 52 0 0 20 0 16 0 161709004 10872623104 831490 18446744073709551615 4194304 4196468 140725629638480 140504439831056 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22309] ppid=22299 vsize=10617796 memory=3287048 CPUtime=2.26 cores=0,2,4,6
/proc/22302/task/22309/stat : 22309 (java) S 22299 22302 7084 0 -1 1077944384 10279 0 0 0 223 3 0 0 20 0 16 0 161709006 10872623104 831490 18446744073709551615 4194304 4196468 140725629638480 140504008190576 140504512580226 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22310] ppid=22299 vsize=10617796 memory=3317768 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22310/stat : 22310 (java) S 22299 22302 7084 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 161709006 10872623104 831490 18446744073709551615 4194304 4196468 140725629638480 140504007136608 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22311] ppid=22299 vsize=10617796 memory=3317768 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22311/stat : 22311 (java) S 22299 22302 7084 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 161709006 10872623104 831490 18446744073709551615 4194304 4196468 140725629638480 140504006084224 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22312] ppid=22299 vsize=10617796 memory=3315720 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22312/stat : 22312 (java) S 22299 22302 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 161709009 10872623104 831490 18446744073709551615 4194304 4196468 140725629638480 140504005032528 140504512587675 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22313] ppid=22299 vsize=10617796 memory=2008 CPUtime=2.72 cores=0,2,4,6
/proc/22302/task/22313/stat : 22313 (java) S 22299 22302 7084 0 -1 1077944384 17256 0 0 0 270 2 0 0 20 0 16 0 161709009 10872623104 831490 18446744073709551615 4194304 4196468 140725629638480 140504003979376 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22314] ppid=22299 vsize=10617796 memory=3323912 CPUtime=2.73 cores=0,2,4,6
/proc/22302/task/22314/stat : 22314 (java) S 22299 22302 7084 0 -1 1077944384 16268 0 0 0 272 1 0 0 20 0 16 0 161709009 10872623104 831490 18446744073709551615 4194304 4196468 140725629638480 140504002926576 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22315] ppid=22299 vsize=10617796 memory=3323912 CPUtime=0.46 cores=0,2,4,6
/proc/22302/task/22315/stat : 22315 (java) S 22299 22302 7084 0 -1 1077944384 6447 0 0 0 44 2 0 0 20 0 16 0 161709009 10872623104 831490 18446744073709551615 4194304 4196468 140725629638480 140504001874288 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22316] ppid=22299 vsize=10617796 memory=3295240 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22316/stat : 22316 (java) S 22299 22302 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 161709009 10872623104 831490 18446744073709551615 4194304 4196468 140725629638480 140504000821728 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22317] ppid=22299 vsize=10617796 memory=3295240 CPUtime=1.38 cores=0,2,4,6
/proc/22302/task/22317/stat : 22317 (java) S 22299 22302 7084 0 -1 1077944384 3631 0 0 0 71 67 0 0 20 0 16 0 161709012 10872623104 831490 18446744073709551615 4194304 4196468 140725629638480 140503999769520 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22318] ppid=22299 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22318/stat : 22318 (java) S 22299 22302 7084 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 161709766 10872623104 831490 18446744073709551615 4194304 4196468 140725629638480 140503998715056 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
Current children cumulated CPU time: 2463.48 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3325960 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2495.7 s]
/proc/loadavg: 2.00 2.06 2.35 3/217 22735
/proc/meminfo: memFree=27429676/32770624 swapFree=67108776/67108860
[pid=22302] ppid=22299 vsize=10617796 memory=3799308 CPUtime=2520.02 cores=0,2,4,6
/proc/22302/stat : 22302 (java) S 22299 22302 7084 0 -1 1077944320 250328 0 0 0 251636 366 0 0 20 0 16 0 161708994 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140725629621024 140504512569079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
/proc/22302/statm: 2654449 949827 3145 1 0 2643902 0
[pid=22302/tid=22304] ppid=22299 vsize=10617796 memory=3799308 CPUtime=2487.11 cores=0,2,4,6
/proc/22302/task/22304/stat : 22304 (java) R 22299 22302 7084 0 -1 4202560 166166 0 0 0 248674 37 0 0 20 0 16 0 161709003 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140504516808096 140504106269292 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22305] ppid=22299 vsize=10617796 memory=3799308 CPUtime=5.8 cores=0,2,4,6
/proc/22302/task/22305/stat : 22305 (java) S 22299 22302 7084 0 -1 1077944384 6520 0 0 0 513 67 0 0 20 0 16 0 161709004 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140504442988944 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22306] ppid=22299 vsize=10617796 memory=3799308 CPUtime=5.8 cores=0,2,4,6
/proc/22302/task/22306/stat : 22306 (java) S 22299 22302 7084 0 -1 1077944384 7539 0 0 0 513 67 0 0 20 0 16 0 161709004 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140504441936144 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22307] ppid=22299 vsize=10617796 memory=3799308 CPUtime=5.8 cores=0,2,4,6
/proc/22302/task/22307/stat : 22307 (java) S 22299 22302 7084 0 -1 1077944384 5664 0 0 0 513 67 0 0 20 0 16 0 161709004 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140504440883856 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22308] ppid=22299 vsize=10617796 memory=3799308 CPUtime=5.82 cores=0,2,4,6
/proc/22302/task/22308/stat : 22308 (java) S 22299 22302 7084 0 -1 1077944384 5893 0 0 0 516 66 0 0 20 0 16 0 161709004 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140504439831056 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22309] ppid=22299 vsize=10617796 memory=3799308 CPUtime=2.28 cores=0,2,4,6
/proc/22302/task/22309/stat : 22309 (java) S 22299 22302 7084 0 -1 1077944384 13492 0 0 0 225 3 0 0 20 0 16 0 161709006 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140504008190576 140504512580226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22310] ppid=22299 vsize=10617796 memory=3799308 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22310/stat : 22310 (java) S 22299 22302 7084 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 161709006 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140504007136608 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22311] ppid=22299 vsize=10617796 memory=3799308 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22311/stat : 22311 (java) S 22299 22302 7084 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 161709006 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140504006084224 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22312] ppid=22299 vsize=10617796 memory=3799308 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22312/stat : 22312 (java) S 22299 22302 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 161709009 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140504005032528 140504512587675 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22313] ppid=22299 vsize=10617796 memory=3799308 CPUtime=2.72 cores=0,2,4,6
/proc/22302/task/22313/stat : 22313 (java) S 22299 22302 7084 0 -1 1077944384 17256 0 0 0 270 2 0 0 20 0 16 0 161709009 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140504003979376 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22314] ppid=22299 vsize=10617796 memory=3799308 CPUtime=2.73 cores=0,2,4,6
/proc/22302/task/22314/stat : 22314 (java) S 22299 22302 7084 0 -1 1077944384 16270 0 0 0 272 1 0 0 20 0 16 0 161709009 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140504002926576 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22315] ppid=22299 vsize=10617796 memory=3799308 CPUtime=0.46 cores=0,2,4,6
/proc/22302/task/22315/stat : 22315 (java) S 22299 22302 7084 0 -1 1077944384 6447 0 0 0 44 2 0 0 20 0 16 0 161709009 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140504001874288 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22316] ppid=22299 vsize=10617796 memory=3799308 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22316/stat : 22316 (java) S 22299 22302 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 161709009 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140504000821728 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22317] ppid=22299 vsize=10617796 memory=15884 CPUtime=1.41 cores=0,2,4,6
/proc/22302/task/22317/stat : 22317 (java) S 22299 22302 7084 0 -1 1077944384 3668 0 0 0 73 68 0 0 20 0 16 0 161709012 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140503999769520 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22318] ppid=22299 vsize=10617796 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22318/stat : 22318 (java) S 22299 22302 7084 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 161709766 10872623104 949827 18446744073709551615 4194304 4196468 140725629638480 140503998715056 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3799308 KiB

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

[startup+2495.93 s]
# the end of solver process 22302 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.56 s, system=3.69023 s

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

[startup+2495.81 s]
/proc/loadavg: 2.00 2.06 2.35 3/217 22735
/proc/meminfo: memFree=27429676/32770624 swapFree=67108776/67108860
[pid=22302] ppid=22299 vsize=10817488 memory=3799684 CPUtime=2520.13 cores=0,2,4,6
/proc/22302/stat : 22302 (java) S 22299 22302 7084 0 -1 1077944320 251708 0 0 0 251647 366 0 0 20 0 17 0 161708994 11077107712 949921 18446744073709551615 4194304 4196468 140725629638480 140725629621024 140504512569079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
/proc/22302/statm: 2704372 949921 3147 1 0 2693825 0
[pid=22302/tid=22304] ppid=22299 vsize=10817488 memory=3076 CPUtime=2487.21 cores=0,2,4,6
/proc/22302/task/22304/stat : 22304 (java) R 22299 22302 7084 0 -1 4202560 166414 0 0 0 248684 37 0 0 20 0 17 0 161709003 11077107712 949921 18446744073709551615 4194304 4196468 140725629638480 140504516806264 140504105716468 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22305] ppid=22299 vsize=10817488 memory=3048 CPUtime=5.8 cores=0,2,4,6
/proc/22302/task/22305/stat : 22305 (java) S 22299 22302 7084 0 -1 1077944384 6520 0 0 0 513 67 0 0 20 0 17 0 161709004 11077107712 949921 18446744073709551615 4194304 4196468 140725629638480 140504442988944 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22306] ppid=22299 vsize=10817488 memory=1152 CPUtime=5.8 cores=0,2,4,6
/proc/22302/task/22306/stat : 22306 (java) S 22299 22302 7084 0 -1 1077944384 7539 0 0 0 513 67 0 0 20 0 17 0 161709004 11077107712 949921 18446744073709551615 4194304 4196468 140725629638480 140504441936144 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22307] ppid=22299 vsize=10817488 memory=3240 CPUtime=5.8 cores=0,2,4,6
/proc/22302/task/22307/stat : 22307 (java) S 22299 22302 7084 0 -1 1077944384 5664 0 0 0 513 67 0 0 20 0 17 0 161709004 11077107712 949921 18446744073709551615 4194304 4196468 140725629638480 140504440883856 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22308] ppid=22299 vsize=10817488 memory=3799308 CPUtime=5.82 cores=0,2,4,6
/proc/22302/task/22308/stat : 22308 (java) S 22299 22302 7084 0 -1 1077944384 5893 0 0 0 516 66 0 0 20 0 17 0 161709004 11077107712 949921 18446744073709551615 4194304 4196468 140725629638480 140504439831056 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22309] ppid=22299 vsize=10817488 memory=1152 CPUtime=2.28 cores=0,2,4,6
/proc/22302/task/22309/stat : 22309 (java) S 22299 22302 7084 0 -1 1077944384 13535 0 0 0 225 3 0 0 20 0 17 0 161709006 11077107712 949921 18446744073709551615 4194304 4196468 140725629638480 140504008190576 140504512580226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22310] ppid=22299 vsize=10817488 memory=3799308 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22310/stat : 22310 (java) S 22299 22302 7084 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 161709006 11077107712 949921 18446744073709551615 4194304 4196468 140725629638480 140504007136608 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22311] ppid=22299 vsize=10817488 memory=1398720917958146503 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22311/stat : 22311 (java) S 22299 22302 7084 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 161709006 11077107712 949921 18446744073709551615 4194304 4196468 140725629638480 140504006084224 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22312] ppid=22299 vsize=10817488 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22312/stat : 22312 (java) S 22299 22302 7084 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 17 0 161709009 11077107712 949921 18446744073709551615 4194304 4196468 140725629638480 140504005032528 140504512587675 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22313] ppid=22299 vsize=10817488 memory=1296 CPUtime=2.72 cores=0,2,4,6
/proc/22302/task/22313/stat : 22313 (java) S 22299 22302 7084 0 -1 1077944384 17325 0 0 0 270 2 0 0 20 0 17 0 161709009 11077107712 949921 18446744073709551615 4194304 4196468 140725629638480 140504003979376 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22314] ppid=22299 vsize=10817488 memory=2460 CPUtime=2.74 cores=0,2,4,6
/proc/22302/task/22314/stat : 22314 (java) S 22299 22302 7084 0 -1 1077944384 16531 0 0 0 273 1 0 0 20 0 17 0 161709009 11077107712 949921 18446744073709551615 4194304 4196468 140725629638480 140504002926576 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22315] ppid=22299 vsize=10817488 memory=1836 CPUtime=0.46 cores=0,2,4,6
/proc/22302/task/22315/stat : 22315 (java) S 22299 22302 7084 0 -1 1077944384 6665 0 0 0 44 2 0 0 20 0 17 0 161709009 11077107712 949921 18446744073709551615 4194304 4196468 140725629638480 140504001874288 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22316] ppid=22299 vsize=10817488 memory=796 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22316/stat : 22316 (java) S 22299 22302 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 161709009 11077107712 949921 18446744073709551615 4194304 4196468 140725629638480 140504000821728 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22317] ppid=22299 vsize=10817488 memory=5768 CPUtime=1.41 cores=0,2,4,6
/proc/22302/task/22317/stat : 22317 (java) S 22299 22302 7084 0 -1 1077944384 3668 0 0 0 73 68 0 0 20 0 17 0 161709012 11077107712 949921 18446744073709551615 4194304 4196468 140725629638480 140503999769520 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
Current children cumulated CPU time: 2520.13 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3799684 KiB

[startup+2495.9 s]
/proc/loadavg: 2.00 2.06 2.35 3/217 22735
/proc/meminfo: memFree=27429676/32770624 swapFree=67108776/67108860
[pid=22302] ppid=22299 vsize=10817488 memory=3799688 CPUtime=2520.21 cores=0,2,4,6
/proc/22302/stat : 22302 (java) S 22299 22302 7084 0 -1 1077944320 251720 0 0 0 251655 366 0 0 20 0 17 0 161708994 11077107712 949922 18446744073709551615 4194304 4196468 140725629638480 140725629621024 140504512569079 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
/proc/22302/statm: 2704372 949922 3147 1 0 2693825 0
[pid=22302/tid=22304] ppid=22299 vsize=10817488 memory=3799308 CPUtime=2487.28 cores=0,2,4,6
/proc/22302/task/22304/stat : 22304 (java) S 22299 22302 7084 0 -1 1077944384 166426 0 0 0 248691 37 0 0 20 0 17 0 161709003 11077107712 949922 18446744073709551615 4194304 4196468 140725629638480 140504516811952 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22305] ppid=22299 vsize=10817488 memory=3799308 CPUtime=5.8 cores=0,2,4,6
/proc/22302/task/22305/stat : 22305 (java) S 22299 22302 7084 0 -1 1077944384 6520 0 0 0 513 67 0 0 20 0 17 0 161709004 11077107712 949922 18446744073709551615 4194304 4196468 140725629638480 140504442988944 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22306] ppid=22299 vsize=10817488 memory=3799308 CPUtime=5.8 cores=0,2,4,6
/proc/22302/task/22306/stat : 22306 (java) S 22299 22302 7084 0 -1 1077944384 7539 0 0 0 513 67 0 0 20 0 17 0 161709004 11077107712 949922 18446744073709551615 4194304 4196468 140725629638480 140504441936144 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22307] ppid=22299 vsize=10817488 memory=3799308 CPUtime=5.8 cores=0,2,4,6
/proc/22302/task/22307/stat : 22307 (java) S 22299 22302 7084 0 -1 1077944384 5664 0 0 0 513 67 0 0 20 0 17 0 161709004 11077107712 949922 18446744073709551615 4194304 4196468 140725629638480 140504440883856 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22308] ppid=22299 vsize=10817488 memory=3799308 CPUtime=5.82 cores=0,2,4,6
/proc/22302/task/22308/stat : 22308 (java) S 22299 22302 7084 0 -1 1077944384 5893 0 0 0 516 66 0 0 20 0 17 0 161709004 11077107712 949922 18446744073709551615 4194304 4196468 140725629638480 140504439831056 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22309] ppid=22299 vsize=10817488 memory=3799308 CPUtime=2.28 cores=0,2,4,6
/proc/22302/task/22309/stat : 22309 (java) S 22299 22302 7084 0 -1 1077944384 13535 0 0 0 225 3 0 0 20 0 17 0 161709006 11077107712 949922 18446744073709551615 4194304 4196468 140725629638480 140504008190576 140504512580226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22310] ppid=22299 vsize=10817488 memory=3799308 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22310/stat : 22310 (java) S 22299 22302 7084 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 161709006 11077107712 949922 18446744073709551615 4194304 4196468 140725629638480 140504007136608 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22311] ppid=22299 vsize=10817488 memory=3799308 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22311/stat : 22311 (java) S 22299 22302 7084 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 161709006 11077107712 949922 18446744073709551615 4194304 4196468 140725629638480 140504006084224 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22312] ppid=22299 vsize=10817488 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22312/stat : 22312 (java) S 22299 22302 7084 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 17 0 161709009 11077107712 949922 18446744073709551615 4194304 4196468 140725629638480 140504005032528 140504512587675 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22313] ppid=22299 vsize=10817488 memory=3799308 CPUtime=2.72 cores=0,2,4,6
/proc/22302/task/22313/stat : 22313 (java) S 22299 22302 7084 0 -1 1077944384 17325 0 0 0 270 2 0 0 20 0 17 0 161709009 11077107712 949922 18446744073709551615 4194304 4196468 140725629638480 140504003979376 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22314] ppid=22299 vsize=10817488 memory=68144 CPUtime=2.74 cores=0,2,4,6
/proc/22302/task/22314/stat : 22314 (java) S 22299 22302 7084 0 -1 1077944384 16531 0 0 0 273 1 0 0 20 0 17 0 161709009 11077107712 949922 18446744073709551615 4194304 4196468 140725629638480 140504002926576 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22315] ppid=22299 vsize=10817488 memory=3799308 CPUtime=0.46 cores=0,2,4,6
/proc/22302/task/22315/stat : 22315 (java) S 22299 22302 7084 0 -1 1077944384 6665 0 0 0 44 2 0 0 20 0 17 0 161709009 11077107712 949922 18446744073709551615 4194304 4196468 140725629638480 140504001874288 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22316] ppid=22299 vsize=10817488 memory=3799308 CPUtime=0 cores=0,2,4,6
/proc/22302/task/22316/stat : 22316 (java) S 22299 22302 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 161709009 11077107712 949922 18446744073709551615 4194304 4196468 140725629638480 140504000821728 140504512579285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
[pid=22302/tid=22317] ppid=22299 vsize=10817488 memory=16444 CPUtime=1.41 cores=0,2,4,6
/proc/22302/task/22317/stat : 22317 (java) S 22299 22302 7084 0 -1 1077944384 3668 0 0 0 73 68 0 0 20 0 17 0 161709012 11077107712 949922 18446744073709551615 4194304 4196468 140725629638480 140503999769520 140504512580226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12140544 140725629641104 140725629641257 140725629641257 140725629644751 0
Current children cumulated CPU time: 2520.21 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3799688 KiB

Child status: 143
Real time (s): 2495.93
CPU time (s): 2520.25
CPU user time (s): 2516.56
CPU system time (s): 3.69023
CPU usage (%): 100.974
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 3799688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.56
system time used= 3.69023
maximum resident set size= 3800116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252446
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57000
involuntary context switches= 3298


# summary of solver processes directly reported to runsolver:
#   pid: 22302
#   total CPU time (s): 2520.25
#   total CPU user time (s): 2516.56
#   total CPU system time (s): 3.69023

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0959 second user time and 23.2283 second system time

The end

Name	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml
MD5SUM	ca8832984a17c67db3e889c6d91adcf4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	66
Best CPU time to get the best result obtained on this benchmark	2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	1056
Number of constraints	75
Number of domains	2
Minimum domain size	5
Maximum domain size	32
Distribution of domain sizes	[{"size":5,"count":74},{"size":32,"count":32}]
Minimum variable degree	0
Maximum variable degree	11
Distribution of variable degrees	[{"degree":0,"count":950},{"degree":1,"count":7},{"degree":2,"count":75},{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":4},{"degree":7,"count":8},{"degree":8,"count":6},{"degree":9,"count":2},{"degree":11,"count":1}]
Minimum constraint arity	3
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":3,"count":74},{"arity":32,"count":1}]
Number of extensional constraints	74
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":74},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4263032

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