2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	SAT (TO)	318	2400.07	2394.41

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406568-1569399120.xml"  -tl '2400s' -p 1
0.12/0.18	c Choco e747e1e
0.12/0.19	c [HOME/instance-4406568-1569399120.xml, -tl, 2400s, -p, 1]
0.33/0.23	c simple solver
0.33/0.29	c parse instance...
2.77/1.03	c solve instance...
3.69/1.30	o 950 
4.00/1.40	o 842 
4.31/1.50	o 762 
4.31/1.55	o 738 
4.62/1.64	o 694 
4.62/1.65	o 678 
4.62/1.67	o 602 
5.08/2.00	o 566 
5.34/2.16	o 534 
5.55/2.35	o 510 
6.41/3.14	o 490 
6.50/3.24	o 474 
6.50/3.25	o 450 
18.93/14.81	o 446 
19.03/14.95	o 434 
20.43/16.37	o 378 
23.06/18.95	o 346 
2127.47/2122.09	o 322 
2136.16/2130.79	o 318 
2400.04/2394.40	s SATISFIABLE
2400.04/2394.40	v <instantiation>
2400.04/2394.40	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[48][0] y[48][1] y[48][2] y[48][3] y[49][0] y[49][1] y[49][2] y[50][0] y[50][1] y[51][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] </list>
2400.04/2394.40	v 	<values>-1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -2 1 2 1 -4 -1 0 -5 6 -1 0 1 -4 1 -2 5 4 1 0 5 -4 -3 0 1 2 -1 -2 3 -4 -3 -4 1 0 1 0 1 0 -1 0 -3 -4 -3 -2 -1 2 1 2 1 0 -1 0 -1 4 1 4 1 16 1 0 25 36 1 0 1 16 1 4 25 16 1 0 25 16 9 0 1 4 1 4 9 16 9 16 1 0 1 0 1 0 1 0 9 16 9 4 1 4 1 4 1 0 1 0 1 </values>
2400.04/2394.40	v </instantiation>
2400.04/2394.40	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 (12974 MiB free)
  memory of node 1: 16384 MiB (13389 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406568-1569399120/watcher-4406568-1569399120 -o /var/tmp/evaluation-result-4406568-1569399120/solver-4406568-1569399120 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569392946-4664 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 674984274 HOME/instance-4406568-1569399120.xml 

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

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

solver pid=6030, runsolver pid=6027

[startup+0.100276 s]*
/proc/loadavg: 1.97 1.86 1.67 3/228 6046
/proc/meminfo: memFree=26982156/32770624 swapFree=66954216/67108860
[pid=6030] ppid=6027 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6030/stat : 6030 (xcsp3-exec) S 6027 6030 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516167295 115843072 364 33554432000 4194304 5098028 140736708847056 140736708845160 140351813702268 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38088704 140736708850519 140736708850777 140736708850777 140736708853702 0
/proc/6030/statm: 28282 364 305 221 0 87 0
[pid=6032] ppid=6030 vsize=15144776 memory=27380 CPUtime=0.12 cores=1,3,5,7
/proc/6032/stat : 6032 (java) S 6030 6030 4632 0 -1 1077944320 5751 0 0 0 11 1 0 0 20 0 15 0 516167296 15508250624 6845 33554432000 4194304 4196468 140732646235776 140732646218320 140542033972983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
/proc/6032/statm: 3786194 6845 3145 1 0 3748377 0
[pid=6032/tid=6033] ppid=6030 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/6032/task/6033/stat : 6033 (java) R 6030 6030 4632 0 -1 4202560 3717 0 0 0 8 0 0 0 20 0 15 0 516167296 15508250624 6911 33554432000 4194304 4196468 140732646235776 140542038199280 140541670566474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6034] ppid=6030 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6034/stat : 6034 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167297 15508250624 6911 33554432000 4194304 4196468 140732646235776 140542001532048 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6035] ppid=6030 vsize=15144776 memory=140261603451339 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6035/stat : 6035 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167297 15508250624 6911 33554432000 4194304 4196468 140732646235776 140541625560080 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6036] ppid=6030 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6036/stat : 6036 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167297 15508250624 6911 33554432000 4194304 4196468 140732646235776 140541624507280 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6037] ppid=6030 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6037/stat : 6037 (java) S 6030 6030 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516167297 15508250624 6911 33554432000 4194304 4196468 140732646235776 140541623454480 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6038] ppid=6030 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6038/stat : 6038 (java) S 6030 6030 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516167298 15508250624 6911 33554432000 4194304 4196468 140732646235776 140540907137392 140542033984130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6039] ppid=6030 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6039/stat : 6039 (java) S 6030 6030 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516167298 15508250624 6911 33554432000 4194304 4196468 140732646235776 140540906083360 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6040] ppid=6030 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6040/stat : 6040 (java) S 6030 6030 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516167299 15508250624 6911 33554432000 4194304 4196468 140732646235776 140540905030512 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6041] ppid=6030 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6041/stat : 6041 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15508250624 6911 33554432000 4194304 4196468 140732646235776 140540903978832 140542033991579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6042] ppid=6030 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6042/stat : 6042 (java) S 6030 6030 4632 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 516167301 15508250624 6911 33554432000 4194304 4196468 140732646235776 140540902927216 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6043] ppid=6030 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6043/stat : 6043 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15508250624 6911 33554432000 4194304 4196468 140732646235776 140540901874416 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6044] ppid=6030 vsize=15144776 memory=140261599843968 CPUtime=0.01 cores=1,3,5,7
/proc/6032/task/6044/stat : 6044 (java) R 6030 6030 4632 0 -1 4202560 358 0 0 0 1 0 0 0 20 0 15 0 516167301 15508250624 6911 33554432000 4194304 4196468 140732646235776 140540900821616 140542012102343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6045] ppid=6030 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6045/stat : 6045 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15508250624 6911 33554432000 4194304 4196468 140732646235776 140540899769056 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6046] ppid=6030 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6046/stat : 6046 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167302 15508250624 6911 33554432000 4194304 4196468 140732646235776 140540898716336 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28836 KiB

[startup+0.210794 s]*
/proc/loadavg: 1.97 1.86 1.67 4/228 6046
/proc/meminfo: memFree=26943716/32770624 swapFree=66954216/67108860
[pid=6030] ppid=6027 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6030/stat : 6030 (xcsp3-exec) S 6027 6030 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516167295 115843072 364 33554432000 4194304 5098028 140736708847056 140736708845160 140351813702268 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38088704 140736708850519 140736708850777 140736708850777 140736708853702 0
/proc/6030/statm: 28282 364 305 221 0 87 0
[pid=6032] ppid=6030 vsize=15144776 memory=39808 CPUtime=0.33 cores=1,3,5,7
/proc/6032/stat : 6032 (java) S 6030 6030 4632 0 -1 1077944320 9676 0 0 0 30 3 0 0 20 0 15 0 516167296 15508250624 9952 33554432000 4194304 4196468 140732646235776 140732646218320 140542033972983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
/proc/6032/statm: 3786194 9952 3317 1 0 3748377 0
[pid=6032/tid=6033] ppid=6030 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/6032/task/6033/stat : 6033 (java) R 6030 6030 4632 0 -1 4202560 6658 0 0 0 17 2 0 0 20 0 15 0 516167296 15508250624 9952 33554432000 4194304 4196468 140732646235776 140542038212656 140542033994909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6034] ppid=6030 vsize=15144776 memory=10594 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6034/stat : 6034 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167297 15508250624 9952 33554432000 4194304 4196468 140732646235776 140542001532048 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6035] ppid=6030 vsize=15144776 memory=3833604285855798944 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6035/stat : 6035 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167297 15508250624 9952 33554432000 4194304 4196468 140732646235776 140541625560080 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6036] ppid=6030 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6036/stat : 6036 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167297 15508250624 9952 33554432000 4194304 4196468 140732646235776 140541624507280 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6037] ppid=6030 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6037/stat : 6037 (java) S 6030 6030 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516167297 15508250624 9952 33554432000 4194304 4196468 140732646235776 140541623454480 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6038] ppid=6030 vsize=15144776 memory=140261599843968 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6038/stat : 6038 (java) S 6030 6030 4632 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516167298 15508250624 9952 33554432000 4194304 4196468 140732646235776 140540907137392 140542033984130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6039] ppid=6030 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6039/stat : 6039 (java) S 6030 6030 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516167298 15508250624 9952 33554432000 4194304 4196468 140732646235776 140540906083360 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6040] ppid=6030 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6040/stat : 6040 (java) S 6030 6030 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516167299 15508250624 9952 33554432000 4194304 4196468 140732646235776 140540905030512 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6041] ppid=6030 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6041/stat : 6041 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15508250624 9952 33554432000 4194304 4196468 140732646235776 140540903978832 140542033991579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6042] ppid=6030 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6032/task/6042/stat : 6042 (java) S 6030 6030 4632 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 15 0 516167301 15508250624 9952 33554432000 4194304 4196468 140732646235776 140540902927216 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6043] ppid=6030 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6032/task/6043/stat : 6043 (java) S 6030 6030 4632 0 -1 1077944384 313 0 0 0 2 0 0 0 20 0 15 0 516167301 15508250624 9952 33554432000 4194304 4196468 140732646235776 140540901874416 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6044] ppid=6030 vsize=15144776 memory=140261599843968 CPUtime=0.07 cores=1,3,5,7
/proc/6032/task/6044/stat : 6044 (java) S 6030 6030 4632 0 -1 1077944384 900 0 0 0 7 0 0 0 20 0 15 0 516167301 15508250624 9952 33554432000 4194304 4196468 140732646235776 140540900821616 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6045] ppid=6030 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6045/stat : 6045 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15508250624 9952 33554432000 4194304 4196468 140732646235776 140540899769056 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6046] ppid=6030 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6046/stat : 6046 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167302 15508250624 9952 33554432000 4194304 4196468 140732646235776 140540898716336 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41264 KiB

[startup+0.310781 s]*
/proc/loadavg: 1.97 1.86 1.67 4/228 6046
/proc/meminfo: memFree=26938380/32770624 swapFree=66954216/67108860
[pid=6030] ppid=6027 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6030/stat : 6030 (xcsp3-exec) S 6027 6030 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516167295 115843072 364 33554432000 4194304 5098028 140736708847056 140736708845160 140351813702268 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38088704 140736708850519 140736708850777 140736708850777 140736708853702 0
/proc/6030/statm: 28282 364 305 221 0 87 0
[pid=6032] ppid=6030 vsize=15149032 memory=48704 CPUtime=0.52 cores=1,3,5,7
/proc/6032/stat : 6032 (java) S 6030 6030 4632 0 -1 1077944320 11030 0 0 0 48 4 0 0 20 0 15 0 516167296 15512608768 12176 33554432000 4194304 4196468 140732646235776 140732646218320 140542033972983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
/proc/6032/statm: 3787258 12176 3359 1 0 3748377 0
[pid=6032/tid=6033] ppid=6030 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/6032/task/6033/stat : 6033 (java) R 6030 6030 4632 0 -1 4202560 7722 0 0 0 26 3 0 0 20 0 15 0 516167296 15512608768 12176 33554432000 4194304 4196468 140732646235776 140542038204472 140542033994909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6034] ppid=6030 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6034/stat : 6034 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167297 15512608768 12176 33554432000 4194304 4196468 140732646235776 140542001532048 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6035] ppid=6030 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6035/stat : 6035 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167297 15512608768 12242 33554432000 4194304 4196468 140732646235776 140541625560080 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6036] ppid=6030 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6036/stat : 6036 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167297 15512608768 12242 33554432000 4194304 4196468 140732646235776 140541624507280 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6037] ppid=6030 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6037/stat : 6037 (java) S 6030 6030 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516167297 15512608768 12242 33554432000 4194304 4196468 140732646235776 140541623454480 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6038] ppid=6030 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6038/stat : 6038 (java) S 6030 6030 4632 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516167298 15512608768 12242 33554432000 4194304 4196468 140732646235776 140540907137392 140542033984130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6039] ppid=6030 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6039/stat : 6039 (java) S 6030 6030 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516167298 15512608768 12242 33554432000 4194304 4196468 140732646235776 140540906083360 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6040] ppid=6030 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6040/stat : 6040 (java) S 6030 6030 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516167299 15512608768 12242 33554432000 4194304 4196468 140732646235776 140540905030512 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6041] ppid=6030 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6041/stat : 6041 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15512608768 12242 33554432000 4194304 4196468 140732646235776 140540903978832 140542033991579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6042] ppid=6030 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=1,3,5,7
/proc/6032/task/6042/stat : 6042 (java) R 6030 6030 4632 0 -1 4202560 613 0 0 0 4 0 0 0 20 0 15 0 516167301 15512608768 12242 33554432000 4194304 4196468 140732646235776 140540902927216 140542017472046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6043] ppid=6030 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6032/task/6043/stat : 6043 (java) S 6030 6030 4632 0 -1 1077944384 342 0 0 0 4 0 0 0 20 0 15 0 516167301 15512608768 12242 33554432000 4194304 4196468 140732646235776 140540901874416 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6044] ppid=6030 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6032/task/6044/stat : 6044 (java) S 6030 6030 4632 0 -1 1077944384 1098 0 0 0 12 0 0 0 20 0 15 0 516167301 15512608768 12242 33554432000 4194304 4196468 140732646235776 140540900821616 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6045] ppid=6030 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6045/stat : 6045 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15512608768 12242 33554432000 4194304 4196468 140732646235776 140540899769056 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6046] ppid=6030 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6046/stat : 6046 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167302 15512608768 12242 33554432000 4194304 4196468 140732646235776 140540898716336 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50160 KiB

[startup+0.700839 s]
/proc/loadavg: 1.97 1.86 1.67 5/228 6046
/proc/meminfo: memFree=26885496/32770624 swapFree=66954216/67108860
[pid=6030] ppid=6027 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6030/stat : 6030 (xcsp3-exec) S 6027 6030 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516167295 115843072 364 33554432000 4194304 5098028 140736708847056 140736708845160 140351813702268 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38088704 140736708850519 140736708850777 140736708850777 140736708853702 0
/proc/6030/statm: 28282 364 305 221 0 87 0
[pid=6032] ppid=6030 vsize=15151156 memory=92540 CPUtime=1.75 cores=1,3,5,7
/proc/6032/stat : 6032 (java) S 6030 6030 4632 0 -1 1077944320 16176 0 0 0 169 6 0 0 20 0 15 0 516167296 15514783744 23135 33554432000 4194304 4196468 140732646235776 140732646218320 140542033972983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
/proc/6032/statm: 3787789 23135 3459 1 0 3748889 0
[pid=6032/tid=6033] ppid=6030 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/6032/task/6033/stat : 6033 (java) R 6030 6030 4632 0 -1 4202560 9160 0 0 0 63 4 0 0 20 0 15 0 516167296 15514783744 23135 33554432000 4194304 4196468 140732646235776 140542038208576 140542033984918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6034] ppid=6030 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6034/stat : 6034 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167297 15514783744 23135 33554432000 4194304 4196468 140732646235776 140542001532048 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6035] ppid=6030 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6035/stat : 6035 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167297 15514783744 23135 33554432000 4194304 4196468 140732646235776 140541625560080 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6036] ppid=6030 vsize=15151156 memory=708 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6036/stat : 6036 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167297 15514783744 23135 33554432000 4194304 4196468 140732646235776 140541624507280 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6037] ppid=6030 vsize=15151156 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6037/stat : 6037 (java) S 6030 6030 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516167297 15514783744 23135 33554432000 4194304 4196468 140732646235776 140541623454480 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6038] ppid=6030 vsize=15151156 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6038/stat : 6038 (java) S 6030 6030 4632 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516167298 15514783744 23135 33554432000 4194304 4196468 140732646235776 140540907137392 140542033984130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6039] ppid=6030 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6039/stat : 6039 (java) S 6030 6030 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516167298 15514783744 23135 33554432000 4194304 4196468 140732646235776 140540906083360 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6040] ppid=6030 vsize=15151156 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6040/stat : 6040 (java) S 6030 6030 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516167299 15514783744 23135 33554432000 4194304 4196468 140732646235776 140540905030512 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6041] ppid=6030 vsize=15151156 memory=8220 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6041/stat : 6041 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15514783744 23135 33554432000 4194304 4196468 140732646235776 140540903978832 140542033991579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6042] ppid=6030 vsize=15151156 memory=3616 CPUtime=0.3 cores=1,3,5,7
/proc/6032/task/6042/stat : 6042 (java) S 6030 6030 4632 0 -1 1077944384 1776 0 0 0 30 0 0 0 20 0 15 0 516167301 15514783744 23135 33554432000 4194304 4196468 140732646235776 140540902927216 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6043] ppid=6030 vsize=15151156 memory=1556 CPUtime=0.36 cores=1,3,5,7
/proc/6032/task/6043/stat : 6043 (java) R 6030 6030 4632 0 -1 4202560 1466 0 0 0 36 0 0 0 20 0 15 0 516167301 15514783744 23135 33554432000 4194304 4196468 140732646235776 140540901861264 140542019098132 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6044] ppid=6030 vsize=15151156 memory=2832 CPUtime=0.39 cores=1,3,5,7
/proc/6032/task/6044/stat : 6044 (java) R 6030 6030 4632 0 -1 1077944384 2465 0 0 0 38 1 0 0 20 0 15 0 516167301 15514783744 23135 33554432000 4194304 4196468 140732646235776 140540900821616 140542033984130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6045] ppid=6030 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6045/stat : 6045 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15514783744 23135 33554432000 4194304 4196468 140732646235776 140540899769056 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6046] ppid=6030 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6046/stat : 6046 (java) S 6030 6030 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516167302 15514783744 23135 33554432000 4194304 4196468 140732646235776 140540898716336 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93996 KiB

[startup+1.50104 s]
/proc/loadavg: 1.97 1.86 1.67 5/228 6046
/proc/meminfo: memFree=26772256/32770624 swapFree=66954216/67108860
[pid=6030] ppid=6027 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6030/stat : 6030 (xcsp3-exec) S 6027 6030 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516167295 115843072 364 33554432000 4194304 5098028 140736708847056 140736708845160 140351813702268 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38088704 140736708850519 140736708850777 140736708850777 140736708853702 0
/proc/6030/statm: 28282 364 305 221 0 87 0

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

/proc/6032/task/6040/stat : 6040 (java) S 6030 6030 4632 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 516167299 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540905030528 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6041] ppid=6030 vsize=15153204 memory=162728 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6041/stat : 6041 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540903978832 140542033991579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6042] ppid=6030 vsize=15153204 memory=1456 CPUtime=1.9 cores=1,3,5,7
/proc/6032/task/6042/stat : 6042 (java) S 6030 6030 4632 0 -1 1077944384 17796 0 0 0 188 2 0 0 20 0 15 0 516167301 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540902927216 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6043] ppid=6030 vsize=15153204 memory=1456 CPUtime=1.84 cores=1,3,5,7
/proc/6032/task/6043/stat : 6043 (java) S 6030 6030 4632 0 -1 1077944384 10425 0 0 0 182 2 0 0 20 0 15 0 516167301 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540901874416 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6044] ppid=6030 vsize=15153204 memory=162728 CPUtime=0.77 cores=1,3,5,7
/proc/6032/task/6044/stat : 6044 (java) S 6030 6030 4632 0 -1 1077944384 9360 0 0 0 76 1 0 0 20 0 15 0 516167301 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540900821616 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6045] ppid=6030 vsize=15153204 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6045/stat : 6045 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540899769056 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6046] ppid=6030 vsize=15153204 memory=3580 CPUtime=0.46 cores=1,3,5,7
/proc/6032/task/6046/stat : 6046 (java) S 6030 6030 4632 0 -1 1077944384 802 0 0 0 19 27 0 0 20 0 15 0 516167302 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540898716336 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
Current children cumulated CPU time: 2267.82 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 164184 KiB

[startup+2322.3 s]
/proc/loadavg: 1.78 1.90 1.87 4/228 6654
/proc/meminfo: memFree=28281444/32770624 swapFree=66954216/67108860
[pid=6030] ppid=6027 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6030/stat : 6030 (xcsp3-exec) S 6027 6030 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516167295 115843072 364 33554432000 4194304 5098028 140736708847056 140736708845160 140351813702268 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38088704 140736708850519 140736708850777 140736708850777 140736708853702 0
/proc/6030/statm: 28282 364 305 221 0 87 0
[pid=6032] ppid=6030 vsize=15153204 memory=162728 CPUtime=2327.88 cores=1,3,5,7
/proc/6032/stat : 6032 (java) S 6030 6030 4632 0 -1 1077944320 75491 0 0 0 232741 47 0 0 20 0 15 0 516167296 15516880896 40682 33554432000 4194304 4196468 140732646235776 140732646218320 140542033972983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
/proc/6032/statm: 3788301 40682 3514 1 0 3749401 0
[pid=6032/tid=6033] ppid=6030 vsize=15153204 memory=162728 CPUtime=2321.62 cores=1,3,5,7
/proc/6032/task/6033/stat : 6033 (java) R 6030 6030 4632 0 -1 4202560 20092 0 0 0 232155 7 0 0 20 0 15 0 516167296 15516880896 40682 33554432000 4194304 4196468 140732646235776 140542038212496 140541678005360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6034] ppid=6030 vsize=15153204 memory=162728 CPUtime=0.27 cores=1,3,5,7
/proc/6032/task/6034/stat : 6034 (java) S 6030 6030 4632 0 -1 1077944384 4087 0 0 0 25 2 0 0 20 0 15 0 516167297 15516880896 40682 33554432000 4194304 4196468 140732646235776 140542001532048 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6035] ppid=6030 vsize=15153204 memory=162728 CPUtime=0.27 cores=1,3,5,7
/proc/6032/task/6035/stat : 6035 (java) S 6030 6030 4632 0 -1 1077944384 2916 0 0 0 25 2 0 0 20 0 15 0 516167297 15516880896 40682 33554432000 4194304 4196468 140732646235776 140541625560080 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6036] ppid=6030 vsize=15153204 memory=162728 CPUtime=0.25 cores=1,3,5,7
/proc/6032/task/6036/stat : 6036 (java) S 6030 6030 4632 0 -1 1077944384 1638 0 0 0 23 2 0 0 20 0 15 0 516167297 15516880896 40682 33554432000 4194304 4196468 140732646235776 140541624507280 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6037] ppid=6030 vsize=15153204 memory=162728 CPUtime=0.27 cores=1,3,5,7
/proc/6032/task/6037/stat : 6037 (java) S 6030 6030 4632 0 -1 1077944384 3530 0 0 0 25 2 0 0 20 0 15 0 516167297 15516880896 40682 33554432000 4194304 4196468 140732646235776 140541623454480 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6038] ppid=6030 vsize=15153204 memory=162728 CPUtime=0.13 cores=1,3,5,7
/proc/6032/task/6038/stat : 6038 (java) S 6030 6030 4632 0 -1 1077944384 3347 0 0 0 11 2 0 0 20 0 15 0 516167298 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540907137392 140542033984130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6039] ppid=6030 vsize=15153204 memory=162728 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6039/stat : 6039 (java) S 6030 6030 4632 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 516167298 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540906083424 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6040] ppid=6030 vsize=15153204 memory=162728 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6040/stat : 6040 (java) S 6030 6030 4632 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 516167299 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540905030528 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6041] ppid=6030 vsize=15153204 memory=280522972380320 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6041/stat : 6041 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540903978832 140542033991579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6042] ppid=6030 vsize=15153204 memory=1456 CPUtime=1.9 cores=1,3,5,7
/proc/6032/task/6042/stat : 6042 (java) S 6030 6030 4632 0 -1 1077944384 17796 0 0 0 188 2 0 0 20 0 15 0 516167301 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540902927216 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6043] ppid=6030 vsize=15153204 memory=162728 CPUtime=1.84 cores=1,3,5,7
/proc/6032/task/6043/stat : 6043 (java) S 6030 6030 4632 0 -1 1077944384 10425 0 0 0 182 2 0 0 20 0 15 0 516167301 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540901874416 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6044] ppid=6030 vsize=15153204 memory=1456 CPUtime=0.77 cores=1,3,5,7
/proc/6032/task/6044/stat : 6044 (java) S 6030 6030 4632 0 -1 1077944384 9360 0 0 0 76 1 0 0 20 0 15 0 516167301 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540900821616 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6045] ppid=6030 vsize=15153204 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6045/stat : 6045 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540899769056 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6046] ppid=6030 vsize=15153204 memory=162728 CPUtime=0.47 cores=1,3,5,7
/proc/6032/task/6046/stat : 6046 (java) S 6030 6030 4632 0 -1 1077944384 819 0 0 0 20 27 0 0 20 0 15 0 516167302 15516880896 40682 33554432000 4194304 4196468 140732646235776 140540898716336 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
Current children cumulated CPU time: 2327.88 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 164184 KiB

[startup+2382.3 s]
/proc/loadavg: 1.49 1.79 1.84 4/228 6658
/proc/meminfo: memFree=28279648/32770624 swapFree=66954216/67108860
[pid=6030] ppid=6027 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6030/stat : 6030 (xcsp3-exec) S 6027 6030 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516167295 115843072 364 33554432000 4194304 5098028 140736708847056 140736708845160 140351813702268 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38088704 140736708850519 140736708850777 140736708850777 140736708853702 0
/proc/6030/statm: 28282 364 305 221 0 87 0
[pid=6032] ppid=6030 vsize=15153204 memory=164788 CPUtime=2387.94 cores=1,3,5,7
/proc/6032/stat : 6032 (java) S 6030 6030 4632 0 -1 1077944320 75554 0 0 0 238746 48 0 0 20 0 15 0 516167296 15516880896 41197 33554432000 4194304 4196468 140732646235776 140732646218320 140542033972983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
/proc/6032/statm: 3788301 41197 3514 1 0 3749401 0
[pid=6032/tid=6033] ppid=6030 vsize=15153204 memory=1456 CPUtime=2381.59 cores=1,3,5,7
/proc/6032/task/6033/stat : 6033 (java) R 6030 6030 4632 0 -1 4202560 20127 0 0 0 238152 7 0 0 20 0 15 0 516167296 15516880896 41197 33554432000 4194304 4196468 140732646235776 140542038212496 140541677059268 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6034] ppid=6030 vsize=15153204 memory=164788 CPUtime=0.29 cores=1,3,5,7
/proc/6032/task/6034/stat : 6034 (java) S 6030 6030 4632 0 -1 1077944384 4094 0 0 0 27 2 0 0 20 0 15 0 516167297 15516880896 41197 33554432000 4194304 4196468 140732646235776 140542001532048 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6035] ppid=6030 vsize=15153204 memory=164788 CPUtime=0.29 cores=1,3,5,7
/proc/6032/task/6035/stat : 6035 (java) S 6030 6030 4632 0 -1 1077944384 2918 0 0 0 27 2 0 0 20 0 15 0 516167297 15516880896 41197 33554432000 4194304 4196468 140732646235776 140541625560080 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6036] ppid=6030 vsize=15153204 memory=164788 CPUtime=0.27 cores=1,3,5,7
/proc/6032/task/6036/stat : 6036 (java) S 6030 6030 4632 0 -1 1077944384 1644 0 0 0 25 2 0 0 20 0 15 0 516167297 15516880896 41197 33554432000 4194304 4196468 140732646235776 140541624507280 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6037] ppid=6030 vsize=15153204 memory=164788 CPUtime=0.29 cores=1,3,5,7
/proc/6032/task/6037/stat : 6037 (java) S 6030 6030 4632 0 -1 1077944384 3535 0 0 0 27 2 0 0 20 0 15 0 516167297 15516880896 41197 33554432000 4194304 4196468 140732646235776 140541623454480 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6038] ppid=6030 vsize=15153204 memory=1456 CPUtime=0.14 cores=1,3,5,7
/proc/6032/task/6038/stat : 6038 (java) S 6030 6030 4632 0 -1 1077944384 3351 0 0 0 12 2 0 0 20 0 15 0 516167298 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540907137392 140542033984130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6039] ppid=6030 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6039/stat : 6039 (java) S 6030 6030 4632 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 516167298 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540906083424 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6040] ppid=6030 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6040/stat : 6040 (java) S 6030 6030 4632 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 516167299 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540905030528 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6041] ppid=6030 vsize=15153204 memory=164788 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6041/stat : 6041 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540903978832 140542033991579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6042] ppid=6030 vsize=15153204 memory=164788 CPUtime=1.9 cores=1,3,5,7
/proc/6032/task/6042/stat : 6042 (java) S 6030 6030 4632 0 -1 1077944384 17796 0 0 0 188 2 0 0 20 0 15 0 516167301 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540902927216 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6043] ppid=6030 vsize=15153204 memory=3580 CPUtime=1.84 cores=1,3,5,7
/proc/6032/task/6043/stat : 6043 (java) S 6030 6030 4632 0 -1 1077944384 10425 0 0 0 182 2 0 0 20 0 15 0 516167301 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540901874416 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6044] ppid=6030 vsize=15153204 memory=1456 CPUtime=0.77 cores=1,3,5,7
/proc/6032/task/6044/stat : 6044 (java) S 6030 6030 4632 0 -1 1077944384 9360 0 0 0 76 1 0 0 20 0 15 0 516167301 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540900821616 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6045] ppid=6030 vsize=15153204 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6045/stat : 6045 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540899769056 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6046] ppid=6030 vsize=15153204 memory=52044 CPUtime=0.48 cores=1,3,5,7
/proc/6032/task/6046/stat : 6046 (java) S 6030 6030 4632 0 -1 1077944384 823 0 0 0 20 28 0 0 20 0 15 0 516167302 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540898716336 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
Current children cumulated CPU time: 2387.94 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 166244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2394.4 s]
/proc/loadavg: 1.57 1.80 1.84 4/228 6658
/proc/meminfo: memFree=28279896/32770624 swapFree=66954216/67108860
[pid=6030] ppid=6027 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6030/stat : 6030 (xcsp3-exec) S 6027 6030 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516167295 115843072 364 33554432000 4194304 5098028 140736708847056 140736708845160 140351813702268 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38088704 140736708850519 140736708850777 140736708850777 140736708853702 0
/proc/6030/statm: 28282 364 305 221 0 87 0
[pid=6032] ppid=6030 vsize=15153204 memory=164788 CPUtime=2400.04 cores=1,3,5,7
/proc/6032/stat : 6032 (java) S 6030 6030 4632 0 -1 1077944320 75557 0 0 0 239956 48 0 0 20 0 15 0 516167296 15516880896 41197 33554432000 4194304 4196468 140732646235776 140732646218320 140542033972983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
/proc/6032/statm: 3788301 41197 3514 1 0 3749401 0
[pid=6032/tid=6033] ppid=6030 vsize=15153204 memory=1456 CPUtime=2393.69 cores=1,3,5,7
/proc/6032/task/6033/stat : 6033 (java) R 6030 6030 4632 0 -1 4202560 20128 0 0 0 239362 7 0 0 20 0 15 0 516167296 15516880896 41197 33554432000 4194304 4196468 140732646235776 140542038212496 140541678309213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6034] ppid=6030 vsize=15153204 memory=164788 CPUtime=0.29 cores=1,3,5,7
/proc/6032/task/6034/stat : 6034 (java) S 6030 6030 4632 0 -1 1077944384 4094 0 0 0 27 2 0 0 20 0 15 0 516167297 15516880896 41197 33554432000 4194304 4196468 140732646235776 140542001532048 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6035] ppid=6030 vsize=15153204 memory=496 CPUtime=0.29 cores=1,3,5,7
/proc/6032/task/6035/stat : 6035 (java) S 6030 6030 4632 0 -1 1077944384 2918 0 0 0 27 2 0 0 20 0 15 0 516167297 15516880896 41197 33554432000 4194304 4196468 140732646235776 140541625560080 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6036] ppid=6030 vsize=15153204 memory=3268 CPUtime=0.27 cores=1,3,5,7
/proc/6032/task/6036/stat : 6036 (java) S 6030 6030 4632 0 -1 1077944384 1644 0 0 0 25 2 0 0 20 0 15 0 516167297 15516880896 41197 33554432000 4194304 4196468 140732646235776 140541624507280 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6037] ppid=6030 vsize=15153204 memory=1456 CPUtime=0.29 cores=1,3,5,7
/proc/6032/task/6037/stat : 6037 (java) S 6030 6030 4632 0 -1 1077944384 3535 0 0 0 27 2 0 0 20 0 15 0 516167297 15516880896 41197 33554432000 4194304 4196468 140732646235776 140541623454480 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6038] ppid=6030 vsize=15153204 memory=164788 CPUtime=0.14 cores=1,3,5,7
/proc/6032/task/6038/stat : 6038 (java) S 6030 6030 4632 0 -1 1077944384 3351 0 0 0 12 2 0 0 20 0 15 0 516167298 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540907137392 140542033984130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6039] ppid=6030 vsize=15153204 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6039/stat : 6039 (java) S 6030 6030 4632 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 516167298 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540906083424 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6040] ppid=6030 vsize=15153204 memory=4486604260213485459 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6040/stat : 6040 (java) S 6030 6030 4632 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 516167299 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540905030528 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6041] ppid=6030 vsize=15153204 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6041/stat : 6041 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540903978832 140542033991579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6042] ppid=6030 vsize=15153204 memory=2832 CPUtime=1.9 cores=1,3,5,7
/proc/6032/task/6042/stat : 6042 (java) S 6030 6030 4632 0 -1 1077944384 17796 0 0 0 188 2 0 0 20 0 15 0 516167301 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540902927216 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6043] ppid=6030 vsize=15153204 memory=984 CPUtime=1.84 cores=1,3,5,7
/proc/6032/task/6043/stat : 6043 (java) S 6030 6030 4632 0 -1 1077944384 10425 0 0 0 182 2 0 0 20 0 15 0 516167301 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540901874416 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6044] ppid=6030 vsize=15153204 memory=8112282956445269571 CPUtime=0.77 cores=1,3,5,7
/proc/6032/task/6044/stat : 6044 (java) S 6030 6030 4632 0 -1 1077944384 9360 0 0 0 76 1 0 0 20 0 15 0 516167301 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540900821616 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6045] ppid=6030 vsize=15153204 memory=988 CPUtime=0 cores=1,3,5,7
/proc/6032/task/6045/stat : 6045 (java) S 6030 6030 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516167301 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540899769056 140542033983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
[pid=6032/tid=6046] ppid=6030 vsize=15153204 memory=2016 CPUtime=0.49 cores=1,3,5,7
/proc/6032/task/6046/stat : 6046 (java) S 6030 6030 4632 0 -1 1077944384 825 0 0 0 21 28 0 0 20 0 15 0 516167302 15516880896 41197 33554432000 4194304 4196468 140732646235776 140540898716336 140542033984130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11907072 140732646237147 140732646237322 140732646237322 140732646240207 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 166244 KiB

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

[startup+2394.41 s]
# the end of solver process 6030 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001137 s, system=0.001137 s

[startup+2394.41 s]
# the end of solver process 6032 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.58 s, system=0.493152 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): 2394.41
CPU time (s): 2400.07
CPU user time (s): 2399.58
CPU system time (s): 0.493152
CPU usage (%): 100.236
Max. virtual memory (cumulated for all children) (KiB): 15268180
Max. memory (cumulated for all children) (KiB): 242744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.58
system time used= 0.493152
maximum resident set size= 242828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76478
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57477
involuntary context switches= 1303


# summary of solver processes directly reported to runsolver:
#   pid: 6030,6032
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2399.58
#   total CPU system time (s): 0.493152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0409 second user time and 21.3395 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-053.xml
MD5SUM	7b052d900118d6d219a2e5f61835436e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	318
Best CPU time to get the best result obtained on this benchmark	2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	2861
Number of constraints	1482
Number of domains	105
Minimum domain size	2
Maximum domain size	105
Distribution of domain sizes	[{"size":2,"count":1432},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}]
Minimum variable degree	0
Maximum variable degree	52
Distribution of variable degrees	[{"degree":0,"count":1326},{"degree":2,"count":1482},{"degree":52,"count":53}]
Minimum constraint arity	2
Maximum constraint arity	53
Distribution of constraint arities	[{"arity":2,"count":53},{"arity":3,"count":1379},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":29,"count":1}, {"arity":30,"count":1}, {"arity":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1430
Distribution of constraint types	[{"type":"intension","count":1430},{"type":"sum","count":52}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4406568

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