2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j-CSP 2018-07-11	SAT (TO)	6222	2400.19	2392.03

4.64/1.57	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
4.64/1.57	c This is free software under the dual EPL/GNU LGPL licenses.
4.64/1.57	c See www.sat4j.org for details.
4.64/1.57	c That software uses the Rhino library from the Mozilla project.
4.64/1.57	c version 2.3.6-SNAPSHOT
4.64/1.57	c java.runtime.name	Java(TM) SE Runtime Environment
4.64/1.57	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
4.64/1.57	c java.vm.version	25.131-b11
4.64/1.57	c java.vm.vendor	Oracle Corporation
4.64/1.57	c sun.arch.data.model	64
4.64/1.57	c java.version		1.8.0_131
4.64/1.57	c os.name		Linux
4.64/1.57	c os.version		3.10.0-514.16.1.el7.x86_64
4.64/1.57	c os.arch		amd64
4.64/1.57	c Free memory 		499604488
4.64/1.57	c Max memory 		7247757312
4.64/1.57	c Total memory 		504889344
4.64/1.57	c Number of processors 	4
4.64/1.57	c c --- Begin Solver configuration ---
4.64/1.57	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
4.64/1.57	c Learn all clauses as in MiniSAT
4.64/1.57	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
4.64/1.57	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
4.64/1.57	c No reason simplification
4.64/1.57	c Glucose 2.1 dynamic restart strategy
4.64/1.57	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
4.64/1.57	c timeout=2147483s
4.64/1.57	c DB Simplification allowed=false
4.64/1.57	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
4.64/1.57	c --- End Solver configuration ---
4.64/1.57	c constraints type 
4.64/1.57	c org.sat4j.minisat.constraints.card.MinWatchCard => 1930
4.64/1.57	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 213093
4.64/1.57	c org.sat4j.minisat.constraints.cnf.UnitClauses => 42
4.64/1.57	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 264765
4.64/1.57	c org.sat4j.specs.Constr$1 => 38109
4.64/1.57	c org.sat4j.minisat.constraints.cnf.UnitClause => 23632
4.64/1.57	c 541571 constraints processed.
60.76/55.96	o 9193
68.66/63.50	o 8588
92.60/86.92	o 8068
212.93/207.08	o 7863
383.96/377.81	o 7815
554.53/548.10	o 7804
573.83/567.36	o 7738
639.88/633.39	o 7671
749.25/742.62	o 7594
799.98/793.36	o 7526
962.48/955.78	o 7518
998.70/991.98	o 7507
1049.58/1042.51	o 7473
1065.70/1058.65	o 7419
1084.91/1077.86	o 7380
1090.81/1083.71	o 7334
1101.13/1094.08	o 7314
1120.94/1113.89	o 7313
1165.37/1158.28	o 7311
1229.70/1222.52	o 7298
1231.00/1223.84	o 6659
1270.63/1263.42	o 6629
1323.27/1316.04	o 6612
1358.70/1351.42	o 6587
1712.29/1704.54	o 6572
1738.42/1730.67	o 6510
1799.97/1792.14	o 6507
1809.17/1801.33	o 6476
1826.89/1819.04	o 6400
1841.90/1834.08	o 6380
1958.08/1950.12	o 6318
2085.85/2077.83	o 6317
2099.86/2091.83	o 6316
2190.61/2182.59	o 6315
2236.34/2228.28	o 6301
2280.76/2272.61	o 6295
2363.61/2355.48	o 6244
2398.62/2390.43	o 6222
2400.16/2392.00	c starts		: 23432
2400.16/2392.00	c conflicts		: 6428564
2400.16/2392.00	c decisions		: 34407280
2400.16/2392.00	c propagations		: 5245291924
2400.16/2392.00	c inspects		: 22018157494
2400.16/2392.00	c shortcuts		: 0
2400.16/2392.00	c learnt literals	: 995
2400.16/2392.00	c learnt binary clauses	: 18124
2400.16/2392.00	c learnt ternary clauses	: 84022
2400.16/2392.01	c learnt constraints	: 6427569
2400.16/2392.01	c ignored constraints	: 0
2400.16/2392.01	c root simplifications	: 0
2400.16/2392.01	c removed literals (reason simplification)	: 0
2400.16/2392.01	c reason swapping (by a shorter reason)	: 0
2400.16/2392.01	c Calls to reduceDB	: 470
2400.16/2392.01	c Number of update (reduction) of LBD	: 2508662
2400.16/2392.01	c Imported unit clauses	: 0
2400.16/2392.01	c number of reductions to clauses (during analyze)	: 0
2400.16/2392.01	c number of learned constraints concerned by reduction	: 0
2400.16/2392.01	c number of learning phase by resolution	: 0
2400.16/2392.01	c number of learning phase by cutting planes	: 0
2400.16/2392.01	c number of rounding to 1 operations	: 0
2400.16/2392.01	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2400.16/2392.01	c number of reductions of the coefficients by power 2 	: 0
2400.16/2392.01	c number of right shift for reduction by power 2 	: 0
2400.16/2392.01	c number of reductions of the coefficients by GCD over coefficients 	: 0
2400.16/2392.01	c number of ending skipping 	: 0
2400.16/2392.01	c number of internal skipping 	: 0
2400.16/2392.01	c number of derivation steps 	: 0
2400.16/2392.01	c number of skipped derivation steps 	: 0
2400.16/2392.01	c number of remaining unassigned 	: 0
2400.16/2392.01	c number of remaining assigned 	: 0
2400.16/2392.01	c speed (assignments/second)	: 2194331.16952388
2400.16/2392.01	c non guided choices	: 5143125
2400.16/2392.01	s SATISFIABLE
2400.16/2392.01	v <instantiation type="solution">
2400.16/2392.01	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[27][0] ds[27][1] ds[27][2] ds[27][3] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[27][0] cc[27][1] cc[27][2] cc[27][3] </list>
2400.16/2392.01	v 	<values> 1 3 1 3 0 2 0 2 1 3 1 2 1 0 3 3 3 2 1 3 1 0 0 2 0 2 1 3 1 2 2 0 3 3 3 3 1 2 1 0 0 3 2 2 1 0 1 3 3 0 0 3 3 3 3 2 2 0 1 3 2 2 3 0 1 3 3 0 0 3 3 3 3 2 3 3 3 0 2 2 3 0 1 3 3 0 0 3 1 3 3 2 3 3 3 2 3 3 3 0 3 1 3 3 3 3 3 0 3 3 3 3 3 2 3 3 3 0 3 2 1 3 3 3 3 0 3 3 1 0 0 3 0 3 1 3 3 2 1 3 3 2 0 2 0 2 1 0 0 3 2 3 1 3 3 2 1 0 0 3 1 3 0 2 1 0 0 0 2 3 1 0 1 3 1 0 0 3 3 3 1 2 3 0 0 2 2 2 3 0 2 3 1 1 3 3 3 1 3 2 3 0 3 3 3 2 3 0 2 3 2 1 3 0 3 1 3 3 1 3 3 3 3 3 1 0 2 3 3 1 3 1 3 3 1 3 1 3 2 3 3 3 1 2 2 3 3 2 0 1 3 3 1 2 1 0 2 0 2 2 1 3 3 0 3 3 0 1 1 3 1 2 1 1 2 0 2 2 1 3 3 0 0 3 1 3 3 3 1 2 2 3 2 0 3 2 1 0 3 0 0 3 1 3 3 3 1 2 3 3 2 2 3 3 3 0 1 0 0 3 1 3 3 3 3 3 3 0 3 3 2 3 3 0 1 0 0 3 1 0 1 3 3 3 3 0 3 3 2 2 1 3 1 3 3 3 3 3 3 3 0 3 2 0 3 3 3 2 1 3 2 3 3 3 3 3 3 3 1 3 2 1 2 2 3 3 1 3 2 3 3 3 3 1 3 3 1 2 3 3 2 2 0 3 1 0 2 0 3 3 0 1 0 0 1 2 3 3 3 2 0 3 1 0 3 1 3 0 0 1 1 2 1 3 2 3 3 3 0 2 3 2 3 1 1 1 1 3 3 2 3 3 2 0 0 3 2 2 3 2 3 1 1 1 1 3 3 3 3 2 3 0 1 0 2 2 3 3 3 1 2 1 1 3 0 3 3 2 3 0 3 0 3 2 3 3 3 2 2 1 1 3 1 3 3 13 0 12 0 0 16 12 0 10 6 12 15 2 0 11 8 2 7 11 7 0 9 12 6 0 12 10 0 0 16 12 0 16 0 12 14 0 3 11 0 9 7 12 6 5 6 11 4 8 4 12 8 7 1 12 9 8 0 11 2 6 1 19 3 6 0 19 3 2 4 19 3 5 4 6 4 4 4 6 5 4 3 6 4 2 4 8 4 2 3 9 2 1 2 13 2 1 2 13 4 3 3 8 5 4 3 6 7 4 2 5 3 4 5 6 3 2 4 9 1 4 1 12 1 4 4 9 4 5 4 5 3 5 4 6 4 3 4 7 3 3 3 9 5 3 1 9 1 2 2 13 2 1 3 12 0 4 4 10 6 3 4 5 4 5 3 6 1 5 4 8 2 4 4 8 3 4 4 7 2 3 4 9 0 1 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 3 3 3 3 3 2 2 0 0 2 2 2 2 0 1 1 1 1 1 1 1 1 2 3 3 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 0 0 0 3 3 1 1 0 0 3 3 3 1 1 1 1 1 1 1 1 2 2 2 2 2 3 3 1 1 3 1 1 1 1 1 2 2 1 1 3 3 3 3 2 3 0 0 0 0 0 0 0 1 2 1 1 2 2 2 2 3 3 3 3 2 2 0 0 0 0 0 0 0 0 2 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 3 0 2 0 1 0 0 0 0 2 0 1 0 200 0 0 100 0 0 0 400 200 0 100 200 0 0 100 200 200 0 0 0 0 0 2 0 1 0 3 2 400 0 0 2 2 0 200 100 2 0 300 1 500 0 100 0 0 0 0 1 0 0 1 2 0 0 100 100 200 0 1 1 1 0 0 0 400 0 200 100 100 0 0 100 0 0 400 0 1 0 0 0 1 0 0 0 1 0 300 2 0 0 0 2 2 0 200 0 0 0 300 200 0 0 </values>
2400.16/2392.01	v </instantiation>
2400.16/2392.01

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (8180 MiB free)
  memory of node 1: 16384 MiB (12347 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289912-1532210216/watcher-4289912-1532210216 -o /tmp/evaluation-result-4289912-1532210216/solver-4289912-1532210216 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532208872-28144 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289912-1532210216.xml 

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

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

solver pid=28472, runsolver pid=28469

[startup+0.100104 s]*
/proc/loadavg: 4.71 4.54 3.71 4/217 28487
/proc/meminfo: memFree=21004184/32770624 swapFree=67108860/67108860
[pid=28472] ppid=28469 vsize=10659012 memory=30040 CPUtime=0.13 cores=1,3,5,7
/proc/28472/stat : 28472 (java) S 28469 28472 25824 0 -1 1077944320 6600 0 0 0 11 2 0 0 20 0 15 0 38584757 10914828288 7510 33554432000 4194304 4196468 140728145830352 140728145812896 139887883734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
/proc/28472/statm: 2664753 7510 2821 1 0 2627263 0
[pid=28472/tid=28474] ppid=28469 vsize=10659012 memory=-8773748148830114179 CPUtime=0.09 cores=1,3,5,7
/proc/28472/task/28474/stat : 28474 (java) R 28469 28472 25824 0 -1 4202560 4416 0 0 0 8 1 0 0 20 0 15 0 38584758 10914828288 7510 33554432000 4194304 4196468 140728145830352 139887887939440 139887883746710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28475] ppid=28469 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28475/stat : 28475 (java) S 28469 28472 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38584758 10914828288 7510 33554432000 4194304 4196468 140728145830352 139887825738896 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28476] ppid=28469 vsize=10659012 memory=140719844865664 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28476/stat : 28476 (java) S 28469 28472 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38584758 10914828288 7510 33554432000 4194304 4196468 140728145830352 139887824686096 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28477] ppid=28469 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28477/stat : 28477 (java) S 28469 28472 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38584758 10914828288 7510 33554432000 4194304 4196468 140728145830352 139887488326544 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28478] ppid=28469 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28478/stat : 28478 (java) S 28469 28472 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38584758 10914828288 7510 33554432000 4194304 4196468 140728145830352 139887487273744 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28479] ppid=28469 vsize=10659012 memory=140719844865664 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28479/stat : 28479 (java) S 28469 28472 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38584760 10914828288 7510 33554432000 4194304 4196468 140728145830352 139887443372400 139887883745922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28480] ppid=28469 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28480/stat : 28480 (java) S 28469 28472 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38584760 10914828288 7510 33554432000 4194304 4196468 140728145830352 139887442318368 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28481] ppid=28469 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28481/stat : 28481 (java) S 28469 28472 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38584760 10914828288 7510 33554432000 4194304 4196468 140728145830352 139887441265520 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28482] ppid=28469 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28482/stat : 28482 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38584763 10914828288 7510 33554432000 4194304 4196468 140728145830352 139887440213840 139887883753371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28483] ppid=28469 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28483/stat : 28483 (java) S 28469 28472 25824 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 15 0 38584763 10914828288 7510 33554432000 4194304 4196468 140728145830352 139887439162224 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28484] ppid=28469 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28484/stat : 28484 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38584763 10914828288 7510 33554432000 4194304 4196468 140728145830352 139887438109424 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28485] ppid=28469 vsize=10659012 memory=140719844865664 CPUtime=0.02 cores=1,3,5,7
/proc/28472/task/28485/stat : 28485 (java) R 28469 28472 25824 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 15 0 38584763 10914828288 7510 33554432000 4194304 4196468 140728145830352 139887437056624 139887862720016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28486] ppid=28469 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28486/stat : 28486 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38584763 10914828288 7510 33554432000 4194304 4196468 140728145830352 139887436004064 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28487] ppid=28469 vsize=10659012 memory=140719844865664 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28487/stat : 28487 (java) S 28469 28472 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38584763 10914828288 7510 33554432000 4194304 4196468 140728145830352 139887434951344 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30040 KiB

[startup+0.210647 s]*
/proc/loadavg: 4.71 4.54 3.71 4/217 28487
/proc/meminfo: memFree=20992568/32770624 swapFree=67108860/67108860
[pid=28472] ppid=28469 vsize=10659012 memory=41480 CPUtime=0.32 cores=1,3,5,7
/proc/28472/stat : 28472 (java) S 28469 28472 25824 0 -1 1077944320 8079 0 0 0 30 2 0 0 20 0 15 0 38584757 10914828288 10370 33554432000 4194304 4196468 140728145830352 140728145812896 139887883734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
/proc/28472/statm: 2664753 10370 2999 1 0 2627263 0
[pid=28472/tid=28474] ppid=28469 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/28472/task/28474/stat : 28474 (java) R 28469 28472 25824 0 -1 4202560 5002 0 0 0 18 1 0 0 20 0 15 0 38584758 10914828288 10370 33554432000 4194304 4196468 140728145830352 139887887969840 139887867778405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28475] ppid=28469 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28475/stat : 28475 (java) S 28469 28472 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38584758 10914828288 10370 33554432000 4194304 4196468 140728145830352 139887825738896 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28476] ppid=28469 vsize=10659012 memory=140719844891772 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28476/stat : 28476 (java) S 28469 28472 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38584758 10914828288 10370 33554432000 4194304 4196468 140728145830352 139887824686096 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28477] ppid=28469 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28477/stat : 28477 (java) S 28469 28472 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38584758 10914828288 10370 33554432000 4194304 4196468 140728145830352 139887488326544 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28478] ppid=28469 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28478/stat : 28478 (java) S 28469 28472 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38584758 10914828288 10370 33554432000 4194304 4196468 140728145830352 139887487273744 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28479] ppid=28469 vsize=10659012 memory=140719844865664 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28479/stat : 28479 (java) S 28469 28472 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38584760 10914828288 10370 33554432000 4194304 4196468 140728145830352 139887443372400 139887883745922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28480] ppid=28469 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28480/stat : 28480 (java) S 28469 28472 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38584760 10914828288 10370 33554432000 4194304 4196468 140728145830352 139887442318368 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28481] ppid=28469 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28481/stat : 28481 (java) S 28469 28472 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38584760 10914828288 10370 33554432000 4194304 4196468 140728145830352 139887441265520 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28482] ppid=28469 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28482/stat : 28482 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38584763 10914828288 10370 33554432000 4194304 4196468 140728145830352 139887440213840 139887883753371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28483] ppid=28469 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28472/task/28483/stat : 28483 (java) S 28469 28472 25824 0 -1 1077944384 656 0 0 0 2 0 0 0 20 0 15 0 38584763 10914828288 10370 33554432000 4194304 4196468 140728145830352 139887439162224 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28484] ppid=28469 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28472/task/28484/stat : 28484 (java) S 28469 28472 25824 0 -1 1077944384 329 0 0 0 2 0 0 0 20 0 15 0 38584763 10914828288 10370 33554432000 4194304 4196468 140728145830352 139887438109424 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28485] ppid=28469 vsize=10659012 memory=140719844865664 CPUtime=0.07 cores=1,3,5,7
/proc/28472/task/28485/stat : 28485 (java) R 28469 28472 25824 0 -1 4202560 724 0 0 0 7 0 0 0 20 0 15 0 38584763 10914828288 10370 33554432000 4194304 4196468 140728145830352 139887437056624 139887867815262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28486] ppid=28469 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28486/stat : 28486 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38584763 10914828288 10370 33554432000 4194304 4196468 140728145830352 139887436004064 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28487] ppid=28469 vsize=10659012 memory=140719844865664 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28487/stat : 28487 (java) S 28469 28472 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38584763 10914828288 10370 33554432000 4194304 4196468 140728145830352 139887434951344 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41480 KiB

[startup+0.312477 s]*
/proc/loadavg: 4.71 4.54 3.71 5/217 28487
/proc/meminfo: memFree=20980596/32770624 swapFree=67108860/67108860
[pid=28472] ppid=28469 vsize=10659088 memory=52740 CPUtime=0.59 cores=1,3,5,7
/proc/28472/stat : 28472 (java) S 28469 28472 25824 0 -1 1077944320 9721 0 0 0 56 3 0 0 20 0 15 0 38584757 10914906112 13185 33554432000 4194304 4196468 140728145830352 140728145812896 139887883734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
/proc/28472/statm: 2664772 13185 3065 1 0 2627263 0
[pid=28472/tid=28474] ppid=28469 vsize=10659088 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/28472/task/28474/stat : 28474 (java) R 28469 28472 25824 0 -1 4202560 5572 0 0 0 28 1 0 0 20 0 15 0 38584758 10914906112 13185 33554432000 4194304 4196468 140728145830352 139887887968304 139887867815262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28475] ppid=28469 vsize=10659088 memory=288230604707987479 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28475/stat : 28475 (java) S 28469 28472 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38584758 10914906112 13185 33554432000 4194304 4196468 140728145830352 139887825738896 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28476] ppid=28469 vsize=10659088 memory=140719844891745 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28476/stat : 28476 (java) S 28469 28472 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38584758 10914906112 13185 33554432000 4194304 4196468 140728145830352 139887824686096 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28477] ppid=28469 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28477/stat : 28477 (java) S 28469 28472 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38584758 10914906112 13185 33554432000 4194304 4196468 140728145830352 139887488326544 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28478] ppid=28469 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28478/stat : 28478 (java) S 28469 28472 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38584758 10914906112 13185 33554432000 4194304 4196468 140728145830352 139887487273744 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28479] ppid=28469 vsize=10659088 memory=140719844865664 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28479/stat : 28479 (java) S 28469 28472 25824 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38584760 10914906112 13185 33554432000 4194304 4196468 140728145830352 139887443372400 139887883745922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28480] ppid=28469 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28480/stat : 28480 (java) S 28469 28472 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38584760 10914906112 13185 33554432000 4194304 4196468 140728145830352 139887442318368 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28481] ppid=28469 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28481/stat : 28481 (java) S 28469 28472 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38584760 10914906112 13185 33554432000 4194304 4196468 140728145830352 139887441265520 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28482] ppid=28469 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28482/stat : 28482 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38584763 10914906112 13185 33554432000 4194304 4196468 140728145830352 139887440213840 139887883753371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28483] ppid=28469 vsize=10659088 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28472/task/28483/stat : 28483 (java) R 28469 28472 25824 0 -1 4202560 954 0 0 0 7 0 0 0 20 0 15 0 38584763 10914906112 13185 33554432000 4194304 4196468 140728145830352 139887439162224 139887864406016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28484] ppid=28469 vsize=10659088 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28472/task/28484/stat : 28484 (java) R 28469 28472 25824 0 -1 4202560 828 0 0 0 7 0 0 0 20 0 15 0 38584763 10914906112 13185 33554432000 4194304 4196468 140728145830352 139887438090440 139887867145762 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28485] ppid=28469 vsize=10659088 memory=140719844865664 CPUtime=0.12 cores=1,3,5,7
/proc/28472/task/28485/stat : 28485 (java) R 28469 28472 25824 0 -1 1077944384 996 0 0 0 12 0 0 0 20 0 15 0 38584763 10914906112 13185 33554432000 4194304 4196468 140728145830352 139887437056624 139887883745922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28486] ppid=28469 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28486/stat : 28486 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38584763 10914906112 13185 33554432000 4194304 4196468 140728145830352 139887436004064 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28487] ppid=28469 vsize=10659088 memory=140719844865664 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28487/stat : 28487 (java) S 28469 28472 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38584763 10914906112 13185 33554432000 4194304 4196468 140728145830352 139887434951344 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 52740 KiB

[startup+0.700784 s]
/proc/loadavg: 4.71 4.54 3.71 6/217 28487
/proc/meminfo: memFree=20959256/32770624 swapFree=67108860/67108860
[pid=28472] ppid=28469 vsize=10661136 memory=147900 CPUtime=1.99 cores=1,3,5,7
/proc/28472/stat : 28472 (java) S 28469 28472 25824 0 -1 1077944320 12729 0 0 0 194 5 0 0 20 0 15 0 38584757 10917003264 36975 33554432000 4194304 4196468 140728145830352 140728145812896 139887883734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
/proc/28472/statm: 2665284 36975 3110 1 0 2627775 0
[pid=28472/tid=28474] ppid=28469 vsize=10661136 memory=1836 CPUtime=0.67 cores=1,3,5,7
/proc/28472/task/28474/stat : 28474 (java) R 28469 28472 25824 0 -1 4202560 6101 0 0 0 64 3 0 0 20 0 15 0 38584758 10917003264 36975 33554432000 4194304 4196468 140728145830352 139887887964448 139887862812329 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28475] ppid=28469 vsize=10661136 memory=792 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28475/stat : 28475 (java) S 28469 28472 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38584758 10917003264 36975 33554432000 4194304 4196468 140728145830352 139887825738896 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28476] ppid=28469 vsize=10661136 memory=1960 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28476/stat : 28476 (java) S 28469 28472 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38584758 10917003264 36975 33554432000 4194304 4196468 140728145830352 139887824686096 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28477] ppid=28469 vsize=10661136 memory=5380 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28477/stat : 28477 (java) S 28469 28472 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38584758 10917003264 36975 33554432000 4194304 4196468 140728145830352 139887488326544 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28478] ppid=28469 vsize=10661136 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28478/stat : 28478 (java) S 28469 28472 25824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38584758 10917003264 36975 33554432000 4194304 4196468 140728145830352 139887487273744 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28479] ppid=28469 vsize=10661136 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28479/stat : 28479 (java) S 28469 28472 25824 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38584760 10917003264 36975 33554432000 4194304 4196468 140728145830352 139887443372400 139887883745922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28480] ppid=28469 vsize=10661136 memory=11964 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28480/stat : 28480 (java) S 28469 28472 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38584760 10917003264 36975 33554432000 4194304 4196468 140728145830352 139887442318368 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28481] ppid=28469 vsize=10661136 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28481/stat : 28481 (java) S 28469 28472 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38584760 10917003264 36975 33554432000 4194304 4196468 140728145830352 139887441265520 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28482] ppid=28469 vsize=10661136 memory=8380 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28482/stat : 28482 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38584763 10917003264 36975 33554432000 4194304 4196468 140728145830352 139887440213840 139887883753371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28483] ppid=28469 vsize=10661136 memory=6297835844906604903 CPUtime=0.44 cores=1,3,5,7
/proc/28472/task/28483/stat : 28483 (java) R 28469 28472 25824 0 -1 4202560 1876 0 0 0 44 0 0 0 20 0 15 0 38584763 10917003264 36975 33554432000 4194304 4196468 140728145830352 139887439155248 139887865299413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28484] ppid=28469 vsize=10661136 memory=7597685182856913236 CPUtime=0.43 cores=1,3,5,7
/proc/28472/task/28484/stat : 28484 (java) R 28469 28472 25824 0 -1 4202560 1333 0 0 0 43 0 0 0 20 0 15 0 38584763 10917003264 36975 33554432000 4194304 4196468 140728145830352 139887438099216 139887863451911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28485] ppid=28469 vsize=10661136 memory=7079774412187127888 CPUtime=0.42 cores=1,3,5,7
/proc/28472/task/28485/stat : 28485 (java) S 28469 28472 25824 0 -1 1077944384 2048 0 0 0 41 1 0 0 20 0 15 0 38584763 10917003264 36975 33554432000 4194304 4196468 140728145830352 139887437056624 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28486] ppid=28469 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28486/stat : 28486 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38584763 10917003264 36975 33554432000 4194304 4196468 140728145830352 139887436004064 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28487] ppid=28469 vsize=10661136 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28487/stat : 28487 (java) S 28469 28472 25824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38584763 10917003264 36975 33554432000 4194304 4196468 140728145830352 139887434951344 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 147900 KiB

[startup+1.50096 s]
/proc/loadavg: 4.71 4.54 3.71 6/217 28487
/proc/meminfo: memFree=20828752/32770624 swapFree=67108860/67108860
[pid=28472] ppid=28469 vsize=10661136 memory=253452 CPUtime=4.64 cores=1,3,5,7
/proc/28472/stat : 28472 (java) S 28469 28472 25824 0 -1 1077944320 18662 0 0 0 454 10 0 0 20 0 15 0 38584757 10917003264 63363 33554432000 4194304 4196468 140728145830352 140728145812896 139887883734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
/proc/28472/statm: 2665284 63363 3152 1 0 2627775 0
[pid=28472/tid=28474] ppid=28469 vsize=10661136 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/28472/task/28474/stat : 28474 (java) R 28469 28472 25824 0 -1 4202560 6264 0 0 0 137 4 0 0 20 0 15 0 38584758 10917003264 63363 33554432000 4194304 4196468 140728145830352 139887887963864 139887509158958 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28475] ppid=28469 vsize=10661136 memory=-6951259422114956437 CPUtime=0.05 cores=1,3,5,7
/proc/28472/task/28475/stat : 28475 (java) S 28469 28472 25824 0 -1 1077944384 105 0 0 0 4 1 0 0 20 0 15 0 38584758 10917003264 63363 33554432000 4194304 4196468 140728145830352 139887825738896 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28476] ppid=28469 vsize=10661136 memory=-6509546260019855295 CPUtime=0.03 cores=1,3,5,7
/proc/28472/task/28476/stat : 28476 (java) S 28469 28472 25824 0 -1 1077944384 78 0 0 0 3 0 0 0 20 0 15 0 38584758 10917003264 63363 33554432000 4194304 4196468 140728145830352 139887824686096 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28477] ppid=28469 vsize=10661136 memory=-7390251449858225344 CPUtime=0.05 cores=1,3,5,7
/proc/28472/task/28477/stat : 28477 (java) S 28469 28472 25824 0 -1 1077944384 98 0 0 0 4 1 0 0 20 0 15 0 38584758 10917003264 63363 33554432000 4194304 4196468 140728145830352 139887488326544 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28478] ppid=28469 vsize=10661136 memory=-7096649868621430206 CPUtime=0.04 cores=1,3,5,7
/proc/28472/task/28478/stat : 28478 (java) S 28469 28472 25824 0 -1 1077944384 99 0 0 0 3 1 0 0 20 0 15 0 38584758 10917003264 63363 33554432000 4194304 4196468 140728145830352 139887487273744 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28479] ppid=28469 vsize=10661136 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28479/stat : 28479 (java) S 28469 28472 25824 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 38584760 10917003264 63363 33554432000 4194304 4196468 140728145830352 139887443372400 139887883745922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0

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

/proc/28472/task/28479/stat : 28479 (java) S 28469 28472 25824 0 -1 1077944384 2738 0 0 0 3 3 0 0 20 0 16 0 38584760 10985164800 277791 33554432000 4194304 4196468 140728145830352 139887443372400 139887883745922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28480] ppid=28469 vsize=10727700 memory=1066108 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28480/stat : 28480 (java) S 28469 28472 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 38584760 10985164800 277791 33554432000 4194304 4196468 140728145830352 139887442318432 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28481] ppid=28469 vsize=10727700 memory=1109116 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28481/stat : 28481 (java) S 28469 28472 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38584760 10985164800 277791 33554432000 4194304 4196468 140728145830352 139887441265536 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28482] ppid=28469 vsize=10727700 memory=1109116 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28482/stat : 28482 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38584763 10985164800 277791 33554432000 4194304 4196468 140728145830352 139887440213840 139887883753371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28483] ppid=28469 vsize=10727700 memory=1107068 CPUtime=2.37 cores=1,3,5,7
/proc/28472/task/28483/stat : 28483 (java) S 28469 28472 25824 0 -1 1077944384 11096 0 0 0 236 1 0 0 20 0 16 0 38584763 10985164800 277791 33554432000 4194304 4196468 140728145830352 139887439162224 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28484] ppid=28469 vsize=10727700 memory=4140 CPUtime=2.51 cores=1,3,5,7
/proc/28472/task/28484/stat : 28484 (java) S 28469 28472 25824 0 -1 1077944384 13780 0 0 0 250 1 0 0 20 0 16 0 38584763 10985164800 277791 33554432000 4194304 4196468 140728145830352 139887438109424 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28485] ppid=28469 vsize=10727700 memory=1111164 CPUtime=0.79 cores=1,3,5,7
/proc/28472/task/28485/stat : 28485 (java) S 28469 28472 25824 0 -1 1077944384 6560 0 0 0 78 1 0 0 20 0 16 0 38584763 10985164800 277791 33554432000 4194304 4196468 140728145830352 139887437056624 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28486] ppid=28469 vsize=10727700 memory=140720308488474 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28486/stat : 28486 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38584763 10985164800 277791 33554432000 4194304 4196468 140728145830352 139887436004064 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28487] ppid=28469 vsize=10727700 memory=1111164 CPUtime=1.12 cores=1,3,5,7
/proc/28472/task/28487/stat : 28487 (java) S 28469 28472 25824 0 -1 1077944384 1709 0 0 0 50 62 0 0 20 0 16 0 38584763 10985164800 277791 33554432000 4194304 4196468 140728145830352 139887434951344 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28488] ppid=28469 vsize=10727700 memory=1960 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28488/stat : 28488 (java) S 28469 28472 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38584920 10985164800 277791 33554432000 4194304 4196468 140728145830352 139887431799728 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
Current children cumulated CPU time: 2330.49 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1111164 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.10 2.20 3/217 28690
/proc/meminfo: memFree=15723148/32770624 swapFree=67108860/67108860
[pid=28472] ppid=28469 vsize=10727700 memory=1162392 CPUtime=2390.52 cores=1,3,5,7
/proc/28472/stat : 28472 (java) S 28469 28472 25824 0 -1 1077944320 71091 0 0 0 238940 112 0 0 20 0 16 0 38584757 10985164800 290598 33554432000 4194304 4196468 140728145830352 140728145812896 139887883734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
/proc/28472/statm: 2681925 290598 3170 1 0 2644416 0
[pid=28472/tid=28474] ppid=28469 vsize=10727700 memory=1160344 CPUtime=2382.16 cores=1,3,5,7
/proc/28472/task/28474/stat : 28474 (java) R 28469 28472 25824 0 -1 4202560 28857 0 0 0 238202 14 0 0 20 0 16 0 38584758 10985164800 290598 33554432000 4194304 4196468 140728145830352 139887887972760 139887511515103 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28475] ppid=28469 vsize=10727700 memory=1160344 CPUtime=0.35 cores=1,3,5,7
/proc/28472/task/28475/stat : 28475 (java) S 28469 28472 25824 0 -1 1077944384 799 0 0 0 26 9 0 0 20 0 16 0 38584758 10985164800 290598 33554432000 4194304 4196468 140728145830352 139887825738896 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28476] ppid=28469 vsize=10727700 memory=1160344 CPUtime=0.33 cores=1,3,5,7
/proc/28472/task/28476/stat : 28476 (java) S 28469 28472 25824 0 -1 1077944384 634 0 0 0 24 9 0 0 20 0 16 0 38584758 10985164800 290598 33554432000 4194304 4196468 140728145830352 139887824686096 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28477] ppid=28469 vsize=10727700 memory=1152152 CPUtime=0.35 cores=1,3,5,7
/proc/28472/task/28477/stat : 28477 (java) S 28469 28472 25824 0 -1 1077944384 1675 0 0 0 25 10 0 0 20 0 16 0 38584758 10985164800 290598 33554432000 4194304 4196468 140728145830352 139887488326544 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28478] ppid=28469 vsize=10727700 memory=1143960 CPUtime=0.35 cores=1,3,5,7
/proc/28472/task/28478/stat : 28478 (java) S 28469 28472 25824 0 -1 1077944384 1755 0 0 0 25 10 0 0 20 0 16 0 38584758 10985164800 290598 33554432000 4194304 4196468 140728145830352 139887487273744 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28479] ppid=28469 vsize=10727700 memory=1150104 CPUtime=0.06 cores=1,3,5,7
/proc/28472/task/28479/stat : 28479 (java) S 28469 28472 25824 0 -1 1077944384 2740 0 0 0 3 3 0 0 20 0 16 0 38584760 10985164800 290598 33554432000 4194304 4196468 140728145830352 139887443372400 139887883745922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28480] ppid=28469 vsize=10727700 memory=1152152 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28480/stat : 28480 (java) S 28469 28472 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 38584760 10985164800 290598 33554432000 4194304 4196468 140728145830352 139887442318432 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28481] ppid=28469 vsize=10727700 memory=1160344 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28481/stat : 28481 (java) S 28469 28472 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38584760 10985164800 290598 33554432000 4194304 4196468 140728145830352 139887441265536 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28482] ppid=28469 vsize=10727700 memory=1156248 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28482/stat : 28482 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38584763 10985164800 290598 33554432000 4194304 4196468 140728145830352 139887440213840 139887883753371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28483] ppid=28469 vsize=10727700 memory=1162392 CPUtime=2.37 cores=1,3,5,7
/proc/28472/task/28483/stat : 28483 (java) S 28469 28472 25824 0 -1 1077944384 11098 0 0 0 236 1 0 0 20 0 16 0 38584763 10985164800 290598 33554432000 4194304 4196468 140728145830352 139887439162224 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28484] ppid=28469 vsize=10727700 memory=1162392 CPUtime=2.51 cores=1,3,5,7
/proc/28472/task/28484/stat : 28484 (java) S 28469 28472 25824 0 -1 1077944384 13782 0 0 0 250 1 0 0 20 0 16 0 38584763 10985164800 290598 33554432000 4194304 4196468 140728145830352 139887438109424 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28485] ppid=28469 vsize=10727700 memory=56 CPUtime=0.79 cores=1,3,5,7
/proc/28472/task/28485/stat : 28485 (java) S 28469 28472 25824 0 -1 1077944384 6632 0 0 0 78 1 0 0 20 0 16 0 38584763 10985164800 290598 33554432000 4194304 4196468 140728145830352 139887437056624 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28486] ppid=28469 vsize=10727700 memory=1160344 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28486/stat : 28486 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38584763 10985164800 290598 33554432000 4194304 4196468 140728145830352 139887436004064 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28487] ppid=28469 vsize=10727700 memory=4140 CPUtime=1.15 cores=1,3,5,7
/proc/28472/task/28487/stat : 28487 (java) S 28469 28472 25824 0 -1 1077944384 1738 0 0 0 52 63 0 0 20 0 16 0 38584763 10985164800 290598 33554432000 4194304 4196468 140728145830352 139887434951344 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28488] ppid=28469 vsize=10727700 memory=13872 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28488/stat : 28488 (java) S 28469 28472 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38584920 10985164800 290598 33554432000 4194304 4196468 140728145830352 139887431799728 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
Current children cumulated CPU time: 2390.52 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1162392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2391.8 s]
/proc/loadavg: 2.02 2.10 2.20 3/217 28690
/proc/meminfo: memFree=15702992/32770624 swapFree=67108860/67108860
[pid=28472] ppid=28469 vsize=10727700 memory=1182888 CPUtime=2400.04 cores=1,3,5,7
/proc/28472/stat : 28472 (java) S 28469 28472 25824 0 -1 1077944320 71344 0 0 0 239891 113 0 0 20 0 16 0 38584757 10985164800 295722 33554432000 4194304 4196468 140728145830352 140728145812896 139887883734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
/proc/28472/statm: 2681925 295722 3170 1 0 2644416 0
[pid=28472/tid=28474] ppid=28469 vsize=10727700 memory=8098718316137570926 CPUtime=2391.66 cores=1,3,5,7
/proc/28472/task/28474/stat : 28474 (java) R 28469 28472 25824 0 -1 4202560 28995 0 0 0 239152 14 0 0 20 0 16 0 38584758 10985164800 295722 33554432000 4194304 4196468 140728145830352 139887887971544 139887512401768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28475] ppid=28469 vsize=10727700 memory=7669740586442773602 CPUtime=0.35 cores=1,3,5,7
/proc/28472/task/28475/stat : 28475 (java) S 28469 28472 25824 0 -1 1077944384 799 0 0 0 26 9 0 0 20 0 16 0 38584758 10985164800 295722 33554432000 4194304 4196468 140728145830352 139887825738896 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28476] ppid=28469 vsize=10727700 memory=6080543854496474983 CPUtime=0.33 cores=1,3,5,7
/proc/28472/task/28476/stat : 28476 (java) S 28469 28472 25824 0 -1 1077944384 634 0 0 0 24 9 0 0 20 0 16 0 38584758 10985164800 295722 33554432000 4194304 4196468 140728145830352 139887824686096 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28477] ppid=28469 vsize=10727700 memory=6080543854496474983 CPUtime=0.35 cores=1,3,5,7
/proc/28472/task/28477/stat : 28477 (java) S 28469 28472 25824 0 -1 1077944384 1675 0 0 0 25 10 0 0 20 0 16 0 38584758 10985164800 295722 33554432000 4194304 4196468 140728145830352 139887488326544 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28478] ppid=28469 vsize=10727700 memory=7372766846718273650 CPUtime=0.35 cores=1,3,5,7
/proc/28472/task/28478/stat : 28478 (java) S 28469 28472 25824 0 -1 1077944384 1755 0 0 0 25 10 0 0 20 0 16 0 38584758 10985164800 295722 33554432000 4194304 4196468 140728145830352 139887487273744 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28479] ppid=28469 vsize=10727700 memory=7669740586442773602 CPUtime=0.06 cores=1,3,5,7
/proc/28472/task/28479/stat : 28479 (java) S 28469 28472 25824 0 -1 1077944384 2740 0 0 0 3 3 0 0 20 0 16 0 38584760 10985164800 295722 33554432000 4194304 4196468 140728145830352 139887443372400 139887883745922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28480] ppid=28469 vsize=10727700 memory=5860417241503789671 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28480/stat : 28480 (java) S 28469 28472 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 38584760 10985164800 295722 33554432000 4194304 4196468 140728145830352 139887442318432 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28481] ppid=28469 vsize=10727700 memory=8098718316137570926 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28481/stat : 28481 (java) S 28469 28472 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38584760 10985164800 295722 33554432000 4194304 4196468 140728145830352 139887441265536 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28482] ppid=28469 vsize=10727700 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28482/stat : 28482 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38584763 10985164800 295722 33554432000 4194304 4196468 140728145830352 139887440213840 139887883753371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28483] ppid=28469 vsize=10727700 memory=928 CPUtime=2.37 cores=1,3,5,7
/proc/28472/task/28483/stat : 28483 (java) S 28469 28472 25824 0 -1 1077944384 11098 0 0 0 236 1 0 0 20 0 16 0 38584763 10985164800 295722 33554432000 4194304 4196468 140728145830352 139887439162224 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28484] ppid=28469 vsize=10727700 memory=1580 CPUtime=2.51 cores=1,3,5,7
/proc/28472/task/28484/stat : 28484 (java) S 28469 28472 25824 0 -1 1077944384 13840 0 0 0 250 1 0 0 20 0 16 0 38584763 10985164800 295722 33554432000 4194304 4196468 140728145830352 139887438109424 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28485] ppid=28469 vsize=10727700 memory=2244 CPUtime=0.79 cores=1,3,5,7
/proc/28472/task/28485/stat : 28485 (java) S 28469 28472 25824 0 -1 1077944384 6687 0 0 0 78 1 0 0 20 0 16 0 38584763 10985164800 295722 33554432000 4194304 4196468 140728145830352 139887437056624 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28486] ppid=28469 vsize=10727700 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28486/stat : 28486 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38584763 10985164800 295722 33554432000 4194304 4196468 140728145830352 139887436004064 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28487] ppid=28469 vsize=10727700 memory=2204 CPUtime=1.16 cores=1,3,5,7
/proc/28472/task/28487/stat : 28487 (java) S 28469 28472 25824 0 -1 1077944384 1740 0 0 0 52 64 0 0 20 0 16 0 38584763 10985164800 295722 33554432000 4194304 4196468 140728145830352 139887434951344 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28488] ppid=28469 vsize=10727700 memory=7532 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28488/stat : 28488 (java) S 28469 28472 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38584920 10985164800 295722 33554432000 4194304 4196468 140728145830352 139887431799728 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1182888 KiB

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

[startup+2392.03 s]
# the end of solver process 28472 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.04 s, system=1.1403 s

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

[startup+2392 s]*
/proc/loadavg: 2.02 2.10 2.20 2/218 28693
/proc/meminfo: memFree=15694672/32770624 swapFree=67108860/67108860
[pid=28472] ppid=28469 vsize=10927392 memory=1192540 CPUtime=2400.16 cores=1,3,5,7
/proc/28472/stat : 28472 (java) S 28469 28472 25824 0 -1 1077944320 71661 0 0 0 239903 113 0 0 20 0 17 0 38584757 11189649408 298135 33554432000 4194304 4196468 140728145830352 140728145812896 139887883734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
/proc/28472/statm: 2731848 298135 3173 1 0 2694339 0
[pid=28472/tid=28474] ppid=28469 vsize=10927392 memory=6791534058613427641 CPUtime=2391.75 cores=1,3,5,7
/proc/28472/task/28474/stat : 28474 (java) S 28469 28472 25824 0 -1 1077944384 29055 0 0 0 239161 14 0 0 20 0 17 0 38584758 11189649408 298135 33554432000 4194304 4196468 140728145830352 139887887977648 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28475] ppid=28469 vsize=10927392 memory=4126316290023845779 CPUtime=0.35 cores=1,3,5,7
/proc/28472/task/28475/stat : 28475 (java) S 28469 28472 25824 0 -1 1077944384 799 0 0 0 26 9 0 0 20 0 17 0 38584758 11189649408 298159 33554432000 4194304 4196468 140728145830352 139887825738896 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28476] ppid=28469 vsize=10927392 memory=4681976 CPUtime=0.33 cores=1,3,5,7
/proc/28472/task/28476/stat : 28476 (java) S 28469 28472 25824 0 -1 1077944384 634 0 0 0 24 9 0 0 20 0 17 0 38584758 11189649408 298159 33554432000 4194304 4196468 140728145830352 139887824686096 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28477] ppid=28469 vsize=10927392 memory=6791534058613427641 CPUtime=0.35 cores=1,3,5,7
/proc/28472/task/28477/stat : 28477 (java) S 28469 28472 25824 0 -1 1077944384 1675 0 0 0 25 10 0 0 20 0 17 0 38584758 11189649408 298159 33554432000 4194304 4196468 140728145830352 139887488326544 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28478] ppid=28469 vsize=10927392 memory=4126316290023845779 CPUtime=0.35 cores=1,3,5,7
/proc/28472/task/28478/stat : 28478 (java) S 28469 28472 25824 0 -1 1077944384 1755 0 0 0 25 10 0 0 20 0 17 0 38584758 11189649408 298159 33554432000 4194304 4196468 140728145830352 139887487273744 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28479] ppid=28469 vsize=10927392 memory=1792 CPUtime=0.06 cores=1,3,5,7
/proc/28472/task/28479/stat : 28479 (java) S 28469 28472 25824 0 -1 1077944384 2740 0 0 0 3 3 0 0 20 0 17 0 38584760 11189649408 298159 33554432000 4194304 4196468 140728145830352 139887443372400 139887883745922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28480] ppid=28469 vsize=10927392 memory=960 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28480/stat : 28480 (java) S 28469 28472 25824 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 38584760 11189649408 298159 33554432000 4194304 4196468 140728145830352 139887442318432 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28481] ppid=28469 vsize=10927392 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28481/stat : 28481 (java) S 28469 28472 25824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 38584760 11189649408 298159 33554432000 4194304 4196468 140728145830352 139887441265536 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28482] ppid=28469 vsize=10927392 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28482/stat : 28482 (java) S 28469 28472 25824 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 17 0 38584763 11189649408 298159 33554432000 4194304 4196468 140728145830352 139887440213840 139887883753371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28483] ppid=28469 vsize=10927392 memory=928 CPUtime=2.37 cores=1,3,5,7
/proc/28472/task/28483/stat : 28483 (java) R 28469 28472 25824 0 -1 4202560 11116 0 0 0 236 1 0 0 20 0 17 0 38584763 11189649408 298159 33554432000 4194304 4196468 140728145830352 139887439151488 139887863068832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28484] ppid=28469 vsize=10927392 memory=1580 CPUtime=2.53 cores=1,3,5,7
/proc/28472/task/28484/stat : 28484 (java) S 28469 28472 25824 0 -1 1077944384 13847 0 0 0 252 1 0 0 20 0 17 0 38584763 11189649408 298159 33554432000 4194304 4196468 140728145830352 139887438109424 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28485] ppid=28469 vsize=10927392 memory=2244 CPUtime=0.8 cores=1,3,5,7
/proc/28472/task/28485/stat : 28485 (java) S 28469 28472 25824 0 -1 1077944384 6695 0 0 0 79 1 0 0 20 0 17 0 38584763 11189649408 298159 33554432000 4194304 4196468 140728145830352 139887437056624 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28486] ppid=28469 vsize=10927392 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28486/stat : 28486 (java) S 28469 28472 25824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38584763 11189649408 298159 33554432000 4194304 4196468 140728145830352 139887436004064 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28487] ppid=28469 vsize=10927392 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/28472/task/28487/stat : 28487 (java) S 28469 28472 25824 0 -1 1077944384 1740 0 0 0 52 64 0 0 20 0 17 0 38584763 11189649408 298159 33554432000 4194304 4196468 140728145830352 139887434951344 139887883745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28691] ppid=28469 vsize=10927392 memory=7373626698986447724 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28691/stat : 28691 (java) S 28469 28472 25824 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 17 0 38823938 11189649408 298159 33554432000 4194304 4196468 140728145830352 139887430746224 139887883744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
[pid=28472/tid=28692] ppid=28469 vsize=10927392 memory=7883077620629138280 CPUtime=0 cores=1,3,5,7
/proc/28472/task/28692/stat : 28692 (java) R 28469 28472 25824 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 17 0 38823938 11189649408 298159 33554432000 4194304 4196468 140728145830352 139887429694352 139887883746710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15949824 140728145835121 140728145835273 140728145835273 140728145838031 0
Current children cumulated CPU time: 2400.16 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1192540 KiB

Child status: 143
Real time (s): 2392.03
CPU time (s): 2400.19
CPU user time (s): 2399.04
CPU system time (s): 1.1403
CPU usage (%): 100.341
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 1192540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.04
system time used= 1.1403
maximum resident set size= 1192964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71784
page faults= 0
swaps= 0
block input operations= 832
block output operations= 1792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54295
involuntary context switches= 1080


# summary of solver processes directly reported to runsolver:
#   pid: 28472
#   total CPU time (s): 2400.19
#   total CPU user time (s): 2399.04
#   total CPU system time (s): 1.1403

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7991 second user time and 26.3526 second system time

The end

Name	NurseRostering/ NurseRostering-06_c18.xml
MD5SUM	9a3bf89ae74321e3cfb193774a0c0983
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	4362
Best CPU time to get the best result obtained on this benchmark	2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables	1007
Number of constraints	2471
Number of domains	12
Minimum domain size	1
Maximum domain size	29
Distribution of domain sizes	[{"size":1,"count":42},{"size":2,"count":207},{"size":4,"count":504},{"size":19,"count":196},{"size":29,"count":58}]
Minimum variable degree	2
Maximum variable degree	25
Distribution of variable degrees	[{"degree":2,"count":431},{"degree":3,"count":72},{"degree":12,"count":3},{"degree":13,"count":12},{"degree":14,"count":16},{"degree":15,"count":8},{"degree":16,"count":11},{"degree":17,"count":26},{"degree":18,"count":25},{"degree":19,"count":30},{"degree":20,"count":53},{"degree":21,"count":120},{"degree":22,"count":93},{"degree":23,"count":59},{"degree":24,"count":36},{"degree":25,"count":12}]
Minimum constraint arity	2
Maximum constraint arity	36
Distribution of constraint arities	[{"arity":2,"count":988},{"arity":3,"count":728},{"arity":4,"count":161},{"arity":6,"count":299},{"arity":7,"count":110},{"arity":19,"count":112},{"arity":29,"count":72},{"arity":36,"count":1}]
Number of extensional constraints	598
Number of intensional constraints	309
Distribution of constraint types	[{"type":"extension","count":598},{"type":"intension","count":309},{"type":"regular","count":934},{"type":"sum","count":36},{"type":"count","count":593},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4289912

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data