2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
R1: sat4j-CSP 2017-07-05	SAT	73.2825	24.8205

37.31/8.32	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
37.31/8.32	c This is free software under the dual EPL/GNU LGPL licenses.
37.31/8.32	c See www.sat4j.org for details.
37.31/8.32	c That software uses the Rhino library from the Mozilla project.
37.31/8.32	c version CUSTOM.v20170705
37.31/8.32	c java.runtime.name	Java(TM) SE Runtime Environment
37.31/8.32	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
37.31/8.32	c java.vm.version	25.131-b11
37.31/8.32	c java.vm.vendor	Oracle Corporation
37.31/8.32	c sun.arch.data.model	64
37.31/8.32	c java.version		1.8.0_131
37.31/8.32	c os.name		Linux
37.31/8.32	c os.version		3.10.0-514.16.1.el7.x86_64
37.31/8.32	c os.arch		amd64
37.31/8.32	c Free memory 		499604488
37.31/8.32	c Max memory 		7247757312
37.31/8.32	c Total memory 		504889344
37.31/8.32	c Number of processors 	8
37.31/8.32	c c --- Begin Solver configuration ---
37.31/8.32	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
37.31/8.32	c Learn all clauses as in MiniSAT
37.31/8.32	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
37.31/8.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
37.31/8.32	c No reason simplification
37.31/8.32	c Glucose 2.1 dynamic restart strategy
37.31/8.32	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
37.31/8.32	c timeout=2147483s
37.31/8.32	c DB Simplification allowed=false
37.31/8.32	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
37.31/8.32	c --- End Solver configuration ---
37.31/8.32	c constraints type 
37.31/8.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 2048
37.31/8.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8809187
37.31/8.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2482466
37.31/8.32	c org.sat4j.specs.Constr$1 => 1376025
37.31/8.32	c org.sat4j.minisat.constraints.cnf.UnitClause => 345789
37.31/8.32	c 13015515 constraints processed.
73.14/24.79	c starts		: 3
73.14/24.79	c conflicts		: 317
73.14/24.79	c decisions		: 1269
73.14/24.79	c propagations		: 22826276
73.14/24.79	c inspects		: 93921021
73.14/24.79	c shortcuts		: 0
73.14/24.79	c learnt literals	: 12
73.14/24.79	c learnt binary clauses	: 61
73.14/24.79	c learnt ternary clauses	: 44
73.14/24.79	c learnt constraints	: 305
73.14/24.79	c ignored constraints	: 0
73.14/24.79	c root simplifications	: 0
73.14/24.79	c removed literals (reason simplification)	: 0
73.14/24.79	c reason swapping (by a shorter reason)	: 0
73.14/24.79	c Calls to reduceDB	: 0
73.14/24.79	c Number of update (reduction) of LBD	: 98
73.14/24.79	c Imported unit clauses	: 0
73.14/24.79	c number of reductions to clauses (during analyze)	: 0
73.14/24.79	c number of learned constraints concerned by reduction	: 0
73.14/24.79	c number of learning phase by resolution	: 0
73.14/24.79	c number of learning phase by cutting planes	: 0
73.14/24.79	c number of rounding to 1 operations	: 0
73.14/24.79	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
73.14/24.79	c number of reductions of the coefficients by power 2 	: 0
73.14/24.79	c number of right shift for reduction by power 2 	: 0
73.14/24.79	c number of reductions of the coefficients by GCD over coefficients 	: 0
73.14/24.79	c speed (assignments/second)	: 1412779.352602587
73.14/24.79	c non guided choices	50
73.14/24.79	c learnt constraints type 
73.14/24.79	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 61
73.14/24.79	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 244
73.14/24.79	s SATISFIABLE
73.14/24.80	v <instantiation type="solution">
73.14/24.80	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[0][30] x[0][31] 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[1][30] x[1][31] 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[2][30] x[2][31] 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[3][30] x[3][31] 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[4][30] x[4][31] 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[5][30] x[5][31] 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[6][30] x[6][31] 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[7][30] x[7][31] 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[8][30] x[8][31] 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[9][30] x[9][31] 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[10][30] x[10][31] 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[11][30] x[11][31] 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[12][30] x[12][31] 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[13][30] x[13][31] 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[14][30] x[14][31] 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[15][30] x[15][31] 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[16][30] x[16][31] 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[17][30] x[17][31] 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[18][30] x[18][31] 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[19][30] x[19][31] 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[20][30] x[20][31] 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[21][30] x[21][31] 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[22][30] x[22][31] 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[23][30] x[23][31] 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[24][30] x[24][31] 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[25][30] x[25][31] 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[26][30] x[26][31] 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[27][30] x[27][31] 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[28][30] x[28][31] 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] x[29][30] x[29][31] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] </list>
73.14/24.80	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 1 1 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 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 1 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 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 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 1 1 0 0 1 1 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 1 1 0 1 1 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 1 1 1 1 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 1 1 1 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 1 1 1 1 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 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 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 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 1 1 1 1 1 1 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 1 1 1 1 1 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 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 </values>
73.14/24.80	v </instantiation>
73.14/24.80

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244027-1500679281/watcher-4244027-1500679281 -o /tmp/evaluation-result-4244027-1500679281/solver-4244027-1500679281 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500673363-13447 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244027-1500679281.xml 

pid=15580
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 4.03 2.87 2.38 3/262 15583
/proc/meminfo: memFree=30261996/32770624 swapFree=5824/208288
[pid=15583] ppid=15580 vsize=8339376 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/stat : 15583 (java) S 15580 15583 9820 0 -1 1077944320 1833 0 0 0 0 0 0 0 20 0 2 0 3193337 8539521024 2047 33554432000 4194304 4196468 140723924609488 140723924592032 139888300314359 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
/proc/15583/statm: 2084844 2112 1188 1 0 2073755 0
[pid=15583/tid=15584] ppid=15580 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15584/stat : 15584 (java) R 15580 15583 9820 0 -1 4202560 598 0 0 0 0 0 0 0 20 0 2 0 3193337 8550137856 2178 33554432000 4194304 4196468 140723924609488 139888304556448 139888292603808 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0

[startup+0.100146 s]
/proc/loadavg: 4.03 2.87 2.38 3/262 15583
/proc/meminfo: memFree=30261996/32770624 swapFree=5824/208288
[pid=15583] ppid=15580 vsize=10900556 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15583/stat : 15583 (java) S 15580 15583 9820 0 -1 1077944320 4998 0 0 0 8 1 0 0 20 0 20 0 3193337 11162169344 6111 33554432000 4194304 4196468 140723924609488 140723924592032 139888300314359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
/proc/15583/statm: 2725139 6111 2670 1 0 2713552 0
[pid=15583/tid=15584] ppid=15580 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15584/stat : 15584 (java) R 15580 15583 9820 0 -1 4202560 3083 0 0 0 7 1 0 0 20 0 20 0 3193337 11162169344 6111 33554432000 4194304 4196468 140723924609488 139888304540048 139888284357989 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556

[startup+0.200343 s]
/proc/loadavg: 4.03 2.87 2.38 3/262 15583
/proc/meminfo: memFree=30261996/32770624 swapFree=5824/208288
[pid=15583] ppid=15580 vsize=10900556 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/15583/stat : 15583 (java) S 15580 15583 9820 0 -1 1077944320 7340 0 0 0 23 3 0 0 20 0 20 0 3193337 11162169344 9128 33554432000 4194304 4196468 140723924609488 140723924592032 139888300314359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
/proc/15583/statm: 2725139 9128 2884 1 0 2713552 0
[pid=15583/tid=15584] ppid=15580 vsize=10900556 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15584/stat : 15584 (java) R 15580 15583 9820 0 -1 4202560 4927 0 0 0 16 2 0 0 20 0 20 0 3193337 11162169344 9128 33554432000 4194304 4196468 140723924609488 139888304548608 139888284394846 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556

[startup+0.300374 s]
/proc/loadavg: 4.03 2.87 2.38 3/262 15583
/proc/meminfo: memFree=30261996/32770624 swapFree=5824/208288
[pid=15583] ppid=15580 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/15583/stat : 15583 (java) S 15580 15583 9820 0 -1 1077944320 8507 0 0 0 42 3 0 0 20 0 20 0 3193337 11162247168 10834 33554432000 4194304 4196468 140723924609488 140723924592032 139888300314359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
/proc/15583/statm: 2725158 10834 3005 1 0 2713552 0
[pid=15583/tid=15584] ppid=15580 vsize=10900632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15584/stat : 15584 (java) R 15580 15583 9820 0 -1 4202560 5517 0 0 0 26 2 0 0 20 0 20 0 3193337 11162247168 10834 33554432000 4194304 4196468 140723924609488 139888304529088 139888300336285 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10900632

[startup+0.700679 s]
/proc/loadavg: 4.03 2.87 2.38 3/262 15583
/proc/meminfo: memFree=30261996/32770624 swapFree=5824/208288
[pid=15583] ppid=15580 vsize=10900632 CPUtime=2.16 cores=0,2,4,6,8,10,12,14
/proc/15583/stat : 15583 (java) S 15580 15583 9820 0 -1 1077944320 13805 0 0 0 190 26 0 0 20 0 20 0 3193337 11162247168 59393 33554432000 4194304 4196468 140723924609488 140723924592032 139888300314359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
/proc/15583/statm: 2725158 59393 3094 1 0 2713552 0
[pid=15583/tid=15584] ppid=15580 vsize=10900632 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15584/stat : 15584 (java) R 15580 15583 9820 0 -1 4202560 5770 0 0 0 56 4 0 0 20 0 20 0 3193337 11162247168 59393 33554432000 4194304 4196468 140723924609488 139888304551720 139887909916042 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 10900632

[startup+1.50148 s]
/proc/loadavg: 4.03 2.87 2.38 4/282 15603
/proc/meminfo: memFree=29946232/32770624 swapFree=5824/208664
[pid=15583] ppid=15580 vsize=10900632 CPUtime=6.13 cores=0,2,4,6,8,10,12,14
/proc/15583/stat : 15583 (java) S 15580 15583 9820 0 -1 1077944320 18908 0 0 0 493 120 0 0 20 0 20 0 3193337 11162247168 147619 33554432000 4194304 4196468 140723924609488 140723924592032 139888300314359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
/proc/15583/statm: 2725158 147619 3115 1 0 2713552 0
[pid=15583/tid=15584] ppid=15580 vsize=10900632 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15584/stat : 15584 (java) S 15580 15583 9820 0 -1 1077944384 5836 0 0 0 95 6 0 0 20 0 20 0 3193337 11162247168 147619 33554432000 4194304 4196468 140723924609488 139888304544240 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15586] ppid=15580 vsize=10900632 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15586/stat : 15586 (java) R 15580 15583 9820 0 -1 4202560 324 0 0 0 25 16 0 0 20 0 20 0 3193338 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887906908632 139888285266003 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15587] ppid=15580 vsize=10900632 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15587/stat : 15587 (java) R 15580 15583 9820 0 -1 4202560 361 0 0 0 25 14 0 0 20 0 20 0 3193338 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887905856088 139888285265831 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15588] ppid=15580 vsize=10900632 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15588/stat : 15588 (java) R 15580 15583 9820 0 -1 4202560 393 0 0 0 28 14 0 0 20 0 20 0 3193338 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887904803544 139888285265831 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15589] ppid=15580 vsize=10900632 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15589/stat : 15589 (java) R 15580 15583 9820 0 -1 4202560 257 0 0 0 28 16 0 0 20 0 20 0 3193338 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887903751000 139888280340881 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15590] ppid=15580 vsize=10900632 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15590/stat : 15590 (java) R 15580 15583 9820 0 -1 4202560 304 0 0 0 24 13 0 0 20 0 20 0 3193338 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887902698456 139888280340854 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15591] ppid=15580 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15591/stat : 15591 (java) R 15580 15583 9820 0 -1 4202560 430 0 0 0 34 11 0 0 20 0 20 0 3193338 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887901645912 139888286072719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15592] ppid=15580 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15592/stat : 15592 (java) R 15580 15583 9820 0 -1 4202560 104 0 0 0 16 8 0 0 20 0 20 0 3193338 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887900593056 139888281911011 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15593] ppid=15580 vsize=10900632 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15593/stat : 15593 (java) R 15580 15583 9820 0 -1 4202560 352 0 0 0 27 15 0 0 20 0 20 0 3193338 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887899540824 139888285265568 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15594] ppid=15580 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15594/stat : 15594 (java) S 15580 15583 9820 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 20 0 3193340 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887507112288 139888300324565 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15595] ppid=15580 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15595/stat : 15595 (java) S 15580 15583 9820 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3193341 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887506060192 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15596] ppid=15580 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15596/stat : 15596 (java) S 15580 15583 9820 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3193341 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887505007600 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15597] ppid=15580 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15597/stat : 15597 (java) S 15580 15583 9820 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3193344 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887503956176 139888300332955 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15598] ppid=15580 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15598/stat : 15598 (java) S 15580 15583 9820 0 -1 1077944384 1804 0 0 0 32 0 0 0 20 0 20 0 3193344 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887502903792 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15599] ppid=15580 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15599/stat : 15599 (java) S 15580 15583 9820 0 -1 1077944384 877 0 0 0 22 0 0 0 20 0 20 0 3193344 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887501851248 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15600] ppid=15580 vsize=10900632 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15600/stat : 15600 (java) R 15580 15583 9820 0 -1 4202560 4988 0 0 0 110 0 0 0 20 0 20 0 3193344 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887500780312 139888283811143 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15601] ppid=15580 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15601/stat : 15601 (java) S 15580 15583 9820 0 -1 1077944384 1299 0 0 0 22 0 0 0 20 0 20 0 3193344 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887499746160 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15602] ppid=15580 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15602/stat : 15602 (java) S 15580 15583 9820 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3193344 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887498692832 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15603] ppid=15580 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15603/stat : 15603 (java) S 15580 15583 9820 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3193344 11162247168 147619 33554432000 4194304 4196468 140723924609488 139887497640368 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 10900632

[startup+3.10151 s]
/proc/loadavg: 4.03 2.87 2.38 3/282 15603
/proc/meminfo: memFree=29665032/32770624 swapFree=5824/208676
[pid=15583] ppid=15580 vsize=10900632 CPUtime=13.67 cores=0,2,4,6,8,10,12,14
/proc/15583/stat : 15583 (java) S 15580 15583 9820 0 -1 1077944320 25315 0 0 0 1194 173 0 0 20 0 20 0 3193337 11162247168 195377 33554432000 4194304 4196468 140723924609488 140723924592032 139888300314359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
/proc/15583/statm: 2725158 195377 3133 1 0 2713552 0
[pid=15583/tid=15584] ppid=15580 vsize=10900632 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15584/stat : 15584 (java) R 15580 15583 9820 0 -1 4202560 5988 0 0 0 125 6 0 0 20 0 20 0 3193337 11162247168 195377 33554432000 4194304 4196468 140723924609488 139888304540968 139887909849357 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15586] ppid=15580 vsize=10900632 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15586/stat : 15586 (java) S 15580 15583 9820 0 -1 1077944384 473 0 0 0 91 23 0 0 20 0 20 0 3193338 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887906908432 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15587] ppid=15580 vsize=10900632 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15587/stat : 15587 (java) S 15580 15583 9820 0 -1 1077944384 1081 0 0 0 100 18 0 0 20 0 20 0 3193338 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887905855888 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15588] ppid=15580 vsize=10900632 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15588/stat : 15588 (java) S 15580 15583 9820 0 -1 1077944384 591 0 0 0 103 21 0 0 20 0 20 0 3193338 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887904803344 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15589] ppid=15580 vsize=10900632 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15589/stat : 15589 (java) S 15580 15583 9820 0 -1 1077944384 370 0 0 0 102 24 0 0 20 0 20 0 3193338 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887903750800 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15590] ppid=15580 vsize=10900632 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15590/stat : 15590 (java) S 15580 15583 9820 0 -1 1077944384 423 0 0 0 95 20 0 0 20 0 20 0 3193338 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887902698256 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15591] ppid=15580 vsize=10900632 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15591/stat : 15591 (java) S 15580 15583 9820 0 -1 1077944384 552 0 0 0 109 18 0 0 20 0 20 0 3193338 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887901645712 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15592] ppid=15580 vsize=10900632 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15592/stat : 15592 (java) S 15580 15583 9820 0 -1 1077944384 212 0 0 0 86 15 0 0 20 0 20 0 3193338 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887900593168 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15593] ppid=15580 vsize=10900632 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15593/stat : 15593 (java) S 15580 15583 9820 0 -1 1077944384 576 0 0 0 101 22 0 0 20 0 20 0 3193338 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887899540624 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15594] ppid=15580 vsize=10900632 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15594/stat : 15594 (java) S 15580 15583 9820 0 -1 1077944384 498 0 0 0 46 0 0 0 20 0 20 0 3193340 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887507113968 139888300325506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15595] ppid=15580 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15595/stat : 15595 (java) S 15580 15583 9820 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3193341 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887506060192 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15596] ppid=15580 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15596/stat : 15596 (java) S 15580 15583 9820 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3193341 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887505007600 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15597] ppid=15580 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15597/stat : 15597 (java) S 15580 15583 9820 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3193344 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887503956176 139888300332955 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15598] ppid=15580 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15598/stat : 15598 (java) S 15580 15583 9820 0 -1 1077944384 1804 0 0 0 32 0 0 0 20 0 20 0 3193344 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887502903792 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15599] ppid=15580 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15599/stat : 15599 (java) S 15580 15583 9820 0 -1 1077944384 933 0 0 0 22 0 0 0 20 0 20 0 3193344 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887501851248 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15600] ppid=15580 vsize=10900632 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15600/stat : 15600 (java) S 15580 15583 9820 0 -1 1077944384 9127 0 0 0 152 1 0 0 20 0 20 0 3193344 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887500798704 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15601] ppid=15580 vsize=10900632 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15601/stat : 15601 (java) S 15580 15583 9820 0 -1 1077944384 1319 0 0 0 23 0 0 0 20 0 20 0 3193344 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887499746160 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15602] ppid=15580 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15602/stat : 15602 (java) S 15580 15583 9820 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3193344 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887498692832 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15603] ppid=15580 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15603/stat : 15603 (java) S 15580 15583 9820 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3193344 11162247168 195377 33554432000 4194304 4196468 140723924609488 139887497640368 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
Current children cumulated CPU time (s) 13.67
Current children cumulated vsize (KiB) 10900632

[startup+6.30078 s]
/proc/loadavg: 4.43 2.98 2.41 3/282 15603
/proc/meminfo: memFree=29171612/32770624 swapFree=5824/208676
[pid=15583] ppid=15580 vsize=10900632 CPUtime=28.16 cores=0,2,4,6,8,10,12,14
/proc/15583/stat : 15583 (java) S 15580 15583 9820 0 -1 1077944320 37151 0 0 0 2565 251 0 0 20 0 20 0 3193337 11162247168 275865 33554432000 4194304 4196468 140723924609488 140723924592032 139888300314359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
/proc/15583/statm: 2725158 275865 3133 1 0 2713552 0
[pid=15583/tid=15584] ppid=15580 vsize=10900632 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15584/stat : 15584 (java) R 15580 15583 9820 0 -1 4202560 6711 0 0 0 187 7 0 0 20 0 20 0 3193337 11162247168 275865 33554432000 4194304 4196468 140723924609488 139888304550168 139887909748792 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15586] ppid=15580 vsize=10900632 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15586/stat : 15586 (java) S 15580 15583 9820 0 -1 1077944384 1136 0 0 0 245 31 0 0 20 0 20 0 3193338 11162247168 275865 33554432000 4194304 4196468 140723924609488 139887906908432 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15587] ppid=15580 vsize=10900632 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15587/stat : 15587 (java) S 15580 15583 9820 0 -1 1077944384 1904 0 0 0 252 29 0 0 20 0 20 0 3193338 11162247168 275865 33554432000 4194304 4196468 140723924609488 139887905855888 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15588] ppid=15580 vsize=10900632 CPUtime=2.87 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15588/stat : 15588 (java) S 15580 15583 9820 0 -1 1077944384 1800 0 0 0 256 31 0 0 20 0 20 0 3193338 11162247168 275865 33554432000 4194304 4196468 140723924609488 139887904803344 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15589] ppid=15580 vsize=10900632 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15589/stat : 15589 (java) S 15580 15583 9820 0 -1 1077944384 1575 0 0 0 256 33 0 0 20 0 20 0 3193338 11162247168 275865 33554432000 4194304 4196468 140723924609488 139887903750800 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15590] ppid=15580 vsize=10900632 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15590/stat : 15590 (java) S 15580 15583 9820 0 -1 1077944384 889 0 0 0 244 31 0 0 20 0 20 0 3193338 11162247168 275865 33554432000 4194304 4196468 140723924609488 139887902698256 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15591] ppid=15580 vsize=10900632 CPUtime=2.88 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15591/stat : 15591 (java) S 15580 15583 9820 0 -1 1077944384 1041 0 0 0 259 29 0 0 20 0 20 0 3193338 11162247168 275865 33554432000 4194304 4196468 140723924609488 139887901645712 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15592] ppid=15580 vsize=10900632 CPUtime=2.61 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15592/stat : 15592 (java) S 15580 15583 9820 0 -1 1077944384 1359 0 0 0 241 20 0 0 20 0 20 0 3193338 11162247168 275865 33554432000 4194304 4196468 140723924609488 139887900593168 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15593] ppid=15580 vsize=10900632 CPUtime=2.83 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15593/stat : 15593 (java) S 15580 15583 9820 0 -1 1077944384 2124 0 0 0 251 32 0 0 20 0 20 0 3193338 11162247168 275865 33554432000 4194304 4196468 140723924609488 139887899540624 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15594] ppid=15580 vsize=10900632 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15594/stat : 15594 (java) S 15580 15583 9820 0 -1 1077944384 3667 0 0 0 138 0 0 0 20 0 20 0 3193340 11162247168 275865 33554432000 4194304 4196468 140723924609488 139887507113968 139888300325506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15595] ppid=15580 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15595/stat : 15595 (java) S 15580 15583 9820 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3193341 11162247168 275865 33554432000 4194304 4196468 140723924609488 139887506060192 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15596] ppid=15580 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15596/stat : 15596 (java) S 15580 15583 9820 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3193341 11162247168 275865 33554432000 4194304 4196468 140723924609488 139887505007600 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15597] ppid=15580 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=15583/tid=15596] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15596/stat : 15596 (java) S 15580 15583 9820 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3193341 11366731776 713373 33554432000 4194304 4196468 140723924609488 139887505007600 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15597] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15597/stat : 15597 (java) S 15580 15583 9820 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3193344 11366731776 713373 33554432000 4194304 4196468 140723924609488 139887503956176 139888300332955 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15598] ppid=15580 vsize=11100324 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15598/stat : 15598 (java) S 15580 15583 9820 0 -1 1077944384 3231 0 0 0 61 0 0 0 20 0 21 0 3193344 11366731776 713373 33554432000 4194304 4196468 140723924609488 139887502903792 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15599] ppid=15580 vsize=11100324 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15599/stat : 15599 (java) S 15580 15583 9820 0 -1 1077944384 1734 0 0 0 42 0 0 0 20 0 21 0 3193344 11366731776 713373 33554432000 4194304 4196468 140723924609488 139887501851248 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15600] ppid=15580 vsize=11100324 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15600/stat : 15600 (java) S 15580 15583 9820 0 -1 1077944384 9846 0 0 0 173 1 0 0 20 0 21 0 3193344 11366731776 713373 33554432000 4194304 4196468 140723924609488 139887500798704 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15601] ppid=15580 vsize=11100324 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15601/stat : 15601 (java) S 15580 15583 9820 0 -1 1077944384 2524 0 0 0 32 0 0 0 20 0 21 0 3193344 11366731776 713373 33554432000 4194304 4196468 140723924609488 139887499746160 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15602] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15602/stat : 15602 (java) S 15580 15583 9820 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3193344 11366731776 713373 33554432000 4194304 4196468 140723924609488 139887498692832 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15603] ppid=15580 vsize=11100324 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15603/stat : 15603 (java) S 15580 15583 9820 0 -1 1077944384 400 0 0 0 0 1 0 0 20 0 21 0 3193344 11366731776 713373 33554432000 4194304 4196468 140723924609488 139887497640368 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15605] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15605/stat : 15605 (java) S 15580 15583 9820 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 21 0 3195352 11366731776 713373 33554432000 4194304 4196468 140723924609488 139887495532272 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
Current children cumulated CPU time (s) 66.06
Current children cumulated vsize (KiB) 11100324

[startup+24.0008 s]
/proc/loadavg: 4.74 3.14 2.48 3/283 15606
/proc/meminfo: memFree=27416540/32770624 swapFree=5824/208700
[pid=15583] ppid=15580 vsize=11100324 CPUtime=72.44 cores=0,2,4,6,8,10,12,14
/proc/15583/stat : 15583 (java) S 15580 15583 9820 0 -1 1077944320 63548 0 0 0 6646 598 0 0 20 0 21 0 3193337 11366731776 713399 33554432000 4194304 4196468 140723924609488 140723924592032 139888300314359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
/proc/15583/statm: 2775081 713399 3142 1 0 2763475 0
[pid=15583/tid=15584] ppid=15580 vsize=11100324 CPUtime=14.7 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15584/stat : 15584 (java) S 15580 15583 9820 0 -1 1077944384 11062 0 0 0 1460 10 0 0 20 0 21 0 3193337 11366731776 713399 33554432000 4194304 4196468 140723924609488 139888304555040 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15586] ppid=15580 vsize=11100324 CPUtime=6.51 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15586/stat : 15586 (java) S 15580 15583 9820 0 -1 1077944384 3024 0 0 0 575 76 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887906908432 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15587] ppid=15580 vsize=11100324 CPUtime=6.56 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15587/stat : 15587 (java) S 15580 15583 9820 0 -1 1077944384 4636 0 0 0 583 73 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887905855888 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15588] ppid=15580 vsize=11100324 CPUtime=6.56 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15588/stat : 15588 (java) S 15580 15583 9820 0 -1 1077944384 4918 0 0 0 584 72 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887904803344 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15589] ppid=15580 vsize=11100324 CPUtime=6.63 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15589/stat : 15589 (java) S 15580 15583 9820 0 -1 1077944384 2310 0 0 0 587 76 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887903750800 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15590] ppid=15580 vsize=11100324 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15590/stat : 15590 (java) S 15580 15583 9820 0 -1 1077944384 2244 0 0 0 569 74 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887902698256 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15591] ppid=15580 vsize=11100324 CPUtime=6.61 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15591/stat : 15591 (java) S 15580 15583 9820 0 -1 1077944384 1771 0 0 0 588 73 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887901645712 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15592] ppid=15580 vsize=11100324 CPUtime=6.35 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15592/stat : 15592 (java) S 15580 15583 9820 0 -1 1077944384 3864 0 0 0 572 63 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887900593168 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15593] ppid=15580 vsize=11100324 CPUtime=6.53 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15593/stat : 15593 (java) S 15580 15583 9820 0 -1 1077944384 4821 0 0 0 581 72 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887899540624 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15594] ppid=15580 vsize=11100324 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15594/stat : 15594 (java) R 15580 15583 9820 0 -1 4202560 5644 0 0 0 230 0 0 0 20 0 21 0 3193340 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887507112400 139888285014992 0 0 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15595] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15595/stat : 15595 (java) S 15580 15583 9820 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 3193341 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887506060192 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15596] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15596/stat : 15596 (java) S 15580 15583 9820 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3193341 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887505007600 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15597] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15597/stat : 15597 (java) S 15580 15583 9820 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3193344 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887503956176 139888300332955 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15598] ppid=15580 vsize=11100324 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15598/stat : 15598 (java) S 15580 15583 9820 0 -1 1077944384 3231 0 0 0 61 0 0 0 20 0 21 0 3193344 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887502903792 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15599] ppid=15580 vsize=11100324 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15599/stat : 15599 (java) S 15580 15583 9820 0 -1 1077944384 1734 0 0 0 42 0 0 0 20 0 21 0 3193344 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887501851248 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15600] ppid=15580 vsize=11100324 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15600/stat : 15600 (java) S 15580 15583 9820 0 -1 1077944384 9846 0 0 0 173 1 0 0 20 0 21 0 3193344 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887500798704 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15601] ppid=15580 vsize=11100324 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15601/stat : 15601 (java) S 15580 15583 9820 0 -1 1077944384 2524 0 0 0 32 0 0 0 20 0 21 0 3193344 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887499746160 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15602] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15602/stat : 15602 (java) S 15580 15583 9820 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3193344 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887498692832 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15603] ppid=15580 vsize=11100324 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15603/stat : 15603 (java) S 15580 15583 9820 0 -1 1077944384 400 0 0 0 0 1 0 0 20 0 21 0 3193344 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887497640368 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15605] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15605/stat : 15605 (java) S 15580 15583 9820 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 21 0 3195352 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887495532272 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
Current children cumulated CPU time (s) 72.44
Current children cumulated vsize (KiB) 11100324

[startup+24.4008 s]
/proc/loadavg: 4.74 3.14 2.48 3/283 15606
/proc/meminfo: memFree=27416548/32770624 swapFree=5824/208700
[pid=15583] ppid=15580 vsize=11100324 CPUtime=72.84 cores=0,2,4,6,8,10,12,14
/proc/15583/stat : 15583 (java) S 15580 15583 9820 0 -1 1077944320 63548 0 0 0 6686 598 0 0 20 0 21 0 3193337 11366731776 713399 33554432000 4194304 4196468 140723924609488 140723924592032 139888300314359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
/proc/15583/statm: 2775081 713399 3142 1 0 2763475 0
[pid=15583/tid=15584] ppid=15580 vsize=11100324 CPUtime=14.7 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15584/stat : 15584 (java) S 15580 15583 9820 0 -1 1077944384 11062 0 0 0 1460 10 0 0 20 0 21 0 3193337 11366731776 713399 33554432000 4194304 4196468 140723924609488 139888304555040 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15586] ppid=15580 vsize=11100324 CPUtime=6.51 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15586/stat : 15586 (java) S 15580 15583 9820 0 -1 1077944384 3024 0 0 0 575 76 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887906908432 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15587] ppid=15580 vsize=11100324 CPUtime=6.56 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15587/stat : 15587 (java) S 15580 15583 9820 0 -1 1077944384 4636 0 0 0 583 73 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887905855888 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15588] ppid=15580 vsize=11100324 CPUtime=6.56 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15588/stat : 15588 (java) S 15580 15583 9820 0 -1 1077944384 4918 0 0 0 584 72 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887904803344 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15589] ppid=15580 vsize=11100324 CPUtime=6.63 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15589/stat : 15589 (java) S 15580 15583 9820 0 -1 1077944384 2310 0 0 0 587 76 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887903750800 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15590] ppid=15580 vsize=11100324 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15590/stat : 15590 (java) S 15580 15583 9820 0 -1 1077944384 2244 0 0 0 569 74 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887902698256 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15591] ppid=15580 vsize=11100324 CPUtime=6.61 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15591/stat : 15591 (java) S 15580 15583 9820 0 -1 1077944384 1771 0 0 0 588 73 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887901645712 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15592] ppid=15580 vsize=11100324 CPUtime=6.35 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15592/stat : 15592 (java) S 15580 15583 9820 0 -1 1077944384 3864 0 0 0 572 63 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887900593168 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15593] ppid=15580 vsize=11100324 CPUtime=6.53 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15593/stat : 15593 (java) S 15580 15583 9820 0 -1 1077944384 4821 0 0 0 581 72 0 0 20 0 21 0 3193338 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887899540624 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15594] ppid=15580 vsize=11100324 CPUtime=2.7 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15594/stat : 15594 (java) R 15580 15583 9820 0 -1 4202560 5644 0 0 0 270 0 0 0 20 0 21 0 3193340 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887507112400 139888285015034 0 0 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15595] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15595/stat : 15595 (java) S 15580 15583 9820 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 3193341 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887506060192 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15596] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15596/stat : 15596 (java) S 15580 15583 9820 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3193341 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887505007600 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15597] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15597/stat : 15597 (java) S 15580 15583 9820 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3193344 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887503956176 139888300332955 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15598] ppid=15580 vsize=11100324 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15598/stat : 15598 (java) S 15580 15583 9820 0 -1 1077944384 3231 0 0 0 61 0 0 0 20 0 21 0 3193344 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887502903792 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15599] ppid=15580 vsize=11100324 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15599/stat : 15599 (java) S 15580 15583 9820 0 -1 1077944384 1734 0 0 0 42 0 0 0 20 0 21 0 3193344 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887501851248 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15600] ppid=15580 vsize=11100324 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15600/stat : 15600 (java) S 15580 15583 9820 0 -1 1077944384 9846 0 0 0 173 1 0 0 20 0 21 0 3193344 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887500798704 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15601] ppid=15580 vsize=11100324 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15601/stat : 15601 (java) S 15580 15583 9820 0 -1 1077944384 2524 0 0 0 32 0 0 0 20 0 21 0 3193344 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887499746160 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15602] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15602/stat : 15602 (java) S 15580 15583 9820 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3193344 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887498692832 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15603] ppid=15580 vsize=11100324 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15603/stat : 15603 (java) S 15580 15583 9820 0 -1 1077944384 400 0 0 0 0 1 0 0 20 0 21 0 3193344 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887497640368 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15605] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15605/stat : 15605 (java) S 15580 15583 9820 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 21 0 3195352 11366731776 713399 33554432000 4194304 4196468 140723924609488 139887495532272 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
Current children cumulated CPU time (s) 72.84
Current children cumulated vsize (KiB) 11100324

[startup+24.8008 s]
/proc/loadavg: 4.74 3.14 2.48 3/283 15606
/proc/meminfo: memFree=27416548/32770624 swapFree=5824/208700
[pid=15583] ppid=15580 vsize=11100324 CPUtime=73.25 cores=0,2,4,6,8,10,12,14
/proc/15583/stat : 15583 (java) S 15580 15583 9820 0 -1 1077944320 64635 0 0 0 6726 599 0 0 20 0 21 0 3193337 11366731776 714092 33554432000 4194304 4196468 140723924609488 140723924592032 139888300314359 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
/proc/15583/statm: 2775081 714092 3142 1 0 2763475 0
[pid=15583/tid=15584] ppid=15580 vsize=11100324 CPUtime=14.7 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15584/stat : 15584 (java) S 15580 15583 9820 0 -1 1077944384 11062 0 0 0 1460 10 0 0 20 0 21 0 3193337 11366731776 714092 33554432000 4194304 4196468 140723924609488 139888304555040 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15586] ppid=15580 vsize=11100324 CPUtime=6.51 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15586/stat : 15586 (java) S 15580 15583 9820 0 -1 1077944384 3024 0 0 0 575 76 0 0 20 0 21 0 3193338 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887906908432 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15587] ppid=15580 vsize=11100324 CPUtime=6.56 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15587/stat : 15587 (java) S 15580 15583 9820 0 -1 1077944384 4636 0 0 0 583 73 0 0 20 0 21 0 3193338 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887905855888 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15588] ppid=15580 vsize=11100324 CPUtime=6.56 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15588/stat : 15588 (java) S 15580 15583 9820 0 -1 1077944384 4918 0 0 0 584 72 0 0 20 0 21 0 3193338 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887904803344 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15589] ppid=15580 vsize=11100324 CPUtime=6.63 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15589/stat : 15589 (java) S 15580 15583 9820 0 -1 1077944384 2310 0 0 0 587 76 0 0 20 0 21 0 3193338 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887903750800 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15590] ppid=15580 vsize=11100324 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15590/stat : 15590 (java) S 15580 15583 9820 0 -1 1077944384 2244 0 0 0 569 74 0 0 20 0 21 0 3193338 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887902698256 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15591] ppid=15580 vsize=11100324 CPUtime=6.61 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15591/stat : 15591 (java) S 15580 15583 9820 0 -1 1077944384 1771 0 0 0 588 73 0 0 20 0 21 0 3193338 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887901645712 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15592] ppid=15580 vsize=11100324 CPUtime=6.35 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15592/stat : 15592 (java) S 15580 15583 9820 0 -1 1077944384 3864 0 0 0 572 63 0 0 20 0 21 0 3193338 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887900593168 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15593] ppid=15580 vsize=11100324 CPUtime=6.53 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15593/stat : 15593 (java) S 15580 15583 9820 0 -1 1077944384 4821 0 0 0 581 72 0 0 20 0 21 0 3193338 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887899540624 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15594] ppid=15580 vsize=11100324 CPUtime=3.1 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15594/stat : 15594 (java) S 15580 15583 9820 0 -1 1077944384 6650 0 0 0 310 0 0 0 20 0 21 0 3193340 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887507113968 139888300325506 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15595] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15595/stat : 15595 (java) S 15580 15583 9820 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 21 0 3193341 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887506060256 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15596] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15596/stat : 15596 (java) S 15580 15583 9820 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 3193341 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887505007600 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15597] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15597/stat : 15597 (java) S 15580 15583 9820 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3193344 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887503956176 139888300332955 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15598] ppid=15580 vsize=11100324 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15598/stat : 15598 (java) S 15580 15583 9820 0 -1 1077944384 3232 0 0 0 61 1 0 0 20 0 21 0 3193344 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887502903792 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15599] ppid=15580 vsize=11100324 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15599/stat : 15599 (java) S 15580 15583 9820 0 -1 1077944384 1734 0 0 0 42 0 0 0 20 0 21 0 3193344 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887501851248 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15600] ppid=15580 vsize=11100324 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15600/stat : 15600 (java) S 15580 15583 9820 0 -1 1077944384 9849 0 0 0 173 1 0 0 20 0 21 0 3193344 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887500798704 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15601] ppid=15580 vsize=11100324 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15601/stat : 15601 (java) R 15580 15583 9820 0 -1 4202560 2538 0 0 0 32 0 0 0 20 0 21 0 3193344 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887499745344 139888281886777 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15602] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15602/stat : 15602 (java) S 15580 15583 9820 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3193344 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887498692832 139888300324565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15603] ppid=15580 vsize=11100324 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15603/stat : 15603 (java) S 15580 15583 9820 0 -1 1077944384 400 0 0 0 0 1 0 0 20 0 21 0 3193344 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887497640368 139888300325506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
[pid=15583/tid=15605] ppid=15580 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15583/task/15605/stat : 15605 (java) R 15580 15583 9820 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 21 0 3195352 11366731776 714092 33554432000 4194304 4196468 140723924609488 139887495531504 139888293031322 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20963328 140723924612267 140723924612420 140723924612420 140723924615119 0
Current children cumulated CPU time (s) 73.25
Current children cumulated vsize (KiB) 11100324

Child status: 0
Real time (s): 24.8205
CPU time (s): 73.2825
CPU user time (s): 67.2681
CPU system time (s): 6.0144
CPU usage (%): 295.249
Max. virtual memory (cumulated for all children) (KiB): 11100324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.2681
system time used= 6.0144
maximum resident set size= 2856796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64670
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5102
involuntary context switches= 5867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.151531 second user time and 0.262407 second system time

The end

Launcher Data

Begin job on node147 at 2017-07-22 01:21:21
IDJOB=4244027
IDBENCH=134261
IDSOLVER=2623
FILE ID=node147/4244027-1500679281
RUNJOBID= node147-1500673363-13447
PBS_JOBID= 20623274
Free space on /tmp= 61932 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/Nonogram/Nonogram-regular-gp/Nonogram-108-regular.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244027-1500679281/watcher-4244027-1500679281 -o /tmp/evaluation-result-4244027-1500679281/solver-4244027-1500679281 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500673363-13447 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244027-1500679281.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 027923484d27a63c58a8ab959921f76a
RANDOM SEED=1185379557

node147.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30261672 kB
MemAvailable:   30274756 kB
Buffers:           44788 kB
Cached:           278436 kB
SwapCached:            0 kB
Active:          1912460 kB
Inactive:         216968 kB
Active(anon):    1809404 kB
Inactive(anon):     8680 kB
Active(file):     103056 kB
Inactive(file):   208288 kB
Unevictable:        5824 kB
Mlocked:            5824 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1824 kB
Writeback:             0 kB
AnonPages:       1812576 kB
Mapped:            42320 kB
Shmem:              8852 kB
Slab:              67928 kB
SReclaimable:      35148 kB
SUnreclaim:        32780 kB
KernelStack:        4560 kB
PageTables:         9620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3629380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1669120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61932 MiB
End job on node147 at 2017-07-22 01:21:46

Name	Nonogram/Nonogram-regular-gp/ Nonogram-108-regular.xml
MD5SUM	027923484d27a63c58a8ab959921f76a
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.033723
Satisfiable
(Un)Satisfiability was proved
Number of variables	1024
Number of constraints	64
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":1024}]
Minimum variable degree	2
Maximum variable degree	2
Distribution of variable degrees	[{"degree":2,"count":1024}]
Minimum constraint arity	32
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":32,"count":64}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"regular","count":64}]
Optimization problem	NO
Type of objective

Trace number 4244027

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data