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

Solver Name	Answer	objective function	CPU time	Wall clock time
sat4j-CSP 2017-07-05	SAT (TO)	120	243.07001	240.215

1.60/0.82	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
1.60/0.82	c This is free software under the dual EPL/GNU LGPL licenses.
1.60/0.82	c See www.sat4j.org for details.
1.60/0.82	c That software uses the Rhino library from the Mozilla project.
1.60/0.82	c version CUSTOM.v20170705
1.60/0.82	c java.runtime.name	Java(TM) SE Runtime Environment
1.60/0.82	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
1.60/0.82	c java.vm.version	25.131-b11
1.60/0.82	c java.vm.vendor	Oracle Corporation
1.60/0.82	c sun.arch.data.model	64
1.60/0.82	c java.version		1.8.0_131
1.60/0.82	c os.name		Linux
1.60/0.82	c os.version		3.10.0-514.16.1.el7.x86_64
1.60/0.82	c os.arch		amd64
1.60/0.82	c Free memory 		499604488
1.60/0.82	c Max memory 		7247757312
1.60/0.82	c Total memory 		504889344
1.60/0.82	c Number of processors 	4
1.60/0.82	c c --- Begin Solver configuration ---
1.60/0.82	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
1.60/0.82	c Learn all clauses as in MiniSAT
1.60/0.82	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
1.60/0.82	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
1.60/0.82	c No reason simplification
1.60/0.82	c Glucose 2.1 dynamic restart strategy
1.60/0.82	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
1.60/0.82	c timeout=2147483s
1.60/0.82	c DB Simplification allowed=false
1.60/0.82	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
1.60/0.82	c --- End Solver configuration ---
1.60/0.82	c constraints type 
1.60/0.82	c org.sat4j.minisat.constraints.card.MinWatchCard => 1250
1.60/0.82	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1088
1.60/0.82	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 296920
1.60/0.82	c org.sat4j.minisat.constraints.cnf.UnitClause => 1184
1.60/0.82	c 300442 constraints processed.
2.24/1.00	o 532
2.24/1.09	o 316
2.73/1.26	o 284
2.90/1.32	o 252
3.48/1.89	o 192
10.34/8.14	o 172
31.84/29.37	o 156
38.63/36.08	o 136
66.87/64.19	o 132
203.87/200.95	o 120
243.05/240.20	c starts		: 261
243.05/240.20	c conflicts		: 475085
243.05/240.20	c decisions		: 563092
243.05/240.20	c propagations		: 891672480
243.05/240.20	c inspects		: 2722842696
243.05/240.20	c shortcuts		: 0
243.05/240.20	c learnt literals	: 7
243.05/240.20	c learnt binary clauses	: 251
243.05/240.20	c learnt ternary clauses	: 1604
243.05/240.20	c learnt constraints	: 475078
243.05/240.20	c ignored constraints	: 0
243.05/240.20	c root simplifications	: 0
243.05/240.20	c removed literals (reason simplification)	: 0
243.05/240.20	c reason swapping (by a shorter reason)	: 0
243.05/240.20	c Calls to reduceDB	: 45
243.05/240.20	c Number of update (reduction) of LBD	: 113688
243.05/240.20	c Imported unit clauses	: 0
243.05/240.20	c number of reductions to clauses (during analyze)	: 0
243.05/240.20	c number of learned constraints concerned by reduction	: 0
243.05/240.20	c number of learning phase by resolution	: 0
243.05/240.20	c number of learning phase by cutting planes	: 0
243.05/240.20	c number of rounding to 1 operations	: 0
243.05/240.20	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
243.05/240.20	c number of reductions of the coefficients by power 2 	: 0
243.05/240.20	c number of right shift for reduction by power 2 	: 0
243.05/240.20	c number of reductions of the coefficients by GCD over coefficients 	: 0
243.05/240.20	c speed (assignments/second)	: 3725111.4601784702
243.05/240.20	c non guided choices	17222
243.05/240.20	c learnt constraints type 
243.05/240.20	s SATISFIABLE
243.05/240.21	v <instantiation type="solution">
243.05/240.21	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] x[32] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] </list>
243.05/240.21	v 	<values> 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 1 -2 1 0 -3 2 -3 4 1 0 -3 0 1 0 1 0 1 0 1 -4 1 0 1 -4 -1 0 -3 4 -1 0 1 0 1 4 1 0 9 4 9 16 1 0 9 0 1 0 1 0 1 0 1 16 1 0 1 16 1 0 9 16 1 0 1 </values>
243.05/240.21	v </instantiation>
243.05/240.21

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258059-1501649989/watcher-4258059-1501649989 -o /tmp/evaluation-result-4258059-1501649989/solver-4258059-1501649989 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501638806-11704 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258059-1501649989.xml 

pid=24653
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.03 2.04 2.36 3/198 24656
/proc/meminfo: memFree=31413316/32770624 swapFree=0/260844
[pid=24656] ppid=24653 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24656/stat : 24656 (runsolver) D 24653 24656 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 64652401 24240128 107 18446744073709551615 4194304 4338465 140728093004224 140728093001864 140510904509143 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 11427840 140728093012102 140728093012549 140728093012549 140728093016010 0
/proc/24656/statm: 5918 107 54 36 0 2156 0

[startup+0.102042 s]
/proc/loadavg: 2.03 2.04 2.36 3/198 24656
/proc/meminfo: memFree=31413316/32770624 swapFree=0/260844
[pid=24656] ppid=24653 vsize=10151672 CPUtime=0.04 cores=1,3,5,7
/proc/24656/stat : 24656 (java) S 24653 24656 18930 0 -1 1077944320 4295 0 0 0 3 1 0 0 20 0 9 0 64652401 10395312128 5400 18446744073709551615 4194304 4196468 140726514209392 140726514191936 139649084006135 0 0 1 16800970 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
/proc/24656/statm: 2537918 5400 2114 1 0 2527423 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10151672

[startup+0.200292 s]
/proc/loadavg: 2.03 2.04 2.36 3/198 24656
/proc/meminfo: memFree=31413316/32770624 swapFree=0/260844
[pid=24656] ppid=24653 vsize=10551156 CPUtime=0.09 cores=1,3,5,7
/proc/24656/stat : 24656 (java) S 24653 24656 18930 0 -1 1077944320 5315 0 0 0 8 1 0 0 20 0 15 0 64652401 10804383744 7344 18446744073709551615 4194304 4196468 140726514209392 140726514191936 139649084006135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
/proc/24656/statm: 2637789 7344 2740 1 0 2627269 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10551156

[startup+0.30092 s]
/proc/loadavg: 2.03 2.04 2.36 3/198 24656
/proc/meminfo: memFree=31413316/32770624 swapFree=0/260844
[pid=24656] ppid=24653 vsize=10551156 CPUtime=0.25 cores=1,3,5,7
/proc/24656/stat : 24656 (java) S 24653 24656 18930 0 -1 1077944320 8447 0 0 0 22 3 0 0 20 0 15 0 64652401 10804383744 9741 18446744073709551615 4194304 4196468 140726514209392 140726514191936 139649084006135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
/proc/24656/statm: 2637789 9741 2856 1 0 2627269 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10551156

[startup+0.700871 s]
/proc/loadavg: 2.03 2.04 2.36 3/198 24656
/proc/meminfo: memFree=31413316/32770624 swapFree=0/260844
[pid=24656] ppid=24653 vsize=10551232 CPUtime=1.3 cores=1,3,5,7
/proc/24656/stat : 24656 (java) S 24653 24656 18930 0 -1 1077944320 12587 0 0 0 125 5 0 0 20 0 15 0 64652401 10804461568 21581 18446744073709551615 4194304 4196468 140726514209392 140726514191936 139649084006135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
/proc/24656/statm: 2637808 21581 3056 1 0 2627269 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 10551232

[startup+1.50069 s]
/proc/loadavg: 1.95 2.02 2.36 3/214 24672
/proc/meminfo: memFree=31282060/32770624 swapFree=0/260844
[pid=24656] ppid=24653 vsize=10617796 CPUtime=3.15 cores=1,3,5,7
/proc/24656/stat : 24656 (java) S 24653 24656 18930 0 -1 1077944320 15261 0 0 0 309 6 0 0 20 0 16 0 64652401 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 140726514191936 139649084006135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
/proc/24656/statm: 2654449 36947 3065 1 0 2643910 0
[pid=24656/tid=24658] ppid=24653 vsize=10617796 CPUtime=1.36 cores=1,3,5,7
/proc/24656/task/24658/stat : 24658 (java) R 24653 24656 18930 0 -1 4202560 8135 0 0 0 132 4 0 0 20 0 16 0 64652407 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 139649088242928 139648728943073 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24659] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (java) S 24653 24656 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 139649051565200 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24660] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24660/stat : 24660 (java) S 24653 24656 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 139648693779472 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24661] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (java) S 24653 24656 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 139648692726672 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24662] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (java) S 24653 24656 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 139648691673872 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24663] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24663/stat : 24663 (java) S 24653 24656 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 64652409 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 139648648096112 139649084017282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24664] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24664/stat : 24664 (java) S 24653 24656 18930 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 16 0 64652409 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 139648123790368 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24665] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24665/stat : 24665 (java) S 24653 24656 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 64652410 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 139648122737520 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24666] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24666/stat : 24666 (java) S 24653 24656 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64652412 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 139648121685840 139649084024731 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24667] ppid=24653 vsize=10617796 CPUtime=0.67 cores=1,3,5,7
/proc/24656/task/24667/stat : 24667 (java) S 24653 24656 18930 0 -1 1077944384 2210 0 0 0 67 0 0 0 20 0 16 0 64652412 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 139648120634224 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24668] ppid=24653 vsize=10617796 CPUtime=0.66 cores=1,3,5,7
/proc/24656/task/24668/stat : 24668 (java) S 24653 24656 18930 0 -1 1077944384 1613 0 0 0 66 0 0 0 20 0 16 0 64652412 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 139648119581424 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24669] ppid=24653 vsize=10617796 CPUtime=0.43 cores=1,3,5,7
/proc/24656/task/24669/stat : 24669 (java) S 24653 24656 18930 0 -1 1077944384 1934 0 0 0 43 0 0 0 20 0 16 0 64652412 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 139648118528624 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24670] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24670/stat : 24670 (java) S 24653 24656 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64652412 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 139648117476064 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24671] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24671/stat : 24671 (java) S 24653 24656 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64652418 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 139648116423344 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24672] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24672/stat : 24672 (java) S 24653 24656 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 64652485 10872623104 36947 18446744073709551615 4194304 4196468 140726514209392 139648115368880 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 10617796

[startup+3.10073 s]
/proc/loadavg: 1.95 2.02 2.36 4/214 24672
/proc/meminfo: memFree=31274544/32770624 swapFree=0/260844
[pid=24656] ppid=24653 vsize=10617796 CPUtime=5.11 cores=1,3,5,7
/proc/24656/stat : 24656 (java) S 24653 24656 18930 0 -1 1077944320 17762 0 0 0 505 6 0 0 20 0 16 0 64652401 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 140726514191936 139649084006135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
/proc/24656/statm: 2654449 37888 3066 1 0 2643910 0
[pid=24656/tid=24658] ppid=24653 vsize=10617796 CPUtime=2.96 cores=1,3,5,7
/proc/24656/task/24658/stat : 24658 (java) R 24653 24656 18930 0 -1 4202560 8752 0 0 0 292 4 0 0 20 0 16 0 64652407 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 139649088242208 139648728943001 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24659] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (java) S 24653 24656 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 139649051565200 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24660] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24660/stat : 24660 (java) S 24653 24656 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 139648693779472 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24661] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (java) S 24653 24656 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 139648692726672 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24662] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (java) S 24653 24656 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 139648691673872 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24663] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24663/stat : 24663 (java) S 24653 24656 18930 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 64652409 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 139648648096112 139649084017282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24664] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24664/stat : 24664 (java) S 24653 24656 18930 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 16 0 64652409 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 139648123790368 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24665] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24665/stat : 24665 (java) S 24653 24656 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 64652410 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 139648122737520 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24666] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24666/stat : 24666 (java) S 24653 24656 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64652412 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 139648121685840 139649084024731 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24667] ppid=24653 vsize=10617796 CPUtime=0.89 cores=1,3,5,7
/proc/24656/task/24667/stat : 24667 (java) S 24653 24656 18930 0 -1 1077944384 3310 0 0 0 89 0 0 0 20 0 16 0 64652412 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 139648120634224 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24668] ppid=24653 vsize=10617796 CPUtime=0.77 cores=1,3,5,7
/proc/24656/task/24668/stat : 24668 (java) S 24653 24656 18930 0 -1 1077944384 2214 0 0 0 77 0 0 0 20 0 16 0 64652412 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 139648119581424 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24669] ppid=24653 vsize=10617796 CPUtime=0.44 cores=1,3,5,7
/proc/24656/task/24669/stat : 24669 (java) S 24653 24656 18930 0 -1 1077944384 2056 0 0 0 44 0 0 0 20 0 16 0 64652412 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 139648118528624 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24670] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24670/stat : 24670 (java) S 24653 24656 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64652412 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 139648117476064 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24671] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24671/stat : 24671 (java) S 24653 24656 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 64652418 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 139648116423344 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24672] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24672/stat : 24672 (java) S 24653 24656 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 64652485 10872623104 37888 18446744073709551615 4194304 4196468 140726514209392 139648115368880 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
Current children cumulated CPU time (s) 5.11
Current children cumulated vsize (KiB) 10617796

[startup+6.30073 s]
/proc/loadavg: 1.87 2.01 2.35 4/207 24747
/proc/meminfo: memFree=31653308/32770624 swapFree=0/260848
[pid=24656] ppid=24653 vsize=10617796 CPUtime=8.54 cores=1,3,5,7
/proc/24656/stat : 24656 (java) S 24653 24656 18930 0 -1 1077944320 21238 0 0 0 848 6 0 0 20 0 16 0 64652401 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 140726514191936 139649084006135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
/proc/24656/statm: 2654449 39140 3075 1 0 2643910 0
[pid=24656/tid=24658] ppid=24653 vsize=10617796 CPUtime=6.16 cores=1,3,5,7
/proc/24656/task/24658/stat : 24658 (java) R 24653 24656 18930 0 -1 4202560 9108 0 0 0 612 4 0 0 20 0 16 0 64652407 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 139649088242224 139648728871646 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24659] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (java) S 24653 24656 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 139649051565200 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24660] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24660/stat : 24660 (java) S 24653 24656 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 139648693779472 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24661] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (java) S 24653 24656 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 139648692726672 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24662] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (java) S 24653 24656 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 139648691673872 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24663] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24663/stat : 24663 (java) S 24653 24656 18930 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 16 0 64652409 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 139648648096112 139649084017282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24664] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24664/stat : 24664 (java) S 24653 24656 18930 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 16 0 64652409 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 139648123790368 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24665] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24665/stat : 24665 (java) S 24653 24656 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 64652410 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 139648122737520 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24666] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24666/stat : 24666 (java) S 24653 24656 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64652412 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 139648121685840 139649084024731 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24667] ppid=24653 vsize=10617796 CPUtime=1.08 cores=1,3,5,7
/proc/24656/task/24667/stat : 24667 (java) S 24653 24656 18930 0 -1 1077944384 5129 0 0 0 108 0 0 0 20 0 16 0 64652412 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 139648120634224 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24668] ppid=24653 vsize=10617796 CPUtime=0.8 cores=1,3,5,7
/proc/24656/task/24668/stat : 24668 (java) S 24653 24656 18930 0 -1 1077944384 3121 0 0 0 80 0 0 0 20 0 16 0 64652412 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 139648119581424 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24669] ppid=24653 vsize=10617796 CPUtime=0.45 cores=1,3,5,7
/proc/24656/task/24669/stat : 24669 (java) S 24653 24656 18930 0 -1 1077944384 2160 0 0 0 45 0 0 0 20 0 16 0 64652412 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 139648118528624 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24670] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24670/stat : 24670 (java) S 24653 24656 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64652412 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 139648117476064 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24671] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24671/stat : 24671 (java) S 24653 24656 18930 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 64652418 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 139648116423344 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24672] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24672/stat : 24672 (java) S 24653 24656 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 64652485 10872623104 39140 18446744073709551615 4194304 4196468 140726514209392 139648115368880 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
Current children cumulated CPU time (s) 8.54
Current children cumulated vsize (KiB) 10617796

[startup+12.7008 s]
/proc/loadavg: 1.88 2.01 2.35 3/214 24754
/proc/meminfo: memFree=31293500/32770624 swapFree=0/260892
[pid=24656] ppid=24653 vsize=10617796 CPUtime=15.07 cores=1,3,5,7
/proc/24656/stat : 24656 (java) S 24653 24656 18930 0 -1 1077944320 24158 0 0 0 1500 7 0 0 20 0 16 0 64652401 10872623104 41312 18446744073709551615 4194304 4196468 140726514209392 140726514191936 139649084006135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
/proc/24656/statm: 2654449 41312 3081 1 0 2643910 0
[pid=24656/tid=24658] ppid=24653 vsize=10617796 CPUtime=12.56 cores=1,3,5,7
/proc/24656/task/24658/stat : 24658 (java) R 24653 24656 18930 0 -1 4202560 9754 0 0 0 1252 4 0 0 20 0 16 0 64652407 10872623104 41312 18446744073709551615 4194304 4196468 140726514209392 139649088242920 139648728721036 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24659] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (java) S 24653 24656 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 41312 18446744073709551615 4194304 4196468 140726514209392 139649051565200 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24660] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24660/stat : 24660 (java) S 24653 24656 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 41312 18446744073709551615 4194304 4196468 140726514209392 139648693779472 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24661] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (java) S 24653 24656 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 41312 18446744073709551615 4194304 4196468 140726514209392 139648692726672 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24662] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (java) S 24653 24656 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 64652407 10872623104 41312 18446744073709551615 4194304 4196468 140726514209392 139648691673872 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24663] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24663/stat : 24663 (java) S 24653 24656 18930 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 16 0 64652409 10872623104 41312 18446744073709551615 4194304 4196468 140726514209392 139648648096112 139649084017282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0

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

[startup+162.301 s]
/proc/loadavg: 1.91 1.96 2.28 3/215 24760
/proc/meminfo: memFree=31070556/32770624 swapFree=0/260996
[pid=24656] ppid=24653 vsize=10617796 CPUtime=165.13 cores=1,3,5,7
/proc/24656/stat : 24656 (java) S 24653 24656 18930 0 -1 1077944320 32971 0 0 0 16497 16 0 0 20 0 16 0 64652401 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 140726514191936 139649084006135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
/proc/24656/statm: 2654449 54730 3113 1 0 2643910 0
[pid=24656/tid=24658] ppid=24653 vsize=10617796 CPUtime=162.11 cores=1,3,5,7
/proc/24656/task/24658/stat : 24658 (java) R 24653 24656 18930 0 -1 4202560 11582 0 0 0 16207 4 0 0 20 0 16 0 64652407 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 139649088244856 139648728942559 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24659] ppid=24653 vsize=10617796 CPUtime=0.03 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (java) S 24653 24656 18930 0 -1 1077944384 92 0 0 0 2 1 0 0 20 0 16 0 64652407 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 139649051565200 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24660] ppid=24653 vsize=10617796 CPUtime=0.03 cores=1,3,5,7
/proc/24656/task/24660/stat : 24660 (java) S 24653 24656 18930 0 -1 1077944384 600 0 0 0 2 1 0 0 20 0 16 0 64652407 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 139648693779472 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24661] ppid=24653 vsize=10617796 CPUtime=0.03 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (java) S 24653 24656 18930 0 -1 1077944384 284 0 0 0 2 1 0 0 20 0 16 0 64652407 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 139648692726672 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24662] ppid=24653 vsize=10617796 CPUtime=0.03 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (java) S 24653 24656 18930 0 -1 1077944384 131 0 0 0 2 1 0 0 20 0 16 0 64652407 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 139648691673872 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24663] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24663/stat : 24663 (java) S 24653 24656 18930 0 -1 1077944384 623 0 0 0 0 0 0 0 20 0 16 0 64652409 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 139648648096112 139649084017282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24664] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24664/stat : 24664 (java) S 24653 24656 18930 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 64652409 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 139648123790368 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24665] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24665/stat : 24665 (java) S 24653 24656 18930 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 64652410 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 139648122737520 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24666] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24666/stat : 24666 (java) S 24653 24656 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64652412 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 139648121685840 139649084024731 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24667] ppid=24653 vsize=10617796 CPUtime=1.28 cores=1,3,5,7
/proc/24656/task/24667/stat : 24667 (java) S 24653 24656 18930 0 -1 1077944384 9430 0 0 0 128 0 0 0 20 0 16 0 64652412 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 139648120634224 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24668] ppid=24653 vsize=10617796 CPUtime=0.97 cores=1,3,5,7
/proc/24656/task/24668/stat : 24668 (java) S 24653 24656 18930 0 -1 1077944384 4762 0 0 0 97 0 0 0 20 0 16 0 64652412 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 139648119581424 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24669] ppid=24653 vsize=10617796 CPUtime=0.48 cores=1,3,5,7
/proc/24656/task/24669/stat : 24669 (java) S 24653 24656 18930 0 -1 1077944384 3588 0 0 0 47 1 0 0 20 0 16 0 64652412 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 139648118528624 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24670] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24670/stat : 24670 (java) S 24653 24656 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64652412 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 139648117476064 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24671] ppid=24653 vsize=10617796 CPUtime=0.09 cores=1,3,5,7
/proc/24656/task/24671/stat : 24671 (java) S 24653 24656 18930 0 -1 1077944384 414 0 0 0 4 5 0 0 20 0 16 0 64652418 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 139648116423344 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24672] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24672/stat : 24672 (java) S 24653 24656 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 64652485 10872623104 54730 18446744073709551615 4194304 4196468 140726514209392 139648115368880 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
Current children cumulated CPU time (s) 165.13
Current children cumulated vsize (KiB) 10617796

[startup+222.307 s]
/proc/loadavg: 2.06 1.99 2.27 3/215 24762
/proc/meminfo: memFree=31026160/32770624 swapFree=0/261032
[pid=24656] ppid=24653 vsize=10617796 CPUtime=225.3 cores=1,3,5,7
/proc/24656/stat : 24656 (java) S 24653 24656 18930 0 -1 1077944320 35160 0 0 0 22507 23 0 0 20 0 16 0 64652401 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 140726514191936 139649084006135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
/proc/24656/statm: 2654449 65798 3113 1 0 2643910 0
[pid=24656/tid=24658] ppid=24653 vsize=10617796 CPUtime=222.07 cores=1,3,5,7
/proc/24656/task/24658/stat : 24658 (java) R 24653 24656 18930 0 -1 4202560 11826 0 0 0 22203 4 0 0 20 0 16 0 64652407 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139649088242144 139648728943060 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24659] ppid=24653 vsize=10617796 CPUtime=0.06 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (java) S 24653 24656 18930 0 -1 1077944384 423 0 0 0 4 2 0 0 20 0 16 0 64652407 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139649051565200 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24660] ppid=24653 vsize=10617796 CPUtime=0.06 cores=1,3,5,7
/proc/24656/task/24660/stat : 24660 (java) S 24653 24656 18930 0 -1 1077944384 811 0 0 0 4 2 0 0 20 0 16 0 64652407 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648693779472 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24661] ppid=24653 vsize=10617796 CPUtime=0.06 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (java) S 24653 24656 18930 0 -1 1077944384 960 0 0 0 4 2 0 0 20 0 16 0 64652407 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648692726672 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24662] ppid=24653 vsize=10617796 CPUtime=0.07 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (java) S 24653 24656 18930 0 -1 1077944384 332 0 0 0 5 2 0 0 20 0 16 0 64652407 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648691673872 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24663] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24663/stat : 24663 (java) S 24653 24656 18930 0 -1 1077944384 839 0 0 0 0 0 0 0 20 0 16 0 64652409 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648648096112 139649084017282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24664] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24664/stat : 24664 (java) S 24653 24656 18930 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 64652409 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648123790368 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24665] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24665/stat : 24665 (java) S 24653 24656 18930 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 64652410 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648122737520 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24666] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24666/stat : 24666 (java) S 24653 24656 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64652412 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648121685840 139649084024731 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24667] ppid=24653 vsize=10617796 CPUtime=1.29 cores=1,3,5,7
/proc/24656/task/24667/stat : 24667 (java) S 24653 24656 18930 0 -1 1077944384 9536 0 0 0 129 0 0 0 20 0 16 0 64652412 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648120634224 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24668] ppid=24653 vsize=10617796 CPUtime=0.97 cores=1,3,5,7
/proc/24656/task/24668/stat : 24668 (java) S 24653 24656 18930 0 -1 1077944384 4809 0 0 0 97 0 0 0 20 0 16 0 64652412 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648119581424 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24669] ppid=24653 vsize=10617796 CPUtime=0.49 cores=1,3,5,7
/proc/24656/task/24669/stat : 24669 (java) S 24653 24656 18930 0 -1 1077944384 3745 0 0 0 48 1 0 0 20 0 16 0 64652412 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648118528624 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24670] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24670/stat : 24670 (java) S 24653 24656 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64652412 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648117476064 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24671] ppid=24653 vsize=10617796 CPUtime=0.11 cores=1,3,5,7
/proc/24656/task/24671/stat : 24671 (java) S 24653 24656 18930 0 -1 1077944384 414 0 0 0 5 6 0 0 20 0 16 0 64652418 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648116423344 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24672] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24672/stat : 24672 (java) S 24653 24656 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 64652485 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648115368880 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
Current children cumulated CPU time (s) 225.3
Current children cumulated vsize (KiB) 10617796



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 2.05 1.99 2.27 3/215 24762
/proc/meminfo: memFree=31026172/32770624 swapFree=0/261048
[pid=24656] ppid=24653 vsize=10617796 CPUtime=243.03 cores=1,3,5,7
/proc/24656/stat : 24656 (java) S 24653 24656 18930 0 -1 1077944320 35378 0 0 0 24279 24 0 0 20 0 16 0 64652401 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 140726514191936 139649084006135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
/proc/24656/statm: 2654449 65798 3113 1 0 2643910 0
[pid=24656/tid=24658] ppid=24653 vsize=10617796 CPUtime=239.76 cores=1,3,5,7
/proc/24656/task/24658/stat : 24658 (java) R 24653 24656 18930 0 -1 4202560 11999 0 0 0 23972 4 0 0 20 0 16 0 64652407 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139649088245000 139648729074514 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24659] ppid=24653 vsize=10617796 CPUtime=0.06 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (java) S 24653 24656 18930 0 -1 1077944384 423 0 0 0 4 2 0 0 20 0 16 0 64652407 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139649051565200 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24660] ppid=24653 vsize=10617796 CPUtime=0.06 cores=1,3,5,7
/proc/24656/task/24660/stat : 24660 (java) S 24653 24656 18930 0 -1 1077944384 811 0 0 0 4 2 0 0 20 0 16 0 64652407 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648693779472 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24661] ppid=24653 vsize=10617796 CPUtime=0.06 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (java) S 24653 24656 18930 0 -1 1077944384 960 0 0 0 4 2 0 0 20 0 16 0 64652407 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648692726672 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24662] ppid=24653 vsize=10617796 CPUtime=0.07 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (java) S 24653 24656 18930 0 -1 1077944384 332 0 0 0 5 2 0 0 20 0 16 0 64652407 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648691673872 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24663] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24663/stat : 24663 (java) S 24653 24656 18930 0 -1 1077944384 839 0 0 0 0 0 0 0 20 0 16 0 64652409 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648648096112 139649084017282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24664] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24664/stat : 24664 (java) S 24653 24656 18930 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 64652409 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648123790368 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24665] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24665/stat : 24665 (java) S 24653 24656 18930 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 64652410 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648122737520 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24666] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24666/stat : 24666 (java) S 24653 24656 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64652412 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648121685840 139649084024731 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24667] ppid=24653 vsize=10617796 CPUtime=1.32 cores=1,3,5,7
/proc/24656/task/24667/stat : 24667 (java) S 24653 24656 18930 0 -1 1077944384 9564 0 0 0 131 1 0 0 20 0 16 0 64652412 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648120634224 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24668] ppid=24653 vsize=10617796 CPUtime=0.97 cores=1,3,5,7
/proc/24656/task/24668/stat : 24668 (java) S 24653 24656 18930 0 -1 1077944384 4811 0 0 0 97 0 0 0 20 0 16 0 64652412 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648119581424 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24669] ppid=24653 vsize=10617796 CPUtime=0.49 cores=1,3,5,7
/proc/24656/task/24669/stat : 24669 (java) S 24653 24656 18930 0 -1 1077944384 3758 0 0 0 48 1 0 0 20 0 16 0 64652412 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648118528624 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24670] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24670/stat : 24670 (java) S 24653 24656 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64652412 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648117476064 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24671] ppid=24653 vsize=10617796 CPUtime=0.13 cores=1,3,5,7
/proc/24656/task/24671/stat : 24671 (java) S 24653 24656 18930 0 -1 1077944384 416 0 0 0 6 7 0 0 20 0 16 0 64652418 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648116423344 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24672] ppid=24653 vsize=10617796 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24672/stat : 24672 (java) S 24653 24656 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 64652485 10872623104 65798 18446744073709551615 4194304 4196468 140726514209392 139648115368880 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
Current children cumulated CPU time (s) 243.03
Current children cumulated vsize (KiB) 10617796

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24656 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+240.201 s]
/proc/loadavg: 2.05 1.99 2.27 3/215 24762
/proc/meminfo: memFree=31026172/32770624 swapFree=0/261048
[pid=24656] ppid=24653 vsize=10817488 CPUtime=243.05 cores=1,3,5,7
/proc/24656/stat : 24656 (java) S 24653 24656 18930 0 -1 1077944320 35892 0 0 0 24281 24 0 0 20 0 17 0 64652401 11077107712 65863 18446744073709551615 4194304 4196468 140726514209392 140726514191936 139649084006135 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
/proc/24656/statm: 2704372 65863 3116 1 0 2693833 0
[pid=24656/tid=24658] ppid=24653 vsize=10817488 CPUtime=239.78 cores=1,3,5,7
/proc/24656/task/24658/stat : 24658 (java) S 24653 24656 18930 0 -1 1077944384 12129 0 0 0 23974 4 0 0 20 0 17 0 64652407 11077107712 65863 18446744073709551615 4194304 4196468 140726514209392 139649088249008 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24659] ppid=24653 vsize=10817488 CPUtime=0.06 cores=1,3,5,7
/proc/24656/task/24659/stat : 24659 (java) S 24653 24656 18930 0 -1 1077944384 423 0 0 0 4 2 0 0 20 0 17 0 64652407 11077107712 65863 18446744073709551615 4194304 4196468 140726514209392 139649051565200 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24660] ppid=24653 vsize=10817488 CPUtime=0.06 cores=1,3,5,7
/proc/24656/task/24660/stat : 24660 (java) S 24653 24656 18930 0 -1 1077944384 811 0 0 0 4 2 0 0 20 0 17 0 64652407 11077107712 65863 18446744073709551615 4194304 4196468 140726514209392 139648693779472 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24661] ppid=24653 vsize=10817488 CPUtime=0.06 cores=1,3,5,7
/proc/24656/task/24661/stat : 24661 (java) S 24653 24656 18930 0 -1 1077944384 960 0 0 0 4 2 0 0 20 0 17 0 64652407 11077107712 65863 18446744073709551615 4194304 4196468 140726514209392 139648692726672 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24662] ppid=24653 vsize=10817488 CPUtime=0.07 cores=1,3,5,7
/proc/24656/task/24662/stat : 24662 (java) S 24653 24656 18930 0 -1 1077944384 332 0 0 0 5 2 0 0 20 0 17 0 64652407 11077107712 65863 18446744073709551615 4194304 4196468 140726514209392 139648691673872 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24663] ppid=24653 vsize=10817488 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24663/stat : 24663 (java) S 24653 24656 18930 0 -1 1077944384 839 0 0 0 0 0 0 0 20 0 17 0 64652409 11077107712 65863 18446744073709551615 4194304 4196468 140726514209392 139648648096112 139649084017282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24664] ppid=24653 vsize=10817488 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24664/stat : 24664 (java) S 24653 24656 18930 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 17 0 64652409 11077107712 65863 18446744073709551615 4194304 4196468 140726514209392 139648123790368 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24665] ppid=24653 vsize=10817488 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24665/stat : 24665 (java) S 24653 24656 18930 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 17 0 64652410 11077107712 65863 18446744073709551615 4194304 4196468 140726514209392 139648122737520 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24666] ppid=24653 vsize=10817488 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24666/stat : 24666 (java) S 24653 24656 18930 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 17 0 64652412 11077107712 65863 18446744073709551615 4194304 4196468 140726514209392 139648121685840 139649084024731 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24667] ppid=24653 vsize=10817488 CPUtime=1.32 cores=1,3,5,7
/proc/24656/task/24667/stat : 24667 (java) S 24653 24656 18930 0 -1 1077944384 9571 0 0 0 131 1 0 0 20 0 17 0 64652412 11077107712 65863 18446744073709551615 4194304 4196468 140726514209392 139648120634224 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24668] ppid=24653 vsize=10817488 CPUtime=0.97 cores=1,3,5,7
/proc/24656/task/24668/stat : 24668 (java) S 24653 24656 18930 0 -1 1077944384 4817 0 0 0 97 0 0 0 20 0 17 0 64652412 11077107712 65863 18446744073709551615 4194304 4196468 140726514209392 139648119581424 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24669] ppid=24653 vsize=10817488 CPUtime=0.49 cores=1,3,5,7
/proc/24656/task/24669/stat : 24669 (java) S 24653 24656 18930 0 -1 1077944384 3764 0 0 0 48 1 0 0 20 0 17 0 64652412 11077107712 65863 18446744073709551615 4194304 4196468 140726514209392 139648118528624 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24670] ppid=24653 vsize=10817488 CPUtime=0 cores=1,3,5,7
/proc/24656/task/24670/stat : 24670 (java) S 24653 24656 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 64652412 11077107712 65863 18446744073709551615 4194304 4196468 140726514209392 139648117476064 139649084016341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
[pid=24656/tid=24671] ppid=24653 vsize=10817488 CPUtime=0.13 cores=1,3,5,7
/proc/24656/task/24671/stat : 24671 (java) S 24653 24656 18930 0 -1 1077944384 416 0 0 0 6 7 0 0 20 0 17 0 64652418 11077107712 65863 18446744073709551615 4194304 4196468 140726514209392 139648116423344 139649084017282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13373440 140726514217393 140726514217546 140726514217546 140726514221007 0
Current children cumulated CPU time (s) 243.05
Current children cumulated vsize (KiB) 10817488

Child status: 143
Real time (s): 240.215
CPU time (s): 243.07
CPU user time (s): 242.826
CPU system time (s): 0.244102
CPU usage (%): 101.189
Max. virtual memory (cumulated for all children) (KiB): 10817488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.826
system time used= 0.244102
maximum resident set size= 263660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36142
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7503
involuntary context switches= 211

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11652 second user time and 1.53782 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml
MD5SUM	0094b37350883aa25196a680c59db77a
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	64
Best CPU time to get the best result obtained on this benchmark	1921.04
Satisfiable
(Un)Satisfiability was proved
Number of variables	1121
Number of constraints	592
Number of domains	65
Minimum domain size	2
Maximum domain size	65
Distribution of domain sizes	[{"size":2,"count":562},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},{"size":27,"count":2},{"size":28,"count":1},{"size":29,"count":2},{"size":30,"count":1},{"size":31,"count":2},{"size":32,"count":1},{"size":33,"count":2},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1},{"size":45,"count":1},{"size":47,"count":1},{"size":49,"count":1},{"size":51,"count":1},{"size":53,"count":1},{"size":55,"count":1},{"size":57,"count":1},{"size":59,"count":1},{"size":61,"count":1},{"size":63,"count":1},{"size":65,"count":1}]
Minimum variable degree	0
Maximum variable degree	32
Distribution of variable degrees	[{"degree":0,"count":496},{"degree":2,"count":592},{"degree":32,"count":33}]
Minimum constraint arity	2
Maximum constraint arity	33
Distribution of constraint arities	[{"arity":2,"count":33},{"arity":3,"count":529},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	560
Distribution of constraint types	[{"type":"intension","count":560},{"type":"sum","count":32}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4258059

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