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
R1: sat4j-CSP 2017-07-05	SAT (TO)	1600	2401.58	2297.83

74.91/15.14	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
74.91/15.14	c This is free software under the dual EPL/GNU LGPL licenses.
74.91/15.14	c See www.sat4j.org for details.
74.91/15.14	c That software uses the Rhino library from the Mozilla project.
74.91/15.14	c version CUSTOM.v20170705
74.91/15.14	c java.runtime.name	Java(TM) SE Runtime Environment
74.91/15.14	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
74.91/15.14	c java.vm.version	25.131-b11
74.91/15.14	c java.vm.vendor	Oracle Corporation
74.91/15.14	c sun.arch.data.model	64
74.91/15.14	c java.version		1.8.0_131
74.91/15.14	c os.name		Linux
74.91/15.14	c os.version		3.10.0-514.16.1.el7.x86_64
74.91/15.14	c os.arch		amd64
74.91/15.14	c Free memory 		499604488
74.91/15.14	c Max memory 		7247757312
74.91/15.14	c Total memory 		504889344
74.91/15.14	c Number of processors 	8
74.91/15.14	c c --- Begin Solver configuration ---
74.91/15.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
74.91/15.14	c Learn all clauses as in MiniSAT
74.91/15.14	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
74.91/15.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
74.91/15.14	c No reason simplification
74.91/15.14	c Glucose 2.1 dynamic restart strategy
74.91/15.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
74.91/15.14	c timeout=2147483s
74.91/15.14	c DB Simplification allowed=false
74.91/15.14	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
74.91/15.14	c --- End Solver configuration ---
74.91/15.14	c constraints type 
74.91/15.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 2176
74.91/15.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 414304
74.91/15.14	c org.sat4j.minisat.constraints.cnf.UnitClauses => 33
74.91/15.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20382944
74.91/15.14	c org.sat4j.specs.Constr$1 => 33
74.91/15.14	c org.sat4j.minisat.constraints.cnf.UnitClause => 2176
74.91/15.14	c 20801666 constraints processed.
77.02/16.33	o 1600
2401.01/2297.75	c starts		: 17930
2401.01/2297.75	c conflicts		: 2598065
2401.01/2297.75	c decisions		: 21341888
2401.01/2297.75	c propagations		: 7383264787
2401.01/2297.75	c inspects		: 19844000474
2401.01/2297.75	c shortcuts		: 0
2401.01/2297.75	c learnt literals	: 171
2401.01/2297.75	c learnt binary clauses	: 398
2401.01/2297.75	c learnt ternary clauses	: 2013
2401.01/2297.75	c learnt constraints	: 2597894
2401.01/2297.75	c ignored constraints	: 0
2401.01/2297.75	c root simplifications	: 0
2401.01/2297.75	c removed literals (reason simplification)	: 0
2401.01/2297.75	c reason swapping (by a shorter reason)	: 0
2401.01/2297.75	c Calls to reduceDB	: 67
2401.01/2297.75	c Number of update (reduction) of LBD	: 2045757
2401.01/2297.75	c Imported unit clauses	: 0
2401.01/2297.75	c number of reductions to clauses (during analyze)	: 0
2401.01/2297.75	c number of learned constraints concerned by reduction	: 0
2401.01/2297.75	c number of learning phase by resolution	: 0
2401.01/2297.75	c number of learning phase by cutting planes	: 0
2401.01/2297.75	c number of rounding to 1 operations	: 0
2401.01/2297.75	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2401.01/2297.75	c number of reductions of the coefficients by power 2 	: 0
2401.01/2297.75	c number of right shift for reduction by power 2 	: 0
2401.01/2297.75	c number of reductions of the coefficients by GCD over coefficients 	: 0
2401.01/2297.75	c speed (assignments/second)	: 3234678.9958002814
2401.01/2297.75	c non guided choices	268639
2401.01/2297.78	c learnt constraints type 
2401.01/2297.78	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 398
2401.01/2297.78	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 121316
2401.01/2297.78	s SATISFIABLE
2401.01/2297.79	v <instantiation type="solution">
2401.01/2297.79	v 	<list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] </list>
2401.01/2297.79	v 	<values> 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 5 23 98 15 100 18 97 100 95 100 6 75 24 10 99 94 100 94 100 87 10 20 14 13 14 2 23 99 8 20 93 63 </values>
2401.01/2297.79	v </instantiation>
2401.01/2297.79

Verifier Data

Watcher Data

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-4243607-1500674474/watcher-4243607-1500674474 -o /tmp/evaluation-result-4243607-1500674474/solver-4243607-1500674474 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500670209-12781 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243607-1500674474.xml 

pid=14033
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.82 2.69 4.26 3/237 14036
/proc/meminfo: memFree=31779676/32770624 swapFree=5756/215208
[pid=14036] ppid=14033 vsize=8352828 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/stat : 14036 (java) S 14033 14036 9829 0 -1 1077944320 2231 0 0 0 0 0 0 0 20 0 4 0 2712718 8553295872 2442 33554432000 4194304 4196468 140735680558832 140735680541376 140291957923575 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
/proc/14036/statm: 2088207 2508 1208 1 0 2077118 0
[pid=14036/tid=14037] ppid=14033 vsize=8353856 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14037/stat : 14037 (java) R 14033 14036 9829 0 -1 1077944384 932 0 0 0 0 0 0 0 20 0 6 0 2712719 8554348544 2508 33554432000 4194304 4196468 140735680558832 140291962164944 140291957933781 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14038] ppid=14033 vsize=8353856 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14038/stat : 14038 (java) S 14033 14036 9829 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 2712720 8554348544 2508 33554432000 4194304 4196468 140735680558832 140291894615008 140291957933781 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14039] ppid=14033 vsize=8354884 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14039/stat : 14039 (java) S 14033 14036 9829 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 7 0 2712720 8555401216 2508 33554432000 4194304 4196468 140735680558832 140291893562208 140291957933781 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14040] ppid=14033 vsize=8354884 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14040/stat : 14040 (java) S 14033 14036 9829 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 7 0 2712720 8555401216 2508 33554432000 4194304 4196468 140735680558832 140291892509408 140291957933781 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14041] ppid=14033 vsize=8354884 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14041/stat : 14041 (java) S 14033 14036 9829 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 7 0 2712720 8555401216 2508 33554432000 4194304 4196468 140735680558832 140291891456608 140291957933781 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14042] ppid=14033 vsize=8355912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14042/stat : 14042 (java) S 14033 14036 9829 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 7 0 2712720 8556453888 2508 33554432000 4194304 4196468 140735680558832 140291890404832 140291957933781 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14043] ppid=14033 vsize=8355912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14043/stat : 14043 (java) R 14033 14036 9829 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 2712720 8556453888 2508 33554432000 4194304 4196468 140735680558832 140291962164944 140291950663425 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0

[startup+0.100061 s]
/proc/loadavg: 2.82 2.69 4.26 3/237 14036
/proc/meminfo: memFree=31779676/32770624 swapFree=5756/215208
[pid=14036] ppid=14033 vsize=10900556 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/14036/stat : 14036 (java) S 14033 14036 9829 0 -1 1077944320 4895 0 0 0 8 1 0 0 20 0 20 0 2712718 11162169344 6014 33554432000 4194304 4196468 140735680558832 140735680541376 140291957923575 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
/proc/14036/statm: 2725139 6014 2622 1 0 2713552 0
[pid=14036/tid=14037] ppid=14033 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14037/stat : 14037 (java) R 14033 14036 9829 0 -1 4202560 2991 0 0 0 7 1 0 0 20 0 20 0 2712719 11162169344 6014 33554432000 4194304 4196468 140735680558832 140291962160304 140291942004062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14038] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14038/stat : 14038 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 6014 33554432000 4194304 4196468 140735680558832 140291894614672 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14039] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14039/stat : 14039 (java) S 14033 14036 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 6014 33554432000 4194304 4196468 140735680558832 140291893561872 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14040] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14040/stat : 14040 (java) S 14033 14036 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 6014 33554432000 4194304 4196468 140735680558832 140291892509072 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14041] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14041/stat : 14041 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 6014 33554432000 4194304 4196468 140735680558832 140291891456272 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14042] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14042/stat : 14042 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 6014 33554432000 4194304 4196468 140735680558832 140291890404496 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14043] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14043/stat : 14043 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 6014 33554432000 4194304 4196468 140735680558832 140291889351696 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556

[startup+0.200635 s]
/proc/loadavg: 2.82 2.69 4.26 3/237 14036
/proc/meminfo: memFree=31779676/32770624 swapFree=5756/215208
[pid=14036] ppid=14033 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/14036/stat : 14036 (java) S 14033 14036 9829 0 -1 1077944320 6999 0 0 0 24 2 0 0 20 0 20 0 2712718 11162169344 8351 33554432000 4194304 4196468 140735680558832 140735680541376 140291957923575 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
/proc/14036/statm: 2725139 8351 2865 1 0 2713552 0
[pid=14036/tid=14037] ppid=14033 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14037/stat : 14037 (java) R 14033 14036 9829 0 -1 4202560 4699 0 0 0 17 1 0 0 20 0 20 0 2712719 11162169344 8351 33554432000 4194304 4196468 140735680558832 140291962146496 140291942004062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14038] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14038/stat : 14038 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 8351 33554432000 4194304 4196468 140735680558832 140291894614672 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14039] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14039/stat : 14039 (java) S 14033 14036 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 8351 33554432000 4194304 4196468 140735680558832 140291893561872 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14040] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14040/stat : 14040 (java) S 14033 14036 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 8351 33554432000 4194304 4196468 140735680558832 140291892509072 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14041] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14041/stat : 14041 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 8351 33554432000 4194304 4196468 140735680558832 140291891456272 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14042] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14042/stat : 14042 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 8351 33554432000 4194304 4196468 140735680558832 140291890404496 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14043] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14043/stat : 14043 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 8351 33554432000 4194304 4196468 140735680558832 140291889351696 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556

[startup+0.300534 s]
/proc/loadavg: 2.82 2.69 4.26 3/237 14036
/proc/meminfo: memFree=31779676/32770624 swapFree=5756/215208
[pid=14036] ppid=14033 vsize=10900556 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/14036/stat : 14036 (java) S 14033 14036 9829 0 -1 1077944320 8930 0 0 0 45 3 0 0 20 0 20 0 2712718 11162169344 11318 33554432000 4194304 4196468 140735680558832 140735680541376 140291957923575 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
/proc/14036/statm: 2725139 11318 2987 1 0 2713552 0
[pid=14036/tid=14037] ppid=14033 vsize=10900556 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14037/stat : 14037 (java) R 14033 14036 9829 0 -1 4202560 5265 0 0 0 26 1 0 0 20 0 20 0 2712719 11162169344 11318 33554432000 4194304 4196468 140735680558832 140291962149520 140291957935510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14038] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14038/stat : 14038 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 11318 33554432000 4194304 4196468 140735680558832 140291894614672 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14039] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14039/stat : 14039 (java) S 14033 14036 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 11318 33554432000 4194304 4196468 140735680558832 140291893561872 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14040] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14040/stat : 14040 (java) S 14033 14036 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 11318 33554432000 4194304 4196468 140735680558832 140291892509072 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14041] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14041/stat : 14041 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 11336 33554432000 4194304 4196468 140735680558832 140291891456272 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14042] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14042/stat : 14042 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 11336 33554432000 4194304 4196468 140735680558832 140291890404496 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14043] ppid=14033 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14043/stat : 14043 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162169344 11336 33554432000 4194304 4196468 140735680558832 140291889351696 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10900556

[startup+0.700392 s]
/proc/loadavg: 2.82 2.69 4.26 3/237 14036
/proc/meminfo: memFree=31779676/32770624 swapFree=5756/215208
[pid=14036] ppid=14033 vsize=10900632 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/14036/stat : 14036 (java) S 14033 14036 9829 0 -1 1077944320 12771 0 0 0 197 5 0 0 20 0 20 0 2712718 11162247168 33339 33554432000 4194304 4196468 140735680558832 140735680541376 140291957923575 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
/proc/14036/statm: 2725158 33339 3095 1 0 2713552 0
[pid=14036/tid=14037] ppid=14033 vsize=10900632 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14037/stat : 14037 (java) R 14033 14036 9829 0 -1 4202560 6045 0 0 0 64 3 0 0 20 0 20 0 2712719 11162247168 33339 33554432000 4194304 4196468 140735680558832 140291962153208 140291939873441 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14038] ppid=14033 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14038/stat : 14038 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162247168 33339 33554432000 4194304 4196468 140735680558832 140291894614672 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14039] ppid=14033 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14039/stat : 14039 (java) S 14033 14036 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2712720 11162247168 33339 33554432000 4194304 4196468 140735680558832 140291893561872 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14040] ppid=14033 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14040/stat : 14040 (java) S 14033 14036 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2712720 11162247168 33339 33554432000 4194304 4196468 140735680558832 140291892509072 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14041] ppid=14033 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14041/stat : 14041 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162247168 33339 33554432000 4194304 4196468 140735680558832 140291891456272 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14042] ppid=14033 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14042/stat : 14042 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162247168 33339 33554432000 4194304 4196468 140735680558832 140291890404496 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14043] ppid=14033 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14043/stat : 14043 (java) S 14033 14036 9829 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2712720 11162247168 33339 33554432000 4194304 4196468 140735680558832 140291889351696 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 10900632

[startup+1.50104 s]
/proc/loadavg: 2.82 2.69 4.26 11/257 14056
/proc/meminfo: memFree=31480136/32770624 swapFree=5756/215208
[pid=14036] ppid=14033 vsize=10902324 CPUtime=5.87 cores=1,3,5,7,9,11,13,15
/proc/14036/stat : 14036 (java) S 14033 14036 9829 0 -1 1077944320 23742 0 0 0 533 54 0 0 20 0 20 0 2712718 11163979776 120485 33554432000 4194304 4196468 140735680558832 140735680541376 140291957923575 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
/proc/14036/statm: 2725581 120485 3131 1 0 2713975 0
[pid=14036/tid=14037] ppid=14033 vsize=10902324 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14037/stat : 14037 (java) S 14033 14036 9829 0 -1 1077944384 6154 0 0 0 119 6 0 0 20 0 20 0 2712719 11163979776 120485 33554432000 4194304 4196468 140735680558832 140291962160272 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14038] ppid=14033 vsize=10902324 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14038/stat : 14038 (java) R 14033 14036 9829 0 -1 4202560 119 0 0 0 10 5 0 0 20 0 20 0 2712720 11163979776 120485 33554432000 4194304 4196468 140735680558832 140291894614872 140291942945696 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14039] ppid=14033 vsize=10902324 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14039/stat : 14039 (java) R 14033 14036 9829 0 -1 4202560 118 0 0 0 10 5 0 0 20 0 20 0 2712720 11163979776 120485 33554432000 4194304 4196468 140735680558832 140291893562072 140291942950994 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14040] ppid=14033 vsize=10902324 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14040/stat : 14040 (java) R 14033 14036 9829 0 -1 4202560 106 0 0 0 10 6 0 0 20 0 20 0 2712720 11163979776 120485 33554432000 4194304 4196468 140735680558832 140291892509272 140291939549334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14041] ppid=14033 vsize=10902324 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14041/stat : 14041 (java) D 14033 14036 9829 0 -1 4202560 101 0 0 0 8 6 0 0 20 0 20 0 2712720 11163979776 120485 33554432000 4194304 4196468 140735680558832 140291891456472 140291942945765 0 4 0 16800975 18446744071582151416 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14042] ppid=14033 vsize=10902324 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14042/stat : 14042 (java) R 14033 14036 9829 0 -1 4202560 79 0 0 0 8 5 0 0 20 0 20 0 2712720 11163979776 120485 33554432000 4194304 4196468 140735680558832 140291890404696 140291942951449 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14043] ppid=14033 vsize=10902324 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14043/stat : 14043 (java) R 14033 14036 9829 0 -1 4202560 83 0 0 0 11 5 0 0 20 0 20 0 2712720 11163979776 120485 33554432000 4194304 4196468 140735680558832 140291889351896 140291942951449 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14044] ppid=14033 vsize=10902324 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14044/stat : 14044 (java) R 14033 14036 9829 0 -1 4202560 109 0 0 0 10 4 0 0 20 0 20 0 2712720 11163979776 120485 33554432000 4194304 4196468 140735680558832 140291888299096 140291942951815 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14046] ppid=14033 vsize=10902324 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14046/stat : 14046 (java) R 14033 14036 9829 0 -1 4202560 89 0 0 0 9 5 0 0 20 0 20 0 2712720 11163979776 120485 33554432000 4194304 4196468 140735680558832 140291887245984 140291942951449 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14047] ppid=14033 vsize=10902324 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14047/stat : 14047 (java) S 14033 14036 9829 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 2712722 11163979776 120485 33554432000 4194304 4196468 140735680558832 140291433259936 140291957933781 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14048] ppid=14033 vsize=10902324 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14048/stat : 14048 (java) S 14033 14036 9829 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2712723 11163979776 120997 33554432000 4194304 4196468 140735680558832 140291432207392 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14049] ppid=14033 vsize=10902324 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14049/stat : 14049 (java) S 14033 14036 9829 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2712723 11163979776 120997 33554432000 4194304 4196468 140735680558832 140291431154544 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14050] ppid=14033 vsize=10902324 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14050/stat : 14050 (java) S 14033 14036 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2712727 11163979776 120997 33554432000 4194304 4196468 140735680558832 140291430102864 140291957942171 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14051] ppid=14033 vsize=10902324 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14051/stat : 14051 (java) R 14033 14036 9829 0 -1 4202560 5480 0 0 0 109 1 0 0 20 0 20 0 2712727 11163979776 120997 33554432000 4194304 4196468 140735680558832 140291429035720 140291943042721 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14052] ppid=14033 vsize=10902324 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14052/stat : 14052 (java) R 14033 14036 9829 0 -1 4202560 4492 0 0 0 102 0 0 0 20 0 20 0 2712727 11163979776 120997 33554432000 4194304 4196468 140735680558832 140291427984472 140291939467793 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14053] ppid=14033 vsize=10902324 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14053/stat : 14053 (java) S 14033 14036 9829 0 -1 1077944384 3415 0 0 0 82 0 0 0 20 0 20 0 2712727 11163979776 120997 33554432000 4194304 4196468 140735680558832 140291426936752 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14054] ppid=14033 vsize=10902324 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14054/stat : 14054 (java) S 14033 14036 9829 0 -1 1077944384 1955 0 0 0 39 0 0 0 20 0 20 0 2712727 11163979776 120997 33554432000 4194304 4196468 140735680558832 140291425892848 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14055] ppid=14033 vsize=10902324 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14055/stat : 14055 (java) S 14033 14036 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2712727 11163979776 120997 33554432000 4194304 4196468 140735680558832 140291424840288 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14056] ppid=14033 vsize=10902324 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14056/stat : 14056 (java) S 14033 14036 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2712728 11163979776 120997 33554432000 4194304 4196468 140735680558832 140291423787568 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 10902324

[startup+3.10088 s]
/proc/loadavg: 2.82 2.69 4.26 3/260 14062
/proc/meminfo: memFree=31144056/32770624 swapFree=5756/215548
[pid=14036] ppid=14033 vsize=10900632 CPUtime=13.25 cores=1,3,5,7,9,11,13,15
/proc/14036/stat : 14036 (java) S 14033 14036 9829 0 -1 1077944320 27805 0 0 0 1158 167 0 0 20 0 20 0 2712718 11162247168 199122 33554432000 4194304 4196468 140735680558832 140735680541376 140291957923575 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
/proc/14036/statm: 2725158 199122 3147 1 0 2713552 0
[pid=14036/tid=14037] ppid=14033 vsize=10900632 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14037/stat : 14037 (java) R 14033 14036 9829 0 -1 4202560 6180 0 0 0 166 6 0 0 20 0 20 0 2712719 11162247168 199122 33554432000 4194304 4196468 140735680558832 140291962161208 140291571171195 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14038] ppid=14033 vsize=10900632 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14038/stat : 14038 (java) S 14033 14036 9829 0 -1 1077944384 342 0 0 0 73 20 0 0 20 0 20 0 2712720 11162247168 199122 33554432000 4194304 4196468 140735680558832 140291894614672 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14039] ppid=14033 vsize=10900632 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14039/stat : 14039 (java) S 14033 14036 9829 0 -1 1077944384 471 0 0 0 74 18 0 0 20 0 20 0 2712720 11162247168 199122 33554432000 4194304 4196468 140735680558832 140291893561872 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14040] ppid=14033 vsize=10900632 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14040/stat : 14040 (java) S 14033 14036 9829 0 -1 1077944384 419 0 0 0 77 19 0 0 20 0 20 0 2712720 11162247168 199122 33554432000 4194304 4196468 140735680558832 140291892509072 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14041] ppid=14033 vsize=10900632 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14041/stat : 14041 (java) S 14033 14036 9829 0 -1 1077944384 309 0 0 0 68 20 0 0 20 0 20 0 2712720 11162247168 199122 33554432000 4194304 4196468 140735680558832 140291891456272 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14042] ppid=14033 vsize=10900632 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14042/stat : 14042 (java) S 14033 14036 9829 0 -1 1077944384 354 0 0 0 72 17 0 0 20 0 20 0 2712720 11162247168 199122 33554432000 4194304 4196468 140735680558832 140291890404496 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0

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

[pid=14036/tid=14053] ppid=14033 vsize=10967196 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14053/stat : 14053 (java) S 14033 14036 9829 0 -1 1077944384 7375 0 0 0 166 2 0 0 20 0 21 0 2712727 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291426945648 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14054] ppid=14033 vsize=10967196 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14054/stat : 14054 (java) S 14033 14036 9829 0 -1 1077944384 6435 0 0 0 57 1 0 0 20 0 21 0 2712727 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291425892848 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14055] ppid=14033 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14055/stat : 14055 (java) S 14033 14036 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2712727 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291424840288 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14056] ppid=14033 vsize=10967196 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14056/stat : 14056 (java) S 14033 14036 9829 0 -1 1077944384 3381 0 0 0 60 61 0 0 20 0 21 0 2712728 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291423787568 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14063] ppid=14033 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14063/stat : 14063 (java) S 14033 14036 9829 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2714241 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291422733104 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
Current children cumulated CPU time (s) 2364.94
Current children cumulated vsize (KiB) 10967196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2297.4 s]
/proc/loadavg: 2.00 2.01 2.22 3/283 14173
/proc/meminfo: memFree=22764940/32770624 swapFree=5740/218080
[pid=14036] ppid=14033 vsize=10967196 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/14036/stat : 14036 (java) S 14033 14036 9829 0 -1 1077944320 157480 0 0 0 238624 1380 0 0 20 0 21 0 2712718 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140735680541376 140291957923575 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
/proc/14036/statm: 2741799 1059269 3166 1 0 2730193 0
[pid=14036/tid=14037] ppid=14033 vsize=10967196 CPUtime=2277.83 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14037/stat : 14037 (java) R 14033 14036 9829 0 -1 4202560 70779 0 0 0 227767 16 0 0 20 0 21 0 2712719 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291962162272 140291572897995 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14038] ppid=14033 vsize=10967196 CPUtime=13.73 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14038/stat : 14038 (java) S 14033 14036 9829 0 -1 1077944384 5552 0 0 0 1207 166 0 0 20 0 21 0 2712720 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291894614672 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14039] ppid=14033 vsize=10967196 CPUtime=13.77 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14039/stat : 14039 (java) S 14033 14036 9829 0 -1 1077944384 4330 0 0 0 1215 162 0 0 20 0 21 0 2712720 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291893561872 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14040] ppid=14033 vsize=10967196 CPUtime=13.81 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14040/stat : 14040 (java) S 14033 14036 9829 0 -1 1077944384 3711 0 0 0 1232 149 0 0 20 0 21 0 2712720 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291892509072 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14041] ppid=14033 vsize=10967196 CPUtime=13.77 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14041/stat : 14041 (java) S 14033 14036 9829 0 -1 1077944384 4190 0 0 0 1212 165 0 0 20 0 21 0 2712720 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291891456272 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14042] ppid=14033 vsize=10967196 CPUtime=13.8 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14042/stat : 14042 (java) S 14033 14036 9829 0 -1 1077944384 3510 0 0 0 1223 157 0 0 20 0 21 0 2712720 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291890404496 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14043] ppid=14033 vsize=10967196 CPUtime=13.79 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14043/stat : 14043 (java) S 14033 14036 9829 0 -1 1077944384 4565 0 0 0 1214 165 0 0 20 0 21 0 2712720 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291889351696 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14044] ppid=14033 vsize=10967196 CPUtime=13.48 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14044/stat : 14044 (java) S 14033 14036 9829 0 -1 1077944384 4239 0 0 0 1189 159 0 0 20 0 21 0 2712720 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291888298896 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14046] ppid=14033 vsize=10967196 CPUtime=13.81 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14046/stat : 14046 (java) S 14033 14036 9829 0 -1 1077944384 4800 0 0 0 1221 160 0 0 20 0 21 0 2712720 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291887246096 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14047] ppid=14033 vsize=10967196 CPUtime=4.43 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14047/stat : 14047 (java) S 14033 14036 9829 0 -1 1077944384 13438 0 0 0 439 4 0 0 20 0 21 0 2712722 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291433261424 140291957934722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14048] ppid=14033 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14048/stat : 14048 (java) S 14033 14036 9829 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 21 0 2712723 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291432207456 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14049] ppid=14033 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14049/stat : 14049 (java) S 14033 14036 9829 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 21 0 2712723 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291431154560 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14050] ppid=14033 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14050/stat : 14050 (java) S 14033 14036 9829 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2712727 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291430102864 140291957942171 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14051] ppid=14033 vsize=10967196 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14051/stat : 14051 (java) S 14033 14036 9829 0 -1 1077944384 9783 0 0 0 219 2 0 0 20 0 21 0 2712727 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291429051248 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14052] ppid=14033 vsize=10967196 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14052/stat : 14052 (java) S 14033 14036 9829 0 -1 1077944384 9881 0 0 0 197 2 0 0 20 0 21 0 2712727 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291427998448 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14053] ppid=14033 vsize=10967196 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14053/stat : 14053 (java) S 14033 14036 9829 0 -1 1077944384 7378 0 0 0 166 2 0 0 20 0 21 0 2712727 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291426945648 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14054] ppid=14033 vsize=10967196 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14054/stat : 14054 (java) S 14033 14036 9829 0 -1 1077944384 6440 0 0 0 57 1 0 0 20 0 21 0 2712727 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291425892848 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14055] ppid=14033 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14055/stat : 14055 (java) S 14033 14036 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2712727 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291424840288 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14056] ppid=14033 vsize=10967196 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14056/stat : 14056 (java) S 14033 14036 9829 0 -1 1077944384 3419 0 0 0 61 61 0 0 20 0 21 0 2712728 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291423787568 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14063] ppid=14033 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14063/stat : 14063 (java) S 14033 14036 9829 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2714241 11230408704 1059269 33554432000 4194304 4196468 140735680558832 140291422733104 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10967196

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 14036 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2297.6 s]
/proc/loadavg: 2.00 2.01 2.22 3/283 14173
/proc/meminfo: memFree=22764940/32770624 swapFree=5740/218080
[pid=14036] ppid=14033 vsize=11168936 CPUtime=2400.27 cores=1,3,5,7,9,11,13,15
/proc/14036/stat : 14036 (java) S 14033 14036 9829 0 -1 1077944320 159195 0 0 0 238646 1381 0 0 20 0 22 0 2712718 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140735680541376 140291957923575 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
/proc/14036/statm: 2792234 1059369 3169 1 0 2780628 0
[pid=14036/tid=14037] ppid=14033 vsize=11168936 CPUtime=2278.03 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14037/stat : 14037 (java) R 14033 14036 9829 0 -1 4202560 71209 0 0 0 227787 16 0 0 20 0 22 0 2712719 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291962162488 140291573262594 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14038] ppid=14033 vsize=11168936 CPUtime=13.73 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14038/stat : 14038 (java) S 14033 14036 9829 0 -1 1077944384 5552 0 0 0 1207 166 0 0 20 0 22 0 2712720 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291894614672 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14039] ppid=14033 vsize=11168936 CPUtime=13.77 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14039/stat : 14039 (java) S 14033 14036 9829 0 -1 1077944384 4330 0 0 0 1215 162 0 0 20 0 22 0 2712720 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291893561872 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14040] ppid=14033 vsize=11168936 CPUtime=13.81 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14040/stat : 14040 (java) S 14033 14036 9829 0 -1 1077944384 3711 0 0 0 1232 149 0 0 20 0 22 0 2712720 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291892509072 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14041] ppid=14033 vsize=11168936 CPUtime=13.77 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14041/stat : 14041 (java) S 14033 14036 9829 0 -1 1077944384 4190 0 0 0 1212 165 0 0 20 0 22 0 2712720 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291891456272 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14042] ppid=14033 vsize=11168936 CPUtime=13.8 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14042/stat : 14042 (java) S 14033 14036 9829 0 -1 1077944384 3510 0 0 0 1223 157 0 0 20 0 22 0 2712720 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291890404496 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14043] ppid=14033 vsize=11168936 CPUtime=13.79 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14043/stat : 14043 (java) S 14033 14036 9829 0 -1 1077944384 4565 0 0 0 1214 165 0 0 20 0 22 0 2712720 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291889351696 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14044] ppid=14033 vsize=11168936 CPUtime=13.48 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14044/stat : 14044 (java) S 14033 14036 9829 0 -1 1077944384 4239 0 0 0 1189 159 0 0 20 0 22 0 2712720 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291888298896 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14046] ppid=14033 vsize=11168936 CPUtime=13.81 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14046/stat : 14046 (java) S 14033 14036 9829 0 -1 1077944384 4800 0 0 0 1221 160 0 0 20 0 22 0 2712720 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291887246096 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14047] ppid=14033 vsize=11168936 CPUtime=4.43 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14047/stat : 14047 (java) S 14033 14036 9829 0 -1 1077944384 13486 0 0 0 439 4 0 0 20 0 22 0 2712722 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291433261424 140291957934722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14048] ppid=14033 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14048/stat : 14048 (java) S 14033 14036 9829 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 22 0 2712723 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291432207456 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14049] ppid=14033 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14049/stat : 14049 (java) S 14033 14036 9829 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 22 0 2712723 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291431154560 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14050] ppid=14033 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14050/stat : 14050 (java) S 14033 14036 9829 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 22 0 2712727 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291430102864 140291957942171 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14051] ppid=14033 vsize=11168936 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14051/stat : 14051 (java) S 14033 14036 9829 0 -1 1077944384 9783 0 0 0 219 2 0 0 20 0 22 0 2712727 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291429051248 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14052] ppid=14033 vsize=11168936 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14052/stat : 14052 (java) S 14033 14036 9829 0 -1 1077944384 10243 0 0 0 198 2 0 0 20 0 22 0 2712727 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291427998448 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14053] ppid=14033 vsize=11168936 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14053/stat : 14053 (java) S 14033 14036 9829 0 -1 1077944384 7413 0 0 0 166 2 0 0 20 0 22 0 2712727 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291426945648 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14054] ppid=14033 vsize=11168936 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14054/stat : 14054 (java) S 14033 14036 9829 0 -1 1077944384 6661 0 0 0 57 1 0 0 20 0 22 0 2712727 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291425892848 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14055] ppid=14033 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14055/stat : 14055 (java) S 14033 14036 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2712727 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291424840288 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14056] ppid=14033 vsize=11168936 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14056/stat : 14056 (java) S 14033 14036 9829 0 -1 1077944384 3428 0 0 0 61 61 0 0 20 0 22 0 2712728 11436990464 1059369 33554432000 4194304 4196468 140735680558832 140291423787568 140291957934722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
Current children cumulated CPU time (s) 2400.27
Current children cumulated vsize (KiB) 11168936

[startup+2297.8 s]
/proc/loadavg: 2.00 2.01 2.22 3/283 14173
/proc/meminfo: memFree=22764940/32770624 swapFree=5740/218080
[pid=14036] ppid=14033 vsize=11168936 CPUtime=2401.55 cores=1,3,5,7,9,11,13,15
/proc/14036/stat : 14036 (java) S 14033 14036 9829 0 -1 1077944320 164236 0 0 0 238736 1419 0 0 20 0 20 0 2712718 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140735680541376 140291957923575 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
/proc/14036/statm: 2792234 1084542 3169 1 0 2780628 0
[pid=14036/tid=14037] ppid=14033 vsize=11168936 CPUtime=2278.07 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14037/stat : 14037 (java) S 14033 14036 9829 0 -1 1077944384 71209 0 0 0 227791 16 0 0 20 0 20 0 2712719 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291962160032 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14038] ppid=14033 vsize=11168936 CPUtime=13.88 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14038/stat : 14038 (java) S 14033 14036 9829 0 -1 1077944384 5713 0 0 0 1216 172 0 0 20 0 20 0 2712720 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291894614672 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14039] ppid=14033 vsize=11168936 CPUtime=13.92 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14039/stat : 14039 (java) S 14033 14036 9829 0 -1 1077944384 4508 0 0 0 1228 164 0 0 20 0 20 0 2712720 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291893561872 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14040] ppid=14033 vsize=11168936 CPUtime=13.95 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14040/stat : 14040 (java) S 14033 14036 9829 0 -1 1077944384 3828 0 0 0 1240 155 0 0 20 0 20 0 2712720 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291892509072 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14041] ppid=14033 vsize=11168936 CPUtime=13.92 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14041/stat : 14041 (java) S 14033 14036 9829 0 -1 1077944384 4300 0 0 0 1221 171 0 0 20 0 20 0 2712720 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291891456272 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14042] ppid=14033 vsize=11168936 CPUtime=13.94 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14042/stat : 14042 (java) S 14033 14036 9829 0 -1 1077944384 5207 0 0 0 1232 162 0 0 20 0 20 0 2712720 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291890404496 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14043] ppid=14033 vsize=11168936 CPUtime=13.94 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14043/stat : 14043 (java) S 14033 14036 9829 0 -1 1077944384 4656 0 0 0 1226 168 0 0 20 0 20 0 2712720 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291889351696 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14044] ppid=14033 vsize=11168936 CPUtime=13.63 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14044/stat : 14044 (java) S 14033 14036 9829 0 -1 1077944384 4943 0 0 0 1198 165 0 0 20 0 20 0 2712720 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291888298896 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14046] ppid=14033 vsize=11168936 CPUtime=13.97 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14046/stat : 14046 (java) S 14033 14036 9829 0 -1 1077944384 4907 0 0 0 1231 166 0 0 20 0 20 0 2712720 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291887246096 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14047] ppid=14033 vsize=11168936 CPUtime=4.43 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14047/stat : 14047 (java) S 14033 14036 9829 0 -1 1077944384 14177 0 0 0 439 4 0 0 20 0 20 0 2712722 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291433260928 140291957934722 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14048] ppid=14033 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14048/stat : 14048 (java) S 14033 14036 9829 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 2712723 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291432207456 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14049] ppid=14033 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14049/stat : 14049 (java) S 14033 14036 9829 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 20 0 2712723 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291431154560 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14050] ppid=14033 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14050/stat : 14050 (java) S 14033 14036 9829 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 20 0 2712727 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291430099632 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14051] ppid=14033 vsize=11168936 CPUtime=2.22 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14051/stat : 14051 (java) S 14033 14036 9829 0 -1 1077944384 9899 0 0 0 220 2 0 0 20 0 20 0 2712727 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291429031648 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14052] ppid=14033 vsize=11168936 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14052/stat : 14052 (java) S 14033 14036 9829 0 -1 1077944384 10599 0 0 0 199 2 0 0 20 0 20 0 2712727 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291427978928 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14053] ppid=14033 vsize=11168936 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14053/stat : 14053 (java) S 14033 14036 9829 0 -1 1077944384 7586 0 0 0 167 2 0 0 20 0 20 0 2712727 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291426926048 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14054] ppid=14033 vsize=11168936 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14054/stat : 14054 (java) S 14033 14036 9829 0 -1 1077944384 6957 0 0 0 58 1 0 0 20 0 20 0 2712727 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291425888720 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
[pid=14036/tid=14055] ppid=14033 vsize=11168936 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14036/task/14055/stat : 14055 (java) S 14033 14036 9829 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2712727 11436990464 1084542 33554432000 4194304 4196468 140735680558832 140291424840288 140291957933781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38072320 140735680566443 140735680566596 140735680566596 140735680569295 0
Current children cumulated CPU time (s) 2401.55
Current children cumulated vsize (KiB) 11168936

Child status: 143
Real time (s): 2297.83
CPU time (s): 2401.58
CPU user time (s): 2387.37
CPU system time (s): 14.2173
CPU usage (%): 104.516
Max. virtual memory (cumulated for all children) (KiB): 11168936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2387.37
system time used= 14.2173
maximum resident set size= 4338372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164259
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55578
involuntary context switches= 124046

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8574 second user time and 18.7883 second system time

The end

Launcher Data

Begin job on node146 at 2017-07-22 00:01:14
IDJOB=4243607
IDBENCH=124395
IDSOLVER=2623
FILE ID=node146/4243607-1500674474
RUNJOBID= node146-1500670209-12781
PBS_JOBID= 20623275
Free space on /tmp= 61580 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k5.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243607-1500674474/watcher-4243607-1500674474 -o /tmp/evaluation-result-4243607-1500674474/solver-4243607-1500674474 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500670209-12781 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243607-1500674474.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 7965d79c566fadd70d01c63d02ba9078
RANDOM SEED=1457924509

node146.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31779724 kB
MemAvailable:   32020860 kB
Buffers:           52464 kB
Cached:           494816 kB
SwapCached:            0 kB
Active:           379820 kB
Inactive:         224064 kB
Active(anon):      59104 kB
Inactive(anon):     8856 kB
Active(file):     320716 kB
Inactive(file):   215208 kB
Unevictable:        5756 kB
Mlocked:            5788 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1852 kB
Writeback:             0 kB
AnonPages:         88416 kB
Mapped:            30368 kB
Shmem:              8852 kB
Slab:              74764 kB
SReclaimable:      42096 kB
SUnreclaim:        32668 kB
KernelStack:        4496 kB
PageTables:         5012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     309484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61788 MiB
End job on node146 at 2017-07-22 00:39:32

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

Trace number 4243607

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data