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-06-14	SAT (TO)	1062	2400.56	604.423

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394323-1568329971.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco e747e1e
0.34/0.26	c [HOME/instance-4394323-1568329971.xml, -tl, 2400s, -p, 4]
0.34/0.26	c 4 solvers in parallel
0.34/0.28	c parse instance...
2.83/1.09	c solve instance...
10.65/3.01	o 1111 
15.75/4.36	o 1093 
117.95/30.08	o 1074 
308.94/78.10	o 1073 
309.33/78.13	o 1065 
415.56/104.86	o 1062 
2400.12/604.39	s SATISFIABLE
2400.12/604.39	v <instantiation>
2400.12/604.39	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] </list>
2400.12/604.39	v 	<values>0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 51 79 9 21 34 81 104 21 11 19 110 64 21 10 94 12 41 18 79 8 72 120 10 62 86 36 100 106 81 11 37 48 62 25 6 9 63 25 </values>
2400.12/604.39	v </instantiation>
2400.12/604.39	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 (9263 MiB free)
  memory of node 1: 16384 MiB (9587 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394323-1568329971/watcher-4394323-1568329971 -o /tmp/evaluation-result-4394323-1568329971/solver-4394323-1568329971 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1695747763 HOME/instance-4394323-1568329971.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=20742, runsolver pid=20739

[startup+0.101244 s]*
/proc/loadavg: 7.87 6.27 4.19 7/234 20758
/proc/meminfo: memFree=19285216/32770624 swapFree=66959212/67108860
[pid=20742] ppid=20739 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20742/stat : 20742 (xcsp3-exec) S 20739 20742 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408937314 115843072 362 33554432000 4194304 5098028 140725881250768 140725881248872 140679832982140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18907136 140725881258874 140725881259117 140725881259117 140725881262026 0
/proc/20742/statm: 28282 362 304 221 0 87 0
[pid=20744] ppid=20742 vsize=15144768 memory=30104 CPUtime=0.13 cores=1,3,5,7
/proc/20744/stat : 20744 (java) S 20742 20742 18186 0 -1 1077944320 5988 0 0 0 12 1 0 0 20 0 15 0 408937315 15508242432 7526 33554432000 4194304 4196468 140722233642816 140722233625360 140564974120695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
/proc/20744/statm: 3786192 7526 3138 1 0 3748377 0
[pid=20744/tid=20745] ppid=20742 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/20744/task/20745/stat : 20745 (java) R 20742 20742 18186 0 -1 4202560 3840 0 0 0 8 1 0 0 20 0 15 0 408937315 15508242432 7526 33554432000 4194304 4196468 140722233642816 140564978342160 140564974132630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20746] ppid=20742 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20746/stat : 20746 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937316 15508242432 7526 33554432000 4194304 4196468 140722233642816 140564885777552 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20747] ppid=20742 vsize=15144768 memory=139781194983040 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20747/stat : 20747 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937316 15508242432 7526 33554432000 4194304 4196468 140722233642816 140564565584912 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20748] ppid=20742 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20748/stat : 20748 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937316 15508242432 7526 33554432000 4194304 4196468 140722233642816 140564564532112 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20749] ppid=20742 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20749/stat : 20749 (java) S 20742 20742 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408937316 15508242432 7526 33554432000 4194304 4196468 140722233642816 140564563479312 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20750] ppid=20742 vsize=15144768 memory=139781194983040 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20750/stat : 20750 (java) S 20742 20742 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408937317 15508242432 7526 33554432000 4194304 4196468 140722233642816 140564442384752 140564974131842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20751] ppid=20742 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20751/stat : 20751 (java) S 20742 20742 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408937317 15508242432 7526 33554432000 4194304 4196468 140722233642816 140564441330720 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20752] ppid=20742 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20752/stat : 20752 (java) S 20742 20742 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408937318 15508242432 7526 33554432000 4194304 4196468 140722233642816 140564440277872 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20753] ppid=20742 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20753/stat : 20753 (java) S 20742 20742 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408937320 15508242432 7526 33554432000 4194304 4196468 140722233642816 140564439226192 140564974139291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20754] ppid=20742 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20754/stat : 20754 (java) S 20742 20742 18186 0 -1 1077944384 348 0 0 0 0 0 0 0 20 0 15 0 408937320 15508242432 7526 33554432000 4194304 4196468 140722233642816 140564438174576 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20755] ppid=20742 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20755/stat : 20755 (java) S 20742 20742 18186 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 408937320 15508242432 7526 33554432000 4194304 4196468 140722233642816 140564437121776 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20756] ppid=20742 vsize=15144768 memory=139781194983040 CPUtime=0.02 cores=1,3,5,7
/proc/20744/task/20756/stat : 20756 (java) R 20742 20742 18186 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 15 0 408937320 15508242432 7526 33554432000 4194304 4196468 140722233642816 140564436068976 140564958365970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20757] ppid=20742 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20757/stat : 20757 (java) S 20742 20742 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408937320 15508242432 7526 33554432000 4194304 4196468 140722233642816 140564435016416 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20758] ppid=20742 vsize=15144768 memory=139781194983040 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20758/stat : 20758 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937320 15508242432 7526 33554432000 4194304 4196468 140722233642816 140564433963696 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31552 KiB

[startup+0.212851 s]*
/proc/loadavg: 7.87 6.27 4.19 6/234 20758
/proc/meminfo: memFree=19261452/32770624 swapFree=66959212/67108860
[pid=20742] ppid=20739 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20742/stat : 20742 (xcsp3-exec) S 20739 20742 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408937314 115843072 362 33554432000 4194304 5098028 140725881250768 140725881248872 140679832982140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18907136 140725881258874 140725881259117 140725881259117 140725881262026 0
/proc/20742/statm: 28282 362 304 221 0 87 0
[pid=20744] ppid=20742 vsize=15144768 memory=41064 CPUtime=0.34 cores=1,3,5,7
/proc/20744/stat : 20744 (java) S 20742 20742 18186 0 -1 1077944320 9520 0 0 0 31 3 0 0 20 0 15 0 408937315 15508242432 10266 33554432000 4194304 4196468 140722233642816 140722233625360 140564974120695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
/proc/20744/statm: 3786192 10266 3278 1 0 3748377 0
[pid=20744/tid=20745] ppid=20742 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20744/task/20745/stat : 20745 (java) R 20742 20742 18186 0 -1 4202560 6656 0 0 0 18 2 0 0 20 0 15 0 408937315 15508242432 10266 33554432000 4194304 4196468 140722233642816 140564978355680 140564974142621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20746] ppid=20742 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20746/stat : 20746 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937316 15508242432 10266 33554432000 4194304 4196468 140722233642816 140564885777552 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20747] ppid=20742 vsize=15144768 memory=3907066575349163680 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20747/stat : 20747 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937316 15508242432 10266 33554432000 4194304 4196468 140722233642816 140564565584912 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20748] ppid=20742 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20748/stat : 20748 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937316 15508242432 10266 33554432000 4194304 4196468 140722233642816 140564564532112 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20749] ppid=20742 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20749/stat : 20749 (java) S 20742 20742 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408937316 15508242432 10266 33554432000 4194304 4196468 140722233642816 140564563479312 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20750] ppid=20742 vsize=15144768 memory=139781194983040 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20750/stat : 20750 (java) S 20742 20742 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408937317 15508242432 10266 33554432000 4194304 4196468 140722233642816 140564442384752 140564974131842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20751] ppid=20742 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20751/stat : 20751 (java) S 20742 20742 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408937317 15508242432 10266 33554432000 4194304 4196468 140722233642816 140564441330720 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20752] ppid=20742 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20752/stat : 20752 (java) S 20742 20742 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408937318 15508242432 10266 33554432000 4194304 4196468 140722233642816 140564440277872 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20753] ppid=20742 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20753/stat : 20753 (java) S 20742 20742 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408937320 15508242432 10266 33554432000 4194304 4196468 140722233642816 140564439226192 140564974139291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20754] ppid=20742 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20744/task/20754/stat : 20754 (java) S 20742 20742 18186 0 -1 1077944384 385 0 0 0 1 0 0 0 20 0 15 0 408937320 15508242432 10266 33554432000 4194304 4196468 140722233642816 140564438174576 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20755] ppid=20742 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/20744/task/20755/stat : 20755 (java) S 20742 20742 18186 0 -1 1077944384 461 0 0 0 3 0 0 0 20 0 15 0 408937320 15508242432 10266 33554432000 4194304 4196468 140722233642816 140564437121776 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20756] ppid=20742 vsize=15144768 memory=139781194983040 CPUtime=0.08 cores=1,3,5,7
/proc/20744/task/20756/stat : 20756 (java) S 20742 20742 18186 0 -1 1077944384 713 0 0 0 8 0 0 0 20 0 15 0 408937320 15508242432 10266 33554432000 4194304 4196468 140722233642816 140564436068976 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20757] ppid=20742 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20757/stat : 20757 (java) S 20742 20742 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408937320 15508242432 10266 33554432000 4194304 4196468 140722233642816 140564435016416 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20758] ppid=20742 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20758/stat : 20758 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937320 15508242432 10266 33554432000 4194304 4196468 140722233642816 140564433963696 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42512 KiB

[startup+0.361126 s]*
/proc/loadavg: 7.87 6.27 4.19 9/234 20758
/proc/meminfo: memFree=19256684/32770624 swapFree=66959212/67108860
[pid=20742] ppid=20739 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20742/stat : 20742 (xcsp3-exec) S 20739 20742 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408937314 115843072 362 33554432000 4194304 5098028 140725881250768 140725881248872 140679832982140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18907136 140725881258874 140725881259117 140725881259117 140725881262026 0
/proc/20742/statm: 28282 362 304 221 0 87 0
[pid=20744] ppid=20742 vsize=15149024 memory=55036 CPUtime=0.66 cores=1,3,5,7
/proc/20744/stat : 20744 (java) S 20742 20742 18186 0 -1 1077944320 11609 0 0 0 62 4 0 0 20 0 15 0 408937315 15512600576 13759 33554432000 4194304 4196468 140722233642816 140722233625360 140564974120695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
/proc/20744/statm: 3787256 13759 3393 1 0 3748377 0
[pid=20744/tid=20745] ppid=20742 vsize=15149024 memory=6791534058613427641 CPUtime=0.35 cores=1,3,5,7
/proc/20744/task/20745/stat : 20745 (java) R 20742 20742 18186 0 -1 4202560 8031 0 0 0 32 3 0 0 20 0 15 0 408937315 15512600576 13841 33554432000 4194304 4196468 140722233642816 140564978354328 140564958201182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20746] ppid=20742 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20746/stat : 20746 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937316 15512600576 13841 33554432000 4194304 4196468 140722233642816 140564885777552 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20747] ppid=20742 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20747/stat : 20747 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937316 15512600576 13841 33554432000 4194304 4196468 140722233642816 140564565584912 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20748] ppid=20742 vsize=15149024 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20748/stat : 20748 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937316 15512600576 13841 33554432000 4194304 4196468 140722233642816 140564564532112 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20749] ppid=20742 vsize=15149024 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20749/stat : 20749 (java) S 20742 20742 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408937316 15512600576 13841 33554432000 4194304 4196468 140722233642816 140564563479312 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20750] ppid=20742 vsize=15149024 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20750/stat : 20750 (java) S 20742 20742 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408937317 15512600576 13841 33554432000 4194304 4196468 140722233642816 140564442384752 140564974131842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20751] ppid=20742 vsize=15149024 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20751/stat : 20751 (java) S 20742 20742 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408937317 15512600576 13841 33554432000 4194304 4196468 140722233642816 140564441330720 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20752] ppid=20742 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20752/stat : 20752 (java) S 20742 20742 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408937318 15512600576 13841 33554432000 4194304 4196468 140722233642816 140564440277872 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20753] ppid=20742 vsize=15149024 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20753/stat : 20753 (java) S 20742 20742 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408937320 15512600576 13841 33554432000 4194304 4196468 140722233642816 140564439226192 140564974139291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20754] ppid=20742 vsize=15149024 memory=4426078206164241782 CPUtime=0.07 cores=1,3,5,7
/proc/20744/task/20754/stat : 20754 (java) R 20742 20742 18186 0 -1 4202560 710 0 0 0 7 0 0 0 20 0 15 0 408937320 15512600576 13841 33554432000 4194304 4196468 140722233642816 140564438163608 140564958114620 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20755] ppid=20742 vsize=15149024 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20744/task/20755/stat : 20755 (java) R 20742 20742 18186 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 15 0 408937320 15512600576 13841 33554432000 4194304 4196468 140722233642816 140564437107912 140564955665656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20756] ppid=20742 vsize=15149024 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/20744/task/20756/stat : 20756 (java) R 20742 20742 18186 0 -1 4202560 889 0 0 0 15 0 0 0 20 0 15 0 408937320 15512600576 13841 33554432000 4194304 4196468 140722233642816 140564436066936 140564959286277 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20757] ppid=20742 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20757/stat : 20757 (java) S 20742 20742 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408937320 15512600576 13841 33554432000 4194304 4196468 140722233642816 140564435016416 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20758] ppid=20742 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20758/stat : 20758 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937320 15512600576 13841 33554432000 4194304 4196468 140722233642816 140564433963696 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 56484 KiB

[startup+0.701128 s]
/proc/loadavg: 7.87 6.27 4.19 8/234 20758
/proc/meminfo: memFree=19245208/32770624 swapFree=66959212/67108860
[pid=20742] ppid=20739 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20742/stat : 20742 (xcsp3-exec) S 20739 20742 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408937314 115843072 362 33554432000 4194304 5098028 140725881250768 140725881248872 140679832982140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18907136 140725881258874 140725881259117 140725881259117 140725881262026 0
/proc/20742/statm: 28282 362 304 221 0 87 0
[pid=20744] ppid=20742 vsize=15151148 memory=91924 CPUtime=1.82 cores=1,3,5,7
/proc/20744/stat : 20744 (java) S 20742 20742 18186 0 -1 1077944320 15179 0 0 0 176 6 0 0 20 0 15 0 408937315 15514775552 22981 33554432000 4194304 4196468 140722233642816 140722233625360 140564974120695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
/proc/20744/statm: 3787787 22981 3445 1 0 3748889 0
[pid=20744/tid=20745] ppid=20742 vsize=15151148 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/20744/task/20745/stat : 20745 (java) R 20742 20742 18186 0 -1 4202560 9150 0 0 0 64 4 0 0 20 0 15 0 408937315 15514775552 22981 33554432000 4194304 4196468 140722233642816 140564978355976 140564565682768 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20746] ppid=20742 vsize=15151148 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20746/stat : 20746 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937316 15514775552 22981 33554432000 4194304 4196468 140722233642816 140564885777552 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20747] ppid=20742 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20747/stat : 20747 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937316 15514775552 22981 33554432000 4194304 4196468 140722233642816 140564565584912 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20748] ppid=20742 vsize=15151148 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20748/stat : 20748 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937316 15514775552 22981 33554432000 4194304 4196468 140722233642816 140564564532112 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20749] ppid=20742 vsize=15151148 memory=38300 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20749/stat : 20749 (java) S 20742 20742 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408937316 15514775552 22981 33554432000 4194304 4196468 140722233642816 140564563479312 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20750] ppid=20742 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20750/stat : 20750 (java) S 20742 20742 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408937317 15514775552 22981 33554432000 4194304 4196468 140722233642816 140564442384752 140564974131842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20751] ppid=20742 vsize=15151148 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20751/stat : 20751 (java) S 20742 20742 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408937317 15514775552 22981 33554432000 4194304 4196468 140722233642816 140564441330720 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20752] ppid=20742 vsize=15151148 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20752/stat : 20752 (java) S 20742 20742 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408937318 15514775552 22981 33554432000 4194304 4196468 140722233642816 140564440277872 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20753] ppid=20742 vsize=15151148 memory=580 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20753/stat : 20753 (java) S 20742 20742 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408937320 15514775552 22981 33554432000 4194304 4196468 140722233642816 140564439226192 140564974139291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20754] ppid=20742 vsize=15151148 memory=1720 CPUtime=0.36 cores=1,3,5,7
/proc/20744/task/20754/stat : 20754 (java) R 20742 20742 18186 0 -1 4202560 1421 0 0 0 36 0 0 0 20 0 15 0 408937320 15514775552 22981 33554432000 4194304 4196468 140722233642816 140564438174704 140564974142042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20755] ppid=20742 vsize=15151148 memory=10604 CPUtime=0.34 cores=1,3,5,7
/proc/20744/task/20755/stat : 20755 (java) R 20742 20742 18186 0 -1 4202560 1384 0 0 0 34 0 0 0 20 0 15 0 408937320 15514775552 22981 33554432000 4194304 4196468 140722233642816 140564437120176 140564974132630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20756] ppid=20742 vsize=15151148 memory=3360 CPUtime=0.41 cores=1,3,5,7
/proc/20744/task/20756/stat : 20756 (java) R 20742 20742 18186 0 -1 4202560 1921 0 0 0 41 0 0 0 20 0 15 0 408937320 15514775552 22981 33554432000 4194304 4196468 140722233642816 140564436066768 140564974132630 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20757] ppid=20742 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20757/stat : 20757 (java) S 20742 20742 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408937320 15514775552 22981 33554432000 4194304 4196468 140722233642816 140564435016416 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20758] ppid=20742 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20758/stat : 20758 (java) S 20742 20742 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408937320 15514775552 22981 33554432000 4194304 4196468 140722233642816 140564433963696 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 93372 KiB

[startup+1.50113 s]
/proc/loadavg: 7.87 6.27 4.19 9/234 20758
/proc/meminfo: memFree=19170772/32770624 swapFree=66959212/67108860
[pid=20742] ppid=20739 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20742/stat : 20742 (xcsp3-exec) S 20739 20742 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408937314 115843072 362 33554432000 4194304 5098028 140725881250768 140725881248872 140679832982140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18907136 140725881258874 140725881259117 140725881259117 140725881262026 0
/proc/20742/statm: 28282 362 304 221 0 87 0

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

/proc/20744/stat : 20744 (java) S 20742 20742 18186 0 -1 1077944320 99980 0 0 0 231143 185 0 0 20 0 19 0 408937315 15790571520 224184 33554432000 4194304 4196468 140722233642816 140722233625360 140564974120695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
/proc/20744/statm: 3855120 224184 3532 1 0 3816222 0
[pid=20744/tid=20745] ppid=20742 vsize=15420480 memory=897228 CPUtime=1.08 cores=1,3,5,7
/proc/20744/task/20745/stat : 20745 (java) S 20742 20742 18186 0 -1 1077944384 12207 0 0 0 103 5 0 0 20 0 19 0 408937315 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564978361472 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20746] ppid=20742 vsize=15420480 memory=897232 CPUtime=0.29 cores=1,3,5,7
/proc/20744/task/20746/stat : 20746 (java) S 20742 20742 18186 0 -1 1077944384 3371 0 0 0 22 7 0 0 20 0 19 0 408937316 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564885777552 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20747] ppid=20742 vsize=15420480 memory=896720 CPUtime=0.27 cores=1,3,5,7
/proc/20744/task/20747/stat : 20747 (java) S 20742 20742 18186 0 -1 1077944384 2937 0 0 0 20 7 0 0 20 0 19 0 408937316 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564565584912 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20748] ppid=20742 vsize=15420480 memory=897228 CPUtime=0.27 cores=1,3,5,7
/proc/20744/task/20748/stat : 20748 (java) S 20742 20742 18186 0 -1 1077944384 3559 0 0 0 21 6 0 0 20 0 19 0 408937316 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564564532112 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20749] ppid=20742 vsize=15420480 memory=897228 CPUtime=0.28 cores=1,3,5,7
/proc/20744/task/20749/stat : 20749 (java) S 20742 20742 18186 0 -1 1077944384 3757 0 0 0 20 8 0 0 20 0 19 0 408937316 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564563479312 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20750] ppid=20742 vsize=15420480 memory=896736 CPUtime=1.59 cores=1,3,5,7
/proc/20744/task/20750/stat : 20750 (java) S 20742 20742 18186 0 -1 1077944384 4890 0 0 0 37 122 0 0 20 0 19 0 408937317 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564442384752 140564974131842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20751] ppid=20742 vsize=15420480 memory=896736 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20751/stat : 20751 (java) S 20742 20742 18186 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408937317 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564441330784 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20752] ppid=20742 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20752/stat : 20752 (java) S 20742 20742 18186 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 408937318 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564440277872 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20753] ppid=20742 vsize=15420480 memory=896736 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20753/stat : 20753 (java) S 20742 20742 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408937320 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564439226192 140564974139291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20754] ppid=20742 vsize=15420480 memory=1448 CPUtime=3.41 cores=1,3,5,7
/proc/20744/task/20754/stat : 20754 (java) S 20742 20742 18186 0 -1 1077944384 18082 0 0 0 339 2 0 0 20 0 19 0 408937320 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564438174576 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20755] ppid=20742 vsize=15420480 memory=1448 CPUtime=3.14 cores=1,3,5,7
/proc/20744/task/20755/stat : 20755 (java) S 20742 20742 18186 0 -1 1077944384 11839 0 0 0 313 1 0 0 20 0 19 0 408937320 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564437121776 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20756] ppid=20742 vsize=15420480 memory=1448 CPUtime=0.86 cores=1,3,5,7
/proc/20744/task/20756/stat : 20756 (java) S 20742 20742 18186 0 -1 1077944384 9674 0 0 0 85 1 0 0 20 0 19 0 408937320 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564436068976 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20757] ppid=20742 vsize=15420480 memory=897228 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20757/stat : 20757 (java) S 20742 20742 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408937320 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564435016416 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20758] ppid=20742 vsize=15420480 memory=1060 CPUtime=0.24 cores=1,3,5,7
/proc/20744/task/20758/stat : 20758 (java) R 20742 20742 18186 0 -1 1077944384 789 0 0 0 20 4 0 0 20 0 19 0 408937320 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564433963696 140564974131842 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20793] ppid=20742 vsize=15420480 memory=2828 CPUtime=473.69 cores=1,3,5,7
/proc/20744/task/20793/stat : 20793 (java) R 20742 20742 18186 0 -1 4202560 1449 0 0 0 47368 1 0 0 20 0 19 0 408947801 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564424992448 140564573288299 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20794] ppid=20742 vsize=15420480 memory=1448 CPUtime=474.96 cores=1,3,5,7
/proc/20744/task/20794/stat : 20794 (java) R 20742 20742 18186 0 -1 4202560 7001 0 0 0 47494 2 0 0 20 0 19 0 408947801 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564421832440 140564575095989 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20795] ppid=20742 vsize=15420480 memory=1448 CPUtime=471.45 cores=1,3,5,7
/proc/20744/task/20795/stat : 20795 (java) R 20742 20742 18186 0 -1 4202560 1990 0 0 0 47145 0 0 0 20 0 19 0 408947801 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564418683024 140564575580256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20796] ppid=20742 vsize=15420480 memory=1448 CPUtime=474.97 cores=1,3,5,7
/proc/20744/task/20796/stat : 20796 (java) R 20742 20742 18186 0 -1 4202560 1576 0 0 0 47496 1 0 0 20 0 19 0 408947801 15790571520 224184 33554432000 4194304 4196468 140722233642816 140564422885680 140564574359393 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
Current children cumulated CPU time: 2313.28 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 898184 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+604.301 s]
/proc/loadavg: 8.43 8.16 6.23 9/238 21153
/proc/meminfo: memFree=16749656/32770624 swapFree=66959212/67108860
[pid=20742] ppid=20739 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20742/stat : 20742 (xcsp3-exec) S 20739 20742 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408937314 115843072 362 33554432000 4194304 5098028 140725881250768 140725881248872 140679832982140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18907136 140725881258874 140725881259117 140725881259117 140725881262026 0
/proc/20742/statm: 28282 362 304 221 0 87 0
[pid=20744] ppid=20742 vsize=15420480 memory=919788 CPUtime=2400.12 cores=1,3,5,7
/proc/20744/stat : 20744 (java) S 20742 20742 18186 0 -1 1077944320 102738 0 0 0 239799 213 0 0 20 0 19 0 408937315 15790571520 229947 33554432000 4194304 4196468 140722233642816 140722233625360 140564974120695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
/proc/20744/statm: 3855120 229947 3532 1 0 3816222 0
[pid=20744/tid=20745] ppid=20742 vsize=15420480 memory=919788 CPUtime=1.08 cores=1,3,5,7
/proc/20744/task/20745/stat : 20745 (java) S 20742 20742 18186 0 -1 1077944384 12207 0 0 0 103 5 0 0 20 0 19 0 408937315 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564978361472 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20746] ppid=20742 vsize=15420480 memory=919788 CPUtime=0.31 cores=1,3,5,7
/proc/20744/task/20746/stat : 20746 (java) S 20742 20742 18186 0 -1 1077944384 3509 0 0 0 24 7 0 0 20 0 19 0 408937316 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564885777552 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20747] ppid=20742 vsize=15420480 memory=897228 CPUtime=0.3 cores=1,3,5,7
/proc/20744/task/20747/stat : 20747 (java) S 20742 20742 18186 0 -1 1077944384 2949 0 0 0 23 7 0 0 20 0 19 0 408937316 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564565584912 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20748] ppid=20742 vsize=15420480 memory=907484 CPUtime=0.31 cores=1,3,5,7
/proc/20744/task/20748/stat : 20748 (java) S 20742 20742 18186 0 -1 1077944384 3574 0 0 0 24 7 0 0 20 0 19 0 408937316 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564564532112 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20749] ppid=20742 vsize=15420480 memory=907484 CPUtime=0.31 cores=1,3,5,7
/proc/20744/task/20749/stat : 20749 (java) S 20742 20742 18186 0 -1 1077944384 3776 0 0 0 23 8 0 0 20 0 19 0 408937316 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564563479312 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20750] ppid=20742 vsize=15420480 memory=1448 CPUtime=1.94 cores=1,3,5,7
/proc/20744/task/20750/stat : 20750 (java) S 20742 20742 18186 0 -1 1077944384 4937 0 0 0 44 150 0 0 20 0 19 0 408937317 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564442384752 140564974131842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20751] ppid=20742 vsize=15420480 memory=919788 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20751/stat : 20751 (java) S 20742 20742 18186 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408937317 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564441330784 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20752] ppid=20742 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20752/stat : 20752 (java) S 20742 20742 18186 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 408937318 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564440277872 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20753] ppid=20742 vsize=15420480 memory=919788 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20753/stat : 20753 (java) S 20742 20742 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408937320 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564439226192 140564974139291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20754] ppid=20742 vsize=15420480 memory=919788 CPUtime=3.41 cores=1,3,5,7
/proc/20744/task/20754/stat : 20754 (java) S 20742 20742 18186 0 -1 1077944384 18082 0 0 0 339 2 0 0 20 0 19 0 408937320 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564438174576 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20755] ppid=20742 vsize=15420480 memory=919788 CPUtime=3.18 cores=1,3,5,7
/proc/20744/task/20755/stat : 20755 (java) S 20742 20742 18186 0 -1 1077944384 13255 0 0 0 317 1 0 0 20 0 19 0 408937320 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564437121776 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20756] ppid=20742 vsize=15420480 memory=1448 CPUtime=0.86 cores=1,3,5,7
/proc/20744/task/20756/stat : 20756 (java) R 20742 20742 18186 0 -1 1077944384 10497 0 0 0 85 1 0 0 20 0 19 0 408937320 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564436068976 140564974131842 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20757] ppid=20742 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20757/stat : 20757 (java) S 20742 20742 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408937320 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564435016416 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20758] ppid=20742 vsize=15420480 memory=1448 CPUtime=0.28 cores=1,3,5,7
/proc/20744/task/20758/stat : 20758 (java) S 20742 20742 18186 0 -1 1077944384 809 0 0 0 24 4 0 0 20 0 19 0 408937320 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564433963696 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20793] ppid=20742 vsize=15420480 memory=14048 CPUtime=495.19 cores=1,3,5,7
/proc/20744/task/20793/stat : 20793 (java) R 20742 20742 18186 0 -1 4202560 1471 0 0 0 49518 1 0 0 20 0 19 0 408947801 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564424989448 140564573018912 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20794] ppid=20742 vsize=15420480 memory=1448 CPUtime=496.52 cores=1,3,5,7
/proc/20744/task/20794/stat : 20794 (java) R 20742 20742 18186 0 -1 4202560 7166 0 0 0 49650 2 0 0 20 0 19 0 408947801 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564421835168 140564575820307 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20795] ppid=20742 vsize=15420480 memory=1448 CPUtime=492.93 cores=1,3,5,7
/proc/20744/task/20795/stat : 20795 (java) R 20742 20742 18186 0 -1 4202560 2056 0 0 0 49293 0 0 0 20 0 19 0 408947801 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564418682352 140564572287788 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20796] ppid=20742 vsize=15420480 memory=1448 CPUtime=496.77 cores=1,3,5,7
/proc/20744/task/20796/stat : 20796 (java) R 20742 20742 18186 0 -1 4202560 1591 0 0 0 49676 1 0 0 20 0 19 0 408947801 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564422885680 140564575820803 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 921236 KiB

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

[startup+604.328 s]
# the end of solver process 20742 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002284 s, system=0 s

[startup+604.423 s]
# the end of solver process 20744 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.4 s, system=2.16055 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

[startup+604.301 s]
/proc/loadavg: 8.43 8.16 6.23 9/238 21153
/proc/meminfo: memFree=16749656/32770624 swapFree=66959212/67108860
[pid=20742] ppid=20739 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20742/stat : 20742 (xcsp3-exec) S 20739 20742 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408937314 115843072 362 33554432000 4194304 5098028 140725881250768 140725881248872 140679832982140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18907136 140725881258874 140725881259117 140725881259117 140725881262026 0
/proc/20742/statm: 28282 362 304 221 0 87 0
[pid=20744] ppid=20742 vsize=15420480 memory=919788 CPUtime=2400.12 cores=1,3,5,7
/proc/20744/stat : 20744 (java) S 20742 20742 18186 0 -1 1077944320 102738 0 0 0 239799 213 0 0 20 0 19 0 408937315 15790571520 229947 33554432000 4194304 4196468 140722233642816 140722233625360 140564974120695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
/proc/20744/statm: 3855120 229947 3532 1 0 3816222 0
[pid=20744/tid=20745] ppid=20742 vsize=15420480 memory=919788 CPUtime=1.08 cores=1,3,5,7
/proc/20744/task/20745/stat : 20745 (java) S 20742 20742 18186 0 -1 1077944384 12207 0 0 0 103 5 0 0 20 0 19 0 408937315 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564978361472 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20746] ppid=20742 vsize=15420480 memory=919788 CPUtime=0.31 cores=1,3,5,7
/proc/20744/task/20746/stat : 20746 (java) S 20742 20742 18186 0 -1 1077944384 3509 0 0 0 24 7 0 0 20 0 19 0 408937316 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564885777552 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20747] ppid=20742 vsize=15420480 memory=897228 CPUtime=0.3 cores=1,3,5,7
/proc/20744/task/20747/stat : 20747 (java) S 20742 20742 18186 0 -1 1077944384 2949 0 0 0 23 7 0 0 20 0 19 0 408937316 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564565584912 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20748] ppid=20742 vsize=15420480 memory=907484 CPUtime=0.31 cores=1,3,5,7
/proc/20744/task/20748/stat : 20748 (java) S 20742 20742 18186 0 -1 1077944384 3574 0 0 0 24 7 0 0 20 0 19 0 408937316 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564564532112 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20749] ppid=20742 vsize=15420480 memory=907484 CPUtime=0.31 cores=1,3,5,7
/proc/20744/task/20749/stat : 20749 (java) S 20742 20742 18186 0 -1 1077944384 3776 0 0 0 23 8 0 0 20 0 19 0 408937316 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564563479312 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20750] ppid=20742 vsize=15420480 memory=1448 CPUtime=1.94 cores=1,3,5,7
/proc/20744/task/20750/stat : 20750 (java) S 20742 20742 18186 0 -1 1077944384 4937 0 0 0 44 150 0 0 20 0 19 0 408937317 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564442384752 140564974131842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20751] ppid=20742 vsize=15420480 memory=919788 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20751/stat : 20751 (java) S 20742 20742 18186 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408937317 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564441330784 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20752] ppid=20742 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20752/stat : 20752 (java) S 20742 20742 18186 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 408937318 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564440277872 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20753] ppid=20742 vsize=15420480 memory=919788 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20753/stat : 20753 (java) S 20742 20742 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408937320 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564439226192 140564974139291 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20754] ppid=20742 vsize=15420480 memory=919788 CPUtime=3.41 cores=1,3,5,7
/proc/20744/task/20754/stat : 20754 (java) S 20742 20742 18186 0 -1 1077944384 18082 0 0 0 339 2 0 0 20 0 19 0 408937320 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564438174576 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20755] ppid=20742 vsize=15420480 memory=919788 CPUtime=3.18 cores=1,3,5,7
/proc/20744/task/20755/stat : 20755 (java) S 20742 20742 18186 0 -1 1077944384 13255 0 0 0 317 1 0 0 20 0 19 0 408937320 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564437121776 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20756] ppid=20742 vsize=15420480 memory=1448 CPUtime=0.86 cores=1,3,5,7
/proc/20744/task/20756/stat : 20756 (java) R 20742 20742 18186 0 -1 1077944384 10497 0 0 0 85 1 0 0 20 0 19 0 408937320 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564436068976 140564974131842 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20757] ppid=20742 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20744/task/20757/stat : 20757 (java) S 20742 20742 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408937320 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564435016416 140564974130901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20758] ppid=20742 vsize=15420480 memory=1448 CPUtime=0.28 cores=1,3,5,7
/proc/20744/task/20758/stat : 20758 (java) S 20742 20742 18186 0 -1 1077944384 809 0 0 0 24 4 0 0 20 0 19 0 408937320 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564433963696 140564974131842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20793] ppid=20742 vsize=15420480 memory=14048 CPUtime=495.19 cores=1,3,5,7
/proc/20744/task/20793/stat : 20793 (java) R 20742 20742 18186 0 -1 4202560 1471 0 0 0 49518 1 0 0 20 0 19 0 408947801 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564424989448 140564573018912 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20794] ppid=20742 vsize=15420480 memory=1448 CPUtime=496.52 cores=1,3,5,7
/proc/20744/task/20794/stat : 20794 (java) R 20742 20742 18186 0 -1 4202560 7166 0 0 0 49650 2 0 0 20 0 19 0 408947801 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564421835168 140564575820307 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20795] ppid=20742 vsize=15420480 memory=1448 CPUtime=492.93 cores=1,3,5,7
/proc/20744/task/20795/stat : 20795 (java) R 20742 20742 18186 0 -1 4202560 2056 0 0 0 49293 0 0 0 20 0 19 0 408947801 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564418682352 140564572287788 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
[pid=20744/tid=20796] ppid=20742 vsize=15420480 memory=1448 CPUtime=496.77 cores=1,3,5,7
/proc/20744/task/20796/stat : 20796 (java) R 20742 20742 18186 0 -1 4202560 1591 0 0 0 49676 1 0 0 20 0 19 0 408947801 15790571520 229947 33554432000 4194304 4196468 140722233642816 140564422885680 140564575820803 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39342080 140722233644015 140722233644186 140722233644186 140722233647055 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 921236 KiB

Child status: 143
Real time (s): 604.423
CPU time (s): 2400.56
CPU user time (s): 2398.4
CPU system time (s): 2.16055
CPU usage (%): 397.165
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 1146296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.4
system time used= 2.16055
maximum resident set size= 1152792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104104
page faults= 0
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18299
involuntary context switches= 44133


# summary of solver processes directly reported to runsolver:
#   pid: 20742,20744
#   total CPU time (s): 2400.56
#   total CPU user time (s): 2398.4
#   total CPU system time (s): 2.16055

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.67605 second user time and 7.24029 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-P-n40-k5.xml
MD5SUM	aadfd6ed706e08b9468e37c047f4c189
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	514
Best CPU time to get the best result obtained on this benchmark	2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables	1640
Number of constraints	1599
Number of domains	3
Minimum domain size	1
Maximum domain size	141
Distribution of domain sizes	[{"size":1,"count":40},{"size":2,"count":1560},{"size":141,"count":39}]
Minimum variable degree	0
Maximum variable degree	77
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":40},{"degree":2,"count":78},{"degree":4,"count":1482},{"degree":77,"count":39}]
Minimum constraint arity	1
Maximum constraint arity	39
Distribution of constraint arities	[{"arity":1,"count":39},{"arity":3,"count":1482},{"arity":39,"count":78}]
Number of extensional constraints	0
Number of intensional constraints	39
Distribution of constraint types	[{"type":"intension","count":39},{"type":"sum","count":1482},{"type":"count","count":78}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4394323

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