2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j-CSP 2018-07-11	SAT (TO)	196	252.221	241.245

16.38/7.63	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
16.38/7.63	c This is free software under the dual EPL/GNU LGPL licenses.
16.38/7.63	c See www.sat4j.org for details.
16.38/7.63	c That software uses the Rhino library from the Mozilla project.
16.38/7.63	c version 2.3.6-SNAPSHOT
16.38/7.63	c java.runtime.name	Java(TM) SE Runtime Environment
16.38/7.63	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
16.38/7.63	c java.vm.version	25.131-b11
16.38/7.63	c java.vm.vendor	Oracle Corporation
16.38/7.63	c sun.arch.data.model	64
16.38/7.63	c java.version		1.8.0_131
16.38/7.63	c os.name		Linux
16.38/7.63	c os.version		3.10.0-514.16.1.el7.x86_64
16.38/7.63	c os.arch		amd64
16.38/7.63	c Free memory 		499604488
16.38/7.63	c Max memory 		7247757312
16.38/7.63	c Total memory 		504889344
16.38/7.63	c Number of processors 	4
16.38/7.63	c c --- Begin Solver configuration ---
16.38/7.63	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
16.38/7.63	c Learn all clauses as in MiniSAT
16.38/7.63	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
16.38/7.63	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
16.38/7.63	c No reason simplification
16.38/7.63	c Glucose 2.1 dynamic restart strategy
16.38/7.63	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
16.38/7.63	c timeout=2147483s
16.38/7.63	c DB Simplification allowed=false
16.38/7.63	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
16.38/7.63	c --- End Solver configuration ---
16.38/7.63	c constraints type 
16.38/7.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 212
16.38/7.63	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5081024
16.38/7.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 880600
16.38/7.63	c org.sat4j.minisat.constraints.cnf.UnitClause => 148
16.38/7.63	c 5961984 constraints processed.
35.35/25.17	o 202
132.16/121.40	o 199
155.62/144.69	o 196
252.19/241.21	c starts		: 317
252.19/241.21	c conflicts		: 109897
252.19/241.21	c decisions		: 47497995
252.19/241.21	c propagations		: 852531345
252.19/241.21	c inspects		: 1011548001
252.19/241.21	c shortcuts		: 0
252.19/241.21	c learnt literals	: 0
252.19/241.21	c learnt binary clauses	: 1761
252.19/241.21	c learnt ternary clauses	: 2684
252.19/241.21	c learnt constraints	: 109897
252.19/241.21	c ignored constraints	: 0
252.19/241.21	c root simplifications	: 0
252.19/241.21	c removed literals (reason simplification)	: 0
252.19/241.21	c reason swapping (by a shorter reason)	: 0
252.19/241.21	c Calls to reduceDB	: 14
252.19/241.21	c Number of update (reduction) of LBD	: 66697
252.19/241.21	c Imported unit clauses	: 0
252.19/241.21	c number of reductions to clauses (during analyze)	: 0
252.19/241.21	c number of learned constraints concerned by reduction	: 0
252.19/241.21	c number of learning phase by resolution	: 0
252.19/241.21	c number of learning phase by cutting planes	: 0
252.19/241.21	c number of rounding to 1 operations	: 0
252.19/241.21	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
252.19/241.21	c number of reductions of the coefficients by power 2 	: 0
252.19/241.21	c number of right shift for reduction by power 2 	: 0
252.19/241.21	c number of reductions of the coefficients by GCD over coefficients 	: 0
252.19/241.21	c number of ending skipping 	: 0
252.19/241.21	c number of internal skipping 	: 0
252.19/241.21	c number of derivation steps 	: 0
252.19/241.21	c number of skipped derivation steps 	: 0
252.19/241.21	c number of remaining unassigned 	: 0
252.19/241.21	c number of remaining assigned 	: 0
252.19/241.21	c speed (assignments/second)	: 3650613.173411667
252.19/241.21	c non guided choices	: 10064992
252.19/241.21	s SATISFIABLE
252.19/241.22	v <instantiation type="solution">
252.19/241.22	v 	<list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] </list>
252.19/241.22	v 	<values> 10 18 17 4 3 13 29 28 20 19 6 12 23 0 5 24 16 14 27 26 31 22 9 11 1 8 15 25 30 21 2 7 0 1 3 0 0 2 0 0 0 0 1 0 3 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 2 0 0 0 0 1 0 0 0 0 0 1 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 3 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 2 0 2 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 2 3 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 2 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
252.19/241.22	v </instantiation>
252.19/241.22

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301610-1532882907/watcher-4301610-1532882907 -o /tmp/evaluation-result-4301610-1532882907/solver-4301610-1532882907 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22035 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301610-1532882907.xml 

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

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

solver pid=27197, runsolver pid=27194

[startup+0.100083 s]*
/proc/loadavg: 3.43 2.73 2.52 7/215 27212
/proc/meminfo: memFree=20643944/32770624 swapFree=67108860/67108860
[pid=27197] ppid=27194 vsize=10659012 memory=30508 CPUtime=0.12 cores=0,2,4,6
/proc/27197/stat : 27197 (java) S 27194 27197 22004 0 -1 1077944320 6676 0 0 0 11 1 0 0 20 0 15 0 105853878 10914828288 7627 33554432000 4194304 4196468 140735824875680 140735824858224 140619454336759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
/proc/27197/statm: 2664753 7627 2817 1 0 2627263 0
[pid=27197/tid=27199] ppid=27194 vsize=10659012 memory=-8773748148830246014 CPUtime=0.09 cores=0,2,4,6
/proc/27197/task/27199/stat : 27199 (java) R 27194 27197 22004 0 -1 4202560 4526 0 0 0 8 1 0 0 20 0 15 0 105853878 10914828288 7627 33554432000 4194304 4196468 140735824875680 140619458541424 140619438417246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27200] ppid=27194 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27200/stat : 27200 (java) S 27194 27197 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105853879 10914828288 7627 33554432000 4194304 4196468 140735824875680 140619380410896 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27201] ppid=27194 vsize=10659012 memory=139701500298880 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27201/stat : 27201 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105853879 10914828288 7627 33554432000 4194304 4196468 140735824875680 140619379358352 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27202] ppid=27194 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27202/stat : 27202 (java) S 27194 27197 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105853879 10914828288 7627 33554432000 4194304 4196468 140735824875680 140619378305296 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27203] ppid=27194 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27203/stat : 27203 (java) S 27194 27197 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105853879 10914828288 7627 33554432000 4194304 4196468 140735824875680 140619057981840 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27204] ppid=27194 vsize=10659012 memory=139701500298880 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27204/stat : 27204 (java) S 27194 27197 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105853881 10914828288 7627 33554432000 4194304 4196468 140735824875680 140618946591472 140619454347906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27205] ppid=27194 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27205/stat : 27205 (java) S 27194 27197 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105853881 10914828288 7627 33554432000 4194304 4196468 140735824875680 140618945537696 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27206] ppid=27194 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27206/stat : 27206 (java) S 27194 27197 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105853881 10914828288 7627 33554432000 4194304 4196468 140735824875680 140618944484592 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27207] ppid=27194 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27207/stat : 27207 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105853884 10914828288 7627 33554432000 4194304 4196468 140735824875680 140618943433168 140619454355355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27208] ppid=27194 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27208/stat : 27208 (java) S 27194 27197 22004 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 105853884 10914828288 7627 33554432000 4194304 4196468 140735824875680 140618942380272 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27209] ppid=27194 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27209/stat : 27209 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105853884 10914828288 7627 33554432000 4194304 4196468 140735824875680 140618941327728 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27210] ppid=27194 vsize=10659012 memory=139701500298880 CPUtime=0.02 cores=0,2,4,6
/proc/27197/task/27210/stat : 27210 (java) R 27194 27197 22004 0 -1 4202560 336 0 0 0 2 0 0 0 20 0 15 0 105853884 10914828288 7627 33554432000 4194304 4196468 140735824875680 140618940274672 140619446573886 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27211] ppid=27194 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27211/stat : 27211 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105853884 10914828288 7627 33554432000 4194304 4196468 140735824875680 140618939222368 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27212] ppid=27194 vsize=10659012 memory=139701500298880 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27212/stat : 27212 (java) S 27194 27197 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105853884 10914828288 7627 33554432000 4194304 4196468 140735824875680 140618938170416 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30508 KiB

[startup+0.21092 s]*
/proc/loadavg: 3.43 2.73 2.52 6/215 27212
/proc/meminfo: memFree=20589224/32770624 swapFree=67108860/67108860
[pid=27197] ppid=27194 vsize=10659012 memory=41892 CPUtime=0.33 cores=0,2,4,6
/proc/27197/stat : 27197 (java) S 27194 27197 22004 0 -1 1077944320 8067 0 0 0 31 2 0 0 20 0 15 0 105853878 10914828288 10473 33554432000 4194304 4196468 140735824875680 140735824858224 140619454336759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
/proc/27197/statm: 2664753 10473 3005 1 0 2627263 0
[pid=27197/tid=27199] ppid=27194 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/27197/task/27199/stat : 27199 (java) R 27194 27197 22004 0 -1 4202560 5023 0 0 0 19 1 0 0 20 0 15 0 105853878 10914828288 10473 33554432000 4194304 4196468 140735824875680 140619458573040 140619454348694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27200] ppid=27194 vsize=10659012 memory=364 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27200/stat : 27200 (java) S 27194 27197 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105853879 10914828288 10473 33554432000 4194304 4196468 140735824875680 140619380410896 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27201] ppid=27194 vsize=10659012 memory=139701500321168 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27201/stat : 27201 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105853879 10914828288 10473 33554432000 4194304 4196468 140735824875680 140619379358352 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27202] ppid=27194 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27202/stat : 27202 (java) S 27194 27197 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105853879 10914828288 10473 33554432000 4194304 4196468 140735824875680 140619378305296 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27203] ppid=27194 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27203/stat : 27203 (java) S 27194 27197 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105853879 10914828288 10473 33554432000 4194304 4196468 140735824875680 140619057981840 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27204] ppid=27194 vsize=10659012 memory=139701500298880 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27204/stat : 27204 (java) S 27194 27197 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105853881 10914828288 10473 33554432000 4194304 4196468 140735824875680 140618946591472 140619454347906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27205] ppid=27194 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27205/stat : 27205 (java) S 27194 27197 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105853881 10914828288 10473 33554432000 4194304 4196468 140735824875680 140618945537696 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27206] ppid=27194 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27206/stat : 27206 (java) S 27194 27197 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105853881 10914828288 10473 33554432000 4194304 4196468 140735824875680 140618944484592 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27207] ppid=27194 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27207/stat : 27207 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105853884 10914828288 10473 33554432000 4194304 4196468 140735824875680 140618943433168 140619454355355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27208] ppid=27194 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27197/task/27208/stat : 27208 (java) S 27194 27197 22004 0 -1 1077944384 751 0 0 0 2 0 0 0 20 0 15 0 105853884 10914828288 10473 33554432000 4194304 4196468 140735824875680 140618942380272 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27209] ppid=27194 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27197/task/27209/stat : 27209 (java) S 27194 27197 22004 0 -1 1077944384 284 0 0 0 2 0 0 0 20 0 15 0 105853884 10914828288 10473 33554432000 4194304 4196468 140735824875680 140618941327728 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27210] ppid=27194 vsize=10659012 memory=139701500298880 CPUtime=0.07 cores=0,2,4,6
/proc/27197/task/27210/stat : 27210 (java) R 27194 27197 22004 0 -1 4202560 640 0 0 0 7 0 0 0 20 0 15 0 105853884 10914828288 10473 33554432000 4194304 4196468 140735824875680 140618940274672 140619438417246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27211] ppid=27194 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27211/stat : 27211 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105853884 10914828288 10473 33554432000 4194304 4196468 140735824875680 140618939222368 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27212] ppid=27194 vsize=10659012 memory=139701500298880 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27212/stat : 27212 (java) S 27194 27197 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105853884 10914828288 10473 33554432000 4194304 4196468 140735824875680 140618938170416 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41892 KiB

[startup+0.314971 s]*
/proc/loadavg: 3.43 2.73 2.52 9/215 27212
/proc/meminfo: memFree=20543364/32770624 swapFree=67108860/67108860
[pid=27197] ppid=27194 vsize=10659088 memory=49172 CPUtime=0.54 cores=0,2,4,6
/proc/27197/stat : 27197 (java) S 27194 27197 22004 0 -1 1077944320 9054 0 0 0 52 2 0 0 20 0 15 0 105853878 10914906112 12293 33554432000 4194304 4196468 140735824875680 140735824858224 140619454336759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
/proc/27197/statm: 2664772 12293 3061 1 0 2627263 0
[pid=27197/tid=27199] ppid=27194 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/27197/task/27199/stat : 27199 (java) R 27194 27197 22004 0 -1 4202560 5759 0 0 0 29 1 0 0 20 0 15 0 105853878 10914906112 12293 33554432000 4194304 4196468 140735824875680 140619458575568 140619438380389 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27200] ppid=27194 vsize=10659088 memory=288230600429797399 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27200/stat : 27200 (java) S 27194 27197 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105853879 10914906112 12293 33554432000 4194304 4196468 140735824875680 140619380410896 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27201] ppid=27194 vsize=10659088 memory=139701500321141 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27201/stat : 27201 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105853879 10914906112 12293 33554432000 4194304 4196468 140735824875680 140619379358352 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27202] ppid=27194 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27202/stat : 27202 (java) S 27194 27197 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105853879 10914906112 12293 33554432000 4194304 4196468 140735824875680 140619378305296 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27203] ppid=27194 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27203/stat : 27203 (java) S 27194 27197 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105853879 10914906112 12293 33554432000 4194304 4196468 140735824875680 140619057981840 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27204] ppid=27194 vsize=10659088 memory=139701500298880 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27204/stat : 27204 (java) S 27194 27197 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105853881 10914906112 12293 33554432000 4194304 4196468 140735824875680 140618946591472 140619454347906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27205] ppid=27194 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27205/stat : 27205 (java) S 27194 27197 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105853881 10914906112 12293 33554432000 4194304 4196468 140735824875680 140618945537696 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27206] ppid=27194 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27206/stat : 27206 (java) S 27194 27197 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105853881 10914906112 12293 33554432000 4194304 4196468 140735824875680 140618944484592 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27207] ppid=27194 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27207/stat : 27207 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105853884 10914906112 12293 33554432000 4194304 4196468 140735824875680 140618943433168 140619454355355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27208] ppid=27194 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27197/task/27208/stat : 27208 (java) R 27194 27197 22004 0 -1 1077944384 801 0 0 0 4 0 0 0 20 0 15 0 105853884 10914906112 12293 33554432000 4194304 4196468 140735824875680 140618942373296 140619454346965 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27209] ppid=27194 vsize=10659088 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/27197/task/27209/stat : 27209 (java) R 27194 27197 22004 0 -1 4202560 392 0 0 0 5 0 0 0 20 0 15 0 105853884 10914906112 12293 33554432000 4194304 4196468 140735824875680 140618941314512 140619439140457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27210] ppid=27194 vsize=10659088 memory=139701500298880 CPUtime=0.13 cores=0,2,4,6
/proc/27197/task/27210/stat : 27210 (java) R 27194 27197 22004 0 -1 4202560 732 0 0 0 13 0 0 0 20 0 15 0 105853884 10914906112 12293 33554432000 4194304 4196468 140735824875680 140618940269056 140619438417246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27211] ppid=27194 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27211/stat : 27211 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105853884 10914906112 12293 33554432000 4194304 4196468 140735824875680 140618939222368 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27212] ppid=27194 vsize=10659088 memory=139701500298880 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27212/stat : 27212 (java) S 27194 27197 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105853884 10914906112 12293 33554432000 4194304 4196468 140735824875680 140618938170416 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 49172 KiB

[startup+0.700702 s]
/proc/loadavg: 3.43 2.73 2.52 8/215 27212
/proc/meminfo: memFree=20493292/32770624 swapFree=67108860/67108860
[pid=27197] ppid=27194 vsize=10659088 memory=147576 CPUtime=1.79 cores=0,2,4,6
/proc/27197/stat : 27197 (java) S 27194 27197 22004 0 -1 1077944320 19236 0 0 0 174 5 0 0 20 0 15 0 105853878 10914906112 36894 33554432000 4194304 4196468 140735824875680 140735824858224 140619454336759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
/proc/27197/statm: 2664772 36894 3080 1 0 2627263 0
[pid=27197/tid=27199] ppid=27194 vsize=10659088 memory=1840 CPUtime=0.67 cores=0,2,4,6
/proc/27197/task/27199/stat : 27199 (java) R 27194 27197 22004 0 -1 4202560 5996 0 0 0 65 2 0 0 20 0 15 0 105853878 10914906112 36894 33554432000 4194304 4196468 140735824875680 140619458558696 140619454348694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27200] ppid=27194 vsize=10659088 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27200/stat : 27200 (java) S 27194 27197 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105853879 10914906112 36894 33554432000 4194304 4196468 140735824875680 140619380410896 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27201] ppid=27194 vsize=10659088 memory=12060 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27201/stat : 27201 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105853879 10914906112 36894 33554432000 4194304 4196468 140735824875680 140619379358352 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27202] ppid=27194 vsize=10659088 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27202/stat : 27202 (java) S 27194 27197 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105853879 10914906112 36894 33554432000 4194304 4196468 140735824875680 140619378305296 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27203] ppid=27194 vsize=10659088 memory=792 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27203/stat : 27203 (java) S 27194 27197 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105853879 10914906112 36894 33554432000 4194304 4196468 140735824875680 140619057981840 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27204] ppid=27194 vsize=10659088 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27204/stat : 27204 (java) S 27194 27197 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105853881 10914906112 36894 33554432000 4194304 4196468 140735824875680 140618946591472 140619454347906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27205] ppid=27194 vsize=10659088 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27205/stat : 27205 (java) S 27194 27197 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105853881 10914906112 36894 33554432000 4194304 4196468 140735824875680 140618945537696 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27206] ppid=27194 vsize=10659088 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27206/stat : 27206 (java) S 27194 27197 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105853881 10914906112 36894 33554432000 4194304 4196468 140735824875680 140618944484592 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27207] ppid=27194 vsize=10659088 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27207/stat : 27207 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105853884 10914906112 36894 33554432000 4194304 4196468 140735824875680 140618943433168 140619454355355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27208] ppid=27194 vsize=10659088 memory=7163631965283378496 CPUtime=0.39 cores=0,2,4,6
/proc/27197/task/27208/stat : 27208 (java) R 27194 27197 22004 0 -1 4202560 4516 0 0 0 38 1 0 0 20 0 15 0 105853884 10914906112 36894 33554432000 4194304 4196468 140735824875680 140618942367056 140619437724842 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27209] ppid=27194 vsize=10659088 memory=7667213801450137426 CPUtime=0.41 cores=0,2,4,6
/proc/27197/task/27209/stat : 27209 (java) R 27194 27197 22004 0 -1 4202560 4584 0 0 0 40 1 0 0 20 0 15 0 105853884 10914906112 36894 33554432000 4194304 4196468 140735824875680 140618941319184 140619438733904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27210] ppid=27194 vsize=10659088 memory=7440061282865139792 CPUtime=0.29 cores=0,2,4,6
/proc/27197/task/27210/stat : 27210 (java) S 27194 27197 22004 0 -1 1077944384 2767 0 0 0 29 0 0 0 20 0 15 0 105853884 10914906112 36894 33554432000 4194304 4196468 140735824875680 140618940274672 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27211] ppid=27194 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27211/stat : 27211 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105853884 10914906112 36894 33554432000 4194304 4196468 140735824875680 140618939222368 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27212] ppid=27194 vsize=10659088 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27212/stat : 27212 (java) S 27194 27197 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105853884 10914906112 36894 33554432000 4194304 4196468 140735824875680 140618938170416 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 147576 KiB

[startup+1.5008 s]
/proc/loadavg: 3.43 2.73 2.52 8/215 27212
/proc/meminfo: memFree=20359080/32770624 swapFree=67108860/67108860
[pid=27197] ppid=27194 vsize=10659088 memory=371492 CPUtime=3.87 cores=0,2,4,6
/proc/27197/stat : 27197 (java) S 27194 27197 22004 0 -1 1077944320 20114 0 0 0 373 14 0 0 20 0 15 0 105853878 10914906112 92873 33554432000 4194304 4196468 140735824875680 140735824858224 140619454336759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
/proc/27197/statm: 2664772 92873 3136 1 0 2627263 0
[pid=27197/tid=27199] ppid=27194 vsize=10659088 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/27197/task/27199/stat : 27199 (java) R 27194 27197 22004 0 -1 4202560 6076 0 0 0 134 5 0 0 20 0 15 0 105853878 10914906112 92873 33554432000 4194304 4196468 140735824875680 140619458569048 140619061699707 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27200] ppid=27194 vsize=10659088 memory=-6951259422114956437 CPUtime=0.04 cores=0,2,4,6
/proc/27197/task/27200/stat : 27200 (java) S 27194 27197 22004 0 -1 1077944384 150 0 0 0 3 1 0 0 20 0 15 0 105853879 10914906112 92873 33554432000 4194304 4196468 140735824875680 140619380410896 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27201] ppid=27194 vsize=10659088 memory=-6509546260019855295 CPUtime=0.07 cores=0,2,4,6
/proc/27197/task/27201/stat : 27201 (java) S 27194 27197 22004 0 -1 1077944384 188 0 0 0 6 1 0 0 20 0 15 0 105853879 10914906112 92873 33554432000 4194304 4196468 140735824875680 140619379358352 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27202] ppid=27194 vsize=10659088 memory=-7390251449858225344 CPUtime=0.04 cores=0,2,4,6
/proc/27197/task/27202/stat : 27202 (java) S 27194 27197 22004 0 -1 1077944384 48 0 0 0 3 1 0 0 20 0 15 0 105853879 10914906112 92873 33554432000 4194304 4196468 140735824875680 140619378305296 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27203] ppid=27194 vsize=10659088 memory=4134692831991786133 CPUtime=0.06 cores=0,2,4,6
/proc/27197/task/27203/stat : 27203 (java) S 27194 27197 22004 0 -1 1077944384 65 0 0 0 5 1 0 0 20 0 15 0 105853879 10914906112 92873 33554432000 4194304 4196468 140735824875680 140619057981840 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27204] ppid=27194 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27204/stat : 27204 (java) S 27194 27197 22004 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 105853881 10914906112 92873 33554432000 4194304 4196468 140735824875680 140618946591472 140619454347906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0

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

/proc/27197/task/27202/stat : 27202 (java) S 27194 27197 22004 0 -1 1077944384 2186 0 0 0 186 19 0 0 20 0 16 0 105853879 10983067648 440938 33554432000 4194304 4196468 140735824875680 140619378305296 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27203] ppid=27194 vsize=10725652 memory=1763752 CPUtime=2.04 cores=0,2,4,6
/proc/27197/task/27203/stat : 27203 (java) S 27194 27197 22004 0 -1 1077944384 2324 0 0 0 185 19 0 0 20 0 16 0 105853879 10983067648 440938 33554432000 4194304 4196468 140735824875680 140619057981840 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27204] ppid=27194 vsize=10725652 memory=1763752 CPUtime=0.97 cores=0,2,4,6
/proc/27197/task/27204/stat : 27204 (java) S 27194 27197 22004 0 -1 1077944384 2573 0 0 0 97 0 0 0 20 0 16 0 105853881 10983067648 440938 33554432000 4194304 4196468 140735824875680 140618946591472 140619454347906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27205] ppid=27194 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27205/stat : 27205 (java) S 27194 27197 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105853881 10983067648 440938 33554432000 4194304 4196468 140735824875680 140618945537696 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27206] ppid=27194 vsize=10725652 memory=1763752 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27206/stat : 27206 (java) S 27194 27197 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105853881 10983067648 440938 33554432000 4194304 4196468 140735824875680 140618944484592 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27207] ppid=27194 vsize=10725652 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27207/stat : 27207 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105853884 10983067648 440938 33554432000 4194304 4196468 140735824875680 140618943433168 140619454355355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27208] ppid=27194 vsize=10725652 memory=1763752 CPUtime=1.94 cores=0,2,4,6
/proc/27197/task/27208/stat : 27208 (java) S 27194 27197 22004 0 -1 1077944384 9740 0 0 0 192 2 0 0 20 0 16 0 105853884 10983067648 440938 33554432000 4194304 4196468 140735824875680 140618942380272 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27209] ppid=27194 vsize=10725652 memory=4028 CPUtime=2.43 cores=0,2,4,6
/proc/27197/task/27209/stat : 27209 (java) S 27194 27197 22004 0 -1 1077944384 10214 0 0 0 241 2 0 0 20 0 16 0 105853884 10983067648 440938 33554432000 4194304 4196468 140735824875680 140618941327728 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27210] ppid=27194 vsize=10725652 memory=1763752 CPUtime=0.46 cores=0,2,4,6
/proc/27197/task/27210/stat : 27210 (java) S 27194 27197 22004 0 -1 1077944384 4766 0 0 0 45 1 0 0 20 0 16 0 105853884 10983067648 440938 33554432000 4194304 4196468 140735824875680 140618940274672 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27211] ppid=27194 vsize=10725652 memory=1763752 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27211/stat : 27211 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105853884 10983067648 440938 33554432000 4194304 4196468 140735824875680 140618939222368 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27212] ppid=27194 vsize=10725652 memory=1763752 CPUtime=0.08 cores=0,2,4,6
/proc/27197/task/27212/stat : 27212 (java) S 27194 27197 22004 0 -1 1077944384 191 0 0 0 4 4 0 0 20 0 16 0 105853884 10983067648 440938 33554432000 4194304 4196468 140735824875680 140618938170416 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27213] ppid=27194 vsize=10725652 memory=1763732 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27213/stat : 27213 (java) S 27194 27197 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105854647 10983067648 440938 33554432000 4194304 4196468 140735824875680 140618937116208 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
Current children cumulated CPU time: 173.35 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 1763752 KiB

[startup+222.301 s]
/proc/loadavg: 2.77 2.86 2.63 6/216 27372
/proc/meminfo: memFree=18858236/32770624 swapFree=67108860/67108860
[pid=27197] ppid=27194 vsize=10725652 memory=1763776 CPUtime=233.38 cores=0,2,4,6
/proc/27197/stat : 27197 (java) S 27194 27197 22004 0 -1 1077944320 79601 0 0 0 23231 107 0 0 20 0 16 0 105853878 10983067648 440944 33554432000 4194304 4196468 140735824875680 140735824858224 140619454336759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
/proc/27197/statm: 2681413 440944 3187 1 0 2643904 0
[pid=27197/tid=27199] ppid=27194 vsize=10725652 memory=1763776 CPUtime=219.19 cores=0,2,4,6
/proc/27197/task/27199/stat : 27199 (java) R 27194 27197 22004 0 -1 4202560 41089 0 0 0 21900 19 0 0 20 0 16 0 105853878 10983067648 440944 33554432000 4194304 4196468 140735824875680 140619458572656 140619063733669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27200] ppid=27194 vsize=10725652 memory=1763776 CPUtime=2.04 cores=0,2,4,6
/proc/27197/task/27200/stat : 27200 (java) S 27194 27197 22004 0 -1 1077944384 2264 0 0 0 186 18 0 0 20 0 16 0 105853879 10983067648 440944 33554432000 4194304 4196468 140735824875680 140619380410896 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27201] ppid=27194 vsize=10725652 memory=1763776 CPUtime=2.08 cores=0,2,4,6
/proc/27197/task/27201/stat : 27201 (java) S 27194 27197 22004 0 -1 1077944384 2613 0 0 0 189 19 0 0 20 0 16 0 105853879 10983067648 440944 33554432000 4194304 4196468 140735824875680 140619379358352 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27202] ppid=27194 vsize=10725652 memory=1763776 CPUtime=2.05 cores=0,2,4,6
/proc/27197/task/27202/stat : 27202 (java) S 27194 27197 22004 0 -1 1077944384 2186 0 0 0 186 19 0 0 20 0 16 0 105853879 10983067648 440944 33554432000 4194304 4196468 140735824875680 140619378305296 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27203] ppid=27194 vsize=10725652 memory=1763776 CPUtime=2.04 cores=0,2,4,6
/proc/27197/task/27203/stat : 27203 (java) S 27194 27197 22004 0 -1 1077944384 2324 0 0 0 185 19 0 0 20 0 16 0 105853879 10983067648 440944 33554432000 4194304 4196468 140735824875680 140619057981840 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27204] ppid=27194 vsize=10725652 memory=6791534058613427641 CPUtime=0.97 cores=0,2,4,6
/proc/27197/task/27204/stat : 27204 (java) S 27194 27197 22004 0 -1 1077944384 2587 0 0 0 97 0 0 0 20 0 16 0 105853881 10983067648 440944 33554432000 4194304 4196468 140735824875680 140618946591472 140619454347906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27205] ppid=27194 vsize=10725652 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27205/stat : 27205 (java) S 27194 27197 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105853881 10983067648 440944 33554432000 4194304 4196468 140735824875680 140618945537696 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27206] ppid=27194 vsize=10725652 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27206/stat : 27206 (java) S 27194 27197 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105853881 10983067648 440944 33554432000 4194304 4196468 140735824875680 140618944484592 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27207] ppid=27194 vsize=10725652 memory=1840 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27207/stat : 27207 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105853884 10983067648 440944 33554432000 4194304 4196468 140735824875680 140618943433168 140619454355355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27208] ppid=27194 vsize=10725652 memory=1004 CPUtime=1.94 cores=0,2,4,6
/proc/27197/task/27208/stat : 27208 (java) S 27194 27197 22004 0 -1 1077944384 9743 0 0 0 192 2 0 0 20 0 16 0 105853884 10983067648 440944 33554432000 4194304 4196468 140735824875680 140618942380272 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27209] ppid=27194 vsize=10725652 memory=12060 CPUtime=2.43 cores=0,2,4,6
/proc/27197/task/27209/stat : 27209 (java) S 27194 27197 22004 0 -1 1077944384 10229 0 0 0 241 2 0 0 20 0 16 0 105853884 10983067648 440944 33554432000 4194304 4196468 140735824875680 140618941327728 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27210] ppid=27194 vsize=10725652 memory=1763776 CPUtime=0.46 cores=0,2,4,6
/proc/27197/task/27210/stat : 27210 (java) S 27194 27197 22004 0 -1 1077944384 4954 0 0 0 45 1 0 0 20 0 16 0 105853884 10983067648 440944 33554432000 4194304 4196468 140735824875680 140618940274672 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27211] ppid=27194 vsize=10725652 memory=1763776 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27211/stat : 27211 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105853884 10983067648 440944 33554432000 4194304 4196468 140735824875680 140618939222368 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27212] ppid=27194 vsize=10725652 memory=30180 CPUtime=0.11 cores=0,2,4,6
/proc/27197/task/27212/stat : 27212 (java) S 27194 27197 22004 0 -1 1077944384 231 0 0 0 6 5 0 0 20 0 16 0 105853884 10983067648 440944 33554432000 4194304 4196468 140735824875680 140618938170416 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27213] ppid=27194 vsize=10725652 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27213/stat : 27213 (java) S 27194 27197 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105854647 10983067648 440944 33554432000 4194304 4196468 140735824875680 140618937116208 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
Current children cumulated CPU time: 233.38 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 1763776 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+241.001 s]*
/proc/loadavg: 2.90 2.88 2.64 3/216 27372
/proc/meminfo: memFree=18358304/32770624 swapFree=67108860/67108860
[pid=27197] ppid=27194 vsize=10725652 memory=1764120 CPUtime=252.1 cores=0,2,4,6
/proc/27197/stat : 27197 (java) S 27194 27197 22004 0 -1 1077944320 81257 0 0 0 25102 108 0 0 20 0 16 0 105853878 10983067648 441030 33554432000 4194304 4196468 140735824875680 140735824858224 140619454336759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
/proc/27197/statm: 2681413 441030 3187 1 0 2643904 0
[pid=27197/tid=27199] ppid=27194 vsize=10725652 memory=6791534058613427641 CPUtime=237.89 cores=0,2,4,6
/proc/27197/task/27199/stat : 27199 (java) R 27194 27197 22004 0 -1 4202560 42508 0 0 0 23770 19 0 0 20 0 16 0 105853878 10983067648 441030 33554432000 4194304 4196468 140735824875680 140619458573528 140619063003724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27200] ppid=27194 vsize=10725652 memory=6791534058613427641 CPUtime=2.04 cores=0,2,4,6
/proc/27197/task/27200/stat : 27200 (java) S 27194 27197 22004 0 -1 1077944384 2264 0 0 0 186 18 0 0 20 0 16 0 105853879 10983067648 441030 33554432000 4194304 4196468 140735824875680 140619380410896 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27201] ppid=27194 vsize=10725652 memory=8148 CPUtime=2.08 cores=0,2,4,6
/proc/27197/task/27201/stat : 27201 (java) S 27194 27197 22004 0 -1 1077944384 2613 0 0 0 189 19 0 0 20 0 16 0 105853879 10983067648 441030 33554432000 4194304 4196468 140735824875680 140619379358352 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27202] ppid=27194 vsize=10725652 memory=844 CPUtime=2.05 cores=0,2,4,6
/proc/27197/task/27202/stat : 27202 (java) S 27194 27197 22004 0 -1 1077944384 2186 0 0 0 186 19 0 0 20 0 16 0 105853879 10983067648 441030 33554432000 4194304 4196468 140735824875680 140619378305296 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27203] ppid=27194 vsize=10725652 memory=1796 CPUtime=2.04 cores=0,2,4,6
/proc/27197/task/27203/stat : 27203 (java) S 27194 27197 22004 0 -1 1077944384 2324 0 0 0 185 19 0 0 20 0 16 0 105853879 10983067648 441030 33554432000 4194304 4196468 140735824875680 140619057981840 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27204] ppid=27194 vsize=10725652 memory=916 CPUtime=0.97 cores=0,2,4,6
/proc/27197/task/27204/stat : 27204 (java) S 27194 27197 22004 0 -1 1077944384 2587 0 0 0 97 0 0 0 20 0 16 0 105853881 10983067648 441030 33554432000 4194304 4196468 140735824875680 140618946591472 140619454347906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27205] ppid=27194 vsize=10725652 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27205/stat : 27205 (java) S 27194 27197 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105853881 10983067648 441030 33554432000 4194304 4196468 140735824875680 140618945537696 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27206] ppid=27194 vsize=10725652 memory=2788 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27206/stat : 27206 (java) S 27194 27197 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105853881 10983067648 441030 33554432000 4194304 4196468 140735824875680 140618944484592 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27207] ppid=27194 vsize=10725652 memory=2704 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27207/stat : 27207 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105853884 10983067648 441030 33554432000 4194304 4196468 140735824875680 140618943433168 140619454355355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27208] ppid=27194 vsize=10725652 memory=4108 CPUtime=1.94 cores=0,2,4,6
/proc/27197/task/27208/stat : 27208 (java) S 27194 27197 22004 0 -1 1077944384 9743 0 0 0 192 2 0 0 20 0 16 0 105853884 10983067648 441030 33554432000 4194304 4196468 140735824875680 140618942380272 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27209] ppid=27194 vsize=10725652 memory=1408 CPUtime=2.43 cores=0,2,4,6
/proc/27197/task/27209/stat : 27209 (java) S 27194 27197 22004 0 -1 1077944384 10229 0 0 0 241 2 0 0 20 0 16 0 105853884 10983067648 441030 33554432000 4194304 4196468 140735824875680 140618941327728 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27210] ppid=27194 vsize=10725652 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/27197/task/27210/stat : 27210 (java) S 27194 27197 22004 0 -1 1077944384 5191 0 0 0 45 1 0 0 20 0 16 0 105853884 10983067648 441030 33554432000 4194304 4196468 140735824875680 140618940274672 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27211] ppid=27194 vsize=10725652 memory=279402790542768 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27211/stat : 27211 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105853884 10983067648 441030 33554432000 4194304 4196468 140735824875680 140618939222368 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27212] ppid=27194 vsize=10725652 memory=3472467996969561982 CPUtime=0.12 cores=0,2,4,6
/proc/27197/task/27212/stat : 27212 (java) S 27194 27197 22004 0 -1 1077944384 231 0 0 0 7 5 0 0 20 0 16 0 105853884 10983067648 441030 33554432000 4194304 4196468 140735824875680 140618938170416 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27213] ppid=27194 vsize=10725652 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27213/stat : 27213 (java) S 27194 27197 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105854647 10983067648 441030 33554432000 4194304 4196468 140735824875680 140618937116208 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 1764120 KiB

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

[startup+241.245 s]
# the end of solver process 27197 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.124 s, system=1.09716 s

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

[startup+241.201 s]
/proc/loadavg: 2.90 2.88 2.64 3/216 27372
/proc/meminfo: memFree=18358304/32770624 swapFree=67108860/67108860
[pid=27197] ppid=27194 vsize=10925344 memory=1764444 CPUtime=252.19 cores=0,2,4,6
/proc/27197/stat : 27197 (java) S 27194 27197 22004 0 -1 1077944320 83007 0 0 0 25111 108 0 0 20 0 17 0 105853878 11187552256 441111 33554432000 4194304 4196468 140735824875680 140735824858224 140619454336759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
/proc/27197/statm: 2731336 441111 3190 1 0 2693827 0
[pid=27197/tid=27199] ppid=27194 vsize=10925344 memory=15252670952770856 CPUtime=237.97 cores=0,2,4,6
/proc/27197/task/27199/stat : 27199 (java) S 27194 27197 22004 0 -1 1077944384 42683 0 0 0 23778 19 0 0 20 0 17 0 105853878 11187552256 441111 33554432000 4194304 4196468 140735824875680 140619458579632 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27200] ppid=27194 vsize=10925344 memory=1004 CPUtime=2.04 cores=0,2,4,6
/proc/27197/task/27200/stat : 27200 (java) S 27194 27197 22004 0 -1 1077944384 2264 0 0 0 186 18 0 0 20 0 17 0 105853879 11187552256 441111 33554432000 4194304 4196468 140735824875680 140619380410896 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27201] ppid=27194 vsize=10925344 memory=6791534058613427641 CPUtime=2.08 cores=0,2,4,6
/proc/27197/task/27201/stat : 27201 (java) S 27194 27197 22004 0 -1 1077944384 2613 0 0 0 189 19 0 0 20 0 17 0 105853879 11187552256 441111 33554432000 4194304 4196468 140735824875680 140619379358352 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27202] ppid=27194 vsize=10925344 memory=1764120 CPUtime=2.05 cores=0,2,4,6
/proc/27197/task/27202/stat : 27202 (java) S 27194 27197 22004 0 -1 1077944384 2186 0 0 0 186 19 0 0 20 0 17 0 105853879 11187552256 441111 33554432000 4194304 4196468 140735824875680 140619378305296 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27203] ppid=27194 vsize=10925344 memory=2424 CPUtime=2.04 cores=0,2,4,6
/proc/27197/task/27203/stat : 27203 (java) S 27194 27197 22004 0 -1 1077944384 2324 0 0 0 185 19 0 0 20 0 17 0 105853879 11187552256 441111 33554432000 4194304 4196468 140735824875680 140619057981840 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27204] ppid=27194 vsize=10925344 memory=928 CPUtime=0.97 cores=0,2,4,6
/proc/27197/task/27204/stat : 27204 (java) S 27194 27197 22004 0 -1 1077944384 2619 0 0 0 97 0 0 0 20 0 17 0 105853881 11187552256 441111 33554432000 4194304 4196468 140735824875680 140618946591472 140619454347906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27205] ppid=27194 vsize=10925344 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27205/stat : 27205 (java) S 27194 27197 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 105853881 11187552256 441111 33554432000 4194304 4196468 140735824875680 140618945537696 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27206] ppid=27194 vsize=10925344 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27206/stat : 27206 (java) S 27194 27197 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 105853881 11187552256 441111 33554432000 4194304 4196468 140735824875680 140618944484592 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27207] ppid=27194 vsize=10925344 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27207/stat : 27207 (java) S 27194 27197 22004 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 17 0 105853884 11187552256 441111 33554432000 4194304 4196468 140735824875680 140618943433168 140619454355355 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27208] ppid=27194 vsize=10925344 memory=2200 CPUtime=1.94 cores=0,2,4,6
/proc/27197/task/27208/stat : 27208 (java) S 27194 27197 22004 0 -1 1077944384 9867 0 0 0 192 2 0 0 20 0 17 0 105853884 11187552256 441111 33554432000 4194304 4196468 140735824875680 140618942380272 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27209] ppid=27194 vsize=10925344 memory=8148 CPUtime=2.43 cores=0,2,4,6
/proc/27197/task/27209/stat : 27209 (java) S 27194 27197 22004 0 -1 1077944384 10336 0 0 0 241 2 0 0 20 0 17 0 105853884 11187552256 441111 33554432000 4194304 4196468 140735824875680 140618941327728 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27210] ppid=27194 vsize=10925344 memory=844 CPUtime=0.46 cores=0,2,4,6
/proc/27197/task/27210/stat : 27210 (java) S 27194 27197 22004 0 -1 1077944384 5965 0 0 0 45 1 0 0 20 0 17 0 105853884 11187552256 441111 33554432000 4194304 4196468 140735824875680 140618940274672 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27211] ppid=27194 vsize=10925344 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/27197/task/27211/stat : 27211 (java) S 27194 27197 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105853884 11187552256 441111 33554432000 4194304 4196468 140735824875680 140618939222368 140619454346965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
[pid=27197/tid=27212] ppid=27194 vsize=10925344 memory=916 CPUtime=0.12 cores=0,2,4,6
/proc/27197/task/27212/stat : 27212 (java) S 27194 27197 22004 0 -1 1077944384 231 0 0 0 7 5 0 0 20 0 17 0 105853884 11187552256 441111 33554432000 4194304 4196468 140735824875680 140618938170416 140619454347906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28745728 140735824876662 140735824876814 140735824876814 140735824879567 0
Current children cumulated CPU time: 252.19 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 1764444 KiB

Child status: 143
Real time (s): 241.245
CPU time (s): 252.221
CPU user time (s): 251.124
CPU system time (s): 1.09716
CPU usage (%): 104.55
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 1764444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.124
system time used= 1.09716
maximum resident set size= 1764708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83541
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7680
involuntary context switches= 540


# summary of solver processes directly reported to runsolver:
#   pid: 27197
#   total CPU time (s): 252.221
#   total CPU user time (s): 251.124
#   total CPU system time (s): 1.09716

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.57275 second user time and 2.31246 second system time

The end

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

Trace number 4301610

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data