2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT (TO)	5067	20015.5	2520.13

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297524-1532692391.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297524-1532692391.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
10.34/2.79	c solve instance...
16.05/3.52	o 19901 
17.23/3.71	o 19800 
17.23/3.72	o 19699 
17.23/3.73	o 19598 
17.98/3.83	o 19497 
17.98/3.83	o 19495 
17.98/3.86	o 19494 
17.98/3.88	o 19396 
17.98/3.88	o 19394 
24.93/4.72	o 19200 
30.41/5.46	o 19099 
31.94/5.69	o 12584 
59.51/9.24	o 5215 
59.51/9.24	o 5115 
59.51/9.25	o 5114 
317.28/41.63	o 5067 
20014.81/2520.08	s SATISFIABLE
20014.81/2520.08	v <instantiation>
20014.81/2520.08	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>
20014.81/2520.08	v 	<values>3 0 3 0 2 2 0 0 1 1 0 1 0 0 1 3 3 3 3 3 0 1 3 0 2 2 0 0 1 1 0 1 0 2 1 3 1 2 1 3 0 3 3 0 2 3 3 0 1 1 0 1 3 2 1 3 1 3 1 3 0 3 0 3 3 3 3 0 1 1 0 1 3 2 1 2 1 3 3 3 0 3 1 3 3 0 0 1 1 1 0 3 3 2 1 2 1 2 3 3 0 1 3 0 1 0 0 3 3 3 3 3 3 2 1 2 1 2 3 3 3 1 3 0 1 0 0 3 3 3 3 3 3 3 3 2 3 3 1 3 3 1 1 0 2 0 3 3 0 3 3 0 1 3 3 3 3 3 3 1 3 1 1 0 2 2 3 0 0 1 3 2 1 3 3 3 3 0 3 1 0 1 1 0 2 3 0 1 1 1 3 2 1 0 0 3 3 0 3 1 0 3 2 3 3 3 0 1 1 1 3 2 1 0 0 3 3 0 3 1 0 3 3 3 3 0 0 2 3 1 0 3 1 0 0 3 3 1 3 3 0 3 3 3 3 0 3 3 3 2 0 3 3 0 1 3 3 3 3 3 0 0 1 3 3 0 3 3 0 3 0 3 3 0 1 1 1 3 3 1 3 0 1 0 3 0 3 3 0 3 0 1 3 0 1 3 1 3 3 1 3 3 2 0 0 0 3 1 0 3 0 2 1 3 3 3 1 1 1 1 3 3 2 0 0 3 0 1 3 2 3 3 1 3 3 3 3 3 1 1 0 0 2 0 0 3 0 1 3 2 3 3 1 3 3 3 3 3 1 3 0 1 3 0 1 3 0 1 0 2 3 3 1 3 3 3 3 3 1 3 3 3 3 3 3 3 0 1 0 3 0 3 2 3 3 1 3 3 3 3 3 3 0 3 3 3 0 3 0 3 0 0 2 3 3 1 3 3 3 0 0 1 0 3 3 0 3 3 0 3 0 2 3 0 1 1 3 3 3 3 0 1 2 3 3 0 3 3 3 2 0 2 3 0 1 1 3 1 3 3 0 1 2 3 1 0 0 3 3 2 0 2 3 0 1 3 3 3 3 3 0 1 2 3 2 0 0 3 1 3 0 2 1 0 1 3 3 3 1 3 0 1 3 0 2 3 0 3 1 3 3 2 1 0 1 3 3 3 1 3 3 3 3 0 2 3 3 2 3 0 3 3 1 3 3 3 1 3 3 3 3 3 3 0 3 3 3 2 3 0 3 3 1 3 3 3 3 3 3 3 17 0 0 11 4 12 0 12 3 6 7 12 16 0 0 12 3 4 9 12 13 0 3 12 16 0 0 12 5 8 3 12 9 9 0 10 2 9 6 11 16 0 0 12 2 5 9 12 2 13 2 11 12 0 5 11 3 14 0 11 0 5 4 19 0 9 0 19 3 3 3 19 0 9 0 19 1 8 0 19 7 4 2 7 6 7 4 3 4 6 2 8 4 5 2 9 4 6 3 7 4 4 3 9 3 3 1 13 4 4 1 11 4 5 3 8 6 7 2 5 5 5 2 8 6 3 1 10 4 1 1 14 6 5 0 9 6 5 0 9 5 6 2 7 3 4 2 11 5 3 2 10 4 5 1 10 3 2 1 14 6 1 1 12 6 3 1 10 4 4 3 9 5 3 3 9 5 5 3 7 4 5 2 9 2 2 2 14 2 1 1 16 1 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 2 2 0 0 0 0 3 0 0 0 0 3 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 3 3 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 200 100 0 2 1 3 0 0 0 0 0 0 0 1 0 1 100 1 0 0 0 0 0 100 400 100 0 0 100 100 0 0 100 1 0 3 3 0 0 3 0 0 0 0 200 0 0 0 200 100 0 0 0 200 0 1 0 100 0 1 0 0 0 0 1 0 0 1 200 0 0 0 0 200 0 300 400 100 0 0 200 100 0 0 0 0 0 0 100 100 0 1 200 0 0 0 0 0 0 0 0 0 0 0 0 0 0 300 600 100 0 </values>
20014.81/2520.08	v </instantiation>
20014.81/2520.08	c Unexpected resolution interruption!

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297524-1532692391/watcher-4297524-1532692391 -o /tmp/evaluation-result-4297524-1532692391/solver-4297524-1532692391 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532687189-15029 --watchdog 2580 HOME/xcsp3-exec -seed 1557891979 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297524-1532692391.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15723, runsolver pid=15720
Current StackSize limit: 8192 KiB


[startup+0.100112 s]*
/proc/loadavg: 8.11 8.21 8.24 2/200 15744
/proc/meminfo: memFree=27539088/32770624 swapFree=67108496/67108860
[pid=15723] ppid=15720 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15723/stat : 15723 (xcsp3-exec) S 15720 15723 15002 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86802340 115843072 363 33554432000 4194304 5098028 140722815971744 140722815969848 140308858667644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18419712 140722815980597 140722815980800 140722815980800 140722815983562 0
/proc/15723/statm: 28282 363 305 221 0 87 0
[pid=15725] ppid=15723 vsize=26104152 memory=27276 CPUtime=0.12 cores=0-7
/proc/15725/stat : 15725 (java) S 15723 15723 15002 0 -1 1077944320 5755 0 0 0 10 2 0 0 20 0 20 0 86802340 26730651648 6819 33554432000 4194304 4196468 140726028768688 140726028751232 139847061311223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
/proc/15725/statm: 6526038 6819 2998 1 0 6488315 0
[pid=15725/tid=15726] ppid=15723 vsize=26104152 memory=8185743605838552729 CPUtime=0.09 cores=0-7
/proc/15725/task/15726/stat : 15726 (java) R 15723 15723 15002 0 -1 4202560 3761 0 0 0 8 1 0 0 20 0 20 0 86802341 26730651648 6819 33554432000 4194304 4196468 140726028768688 139847065537472 139847045354853 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15727] ppid=15723 vsize=26104152 memory=732370005399870437 CPUtime=0 cores=0-7
/proc/15725/task/15727/stat : 15727 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 6819 33554432000 4194304 4196468 140726028768688 139847022270992 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15728] ppid=15723 vsize=26104152 memory=139867062417024 CPUtime=0 cores=0-7
/proc/15725/task/15728/stat : 15728 (java) S 15723 15723 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846618626704 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15729] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15729/stat : 15729 (java) S 15723 15723 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846617573648 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15730] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15730/stat : 15730 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846616521104 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15731] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15731/stat : 15731 (java) S 15723 15723 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846615469072 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15732] ppid=15723 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15725/task/15732/stat : 15732 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846614416528 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15733] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15733/stat : 15733 (java) S 15723 15723 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846613363472 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15734] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15734/stat : 15734 (java) S 15723 15723 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846612310928 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15735] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15735/stat : 15735 (java) S 15723 15723 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86802343 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846188669168 139847061322370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15736] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15736/stat : 15736 (java) S 15723 15723 15002 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86802343 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846187615392 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15737] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15737/stat : 15737 (java) S 15723 15723 15002 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86802344 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846186562288 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15738] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15738/stat : 15738 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802346 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846185510864 139847061329819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15739] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15739/stat : 15739 (java) S 15723 15723 15002 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 86802346 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846184458992 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15740] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15740/stat : 15740 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802346 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846183406448 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15741] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15741/stat : 15741 (java) S 15723 15723 15002 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 86802346 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846182353392 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15742] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15742/stat : 15742 (java) R 15723 15723 15002 0 -1 4202560 251 0 0 0 0 0 0 0 20 0 20 0 86802346 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846181300848 139847040271511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15743] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15743/stat : 15743 (java) S 15723 15723 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86802346 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846180248032 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15744] ppid=15723 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15725/task/15744/stat : 15744 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802347 26730651648 6819 33554432000 4194304 4196468 140726028768688 139846179195568 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28728 KiB

[startup+0.210343 s]*
/proc/loadavg: 7.62 8.10 8.21 3/200 15744
/proc/meminfo: memFree=27527364/32770624 swapFree=67108496/67108860
[pid=15723] ppid=15720 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15723/stat : 15723 (xcsp3-exec) S 15720 15723 15002 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86802340 115843072 363 33554432000 4194304 5098028 140722815971744 140722815969848 140308858667644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18419712 140722815980597 140722815980800 140722815980800 140722815983562 0
/proc/15723/statm: 28282 363 305 221 0 87 0
[pid=15725] ppid=15723 vsize=26104152 memory=39712 CPUtime=0.33 cores=0-7
/proc/15725/stat : 15725 (java) S 15723 15723 15002 0 -1 1077944320 8505 0 0 0 30 3 0 0 20 0 20 0 86802340 26730651648 9928 33554432000 4194304 4196468 140726028768688 140726028751232 139847061311223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
/proc/15725/statm: 6526038 9928 3192 1 0 6488315 0
[pid=15725/tid=15726] ppid=15723 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/15725/task/15726/stat : 15726 (java) R 15723 15723 15002 0 -1 4202560 5608 0 0 0 18 1 0 0 20 0 20 0 86802341 26730651648 9928 33554432000 4194304 4196468 140726028768688 139847065545168 139847045391710 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15727] ppid=15723 vsize=26104152 memory=279734014588664 CPUtime=0 cores=0-7
/proc/15725/task/15727/stat : 15727 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 9928 33554432000 4194304 4196468 140726028768688 139847022270992 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15728] ppid=15723 vsize=26104152 memory=139867062417024 CPUtime=0 cores=0-7
/proc/15725/task/15728/stat : 15728 (java) S 15723 15723 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846618626704 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15729] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15729/stat : 15729 (java) S 15723 15723 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846617573648 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15730] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15730/stat : 15730 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846616521104 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15731] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15731/stat : 15731 (java) S 15723 15723 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846615469072 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15732] ppid=15723 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15725/task/15732/stat : 15732 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846614416528 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15733] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15733/stat : 15733 (java) S 15723 15723 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846613363472 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15734] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15734/stat : 15734 (java) S 15723 15723 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86802342 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846612310928 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15735] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15735/stat : 15735 (java) S 15723 15723 15002 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86802343 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846188669168 139847061322370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15736] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15736/stat : 15736 (java) S 15723 15723 15002 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86802343 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846187615392 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15737] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15737/stat : 15737 (java) S 15723 15723 15002 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86802344 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846186562288 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15738] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15738/stat : 15738 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802346 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846185510864 139847061329819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15739] ppid=15723 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/15725/task/15739/stat : 15739 (java) S 15723 15723 15002 0 -1 1077944384 631 0 0 0 2 0 0 0 20 0 20 0 86802346 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846184458992 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15740] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15740/stat : 15740 (java) S 15723 15723 15002 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 86802346 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846183406448 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15741] ppid=15723 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/15725/task/15741/stat : 15741 (java) S 15723 15723 15002 0 -1 1077944384 189 0 0 0 1 0 0 0 20 0 20 0 86802346 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846182353392 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15742] ppid=15723 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/15725/task/15742/stat : 15742 (java) S 15723 15723 15002 0 -1 1077944384 748 0 0 0 7 0 0 0 20 0 20 0 86802346 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846181300848 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15743] ppid=15723 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15743/stat : 15743 (java) S 15723 15723 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86802346 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846180248032 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15744] ppid=15723 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/15725/task/15744/stat : 15744 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802347 26730651648 9928 33554432000 4194304 4196468 140726028768688 139846179195568 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41164 KiB

[startup+0.309752 s]*
/proc/loadavg: 7.62 8.10 8.21 4/200 15744
/proc/meminfo: memFree=27521544/32770624 swapFree=67108496/67108860
[pid=15723] ppid=15720 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15723/stat : 15723 (xcsp3-exec) S 15720 15723 15002 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86802340 115843072 363 33554432000 4194304 5098028 140722815971744 140722815969848 140308858667644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18419712 140722815980597 140722815980800 140722815980800 140722815983562 0
/proc/15723/statm: 28282 363 305 221 0 87 0
[pid=15725] ppid=15723 vsize=26108408 memory=46520 CPUtime=0.51 cores=0-7
/proc/15725/stat : 15725 (java) S 15723 15723 15002 0 -1 1077944320 9319 0 0 0 47 4 0 0 20 0 20 0 86802340 26735009792 11630 33554432000 4194304 4196468 140726028768688 140726028751232 139847061311223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
/proc/15725/statm: 6527102 11630 3235 1 0 6488315 0
[pid=15725/tid=15726] ppid=15723 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15725/task/15726/stat : 15726 (java) R 15723 15723 15002 0 -1 4202560 6260 0 0 0 27 2 0 0 20 0 20 0 86802341 26735009792 11630 33554432000 4194304 4196468 140726028768688 139847065546336 139847045391710 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15727] ppid=15723 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15727/stat : 15727 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802342 26735009792 11630 33554432000 4194304 4196468 140726028768688 139847022270992 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15728] ppid=15723 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15728/stat : 15728 (java) S 15723 15723 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86802342 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846618626704 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15729] ppid=15723 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15729/stat : 15729 (java) S 15723 15723 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86802342 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846617573648 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15730] ppid=15723 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15730/stat : 15730 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802342 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846616521104 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15731] ppid=15723 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/15725/task/15731/stat : 15731 (java) S 15723 15723 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86802342 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846615469072 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15732] ppid=15723 vsize=26108408 memory=139866952266671 CPUtime=0 cores=0-7
/proc/15725/task/15732/stat : 15732 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802342 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846614416528 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15733] ppid=15723 vsize=26108408 memory=139866952268976 CPUtime=0 cores=0-7
/proc/15725/task/15733/stat : 15733 (java) S 15723 15723 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86802342 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846613363472 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15734] ppid=15723 vsize=26108408 memory=139866952271280 CPUtime=0 cores=0-7
/proc/15725/task/15734/stat : 15734 (java) S 15723 15723 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86802342 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846612310928 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15735] ppid=15723 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15735/stat : 15735 (java) S 15723 15723 15002 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86802343 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846188669168 139847061322370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15736] ppid=15723 vsize=26108408 memory=279733904549520 CPUtime=0 cores=0-7
/proc/15725/task/15736/stat : 15736 (java) S 15723 15723 15002 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86802343 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846187615392 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15737] ppid=15723 vsize=26108408 memory=279733904556432 CPUtime=0 cores=0-7
/proc/15725/task/15737/stat : 15737 (java) S 15723 15723 15002 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86802344 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846186562288 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15738] ppid=15723 vsize=26108408 memory=279733904497712 CPUtime=0 cores=0-7
/proc/15725/task/15738/stat : 15738 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802346 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846185510864 139847061329819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15739] ppid=15723 vsize=26108408 memory=279733904570256 CPUtime=0.02 cores=0-7
/proc/15725/task/15739/stat : 15739 (java) S 15723 15723 15002 0 -1 1077944384 631 0 0 0 2 0 0 0 20 0 20 0 86802346 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846184458992 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15740] ppid=15723 vsize=26108408 memory=279733904577168 CPUtime=0.01 cores=0-7
/proc/15725/task/15740/stat : 15740 (java) S 15723 15723 15002 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 86802346 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846183406448 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15741] ppid=15723 vsize=26108408 memory=279733904574864 CPUtime=0.03 cores=0-7
/proc/15725/task/15741/stat : 15741 (java) R 15723 15723 15002 0 -1 4202560 278 0 0 0 3 0 0 0 20 0 20 0 86802346 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846182353392 139847042839391 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15742] ppid=15723 vsize=26108408 memory=279733904591024 CPUtime=0.11 cores=0-7
/proc/15725/task/15742/stat : 15742 (java) S 15723 15723 15002 0 -1 1077944384 801 0 0 0 11 0 0 0 20 0 20 0 86802346 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846181300848 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15743] ppid=15723 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15743/stat : 15743 (java) S 15723 15723 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86802346 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846180248032 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15744] ppid=15723 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/15725/task/15744/stat : 15744 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802347 26735009792 11630 33554432000 4194304 4196468 140726028768688 139846179195568 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47972 KiB

[startup+0.700952 s]
/proc/loadavg: 7.62 8.10 8.21 4/200 15744
/proc/meminfo: memFree=27501184/32770624 swapFree=67108496/67108860
[pid=15723] ppid=15720 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15723/stat : 15723 (xcsp3-exec) S 15720 15723 15002 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86802340 115843072 363 33554432000 4194304 5098028 140722815971744 140722815969848 140308858667644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18419712 140722815980597 140722815980800 140722815980800 140722815983562 0
/proc/15723/statm: 28282 363 305 221 0 87 0
[pid=15725] ppid=15723 vsize=26110532 memory=96192 CPUtime=1.93 cores=0-7
/proc/15725/stat : 15725 (java) S 15723 15723 15002 0 -1 1077944320 15213 0 0 0 186 7 0 0 20 0 20 0 86802340 26737184768 24048 33554432000 4194304 4196468 140726028768688 140726028751232 139847061311223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
/proc/15725/statm: 6527633 24048 3356 1 0 6488827 0
[pid=15725/tid=15726] ppid=15723 vsize=26110532 memory=279733904885888 CPUtime=0.66 cores=0-7
/proc/15725/task/15726/stat : 15726 (java) R 15723 15723 15002 0 -1 4202560 7272 0 0 0 63 3 0 0 20 0 20 0 86802341 26737184768 24048 33554432000 4194304 4196468 140726028768688 139847065546512 139847045391710 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15727] ppid=15723 vsize=26110532 memory=860 CPUtime=0 cores=0-7
/proc/15725/task/15727/stat : 15727 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86802342 26737184768 24048 33554432000 4194304 4196468 140726028768688 139847022270992 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15728] ppid=15723 vsize=26110532 memory=12556 CPUtime=0 cores=0-7
/proc/15725/task/15728/stat : 15728 (java) S 15723 15723 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86802342 26737184768 24048 33554432000 4194304 4196468 140726028768688 139846618626704 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15729] ppid=15723 vsize=26110532 memory=756 CPUtime=0 cores=0-7
/proc/15725/task/15729/stat : 15729 (java) S 15723 15723 15002 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86802342 26737184768 24048 33554432000 4194304 4196468 140726028768688 139846617573648 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0

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

[pid=15725/tid=15880] ppid=15723 vsize=26779248 memory=1452 CPUtime=2375.21 cores=0-7
/proc/15725/task/15880/stat : 15880 (java) R 15723 15723 15002 0 -1 4202560 63502 0 0 0 237472 49 0 0 20 0 28 0 86806504 27421949952 976839 33554432000 4194304 4196468 140726028768688 139846159892840 139846708887781 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
Current children cumulated CPU time: 19397.2 s
Current children cumulated vsize: 26892376 KiB
Current children cumulated memory: 3908808 KiB

[startup+2502.3 s]
/proc/loadavg: 8.11 8.26 8.29 9/208 15937
/proc/meminfo: memFree=23631700/32770624 swapFree=67108496/67108860
[pid=15723] ppid=15720 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15723/stat : 15723 (xcsp3-exec) S 15720 15723 15002 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86802340 115843072 363 33554432000 4194304 5098028 140722815971744 140722815969848 140308858667644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18419712 140722815980597 140722815980800 140722815980800 140722815983562 0
/proc/15723/statm: 28282 363 305 221 0 87 0
[pid=15725] ppid=15723 vsize=26779248 memory=3927572 CPUtime=19873.7 cores=0-7
/proc/15725/stat : 15725 (java) S 15723 15723 15002 0 -1 1077944320 1154972 0 0 0 1986252 1116 0 0 20 0 28 0 86802340 27421949952 981893 33554432000 4194304 4196468 140726028768688 140726028751232 139847061311223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
/proc/15725/statm: 6694812 981893 3470 1 0 6656006 0
[pid=15725/tid=15726] ppid=15723 vsize=26779248 memory=3927572 CPUtime=2.66 cores=0-7
/proc/15725/task/15726/stat : 15726 (java) S 15723 15723 15002 0 -1 1077944384 11572 0 0 0 259 7 0 0 20 0 28 0 86802341 27421949952 981893 33554432000 4194304 4196468 140726028768688 139847065552000 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15727] ppid=15723 vsize=26779248 memory=3927572 CPUtime=11.61 cores=0-7
/proc/15725/task/15727/stat : 15727 (java) S 15723 15723 15002 0 -1 1077944384 40356 0 0 0 1123 38 0 0 20 0 28 0 86802342 27421949952 981893 33554432000 4194304 4196468 140726028768688 139847022270992 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15728] ppid=15723 vsize=26779248 memory=3927572 CPUtime=11.6 cores=0-7
/proc/15725/task/15728/stat : 15728 (java) S 15723 15723 15002 0 -1 1077944384 41242 0 0 0 1123 37 0 0 20 0 28 0 86802342 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846618626704 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15729] ppid=15723 vsize=26779248 memory=1452 CPUtime=11.61 cores=0-7
/proc/15725/task/15729/stat : 15729 (java) S 15723 15723 15002 0 -1 1077944384 41453 0 0 0 1122 39 0 0 20 0 28 0 86802342 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846617573648 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15730] ppid=15723 vsize=26779248 memory=279733907100288 CPUtime=11.58 cores=0-7
/proc/15725/task/15730/stat : 15730 (java) S 15723 15723 15002 0 -1 1077944384 42548 0 0 0 1122 36 0 0 20 0 28 0 86802342 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846616521104 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15731] ppid=15723 vsize=26779248 memory=3928084 CPUtime=11.58 cores=0-7
/proc/15725/task/15731/stat : 15731 (java) S 15723 15723 15002 0 -1 1077944384 42577 0 0 0 1118 40 0 0 20 0 28 0 86802342 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846615469072 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15732] ppid=15723 vsize=26779248 memory=1452 CPUtime=11.63 cores=0-7
/proc/15725/task/15732/stat : 15732 (java) S 15723 15723 15002 0 -1 1077944384 40533 0 0 0 1125 38 0 0 20 0 28 0 86802342 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846614416528 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15733] ppid=15723 vsize=26779248 memory=1452 CPUtime=11.62 cores=0-7
/proc/15725/task/15733/stat : 15733 (java) S 15723 15723 15002 0 -1 1077944384 44060 0 0 0 1119 43 0 0 20 0 28 0 86802342 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846613363472 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15734] ppid=15723 vsize=26779248 memory=3907356 CPUtime=11.59 cores=0-7
/proc/15725/task/15734/stat : 15734 (java) S 15723 15723 15002 0 -1 1077944384 45424 0 0 0 1120 39 0 0 20 0 28 0 86802342 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846612310928 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15735] ppid=15723 vsize=26779248 memory=132 CPUtime=6.85 cores=0-7
/proc/15725/task/15735/stat : 15735 (java) S 15723 15723 15002 0 -1 1077944384 212828 0 0 0 386 299 0 0 20 0 28 0 86802343 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846188669168 139847061322370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15736] ppid=15723 vsize=26779248 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/15725/task/15736/stat : 15736 (java) S 15723 15723 15002 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 86802343 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846187615456 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15737] ppid=15723 vsize=26779248 memory=1452 CPUtime=0 cores=0-7
/proc/15725/task/15737/stat : 15737 (java) S 15723 15723 15002 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 86802344 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846186562304 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15738] ppid=15723 vsize=26779248 memory=3872 CPUtime=0 cores=0-7
/proc/15725/task/15738/stat : 15738 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86802346 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846185510864 139847061329819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15739] ppid=15723 vsize=26779248 memory=928 CPUtime=5.07 cores=0-7
/proc/15725/task/15739/stat : 15739 (java) S 15723 15723 15002 0 -1 1077944384 26873 0 0 0 501 6 0 0 20 0 28 0 86802346 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846184458992 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15740] ppid=15723 vsize=26779248 memory=2296 CPUtime=5.4 cores=0-7
/proc/15725/task/15740/stat : 15740 (java) S 15723 15723 15002 0 -1 1077944384 20851 0 0 0 537 3 0 0 20 0 28 0 86802346 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846183406448 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15741] ppid=15723 vsize=26779248 memory=1788 CPUtime=5.11 cores=0-7
/proc/15725/task/15741/stat : 15741 (java) S 15723 15723 15002 0 -1 1077944384 33394 0 0 0 506 5 0 0 20 0 28 0 86802346 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846182353392 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15742] ppid=15723 vsize=26779248 memory=860 CPUtime=1.43 cores=0-7
/proc/15725/task/15742/stat : 15742 (java) S 15723 15723 15002 0 -1 1077944384 26019 0 0 0 138 5 0 0 20 0 28 0 86802346 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846181300848 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15743] ppid=15723 vsize=26779248 memory=1224 CPUtime=0 cores=0-7
/proc/15725/task/15743/stat : 15743 (java) S 15723 15723 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86802346 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846180248032 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15744] ppid=15723 vsize=26779248 memory=2260 CPUtime=0.96 cores=0-7
/proc/15725/task/15744/stat : 15744 (java) S 15723 15723 15002 0 -1 1077944384 9370 0 0 0 25 71 0 0 20 0 28 0 86802347 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846179195568 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15873] ppid=15723 vsize=26779248 memory=507 CPUtime=2430.02 cores=0-7
/proc/15725/task/15873/stat : 15873 (java) R 15723 15723 15002 0 -1 4202560 41736 0 0 0 242978 24 0 0 20 0 28 0 86806504 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846168312344 139846709156941 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15874] ppid=15723 vsize=26779248 memory=540 CPUtime=2427.55 cores=0-7
/proc/15725/task/15874/stat : 15874 (java) R 15723 15723 15002 0 -1 4202560 32408 0 0 0 242734 21 0 0 20 0 28 0 86806504 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846160944784 139846709693393 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15875] ppid=15723 vsize=26779248 memory=1452 CPUtime=2433.32 cores=0-7
/proc/15725/task/15875/stat : 15875 (java) R 15723 15723 15002 0 -1 4202560 47510 0 0 0 243279 53 0 0 20 0 28 0 86806504 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846167261768 139846708345304 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15876] ppid=15723 vsize=26779248 memory=3928084 CPUtime=2434.84 cores=0-7
/proc/15725/task/15876/stat : 15876 (java) R 15723 15723 15002 0 -1 4202560 69029 0 0 0 243381 103 0 0 20 0 28 0 86806504 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846161998552 139846709032776 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15877] ppid=15723 vsize=26779248 memory=15088 CPUtime=2435 cores=0-7
/proc/15725/task/15877/stat : 15877 (java) R 15723 15723 15002 0 -1 4202560 59543 0 0 0 243434 66 0 0 20 0 28 0 86806504 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846164106176 139846700157145 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15878] ppid=15723 vsize=26779248 memory=1180 CPUtime=2436.48 cores=0-7
/proc/15725/task/15878/stat : 15878 (java) R 15723 15723 15002 0 -1 4202560 24556 0 0 0 243630 18 0 0 20 0 28 0 86806504 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846158840136 139846701674286 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15879] ppid=15723 vsize=26779248 memory=504 CPUtime=2425.28 cores=0-7
/proc/15725/task/15879/stat : 15879 (java) R 15723 15723 15002 0 -1 4202560 113177 0 0 0 242437 91 0 0 20 0 28 0 86806504 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846157787016 139846709584327 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15880] ppid=15723 vsize=26779248 memory=1452 CPUtime=2433.86 cores=0-7
/proc/15725/task/15880/stat : 15880 (java) R 15723 15723 15002 0 -1 4202560 65615 0 0 0 243334 52 0 0 20 0 28 0 86806504 27421949952 981893 33554432000 4194304 4196468 140726028768688 139846159892456 139846710498058 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
Current children cumulated CPU time: 19873.7 s
Current children cumulated vsize: 26892376 KiB
Current children cumulated memory: 3929024 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.16 8.27 8.29 9/207 15937
/proc/meminfo: memFree=23629748/32770624 swapFree=67108496/67108860
[pid=15723] ppid=15720 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15723/stat : 15723 (xcsp3-exec) S 15720 15723 15002 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 86802340 115843072 363 33554432000 4194304 5098028 140722815971744 140722815969848 140308858667644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18419712 140722815980597 140722815980800 140722815980800 140722815983562 0
/proc/15723/statm: 28282 363 305 221 0 87 0
[pid=15725] ppid=15723 vsize=26779248 memory=3928592 CPUtime=20014.8 cores=0-7
/proc/15725/stat : 15725 (java) S 15723 15723 15002 0 -1 1077944320 1162457 0 0 0 2000361 1120 0 0 20 0 28 0 86802340 27421949952 982148 33554432000 4194304 4196468 140726028768688 140726028751232 139847061311223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
/proc/15725/statm: 6694812 982148 3470 1 0 6656006 0
[pid=15725/tid=15726] ppid=15723 vsize=26779248 memory=6791534058613427641 CPUtime=2.66 cores=0-7
/proc/15725/task/15726/stat : 15726 (java) S 15723 15723 15002 0 -1 1077944384 11572 0 0 0 259 7 0 0 20 0 28 0 86802341 27421949952 982148 33554432000 4194304 4196468 140726028768688 139847065552000 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15727] ppid=15723 vsize=26779248 memory=-7003737579269690708 CPUtime=11.65 cores=0-7
/proc/15725/task/15727/stat : 15727 (java) S 15723 15723 15002 0 -1 1077944384 40425 0 0 0 1127 38 0 0 20 0 28 0 86802342 27421949952 982148 33554432000 4194304 4196468 140726028768688 139847022270992 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15728] ppid=15723 vsize=26779248 memory=2296 CPUtime=11.64 cores=0-7
/proc/15725/task/15728/stat : 15728 (java) S 15723 15723 15002 0 -1 1077944384 41410 0 0 0 1127 37 0 0 20 0 28 0 86802342 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846618626704 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15729] ppid=15723 vsize=26779248 memory=932 CPUtime=11.66 cores=0-7
/proc/15725/task/15729/stat : 15729 (java) S 15723 15723 15002 0 -1 1077944384 42140 0 0 0 1126 40 0 0 20 0 28 0 86802342 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846617573648 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15730] ppid=15723 vsize=26779248 memory=1452 CPUtime=11.62 cores=0-7
/proc/15725/task/15730/stat : 15730 (java) S 15723 15723 15002 0 -1 1077944384 42767 0 0 0 1126 36 0 0 20 0 28 0 86802342 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846616521104 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15731] ppid=15723 vsize=26779248 memory=3872 CPUtime=11.62 cores=0-7
/proc/15725/task/15731/stat : 15731 (java) S 15723 15723 15002 0 -1 1077944384 42792 0 0 0 1122 40 0 0 20 0 28 0 86802342 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846615469072 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15732] ppid=15723 vsize=26779248 memory=25340 CPUtime=11.68 cores=0-7
/proc/15725/task/15732/stat : 15732 (java) S 15723 15723 15002 0 -1 1077944384 41111 0 0 0 1129 39 0 0 20 0 28 0 86802342 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846614416528 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15733] ppid=15723 vsize=26779248 memory=1224 CPUtime=11.65 cores=0-7
/proc/15725/task/15733/stat : 15733 (java) S 15723 15723 15002 0 -1 1077944384 44524 0 0 0 1122 43 0 0 20 0 28 0 86802342 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846613363472 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15734] ppid=15723 vsize=26779248 memory=2260 CPUtime=11.64 cores=0-7
/proc/15725/task/15734/stat : 15734 (java) S 15723 15723 15002 0 -1 1077944384 46023 0 0 0 1124 40 0 0 20 0 28 0 86802342 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846612310928 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15735] ppid=15723 vsize=26779248 memory=1788 CPUtime=6.87 cores=0-7
/proc/15725/task/15735/stat : 15735 (java) S 15723 15723 15002 0 -1 1077944384 213696 0 0 0 387 300 0 0 20 0 28 0 86802343 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846188669168 139847061322370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15736] ppid=15723 vsize=26779248 memory=860 CPUtime=0 cores=0-7
/proc/15725/task/15736/stat : 15736 (java) S 15723 15723 15002 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 86802343 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846187615456 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15737] ppid=15723 vsize=26779248 memory=12556 CPUtime=0 cores=0-7
/proc/15725/task/15737/stat : 15737 (java) S 15723 15723 15002 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 86802344 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846186562304 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15738] ppid=15723 vsize=26779248 memory=756 CPUtime=0 cores=0-7
/proc/15725/task/15738/stat : 15738 (java) S 15723 15723 15002 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86802346 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846185510864 139847061329819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15739] ppid=15723 vsize=26779248 memory=1616 CPUtime=5.07 cores=0-7
/proc/15725/task/15739/stat : 15739 (java) S 15723 15723 15002 0 -1 1077944384 26879 0 0 0 501 6 0 0 20 0 28 0 86802346 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846184458992 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15740] ppid=15723 vsize=26779248 memory=20036 CPUtime=5.4 cores=0-7
/proc/15725/task/15740/stat : 15740 (java) S 15723 15723 15002 0 -1 1077944384 20857 0 0 0 537 3 0 0 20 0 28 0 86802346 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846183406448 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15741] ppid=15723 vsize=26779248 memory=507 CPUtime=5.11 cores=0-7
/proc/15725/task/15741/stat : 15741 (java) S 15723 15723 15002 0 -1 1077944384 33400 0 0 0 506 5 0 0 20 0 28 0 86802346 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846182353392 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15742] ppid=15723 vsize=26779248 memory=540 CPUtime=1.43 cores=0-7
/proc/15725/task/15742/stat : 15742 (java) S 15723 15723 15002 0 -1 1077944384 26035 0 0 0 138 5 0 0 20 0 28 0 86802346 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846181300848 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15743] ppid=15723 vsize=26779248 memory=511 CPUtime=0 cores=0-7
/proc/15725/task/15743/stat : 15743 (java) S 15723 15723 15002 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86802346 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846180248032 139847061321429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15744] ppid=15723 vsize=26779248 memory=143 CPUtime=0.96 cores=0-7
/proc/15725/task/15744/stat : 15744 (java) S 15723 15723 15002 0 -1 1077944384 9430 0 0 0 25 71 0 0 20 0 28 0 86802347 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846179195568 139847061322370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15873] ppid=15723 vsize=26779248 memory=0 CPUtime=2447.66 cores=0-7
/proc/15725/task/15873/stat : 15873 (java) R 15723 15723 15002 0 -1 4202560 42153 0 0 0 244742 24 0 0 20 0 28 0 86806504 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846168313000 139846710366725 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15874] ppid=15723 vsize=26779248 memory=96 CPUtime=2445.09 cores=0-7
/proc/15725/task/15874/stat : 15874 (java) R 15723 15723 15002 0 -1 4202560 32751 0 0 0 244488 21 0 0 20 0 28 0 86806504 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846160947968 139846709318934 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15875] ppid=15723 vsize=26779248 memory=244526 CPUtime=2450.97 cores=0-7
/proc/15725/task/15875/stat : 15875 (java) R 15723 15723 15002 0 -1 4202560 47950 0 0 0 245044 53 0 0 20 0 28 0 86806504 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846167262296 139846701673872 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15876] ppid=15723 vsize=26779248 memory=244269 CPUtime=2452.44 cores=0-7
/proc/15725/task/15876/stat : 15876 (java) R 15723 15723 15002 0 -1 4202560 69338 0 0 0 245140 104 0 0 20 0 28 0 86806504 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846161998472 139846700156544 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15877] ppid=15723 vsize=26779248 memory=244856 CPUtime=2452.65 cores=0-7
/proc/15725/task/15877/stat : 15877 (java) R 15723 15723 15002 0 -1 4202560 60197 0 0 0 245198 67 0 0 20 0 28 0 86806504 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846164103384 139846708888028 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15878] ppid=15723 vsize=26779248 memory=139866952947731 CPUtime=2454.03 cores=0-7
/proc/15725/task/15878/stat : 15878 (java) R 15723 15723 15002 0 -1 4202560 24691 0 0 0 245385 18 0 0 20 0 28 0 86806504 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846158840776 139846708188825 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15879] ppid=15723 vsize=26779248 memory=0 CPUtime=2442.8 cores=0-7
/proc/15725/task/15879/stat : 15879 (java) R 15723 15723 15002 0 -1 4202560 113937 0 0 0 244188 92 0 0 20 0 28 0 86806504 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846157786768 139846707218517 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
[pid=15725/tid=15880] ppid=15723 vsize=26779248 memory=1836 CPUtime=2451.5 cores=0-7
/proc/15725/task/15880/stat : 15880 (java) R 15723 15723 15002 0 -1 4202560 66081 0 0 0 245098 52 0 0 20 0 28 0 86806504 27421949952 982148 33554432000 4194304 4196468 140726028768688 139846159893208 139846708391609 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 17788928 140726028776577 140726028776749 140726028776749 140726028779471 0
Current children cumulated CPU time: 20014.8 s
Current children cumulated vsize: 26892376 KiB
Current children cumulated memory: 3930044 KiB

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

[startup+2520.04 s]
# the end of solver process 15723 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000748 s, system=0.001496 s

[startup+2520.13 s]
# the end of solver process 15725 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20004.3 s, system=11.2392 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2520.13
CPU time (s): 20015.5
CPU user time (s): 20004.3
CPU system time (s): 11.2392
CPU usage (%): 794.228
Max. virtual memory (cumulated for all children) (KiB): 26892376
Max. memory (cumulated for all children) (KiB): 3947296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20004.3
system time used= 11.2392
maximum resident set size= 3945844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1164437
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 218963
involuntary context switches= 214436


# summary of solver processes directly reported to runsolver:
#   pid: 15723,15725
#   total CPU time (s): 20015.5
#   total CPU user time (s): 20004.3
#   total CPU system time (s): 11.2392

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.5272 second user time and 28.355 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	5067
Best CPU time to get the best result obtained on this benchmark	20015.5
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 4297524

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