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)	46	252.142	242.524

11.31/4.67	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
11.31/4.67	c This is free software under the dual EPL/GNU LGPL licenses.
11.31/4.67	c See www.sat4j.org for details.
11.31/4.67	c That software uses the Rhino library from the Mozilla project.
11.31/4.67	c version 2.3.6-SNAPSHOT
11.31/4.67	c java.runtime.name	Java(TM) SE Runtime Environment
11.31/4.67	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
11.31/4.67	c java.vm.version	25.131-b11
11.31/4.67	c java.vm.vendor	Oracle Corporation
11.31/4.67	c sun.arch.data.model	64
11.31/4.67	c java.version		1.8.0_131
11.31/4.67	c os.name		Linux
11.31/4.67	c os.version		3.10.0-514.16.1.el7.x86_64
11.31/4.67	c os.arch		amd64
11.31/4.67	c Free memory 		499604488
11.31/4.67	c Max memory 		7247757312
11.31/4.67	c Total memory 		504889344
11.31/4.67	c Number of processors 	4
11.31/4.67	c c --- Begin Solver configuration ---
11.31/4.67	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
11.31/4.67	c Learn all clauses as in MiniSAT
11.31/4.67	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
11.31/4.67	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
11.31/4.67	c No reason simplification
11.31/4.67	c Glucose 2.1 dynamic restart strategy
11.31/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.31/4.67	c timeout=2147483s
11.31/4.67	c DB Simplification allowed=false
11.31/4.67	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
11.31/4.67	c --- End Solver configuration ---
11.31/4.67	c constraints type 
11.31/4.67	c org.sat4j.minisat.constraints.card.MinWatchCard => 1804
11.31/4.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 225050
11.31/4.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2230940
11.31/4.67	c org.sat4j.minisat.constraints.cnf.UnitClause => 86426
11.31/4.67	c 2544220 constraints processed.
167.43/158.16	o 46
252.11/242.50	c starts		: 2697
252.11/242.50	c conflicts		: 683057
252.11/242.50	c decisions		: 18092789
252.11/242.50	c propagations		: 549390846
252.11/242.50	c inspects		: 1570527778
252.11/242.50	c shortcuts		: 0
252.11/242.50	c learnt literals	: 579
252.11/242.50	c learnt binary clauses	: 3068
252.11/242.50	c learnt ternary clauses	: 4205
252.11/242.50	c learnt constraints	: 682478
252.11/242.50	c ignored constraints	: 0
252.11/242.50	c root simplifications	: 0
252.11/242.50	c removed literals (reason simplification)	: 0
252.11/242.50	c reason swapping (by a shorter reason)	: 0
252.11/242.50	c Calls to reduceDB	: 43
252.11/242.50	c Number of update (reduction) of LBD	: 560760
252.11/242.50	c Imported unit clauses	: 0
252.11/242.50	c number of reductions to clauses (during analyze)	: 0
252.11/242.50	c number of learned constraints concerned by reduction	: 0
252.11/242.50	c number of learning phase by resolution	: 0
252.11/242.50	c number of learning phase by cutting planes	: 0
252.11/242.50	c number of rounding to 1 operations	: 0
252.11/242.50	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
252.11/242.50	c number of reductions of the coefficients by power 2 	: 0
252.11/242.50	c number of right shift for reduction by power 2 	: 0
252.11/242.50	c number of reductions of the coefficients by GCD over coefficients 	: 0
252.11/242.50	c number of ending skipping 	: 0
252.11/242.50	c number of internal skipping 	: 0
252.11/242.50	c number of derivation steps 	: 0
252.11/242.50	c number of skipped derivation steps 	: 0
252.11/242.50	c number of remaining unassigned 	: 0
252.11/242.50	c number of remaining assigned 	: 0
252.11/242.51	c speed (assignments/second)	: 2310899.120464038
252.11/242.51	c non guided choices	: 9416050
252.11/242.51	s SATISFIABLE
252.11/242.51	v <instantiation type="solution">
252.11/242.51	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>
252.11/242.51	v 	<values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 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 0 0 1 1 0 0 2 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 2 0 0 0 2 2 2 2 2 0 2 2 2 2 2 2 2 0 0 0 2 0 0 0 2 0 0 0 0 0 2 0 0 0 2 2 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 2 2 2 2 2 2 2 2 2 2 2 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 1 1 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 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 46 46 </values>
252.11/242.51	v </instantiation>
252.11/242.51

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

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

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

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=30797, runsolver pid=30794
Current StackSize limit: 8192 KiB


[startup+0.103579 s]*
/proc/loadavg: 1.93 2.28 2.47 4/217 30812
/proc/meminfo: memFree=28091220/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=10659012 memory=31140 CPUtime=0.13 cores=1,3,5,7
/proc/30797/stat : 30797 (java) S 30794 30797 22004 0 -1 1077944320 6865 0 0 0 11 2 0 0 20 0 15 0 106174748 10914828288 7785 33554432000 4194304 4196468 140726590002128 140726589984672 139646535859959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
/proc/30797/statm: 2664753 7785 2846 1 0 2627263 0
[pid=30797/tid=30799] ppid=30794 vsize=10659012 memory=-8701690554792448386 CPUtime=0.09 cores=1,3,5,7
/proc/30797/task/30799/stat : 30799 (java) R 30794 30797 22004 0 -1 4202560 4706 0 0 0 8 1 0 0 20 0 15 0 106174748 10914828288 7785 33554432000 4194304 4196468 140726590002128 139646540085072 139646519940446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30800] ppid=30794 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30800/stat : 30800 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174749 10914828288 7785 33554432000 4194304 4196468 140726590002128 139646501141008 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30801] ppid=30794 vsize=10659012 memory=140213024319104 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30801/stat : 30801 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174749 10914828288 7785 33554432000 4194304 4196468 140726590002128 139646141573776 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30802] ppid=30794 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30802/stat : 30802 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174749 10914828288 7785 33554432000 4194304 4196468 140726590002128 139646140520720 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30803] ppid=30794 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30803/stat : 30803 (java) S 30794 30797 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106174749 10914828288 7785 33554432000 4194304 4196468 140726590002128 139646139468176 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30804] ppid=30794 vsize=10659012 memory=140213024319104 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30804/stat : 30804 (java) S 30794 30797 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106174750 10914828288 7785 33554432000 4194304 4196468 140726590002128 139645638658800 139646535871106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30805] ppid=30794 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30805/stat : 30805 (java) S 30794 30797 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106174751 10914828288 7785 33554432000 4194304 4196468 140726590002128 139645637605024 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30806] ppid=30794 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30806/stat : 30806 (java) S 30794 30797 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106174751 10914828288 7785 33554432000 4194304 4196468 140726590002128 139645636551920 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30807] ppid=30794 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30807/stat : 30807 (java) S 30794 30797 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106174753 10914828288 7785 33554432000 4194304 4196468 140726590002128 139645635500496 139646535878555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30808] ppid=30794 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30808/stat : 30808 (java) S 30794 30797 22004 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 106174753 10914828288 7785 33554432000 4194304 4196468 140726590002128 139645634447600 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30809] ppid=30794 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30809/stat : 30809 (java) S 30794 30797 22004 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 106174753 10914828288 7785 33554432000 4194304 4196468 140726590002128 139645633395056 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30810] ppid=30794 vsize=10659012 memory=140213024319104 CPUtime=0.02 cores=1,3,5,7
/proc/30797/task/30810/stat : 30810 (java) S 30794 30797 22004 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 15 0 106174753 10914828288 7785 33554432000 4194304 4196468 140726590002128 139645632342000 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30811] ppid=30794 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30811/stat : 30811 (java) S 30794 30797 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106174754 10914828288 7785 33554432000 4194304 4196468 140726590002128 139645631289696 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30812] ppid=30794 vsize=10659012 memory=140213024319104 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30812/stat : 30812 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174754 10914828288 7785 33554432000 4194304 4196468 140726590002128 139645630237744 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31140 KiB

[startup+0.210652 s]*
/proc/loadavg: 1.93 2.28 2.47 5/217 30812
/proc/meminfo: memFree=28082412/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=10659012 memory=42020 CPUtime=0.33 cores=1,3,5,7
/proc/30797/stat : 30797 (java) S 30794 30797 22004 0 -1 1077944320 8085 0 0 0 31 2 0 0 20 0 15 0 106174748 10914828288 10505 33554432000 4194304 4196468 140726590002128 140726589984672 139646535859959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
/proc/30797/statm: 2664753 10505 3007 1 0 2627263 0
[pid=30797/tid=30799] ppid=30794 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/30797/task/30799/stat : 30799 (java) R 30794 30797 22004 0 -1 4202560 5063 0 0 0 19 1 0 0 20 0 15 0 106174748 10914828288 10505 33554432000 4194304 4196468 140726590002128 139646540096240 139646519903589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30800] ppid=30794 vsize=10659012 memory=365 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30800/stat : 30800 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174749 10914828288 10505 33554432000 4194304 4196468 140726590002128 139646501141008 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30801] ppid=30794 vsize=10659012 memory=140213024957469 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30801/stat : 30801 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174749 10914828288 10505 33554432000 4194304 4196468 140726590002128 139646141573776 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30802] ppid=30794 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30802/stat : 30802 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174749 10914828288 10505 33554432000 4194304 4196468 140726590002128 139646140520720 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30803] ppid=30794 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30803/stat : 30803 (java) S 30794 30797 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106174749 10914828288 10505 33554432000 4194304 4196468 140726590002128 139646139468176 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30804] ppid=30794 vsize=10659012 memory=140213024319104 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30804/stat : 30804 (java) S 30794 30797 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106174750 10914828288 10505 33554432000 4194304 4196468 140726590002128 139645638658800 139646535871106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30805] ppid=30794 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30805/stat : 30805 (java) S 30794 30797 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106174751 10914828288 10505 33554432000 4194304 4196468 140726590002128 139645637605024 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30806] ppid=30794 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30806/stat : 30806 (java) S 30794 30797 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106174751 10914828288 10505 33554432000 4194304 4196468 140726590002128 139645636551920 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30807] ppid=30794 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30807/stat : 30807 (java) S 30794 30797 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106174753 10914828288 10505 33554432000 4194304 4196468 140726590002128 139645635500496 139646535878555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30808] ppid=30794 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30797/task/30808/stat : 30808 (java) S 30794 30797 22004 0 -1 1077944384 622 0 0 0 2 0 0 0 20 0 15 0 106174753 10914828288 10505 33554432000 4194304 4196468 140726590002128 139645634447600 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30809] ppid=30794 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30797/task/30809/stat : 30809 (java) S 30794 30797 22004 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 15 0 106174753 10914828288 10505 33554432000 4194304 4196468 140726590002128 139645633395056 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30810] ppid=30794 vsize=10659012 memory=140213024319104 CPUtime=0.07 cores=1,3,5,7
/proc/30797/task/30810/stat : 30810 (java) R 30794 30797 22004 0 -1 4202560 671 0 0 0 7 0 0 0 20 0 15 0 106174753 10914828288 10505 33554432000 4194304 4196468 140726590002128 139645632342000 139646519209438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30811] ppid=30794 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30811/stat : 30811 (java) S 30794 30797 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106174754 10914828288 10505 33554432000 4194304 4196468 140726590002128 139645631289696 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30812] ppid=30794 vsize=10659012 memory=140213024319104 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30812/stat : 30812 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174754 10914828288 10505 33554432000 4194304 4196468 140726590002128 139645630237744 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42020 KiB

[startup+0.311518 s]*
/proc/loadavg: 1.93 2.28 2.47 5/217 30812
/proc/meminfo: memFree=28068680/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=10659012 memory=54076 CPUtime=0.58 cores=1,3,5,7
/proc/30797/stat : 30797 (java) S 30794 30797 22004 0 -1 1077944320 9596 0 0 0 55 3 0 0 20 0 15 0 106174748 10914828288 13519 33554432000 4194304 4196468 140726590002128 140726589984672 139646535859959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
/proc/30797/statm: 2664753 13519 3045 1 0 2627263 0
[pid=30797/tid=30799] ppid=30794 vsize=10659012 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/30797/task/30799/stat : 30799 (java) R 30794 30797 22004 0 -1 4202560 5415 0 0 0 29 1 0 0 20 0 15 0 106174748 10914828288 13519 33554432000 4194304 4196468 140726590002128 139646540096112 139646535881885 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30800] ppid=30794 vsize=10659012 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30800/stat : 30800 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174749 10914828288 13519 33554432000 4194304 4196468 140726590002128 139646501141008 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30801] ppid=30794 vsize=10659012 memory=140213024957468 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30801/stat : 30801 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174749 10914828288 13519 33554432000 4194304 4196468 140726590002128 139646141573776 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30802] ppid=30794 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30802/stat : 30802 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174749 10914828288 13519 33554432000 4194304 4196468 140726590002128 139646140520720 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30803] ppid=30794 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30803/stat : 30803 (java) S 30794 30797 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106174749 10914828288 13519 33554432000 4194304 4196468 140726590002128 139646139468176 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30804] ppid=30794 vsize=10659012 memory=140213024319104 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30804/stat : 30804 (java) S 30794 30797 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106174750 10914828288 13519 33554432000 4194304 4196468 140726590002128 139645638658800 139646535871106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30805] ppid=30794 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30805/stat : 30805 (java) S 30794 30797 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106174751 10914828288 13519 33554432000 4194304 4196468 140726590002128 139645637605024 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30806] ppid=30794 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30806/stat : 30806 (java) S 30794 30797 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106174751 10914828288 13519 33554432000 4194304 4196468 140726590002128 139645636551920 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30807] ppid=30794 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30807/stat : 30807 (java) S 30794 30797 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106174753 10914828288 13519 33554432000 4194304 4196468 140726590002128 139645635500496 139646535878555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30808] ppid=30794 vsize=10659012 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30797/task/30808/stat : 30808 (java) R 30794 30797 22004 0 -1 4202560 917 0 0 0 7 0 0 0 20 0 15 0 106174753 10914828288 13519 33554432000 4194304 4196468 140726590002128 139645634434384 139646517080353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30809] ppid=30794 vsize=10659012 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/30797/task/30809/stat : 30809 (java) R 30794 30797 22004 0 -1 4202560 878 0 0 0 5 0 0 0 20 0 15 0 106174753 10914828288 13519 33554432000 4194304 4196468 140726590002128 139645633376072 139646519360317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30810] ppid=30794 vsize=10659012 memory=140213024319104 CPUtime=0.13 cores=1,3,5,7
/proc/30797/task/30810/stat : 30810 (java) R 30794 30797 22004 0 -1 1077944384 1019 0 0 0 13 0 0 0 20 0 15 0 106174753 10914828288 13519 33554432000 4194304 4196468 140726590002128 139645632342000 139646535871106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30811] ppid=30794 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30811/stat : 30811 (java) S 30794 30797 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106174754 10914828288 13519 33554432000 4194304 4196468 140726590002128 139645631289696 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30812] ppid=30794 vsize=10659012 memory=140213024319104 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30812/stat : 30812 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174754 10914828288 13519 33554432000 4194304 4196468 140726590002128 139645630237744 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 54076 KiB

[startup+0.701519 s]
/proc/loadavg: 1.93 2.28 2.47 6/217 30812
/proc/meminfo: memFree=28041316/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=10659088 memory=123688 CPUtime=1.79 cores=1,3,5,7
/proc/30797/stat : 30797 (java) S 30794 30797 22004 0 -1 1077944320 11774 0 0 0 174 5 0 0 20 0 15 0 106174748 10914906112 30922 33554432000 4194304 4196468 140726590002128 140726589984672 139646535859959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
/proc/30797/statm: 2664772 30922 3095 1 0 2627263 0
[pid=30797/tid=30799] ppid=30794 vsize=10659088 memory=1840 CPUtime=0.68 cores=1,3,5,7
/proc/30797/task/30799/stat : 30799 (java) R 30794 30797 22004 0 -1 4202560 5904 0 0 0 65 3 0 0 20 0 15 0 106174748 10914906112 30922 33554432000 4194304 4196468 140726590002128 139646540094360 139646175398256 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30800] ppid=30794 vsize=10659088 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30800/stat : 30800 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174749 10914906112 30922 33554432000 4194304 4196468 140726590002128 139646501141008 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30801] ppid=30794 vsize=10659088 memory=12060 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30801/stat : 30801 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174749 10914906112 30922 33554432000 4194304 4196468 140726590002128 139646141573776 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30802] ppid=30794 vsize=10659088 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30802/stat : 30802 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174749 10914906112 30922 33554432000 4194304 4196468 140726590002128 139646140520720 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30803] ppid=30794 vsize=10659088 memory=792 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30803/stat : 30803 (java) S 30794 30797 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106174749 10914906112 30922 33554432000 4194304 4196468 140726590002128 139646139468176 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30804] ppid=30794 vsize=10659088 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30804/stat : 30804 (java) S 30794 30797 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106174750 10914906112 30922 33554432000 4194304 4196468 140726590002128 139645638658800 139646535871106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30805] ppid=30794 vsize=10659088 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30805/stat : 30805 (java) S 30794 30797 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106174751 10914906112 30922 33554432000 4194304 4196468 140726590002128 139645637605024 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30806] ppid=30794 vsize=10659088 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30806/stat : 30806 (java) S 30794 30797 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106174751 10914906112 30922 33554432000 4194304 4196468 140726590002128 139645636551920 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30807] ppid=30794 vsize=10659088 memory=7236533984234661184 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30807/stat : 30807 (java) S 30794 30797 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106174753 10914906112 30922 33554432000 4194304 4196468 140726590002128 139645635500496 139646535878555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30808] ppid=30794 vsize=10659088 memory=7590935255203861604 CPUtime=0.42 cores=1,3,5,7
/proc/30797/task/30808/stat : 30808 (java) R 30794 30797 22004 0 -1 4202560 1760 0 0 0 41 1 0 0 20 0 15 0 106174753 10914906112 30922 33554432000 4194304 4196468 140726590002128 139645634433624 139646520969525 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30809] ppid=30794 vsize=10659088 memory=6220993253238723945 CPUtime=0.39 cores=1,3,5,7
/proc/30797/task/30809/stat : 30809 (java) R 30794 30797 22004 0 -1 4202560 1429 0 0 0 39 0 0 0 20 0 15 0 106174753 10914906112 30922 33554432000 4194304 4196468 140726590002128 139645633384208 139646520969693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30810] ppid=30794 vsize=10659088 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/30797/task/30810/stat : 30810 (java) S 30794 30797 22004 0 -1 1077944384 1311 0 0 0 27 0 0 0 20 0 15 0 106174753 10914906112 30922 33554432000 4194304 4196468 140726590002128 139645632342000 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30811] ppid=30794 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30811/stat : 30811 (java) S 30794 30797 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106174754 10914906112 30922 33554432000 4194304 4196468 140726590002128 139645631289696 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30812] ppid=30794 vsize=10659088 memory=33 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30812/stat : 30812 (java) S 30794 30797 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106174754 10914906112 30922 33554432000 4194304 4196468 140726590002128 139645630237744 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 123688 KiB

[startup+1.50108 s]
/proc/loadavg: 1.93 2.28 2.47 5/217 30812
/proc/meminfo: memFree=27891448/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=10661136 memory=248524 CPUtime=4.4 cores=1,3,5,7
/proc/30797/stat : 30797 (java) S 30794 30797 22004 0 -1 1077944320 14554 0 0 0 430 10 0 0 20 0 15 0 106174748 10917003264 62131 33554432000 4194304 4196468 140726590002128 140726589984672 139646535859959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
/proc/30797/statm: 2665284 62131 3147 1 0 2627775 0
[pid=30797/tid=30799] ppid=30794 vsize=10661136 memory=6791534058613427641 CPUtime=1.43 cores=1,3,5,7
/proc/30797/task/30799/stat : 30799 (java) R 30794 30797 22004 0 -1 4202560 6149 0 0 0 139 4 0 0 20 0 15 0 106174748 10917003264 62131 33554432000 4194304 4196468 140726590002128 139646540096944 139646518287264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30800] ppid=30794 vsize=10661136 memory=-6951259422114956437 CPUtime=0.02 cores=1,3,5,7
/proc/30797/task/30800/stat : 30800 (java) S 30794 30797 22004 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 15 0 106174749 10917003264 62131 33554432000 4194304 4196468 140726590002128 139646501141008 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30801] ppid=30794 vsize=10661136 memory=-6509546260019855295 CPUtime=0.02 cores=1,3,5,7
/proc/30797/task/30801/stat : 30801 (java) S 30794 30797 22004 0 -1 1077944384 54 0 0 0 2 0 0 0 20 0 15 0 106174749 10917003264 62131 33554432000 4194304 4196468 140726590002128 139646141573776 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30802] ppid=30794 vsize=10661136 memory=-7390251449858225344 CPUtime=0.01 cores=1,3,5,7
/proc/30797/task/30802/stat : 30802 (java) S 30794 30797 22004 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 15 0 106174749 10917003264 62131 33554432000 4194304 4196468 140726590002128 139646140520720 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30803] ppid=30794 vsize=10661136 memory=4134692831991786133 CPUtime=0.04 cores=1,3,5,7
/proc/30797/task/30803/stat : 30803 (java) S 30794 30797 22004 0 -1 1077944384 183 0 0 0 3 1 0 0 20 0 15 0 106174749 10917003264 62131 33554432000 4194304 4196468 140726590002128 139646139468176 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30804] ppid=30794 vsize=10661136 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30804/stat : 30804 (java) S 30794 30797 22004 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 106174750 10917003264 62131 33554432000 4194304 4196468 140726590002128 139645638658800 139646535871106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0

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

/proc/30797/task/30801/stat : 30801 (java) S 30794 30797 22004 0 -1 1077944384 467 0 0 0 17 5 0 0 20 0 16 0 106174749 10985164800 273815 33554432000 4194304 4196468 140726590002128 139646141573776 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30802] ppid=30794 vsize=10727700 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/30797/task/30802/stat : 30802 (java) S 30794 30797 22004 0 -1 1077944384 390 0 0 0 17 5 0 0 20 0 16 0 106174749 10985164800 273815 33554432000 4194304 4196468 140726590002128 139646140520720 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30803] ppid=30794 vsize=10727700 memory=1054300 CPUtime=0.25 cores=1,3,5,7
/proc/30797/task/30803/stat : 30803 (java) S 30794 30797 22004 0 -1 1077944384 491 0 0 0 19 6 0 0 20 0 16 0 106174749 10985164800 273815 33554432000 4194304 4196468 140726590002128 139646139468176 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30804] ppid=30794 vsize=10727700 memory=1060444 CPUtime=0.01 cores=1,3,5,7
/proc/30797/task/30804/stat : 30804 (java) S 30794 30797 22004 0 -1 1077944384 1433 0 0 0 1 0 0 0 20 0 16 0 106174750 10985164800 273815 33554432000 4194304 4196468 140726590002128 139645638658800 139646535871106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30805] ppid=30794 vsize=10727700 memory=280425798709856 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30805/stat : 30805 (java) S 30794 30797 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 106174751 10985164800 273815 33554432000 4194304 4196468 140726590002128 139645637605088 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30806] ppid=30794 vsize=10727700 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30806/stat : 30806 (java) S 30794 30797 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106174751 10985164800 273815 33554432000 4194304 4196468 140726590002128 139645636551936 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30807] ppid=30794 vsize=10727700 memory=1093212 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30807/stat : 30807 (java) S 30794 30797 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106174753 10985164800 273815 33554432000 4194304 4196468 140726590002128 139645635500496 139646535878555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30808] ppid=30794 vsize=10727700 memory=1091164 CPUtime=4.04 cores=1,3,5,7
/proc/30797/task/30808/stat : 30808 (java) S 30794 30797 22004 0 -1 1077944384 13693 0 0 0 403 1 0 0 20 0 16 0 106174753 10985164800 273815 33554432000 4194304 4196468 140726590002128 139645634447600 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30809] ppid=30794 vsize=10727700 memory=2200 CPUtime=4.19 cores=1,3,5,7
/proc/30797/task/30809/stat : 30809 (java) S 30794 30797 22004 0 -1 1077944384 18253 0 0 0 416 3 0 0 20 0 16 0 106174753 10985164800 273815 33554432000 4194304 4196468 140726590002128 139645633395056 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30810] ppid=30794 vsize=10727700 memory=4028 CPUtime=0.72 cores=1,3,5,7
/proc/30797/task/30810/stat : 30810 (java) S 30794 30797 22004 0 -1 1077944384 7386 0 0 0 71 1 0 0 20 0 16 0 106174753 10985164800 273815 33554432000 4194304 4196468 140726590002128 139645632342000 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30811] ppid=30794 vsize=10727700 memory=30248 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30811/stat : 30811 (java) S 30794 30797 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106174754 10985164800 273815 33554432000 4194304 4196468 140726590002128 139645631289696 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30812] ppid=30794 vsize=10727700 memory=1093212 CPUtime=0.12 cores=1,3,5,7
/proc/30797/task/30812/stat : 30812 (java) S 30794 30797 22004 0 -1 1077944384 469 0 0 0 6 6 0 0 20 0 16 0 106174754 10985164800 273815 33554432000 4194304 4196468 140726590002128 139645630237744 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30813] ppid=30794 vsize=10727700 memory=1093212 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30813/stat : 30813 (java) S 30794 30797 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106175225 10985164800 273815 33554432000 4194304 4196468 140726590002128 139645629183536 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
Current children cumulated CPU time: 232.05 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1095260 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+242.301 s]
/proc/loadavg: 3.03 2.52 2.51 6/216 31046
/proc/meminfo: memFree=23982760/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=10727700 memory=1183324 CPUtime=252.06 cores=1,3,5,7
/proc/30797/stat : 30797 (java) S 30794 30797 22004 0 -1 1077944320 62386 0 0 0 25154 52 0 0 20 0 16 0 106174748 10985164800 295831 33554432000 4194304 4196468 140726590002128 140726589984672 139646535859959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
/proc/30797/statm: 2681925 295831 3182 1 0 2644416 0
[pid=30797/tid=30799] ppid=30794 vsize=10727700 memory=1171036 CPUtime=241.98 cores=1,3,5,7
/proc/30797/task/30799/stat : 30799 (java) R 30794 30797 22004 0 -1 4202560 18116 0 0 0 24183 15 0 0 20 0 16 0 106174748 10985164800 295831 33554432000 4194304 4196468 140726590002128 139646540096104 139646174073283 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30800] ppid=30794 vsize=10727700 memory=1111644 CPUtime=0.22 cores=1,3,5,7
/proc/30797/task/30800/stat : 30800 (java) S 30794 30797 22004 0 -1 1077944384 304 0 0 0 16 6 0 0 20 0 16 0 106174749 10985164800 295831 33554432000 4194304 4196468 140726590002128 139646501141008 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30801] ppid=30794 vsize=10727700 memory=1123932 CPUtime=0.22 cores=1,3,5,7
/proc/30797/task/30801/stat : 30801 (java) S 30794 30797 22004 0 -1 1077944384 467 0 0 0 17 5 0 0 20 0 16 0 106174749 10985164800 295831 33554432000 4194304 4196468 140726590002128 139646141573776 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30802] ppid=30794 vsize=10727700 memory=1130076 CPUtime=0.22 cores=1,3,5,7
/proc/30797/task/30802/stat : 30802 (java) S 30794 30797 22004 0 -1 1077944384 390 0 0 0 17 5 0 0 20 0 16 0 106174749 10985164800 295831 33554432000 4194304 4196468 140726590002128 139646140520720 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30803] ppid=30794 vsize=10727700 memory=1140316 CPUtime=0.25 cores=1,3,5,7
/proc/30797/task/30803/stat : 30803 (java) S 30794 30797 22004 0 -1 1077944384 491 0 0 0 19 6 0 0 20 0 16 0 106174749 10985164800 295831 33554432000 4194304 4196468 140726590002128 139646139468176 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30804] ppid=30794 vsize=10727700 memory=1152604 CPUtime=0.01 cores=1,3,5,7
/proc/30797/task/30804/stat : 30804 (java) S 30794 30797 22004 0 -1 1077944384 1433 0 0 0 1 0 0 0 20 0 16 0 106174750 10985164800 295831 33554432000 4194304 4196468 140726590002128 139645638658800 139646535871106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30805] ppid=30794 vsize=10727700 memory=1173084 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30805/stat : 30805 (java) S 30794 30797 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 106174751 10985164800 295831 33554432000 4194304 4196468 140726590002128 139645637605088 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30806] ppid=30794 vsize=10727700 memory=1177180 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30806/stat : 30806 (java) S 30794 30797 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106174751 10985164800 295831 33554432000 4194304 4196468 140726590002128 139645636551936 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30807] ppid=30794 vsize=10727700 memory=1183324 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30807/stat : 30807 (java) S 30794 30797 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106174753 10985164800 295831 33554432000 4194304 4196468 140726590002128 139645635500496 139646535878555 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30808] ppid=30794 vsize=10727700 memory=1054300 CPUtime=4.04 cores=1,3,5,7
/proc/30797/task/30808/stat : 30808 (java) S 30794 30797 22004 0 -1 1077944384 13693 0 0 0 403 1 0 0 20 0 16 0 106174753 10985164800 295831 33554432000 4194304 4196468 140726590002128 139645634447600 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30809] ppid=30794 vsize=10727700 memory=134449052256490 CPUtime=4.19 cores=1,3,5,7
/proc/30797/task/30809/stat : 30809 (java) S 30794 30797 22004 0 -1 1077944384 18253 0 0 0 416 3 0 0 20 0 16 0 106174753 10985164800 295831 33554432000 4194304 4196468 140726590002128 139645633395056 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30810] ppid=30794 vsize=10727700 memory=1164892 CPUtime=0.72 cores=1,3,5,7
/proc/30797/task/30810/stat : 30810 (java) S 30794 30797 22004 0 -1 1077944384 7386 0 0 0 71 1 0 0 20 0 16 0 106174753 10985164800 295831 33554432000 4194304 4196468 140726590002128 139645632342000 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30811] ppid=30794 vsize=10727700 memory=1162844 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30811/stat : 30811 (java) S 30794 30797 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106174754 10985164800 295831 33554432000 4194304 4196468 140726590002128 139645631289696 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30812] ppid=30794 vsize=10727700 memory=1181276 CPUtime=0.14 cores=1,3,5,7
/proc/30797/task/30812/stat : 30812 (java) S 30794 30797 22004 0 -1 1077944384 471 0 0 0 7 7 0 0 20 0 16 0 106174754 10985164800 295831 33554432000 4194304 4196468 140726590002128 139645630237744 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30813] ppid=30794 vsize=10727700 memory=1158748 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30813/stat : 30813 (java) S 30794 30797 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106175225 10985164800 295831 33554432000 4194304 4196468 140726590002128 139645629183536 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1183324 KiB

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

[startup+242.524 s]
# the end of solver process 30797 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.601 s, system=0.541156 s

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

[startup+242.405 s]
/proc/loadavg: 3.03 2.52 2.51 6/216 31046
/proc/meminfo: memFree=23982760/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=10927392 memory=1191732 CPUtime=252.11 cores=1,3,5,7
/proc/30797/stat : 30797 (java) S 30794 30797 22004 0 -1 1077944320 63177 0 0 0 25159 52 0 0 20 0 17 0 106174748 11189649408 297933 33554432000 4194304 4196468 140726590002128 140726589984672 139646535859959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
/proc/30797/statm: 2731848 297933 3184 1 0 2694339 0
[pid=30797/tid=30799] ppid=30794 vsize=10927392 memory=6791534058613427641 CPUtime=242.02 cores=1,3,5,7
/proc/30797/task/30799/stat : 30799 (java) S 30794 30797 22004 0 -1 1077944384 18279 0 0 0 24187 15 0 0 20 0 17 0 106174748 11189649408 297933 33554432000 4194304 4196468 140726590002128 139646540102832 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30800] ppid=30794 vsize=10927392 memory=844 CPUtime=0.22 cores=1,3,5,7
/proc/30797/task/30800/stat : 30800 (java) S 30794 30797 22004 0 -1 1077944384 304 0 0 0 16 6 0 0 20 0 17 0 106174749 11189649408 297933 33554432000 4194304 4196468 140726590002128 139646501141008 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30801] ppid=30794 vsize=10927392 memory=1796 CPUtime=0.22 cores=1,3,5,7
/proc/30797/task/30801/stat : 30801 (java) S 30794 30797 22004 0 -1 1077944384 467 0 0 0 17 5 0 0 20 0 17 0 106174749 11189649408 297933 33554432000 4194304 4196468 140726590002128 139646141573776 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30802] ppid=30794 vsize=10927392 memory=916 CPUtime=0.22 cores=1,3,5,7
/proc/30797/task/30802/stat : 30802 (java) S 30794 30797 22004 0 -1 1077944384 390 0 0 0 17 5 0 0 20 0 17 0 106174749 11189649408 297933 33554432000 4194304 4196468 140726590002128 139646140520720 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30803] ppid=30794 vsize=10927392 memory=3848 CPUtime=0.25 cores=1,3,5,7
/proc/30797/task/30803/stat : 30803 (java) S 30794 30797 22004 0 -1 1077944384 491 0 0 0 19 6 0 0 20 0 17 0 106174749 11189649408 297933 33554432000 4194304 4196468 140726590002128 139646139468176 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30804] ppid=30794 vsize=10927392 memory=2704 CPUtime=0.01 cores=1,3,5,7
/proc/30797/task/30804/stat : 30804 (java) S 30794 30797 22004 0 -1 1077944384 1438 0 0 0 1 0 0 0 20 0 17 0 106174750 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645638658800 139646535871106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30805] ppid=30794 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30805/stat : 30805 (java) S 30794 30797 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 106174751 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645637605088 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30806] ppid=30794 vsize=10927392 memory=1840 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30806/stat : 30806 (java) S 30794 30797 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 106174751 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645636551936 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30807] ppid=30794 vsize=10927392 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30807/stat : 30807 (java) S 30794 30797 22004 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 17 0 106174753 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645635500496 139646535878555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30808] ppid=30794 vsize=10927392 memory=12060 CPUtime=4.04 cores=1,3,5,7
/proc/30797/task/30808/stat : 30808 (java) S 30794 30797 22004 0 -1 1077944384 13693 0 0 0 403 1 0 0 20 0 17 0 106174753 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645634447600 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30809] ppid=30794 vsize=10927392 memory=5788 CPUtime=4.19 cores=1,3,5,7
/proc/30797/task/30809/stat : 30809 (java) S 30794 30797 22004 0 -1 1077944384 18291 0 0 0 416 3 0 0 20 0 17 0 106174753 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645633395056 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30810] ppid=30794 vsize=10927392 memory=792 CPUtime=0.73 cores=1,3,5,7
/proc/30797/task/30810/stat : 30810 (java) S 30794 30797 22004 0 -1 1077944384 7457 0 0 0 72 1 0 0 20 0 17 0 106174753 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645632342000 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30811] ppid=30794 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30811/stat : 30811 (java) S 30794 30797 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106174754 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645631289696 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30812] ppid=30794 vsize=10927392 memory=18020 CPUtime=0.14 cores=1,3,5,7
/proc/30797/task/30812/stat : 30812 (java) S 30794 30797 22004 0 -1 1077944384 471 0 0 0 7 7 0 0 20 0 17 0 106174754 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645630237744 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
Current children cumulated CPU time: 252.11 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1191732 KiB

[startup+242.501 s]
/proc/loadavg: 3.03 2.52 2.51 6/216 31046
/proc/meminfo: memFree=23982760/32770624 swapFree=67108860/67108860
[pid=30797] ppid=30794 vsize=10927392 memory=1191732 CPUtime=252.11 cores=1,3,5,7
/proc/30797/stat : 30797 (java) S 30794 30797 22004 0 -1 1077944320 63177 0 0 0 25159 52 0 0 20 0 17 0 106174748 11189649408 297933 33554432000 4194304 4196468 140726590002128 140726589984672 139646535859959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
/proc/30797/statm: 2731848 297933 3184 1 0 2694339 0
[pid=30797/tid=30799] ppid=30794 vsize=10927392 memory=1177180 CPUtime=242.02 cores=1,3,5,7
/proc/30797/task/30799/stat : 30799 (java) S 30794 30797 22004 0 -1 1077944384 18279 0 0 0 24187 15 0 0 20 0 17 0 106174748 11189649408 297933 33554432000 4194304 4196468 140726590002128 139646540102832 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30800] ppid=30794 vsize=10927392 memory=1173084 CPUtime=0.22 cores=1,3,5,7
/proc/30797/task/30800/stat : 30800 (java) S 30794 30797 22004 0 -1 1077944384 304 0 0 0 16 6 0 0 20 0 17 0 106174749 11189649408 297933 33554432000 4194304 4196468 140726590002128 139646501141008 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30801] ppid=30794 vsize=10927392 memory=1152604 CPUtime=0.22 cores=1,3,5,7
/proc/30797/task/30801/stat : 30801 (java) S 30794 30797 22004 0 -1 1077944384 467 0 0 0 17 5 0 0 20 0 17 0 106174749 11189649408 297933 33554432000 4194304 4196468 140726590002128 139646141573776 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30802] ppid=30794 vsize=10927392 memory=1140316 CPUtime=0.22 cores=1,3,5,7
/proc/30797/task/30802/stat : 30802 (java) S 30794 30797 22004 0 -1 1077944384 390 0 0 0 17 5 0 0 20 0 17 0 106174749 11189649408 297933 33554432000 4194304 4196468 140726590002128 139646140520720 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30803] ppid=30794 vsize=10927392 memory=1130076 CPUtime=0.25 cores=1,3,5,7
/proc/30797/task/30803/stat : 30803 (java) S 30794 30797 22004 0 -1 1077944384 491 0 0 0 19 6 0 0 20 0 17 0 106174749 11189649408 297933 33554432000 4194304 4196468 140726590002128 139646139468176 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30804] ppid=30794 vsize=10927392 memory=1123932 CPUtime=0.01 cores=1,3,5,7
/proc/30797/task/30804/stat : 30804 (java) S 30794 30797 22004 0 -1 1077944384 1438 0 0 0 1 0 0 0 20 0 17 0 106174750 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645638658800 139646535871106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30805] ppid=30794 vsize=10927392 memory=1111644 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30805/stat : 30805 (java) S 30794 30797 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 106174751 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645637605088 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30806] ppid=30794 vsize=10927392 memory=1171036 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30806/stat : 30806 (java) S 30794 30797 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 106174751 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645636551936 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30807] ppid=30794 vsize=10927392 memory=1183324 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30807/stat : 30807 (java) S 30794 30797 22004 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 17 0 106174753 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645635500496 139646535878555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30808] ppid=30794 vsize=10927392 memory=1054300 CPUtime=4.04 cores=1,3,5,7
/proc/30797/task/30808/stat : 30808 (java) S 30794 30797 22004 0 -1 1077944384 13693 0 0 0 403 1 0 0 20 0 17 0 106174753 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645634447600 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30809] ppid=30794 vsize=10927392 memory=134449052256490 CPUtime=4.19 cores=1,3,5,7
/proc/30797/task/30809/stat : 30809 (java) S 30794 30797 22004 0 -1 1077944384 18291 0 0 0 416 3 0 0 20 0 17 0 106174753 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645633395056 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30810] ppid=30794 vsize=10927392 memory=7307773662015607662 CPUtime=0.73 cores=1,3,5,7
/proc/30797/task/30810/stat : 30810 (java) S 30794 30797 22004 0 -1 1077944384 7457 0 0 0 72 1 0 0 20 0 17 0 106174753 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645632342000 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30811] ppid=30794 vsize=10927392 memory=1181276 CPUtime=0 cores=1,3,5,7
/proc/30797/task/30811/stat : 30811 (java) S 30794 30797 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106174754 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645631289696 139646535870165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
[pid=30797/tid=30812] ppid=30794 vsize=10927392 memory=1158748 CPUtime=0.14 cores=1,3,5,7
/proc/30797/task/30812/stat : 30812 (java) S 30794 30797 22004 0 -1 1077944384 471 0 0 0 7 7 0 0 20 0 17 0 106174754 11189649408 297933 33554432000 4194304 4196468 140726590002128 139645630237744 139646535871106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32907264 140726590006390 140726590006542 140726590006542 140726590009295 0
Current children cumulated CPU time: 252.11 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1191732 KiB

Child status: 143
Real time (s): 242.524
CPU time (s): 252.142
CPU user time (s): 251.601
CPU system time (s): 0.541156
CPU usage (%): 103.966
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 1191732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.601
system time used= 0.541156
maximum resident set size= 1196736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64254
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8153
involuntary context switches= 226


# summary of solver processes directly reported to runsolver:
#   pid: 30797
#   total CPU time (s): 252.142
#   total CPU user time (s): 251.601
#   total CPU system time (s): 0.541156

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40731 second user time and 2.45959 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	54
Best CPU time to get the best result obtained on this benchmark	252.087
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 4301970

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data