2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j-CSP 2018-07-11	SAT (TO)	65	252.084	249.333

1.40/0.69	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
1.40/0.69	c This is free software under the dual EPL/GNU LGPL licenses.
1.40/0.69	c See www.sat4j.org for details.
1.40/0.69	c That software uses the Rhino library from the Mozilla project.
1.40/0.69	c version 2.3.6-SNAPSHOT
1.40/0.69	c java.runtime.name	Java(TM) SE Runtime Environment
1.40/0.69	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
1.40/0.69	c java.vm.version	25.131-b11
1.40/0.69	c java.vm.vendor	Oracle Corporation
1.40/0.69	c sun.arch.data.model	64
1.40/0.69	c java.version		1.8.0_131
1.40/0.69	c os.name		Linux
1.40/0.69	c os.version		3.10.0-514.16.1.el7.x86_64
1.40/0.69	c os.arch		amd64
1.40/0.69	c Free memory 		499604488
1.40/0.69	c Max memory 		7247757312
1.40/0.69	c Total memory 		504889344
1.40/0.69	c Number of processors 	4
1.40/0.69	c c --- Begin Solver configuration ---
1.40/0.69	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
1.40/0.69	c Learn all clauses as in MiniSAT
1.40/0.69	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
1.40/0.69	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
1.40/0.69	c No reason simplification
1.40/0.69	c Glucose 2.1 dynamic restart strategy
1.40/0.69	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
1.40/0.69	c timeout=2147483s
1.40/0.69	c DB Simplification allowed=false
1.40/0.69	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
1.40/0.69	c --- End Solver configuration ---
1.40/0.69	c constraints type 
1.40/0.69	c org.sat4j.minisat.constraints.card.MinWatchCard => 860
1.40/0.69	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 728
1.40/0.69	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 145966
1.40/0.69	c org.sat4j.minisat.constraints.cnf.UnitClause => 806
1.40/0.69	c 148360 constraints processed.
1.73/0.76	o 201
3.21/1.46	o 193
3.35/1.51	o 153
3.35/1.55	o 149
3.47/1.68	o 121
4.43/2.51	o 105
14.74/12.32	o 101
15.85/13.49	o 81
21.65/19.16	o 77
42.41/39.87	o 69
154.74/151.90	o 65
252.07/249.31	c starts		: 159
252.07/249.31	c conflicts		: 450041
252.07/249.31	c decisions		: 504345
252.07/249.31	c propagations		: 653708051
252.07/249.31	c inspects		: 2501030214
252.07/249.31	c shortcuts		: 0
252.07/249.31	c learnt literals	: 53
252.07/249.31	c learnt binary clauses	: 198
252.07/249.31	c learnt ternary clauses	: 1034
252.07/249.31	c learnt constraints	: 449988
252.07/249.31	c ignored constraints	: 0
252.07/249.31	c root simplifications	: 0
252.07/249.31	c removed literals (reason simplification)	: 0
252.07/249.31	c reason swapping (by a shorter reason)	: 0
252.07/249.31	c Calls to reduceDB	: 40
252.07/249.31	c Number of update (reduction) of LBD	: 94722
252.07/249.31	c Imported unit clauses	: 0
252.07/249.31	c number of reductions to clauses (during analyze)	: 0
252.07/249.31	c number of learned constraints concerned by reduction	: 0
252.07/249.31	c number of learning phase by resolution	: 0
252.07/249.31	c number of learning phase by cutting planes	: 0
252.07/249.31	c number of rounding to 1 operations	: 0
252.07/249.31	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
252.07/249.31	c number of reductions of the coefficients by power 2 	: 0
252.07/249.31	c number of right shift for reduction by power 2 	: 0
252.07/249.31	c number of reductions of the coefficients by GCD over coefficients 	: 0
252.07/249.31	c number of ending skipping 	: 0
252.07/249.31	c number of internal skipping 	: 0
252.07/249.31	c number of derivation steps 	: 0
252.07/249.31	c number of skipped derivation steps 	: 0
252.07/249.31	c number of remaining unassigned 	: 0
252.07/249.31	c number of remaining assigned 	: 0
252.07/249.31	c speed (assignments/second)	: 2629367.3466925165
252.07/249.31	c non guided choices	: 9503
252.07/249.31	s SATISFIABLE
252.07/249.31	v <instantiation type="solution">
252.07/249.31	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] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] </list>
252.07/249.31	v 	<values> -1 -1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 -1 -2 1 2 -1 -2 3 -2 1 -2 -1 0 -1 0 1 -2 1 0 1 4 1 -2 1 0 -1 0 1 4 1 4 1 4 9 4 1 4 1 0 1 0 1 4 1 0 1 16 1 4 1 0 1 </values>
252.07/249.31	v </instantiation>
252.07/249.31

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301859-1532885175/watcher-4301859-1532885175 -o /tmp/evaluation-result-4301859-1532885175/solver-4301859-1532885175 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13546 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301859-1532885175.xml 

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

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


[startup+0.101213 s]*
/proc/loadavg: 2.00 2.35 2.53 2/216 18560
/proc/meminfo: memFree=27674284/32770624 swapFree=67108860/67108860
[pid=18545] ppid=18542 vsize=10659012 memory=31492 CPUtime=0.13 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 13514 0 -1 1077944320 6435 0 0 0 11 2 0 0 20 0 15 0 106080643 10914828288 7873 33554432000 4194304 4196468 140737178611328 140737178593872 139642087194359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
/proc/18545/statm: 2664753 7873 2816 1 0 2627263 0
[pid=18545/tid=18547] ppid=18542 vsize=10659012 memory=-8701690554792053887 CPUtime=0.09 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) R 18542 18545 13514 0 -1 4202560 4272 0 0 0 8 1 0 0 20 0 15 0 106080643 10914828288 7873 33554432000 4194304 4196468 140737178611328 139642091408352 139642071274846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18548] ppid=18542 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106080644 10914828288 7873 33554432000 4194304 4196468 140737178611328 139642013269008 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18549] ppid=18542 vsize=10659012 memory=139699256858240 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106080644 10914828288 7873 33554432000 4194304 4196468 140737178611328 139642012216464 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18550] ppid=18542 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106080644 10914828288 7873 33554432000 4194304 4196468 140737178611328 139642011163408 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18551] ppid=18542 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106080644 10914828288 7873 33554432000 4194304 4196468 140737178611328 139642010110864 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18552] ppid=18542 vsize=10659012 memory=139699256858240 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106080645 10914828288 7873 33554432000 4194304 4196468 140737178611328 139641578526960 139642087205506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18553] ppid=18542 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106080646 10914828288 7873 33554432000 4194304 4196468 140737178611328 139641577473184 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18554] ppid=18542 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106080646 10914828288 7873 33554432000 4194304 4196468 140737178611328 139641576420080 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18555] ppid=18542 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106080648 10914828288 7873 33554432000 4194304 4196468 140737178611328 139641575368656 139642087212955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18556] ppid=18542 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) S 18542 18545 13514 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 106080648 10914828288 7873 33554432000 4194304 4196468 140737178611328 139641574316784 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18557] ppid=18542 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) S 18542 18545 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106080648 10914828288 7873 33554432000 4194304 4196468 140737178611328 139641573264240 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18558] ppid=18542 vsize=10659012 memory=139699256858240 CPUtime=0.02 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) S 18542 18545 13514 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 15 0 106080648 10914828288 7873 33554432000 4194304 4196468 140737178611328 139641572211184 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18559] ppid=18542 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106080648 10914828288 7873 33554432000 4194304 4196468 140737178611328 139641571158880 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18560] ppid=18542 vsize=10659012 memory=139699256858240 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106080648 10914828288 7873 33554432000 4194304 4196468 140737178611328 139641570105904 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31492 KiB

[startup+0.210976 s]*
/proc/loadavg: 2.00 2.35 2.53 4/216 18560
/proc/meminfo: memFree=27666260/32770624 swapFree=67108860/67108860
[pid=18545] ppid=18542 vsize=10659012 memory=42244 CPUtime=0.33 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 13514 0 -1 1077944320 7673 0 0 0 31 2 0 0 20 0 15 0 106080643 10914828288 10561 33554432000 4194304 4196468 140737178611328 140737178593872 139642087194359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
/proc/18545/statm: 2664753 10561 3007 1 0 2627263 0
[pid=18545/tid=18547] ppid=18542 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) R 18542 18545 13514 0 -1 4202560 4612 0 0 0 18 2 0 0 20 0 15 0 106080643 10914828288 10561 33554432000 4194304 4196468 140737178611328 139642091430640 139642087216285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18548] ppid=18542 vsize=10659012 memory=331 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106080644 10914828288 10561 33554432000 4194304 4196468 140737178611328 139642013269008 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18549] ppid=18542 vsize=10659012 memory=139699257489649 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106080644 10914828288 10561 33554432000 4194304 4196468 140737178611328 139642012216464 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18550] ppid=18542 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106080644 10914828288 10561 33554432000 4194304 4196468 140737178611328 139642011163408 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18551] ppid=18542 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106080644 10914828288 10561 33554432000 4194304 4196468 140737178611328 139642010110864 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18552] ppid=18542 vsize=10659012 memory=139699256858240 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106080645 10914828288 10561 33554432000 4194304 4196468 140737178611328 139641578526960 139642087205506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18553] ppid=18542 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106080646 10914828288 10561 33554432000 4194304 4196468 140737178611328 139641577473184 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18554] ppid=18542 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106080646 10914828288 10561 33554432000 4194304 4196468 140737178611328 139641576420080 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18555] ppid=18542 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106080648 10914828288 10561 33554432000 4194304 4196468 140737178611328 139641575368656 139642087212955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18556] ppid=18542 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) S 18542 18545 13514 0 -1 1077944384 827 0 0 0 2 0 0 0 20 0 15 0 106080648 10914828288 10561 33554432000 4194304 4196468 140737178611328 139641574316784 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18557] ppid=18542 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) S 18542 18545 13514 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 15 0 106080648 10914828288 10561 33554432000 4194304 4196468 140737178611328 139641573264240 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18558] ppid=18542 vsize=10659012 memory=139699256858240 CPUtime=0.08 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) R 18542 18545 13514 0 -1 4202560 656 0 0 0 8 0 0 0 20 0 15 0 106080648 10914828288 10561 33554432000 4194304 4196468 140737178611328 139641572211184 139642065197206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18559] ppid=18542 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106080648 10914828288 10561 33554432000 4194304 4196468 140737178611328 139641571158880 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18560] ppid=18542 vsize=10659012 memory=139699256858240 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106080648 10914828288 10561 33554432000 4194304 4196468 140737178611328 139641570105904 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42244 KiB

[startup+0.312155 s]*
/proc/loadavg: 2.00 2.35 2.53 7/216 18560
/proc/meminfo: memFree=27659360/32770624 swapFree=67108860/67108860
[pid=18545] ppid=18542 vsize=10659088 memory=49476 CPUtime=0.54 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 13514 0 -1 1077944320 8418 0 0 0 51 3 0 0 20 0 15 0 106080643 10914906112 12369 33554432000 4194304 4196468 140737178611328 140737178593872 139642087194359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
/proc/18545/statm: 2664772 12369 3068 1 0 2627263 0
[pid=18545/tid=18547] ppid=18542 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) R 18542 18545 13514 0 -1 4202560 5123 0 0 0 28 2 0 0 20 0 15 0 106080643 10914906112 12369 33554432000 4194304 4196468 140737178611328 139642091430928 139642071237989 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18548] ppid=18542 vsize=10659088 memory=4294977825 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106080644 10914906112 12369 33554432000 4194304 4196468 140737178611328 139642013269008 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18549] ppid=18542 vsize=10659088 memory=139699257487375 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106080644 10914906112 12369 33554432000 4194304 4196468 140737178611328 139642012216464 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18550] ppid=18542 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106080644 10914906112 12369 33554432000 4194304 4196468 140737178611328 139642011163408 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18551] ppid=18542 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106080644 10914906112 12369 33554432000 4194304 4196468 140737178611328 139642010110864 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18552] ppid=18542 vsize=10659088 memory=139699256858240 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106080645 10914906112 12369 33554432000 4194304 4196468 140737178611328 139641578526960 139642087205506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18553] ppid=18542 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106080646 10914906112 12369 33554432000 4194304 4196468 140737178611328 139641577473184 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18554] ppid=18542 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106080646 10914906112 12369 33554432000 4194304 4196468 140737178611328 139641576420080 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18555] ppid=18542 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106080648 10914906112 12369 33554432000 4194304 4196468 140737178611328 139641575368656 139642087212955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18556] ppid=18542 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) R 18542 18545 13514 0 -1 1077944384 862 0 0 0 4 0 0 0 20 0 15 0 106080648 10914906112 12369 33554432000 4194304 4196468 140737178611328 139641574303632 139642087204565 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18557] ppid=18542 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) R 18542 18545 13514 0 -1 4202560 323 0 0 0 4 0 0 0 20 0 15 0 106080648 10914906112 12369 33554432000 4194304 4196468 140737178611328 139641573256160 139642065388134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18558] ppid=18542 vsize=10659088 memory=139699256858240 CPUtime=0.13 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) R 18542 18545 13514 0 -1 4202560 746 0 0 0 13 0 0 0 20 0 15 0 106080648 10914906112 12369 33554432000 4194304 4196468 140737178611328 139641572208856 139642066148928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18559] ppid=18542 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106080648 10914906112 12369 33554432000 4194304 4196468 140737178611328 139641571158880 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18560] ppid=18542 vsize=10659088 memory=139699256858240 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106080648 10914906112 12369 33554432000 4194304 4196468 140737178611328 139641570105904 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 49476 KiB

[startup+0.711617 s]
/proc/loadavg: 2.00 2.35 2.53 7/216 18560
/proc/meminfo: memFree=27640932/32770624 swapFree=67108860/67108860
[pid=18545] ppid=18542 vsize=10727700 memory=106492 CPUtime=1.73 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 13514 0 -1 1077944320 10565 0 0 0 169 4 0 0 20 0 16 0 106080643 10985164800 26623 33554432000 4194304 4196468 140737178611328 140737178593872 139642087194359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
/proc/18545/statm: 2681925 26623 3108 1 0 2644416 0
[pid=18545/tid=18547] ppid=18542 vsize=10727700 memory=16872 CPUtime=0.68 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) R 18542 18545 13514 0 -1 4202560 5619 0 0 0 65 3 0 0 20 0 16 0 106080643 10985164800 26623 33554432000 4194304 4196468 140737178611328 139642091432968 139641689058972 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18548] ppid=18542 vsize=10727700 memory=2324 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106080644 10985164800 26623 33554432000 4194304 4196468 140737178611328 139642013269008 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18549] ppid=18542 vsize=10727700 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106080644 10985164800 26623 33554432000 4194304 4196468 140737178611328 139642012216464 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18550] ppid=18542 vsize=10727700 memory=496 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106080644 10985164800 26623 33554432000 4194304 4196468 140737178611328 139642011163408 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18551] ppid=18542 vsize=10727700 memory=928 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106080644 10985164800 26623 33554432000 4194304 4196468 140737178611328 139642010110864 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18552] ppid=18542 vsize=10727700 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 106080645 10985164800 26623 33554432000 4194304 4196468 140737178611328 139641578526960 139642087205506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18553] ppid=18542 vsize=10727700 memory=1968 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 106080646 10985164800 26623 33554432000 4194304 4196468 140737178611328 139641577473184 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18554] ppid=18542 vsize=10727700 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106080646 10985164800 26623 33554432000 4194304 4196468 140737178611328 139641576420080 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18555] ppid=18542 vsize=10727700 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106080648 10985164800 26623 33554432000 4194304 4196468 140737178611328 139641575368656 139642087212955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18556] ppid=18542 vsize=10727700 memory=6081108994580573287 CPUtime=0.32 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) R 18542 18545 13514 0 -1 4202560 1371 0 0 0 32 0 0 0 20 0 16 0 106080648 10985164800 26623 33554432000 4194304 4196468 140737178611328 139641574316912 139642067037936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18557] ppid=18542 vsize=10727700 memory=5788647689011156329 CPUtime=0.32 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) R 18542 18545 13514 0 -1 4202560 712 0 0 0 32 0 0 0 20 0 16 0 106080648 10985164800 26623 33554432000 4194304 4196468 140737178611328 139641573243792 139642068715750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18558] ppid=18542 vsize=10727700 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) S 18542 18545 13514 0 -1 1077944384 1472 0 0 0 39 0 0 0 20 0 16 0 106080648 10985164800 26623 33554432000 4194304 4196468 140737178611328 139641572211184 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18559] ppid=18542 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106080648 10985164800 26623 33554432000 4194304 4196468 140737178611328 139641571158880 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18560] ppid=18542 vsize=10727700 memory=756 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106080648 10985164800 26623 33554432000 4194304 4196468 140737178611328 139641570105904 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 106492 KiB

[startup+1.50074 s]
/proc/loadavg: 2.08 2.36 2.53 5/217 18561
/proc/meminfo: memFree=27595076/32770624 swapFree=67108860/67108860
[pid=18545] ppid=18542 vsize=10727700 memory=116996 CPUtime=3.35 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 13514 0 -1 1077944320 14356 0 0 0 330 5 0 0 20 0 16 0 106080643 10985164800 29249 33554432000 4194304 4196468 140737178611328 140737178593872 139642087194359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
/proc/18545/statm: 2681925 29249 3117 1 0 2644416 0
[pid=18545/tid=18547] ppid=18542 vsize=10727700 memory=33 CPUtime=1.46 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) R 18542 18545 13514 0 -1 4202560 6123 0 0 0 143 3 0 0 20 0 16 0 106080643 10985164800 29249 33554432000 4194304 4196468 140737178611328 139642091431032 139641689327772 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18548] ppid=18542 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106080644 10985164800 29249 33554432000 4194304 4196468 140737178611328 139642013269008 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18549] ppid=18542 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106080644 10985164800 29249 33554432000 4194304 4196468 140737178611328 139642012216464 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18550] ppid=18542 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106080644 10985164800 29249 33554432000 4194304 4196468 140737178611328 139642011163408 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18551] ppid=18542 vsize=10727700 memory=-2247047206207641111 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106080644 10985164800 29249 33554432000 4194304 4196468 140737178611328 139642010110864 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18552] ppid=18542 vsize=10727700 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 106080645 10985164800 29249 33554432000 4194304 4196468 140737178611328 139641578526960 139642087205506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0

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

/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 13514 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 16 0 106080644 10985164800 54390 33554432000 4194304 4196468 140737178611328 139642012216464 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18550] ppid=18542 vsize=10727700 memory=217560 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 13514 0 -1 1077944384 709 0 0 0 1 0 0 0 20 0 16 0 106080644 10985164800 54390 33554432000 4194304 4196468 140737178611328 139642011163408 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18551] ppid=18542 vsize=10727700 memory=279398226217424 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 13514 0 -1 1077944384 134 0 0 0 1 0 0 0 20 0 16 0 106080644 10985164800 54390 33554432000 4194304 4196468 140737178611328 139642010110864 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18552] ppid=18542 vsize=10727700 memory=217560 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 13514 0 -1 1077944384 737 0 0 0 0 0 0 0 20 0 16 0 106080645 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641578526960 139642087205506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18553] ppid=18542 vsize=10727700 memory=217560 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 13514 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 106080646 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641577473184 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18554] ppid=18542 vsize=10727700 memory=217560 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 13514 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 106080646 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641576420080 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18555] ppid=18542 vsize=10727700 memory=217560 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106080648 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641575368656 139642087212955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18556] ppid=18542 vsize=10727700 memory=217560 CPUtime=1.18 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) S 18542 18545 13514 0 -1 1077944384 10161 0 0 0 117 1 0 0 20 0 16 0 106080648 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641574316784 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18557] ppid=18542 vsize=10727700 memory=4140 CPUtime=1.09 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) S 18542 18545 13514 0 -1 1077944384 5941 0 0 0 109 0 0 0 20 0 16 0 106080648 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641573264240 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18558] ppid=18542 vsize=10727700 memory=16872 CPUtime=0.5 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) S 18542 18545 13514 0 -1 1077944384 3757 0 0 0 49 1 0 0 20 0 16 0 106080648 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641572211184 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18559] ppid=18542 vsize=10727700 memory=2324 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106080648 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641571158880 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18560] ppid=18542 vsize=10727700 memory=1572 CPUtime=0.11 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 13514 0 -1 1077944384 667 0 0 0 5 6 0 0 20 0 16 0 106080648 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641570105904 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18561] ppid=18542 vsize=10727700 memory=924 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18561/stat : 18561 (java) S 18542 18545 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106080713 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641566954544 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
Current children cumulated CPU time: 225.21 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 217560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+249.11 s]
/proc/loadavg: 2.00 2.16 2.41 3/217 18651
/proc/meminfo: memFree=28193592/32770624 swapFree=67108860/67108860
[pid=18545] ppid=18542 vsize=10727700 memory=217560 CPUtime=252.04 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 13514 0 -1 1077944320 33065 0 0 0 25187 17 0 0 20 0 16 0 106080643 10985164800 54390 33554432000 4194304 4196468 140737178611328 140737178593872 139642087194359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
/proc/18545/statm: 2681925 54390 3161 1 0 2644416 0
[pid=18545/tid=18547] ppid=18542 vsize=10727700 memory=217560 CPUtime=249.03 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) R 18542 18545 13514 0 -1 4202560 9098 0 0 0 24898 5 0 0 20 0 16 0 106080643 10985164800 54390 33554432000 4194304 4196468 140737178611328 139642091432968 139641689303262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18548] ppid=18542 vsize=10727700 memory=217560 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 13514 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 16 0 106080644 10985164800 54390 33554432000 4194304 4196468 140737178611328 139642013269008 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18549] ppid=18542 vsize=10727700 memory=217560 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 13514 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 16 0 106080644 10985164800 54390 33554432000 4194304 4196468 140737178611328 139642012216464 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18550] ppid=18542 vsize=10727700 memory=279398226216704 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 13514 0 -1 1077944384 709 0 0 0 1 0 0 0 20 0 16 0 106080644 10985164800 54390 33554432000 4194304 4196468 140737178611328 139642011163408 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18551] ppid=18542 vsize=10727700 memory=217560 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 13514 0 -1 1077944384 134 0 0 0 1 0 0 0 20 0 16 0 106080644 10985164800 54390 33554432000 4194304 4196468 140737178611328 139642010110864 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18552] ppid=18542 vsize=10727700 memory=217560 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 13514 0 -1 1077944384 737 0 0 0 0 0 0 0 20 0 16 0 106080645 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641578526960 139642087205506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18553] ppid=18542 vsize=10727700 memory=217560 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 13514 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 106080646 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641577473184 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18554] ppid=18542 vsize=10727700 memory=217560 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 13514 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 106080646 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641576420080 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18555] ppid=18542 vsize=10727700 memory=217560 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106080648 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641575368656 139642087212955 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18556] ppid=18542 vsize=10727700 memory=217560 CPUtime=1.18 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) S 18542 18545 13514 0 -1 1077944384 10161 0 0 0 117 1 0 0 20 0 16 0 106080648 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641574316784 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18557] ppid=18542 vsize=10727700 memory=217560 CPUtime=1.09 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) S 18542 18545 13514 0 -1 1077944384 5941 0 0 0 109 0 0 0 20 0 16 0 106080648 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641573264240 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18558] ppid=18542 vsize=10727700 memory=217560 CPUtime=0.5 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) S 18542 18545 13514 0 -1 1077944384 3757 0 0 0 49 1 0 0 20 0 16 0 106080648 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641572211184 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18559] ppid=18542 vsize=10727700 memory=217560 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106080648 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641571158880 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18560] ppid=18542 vsize=10727700 memory=290763849282617370 CPUtime=0.11 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 13514 0 -1 1077944384 669 0 0 0 5 6 0 0 20 0 16 0 106080648 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641570105904 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18561] ppid=18542 vsize=10727700 memory=288230613214036277 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18561/stat : 18561 (java) S 18542 18545 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106080713 10985164800 54390 33554432000 4194304 4196468 140737178611328 139641566954544 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 217560 KiB

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

[startup+249.333 s]
# the end of solver process 18545 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.909 s, system=0.175037 s

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

[startup+249.205 s]
/proc/loadavg: 2.00 2.16 2.41 3/217 18651
/proc/meminfo: memFree=28193592/32770624 swapFree=67108860/67108860
[pid=18545] ppid=18542 vsize=10927392 memory=217832 CPUtime=252.07 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 13514 0 -1 1077944320 33450 0 0 0 25190 17 0 0 20 0 17 0 106080643 11189649408 54458 33554432000 4194304 4196468 140737178611328 140737178593872 139642087194359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
/proc/18545/statm: 2731848 54458 3163 1 0 2694339 0
[pid=18545/tid=18547] ppid=18542 vsize=10927392 memory=844 CPUtime=249.05 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) S 18542 18545 13514 0 -1 1077944384 9186 0 0 0 24900 5 0 0 20 0 17 0 106080643 11189649408 54458 33554432000 4194304 4196468 140737178611328 139642091437232 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18548] ppid=18542 vsize=10927392 memory=3360 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 13514 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 17 0 106080644 11189649408 54458 33554432000 4194304 4196468 140737178611328 139642013269008 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18549] ppid=18542 vsize=10927392 memory=2724 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 13514 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 17 0 106080644 11189649408 54458 33554432000 4194304 4196468 140737178611328 139642012216464 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18550] ppid=18542 vsize=10927392 memory=1256 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 13514 0 -1 1077944384 709 0 0 0 1 0 0 0 20 0 17 0 106080644 11189649408 54458 33554432000 4194304 4196468 140737178611328 139642011163408 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18551] ppid=18542 vsize=10927392 memory=10368 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 13514 0 -1 1077944384 134 0 0 0 1 0 0 0 20 0 17 0 106080644 11189649408 54458 33554432000 4194304 4196468 140737178611328 139642010110864 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18552] ppid=18542 vsize=10927392 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 13514 0 -1 1077944384 737 0 0 0 0 0 0 0 20 0 17 0 106080645 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641578526960 139642087205506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18553] ppid=18542 vsize=10927392 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 13514 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 17 0 106080646 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641577473184 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18554] ppid=18542 vsize=10927392 memory=1812 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 13514 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 106080646 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641576420080 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18555] ppid=18542 vsize=10927392 memory=1020 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 13514 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 17 0 106080648 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641575368656 139642087212955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18556] ppid=18542 vsize=10927392 memory=5456 CPUtime=1.18 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) S 18542 18545 13514 0 -1 1077944384 10203 0 0 0 117 1 0 0 20 0 17 0 106080648 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641574316784 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18557] ppid=18542 vsize=10927392 memory=756 CPUtime=1.09 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) S 18542 18545 13514 0 -1 1077944384 5952 0 0 0 109 0 0 0 20 0 17 0 106080648 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641573264240 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18558] ppid=18542 vsize=10927392 memory=288230574492221466 CPUtime=0.5 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) S 18542 18545 13514 0 -1 1077944384 3760 0 0 0 49 1 0 0 20 0 17 0 106080648 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641572211184 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18559] ppid=18542 vsize=10927392 memory=288230613214036277 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106080648 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641571158880 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18560] ppid=18542 vsize=10927392 memory=15535236834396114 CPUtime=0.11 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 13514 0 -1 1077944384 669 0 0 0 5 6 0 0 20 0 17 0 106080648 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641570105904 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 217832 KiB

[startup+249.301 s]
/proc/loadavg: 2.00 2.16 2.41 3/217 18651
/proc/meminfo: memFree=28193592/32770624 swapFree=67108860/67108860
[pid=18545] ppid=18542 vsize=10927392 memory=217832 CPUtime=252.07 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 13514 0 -1 1077944320 33450 0 0 0 25190 17 0 0 20 0 17 0 106080643 11189649408 54458 33554432000 4194304 4196468 140737178611328 140737178593872 139642087194359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
/proc/18545/statm: 2731848 54458 3163 1 0 2694339 0
[pid=18545/tid=18547] ppid=18542 vsize=10927392 memory=217560 CPUtime=249.05 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) S 18542 18545 13514 0 -1 1077944384 9186 0 0 0 24900 5 0 0 20 0 17 0 106080643 11189649408 54458 33554432000 4194304 4196468 140737178611328 139642091437232 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18548] ppid=18542 vsize=10927392 memory=217560 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 13514 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 17 0 106080644 11189649408 54458 33554432000 4194304 4196468 140737178611328 139642013269008 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18549] ppid=18542 vsize=10927392 memory=217560 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 13514 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 17 0 106080644 11189649408 54458 33554432000 4194304 4196468 140737178611328 139642012216464 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18550] ppid=18542 vsize=10927392 memory=217560 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 13514 0 -1 1077944384 709 0 0 0 1 0 0 0 20 0 17 0 106080644 11189649408 54458 33554432000 4194304 4196468 140737178611328 139642011163408 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18551] ppid=18542 vsize=10927392 memory=279398226216704 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 13514 0 -1 1077944384 134 0 0 0 1 0 0 0 20 0 17 0 106080644 11189649408 54458 33554432000 4194304 4196468 140737178611328 139642010110864 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18552] ppid=18542 vsize=10927392 memory=217560 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 13514 0 -1 1077944384 737 0 0 0 0 0 0 0 20 0 17 0 106080645 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641578526960 139642087205506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18553] ppid=18542 vsize=10927392 memory=217560 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 13514 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 17 0 106080646 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641577473184 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18554] ppid=18542 vsize=10927392 memory=217560 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 13514 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 106080646 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641576420080 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18555] ppid=18542 vsize=10927392 memory=217560 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 13514 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 17 0 106080648 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641575368656 139642087212955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18556] ppid=18542 vsize=10927392 memory=217560 CPUtime=1.18 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) S 18542 18545 13514 0 -1 1077944384 10203 0 0 0 117 1 0 0 20 0 17 0 106080648 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641574316784 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18557] ppid=18542 vsize=10927392 memory=217560 CPUtime=1.09 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) S 18542 18545 13514 0 -1 1077944384 5952 0 0 0 109 0 0 0 20 0 17 0 106080648 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641573264240 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18558] ppid=18542 vsize=10927392 memory=290763849282617370 CPUtime=0.5 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) S 18542 18545 13514 0 -1 1077944384 3760 0 0 0 49 1 0 0 20 0 17 0 106080648 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641572211184 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18559] ppid=18542 vsize=10927392 memory=288230613214036277 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106080648 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641571158880 139642087204565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
[pid=18545/tid=18560] ppid=18542 vsize=10927392 memory=217560 CPUtime=0.11 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 13514 0 -1 1077944384 669 0 0 0 5 6 0 0 20 0 17 0 106080648 11189649408 54458 33554432000 4194304 4196468 140737178611328 139641570105904 139642087205506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37199872 140737178616950 140737178617102 140737178617102 140737178619855 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 217832 KiB

Child status: 143
Real time (s): 249.333
CPU time (s): 252.084
CPU user time (s): 251.909
CPU system time (s): 0.175037
CPU usage (%): 101.103
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 217832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.909
system time used= 0.175037
maximum resident set size= 218100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7664
involuntary context switches= 395


# summary of solver processes directly reported to runsolver:
#   pid: 18545
#   total CPU time (s): 252.084
#   total CPU user time (s): 251.909
#   total CPU system time (s): 0.175037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.5034 second user time and 2.37028 second system time

The end

Name	LowAutocorrelation/ LowAutocorrelation-027_c18.xml
MD5SUM	3b4f2db8288176648c1ae256edb285c5
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	53
Best CPU time to get the best result obtained on this benchmark	252.106
Satisfiable
(Un)Satisfiability was proved
Number of variables	755
Number of constraints	403
Number of domains	53
Minimum domain size	2
Maximum domain size	53
Distribution of domain sizes	[{"size":2,"count":379},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},{"size":27,"count":2},{"size":29,"count":1},{"size":31,"count":1},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1},{"size":45,"count":1},{"size":47,"count":1},{"size":49,"count":1},{"size":51,"count":1},{"size":53,"count":1}]
Minimum variable degree	0
Maximum variable degree	26
Distribution of variable degrees	[{"degree":0,"count":325},{"degree":2,"count":403},{"degree":26,"count":27}]
Minimum constraint arity	2
Maximum constraint arity	27
Distribution of constraint arities	[{"arity":2,"count":27},{"arity":3,"count":352},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	377
Distribution of constraint types	[{"type":"intension","count":377},{"type":"sum","count":26}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4301859

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