2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT (TO)	1487	2520.1101	2493.73

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269361-1502762820.xml"  -tl '2520s' -p 1 -x 0
0.11/0.26	c [HOME/instance-4269361-1502762820.xml, -tl, 2520s, -p, 1, -x, 0]
0.30/0.32	c simple solver
0.30/0.39	c parse instance...
1.32/0.79	c solve instance...
3.26/1.39	o 2147 
3.57/1.40	o 2089 
3.57/1.40	o 2059 
3.57/1.41	o 2044 
3.57/1.42	o 2042 
3.57/1.43	o 2012 
3.57/1.47	o 2011 
3.57/1.48	o 2003 
3.57/1.50	o 1954 
6.30/2.40	o 1933 
6.30/2.40	o 1905 
6.30/2.41	o 1878 
6.30/2.41	o 1861 
6.30/2.42	o 1842 
6.30/2.42	o 1825 
6.30/2.44	o 1781 
6.30/2.45	o 1769 
6.57/2.50	o 1747 
1890.01/1872.33	o 1723 
1891.04/1873.33	o 1718 
1891.04/1873.34	o 1702 
1891.04/1873.35	o 1696 
1891.04/1873.36	o 1668 
1891.04/1873.39	o 1667 
1892.86/1874.99	o 1659 
1892.86/1875.00	o 1656 
1892.99/1875.01	o 1653 
1892.99/1875.07	o 1643 
1892.99/1875.07	o 1600 
1896.73/1878.67	o 1579 
1896.73/1878.67	o 1553 
1896.73/1878.68	o 1503 
1896.73/1878.68	o 1487 
2520.07/2493.70	s SATISFIABLE
2520.07/2493.70	v <instantiation>
2520.07/2493.70	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list>
2520.07/2493.70	v 	<values>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 1 1 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 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 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 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 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 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 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 1 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 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 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 1 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 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 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 1 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 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 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 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 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 1 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 1 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 43 89 47 85 31 87 22 75 86 65 42 68 47 68 74 53 30 19 76 42 45 30 92 32 19 13 8 74 26 98 74 59 76 54 100 </values>
2520.07/2493.70	v </instantiation>
2520.07/2493.70	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 (15045 MiB free)
  memory of node 1: 16384 MiB (15589 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269361-1502762820/watcher-4269361-1502762820 -o /tmp/evaluation-result-4269361-1502762820/solver-4269361-1502762820 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1527943943 HOME/instance-4269361-1502762820.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=31885, runsolver pid=31882

[startup+0.105703 s]*
/proc/loadavg: 1.53 1.49 1.55 3/202 31892
/proc/meminfo: memFree=31363700/32770624 swapFree=67108860/67108860
[pid=31885] ppid=31882 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31885/stat : 31885 (xcsp3-exec) S 31882 31885 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64622658 9740288 344 18446744073709551615 4194304 5098028 140725110553888 140725110551992 139670823211644 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30887936 140725110555000 140725110555205 140725110555205 140725110558699 0
/proc/31885/statm: 2378 344 289 221 0 87 0
[pid=31887] ppid=31885 vsize=13507920 memory=18000 CPUtime=0.02 cores=1,3,5,7
/proc/31887/stat : 31887 (java) S 31885 31885 11586 0 -1 1077944320 3818 0 0 0 2 0 0 0 20 0 8 0 64622666 13832110080 4500 18446744073709551615 4194304 4196468 140734898602928 140734898585472 139810822151927 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
/proc/31887/statm: 3376980 4500 2025 1 0 3366477 0
[pid=31887/tid=31888] ppid=31885 vsize=13507920 memory=-8713483618642721370 CPUtime=0.02 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (java) R 31885 31885 11586 0 -1 4202560 2543 0 0 0 2 0 0 0 20 0 8 0 64622666 13832110080 4500 18446744073709551615 4194304 4196468 140734898602928 139810826391984 139810807834419 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31889] ppid=31885 vsize=13507920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (java) S 31885 31885 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 64622667 13832110080 4500 18446744073709551615 4194304 4196468 140734898602928 139810421795088 139810822162133 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31890] ppid=31885 vsize=13507920 memory=140619579455104 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (java) S 31885 31885 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 64622667 13832110080 4500 18446744073709551615 4194304 4196468 140734898602928 139810420742544 139810822162133 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31891] ppid=31885 vsize=13507920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31891/stat : 31891 (java) S 31885 31885 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 64622667 13832110080 4500 18446744073709551615 4194304 4196468 140734898602928 139810419690000 139810822162133 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31892] ppid=31885 vsize=13507920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31892/stat : 31892 (java) S 31885 31885 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 64622667 13832110080 4500 18446744073709551615 4194304 4196468 140734898602928 139810418637456 139810822162133 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31893] ppid=31885 vsize=13507920 memory=140619579455104 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31893/stat : 31893 (java) S 31885 31885 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 64622669 13832110080 4500 18446744073709551615 4194304 4196468 140734898602928 139810007468528 139810822163074 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31894] ppid=31885 vsize=13507920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31894/stat : 31894 (java) S 31885 31885 11586 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 64622669 13832110080 4500 18446744073709551615 4194304 4196468 140734898602928 139810006413648 139810822162133 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 19376 KiB

[startup+0.211331 s]*
/proc/loadavg: 1.53 1.49 1.55 5/211 31901
/proc/meminfo: memFree=31354736/32770624 swapFree=67108860/67108860
[pid=31885] ppid=31882 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31885/stat : 31885 (xcsp3-exec) S 31882 31885 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64622658 9740288 344 18446744073709551615 4194304 5098028 140725110553888 140725110551992 139670823211644 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30887936 140725110555000 140725110555205 140725110555205 140725110558699 0
/proc/31885/statm: 2378 344 289 221 0 87 0
[pid=31887] ppid=31885 vsize=13974352 memory=27176 CPUtime=0.11 cores=1,3,5,7
/proc/31887/stat : 31887 (java) S 31885 31885 11586 0 -1 1077944320 5194 0 0 0 10 1 0 0 20 0 15 0 64622666 14309736448 6728 18446744073709551615 4194304 4196468 140734898602928 140734898585472 139810822151927 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
/proc/31887/statm: 3493588 6794 2769 1 0 3482964 0
[pid=31887/tid=31888] ppid=31885 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (java) R 31885 31885 11586 0 -1 4202560 3319 0 0 0 8 0 0 0 20 0 15 0 64622666 14309736448 6794 18446744073709551615 4194304 4196468 140734898602928 139810826381344 139810806264189 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31889] ppid=31885 vsize=13974352 memory=1358 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (java) S 31885 31885 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622667 14309736448 6794 18446744073709551615 4194304 4196468 140734898602928 139810421795088 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31890] ppid=31885 vsize=13974352 memory=140619580142600 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (java) S 31885 31885 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64622667 14309736448 6794 18446744073709551615 4194304 4196468 140734898602928 139810420742544 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31891] ppid=31885 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31891/stat : 31891 (java) S 31885 31885 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64622667 14309736448 6794 18446744073709551615 4194304 4196468 140734898602928 139810419690000 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31892] ppid=31885 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31892/stat : 31892 (java) S 31885 31885 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622667 14309736448 6794 18446744073709551615 4194304 4196468 140734898602928 139810418637456 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31893] ppid=31885 vsize=13974352 memory=140619579455104 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31893/stat : 31893 (java) S 31885 31885 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64622669 14309736448 6794 18446744073709551615 4194304 4196468 140734898602928 139810007468528 139810822163074 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31894] ppid=31885 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31894/stat : 31894 (java) S 31885 31885 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64622669 14309736448 6860 18446744073709551615 4194304 4196468 140734898602928 139810006414752 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31895] ppid=31885 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31895/stat : 31895 (java) S 31885 31885 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64622669 14309736448 6860 18446744073709551615 4194304 4196468 140734898602928 139810005362160 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31896] ppid=31885 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31896/stat : 31896 (java) S 31885 31885 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622672 14309736448 6926 18446744073709551615 4194304 4196468 140734898602928 139810004310736 139810822170523 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31897] ppid=31885 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31897/stat : 31897 (java) R 31885 31885 11586 0 -1 4202560 409 0 0 0 0 0 0 0 20 0 15 0 64622672 14309736448 6926 18446744073709551615 4194304 4196468 140734898602928 139810003257328 139810802733880 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31898] ppid=31885 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31898/stat : 31898 (java) S 31885 31885 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64622672 14309736448 6926 18446744073709551615 4194304 4196468 140734898602928 139810002204784 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31899] ppid=31885 vsize=13974352 memory=140619579455104 CPUtime=0.01 cores=1,3,5,7
/proc/31887/task/31899/stat : 31899 (java) S 31885 31885 11586 0 -1 1077944384 236 0 0 0 1 0 0 0 20 0 15 0 64622672 14309736448 6926 18446744073709551615 4194304 4196468 140734898602928 139810001152240 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31900] ppid=31885 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31900/stat : 31900 (java) S 31885 31885 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622672 14309736448 6926 18446744073709551615 4194304 4196468 140734898602928 139810000099936 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31901] ppid=31885 vsize=13974352 memory=140619579455104 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31901/stat : 31901 (java) S 31885 31885 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622676 14309736448 6926 18446744073709551615 4194304 4196468 140734898602928 139809999047472 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28552 KiB

[startup+0.310255 s]*
/proc/loadavg: 1.53 1.49 1.55 4/211 31901
/proc/meminfo: memFree=31343060/32770624 swapFree=67108860/67108860
[pid=31885] ppid=31882 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31885/stat : 31885 (xcsp3-exec) S 31882 31885 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64622658 9740288 344 18446744073709551615 4194304 5098028 140725110553888 140725110551992 139670823211644 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30887936 140725110555000 140725110555205 140725110555205 140725110558699 0
/proc/31885/statm: 2378 344 289 221 0 87 0
[pid=31887] ppid=31885 vsize=13974352 memory=39856 CPUtime=0.3 cores=1,3,5,7
/proc/31887/stat : 31887 (java) S 31885 31885 11586 0 -1 1077944320 9141 0 0 0 28 2 0 0 20 0 15 0 64622666 14309736448 9964 18446744073709551615 4194304 4196468 140734898602928 140734898585472 139810822151927 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
/proc/31887/statm: 3493588 9964 3011 1 0 3482964 0
[pid=31887/tid=31888] ppid=31885 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (java) S 31885 31885 11586 0 -1 1077944384 6226 0 0 0 16 1 0 0 20 0 15 0 64622666 14309736448 9964 18446744073709551615 4194304 4196468 140734898602928 139810826388624 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31889] ppid=31885 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (java) S 31885 31885 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622667 14309736448 9964 18446744073709551615 4194304 4196468 140734898602928 139810421795088 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31890] ppid=31885 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (java) S 31885 31885 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64622667 14309736448 9964 18446744073709551615 4194304 4196468 140734898602928 139810420742544 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31891] ppid=31885 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31891/stat : 31891 (java) S 31885 31885 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64622667 14309736448 9964 18446744073709551615 4194304 4196468 140734898602928 139810419690000 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31892] ppid=31885 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31892/stat : 31892 (java) S 31885 31885 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622667 14309736448 9964 18446744073709551615 4194304 4196468 140734898602928 139810418637456 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31893] ppid=31885 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31893/stat : 31893 (java) S 31885 31885 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64622669 14309736448 9964 18446744073709551615 4194304 4196468 140734898602928 139810007468528 139810822163074 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31894] ppid=31885 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31894/stat : 31894 (java) S 31885 31885 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64622669 14309736448 9964 18446744073709551615 4194304 4196468 140734898602928 139810006414752 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31895] ppid=31885 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31895/stat : 31895 (java) S 31885 31885 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64622669 14309736448 9964 18446744073709551615 4194304 4196468 140734898602928 139810005362160 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31896] ppid=31885 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31896/stat : 31896 (java) S 31885 31885 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622672 14309736448 9964 18446744073709551615 4194304 4196468 140734898602928 139810004310736 139810822170523 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31897] ppid=31885 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31887/task/31897/stat : 31897 (java) R 31885 31885 11586 0 -1 4202560 630 0 0 0 2 0 0 0 20 0 15 0 64622672 14309736448 9964 18446744073709551615 4194304 4196468 140734898602928 139810003243352 139810814389054 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31898] ppid=31885 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31887/task/31898/stat : 31898 (java) R 31885 31885 11586 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 15 0 64622672 14309736448 9964 18446744073709551615 4194304 4196468 140734898602928 139810002204784 139810822163074 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31899] ppid=31885 vsize=13974352 memory=140619579455104 CPUtime=0.06 cores=1,3,5,7
/proc/31887/task/31899/stat : 31899 (java) R 31885 31885 11586 0 -1 4202560 715 0 0 0 6 0 0 0 20 0 15 0 64622672 14309736448 9964 18446744073709551615 4194304 4196468 140734898602928 139810001152240 139810822163862 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31900] ppid=31885 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31900/stat : 31900 (java) S 31885 31885 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622672 14309736448 9964 18446744073709551615 4194304 4196468 140734898602928 139810000099936 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31901] ppid=31885 vsize=13974352 memory=140619579455104 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31901/stat : 31901 (java) S 31885 31885 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622676 14309736448 9964 18446744073709551615 4194304 4196468 140734898602928 139809999047472 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41232 KiB

[startup+0.701054 s]
/proc/loadavg: 1.53 1.49 1.55 3/211 31901
/proc/meminfo: memFree=31331496/32770624 swapFree=67108860/67108860
[pid=31885] ppid=31882 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31885/stat : 31885 (xcsp3-exec) S 31882 31885 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64622658 9740288 344 18446744073709551615 4194304 5098028 140725110553888 140725110551992 139670823211644 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30887936 140725110555000 140725110555205 140725110555205 140725110558699 0
/proc/31885/statm: 2378 344 289 221 0 87 0
[pid=31887] ppid=31885 vsize=13980732 memory=71716 CPUtime=1.32 cores=1,3,5,7
/proc/31887/stat : 31887 (java) S 31885 31885 11586 0 -1 1077944320 13134 0 0 0 127 5 0 0 20 0 15 0 64622666 14316269568 17929 18446744073709551615 4194304 4196468 140734898602928 140734898585472 139810822151927 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
/proc/31887/statm: 3495183 17929 3172 1 0 3483476 0
[pid=31887/tid=31888] ppid=31885 vsize=13980732 memory=7089862504538521701 CPUtime=0.56 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (java) R 31885 31885 11586 0 -1 4202560 7989 0 0 0 53 3 0 0 20 0 15 0 64622666 14316269568 17929 18446744073709551615 4194304 4196468 140734898602928 139810826388960 139810806232414 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31889] ppid=31885 vsize=13980732 memory=5859296735906648144 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (java) S 31885 31885 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622667 14316269568 17929 18446744073709551615 4194304 4196468 140734898602928 139810421795088 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31890] ppid=31885 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (java) S 31885 31885 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64622667 14316269568 17929 18446744073709551615 4194304 4196468 140734898602928 139810420742544 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31891] ppid=31885 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31891/stat : 31891 (java) S 31885 31885 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64622667 14316269568 17929 18446744073709551615 4194304 4196468 140734898602928 139810419690000 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31892] ppid=31885 vsize=13980732 memory=140619443872368 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31892/stat : 31892 (java) S 31885 31885 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622667 14316269568 17929 18446744073709551615 4194304 4196468 140734898602928 139810418637456 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31893] ppid=31885 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31893/stat : 31893 (java) S 31885 31885 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64622669 14316269568 17929 18446744073709551615 4194304 4196468 140734898602928 139810007468528 139810822163074 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31894] ppid=31885 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31894/stat : 31894 (java) S 31885 31885 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64622669 14316269568 17929 18446744073709551615 4194304 4196468 140734898602928 139810006414752 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31895] ppid=31885 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31895/stat : 31895 (java) S 31885 31885 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64622669 14316269568 17929 18446744073709551615 4194304 4196468 140734898602928 139810005362160 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31896] ppid=31885 vsize=13980732 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31896/stat : 31896 (java) S 31885 31885 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622672 14316269568 17929 18446744073709551615 4194304 4196468 140734898602928 139810004310736 139810822170523 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31897] ppid=31885 vsize=13980732 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/31887/task/31897/stat : 31897 (java) R 31885 31885 11586 0 -1 1077944384 1274 0 0 0 19 0 0 0 20 0 15 0 64622672 14316269568 17929 18446744073709551615 4194304 4196468 140734898602928 139810003244400 139810822162133 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31898] ppid=31885 vsize=13980732 memory=-6079718012894977833 CPUtime=0.21 cores=1,3,5,7
/proc/31887/task/31898/stat : 31898 (java) R 31885 31885 11586 0 -1 4202560 916 0 0 0 21 0 0 0 20 0 15 0 64622672 14316269568 17929 18446744073709551615 4194304 4196468 140734898602928 139810002190808 139810800291505 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31899] ppid=31885 vsize=13980732 memory=6944656575208382560 CPUtime=0.32 cores=1,3,5,7
/proc/31887/task/31899/stat : 31899 (java) R 31885 31885 11586 0 -1 4202560 1648 0 0 0 32 0 0 0 20 0 15 0 64622672 14316269568 17929 18446744073709551615 4194304 4196468 140734898602928 139810001150032 139810822163862 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31900] ppid=31885 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31900/stat : 31900 (java) S 31885 31885 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622672 14316269568 17929 18446744073709551615 4194304 4196468 140734898602928 139810000099936 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31901] ppid=31885 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31901/stat : 31901 (java) S 31885 31885 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622676 14316269568 17929 18446744073709551615 4194304 4196468 140734898602928 139809999047472 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 73092 KiB

[startup+1.50082 s]
/proc/loadavg: 1.53 1.49 1.55 5/211 31901
/proc/meminfo: memFree=31293196/32770624 swapFree=67108860/67108860
[pid=31885] ppid=31882 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31885/stat : 31885 (xcsp3-exec) S 31882 31885 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64622658 9740288 344 18446744073709551615 4194304 5098028 140725110553888 140725110551992 139670823211644 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30887936 140725110555000 140725110555205 140725110555205 140725110558699 0
/proc/31885/statm: 2378 344 289 221 0 87 0
[pid=31887] ppid=31885 vsize=13980732 memory=136572 CPUtime=3.88 cores=1,3,5,7
/proc/31887/stat : 31887 (java) S 31885 31885 11586 0 -1 1077944320 24584 0 0 0 381 7 0 0 20 0 15 0 64622666 14316269568 34143 18446744073709551615 4194304 4196468 140734898602928 140734898585472 139810822151927 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
/proc/31887/statm: 3495183 34143 3190 1 0 3483476 0
[pid=31887/tid=31888] ppid=31885 vsize=13980732 memory=1376 CPUtime=1.36 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (java) R 31885 31885 11586 0 -1 4202560 8911 0 0 0 132 4 0 0 20 0 15 0 64622666 14316269568 34143 18446744073709551615 4194304 4196468 140734898602928 139810826390560 139810464478766 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31889] ppid=31885 vsize=13980732 memory=97340 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (java) S 31885 31885 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622667 14316269568 34143 18446744073709551615 4194304 4196468 140734898602928 139810421795088 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31890] ppid=31885 vsize=13980732 memory=281238887729624 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (java) S 31885 31885 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64622667 14316269568 34143 18446744073709551615 4194304 4196468 140734898602928 139810420742544 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31891] ppid=31885 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31891/stat : 31891 (java) S 31885 31885 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64622667 14316269568 34143 18446744073709551615 4194304 4196468 140734898602928 139810419690000 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31892] ppid=31885 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31892/stat : 31892 (java) S 31885 31885 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64622667 14316269568 34143 18446744073709551615 4194304 4196468 140734898602928 139810418637456 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31893] ppid=31885 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7

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

/proc/31887/task/31895/stat : 31895 (java) S 31885 31885 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 64622669 14316269568 1112252 18446744073709551615 4194304 4196468 140734898602928 139810005362160 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31896] ppid=31885 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31896/stat : 31896 (java) S 31885 31885 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622672 14316269568 1112252 18446744073709551615 4194304 4196468 140734898602928 139810004310736 139810822170523 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31897] ppid=31885 vsize=13980732 memory=36660 CPUtime=2.72 cores=1,3,5,7
/proc/31887/task/31897/stat : 31897 (java) S 31885 31885 11586 0 -1 1077944384 20837 0 0 0 269 3 0 0 20 0 15 0 64622672 14316269568 1112252 18446744073709551615 4194304 4196468 140734898602928 139810003257328 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31898] ppid=31885 vsize=13980732 memory=3908 CPUtime=2.59 cores=1,3,5,7
/proc/31887/task/31898/stat : 31898 (java) S 31885 31885 11586 0 -1 1077944384 16005 0 0 0 257 2 0 0 20 0 15 0 64622672 14316269568 1112252 18446744073709551615 4194304 4196468 140734898602928 139810002204784 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31899] ppid=31885 vsize=13980732 memory=2864 CPUtime=0.69 cores=1,3,5,7
/proc/31887/task/31899/stat : 31899 (java) S 31885 31885 11586 0 -1 1077944384 9631 0 0 0 68 1 0 0 20 0 15 0 64622672 14316269568 1112252 18446744073709551615 4194304 4196468 140734898602928 139810001152240 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31900] ppid=31885 vsize=13980732 memory=4094116 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31900/stat : 31900 (java) S 31885 31885 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622672 14316269568 1112252 18446744073709551615 4194304 4196468 140734898602928 139810000099936 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31901] ppid=31885 vsize=13980732 memory=1376 CPUtime=0.7 cores=1,3,5,7
/proc/31887/task/31901/stat : 31901 (java) S 31885 31885 11586 0 -1 1077944384 1599 0 0 0 31 39 0 0 20 0 15 0 64622676 14316269568 1112252 18446744073709551615 4194304 4196468 140734898602928 139809999047472 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
Current children cumulated CPU time: 2406.81 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4450384 KiB

[startup+2442.3 s]
/proc/loadavg: 1.54 1.42 1.47 3/212 32146
/proc/meminfo: memFree=26130932/32770624 swapFree=67108860/67108860
[pid=31885] ppid=31882 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31885/stat : 31885 (xcsp3-exec) S 31882 31885 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64622658 9740288 344 18446744073709551615 4194304 5098028 140725110553888 140725110551992 139670823211644 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30887936 140725110555000 140725110555205 140725110555205 140725110558699 0
/proc/31885/statm: 2378 344 289 221 0 87 0
[pid=31887] ppid=31885 vsize=13980732 memory=4454720 CPUtime=2467.59 cores=1,3,5,7
/proc/31887/stat : 31887 (java) S 31885 31885 11586 0 -1 1077944320 184656 0 0 0 246457 302 0 0 20 0 15 0 64622666 14316269568 1113680 18446744073709551615 4194304 4196468 140734898602928 140734898585472 139810822151927 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
/proc/31887/statm: 3495183 1113680 3251 1 0 3483476 0
[pid=31887/tid=31888] ppid=31885 vsize=13980732 memory=4452672 CPUtime=2433.73 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (java) R 31885 31885 11586 0 -1 4202560 87635 0 0 0 243176 197 0 0 20 0 15 0 64622666 14316269568 1113680 18446744073709551615 4194304 4196468 140734898602928 139810826391376 139810468548725 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31889] ppid=31885 vsize=13980732 memory=4452676 CPUtime=6.43 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (java) S 31885 31885 11586 0 -1 1077944384 8806 0 0 0 630 13 0 0 20 0 15 0 64622667 14316269568 1113680 18446744073709551615 4194304 4196468 140734898602928 139810421795088 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31890] ppid=31885 vsize=13980732 memory=1376 CPUtime=6.42 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (java) S 31885 31885 11586 0 -1 1077944384 8556 0 0 0 630 12 0 0 20 0 15 0 64622667 14316269568 1113680 18446744073709551615 4194304 4196468 140734898602928 139810420742544 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31891] ppid=31885 vsize=13980732 memory=4452676 CPUtime=6.42 cores=1,3,5,7
/proc/31887/task/31891/stat : 31891 (java) S 31885 31885 11586 0 -1 1077944384 8419 0 0 0 630 12 0 0 20 0 15 0 64622667 14316269568 1113680 18446744073709551615 4194304 4196468 140734898602928 139810419690000 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31892] ppid=31885 vsize=13980732 memory=4451652 CPUtime=6.41 cores=1,3,5,7
/proc/31887/task/31892/stat : 31892 (java) S 31885 31885 11586 0 -1 1077944384 7252 0 0 0 629 12 0 0 20 0 15 0 64622667 14316269568 1113680 18446744073709551615 4194304 4196468 140734898602928 139810418637456 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31893] ppid=31885 vsize=13980732 memory=4451652 CPUtime=1.35 cores=1,3,5,7
/proc/31887/task/31893/stat : 31893 (java) S 31885 31885 11586 0 -1 1077944384 14560 0 0 0 115 20 0 0 20 0 15 0 64622669 14316269568 1113680 18446744073709551615 4194304 4196468 140734898602928 139810007468528 139810822163074 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31894] ppid=31885 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31894/stat : 31894 (java) S 31885 31885 11586 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64622669 14316269568 1113680 18446744073709551615 4194304 4196468 140734898602928 139810006414752 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31895] ppid=31885 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31895/stat : 31895 (java) S 31885 31885 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 64622669 14316269568 1113680 18446744073709551615 4194304 4196468 140734898602928 139810005362160 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31896] ppid=31885 vsize=13980732 memory=4454720 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31896/stat : 31896 (java) S 31885 31885 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622672 14316269568 1113680 18446744073709551615 4194304 4196468 140734898602928 139810004310736 139810822170523 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31897] ppid=31885 vsize=13980732 memory=1376 CPUtime=2.72 cores=1,3,5,7
/proc/31887/task/31897/stat : 31897 (java) S 31885 31885 11586 0 -1 1077944384 20837 0 0 0 269 3 0 0 20 0 15 0 64622672 14316269568 1113680 18446744073709551615 4194304 4196468 140734898602928 139810003257328 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31898] ppid=31885 vsize=13980732 memory=4450624 CPUtime=2.59 cores=1,3,5,7
/proc/31887/task/31898/stat : 31898 (java) S 31885 31885 11586 0 -1 1077944384 16005 0 0 0 257 2 0 0 20 0 15 0 64622672 14316269568 1113680 18446744073709551615 4194304 4196468 140734898602928 139810002204784 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31899] ppid=31885 vsize=13980732 memory=1376 CPUtime=0.69 cores=1,3,5,7
/proc/31887/task/31899/stat : 31899 (java) S 31885 31885 11586 0 -1 1077944384 9631 0 0 0 68 1 0 0 20 0 15 0 64622672 14316269568 1113680 18446744073709551615 4194304 4196468 140734898602928 139810001152240 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31900] ppid=31885 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31900/stat : 31900 (java) S 31885 31885 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622672 14316269568 1113680 18446744073709551615 4194304 4196468 140734898602928 139810000099936 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31901] ppid=31885 vsize=13980732 memory=4454720 CPUtime=0.71 cores=1,3,5,7
/proc/31887/task/31901/stat : 31901 (java) S 31885 31885 11586 0 -1 1077944384 1603 0 0 0 31 40 0 0 20 0 15 0 64622676 14316269568 1113680 18446744073709551615 4194304 4196468 140734898602928 139809999047472 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
Current children cumulated CPU time: 2467.59 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4456096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2493.7 s]
/proc/loadavg: 1.49 1.43 1.47 3/212 32148
/proc/meminfo: memFree=25639752/32770624 swapFree=67108860/67108860
[pid=31885] ppid=31882 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31885/stat : 31885 (xcsp3-exec) S 31882 31885 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64622658 9740288 344 18446744073709551615 4194304 5098028 140725110553888 140725110551992 139670823211644 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30887936 140725110555000 140725110555205 140725110555205 140725110558699 0
/proc/31885/statm: 2378 344 289 221 0 87 0
[pid=31887] ppid=31885 vsize=13980732 memory=4455740 CPUtime=2520.07 cores=1,3,5,7
/proc/31887/stat : 31887 (java) S 31885 31885 11586 0 -1 1077944320 184719 0 0 0 251704 303 0 0 20 0 15 0 64622666 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 140734898585472 139810822151927 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
/proc/31887/statm: 3495183 1113935 3251 1 0 3483476 0
[pid=31887/tid=31888] ppid=31885 vsize=13980732 memory=4455740 CPUtime=2484.75 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (java) R 31885 31885 11586 0 -1 4202560 87667 0 0 0 248277 198 0 0 20 0 15 0 64622666 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810826391376 139810467453271 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31889] ppid=31885 vsize=13980732 memory=1376 CPUtime=6.79 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (java) S 31885 31885 11586 0 -1 1077944384 8810 0 0 0 666 13 0 0 20 0 15 0 64622667 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810421795088 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31890] ppid=31885 vsize=13980732 memory=4455740 CPUtime=6.78 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (java) S 31885 31885 11586 0 -1 1077944384 8563 0 0 0 666 12 0 0 20 0 15 0 64622667 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810420742544 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31891] ppid=31885 vsize=13980732 memory=4456252 CPUtime=6.78 cores=1,3,5,7
/proc/31887/task/31891/stat : 31891 (java) S 31885 31885 11586 0 -1 1077944384 8422 0 0 0 666 12 0 0 20 0 15 0 64622667 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810419690000 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31892] ppid=31885 vsize=13980732 memory=4456252 CPUtime=6.77 cores=1,3,5,7
/proc/31887/task/31892/stat : 31892 (java) S 31885 31885 11586 0 -1 1077944384 7256 0 0 0 665 12 0 0 20 0 15 0 64622667 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810418637456 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31893] ppid=31885 vsize=13980732 memory=1376 CPUtime=1.36 cores=1,3,5,7
/proc/31887/task/31893/stat : 31893 (java) S 31885 31885 11586 0 -1 1077944384 14569 0 0 0 116 20 0 0 20 0 15 0 64622669 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810007468528 139810822163074 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31894] ppid=31885 vsize=13980732 memory=4453696 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31894/stat : 31894 (java) S 31885 31885 11586 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64622669 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810006414752 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31895] ppid=31885 vsize=13980732 memory=4455740 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31895/stat : 31895 (java) S 31885 31885 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 64622669 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810005362160 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31896] ppid=31885 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31896/stat : 31896 (java) S 31885 31885 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622672 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810004310736 139810822170523 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31897] ppid=31885 vsize=13980732 memory=4455740 CPUtime=2.72 cores=1,3,5,7
/proc/31887/task/31897/stat : 31897 (java) S 31885 31885 11586 0 -1 1077944384 20837 0 0 0 269 3 0 0 20 0 15 0 64622672 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810003257328 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31898] ppid=31885 vsize=13980732 memory=1376 CPUtime=2.59 cores=1,3,5,7
/proc/31887/task/31898/stat : 31898 (java) S 31885 31885 11586 0 -1 1077944384 16005 0 0 0 257 2 0 0 20 0 15 0 64622672 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810002204784 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31899] ppid=31885 vsize=13980732 memory=1376 CPUtime=0.69 cores=1,3,5,7
/proc/31887/task/31899/stat : 31899 (java) S 31885 31885 11586 0 -1 1077944384 9631 0 0 0 68 1 0 0 20 0 15 0 64622672 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810001152240 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31900] ppid=31885 vsize=13980732 memory=4455740 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31900/stat : 31900 (java) S 31885 31885 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622672 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810000099936 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31901] ppid=31885 vsize=13980732 memory=4120 CPUtime=0.74 cores=1,3,5,7
/proc/31887/task/31901/stat : 31901 (java) S 31885 31885 11586 0 -1 1077944384 1607 0 0 0 33 41 0 0 20 0 15 0 64622676 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139809999047472 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4457116 KiB

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

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

[startup+2493.73 s]
# the end of solver process 31887 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.06 s, system=3.05267 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+2493.7 s]
/proc/loadavg: 1.49 1.43 1.47 3/212 32148
/proc/meminfo: memFree=25639752/32770624 swapFree=67108860/67108860
[pid=31885] ppid=31882 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31885/stat : 31885 (xcsp3-exec) S 31882 31885 11586 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64622658 9740288 344 18446744073709551615 4194304 5098028 140725110553888 140725110551992 139670823211644 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 30887936 140725110555000 140725110555205 140725110555205 140725110558699 0
/proc/31885/statm: 2378 344 289 221 0 87 0
[pid=31887] ppid=31885 vsize=13980732 memory=4455740 CPUtime=2520.07 cores=1,3,5,7
/proc/31887/stat : 31887 (java) S 31885 31885 11586 0 -1 1077944320 184719 0 0 0 251704 303 0 0 20 0 15 0 64622666 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 140734898585472 139810822151927 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
/proc/31887/statm: 3495183 1113935 3251 1 0 3483476 0
[pid=31887/tid=31888] ppid=31885 vsize=13980732 memory=4455740 CPUtime=2484.75 cores=1,3,5,7
/proc/31887/task/31888/stat : 31888 (java) R 31885 31885 11586 0 -1 4202560 87667 0 0 0 248277 198 0 0 20 0 15 0 64622666 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810826391376 139810467453271 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31889] ppid=31885 vsize=13980732 memory=1376 CPUtime=6.79 cores=1,3,5,7
/proc/31887/task/31889/stat : 31889 (java) S 31885 31885 11586 0 -1 1077944384 8810 0 0 0 666 13 0 0 20 0 15 0 64622667 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810421795088 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31890] ppid=31885 vsize=13980732 memory=4455740 CPUtime=6.78 cores=1,3,5,7
/proc/31887/task/31890/stat : 31890 (java) S 31885 31885 11586 0 -1 1077944384 8563 0 0 0 666 12 0 0 20 0 15 0 64622667 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810420742544 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31891] ppid=31885 vsize=13980732 memory=4456252 CPUtime=6.78 cores=1,3,5,7
/proc/31887/task/31891/stat : 31891 (java) S 31885 31885 11586 0 -1 1077944384 8422 0 0 0 666 12 0 0 20 0 15 0 64622667 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810419690000 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31892] ppid=31885 vsize=13980732 memory=4456252 CPUtime=6.77 cores=1,3,5,7
/proc/31887/task/31892/stat : 31892 (java) S 31885 31885 11586 0 -1 1077944384 7256 0 0 0 665 12 0 0 20 0 15 0 64622667 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810418637456 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31893] ppid=31885 vsize=13980732 memory=1376 CPUtime=1.36 cores=1,3,5,7
/proc/31887/task/31893/stat : 31893 (java) S 31885 31885 11586 0 -1 1077944384 14569 0 0 0 116 20 0 0 20 0 15 0 64622669 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810007468528 139810822163074 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31894] ppid=31885 vsize=13980732 memory=4453696 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31894/stat : 31894 (java) S 31885 31885 11586 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64622669 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810006414752 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31895] ppid=31885 vsize=13980732 memory=4455740 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31895/stat : 31895 (java) S 31885 31885 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 64622669 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810005362160 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31896] ppid=31885 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31896/stat : 31896 (java) S 31885 31885 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622672 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810004310736 139810822170523 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31897] ppid=31885 vsize=13980732 memory=4455740 CPUtime=2.72 cores=1,3,5,7
/proc/31887/task/31897/stat : 31897 (java) S 31885 31885 11586 0 -1 1077944384 20837 0 0 0 269 3 0 0 20 0 15 0 64622672 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810003257328 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31898] ppid=31885 vsize=13980732 memory=1376 CPUtime=2.59 cores=1,3,5,7
/proc/31887/task/31898/stat : 31898 (java) S 31885 31885 11586 0 -1 1077944384 16005 0 0 0 257 2 0 0 20 0 15 0 64622672 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810002204784 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31899] ppid=31885 vsize=13980732 memory=1376 CPUtime=0.69 cores=1,3,5,7
/proc/31887/task/31899/stat : 31899 (java) S 31885 31885 11586 0 -1 1077944384 9631 0 0 0 68 1 0 0 20 0 15 0 64622672 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810001152240 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31900] ppid=31885 vsize=13980732 memory=4455740 CPUtime=0 cores=1,3,5,7
/proc/31887/task/31900/stat : 31900 (java) S 31885 31885 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64622672 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139810000099936 139810822162133 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
[pid=31887/tid=31901] ppid=31885 vsize=13980732 memory=4120 CPUtime=0.74 cores=1,3,5,7
/proc/31887/task/31901/stat : 31901 (java) S 31885 31885 11586 0 -1 1077944384 1607 0 0 0 33 41 0 0 20 0 15 0 64622676 14316269568 1113935 18446744073709551615 4194304 4196468 140734898602928 139809999047472 139810822163074 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 11239424 140734898610609 140734898610785 140734898610785 140734898614223 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4457116 KiB

Child status: 143
Real time (s): 2493.73
CPU time (s): 2520.11
CPU user time (s): 2517.06
CPU system time (s): 3.05267
CPU usage (%): 101.058
Max. virtual memory (cumulated for all children) (KiB): 13992616
Max. memory (cumulated for all children) (KiB): 4457628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.06
system time used= 3.05267
maximum resident set size= 4456912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86908
involuntary context switches= 2905


# summary of solver processes directly reported to runsolver:
#   pid: 31885,31887
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2517.06
#   total CPU system time (s): 3.05267

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0371 second user time and 20.1281 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml
MD5SUM	bb36812fd58cb568268e8c9b807d30b9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	853
Best CPU time to get the best result obtained on this benchmark	2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	1332
Number of constraints	1295
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":36},{"size":2,"count":1260},{"size":101,"count":35}]
Minimum variable degree	0
Maximum variable degree	69
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":36},{"degree":2,"count":70},{"degree":4,"count":1190},{"degree":69,"count":35}]
Minimum constraint arity	1
Maximum constraint arity	35
Distribution of constraint arities	[{"arity":1,"count":35},{"arity":3,"count":1190},{"arity":35,"count":70}]
Number of extensional constraints	0
Number of intensional constraints	35
Distribution of constraint types	[{"type":"intension","count":35},{"type":"sum","count":1190},{"type":"count","count":70}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4269361

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