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)	6970	2400.3	2391.93

5.20/1.76	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
5.20/1.76	c This is free software under the dual EPL/GNU LGPL licenses.
5.20/1.76	c See www.sat4j.org for details.
5.20/1.76	c That software uses the Rhino library from the Mozilla project.
5.20/1.76	c version 2.3.6-SNAPSHOT
5.20/1.76	c java.runtime.name	Java(TM) SE Runtime Environment
5.20/1.76	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
5.20/1.76	c java.vm.version	25.131-b11
5.20/1.76	c java.vm.vendor	Oracle Corporation
5.20/1.76	c sun.arch.data.model	64
5.20/1.76	c java.version		1.8.0_131
5.20/1.76	c os.name		Linux
5.20/1.76	c os.version		3.10.0-514.16.1.el7.x86_64
5.20/1.76	c os.arch		amd64
5.20/1.76	c Free memory 		499604488
5.20/1.76	c Max memory 		7247757312
5.20/1.76	c Total memory 		504889344
5.20/1.76	c Number of processors 	4
5.20/1.76	c c --- Begin Solver configuration ---
5.20/1.76	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
5.20/1.76	c Learn all clauses as in MiniSAT
5.20/1.76	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
5.20/1.76	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
5.20/1.76	c No reason simplification
5.20/1.76	c Glucose 2.1 dynamic restart strategy
5.20/1.76	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
5.20/1.76	c timeout=2147483s
5.20/1.76	c DB Simplification allowed=false
5.20/1.76	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
5.20/1.76	c --- End Solver configuration ---
5.20/1.76	c constraints type 
5.20/1.76	c org.sat4j.minisat.constraints.card.MinWatchCard => 2144
5.20/1.76	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 240810
5.20/1.76	c org.sat4j.minisat.constraints.cnf.UnitClauses => 40
5.20/1.76	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 279506
5.20/1.76	c org.sat4j.specs.Constr$1 => 41523
5.20/1.76	c org.sat4j.minisat.constraints.cnf.UnitClause => 25807
5.20/1.76	c 589830 constraints processed.
62.48/57.17	o 9778
86.89/81.05	o 8859
199.82/193.67	o 8644
296.61/290.24	o 8569
376.84/370.32	o 8498
733.67/726.76	o 8496
796.49/789.52	o 8430
879.23/872.26	o 8393
897.36/890.37	o 8383
945.19/938.17	o 8282
989.50/982.43	o 8237
1044.24/1037.11	o 8191
1123.87/1116.73	o 8089
1230.38/1222.95	o 8001
1258.10/1250.62	o 7936
1364.67/1357.14	o 7928
1395.98/1388.43	o 7926
1408.48/1400.96	o 7907
1438.01/1430.46	o 7886
1457.82/1450.27	o 7830
1494.35/1486.73	o 7798
1534.17/1526.52	o 7737
1564.60/1556.98	o 7720
1600.72/1593.04	o 7719
1706.08/1698.31	o 7674
1716.38/1708.63	o 7637
1718.48/1710.74	o 7619
1767.55/1759.58	o 7578
1768.76/1760.72	o 7446
1800.48/1792.49	o 7404
1867.32/1859.28	o 7196
1894.03/1885.98	o 7192
1915.54/1907.43	o 7181
2154.66/2146.46	o 7135
2181.78/2173.57	o 7134
2213.30/2205.01	o 7108
2266.64/2258.40	o 7037
2277.54/2269.22	o 7027
2372.59/2364.25	o 6970
2400.27/2391.90	c starts		: 24944
2400.27/2391.90	c conflicts		: 5867207
2400.27/2391.90	c decisions		: 48783066
2400.27/2391.90	c propagations		: 5622561185
2400.27/2391.90	c inspects		: 21187028978
2400.27/2391.90	c shortcuts		: 0
2400.27/2391.90	c learnt literals	: 1242
2400.27/2391.90	c learnt binary clauses	: 22753
2400.27/2391.90	c learnt ternary clauses	: 111365
2400.27/2391.90	c learnt constraints	: 5865965
2400.27/2391.90	c ignored constraints	: 0
2400.27/2391.90	c root simplifications	: 0
2400.27/2391.90	c removed literals (reason simplification)	: 0
2400.27/2391.90	c reason swapping (by a shorter reason)	: 0
2400.27/2391.90	c Calls to reduceDB	: 448
2400.27/2391.90	c Number of update (reduction) of LBD	: 2150771
2400.27/2391.90	c Imported unit clauses	: 0
2400.27/2391.90	c number of reductions to clauses (during analyze)	: 0
2400.27/2391.90	c number of learned constraints concerned by reduction	: 0
2400.27/2391.90	c number of learning phase by resolution	: 0
2400.27/2391.90	c number of learning phase by cutting planes	: 0
2400.27/2391.90	c number of rounding to 1 operations	: 0
2400.27/2391.90	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2400.27/2391.90	c number of reductions of the coefficients by power 2 	: 0
2400.27/2391.90	c number of right shift for reduction by power 2 	: 0
2400.27/2391.90	c number of reductions of the coefficients by GCD over coefficients 	: 0
2400.27/2391.90	c number of ending skipping 	: 0
2400.27/2391.90	c number of internal skipping 	: 0
2400.27/2391.90	c number of derivation steps 	: 0
2400.27/2391.90	c number of skipped derivation steps 	: 0
2400.27/2391.90	c number of remaining unassigned 	: 0
2400.27/2391.90	c number of remaining assigned 	: 0
2400.27/2391.90	c speed (assignments/second)	: 2352452.3960444923
2400.27/2391.90	c non guided choices	: 6900909
2400.27/2391.90	s SATISFIABLE
2400.27/2391.91	v <instantiation type="solution">
2400.27/2391.91	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[19][0] ps[19][1] ps[19][2] ps[19][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] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][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] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] 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] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] 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.27/2391.91	v 	<values> 0 0 3 0 3 2 0 2 0 3 1 3 2 3 0 3 3 3 3 3 0 0 3 0 0 2 0 2 0 3 1 3 2 0 0 3 1 3 3 3 0 0 0 0 0 2 0 2 0 0 1 0 3 1 0 1 1 1 3 1 0 3 0 0 0 2 0 2 1 0 1 0 3 1 0 2 3 1 3 3 1 3 1 0 1 2 3 2 1 1 3 0 3 1 1 2 3 1 0 3 3 0 3 3 1 3 3 3 3 3 3 2 0 3 3 3 0 3 0 1 3 0 3 3 3 3 3 3 3 3 3 3 2 3 3 3 1 3 3 1 1 3 3 0 3 0 0 0 3 3 2 3 2 3 3 3 3 3 3 3 1 3 0 0 0 2 0 0 3 3 2 3 2 1 1 3 3 1 3 3 3 0 1 3 0 3 3 2 0 0 3 1 2 1 1 3 3 1 3 3 3 1 1 3 1 3 3 3 1 1 3 1 3 1 3 1 0 1 0 3 0 3 1 0 2 0 0 3 3 1 3 1 3 1 3 3 3 1 2 3 1 3 3 0 3 0 0 0 3 1 0 3 3 2 3 3 3 1 3 3 1 1 3 0 3 0 0 2 3 1 1 3 1 3 1 1 3 3 3 0 1 1 3 0 3 3 3 3 0 3 2 3 1 3 1 1 0 3 0 0 3 3 1 3 3 3 3 3 1 3 2 0 1 3 1 1 0 3 0 0 3 3 1 3 3 0 0 0 3 0 2 0 1 2 1 3 3 3 3 3 1 1 3 0 0 0 0 1 3 0 3 2 1 2 1 3 3 3 3 3 1 1 3 0 0 2 0 2 1 0 3 3 1 3 3 3 1 3 2 3 1 3 0 3 0 3 0 3 1 0 3 3 3 3 3 3 3 0 2 0 3 3 2 3 1 3 3 3 1 1 0 3 3 3 3 3 3 3 2 1 3 1 3 3 2 0 3 0 1 3 0 3 3 3 0 1 3 3 3 3 1 1 3 3 3 2 0 1 1 3 0 0 1 0 0 3 3 3 3 3 1 1 1 0 3 2 0 3 3 0 0 0 1 1 0 3 3 3 3 1 1 1 2 0 1 3 0 3 3 2 1 0 1 1 0 2 0 3 3 3 1 1 2 0 1 3 3 1 0 2 3 0 1 2 0 3 3 3 3 3 3 3 2 0 3 0 3 2 0 3 3 0 3 2 0 3 3 3 3 3 3 3 2 3 3 0 3 3 0 3 3 1 3 2 3 3 3 3 3 3 5 13 0 10 6 10 0 12 4 7 5 12 17 0 0 11 8 6 2 12 9 0 9 10 16 0 0 12 5 3 9 11 8 9 0 11 8 6 2 12 5 6 5 12 10 4 2 12 1 10 6 11 2 9 6 11 10 8 0 10 0 6 3 19 5 4 0 19 1 8 0 19 5 0 4 19 4 5 0 19 6 1 3 10 8 2 3 7 10 6 2 2 8 4 3 5 3 8 3 6 4 2 1 13 1 2 1 16 4 1 2 13 5 4 3 8 4 5 2 9 2 9 0 9 4 5 2 9 5 3 1 11 4 7 1 8 5 5 1 9 4 5 1 10 5 3 2 10 5 5 2 8 4 5 3 8 6 2 1 11 1 4 2 13 4 3 1 12 5 5 1 9 6 6 1 7 5 6 3 6 4 5 3 8 5 0 3 12 2 1 2 15 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 2 2 1 3 3 3 0 1 1 0 3 3 1 0 0 1 1 1 1 1 1 3 3 3 3 1 1 1 0 0 0 1 0 1 1 2 2 2 2 3 2 0 0 0 0 3 3 3 3 3 2 2 2 2 2 3 0 0 0 3 3 3 3 3 1 1 2 2 0 2 3 3 3 3 0 0 3 3 2 2 0 2 0 0 2 2 2 1 2 2 2 2 3 3 1 1 1 2 2 2 2 3 3 3 0 1 0 0 1 2 2 0 0 2 2 2 2 3 0 2 2 3 3 0 0 0 0 2 2 2 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 3 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 2 500 0 0 4 400 2 0 6 0 0 0 4 100 2 0 0 1 1 0 0 200 200 0 300 500 100 0 0 400 0 0 1 200 1 0 1 1 0 0 0 4 200 0 200 0 1 0 1 0 100 0 200 2 100 0 0 0 0 0 0 100 100 0 2 0 0 0 1 0 0 0 0 0 0 0 0 400 100 0 500 1 0 0 200 0 0 0 1 0 300 0 2 1 200 0 0 1 0 0 0 0 1 0 3 200 1 0 300 600 0 0 </values>
2400.27/2391.91	v </instantiation>
2400.27/2391.91

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

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

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

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=32002, runsolver pid=31999

[startup+0.100131 s]*
/proc/loadavg: 0.92 1.00 1.17 4/220 32042
/proc/meminfo: memFree=27669596/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10659012 memory=30068 CPUtime=0.13 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 6599 0 0 0 11 2 0 0 20 0 15 0 38559291 10914828288 7517 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2664753 7517 2843 1 0 2627263 0
[pid=32002/tid=32004] ppid=31999 vsize=10659012 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) R 31999 32002 29334 0 -1 4202560 4420 0 0 0 8 1 0 0 20 0 15 0 38559291 10914828288 7517 33554432000 4194304 4196468 140732844883824 140573429422016 140573425212822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 7517 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10659012 memory=140642537846400 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 7517 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 7517 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 7517 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10659012 memory=140642537846400 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559294 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38559294 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572459229984 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38559294 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572458177648 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) S 31999 32002 29334 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572456073840 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) S 31999 32002 29334 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572455021040 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10659012 memory=140642537846400 CPUtime=0.02 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) R 31999 32002 29334 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 38559297 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572453968752 140573403905654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10659012 memory=140642537846400 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30068 KiB

[startup+0.210691 s]*
/proc/loadavg: 0.92 1.00 1.17 4/220 32042
/proc/meminfo: memFree=27647216/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10659012 memory=42036 CPUtime=0.32 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 8076 0 0 0 30 2 0 0 20 0 15 0 38559291 10914828288 10509 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2664753 10509 3007 1 0 2627263 0
[pid=32002/tid=32004] ppid=31999 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) R 31999 32002 29334 0 -1 4202560 4995 0 0 0 18 1 0 0 20 0 15 0 38559291 10914828288 10509 33554432000 4194304 4196468 140732844883824 140573429429648 140573409244517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10659012 memory=345 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 10509 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10659012 memory=288371018689558144 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 10509 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 10509 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 10509 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10659012 memory=140642537846400 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559294 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38559294 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572459229984 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38559294 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572458177648 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) S 31999 32002 29334 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 15 0 38559297 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572456073840 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) S 31999 32002 29334 0 -1 1077944384 488 0 0 0 2 0 0 0 20 0 15 0 38559297 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572455021040 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10659012 memory=140642537846400 CPUtime=0.07 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) R 31999 32002 29334 0 -1 4202560 746 0 0 0 7 0 0 0 20 0 15 0 38559297 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572453968752 140573417438014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10659012 memory=140642537846400 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42036 KiB

[startup+0.311584 s]*
/proc/loadavg: 0.92 1.00 1.17 7/220 32042
/proc/meminfo: memFree=27627904/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10659088 memory=52628 CPUtime=0.58 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 9828 0 0 0 54 4 0 0 20 0 15 0 38559291 10914906112 13157 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2664772 13157 3066 1 0 2627263 0
[pid=32002/tid=32004] ppid=31999 vsize=10659088 memory=93310215 CPUtime=0.29 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) R 31999 32002 29334 0 -1 4202560 5642 0 0 0 27 2 0 0 20 0 15 0 38559291 10914906112 13157 33554432000 4194304 4196468 140732844883824 140573429437280 140573021384341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10914906112 13157 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10659088 memory=140642395199439 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10914906112 13157 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10659088 memory=281284790396560 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10914906112 13157 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10659088 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10914906112 13157 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10659088 memory=281284933052736 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38559294 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10659088 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38559294 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572459229984 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10659088 memory=2110993002338116 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38559294 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572458177648 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10659088 memory=2110993002338148 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10659088 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) R 31999 32002 29334 0 -1 4202560 1026 0 0 0 6 0 0 0 20 0 15 0 38559297 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572456064280 140573408668858 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10659088 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) R 31999 32002 29334 0 -1 4202560 734 0 0 0 7 0 0 0 20 0 15 0 38559297 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572455005936 140573406731432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10659088 memory=140642537846400 CPUtime=0.13 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) R 31999 32002 29334 0 -1 1077944384 1056 0 0 0 13 0 0 0 20 0 15 0 38559297 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572453968752 140573425212034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10659088 memory=140642537846400 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559297 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 52628 KiB

[startup+0.709629 s]
/proc/loadavg: 0.92 1.00 1.17 8/220 32042
/proc/meminfo: memFree=27580660/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10661136 memory=161364 CPUtime=1.98 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 14555 0 0 0 192 6 0 0 20 0 15 0 38559291 10917003264 40341 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2665284 40341 3112 1 0 2627775 0
[pid=32002/tid=32004] ppid=31999 vsize=10661136 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) R 31999 32002 29334 0 -1 4202560 6089 0 0 0 63 4 0 0 20 0 15 0 38559291 10917003264 40341 33554432000 4194304 4196468 140732844883824 140573429432640 140573021446016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10661136 memory=3184238562471197888 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10917003264 40341 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10661136 memory=6721 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10917003264 40341 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10661136 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10917003264 40341 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10661136 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10917003264 40341 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10661136 memory=6660 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38559294 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38559294 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572459229984 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10661136 memory=278141478146153 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38559294 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572458177648 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10661136 memory=134041 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10661136 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) R 31999 32002 29334 0 -1 4202560 2085 0 0 0 43 0 0 0 20 0 15 0 38559297 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572456065792 140573410326933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10661136 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) R 31999 32002 29334 0 -1 4202560 2727 0 0 0 44 0 0 0 20 0 15 0 38559297 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572455008480 140573404639172 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10661136 memory=281284790217632 CPUtime=0.41 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) R 31999 32002 29334 0 -1 4202560 2282 0 0 0 41 0 0 0 20 0 15 0 38559297 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572453966712 140573403905627 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10661136 memory=19153 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10661136 memory=281284790190320 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559297 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 1.98 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 161364 KiB

[startup+1.50086 s]
/proc/loadavg: 0.92 1.00 1.17 8/220 32042
/proc/meminfo: memFree=27290616/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10661136 memory=256440 CPUtime=4.58 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 20529 0 0 0 445 13 0 0 20 0 15 0 38559291 10917003264 64110 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2665284 64110 3150 1 0 2627775 0
[pid=32002/tid=32004] ppid=31999 vsize=10661136 memory=281284791006752 CPUtime=1.39 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) R 31999 32002 29334 0 -1 4202560 6231 0 0 0 135 4 0 0 20 0 15 0 38559291 10917003264 64110 33554432000 4194304 4196468 140732844883824 140573429434384 140573425222234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10661136 memory=278073362676232 CPUtime=0.05 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 118 0 0 0 4 1 0 0 20 0 15 0 38559292 10917003264 64110 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10661136 memory=6721 CPUtime=0.01 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 38559292 10917003264 64110 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10661136 memory=4420 CPUtime=0.02 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 15 0 38559292 10917003264 64110 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10661136 memory=6628 CPUtime=0.05 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 160 0 0 0 4 1 0 0 20 0 15 0 38559292 10917003264 64110 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10661136 memory=6660 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 38559294 10917003264 64110 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0

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

/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 747 0 0 0 22 10 0 0 20 0 16 0 38559292 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10727700 memory=281284791101168 CPUtime=0.34 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1554 0 0 0 24 10 0 0 20 0 16 0 38559292 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.35 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 965 0 0 0 24 11 0 0 20 0 16 0 38559292 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10727700 memory=12425340389697 CPUtime=0.06 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 2209 0 0 0 3 3 0 0 20 0 16 0 38559294 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10727700 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 38559294 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572459230048 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10727700 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38559294 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572458177664 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10727700 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10727700 memory=919016 CPUtime=2.77 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) S 31999 32002 29334 0 -1 1077944384 13415 0 2 0 275 2 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572456073840 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10727700 memory=919016 CPUtime=2.6 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) S 31999 32002 29334 0 -1 1077944384 12254 0 0 0 258 2 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572455021040 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.8 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) S 31999 32002 29334 0 -1 1077944384 9127 0 0 0 77 3 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572453968752 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10727700 memory=928 CPUtime=1.21 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1846 0 0 0 58 63 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32043] ppid=31999 vsize=10727700 memory=281284791368320 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32043/stat : 32043 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38559473 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572448711344 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 2390.69 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 919016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2391.7 s]
/proc/loadavg: 2.00 2.01 1.94 3/220 32243
/proc/meminfo: memFree=25659292/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10727700 memory=919016 CPUtime=2400.09 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 72201 0 2 0 239896 113 0 0 20 0 16 0 38559291 10985164800 229754 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2681925 229754 3171 1 0 2644416 0
[pid=32002/tid=32004] ppid=31999 vsize=10727700 memory=919016 CPUtime=2391.19 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) R 31999 32002 29334 0 -1 4202560 26916 0 0 0 239108 11 0 0 20 0 16 0 38559291 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573429432464 140573028435972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.36 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 1787 0 0 0 25 11 0 0 20 0 16 0 38559292 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.32 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 747 0 0 0 22 10 0 0 20 0 16 0 38559292 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.34 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1554 0 0 0 24 10 0 0 20 0 16 0 38559292 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.35 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 965 0 0 0 24 11 0 0 20 0 16 0 38559292 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.06 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 2209 0 0 0 3 3 0 0 20 0 16 0 38559294 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10727700 memory=281284791101168 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 38559294 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572459230048 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10727700 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38559294 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572458177664 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10727700 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10727700 memory=56 CPUtime=2.77 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) S 31999 32002 29334 0 -1 1077944384 13415 0 2 0 275 2 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572456073840 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10727700 memory=15872 CPUtime=2.6 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) S 31999 32002 29334 0 -1 1077944384 12254 0 0 0 258 2 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572455021040 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.8 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) S 31999 32002 29334 0 -1 1077944384 9127 0 0 0 77 3 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572453968752 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10727700 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10727700 memory=13880 CPUtime=1.22 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1846 0 0 0 58 64 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32043] ppid=31999 vsize=10727700 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32043/stat : 32043 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38559473 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572448711344 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 919016 KiB

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

[startup+2391.93 s]
# the end of solver process 32002 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.15 s, system=1.14716 s

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

[startup+2391.81 s]
/proc/loadavg: 2.00 2.01 1.94 3/220 32243
/proc/meminfo: memFree=25659292/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10927392 memory=923336 CPUtime=2400.24 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 72730 0 2 0 239910 114 0 0 20 0 17 0 38559291 11189649408 230834 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2731848 230834 3173 1 0 2694339 0
[pid=32002/tid=32004] ppid=31999 vsize=10927392 memory=6791534058613427641 CPUtime=2391.29 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) R 31999 32002 29334 0 -1 4202560 26971 0 0 0 239118 11 0 0 20 0 17 0 38559291 11189649408 230834 33554432000 4194304 4196468 140732844883824 140573429439792 140573023108106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10927392 memory=1236 CPUtime=0.36 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 1787 0 0 0 25 11 0 0 20 0 17 0 38559292 11189649408 230834 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10927392 memory=8556 CPUtime=0.32 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 747 0 0 0 22 10 0 0 20 0 17 0 38559292 11189649408 230834 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10927392 memory=4052 CPUtime=0.34 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1554 0 0 0 24 10 0 0 20 0 17 0 38559292 11189649408 230834 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10927392 memory=644 CPUtime=0.35 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 965 0 0 0 24 11 0 0 20 0 17 0 38559292 11189649408 230834 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10927392 memory=1800 CPUtime=0.06 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 2209 0 0 0 3 3 0 0 20 0 17 0 38559294 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10927392 memory=956 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 38559294 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572459230048 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10927392 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 38559294 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572458177664 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10927392 memory=928 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 17 0 38559297 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10927392 memory=1568 CPUtime=2.77 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) S 31999 32002 29334 0 -1 1077944384 13446 0 2 0 275 2 0 0 20 0 17 0 38559297 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572456073840 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10927392 memory=2240 CPUtime=2.62 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) S 31999 32002 29334 0 -1 1077944384 12330 0 0 0 260 2 0 0 20 0 17 0 38559297 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572455021040 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10927392 memory=4124 CPUtime=0.81 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) S 31999 32002 29334 0 -1 1077944384 9229 0 0 0 78 3 0 0 20 0 17 0 38559297 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572453968752 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10927392 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38559297 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10927392 memory=7636 CPUtime=1.22 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1846 0 0 0 58 64 0 0 20 0 17 0 38559297 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 2400.24 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 923336 KiB

[startup+2391.9 s]
/proc/loadavg: 2.00 2.01 1.94 3/220 32243
/proc/meminfo: memFree=25659292/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10927392 memory=925400 CPUtime=2400.27 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 72752 0 2 0 239913 114 0 0 20 0 17 0 38559291 11189649408 231350 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2731848 231350 3173 1 0 2694339 0
[pid=32002/tid=32004] ppid=31999 vsize=10927392 memory=919016 CPUtime=2391.3 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) S 31999 32002 29334 0 -1 1077944384 26976 0 0 0 239119 11 0 0 20 0 17 0 38559291 11189649408 231350 33554432000 4194304 4196468 140732844883824 140573429443760 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10927392 memory=919016 CPUtime=0.36 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 1787 0 0 0 25 11 0 0 20 0 17 0 38559292 11189649408 231350 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10927392 memory=281284791101168 CPUtime=0.32 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 747 0 0 0 22 10 0 0 20 0 17 0 38559292 11189649408 231350 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10927392 memory=919016 CPUtime=0.34 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1554 0 0 0 24 10 0 0 20 0 17 0 38559292 11189649408 231350 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10927392 memory=919016 CPUtime=0.35 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 965 0 0 0 24 11 0 0 20 0 17 0 38559292 11189649408 231350 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10927392 memory=919016 CPUtime=0.06 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 2224 0 0 0 3 3 0 0 20 0 17 0 38559294 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10927392 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 38559294 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572459230048 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10927392 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 38559294 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572458177664 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10927392 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 17 0 38559297 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10927392 memory=56 CPUtime=2.8 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) S 31999 32002 29334 0 -1 1077944384 13448 0 2 0 278 2 0 0 20 0 17 0 38559297 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572456073840 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10927392 memory=919016 CPUtime=2.62 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) S 31999 32002 29334 0 -1 1077944384 12330 0 0 0 260 2 0 0 20 0 17 0 38559297 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572455021040 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10927392 memory=15872 CPUtime=0.81 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) S 31999 32002 29334 0 -1 1077944384 9229 0 0 0 78 3 0 0 20 0 17 0 38559297 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572453968752 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10927392 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38559297 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10927392 memory=919016 CPUtime=1.22 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1846 0 0 0 58 64 0 0 20 0 17 0 38559297 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 2400.27 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 925400 KiB

Child status: 143
Real time (s): 2391.93
CPU time (s): 2400.3
CPU user time (s): 2399.15
CPU system time (s): 1.14716
CPU usage (%): 100.35
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 925400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.15
system time used= 1.14716
maximum resident set size= 927764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72911
page faults= 2
swaps= 0
block input operations= 1136
block output operations= 1824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54444
involuntary context switches= 1728


# summary of solver processes directly reported to runsolver:
#   pid: 32002
#   total CPU time (s): 2400.3
#   total CPU user time (s): 2399.15
#   total CPU system time (s): 1.14716

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0331 second user time and 22.9894 second system time

The end

Name	NurseRostering/ NurseRostering-07_c18.xml
MD5SUM	39ce033b713bdbb29423ae6f53deb82d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	5606
Best CPU time to get the best result obtained on this benchmark	2520.14
Satisfiable
(Un)Satisfiability was proved
Number of variables	1112
Number of constraints	2738
Number of domains	16
Minimum domain size	1
Maximum domain size	29
Distribution of domain sizes	[{"size":1,"count":40},{"size":2,"count":248},{"size":4,"count":560},{"size":5,"count":3},{"size":10,"count":9},{"size":21,"count":196},{"size":29,"count":56}]
Minimum variable degree	2
Maximum variable degree	25
Distribution of variable degrees	[{"degree":2,"count":472},{"degree":3,"count":80},{"degree":12,"count":5},{"degree":13,"count":15},{"degree":14,"count":19},{"degree":15,"count":3},{"degree":16,"count":15},{"degree":17,"count":25},{"degree":18,"count":28},{"degree":19,"count":37},{"degree":20,"count":69},{"degree":21,"count":127},{"degree":22,"count":116},{"degree":23,"count":48},{"degree":24,"count":48},{"degree":25,"count":5}]
Minimum constraint arity	2
Maximum constraint arity	40
Distribution of constraint arities	[{"arity":2,"count":1145},{"arity":3,"count":780},{"arity":4,"count":165},{"arity":6,"count":345},{"arity":7,"count":110},{"arity":21,"count":112},{"arity":29,"count":80},{"arity":40,"count":1}]
Number of extensional constraints	652
Number of intensional constraints	358
Distribution of constraint types	[{"type":"extension","count":652},{"type":"intension","count":358},{"type":"regular","count":1040},{"type":"sum","count":40},{"type":"count","count":647},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4289913

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