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)	60	2400.25	2381.44

11.30/4.67	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
11.30/4.67	c This is free software under the dual EPL/GNU LGPL licenses.
11.30/4.67	c See www.sat4j.org for details.
11.30/4.67	c That software uses the Rhino library from the Mozilla project.
11.30/4.67	c version 2.3.6-SNAPSHOT
11.30/4.67	c java.runtime.name	Java(TM) SE Runtime Environment
11.30/4.67	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
11.30/4.67	c java.vm.version	25.131-b11
11.30/4.67	c java.vm.vendor	Oracle Corporation
11.30/4.67	c sun.arch.data.model	64
11.30/4.67	c java.version		1.8.0_131
11.30/4.67	c os.name		Linux
11.30/4.67	c os.version		3.10.0-514.16.1.el7.x86_64
11.30/4.67	c os.arch		amd64
11.30/4.67	c Free memory 		499604488
11.30/4.67	c Max memory 		7247757312
11.30/4.67	c Total memory 		504889344
11.30/4.67	c Number of processors 	4
11.30/4.67	c c --- Begin Solver configuration ---
11.30/4.67	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
11.30/4.67	c Learn all clauses as in MiniSAT
11.30/4.67	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
11.30/4.67	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
11.30/4.67	c No reason simplification
11.30/4.67	c Glucose 2.1 dynamic restart strategy
11.30/4.67	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
11.30/4.67	c timeout=2147483s
11.30/4.67	c DB Simplification allowed=false
11.30/4.67	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
11.30/4.67	c --- End Solver configuration ---
11.30/4.67	c constraints type 
11.30/4.67	c org.sat4j.minisat.constraints.card.MinWatchCard => 1804
11.30/4.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 225050
11.30/4.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2230940
11.30/4.67	c org.sat4j.minisat.constraints.cnf.UnitClause => 86426
11.30/4.67	c 2544220 constraints processed.
169.64/160.72	o 46
804.76/792.22	o 52
937.05/922.45	o 53
2370.65/2351.80	o 60
2400.22/2381.40	c starts		: 21848
2400.22/2381.40	c conflicts		: 5561558
2400.22/2381.40	c decisions		: 62152048
2400.22/2381.40	c propagations		: 4334574338
2400.22/2381.40	c inspects		: 18665132952
2400.22/2381.40	c shortcuts		: 0
2400.22/2381.40	c learnt literals	: 1059
2400.22/2381.40	c learnt binary clauses	: 7658
2400.22/2381.40	c learnt ternary clauses	: 17422
2400.22/2381.40	c learnt constraints	: 5560499
2400.22/2381.40	c ignored constraints	: 0
2400.22/2381.40	c root simplifications	: 0
2400.22/2381.40	c removed literals (reason simplification)	: 0
2400.22/2381.40	c reason swapping (by a shorter reason)	: 0
2400.22/2381.40	c Calls to reduceDB	: 176
2400.22/2381.40	c Number of update (reduction) of LBD	: 4418761
2400.22/2381.40	c Imported unit clauses	: 0
2400.22/2381.40	c number of reductions to clauses (during analyze)	: 0
2400.22/2381.40	c number of learned constraints concerned by reduction	: 0
2400.22/2381.40	c number of learning phase by resolution	: 0
2400.22/2381.40	c number of learning phase by cutting planes	: 0
2400.22/2381.40	c number of rounding to 1 operations	: 0
2400.22/2381.40	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2400.22/2381.40	c number of reductions of the coefficients by power 2 	: 0
2400.22/2381.40	c number of right shift for reduction by power 2 	: 0
2400.22/2381.40	c number of reductions of the coefficients by GCD over coefficients 	: 0
2400.22/2381.40	c number of ending skipping 	: 0
2400.22/2381.40	c number of internal skipping 	: 0
2400.22/2381.40	c number of derivation steps 	: 0
2400.22/2381.40	c number of skipped derivation steps 	: 0
2400.22/2381.40	c number of remaining unassigned 	: 0
2400.22/2381.40	c number of remaining assigned 	: 0
2400.22/2381.40	c speed (assignments/second)	: 1823829.9047433913
2400.22/2381.40	c non guided choices	: 10442214
2400.22/2381.40	s SATISFIABLE
2400.22/2381.41	v <instantiation type="solution">
2400.22/2381.41	v 	<list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] nb nw </list>
2400.22/2381.41	v 	<values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 0 0 0 2 2 2 2 2 0 0 0 0 2 0 0 2 2 2 2 0 2 0 0 2 2 2 2 2 2 2 2 0 0 0 2 2 2 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 2 2 2 2 2 2 0 0 0 0 0 2 2 2 0 0 0 0 2 0 0 0 2 0 2 0 0 0 0 0 0 2 2 2 2 0 2 0 0 0 0 0 2 2 0 0 0 0 0 0 0 2 0 2 0 0 2 0 0 2 0 0 2 2 0 2 2 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 2 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 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 60 60 </values>
2400.22/2381.41	v </instantiation>
2400.22/2381.41

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

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

running on 4 cores: 1,3,5,7

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
solver pid=28115, runsolver pid=28112
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 5.78 5.66 3.89 3/217 28130
/proc/meminfo: memFree=21888876/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10659012 memory=30420 CPUtime=0.13 cores=1,3,5,7
/proc/28115/stat : 28115 (java) S 28112 28115 23392 0 -1 1077944320 6692 0 0 0 11 2 0 0 20 0 15 0 39590112 10914828288 7605 33554432000 4194304 4196468 140735640752320 140735640734864 139636587917047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
/proc/28115/statm: 2664753 7605 2816 1 0 2627263 0
[pid=28115/tid=28117] ppid=28112 vsize=10659012 memory=-8773748148830114687 CPUtime=0.09 cores=1,3,5,7
/proc/28115/task/28117/stat : 28117 (java) R 28112 28115 23392 0 -1 4202560 4515 0 0 0 8 1 0 0 20 0 15 0 39590112 10914828288 7605 33554432000 4194304 4196468 140735640752320 139636592142864 139636587928982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28118] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28118/stat : 28118 (java) S 28112 28115 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39590113 10914828288 7605 33554432000 4194304 4196468 140735640752320 139636513991440 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28119] ppid=28112 vsize=10659012 memory=140689096484480 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39590113 10914828288 7605 33554432000 4194304 4196468 140735640752320 139636512938896 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28120] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39590113 10914828288 7605 33554432000 4194304 4196468 140735640752320 139636511886352 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28121] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39590113 10914828288 7605 33554432000 4194304 4196468 140735640752320 139636510833808 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28122] ppid=28112 vsize=10659012 memory=140689096484480 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39590115 10914828288 7605 33554432000 4194304 4196468 140735640752320 139636079945712 139636587928194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28123] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 23392 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39590115 10914828288 7605 33554432000 4194304 4196468 140735640752320 139636078891936 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28124] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 23392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39590115 10914828288 7605 33554432000 4194304 4196468 140735640752320 139636077839344 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28125] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39590118 10914828288 7605 33554432000 4194304 4196468 140735640752320 139636076787920 139636587935643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28126] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28126/stat : 28126 (java) S 28112 28115 23392 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 15 0 39590118 10914828288 7605 33554432000 4194304 4196468 140735640752320 139636075735536 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28127] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28127/stat : 28127 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39590118 10914828288 7605 33554432000 4194304 4196468 140735640752320 139636074682992 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28128] ppid=28112 vsize=10659012 memory=140689096484480 CPUtime=0.02 cores=1,3,5,7
/proc/28115/task/28128/stat : 28128 (java) R 28112 28115 23392 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 39590118 10914828288 7605 33554432000 4194304 4196468 140735640752320 139636073630448 139636572025112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28129] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39590118 10914828288 7605 33554432000 4194304 4196468 140735640752320 139636072578144 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28130] ppid=28112 vsize=10659012 memory=140689096484480 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39590118 10914828288 7605 33554432000 4194304 4196468 140735640752320 139636071524656 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30420 KiB

[startup+0.210639 s]*
/proc/loadavg: 5.78 5.66 3.89 4/217 28130
/proc/meminfo: memFree=21877736/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10659012 memory=41800 CPUtime=0.33 cores=1,3,5,7
/proc/28115/stat : 28115 (java) S 28112 28115 23392 0 -1 1077944320 8090 0 0 0 31 2 0 0 20 0 15 0 39590112 10914828288 10450 33554432000 4194304 4196468 140735640752320 140735640734864 139636587917047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
/proc/28115/statm: 2664753 10450 3003 1 0 2627263 0
[pid=28115/tid=28117] ppid=28112 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28115/task/28117/stat : 28117 (java) R 28112 28115 23392 0 -1 4202560 5025 0 0 0 18 2 0 0 20 0 15 0 39590112 10914828288 10450 33554432000 4194304 4196468 140735640752320 139636592155328 139636587938394 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28118] ppid=28112 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28118/stat : 28118 (java) S 28112 28115 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39590113 10914828288 10450 33554432000 4194304 4196468 140735640752320 139636513991440 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28119] ppid=28112 vsize=10659012 memory=4049502604691154592 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39590113 10914828288 10450 33554432000 4194304 4196468 140735640752320 139636512938896 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28120] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39590113 10914828288 10450 33554432000 4194304 4196468 140735640752320 139636511886352 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28121] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39590113 10914828288 10450 33554432000 4194304 4196468 140735640752320 139636510833808 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28122] ppid=28112 vsize=10659012 memory=140689096484480 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39590115 10914828288 10450 33554432000 4194304 4196468 140735640752320 139636079945712 139636587928194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28123] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 23392 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39590115 10914828288 10450 33554432000 4194304 4196468 140735640752320 139636078891936 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28124] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 23392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39590115 10914828288 10450 33554432000 4194304 4196468 140735640752320 139636077839344 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28125] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39590118 10914828288 10450 33554432000 4194304 4196468 140735640752320 139636076787920 139636587935643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28126] ppid=28112 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28115/task/28126/stat : 28126 (java) S 28112 28115 23392 0 -1 1077944384 705 0 0 0 2 0 0 0 20 0 15 0 39590118 10914828288 10450 33554432000 4194304 4196468 140735640752320 139636075735536 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28127] ppid=28112 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28115/task/28127/stat : 28127 (java) S 28112 28115 23392 0 -1 1077944384 304 0 0 0 2 0 0 0 20 0 15 0 39590118 10914828288 10450 33554432000 4194304 4196468 140735640752320 139636074682992 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28128] ppid=28112 vsize=10659012 memory=140689096484480 CPUtime=0.07 cores=1,3,5,7
/proc/28115/task/28128/stat : 28128 (java) S 28112 28115 23392 0 -1 1077944384 688 0 0 0 7 0 0 0 20 0 15 0 39590118 10914828288 10450 33554432000 4194304 4196468 140735640752320 139636073630448 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28129] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39590118 10914828288 10450 33554432000 4194304 4196468 140735640752320 139636072578144 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28130] ppid=28112 vsize=10659012 memory=140689096484480 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39590118 10914828288 10450 33554432000 4194304 4196468 140735640752320 139636071524656 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41800 KiB

[startup+0.310558 s]*
/proc/loadavg: 5.78 5.66 3.89 5/217 28130
/proc/meminfo: memFree=21862352/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10659012 memory=55236 CPUtime=0.59 cores=1,3,5,7
/proc/28115/stat : 28115 (java) S 28112 28115 23392 0 -1 1077944320 9904 0 0 0 56 3 0 0 20 0 15 0 39590112 10914828288 13809 33554432000 4194304 4196468 140735640752320 140735640734864 139636587917047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
/proc/28115/statm: 2664753 13809 3043 1 0 2627263 0
[pid=28115/tid=28117] ppid=28112 vsize=10659012 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/28115/task/28117/stat : 28117 (java) R 28112 28115 23392 0 -1 4202560 5366 0 0 0 28 2 0 0 20 0 15 0 39590112 10914828288 13809 33554432000 4194304 4196468 140735640752320 139636592155024 139636587938973 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28118] ppid=28112 vsize=10659012 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28118/stat : 28118 (java) S 28112 28115 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39590113 10914828288 13809 33554432000 4194304 4196468 140735640752320 139636513991440 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28119] ppid=28112 vsize=10659012 memory=3977445010653226656 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39590113 10914828288 13809 33554432000 4194304 4196468 140735640752320 139636512938896 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28120] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39590113 10914828288 13809 33554432000 4194304 4196468 140735640752320 139636511886352 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28121] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39590113 10914828288 13809 33554432000 4194304 4196468 140735640752320 139636510833808 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28122] ppid=28112 vsize=10659012 memory=140689096484480 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39590115 10914828288 13809 33554432000 4194304 4196468 140735640752320 139636079945712 139636587928194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28123] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 23392 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39590115 10914828288 13809 33554432000 4194304 4196468 140735640752320 139636078891936 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28124] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 23392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39590115 10914828288 13809 33554432000 4194304 4196468 140735640752320 139636077839344 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28125] ppid=28112 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39590118 10914828288 13809 33554432000 4194304 4196468 140735640752320 139636076787920 139636587935643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28126] ppid=28112 vsize=10659012 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28115/task/28126/stat : 28126 (java) R 28112 28115 23392 0 -1 4202560 1254 0 0 0 8 0 0 0 20 0 15 0 39590118 10914828288 13809 33554432000 4194304 4196468 140735640752320 139636075721560 139636569460770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28127] ppid=28112 vsize=10659012 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28115/task/28127/stat : 28127 (java) R 28112 28115 23392 0 -1 4202560 851 0 0 0 7 0 0 0 20 0 15 0 39590118 10914828288 13809 33554432000 4194304 4196468 140735640752320 139636074664008 139636565934056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28128] ppid=28112 vsize=10659012 memory=140689096484480 CPUtime=0.12 cores=1,3,5,7
/proc/28115/task/28128/stat : 28128 (java) R 28112 28115 23392 0 -1 1077944384 1074 0 0 0 12 0 0 0 20 0 15 0 39590118 10914828288 13809 33554432000 4194304 4196468 140735640752320 139636073630448 139636587928194 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28129] ppid=28112 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39590118 10914828288 13809 33554432000 4194304 4196468 140735640752320 139636072578144 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28130] ppid=28112 vsize=10659012 memory=140689096484480 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39590118 10914828288 13809 33554432000 4194304 4196468 140735640752320 139636071524656 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 55236 KiB

[startup+0.701318 s]
/proc/loadavg: 5.78 5.66 3.89 5/217 28130
/proc/meminfo: memFree=21833808/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10659088 memory=130016 CPUtime=1.81 cores=1,3,5,7
/proc/28115/stat : 28115 (java) S 28112 28115 23392 0 -1 1077944320 11784 0 0 0 176 5 0 0 20 0 15 0 39590112 10914906112 32504 33554432000 4194304 4196468 140735640752320 140735640734864 139636587917047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
/proc/28115/statm: 2664772 32504 3097 1 0 2627263 0
[pid=28115/tid=28117] ppid=28112 vsize=10659088 memory=261472038977849 CPUtime=0.67 cores=1,3,5,7
/proc/28115/task/28117/stat : 28117 (java) R 28112 28115 23392 0 -1 4202560 5824 0 0 0 64 3 0 0 20 0 15 0 39590112 10914906112 32504 33554432000 4194304 4196468 140735640752320 139636592153584 139636184830347 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28118] ppid=28112 vsize=10659088 memory=120106 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28118/stat : 28118 (java) S 28112 28115 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39590113 10914906112 32504 33554432000 4194304 4196468 140735640752320 139636513991440 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28119] ppid=28112 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39590113 10914906112 32504 33554432000 4194304 4196468 140735640752320 139636512938896 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28120] ppid=28112 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39590113 10914906112 32504 33554432000 4194304 4196468 140735640752320 139636511886352 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28121] ppid=28112 vsize=10659088 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 23392 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39590113 10914906112 32504 33554432000 4194304 4196468 140735640752320 139636510833808 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28122] ppid=28112 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 23392 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 39590115 10914906112 32504 33554432000 4194304 4196468 140735640752320 139636079945712 139636587928194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28123] ppid=28112 vsize=10659088 memory=-3535359994705171299 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 23392 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39590115 10914906112 32504 33554432000 4194304 4196468 140735640752320 139636078891936 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28124] ppid=28112 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 23392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39590115 10914906112 32504 33554432000 4194304 4196468 140735640752320 139636077839344 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28125] ppid=28112 vsize=10659088 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39590118 10914906112 32504 33554432000 4194304 4196468 140735640752320 139636076787920 139636587935643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28126] ppid=28112 vsize=10659088 memory=6656426216303648864 CPUtime=0.43 cores=1,3,5,7
/proc/28115/task/28126/stat : 28126 (java) R 28112 28115 23392 0 -1 4202560 1930 0 0 0 43 0 0 0 20 0 15 0 39590118 10914906112 32504 33554432000 4194304 4196468 140735640752320 139636075716472 139636572812264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28127] ppid=28112 vsize=10659088 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/28115/task/28127/stat : 28127 (java) R 28112 28115 23392 0 -1 4202560 1286 0 0 0 41 0 0 0 20 0 15 0 39590118 10914906112 32504 33554432000 4194304 4196468 140735640752320 139636074675480 139636572305598 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28128] ppid=28112 vsize=10659088 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/28115/task/28128/stat : 28128 (java) S 28112 28115 23392 0 -1 1077944384 1372 0 0 0 27 0 0 0 20 0 15 0 39590118 10914906112 32504 33554432000 4194304 4196468 140735640752320 139636073630448 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28129] ppid=28112 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39590118 10914906112 32504 33554432000 4194304 4196468 140735640752320 139636072578144 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28130] ppid=28112 vsize=10659088 memory=16436 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 23392 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39590118 10914906112 32504 33554432000 4194304 4196468 140735640752320 139636071524656 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 130016 KiB

[startup+1.50074 s]
/proc/loadavg: 5.78 5.66 3.89 5/217 28130
/proc/meminfo: memFree=21689532/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10661136 memory=256512 CPUtime=4.47 cores=1,3,5,7
/proc/28115/stat : 28115 (java) S 28112 28115 23392 0 -1 1077944320 14018 0 0 0 435 12 0 0 20 0 15 0 39590112 10917003264 64128 33554432000 4194304 4196468 140735640752320 140735640734864 139636587917047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
/proc/28115/statm: 2665284 64128 3145 1 0 2627775 0
[pid=28115/tid=28117] ppid=28112 vsize=10661136 memory=10755 CPUtime=1.43 cores=1,3,5,7
/proc/28115/task/28117/stat : 28117 (java) R 28112 28115 23392 0 -1 4202560 6104 0 0 0 138 5 0 0 20 0 15 0 39590112 10917003264 64128 33554432000 4194304 4196468 140735640752320 139636592151952 139636587928982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28118] ppid=28112 vsize=10661136 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/28115/task/28118/stat : 28118 (java) S 28112 28115 23392 0 -1 1077944384 161 0 0 0 2 1 0 0 20 0 15 0 39590113 10917003264 64128 33554432000 4194304 4196468 140735640752320 139636513991440 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28119] ppid=28112 vsize=10661136 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 23392 0 -1 1077944384 91 0 0 0 1 1 0 0 20 0 15 0 39590113 10917003264 64128 33554432000 4194304 4196468 140735640752320 139636512938896 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28120] ppid=28112 vsize=10661136 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 23392 0 -1 1077944384 87 0 0 0 2 1 0 0 20 0 15 0 39590113 10917003264 64128 33554432000 4194304 4196468 140735640752320 139636511886352 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28121] ppid=28112 vsize=10661136 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 23392 0 -1 1077944384 110 0 0 0 2 1 0 0 20 0 15 0 39590113 10917003264 64128 33554432000 4194304 4196468 140735640752320 139636510833808 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28122] ppid=28112 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 23392 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 39590115 10917003264 64128 33554432000 4194304 4196468 140735640752320 139636079945712 139636587928194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0

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

/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 23392 0 -1 1077944384 4509 0 0 0 241 42 0 0 20 0 16 0 39590113 10985164800 841294 33554432000 4194304 4196468 140735640752320 139636511886352 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28121] ppid=28112 vsize=10727700 memory=140688968939057 CPUtime=2.8 cores=1,3,5,7
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 23392 0 -1 1077944384 3325 0 0 0 238 42 0 0 20 0 16 0 39590113 10985164800 841294 33554432000 4194304 4196468 140735640752320 139636510833808 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28122] ppid=28112 vsize=10727700 memory=3365176 CPUtime=0.84 cores=1,3,5,7
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 23392 0 -1 1077944384 12663 0 0 0 81 3 0 0 20 0 16 0 39590115 10985164800 841294 33554432000 4194304 4196468 140735640752320 139636079945712 139636587928194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28123] ppid=28112 vsize=10727700 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 23392 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 39590115 10985164800 841294 33554432000 4194304 4196468 140735640752320 139636078892000 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28124] ppid=28112 vsize=10727700 memory=3365176 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 23392 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 39590115 10985164800 841294 33554432000 4194304 4196468 140735640752320 139636077839360 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28125] ppid=28112 vsize=10727700 memory=928 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39590118 10985164800 841294 33554432000 4194304 4196468 140735640752320 139636076787920 139636587935643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28126] ppid=28112 vsize=10727700 memory=4140 CPUtime=4.01 cores=1,3,5,7
/proc/28115/task/28126/stat : 28126 (java) S 28112 28115 23392 0 -1 1077944384 20281 0 0 0 399 2 0 0 20 0 16 0 39590118 10985164800 841294 33554432000 4194304 4196468 140735640752320 139636075735536 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28127] ppid=28112 vsize=10727700 memory=14000 CPUtime=4.03 cores=1,3,5,7
/proc/28115/task/28127/stat : 28127 (java) S 28112 28115 23392 0 -1 1077944384 17126 0 0 0 401 2 0 0 20 0 16 0 39590118 10985164800 841294 33554432000 4194304 4196468 140735640752320 139636074682992 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28128] ppid=28112 vsize=10727700 memory=2864 CPUtime=0.76 cores=1,3,5,7
/proc/28115/task/28128/stat : 28128 (java) S 28112 28115 23392 0 -1 1077944384 9286 0 0 0 74 2 0 0 20 0 16 0 39590118 10985164800 841294 33554432000 4194304 4196468 140735640752320 139636073630448 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28129] ppid=28112 vsize=10727700 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39590118 10985164800 841294 33554432000 4194304 4196468 140735640752320 139636072578144 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28130] ppid=28112 vsize=10727700 memory=3332 CPUtime=1.38 cores=1,3,5,7
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 23392 0 -1 1077944384 2508 0 0 0 62 76 0 0 20 0 16 0 39590118 10985164800 841294 33554432000 4194304 4196468 140735640752320 139636071524656 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28131] ppid=28112 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28131/stat : 28131 (java) S 28112 28115 23392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39590590 10985164800 841294 33554432000 4194304 4196468 140735640752320 139636068373296 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
Current children cumulated CPU time: 2280.78 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3365176 KiB

[startup+2322.3 s]
/proc/loadavg: 2.08 2.00 2.15 3/218 28221
/proc/meminfo: memFree=18252968/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10727700 memory=3377600 CPUtime=2341.13 cores=1,3,5,7
/proc/28115/stat : 28115 (java) S 28112 28115 23392 0 -1 1077944320 162901 0 0 0 233828 285 0 0 20 0 16 0 39590112 10985164800 844400 33554432000 4194304 4196468 140735640752320 140735640734864 139636587917047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
/proc/28115/statm: 2681925 844400 3197 1 0 2644416 0
[pid=28115/tid=28117] ppid=28112 vsize=10727700 memory=4616 CPUtime=2318.28 cores=1,3,5,7
/proc/28115/task/28117/stat : 28117 (java) R 28112 28115 23392 0 -1 4202560 82431 0 0 0 231790 38 0 0 20 0 16 0 39590112 10985164800 844400 33554432000 4194304 4196468 140735640752320 139636592156032 139636189734835 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28118] ppid=28112 vsize=10727700 memory=3377600 CPUtime=2.93 cores=1,3,5,7
/proc/28115/task/28118/stat : 28118 (java) S 28112 28115 23392 0 -1 1077944384 4502 0 0 0 251 42 0 0 20 0 16 0 39590113 10985164800 844400 33554432000 4194304 4196468 140735640752320 139636513991440 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28119] ppid=28112 vsize=10727700 memory=3377600 CPUtime=2.9 cores=1,3,5,7
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 23392 0 -1 1077944384 3305 0 0 0 248 42 0 0 20 0 16 0 39590113 10985164800 844400 33554432000 4194304 4196468 140735640752320 139636512938896 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28120] ppid=28112 vsize=10727700 memory=3365176 CPUtime=2.95 cores=1,3,5,7
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 23392 0 -1 1077944384 4670 0 0 0 252 43 0 0 20 0 16 0 39590113 10985164800 844400 33554432000 4194304 4196468 140735640752320 139636511886352 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28121] ppid=28112 vsize=10727700 memory=3365176 CPUtime=2.92 cores=1,3,5,7
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 23392 0 -1 1077944384 3946 0 0 0 249 43 0 0 20 0 16 0 39590113 10985164800 844400 33554432000 4194304 4196468 140735640752320 139636510833808 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28122] ppid=28112 vsize=10727700 memory=3365176 CPUtime=0.84 cores=1,3,5,7
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 23392 0 -1 1077944384 12912 0 0 0 81 3 0 0 20 0 16 0 39590115 10985164800 844400 33554432000 4194304 4196468 140735640752320 139636079945712 139636587928194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28123] ppid=28112 vsize=10727700 memory=3377600 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 23392 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 39590115 10985164800 844400 33554432000 4194304 4196468 140735640752320 139636078892000 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28124] ppid=28112 vsize=10727700 memory=3377600 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 23392 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 39590115 10985164800 844400 33554432000 4194304 4196468 140735640752320 139636077839360 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28125] ppid=28112 vsize=10727700 memory=3377600 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39590118 10985164800 844400 33554432000 4194304 4196468 140735640752320 139636076787920 139636587935643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28126] ppid=28112 vsize=10727700 memory=56 CPUtime=4.01 cores=1,3,5,7
/proc/28115/task/28126/stat : 28126 (java) S 28112 28115 23392 0 -1 1077944384 20284 0 0 0 399 2 0 0 20 0 16 0 39590118 10985164800 844400 33554432000 4194304 4196468 140735640752320 139636075735536 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28127] ppid=28112 vsize=10727700 memory=3377600 CPUtime=4.03 cores=1,3,5,7
/proc/28115/task/28127/stat : 28127 (java) S 28112 28115 23392 0 -1 1077944384 17591 0 0 0 401 2 0 0 20 0 16 0 39590118 10985164800 844400 33554432000 4194304 4196468 140735640752320 139636074682992 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28128] ppid=28112 vsize=10727700 memory=3377600 CPUtime=0.76 cores=1,3,5,7
/proc/28115/task/28128/stat : 28128 (java) S 28112 28115 23392 0 -1 1077944384 9299 0 0 0 74 2 0 0 20 0 16 0 39590118 10985164800 844400 33554432000 4194304 4196468 140735640752320 139636073630448 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28129] ppid=28112 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39590118 10985164800 844400 33554432000 4194304 4196468 140735640752320 139636072578144 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28130] ppid=28112 vsize=10727700 memory=6944656592455359580 CPUtime=1.42 cores=1,3,5,7
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 23392 0 -1 1077944384 2551 0 0 0 64 78 0 0 20 0 16 0 39590118 10985164800 844400 33554432000 4194304 4196468 140735640752320 139636071524656 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28131] ppid=28112 vsize=10727700 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28131/stat : 28131 (java) S 28112 28115 23392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39590590 10985164800 844400 33554432000 4194304 4196468 140735640752320 139636068373296 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
Current children cumulated CPU time: 2341.13 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3377600 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2381.2 s]
/proc/loadavg: 2.37 2.09 2.17 3/217 28345
/proc/meminfo: memFree=13130664/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10727700 memory=3380332 CPUtime=2400.08 cores=1,3,5,7
/proc/28115/stat : 28115 (java) S 28112 28115 23392 0 -1 1077944320 165531 0 0 0 239720 288 0 0 20 0 16 0 39590112 10985164800 845083 33554432000 4194304 4196468 140735640752320 140735640734864 139636587917047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
/proc/28115/statm: 2681925 845083 3197 1 0 2644416 0
[pid=28115/tid=28117] ppid=28112 vsize=10727700 memory=0 CPUtime=2377.17 cores=1,3,5,7
/proc/28115/task/28117/stat : 28117 (java) R 28112 28115 23392 0 -1 4202560 83827 0 0 0 237679 38 0 0 20 0 16 0 39590112 10985164800 845083 33554432000 4194304 4196468 140735640752320 139636592153024 139636190257683 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28118] ppid=28112 vsize=10727700 memory=142 CPUtime=2.93 cores=1,3,5,7
/proc/28115/task/28118/stat : 28118 (java) S 28112 28115 23392 0 -1 1077944384 4502 0 0 0 251 42 0 0 20 0 16 0 39590113 10985164800 845083 33554432000 4194304 4196468 140735640752320 139636513991440 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28119] ppid=28112 vsize=10727700 memory=6791534058613427641 CPUtime=2.9 cores=1,3,5,7
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 23392 0 -1 1077944384 3305 0 0 0 248 42 0 0 20 0 16 0 39590113 10985164800 845083 33554432000 4194304 4196468 140735640752320 139636512938896 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28120] ppid=28112 vsize=10727700 memory=14012 CPUtime=2.95 cores=1,3,5,7
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 23392 0 -1 1077944384 4670 0 0 0 252 43 0 0 20 0 16 0 39590113 10985164800 845083 33554432000 4194304 4196468 140735640752320 139636511886352 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28121] ppid=28112 vsize=10727700 memory=2436 CPUtime=2.92 cores=1,3,5,7
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 23392 0 -1 1077944384 3946 0 0 0 249 43 0 0 20 0 16 0 39590113 10985164800 845083 33554432000 4194304 4196468 140735640752320 139636510833808 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28122] ppid=28112 vsize=10727700 memory=1296 CPUtime=0.84 cores=1,3,5,7
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 23392 0 -1 1077944384 12923 0 0 0 81 3 0 0 20 0 16 0 39590115 10985164800 845083 33554432000 4194304 4196468 140735640752320 139636079945712 139636587928194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28123] ppid=28112 vsize=10727700 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 23392 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 39590115 10985164800 845083 33554432000 4194304 4196468 140735640752320 139636078892000 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28124] ppid=28112 vsize=10727700 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 23392 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 39590115 10985164800 845083 33554432000 4194304 4196468 140735640752320 139636077839360 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28125] ppid=28112 vsize=10727700 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39590118 10985164800 845083 33554432000 4194304 4196468 140735640752320 139636076787920 139636587935643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28126] ppid=28112 vsize=10727700 memory=1728 CPUtime=4.02 cores=1,3,5,7
/proc/28115/task/28126/stat : 28126 (java) S 28112 28115 23392 0 -1 1077944384 20993 0 0 0 400 2 0 0 20 0 16 0 39590118 10985164800 845083 33554432000 4194304 4196468 140735640752320 139636075735536 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28127] ppid=28112 vsize=10727700 memory=1008 CPUtime=4.04 cores=1,3,5,7
/proc/28115/task/28127/stat : 28127 (java) S 28112 28115 23392 0 -1 1077944384 17718 0 0 0 401 3 0 0 20 0 16 0 39590118 10985164800 845083 33554432000 4194304 4196468 140735640752320 139636074682992 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28128] ppid=28112 vsize=10727700 memory=5520 CPUtime=0.76 cores=1,3,5,7
/proc/28115/task/28128/stat : 28128 (java) S 28112 28115 23392 0 -1 1077944384 9641 0 0 0 74 2 0 0 20 0 16 0 39590118 10985164800 845083 33554432000 4194304 4196468 140735640752320 139636073630448 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28129] ppid=28112 vsize=10727700 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39590118 10985164800 845083 33554432000 4194304 4196468 140735640752320 139636072578144 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28130] ppid=28112 vsize=10727700 memory=1428 CPUtime=1.46 cores=1,3,5,7
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 23392 0 -1 1077944384 2596 0 0 0 65 81 0 0 20 0 16 0 39590118 10985164800 845083 33554432000 4194304 4196468 140735640752320 139636071524656 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28131] ppid=28112 vsize=10727700 memory=12976 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28131/stat : 28131 (java) S 28112 28115 23392 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39590590 10985164800 845083 33554432000 4194304 4196468 140735640752320 139636068373296 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3380332 KiB

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

[startup+2381.44 s]
# the end of solver process 28115 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.34 s, system=2.90621 s

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

[startup+2381.4 s]
/proc/loadavg: 2.37 2.09 2.17 3/217 28345
/proc/meminfo: memFree=13130664/32770624 swapFree=67108860/67108860
[pid=28115] ppid=28112 vsize=10927392 memory=3380652 CPUtime=2400.22 cores=1,3,5,7
/proc/28115/stat : 28115 (java) S 28112 28115 23392 0 -1 1077944320 167579 0 0 0 239733 289 0 0 20 0 17 0 39590112 11189649408 845163 33554432000 4194304 4196468 140735640752320 140735640734864 139636587917047 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
/proc/28115/statm: 2731848 845163 3201 1 0 2694339 0
[pid=28115/tid=28117] ppid=28112 vsize=10927392 memory=6791534058613427641 CPUtime=2377.27 cores=1,3,5,7
/proc/28115/task/28117/stat : 28117 (java) S 28112 28115 23392 0 -1 1077944384 83947 0 0 0 237689 38 0 0 20 0 17 0 39590112 11189649408 845163 33554432000 4194304 4196468 140735640752320 139636592159920 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28118] ppid=28112 vsize=10927392 memory=1796 CPUtime=2.93 cores=1,3,5,7
/proc/28115/task/28118/stat : 28118 (java) S 28112 28115 23392 0 -1 1077944384 4502 0 0 0 251 42 0 0 20 0 17 0 39590113 11189649408 845163 33554432000 4194304 4196468 140735640752320 139636513991440 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28119] ppid=28112 vsize=10927392 memory=644 CPUtime=2.9 cores=1,3,5,7
/proc/28115/task/28119/stat : 28119 (java) S 28112 28115 23392 0 -1 1077944384 3305 0 0 0 248 42 0 0 20 0 17 0 39590113 11189649408 845163 33554432000 4194304 4196468 140735640752320 139636512938896 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28120] ppid=28112 vsize=10927392 memory=956 CPUtime=2.95 cores=1,3,5,7
/proc/28115/task/28120/stat : 28120 (java) S 28112 28115 23392 0 -1 1077944384 4670 0 0 0 252 43 0 0 20 0 17 0 39590113 11189649408 845163 33554432000 4194304 4196468 140735640752320 139636511886352 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28121] ppid=28112 vsize=10927392 memory=1240 CPUtime=2.92 cores=1,3,5,7
/proc/28115/task/28121/stat : 28121 (java) S 28112 28115 23392 0 -1 1077944384 3946 0 0 0 249 43 0 0 20 0 17 0 39590113 11189649408 845163 33554432000 4194304 4196468 140735640752320 139636510833808 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28122] ppid=28112 vsize=10927392 memory=2340 CPUtime=0.84 cores=1,3,5,7
/proc/28115/task/28122/stat : 28122 (java) S 28112 28115 23392 0 -1 1077944384 12976 0 0 0 81 3 0 0 20 0 17 0 39590115 11189649408 845163 33554432000 4194304 4196468 140735640752320 139636079945712 139636587928194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28123] ppid=28112 vsize=10927392 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28123/stat : 28123 (java) S 28112 28115 23392 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 39590115 11189649408 845163 33554432000 4194304 4196468 140735640752320 139636078892000 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28124] ppid=28112 vsize=10927392 memory=928 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28124/stat : 28124 (java) S 28112 28115 23392 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 17 0 39590115 11189649408 845163 33554432000 4194304 4196468 140735640752320 139636077839360 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28125] ppid=28112 vsize=10927392 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28125/stat : 28125 (java) S 28112 28115 23392 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 17 0 39590118 11189649408 845163 33554432000 4194304 4196468 140735640752320 139636076787920 139636587935643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28126] ppid=28112 vsize=10927392 memory=1948 CPUtime=4.04 cores=1,3,5,7
/proc/28115/task/28126/stat : 28126 (java) S 28112 28115 23392 0 -1 1077944384 21307 0 0 0 402 2 0 0 20 0 17 0 39590118 11189649408 845163 33554432000 4194304 4196468 140735640752320 139636075735536 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28127] ppid=28112 vsize=10927392 memory=1200 CPUtime=4.04 cores=1,3,5,7
/proc/28115/task/28127/stat : 28127 (java) S 28112 28115 23392 0 -1 1077944384 17811 0 0 0 401 3 0 0 20 0 17 0 39590118 11189649408 845163 33554432000 4194304 4196468 140735640752320 139636074682992 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28128] ppid=28112 vsize=10927392 memory=8364 CPUtime=0.77 cores=1,3,5,7
/proc/28115/task/28128/stat : 28128 (java) S 28112 28115 23392 0 -1 1077944384 10458 0 0 0 75 2 0 0 20 0 17 0 39590118 11189649408 845163 33554432000 4194304 4196468 140735640752320 139636073630448 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28129] ppid=28112 vsize=10927392 memory=800 CPUtime=0 cores=1,3,5,7
/proc/28115/task/28129/stat : 28129 (java) S 28112 28115 23392 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39590118 11189649408 845163 33554432000 4194304 4196468 140735640752320 139636072578144 139636587927253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
[pid=28115/tid=28130] ppid=28112 vsize=10927392 memory=15876 CPUtime=1.46 cores=1,3,5,7
/proc/28115/task/28130/stat : 28130 (java) S 28112 28115 23392 0 -1 1077944384 2596 0 0 0 65 81 0 0 20 0 17 0 39590118 11189649408 845163 33554432000 4194304 4196468 140735640752320 139636071524656 139636587928194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 30990336 140735640757361 140735640757513 140735640757513 140735640760271 0
Current children cumulated CPU time: 2400.22 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 3380652 KiB

Child status: 143
Real time (s): 2381.44
CPU time (s): 2400.25
CPU user time (s): 2397.34
CPU system time (s): 2.90621
CPU usage (%): 100.79
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 3380652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.34
system time used= 2.90621
maximum resident set size= 3380864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54689
involuntary context switches= 1578


# summary of solver processes directly reported to runsolver:
#   pid: 28115
#   total CPU time (s): 2400.25
#   total CPU user time (s): 2397.34
#   total CPU system time (s): 2.90621

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3516 second user time and 22.5511 second system time

The end

Name	PeacableArmies/ PeacableArmies-m2-30_c18.xml
MD5SUM	f7f9b20d19eb9843ceb4981536ba88b3
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	83
Best CPU time to get the best result obtained on this benchmark	2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables	902
Number of constraints	43213
Number of domains	2
Minimum domain size	3
Maximum domain size	450
Distribution of domain sizes	[{"size":3,"count":900},{"size":450,"count":2}]
Minimum variable degree	2
Maximum variable degree	117
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":3,"count":1},{"degree":89,"count":116},{"degree":91,"count":108},{"degree":93,"count":100},{"degree":95,"count":92},{"degree":97,"count":84},{"degree":99,"count":76},{"degree":101,"count":68},{"degree":103,"count":60},{"degree":105,"count":52},{"degree":107,"count":44},{"degree":109,"count":36},{"degree":111,"count":28},{"degree":113,"count":20},{"degree":115,"count":12},{"degree":117,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	901
Distribution of constraint arities	[{"arity":2,"count":43211},{"arity":901,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	43211
Distribution of constraint types	[{"type":"intension","count":43211},{"type":"count","count":2}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4289807

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