2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j-CSP 2018-07-11	SAT (TO)	180	2400.3	2379.25

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289890-1532214491/watcher-4289890-1532214491 -o /tmp/evaluation-result-4289890-1532214491/solver-4289890-1532214491 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532209747-25927 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289890-1532214491.xml 

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

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26740, runsolver pid=26737

[startup+0.100488 s]*
/proc/loadavg: 3.59 2.71 2.30 2/215 26755
/proc/meminfo: memFree=17750172/32770624 swapFree=67108860/67108860
[pid=26740] ppid=26737 vsize=10659012 memory=30688 CPUtime=0.12 cores=0,2,4,6
/proc/26740/stat : 26740 (java) S 26737 26740 23392 0 -1 1077944320 6739 0 0 0 11 1 0 0 20 0 15 0 39012221 10914828288 7672 33554432000 4194304 4196468 140732462002000 140732461984544 139669718269687 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
/proc/26740/statm: 2664753 7672 2846 1 0 2627263 0
[pid=26740/tid=26742] ppid=26737 vsize=10659012 memory=-8773748148830243965 CPUtime=0.09 cores=0,2,4,6
/proc/26740/task/26742/stat : 26742 (java) R 26737 26740 23392 0 -1 4202560 4580 0 0 0 8 1 0 0 20 0 15 0 39012222 10914828288 7672 33554432000 4194304 4196468 140732462002000 139669722474352 139669702350174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26743] ppid=26737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26743/stat : 26743 (java) S 26737 26740 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39012222 10914828288 7672 33554432000 4194304 4196468 140732462002000 139669654960784 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26744] ppid=26737 vsize=10659012 memory=140331354826368 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26744/stat : 26744 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012222 10914828288 7672 33554432000 4194304 4196468 140732462002000 139669653907984 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26745] ppid=26737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26745/stat : 26745 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012222 10914828288 7672 33554432000 4194304 4196468 140732462002000 139669322721680 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26746] ppid=26737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26746/stat : 26746 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012222 10914828288 7672 33554432000 4194304 4196468 140732462002000 139669321668880 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26747] ppid=26737 vsize=10659012 memory=140331354826368 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26747/stat : 26747 (java) S 26737 26740 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39012224 10914828288 7672 33554432000 4194304 4196468 140732462002000 139669210401648 139669718280834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26748] ppid=26737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26748/stat : 26748 (java) S 26737 26740 23392 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39012224 10914828288 7672 33554432000 4194304 4196468 140732462002000 139669209347616 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26749] ppid=26737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26749/stat : 26749 (java) S 26737 26740 23392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39012224 10914828288 7672 33554432000 4194304 4196468 140732462002000 139669208294768 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26750] ppid=26737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26750/stat : 26750 (java) S 26737 26740 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39012227 10914828288 7672 33554432000 4194304 4196468 140732462002000 139669207243088 139669718288283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26751] ppid=26737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26751/stat : 26751 (java) S 26737 26740 23392 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 39012227 10914828288 7672 33554432000 4194304 4196468 140732462002000 139669206190448 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26752] ppid=26737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26752/stat : 26752 (java) S 26737 26740 23392 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 39012227 10914828288 7672 33554432000 4194304 4196468 140732462002000 139669205137648 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26753] ppid=26737 vsize=10659012 memory=140331354826368 CPUtime=0.02 cores=0,2,4,6
/proc/26740/task/26753/stat : 26753 (java) R 26737 26740 23392 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 39012227 10914828288 7672 33554432000 4194304 4196468 140732462002000 139669204084848 139669718291034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26754] ppid=26737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26754/stat : 26754 (java) S 26737 26740 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39012227 10914828288 7672 33554432000 4194304 4196468 140732462002000 139669203032288 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26755] ppid=26737 vsize=10659012 memory=140331354826368 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26755/stat : 26755 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012227 10914828288 7672 33554432000 4194304 4196468 140732462002000 139669201980592 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30688 KiB

[startup+0.210562 s]*
/proc/loadavg: 3.59 2.71 2.30 3/215 26755
/proc/meminfo: memFree=17741052/32770624 swapFree=67108860/67108860
[pid=26740] ppid=26737 vsize=10659012 memory=42156 CPUtime=0.34 cores=0,2,4,6
/proc/26740/stat : 26740 (java) S 26737 26740 23392 0 -1 1077944320 8070 0 0 0 32 2 0 0 20 0 15 0 39012221 10914828288 10539 33554432000 4194304 4196468 140732462002000 140732461984544 139669718269687 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
/proc/26740/statm: 2664753 10539 3011 1 0 2627263 0
[pid=26740/tid=26742] ppid=26737 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/26740/task/26742/stat : 26742 (java) R 26737 26740 23392 0 -1 4202560 5030 0 0 0 19 1 0 0 20 0 15 0 39012222 10914828288 10539 33554432000 4194304 4196468 140732462002000 139669722504656 139669718291613 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26743] ppid=26737 vsize=10659012 memory=331 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26743/stat : 26743 (java) S 26737 26740 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39012222 10914828288 10539 33554432000 4194304 4196468 140732462002000 139669654960784 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26744] ppid=26737 vsize=10659012 memory=3689772820076832416 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26744/stat : 26744 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012222 10914828288 10539 33554432000 4194304 4196468 140732462002000 139669653907984 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26745] ppid=26737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26745/stat : 26745 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012222 10914828288 10539 33554432000 4194304 4196468 140732462002000 139669322721680 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26746] ppid=26737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26746/stat : 26746 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012222 10914828288 10539 33554432000 4194304 4196468 140732462002000 139669321668880 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26747] ppid=26737 vsize=10659012 memory=140331354826368 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26747/stat : 26747 (java) S 26737 26740 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39012224 10914828288 10539 33554432000 4194304 4196468 140732462002000 139669210401648 139669718280834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26748] ppid=26737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26748/stat : 26748 (java) S 26737 26740 23392 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39012224 10914828288 10539 33554432000 4194304 4196468 140732462002000 139669209347616 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26749] ppid=26737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26749/stat : 26749 (java) S 26737 26740 23392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39012224 10914828288 10539 33554432000 4194304 4196468 140732462002000 139669208294768 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26750] ppid=26737 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26750/stat : 26750 (java) S 26737 26740 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39012227 10914828288 10539 33554432000 4194304 4196468 140732462002000 139669207243088 139669718288283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26751] ppid=26737 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26740/task/26751/stat : 26751 (java) S 26737 26740 23392 0 -1 1077944384 602 0 0 0 2 0 0 0 20 0 15 0 39012227 10914828288 10539 33554432000 4194304 4196468 140732462002000 139669206190448 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26752] ppid=26737 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26740/task/26752/stat : 26752 (java) R 26737 26740 23392 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 15 0 39012227 10914828288 10539 33554432000 4194304 4196468 140732462002000 139669205137648 139669718280834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26753] ppid=26737 vsize=10659012 memory=140331354826368 CPUtime=0.07 cores=0,2,4,6
/proc/26740/task/26753/stat : 26753 (java) S 26737 26740 23392 0 -1 1077944384 669 0 0 0 7 0 0 0 20 0 15 0 39012227 10914828288 10539 33554432000 4194304 4196468 140732462002000 139669204084848 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26754] ppid=26737 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26754/stat : 26754 (java) S 26737 26740 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39012227 10914828288 10539 33554432000 4194304 4196468 140732462002000 139669203032288 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26755] ppid=26737 vsize=10659012 memory=140331354826368 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26755/stat : 26755 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012227 10914828288 10539 33554432000 4194304 4196468 140732462002000 139669201980592 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42156 KiB

[startup+0.310618 s]*
/proc/loadavg: 3.59 2.71 2.30 6/215 26755
/proc/meminfo: memFree=17733660/32770624 swapFree=67108860/67108860
[pid=26740] ppid=26737 vsize=10659088 memory=49036 CPUtime=0.53 cores=0,2,4,6
/proc/26740/stat : 26740 (java) S 26737 26740 23392 0 -1 1077944320 9028 0 0 0 51 2 0 0 20 0 15 0 39012221 10914906112 12259 33554432000 4194304 4196468 140732462002000 140732461984544 139669718269687 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
/proc/26740/statm: 2664772 12259 3044 1 0 2627263 0
[pid=26740/tid=26742] ppid=26737 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/26740/task/26742/stat : 26742 (java) R 26737 26740 23392 0 -1 4202560 5757 0 0 0 28 1 0 0 20 0 15 0 39012222 10914906112 12259 33554432000 4194304 4196468 140732462002000 139669722506960 139669335348575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26743] ppid=26737 vsize=10659088 memory=4294977825 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26743/stat : 26743 (java) S 26737 26740 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39012222 10914906112 12259 33554432000 4194304 4196468 140732462002000 139669654960784 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26744] ppid=26737 vsize=10659088 memory=3762392264556553888 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26744/stat : 26744 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012222 10914906112 12259 33554432000 4194304 4196468 140732462002000 139669653907984 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26745] ppid=26737 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26745/stat : 26745 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012222 10914906112 12259 33554432000 4194304 4196468 140732462002000 139669322721680 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26746] ppid=26737 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26746/stat : 26746 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012222 10914906112 12259 33554432000 4194304 4196468 140732462002000 139669321668880 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26747] ppid=26737 vsize=10659088 memory=140331354826368 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26747/stat : 26747 (java) S 26737 26740 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39012224 10914906112 12259 33554432000 4194304 4196468 140732462002000 139669210401648 139669718280834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26748] ppid=26737 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26748/stat : 26748 (java) S 26737 26740 23392 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39012224 10914906112 12259 33554432000 4194304 4196468 140732462002000 139669209347616 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26749] ppid=26737 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26749/stat : 26749 (java) S 26737 26740 23392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39012224 10914906112 12259 33554432000 4194304 4196468 140732462002000 139669208294768 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26750] ppid=26737 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26750/stat : 26750 (java) S 26737 26740 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39012227 10914906112 12259 33554432000 4194304 4196468 140732462002000 139669207243088 139669718288283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26751] ppid=26737 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26740/task/26751/stat : 26751 (java) R 26737 26740 23392 0 -1 4202560 698 0 0 0 5 0 0 0 20 0 15 0 39012227 10914906112 12259 33554432000 4194304 4196468 140732462002000 139669206176544 139669703873296 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26752] ppid=26737 vsize=10659088 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/26740/task/26752/stat : 26752 (java) R 26737 26740 23392 0 -1 4202560 454 0 0 0 5 0 0 0 20 0 15 0 39012227 10914906112 12259 33554432000 4194304 4196468 140732462002000 139669205127440 139669699799889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26753] ppid=26737 vsize=10659088 memory=140331354826368 CPUtime=0.13 cores=0,2,4,6
/proc/26740/task/26753/stat : 26753 (java) R 26737 26740 23392 0 -1 4202560 753 0 0 0 13 0 0 0 20 0 15 0 39012227 10914906112 12259 33554432000 4194304 4196468 140732462002000 139669204084976 139669696854536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26754] ppid=26737 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26754/stat : 26754 (java) S 26737 26740 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39012227 10914906112 12259 33554432000 4194304 4196468 140732462002000 139669203032288 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26755] ppid=26737 vsize=10659088 memory=140331354826368 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26755/stat : 26755 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012227 10914906112 12259 33554432000 4194304 4196468 140732462002000 139669201980592 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 49036 KiB

[startup+0.700741 s]
/proc/loadavg: 3.59 2.71 2.30 5/215 26755
/proc/meminfo: memFree=17685084/32770624 swapFree=67108860/67108860
[pid=26740] ppid=26737 vsize=10659088 memory=148300 CPUtime=1.8 cores=0,2,4,6
/proc/26740/stat : 26740 (java) S 26737 26740 23392 0 -1 1077944320 19372 0 0 0 175 5 0 0 20 0 15 0 39012221 10914906112 37075 33554432000 4194304 4196468 140732462002000 140732461984544 139669718269687 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
/proc/26740/statm: 2664772 37075 3088 1 0 2627263 0
[pid=26740/tid=26742] ppid=26737 vsize=10659088 memory=255208701590490 CPUtime=0.68 cores=0,2,4,6
/proc/26740/task/26742/stat : 26742 (java) R 26737 26740 23392 0 -1 4202560 6038 0 0 0 66 2 0 0 20 0 15 0 39012222 10914906112 37075 33554432000 4194304 4196468 140732462002000 139669722487128 139669336003860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26743] ppid=26737 vsize=10659088 memory=120106 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26743/stat : 26743 (java) S 26737 26740 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39012222 10914906112 37075 33554432000 4194304 4196468 140732462002000 139669654960784 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26744] ppid=26737 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26744/stat : 26744 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012222 10914906112 37075 33554432000 4194304 4196468 140732462002000 139669653907984 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26745] ppid=26737 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26745/stat : 26745 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012222 10914906112 37075 33554432000 4194304 4196468 140732462002000 139669322721680 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26746] ppid=26737 vsize=10659088 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26746/stat : 26746 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012222 10914906112 37075 33554432000 4194304 4196468 140732462002000 139669321668880 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26747] ppid=26737 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26747/stat : 26747 (java) S 26737 26740 23392 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39012224 10914906112 37075 33554432000 4194304 4196468 140732462002000 139669210401648 139669718280834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26748] ppid=26737 vsize=10659088 memory=-3535359994705171299 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26748/stat : 26748 (java) S 26737 26740 23392 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39012224 10914906112 37075 33554432000 4194304 4196468 140732462002000 139669209347616 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26749] ppid=26737 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26749/stat : 26749 (java) S 26737 26740 23392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39012224 10914906112 37075 33554432000 4194304 4196468 140732462002000 139669208294768 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26750] ppid=26737 vsize=10659088 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26750/stat : 26750 (java) S 26737 26740 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39012227 10914906112 37075 33554432000 4194304 4196468 140732462002000 139669207243088 139669718288283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26751] ppid=26737 vsize=10659088 memory=6656426216303648864 CPUtime=0.4 cores=0,2,4,6
/proc/26740/task/26751/stat : 26751 (java) R 26737 26740 23392 0 -1 4202560 4477 0 0 0 40 0 0 0 20 0 15 0 39012227 10914906112 37075 33554432000 4194304 4196468 140732462002000 139669206176960 139669697934128 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26752] ppid=26737 vsize=10659088 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/26740/task/26752/stat : 26752 (java) R 26737 26740 23392 0 -1 4202560 4361 0 0 0 40 0 0 0 20 0 15 0 39012227 10914906112 37075 33554432000 4194304 4196468 140732462002000 139669205128624 139669695610096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26753] ppid=26737 vsize=10659088 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/26740/task/26753/stat : 26753 (java) S 26737 26740 23392 0 -1 1077944384 3127 0 0 0 28 0 0 0 20 0 15 0 39012227 10914906112 37075 33554432000 4194304 4196468 140732462002000 139669204084848 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26754] ppid=26737 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26754/stat : 26754 (java) S 26737 26740 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39012227 10914906112 37587 33554432000 4194304 4196468 140732462002000 139669203032288 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26755] ppid=26737 vsize=10659088 memory=16436 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26755/stat : 26755 (java) S 26737 26740 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39012227 10914906112 37587 33554432000 4194304 4196468 140732462002000 139669201980592 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 148300 KiB

[startup+1.50076 s]
/proc/loadavg: 3.47 2.70 2.30 8/215 26755
/proc/meminfo: memFree=17547756/32770624 swapFree=67108860/67108860
[pid=26740] ppid=26737 vsize=10659088 memory=353276 CPUtime=3.97 cores=0,2,4,6
/proc/26740/stat : 26740 (java) S 26737 26740 23392 0 -1 1077944320 20226 0 0 0 383 14 0 0 20 0 15 0 39012221 10914906112 88319 33554432000 4194304 4196468 140732462002000 140732461984544 139669718269687 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
/proc/26740/statm: 2664772 88319 3151 1 0 2627263 0
[pid=26740/tid=26742] ppid=26737 vsize=10659088 memory=10755 CPUtime=1.39 cores=0,2,4,6
/proc/26740/task/26742/stat : 26742 (java) R 26737 26740 23392 0 -1 4202560 6109 0 0 0 135 4 0 0 20 0 15 0 39012222 10914906112 88319 33554432000 4194304 4196468 140732462002000 139669722504968 139669337638891 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26743] ppid=26737 vsize=10659088 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/26740/task/26743/stat : 26743 (java) S 26737 26740 23392 0 -1 1077944384 141 0 0 0 5 2 0 0 20 0 15 0 39012222 10914906112 88319 33554432000 4194304 4196468 140732462002000 139669654960784 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26744] ppid=26737 vsize=10659088 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26740/task/26744/stat : 26744 (java) S 26737 26740 23392 0 -1 1077944384 45 0 0 0 2 1 0 0 20 0 15 0 39012222 10914906112 88319 33554432000 4194304 4196468 140732462002000 139669653907984 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26745] ppid=26737 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/26740/task/26745/stat : 26745 (java) S 26737 26740 23392 0 -1 1077944384 125 0 0 0 3 1 0 0 20 0 15 0 39012222 10914906112 88319 33554432000 4194304 4196468 140732462002000 139669322721680 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26746] ppid=26737 vsize=10659088 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/26740/task/26746/stat : 26746 (java) S 26737 26740 23392 0 -1 1077944384 128 0 0 0 5 1 0 0 20 0 15 0 39012222 10914906112 88319 33554432000 4194304 4196468 140732462002000 139669321668880 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26747] ppid=26737 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26747/stat : 26747 (java) S 26737 26740 23392 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 39012224 10914906112 88319 33554432000 4194304 4196468 140732462002000 139669210401648 139669718280834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0

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

/proc/26740/task/26745/stat : 26745 (java) S 26737 26740 23392 0 -1 1077944384 4494 0 0 0 431 54 0 0 20 0 16 0 39012222 10983067648 751934 33554432000 4194304 4196468 140732462002000 139669322721680 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26746] ppid=26737 vsize=10725652 memory=12976 CPUtime=4.87 cores=0,2,4,6
/proc/26740/task/26746/stat : 26746 (java) S 26737 26740 23392 0 -1 1077944384 3807 0 0 0 434 53 0 0 20 0 16 0 39012222 10983067648 751934 33554432000 4194304 4196468 140732462002000 139669321668880 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26747] ppid=26737 vsize=10725652 memory=3007736 CPUtime=2.28 cores=0,2,4,6
/proc/26740/task/26747/stat : 26747 (java) S 26737 26740 23392 0 -1 1077944384 10334 0 0 0 225 3 0 0 20 0 16 0 39012224 10983067648 751934 33554432000 4194304 4196468 140732462002000 139669210401648 139669718280834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26748] ppid=26737 vsize=10725652 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26748/stat : 26748 (java) S 26737 26740 23392 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 39012224 10983067648 751934 33554432000 4194304 4196468 140732462002000 139669209347680 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26749] ppid=26737 vsize=10725652 memory=3007736 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26749/stat : 26749 (java) S 26737 26740 23392 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 39012224 10983067648 751934 33554432000 4194304 4196468 140732462002000 139669208294784 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26750] ppid=26737 vsize=10725652 memory=13908 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26750/stat : 26750 (java) S 26737 26740 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39012227 10983067648 751934 33554432000 4194304 4196468 140732462002000 139669207243088 139669718288283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26751] ppid=26737 vsize=10725652 memory=4140 CPUtime=2.38 cores=0,2,4,6
/proc/26740/task/26751/stat : 26751 (java) S 26737 26740 23392 0 -1 1077944384 12333 0 0 0 236 2 0 0 20 0 16 0 39012227 10983067648 751934 33554432000 4194304 4196468 140732462002000 139669206190448 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26752] ppid=26737 vsize=10725652 memory=3007736 CPUtime=2.18 cores=0,2,4,6
/proc/26740/task/26752/stat : 26752 (java) S 26737 26740 23392 0 -1 1077944384 11416 0 0 0 216 2 0 0 20 0 16 0 39012227 10983067648 751934 33554432000 4194304 4196468 140732462002000 139669205137648 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26753] ppid=26737 vsize=10725652 memory=3007736 CPUtime=0.48 cores=0,2,4,6
/proc/26740/task/26753/stat : 26753 (java) S 26737 26740 23392 0 -1 1077944384 7496 0 0 0 47 1 0 0 20 0 16 0 39012227 10983067648 751934 33554432000 4194304 4196468 140732462002000 139669204084848 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26754] ppid=26737 vsize=10725652 memory=3007736 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26754/stat : 26754 (java) S 26737 26740 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39012227 10983067648 751934 33554432000 4194304 4196468 140732462002000 139669203032288 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26755] ppid=26737 vsize=10725652 memory=3007736 CPUtime=1.42 cores=0,2,4,6
/proc/26740/task/26755/stat : 26755 (java) S 26737 26740 23392 0 -1 1077944384 1908 0 0 0 67 75 0 0 20 0 16 0 39012227 10983067648 751934 33554432000 4194304 4196468 140732462002000 139669201980592 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26756] ppid=26737 vsize=10725652 memory=3007736 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26756/stat : 26756 (java) S 26737 26740 23392 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39012992 10983067648 751934 33554432000 4194304 4196468 140732462002000 139669200926128 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
Current children cumulated CPU time: 2283.28 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 3007736 KiB

[startup+2322.3 s]
/proc/loadavg: 2.40 2.25 2.25 3/216 26906
/proc/meminfo: memFree=10658996/32770624 swapFree=67108860/67108860
[pid=26740] ppid=26737 vsize=10725652 memory=3052792 CPUtime=2343.33 cores=0,2,4,6
/proc/26740/stat : 26740 (java) S 26737 26740 23392 0 -1 1077944320 189640 0 0 0 234021 312 0 0 20 0 16 0 39012221 10983067648 763198 33554432000 4194304 4196468 140732462002000 140732461984544 139669718269687 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
/proc/26740/statm: 2681413 763198 3188 1 0 2643904 0
[pid=26740/tid=26742] ppid=26737 vsize=10725652 memory=3046648 CPUtime=2315.05 cores=0,2,4,6
/proc/26740/task/26742/stat : 26742 (java) R 26737 26740 23392 0 -1 4202560 126399 0 0 0 231479 26 0 0 20 0 16 0 39012222 10983067648 763198 33554432000 4194304 4196468 140732462002000 139669722508296 139669338415293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26743] ppid=26737 vsize=10725652 memory=3036408 CPUtime=4.85 cores=0,2,4,6
/proc/26740/task/26743/stat : 26743 (java) S 26737 26740 23392 0 -1 1077944384 5202 0 0 0 431 54 0 0 20 0 16 0 39012222 10983067648 763198 33554432000 4194304 4196468 140732462002000 139669654960784 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26744] ppid=26737 vsize=10725652 memory=3013880 CPUtime=4.82 cores=0,2,4,6
/proc/26740/task/26744/stat : 26744 (java) S 26737 26740 23392 0 -1 1077944384 4769 0 0 0 428 54 0 0 20 0 16 0 39012222 10983067648 763198 33554432000 4194304 4196468 140732462002000 139669653907984 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26745] ppid=26737 vsize=10725652 memory=3044600 CPUtime=4.85 cores=0,2,4,6
/proc/26740/task/26745/stat : 26745 (java) S 26737 26740 23392 0 -1 1077944384 4494 0 0 0 431 54 0 0 20 0 16 0 39012222 10983067648 763198 33554432000 4194304 4196468 140732462002000 139669322721680 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26746] ppid=26737 vsize=10725652 memory=3048696 CPUtime=4.87 cores=0,2,4,6
/proc/26740/task/26746/stat : 26746 (java) S 26737 26740 23392 0 -1 1077944384 3807 0 0 0 434 53 0 0 20 0 16 0 39012222 10983067648 763198 33554432000 4194304 4196468 140732462002000 139669321668880 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26747] ppid=26737 vsize=10725652 memory=3050744 CPUtime=2.28 cores=0,2,4,6
/proc/26740/task/26747/stat : 26747 (java) S 26737 26740 23392 0 -1 1077944384 10344 0 0 0 225 3 0 0 20 0 16 0 39012224 10983067648 763198 33554432000 4194304 4196468 140732462002000 139669210401648 139669718280834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26748] ppid=26737 vsize=10725652 memory=3038456 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26748/stat : 26748 (java) S 26737 26740 23392 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 39012224 10983067648 763198 33554432000 4194304 4196468 140732462002000 139669209347680 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26749] ppid=26737 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26749/stat : 26749 (java) S 26737 26740 23392 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 39012224 10983067648 763198 33554432000 4194304 4196468 140732462002000 139669208294784 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26750] ppid=26737 vsize=10725652 memory=8364 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26750/stat : 26750 (java) S 26737 26740 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39012227 10983067648 763198 33554432000 4194304 4196468 140732462002000 139669207243088 139669718288283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26751] ppid=26737 vsize=10725652 memory=3044600 CPUtime=2.38 cores=0,2,4,6
/proc/26740/task/26751/stat : 26751 (java) S 26737 26740 23392 0 -1 1077944384 12342 0 0 0 236 2 0 0 20 0 16 0 39012227 10983067648 763198 33554432000 4194304 4196468 140732462002000 139669206190448 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26752] ppid=26737 vsize=10725652 memory=3044600 CPUtime=2.18 cores=0,2,4,6
/proc/26740/task/26752/stat : 26752 (java) S 26737 26740 23392 0 -1 1077944384 11422 0 0 0 216 2 0 0 20 0 16 0 39012227 10983067648 763198 33554432000 4194304 4196468 140732462002000 139669205137648 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26753] ppid=26737 vsize=10725652 memory=3050744 CPUtime=0.48 cores=0,2,4,6
/proc/26740/task/26753/stat : 26753 (java) S 26737 26740 23392 0 -1 1077944384 7502 0 0 0 47 1 0 0 20 0 16 0 39012227 10983067648 763198 33554432000 4194304 4196468 140732462002000 139669204084848 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26754] ppid=26737 vsize=10725652 memory=3050744 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26754/stat : 26754 (java) S 26737 26740 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39012227 10983067648 763198 33554432000 4194304 4196468 140732462002000 139669203032288 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26755] ppid=26737 vsize=10725652 memory=3050744 CPUtime=1.46 cores=0,2,4,6
/proc/26740/task/26755/stat : 26755 (java) S 26737 26740 23392 0 -1 1077944384 1948 0 0 0 70 76 0 0 20 0 16 0 39012227 10983067648 763198 33554432000 4194304 4196468 140732462002000 139669201980592 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26756] ppid=26737 vsize=10725652 memory=3050744 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26756/stat : 26756 (java) S 26737 26740 23392 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39012992 10983067648 763198 33554432000 4194304 4196468 140732462002000 139669200926128 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
Current children cumulated CPU time: 2343.33 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 3052792 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2379 s]*
/proc/loadavg: 2.29 2.26 2.25 6/216 26907
/proc/meminfo: memFree=10560200/32770624 swapFree=67108860/67108860
[pid=26740] ppid=26737 vsize=10725652 memory=3149048 CPUtime=2400.06 cores=0,2,4,6
/proc/26740/stat : 26740 (java) S 26737 26740 23392 0 -1 1077944320 191953 0 0 0 239692 314 0 0 20 0 16 0 39012221 10983067648 787262 33554432000 4194304 4196468 140732462002000 140732461984544 139669718269687 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
/proc/26740/statm: 2681413 787262 3188 1 0 2643904 0
[pid=26740/tid=26742] ppid=26737 vsize=10725652 memory=6791534058613427641 CPUtime=2371.75 cores=0,2,4,6
/proc/26740/task/26742/stat : 26742 (java) R 26737 26740 23392 0 -1 4202560 128641 0 0 0 237148 27 0 0 20 0 16 0 39012222 10983067648 787262 33554432000 4194304 4196468 140732462002000 139669722508296 139669338354381 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26743] ppid=26737 vsize=10725652 memory=4126316290023845779 CPUtime=4.85 cores=0,2,4,6
/proc/26740/task/26743/stat : 26743 (java) S 26737 26740 23392 0 -1 1077944384 5202 0 0 0 431 54 0 0 20 0 16 0 39012222 10983067648 787262 33554432000 4194304 4196468 140732462002000 139669654960784 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26744] ppid=26737 vsize=10725652 memory=140333761429950 CPUtime=4.82 cores=0,2,4,6
/proc/26740/task/26744/stat : 26744 (java) S 26737 26740 23392 0 -1 1077944384 4769 0 0 0 428 54 0 0 20 0 16 0 39012222 10983067648 787262 33554432000 4194304 4196468 140732462002000 139669653907984 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26745] ppid=26737 vsize=10725652 memory=37348 CPUtime=4.85 cores=0,2,4,6
/proc/26740/task/26745/stat : 26745 (java) S 26737 26740 23392 0 -1 1077944384 4494 0 0 0 431 54 0 0 20 0 16 0 39012222 10983067648 787262 33554432000 4194304 4196468 140732462002000 139669322721680 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26746] ppid=26737 vsize=10725652 memory=149774099548311 CPUtime=4.87 cores=0,2,4,6
/proc/26740/task/26746/stat : 26746 (java) S 26737 26740 23392 0 -1 1077944384 3807 0 0 0 434 53 0 0 20 0 16 0 39012222 10983067648 787262 33554432000 4194304 4196468 140732462002000 139669321668880 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26747] ppid=26737 vsize=10725652 memory=251689378536288 CPUtime=2.28 cores=0,2,4,6
/proc/26740/task/26747/stat : 26747 (java) S 26737 26740 23392 0 -1 1077944384 10354 0 0 0 225 3 0 0 20 0 16 0 39012224 10983067648 787262 33554432000 4194304 4196468 140732462002000 139669210401648 139669718280834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26748] ppid=26737 vsize=10725652 memory=280662423146624 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26748/stat : 26748 (java) S 26737 26740 23392 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 39012224 10983067648 787262 33554432000 4194304 4196468 140732462002000 139669209347680 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26749] ppid=26737 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26749/stat : 26749 (java) S 26737 26740 23392 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 39012224 10983067648 787262 33554432000 4194304 4196468 140732462002000 139669208294784 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26750] ppid=26737 vsize=10725652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26750/stat : 26750 (java) S 26737 26740 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39012227 10983067648 787262 33554432000 4194304 4196468 140732462002000 139669207243088 139669718288283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26751] ppid=26737 vsize=10725652 memory=0 CPUtime=2.38 cores=0,2,4,6
/proc/26740/task/26751/stat : 26751 (java) S 26737 26740 23392 0 -1 1077944384 12351 0 0 0 236 2 0 0 20 0 16 0 39012227 10983067648 787262 33554432000 4194304 4196468 140732462002000 139669206190448 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26752] ppid=26737 vsize=10725652 memory=0 CPUtime=2.18 cores=0,2,4,6
/proc/26740/task/26752/stat : 26752 (java) S 26737 26740 23392 0 -1 1077944384 11428 0 0 0 216 2 0 0 20 0 16 0 39012227 10983067648 787262 33554432000 4194304 4196468 140732462002000 139669205137648 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26753] ppid=26737 vsize=10725652 memory=7236794701666519599 CPUtime=0.48 cores=0,2,4,6
/proc/26740/task/26753/stat : 26753 (java) S 26737 26740 23392 0 -1 1077944384 7508 0 0 0 47 1 0 0 20 0 16 0 39012227 10983067648 787262 33554432000 4194304 4196468 140732462002000 139669204084848 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26754] ppid=26737 vsize=10725652 memory=4207599515515776096 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26754/stat : 26754 (java) S 26737 26740 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39012227 10983067648 787262 33554432000 4194304 4196468 140732462002000 139669203032288 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26755] ppid=26737 vsize=10725652 memory=3472328296227680303 CPUtime=1.5 cores=0,2,4,6
/proc/26740/task/26755/stat : 26755 (java) S 26737 26740 23392 0 -1 1077944384 1988 0 0 0 72 78 0 0 20 0 16 0 39012227 10983067648 787262 33554432000 4194304 4196468 140732462002000 139669201980592 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26756] ppid=26737 vsize=10725652 memory=8391306776253991927 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26756/stat : 26756 (java) S 26737 26740 23392 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39012992 10983067648 787262 33554432000 4194304 4196468 140732462002000 139669200926128 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 3149048 KiB

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

[startup+2379.25 s]
# the end of solver process 26740 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.13 s, system=3.17352 s

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

[startup+2379.2 s]
/proc/loadavg: 2.29 2.26 2.25 6/216 26907
/proc/meminfo: memFree=10560200/32770624 swapFree=67108860/67108860
[pid=26740] ppid=26737 vsize=10925344 memory=3157548 CPUtime=2400.27 cores=0,2,4,6
/proc/26740/stat : 26740 (java) S 26737 26740 23392 0 -1 1077944320 193400 0 0 0 239712 315 0 0 20 0 17 0 39012221 11187552256 789387 33554432000 4194304 4196468 140732462002000 140732461984544 139669718269687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
/proc/26740/statm: 2731336 789387 3190 1 0 2693827 0
[pid=26740/tid=26742] ppid=26737 vsize=10925344 memory=2872 CPUtime=2371.94 cores=0,2,4,6
/proc/26740/task/26742/stat : 26742 (java) S 26737 26740 23392 0 -1 1077944384 128890 0 0 0 237166 28 0 0 20 0 17 0 39012222 11187552256 789387 33554432000 4194304 4196468 140732462002000 139669722512560 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26743] ppid=26737 vsize=10925344 memory=1408 CPUtime=4.85 cores=0,2,4,6
/proc/26740/task/26743/stat : 26743 (java) S 26737 26740 23392 0 -1 1077944384 5202 0 0 0 431 54 0 0 20 0 17 0 39012222 11187552256 789387 33554432000 4194304 4196468 140732462002000 139669654960784 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26744] ppid=26737 vsize=10925344 memory=6791534058613427641 CPUtime=4.82 cores=0,2,4,6
/proc/26740/task/26744/stat : 26744 (java) S 26737 26740 23392 0 -1 1077944384 4769 0 0 0 428 54 0 0 20 0 17 0 39012222 11187552256 789387 33554432000 4194304 4196468 140732462002000 139669653907984 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26745] ppid=26737 vsize=10925344 memory=1428 CPUtime=4.85 cores=0,2,4,6
/proc/26740/task/26745/stat : 26745 (java) S 26737 26740 23392 0 -1 1077944384 4494 0 0 0 431 54 0 0 20 0 17 0 39012222 11187552256 789387 33554432000 4194304 4196468 140732462002000 139669322721680 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26746] ppid=26737 vsize=10925344 memory=12976 CPUtime=4.87 cores=0,2,4,6
/proc/26740/task/26746/stat : 26746 (java) S 26737 26740 23392 0 -1 1077944384 3807 0 0 0 434 53 0 0 20 0 17 0 39012222 11187552256 789387 33554432000 4194304 4196468 140732462002000 139669321668880 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26747] ppid=26737 vsize=10925344 memory=1696 CPUtime=2.28 cores=0,2,4,6
/proc/26740/task/26747/stat : 26747 (java) S 26737 26740 23392 0 -1 1077944384 10393 0 0 0 225 3 0 0 20 0 17 0 39012224 11187552256 789387 33554432000 4194304 4196468 140732462002000 139669210401648 139669718280834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26748] ppid=26737 vsize=10925344 memory=3140856 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26748/stat : 26748 (java) S 26737 26740 23392 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 17 0 39012224 11187552256 789387 33554432000 4194304 4196468 140732462002000 139669209347680 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26749] ppid=26737 vsize=10925344 memory=13908 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26749/stat : 26749 (java) S 26737 26740 23392 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 39012224 11187552256 789387 33554432000 4194304 4196468 140732462002000 139669208294784 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26750] ppid=26737 vsize=10925344 memory=2436 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26750/stat : 26750 (java) S 26737 26740 23392 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 17 0 39012227 11187552256 789387 33554432000 4194304 4196468 140732462002000 139669207243088 139669718288283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26751] ppid=26737 vsize=10925344 memory=1296 CPUtime=2.39 cores=0,2,4,6
/proc/26740/task/26751/stat : 26751 (java) S 26737 26740 23392 0 -1 1077944384 12603 0 0 0 237 2 0 0 20 0 17 0 39012227 11187552256 789387 33554432000 4194304 4196468 140732462002000 139669206190448 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26752] ppid=26737 vsize=10925344 memory=6791534058613427641 CPUtime=2.19 cores=0,2,4,6
/proc/26740/task/26752/stat : 26752 (java) S 26737 26740 23392 0 -1 1077944384 11494 0 0 0 217 2 0 0 20 0 17 0 39012227 11187552256 789387 33554432000 4194304 4196468 140732462002000 139669205137648 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26753] ppid=26737 vsize=10925344 memory=1008 CPUtime=0.48 cores=0,2,4,6
/proc/26740/task/26753/stat : 26753 (java) S 26737 26740 23392 0 -1 1077944384 7747 0 0 0 47 1 0 0 20 0 17 0 39012227 11187552256 789387 33554432000 4194304 4196468 140732462002000 139669204084848 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26754] ppid=26737 vsize=10925344 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/26740/task/26754/stat : 26754 (java) S 26737 26740 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39012227 11187552256 789387 33554432000 4194304 4196468 140732462002000 139669203032288 139669718279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
[pid=26740/tid=26755] ppid=26737 vsize=10925344 memory=1728 CPUtime=1.5 cores=0,2,4,6
/proc/26740/task/26755/stat : 26755 (java) S 26737 26740 23392 0 -1 1077944384 1988 0 0 0 72 78 0 0 20 0 17 0 39012227 11187552256 789387 33554432000 4194304 4196468 140732462002000 139669201980592 139669718280834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13811712 140732462003313 140732462003465 140732462003465 140732462006223 0
Current children cumulated CPU time: 2400.27 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 3157548 KiB

Child status: 143
Real time (s): 2379.25
CPU time (s): 2400.3
CPU user time (s): 2397.13
CPU system time (s): 3.17352
CPU usage (%): 100.885
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 3157548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.13
system time used= 3.17352
maximum resident set size= 3159956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54569
involuntary context switches= 3391


# summary of solver processes directly reported to runsolver:
#   pid: 26740
#   total CPU time (s): 2400.3
#   total CPU user time (s): 2397.13
#   total CPU system time (s): 3.17352

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.933 second user time and 23.6238 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	2520.02
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 4289890

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