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 5a (2017-07-26)	SAT (TO)	1560	2520.04	2445.4099

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272301-1502760589.xml"  -tl '2520s' -p 1 -x 3
0.10/0.26	c [HOME/instance-4272301-1502760589.xml, -tl, 2520s, -p, 1, -x, 3]
0.31/0.32	c simple solver
0.31/0.39	c parse instance...
1.65/0.81	c solve instance...
9.10/3.23	o 1842 
9.36/3.36	o 1840 
9.66/3.43	o 1837 
10.30/3.67	o 1829 
10.88/3.82	o 1812 
10.88/3.83	o 1808 
11.16/3.92	o 1798 
841.84/812.42	o 1792 
841.84/812.46	o 1785 
841.94/812.52	o 1784 
841.94/812.53	o 1773 
841.94/812.57	o 1771 
891.85/860.57	o 1769 
891.85/860.58	o 1703 
891.95/860.63	o 1689 
892.15/860.85	o 1678 
892.25/860.98	o 1664 
1476.51/1430.25	o 1603 
1801.38/1746.20	o 1586 
1801.38/1746.25	o 1570 
1802.38/1747.26	o 1567 
1802.78/1747.61	o 1560 
2520.02/2445.40	s SATISFIABLE
2520.02/2445.40	v <instantiation>
2520.02/2445.40	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.02/2445.40	v 	<values>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 1 0 0 0 1 0 1 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 70 87 47 32 67 49 73 94 69 66 78 43 14 92 51 23 88 45 51 87 15 26 21 49 42 13 22 15 84 34 66 12 36 23 98 </values>
2520.02/2445.40	v </instantiation>
2520.02/2445.40	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14935 MiB free)
  memory of node 1: 16384 MiB (14418 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272301-1502760589/watcher-4272301-1502760589 -o /tmp/evaluation-result-4272301-1502760589/solver-4272301-1502760589 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1924269826 HOME/instance-4272301-1502760589.xml 

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

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=29562, runsolver pid=29559

[startup+0.107283 s]*
/proc/loadavg: 1.78 1.80 1.77 4/204 29570
/proc/meminfo: memFree=30053044/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 78279527 9740288 344 18446744073709551615 4194304 5098028 140737119444032 140737119442136 139653868163708 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38608896 140737119445368 140737119445573 140737119445573 140737119449067 0
/proc/29562/statm: 2378 344 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13574484 memory=18460 CPUtime=0.02 cores=0,2,4,6
/proc/29564/stat : 29564 (java) S 29562 29562 897 0 -1 1077944320 3962 0 0 0 2 0 0 0 20 0 9 0 78279535 13900271616 4615 18446744073709551615 4194304 4196468 140736967159808 140736967142352 140471863103223 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
/proc/29564/statm: 3393621 4615 2065 1 0 3383118 0
[pid=29564/tid=29565] ppid=29562 vsize=13574484 memory=7311146985107750967 CPUtime=0.02 cores=0,2,4,6
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 897 0 -1 4202560 2666 0 0 0 2 0 0 0 20 0 9 0 78279536 13900271616 4615 18446744073709551615 4194304 4196468 140736967159808 140471867338952 140471847183710 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29566] ppid=29562 vsize=13574484 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 78279536 13900271616 4615 18446744073709551615 4194304 4196468 140736967159808 140471463058064 140471863113429 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29567] ppid=29562 vsize=13574484 memory=140678739015002 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 78279536 13900271616 4615 18446744073709551615 4194304 4196468 140736967159808 140471462005264 140471863113429 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29568] ppid=29562 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 78279536 13900271616 4615 18446744073709551615 4194304 4196468 140736967159808 140471460952464 140471863113429 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29569] ppid=29562 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29569/stat : 29569 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 78279536 13900271616 4615 18446744073709551615 4194304 4196468 140736967159808 140471459899664 140471863113429 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29570] ppid=29562 vsize=13574484 memory=140678738986624 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29570/stat : 29570 (java) S 29562 29562 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 78279538 13900271616 4615 18446744073709551615 4194304 4196468 140736967159808 140471408855920 140471863114370 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29571] ppid=29562 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29571/stat : 29571 (java) S 29562 29562 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 78279538 13900271616 4679 18446744073709551615 4194304 4196468 140736967159808 140471407801888 140471863113429 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29572] ppid=29562 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29572/stat : 29572 (java) S 29562 29562 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 78279538 13900271616 4679 18446744073709551615 4194304 4196468 140736967159808 140471406749104 140471863113429 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19836 KiB

[startup+0.210072 s]*
/proc/loadavg: 1.78 1.80 1.77 3/212 29578
/proc/meminfo: memFree=30041652/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 78279527 9740288 344 18446744073709551615 4194304 5098028 140737119444032 140737119442136 139653868163708 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38608896 140737119445368 140737119445573 140737119445573 140737119449067 0
/proc/29562/statm: 2378 344 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13974352 memory=29188 CPUtime=0.1 cores=0,2,4,6
/proc/29564/stat : 29564 (java) S 29562 29562 897 0 -1 1077944320 5202 0 0 0 9 1 0 0 20 0 15 0 78279535 14309736448 7297 18446744073709551615 4194304 4196468 140736967159808 140736967142352 140471863103223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
/proc/29564/statm: 3493588 7297 2754 1 0 3482964 0
[pid=29564/tid=29565] ppid=29562 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=0,2,4,6
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 897 0 -1 4202560 3347 0 0 0 7 0 0 0 20 0 15 0 78279536 14309736448 7297 18446744073709551615 4194304 4196468 140736967159808 140471867335216 140471485734609 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29566] ppid=29562 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78279536 14309736448 7297 18446744073709551615 4194304 4196468 140736967159808 140471463058064 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29567] ppid=29562 vsize=13974352 memory=140678739015002 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78279536 14309736448 7297 18446744073709551615 4194304 4196468 140736967159808 140471462005264 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29568] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78279536 14309736448 7297 18446744073709551615 4194304 4196468 140736967159808 140471460952464 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29569] ppid=29562 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29569/stat : 29569 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78279536 14309736448 7297 18446744073709551615 4194304 4196468 140736967159808 140471459899664 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29570] ppid=29562 vsize=13974352 memory=140678738986624 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29570/stat : 29570 (java) S 29562 29562 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78279538 14309736448 7297 18446744073709551615 4194304 4196468 140736967159808 140471408855920 140471863114370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29571] ppid=29562 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29571/stat : 29571 (java) S 29562 29562 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78279538 14309736448 7297 18446744073709551615 4194304 4196468 140736967159808 140471407801888 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29572] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29572/stat : 29572 (java) S 29562 29562 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78279538 14309736448 7297 18446744073709551615 4194304 4196468 140736967159808 140471406749040 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29573] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29573/stat : 29573 (java) S 29562 29562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78279541 14309736448 7297 18446744073709551615 4194304 4196468 140736967159808 140471405697360 140471863121819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29574] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29574/stat : 29574 (java) S 29562 29562 897 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 78279541 14309736448 7297 18446744073709551615 4194304 4196468 140736967159808 140471404644720 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29575] ppid=29562 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29575/stat : 29575 (java) S 29562 29562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78279541 14309736448 7297 18446744073709551615 4194304 4196468 140736967159808 140471403591920 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29576] ppid=29562 vsize=13974352 memory=140678738986624 CPUtime=0.01 cores=0,2,4,6
/proc/29564/task/29576/stat : 29576 (java) S 29562 29562 897 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 15 0 78279541 14309736448 7297 18446744073709551615 4194304 4196468 140736967159808 140470974146672 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29577] ppid=29562 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29577/stat : 29577 (java) S 29562 29562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78279541 14309736448 7297 18446744073709551615 4194304 4196468 140736967159808 140470973094112 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29578] ppid=29562 vsize=13974352 memory=140678738986624 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29578/stat : 29578 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78279545 14309736448 7297 18446744073709551615 4194304 4196468 140736967159808 140470972042416 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30564 KiB

[startup+0.312529 s]*
/proc/loadavg: 1.78 1.80 1.77 4/212 29578
/proc/meminfo: memFree=30031024/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 78279527 9740288 344 18446744073709551615 4194304 5098028 140737119444032 140737119442136 139653868163708 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38608896 140737119445368 140737119445573 140737119445573 140737119449067 0
/proc/29562/statm: 2378 344 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13974352 memory=41644 CPUtime=0.31 cores=0,2,4,6
/proc/29564/stat : 29564 (java) S 29562 29562 897 0 -1 1077944320 9023 0 0 0 28 3 0 0 20 0 15 0 78279535 14309736448 10411 18446744073709551615 4194304 4196468 140736967159808 140736967142352 140471863103223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
/proc/29564/statm: 3493588 10411 3026 1 0 3482964 0
[pid=29564/tid=29565] ppid=29562 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 897 0 -1 4202560 6222 0 0 0 16 2 0 0 20 0 15 0 78279536 14309736448 10411 18446744073709551615 4194304 4196468 140736967159808 140471867339920 140471863115158 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29566] ppid=29562 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78279536 14309736448 10411 18446744073709551615 4194304 4196468 140736967159808 140471463058064 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29567] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78279536 14309736448 10411 18446744073709551615 4194304 4196468 140736967159808 140471462005264 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29568] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78279536 14309736448 10411 18446744073709551615 4194304 4196468 140736967159808 140471460952464 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29569] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29569/stat : 29569 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78279536 14309736448 10411 18446744073709551615 4194304 4196468 140736967159808 140471459899664 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29570] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29570/stat : 29570 (java) S 29562 29562 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78279538 14309736448 10411 18446744073709551615 4194304 4196468 140736967159808 140471408855920 140471863114370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29571] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29571/stat : 29571 (java) S 29562 29562 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78279538 14309736448 10411 18446744073709551615 4194304 4196468 140736967159808 140471407801888 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29572] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29572/stat : 29572 (java) S 29562 29562 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78279538 14309736448 10411 18446744073709551615 4194304 4196468 140736967159808 140471406749040 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29573] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29573/stat : 29573 (java) S 29562 29562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78279541 14309736448 10411 18446744073709551615 4194304 4196468 140736967159808 140471405697360 140471863121819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29574] ppid=29562 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29564/task/29574/stat : 29574 (java) S 29562 29562 897 0 -1 1077944384 683 0 0 0 2 0 0 0 20 0 15 0 78279541 14309736448 10411 18446744073709551615 4194304 4196468 140736967159808 140471404644848 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29575] ppid=29562 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29564/task/29575/stat : 29575 (java) R 29562 29562 897 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 15 0 78279541 14309736448 10411 18446744073709551615 4194304 4196468 140736967159808 140471403591920 140471863114370 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29576] ppid=29562 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/29564/task/29576/stat : 29576 (java) R 29562 29562 897 0 -1 4202560 739 0 0 0 6 0 0 0 20 0 15 0 78279541 14309736448 10411 18446744073709551615 4194304 4196468 140736967159808 140470974146672 140471855340350 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29577] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29577/stat : 29577 (java) S 29562 29562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78279541 14309736448 10411 18446744073709551615 4194304 4196468 140736967159808 140470973094112 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29578] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29578/stat : 29578 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78279545 14309736448 10411 18446744073709551615 4194304 4196468 140736967159808 140470972042416 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 43020 KiB

[startup+0.701517 s]
/proc/loadavg: 1.78 1.80 1.77 4/212 29578
/proc/meminfo: memFree=30017136/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 78279527 9740288 344 18446744073709551615 4194304 5098028 140737119444032 140737119442136 139653868163708 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38608896 140737119445368 140737119445573 140737119445573 140737119449067 0
/proc/29562/statm: 2378 344 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13980732 memory=76888 CPUtime=1.29 cores=0,2,4,6
/proc/29564/stat : 29564 (java) S 29562 29562 897 0 -1 1077944320 12889 0 0 0 124 5 0 0 20 0 15 0 78279535 14316269568 19222 18446744073709551615 4194304 4196468 140736967159808 140736967142352 140471863103223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
/proc/29564/statm: 3495183 19222 3172 1 0 3483476 0
[pid=29564/tid=29565] ppid=29562 vsize=13980732 memory=7881696724453321575 CPUtime=0.55 cores=0,2,4,6
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 897 0 -1 4202560 8010 0 0 0 52 3 0 0 20 0 15 0 78279536 14316269568 19222 18446744073709551615 4194304 4196468 140736967159808 140471867338448 140471863124570 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29566] ppid=29562 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78279536 14316269568 19222 18446744073709551615 4194304 4196468 140736967159808 140471463058064 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29567] ppid=29562 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78279536 14316269568 19222 18446744073709551615 4194304 4196468 140736967159808 140471462005264 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29568] ppid=29562 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78279536 14316269568 19222 18446744073709551615 4194304 4196468 140736967159808 140471460952464 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29569] ppid=29562 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29569/stat : 29569 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78279536 14316269568 19222 18446744073709551615 4194304 4196468 140736967159808 140471459899664 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29570] ppid=29562 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29570/stat : 29570 (java) S 29562 29562 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78279538 14316269568 19222 18446744073709551615 4194304 4196468 140736967159808 140471408855920 140471863114370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29571] ppid=29562 vsize=13980732 memory=2000 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29571/stat : 29571 (java) S 29562 29562 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78279538 14316269568 19222 18446744073709551615 4194304 4196468 140736967159808 140471407801888 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29572] ppid=29562 vsize=13980732 memory=11000 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29572/stat : 29572 (java) S 29562 29562 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78279538 14316269568 19222 18446744073709551615 4194304 4196468 140736967159808 140471406749040 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29573] ppid=29562 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29573/stat : 29573 (java) S 29562 29562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78279541 14316269568 19222 18446744073709551615 4194304 4196468 140736967159808 140471405697360 140471863121819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29574] ppid=29562 vsize=13980732 memory=2241 CPUtime=0.21 cores=0,2,4,6
/proc/29564/task/29574/stat : 29574 (java) R 29562 29562 897 0 -1 4202560 1257 0 0 0 21 0 0 0 20 0 15 0 78279541 14316269568 19222 18446744073709551615 4194304 4196468 140736967159808 140471404644720 140471847835615 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29575] ppid=29562 vsize=13980732 memory=2244 CPUtime=0.18 cores=0,2,4,6
/proc/29564/task/29575/stat : 29575 (java) R 29562 29562 897 0 -1 4202560 762 0 0 0 18 0 0 0 20 0 15 0 78279541 14316269568 19222 18446744073709551615 4194304 4196468 140736967159808 140471403576880 140471848210828 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29576] ppid=29562 vsize=13980732 memory=1700 CPUtime=0.32 cores=0,2,4,6
/proc/29564/task/29576/stat : 29576 (java) S 29562 29562 897 0 -1 1077944384 1553 0 0 0 32 0 0 0 20 0 15 0 78279541 14316269568 19222 18446744073709551615 4194304 4196468 140736967159808 140470974146672 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29577] ppid=29562 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29577/stat : 29577 (java) S 29562 29562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78279541 14316269568 19222 18446744073709551615 4194304 4196468 140736967159808 140470973094112 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29578] ppid=29562 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29578/stat : 29578 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78279545 14316269568 19222 18446744073709551615 4194304 4196468 140736967159808 140470972042416 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 78264 KiB

[startup+1.50077 s]
/proc/loadavg: 1.78 1.80 1.77 5/212 29578
/proc/meminfo: memFree=29978732/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 78279527 9740288 344 18446744073709551615 4194304 5098028 140737119444032 140737119442136 139653868163708 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38608896 140737119445368 140737119445573 140737119445573 140737119449067 0
/proc/29562/statm: 2378 344 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13980732 memory=133248 CPUtime=3.94 cores=0,2,4,6
/proc/29564/stat : 29564 (java) S 29562 29562 897 0 -1 1077944320 23757 0 0 0 388 6 0 0 20 0 15 0 78279535 14316269568 33312 18446744073709551615 4194304 4196468 140736967159808 140736967142352 140471863103223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
/proc/29564/statm: 3495183 33312 3192 1 0 3483476 0
[pid=29564/tid=29565] ppid=29562 vsize=13980732 memory=115 CPUtime=1.35 cores=0,2,4,6
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 897 0 -1 4202560 8713 0 0 0 131 4 0 0 20 0 15 0 78279536 14316269568 33312 18446744073709551615 4194304 4196468 140736967159808 140471867339728 140471492039208 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29566] ppid=29562 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78279536 14316269568 33312 18446744073709551615 4194304 4196468 140736967159808 140471463058064 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29567] ppid=29562 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78279536 14316269568 33312 18446744073709551615 4194304 4196468 140736967159808 140471462005264 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29568] ppid=29562 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78279536 14316269568 33312 18446744073709551615 4194304 4196468 140736967159808 140471460952464 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29569] ppid=29562 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/29564/task/29572/stat : 29572 (java) S 29562 29562 897 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 78279538 14316269568 200994 18446744073709551615 4194304 4196468 140736967159808 140471406749056 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29573] ppid=29562 vsize=13980732 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29573/stat : 29573 (java) S 29562 29562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78279541 14316269568 200994 18446744073709551615 4194304 4196468 140736967159808 140471405697360 140471863121819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29574] ppid=29562 vsize=13980732 memory=1376 CPUtime=4.69 cores=0,2,4,6
/proc/29564/task/29574/stat : 29574 (java) S 29562 29562 897 0 -1 1077944384 35323 0 0 0 465 4 0 0 20 0 15 0 78279541 14316269568 200994 18446744073709551615 4194304 4196468 140736967159808 140471404644720 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29575] ppid=29562 vsize=13980732 memory=4116 CPUtime=4.68 cores=0,2,4,6
/proc/29564/task/29575/stat : 29575 (java) S 29562 29562 897 0 -1 1077944384 22561 0 0 0 466 2 0 0 20 0 15 0 78279541 14316269568 200994 18446744073709551615 4194304 4196468 140736967159808 140471403591920 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29576] ppid=29562 vsize=13980732 memory=1376 CPUtime=1 cores=0,2,4,6
/proc/29564/task/29576/stat : 29576 (java) S 29562 29562 897 0 -1 1077944384 14024 0 0 0 97 3 0 0 20 0 15 0 78279541 14316269568 200994 18446744073709551615 4194304 4196468 140736967159808 140470974146672 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29577] ppid=29562 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29577/stat : 29577 (java) S 29562 29562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78279541 14316269568 200994 18446744073709551615 4194304 4196468 140736967159808 140470973094112 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29578] ppid=29562 vsize=13980732 memory=1376 CPUtime=1.3 cores=0,2,4,6
/proc/29564/task/29578/stat : 29578 (java) S 29562 29562 897 0 -1 1077944384 1031 0 0 0 62 68 0 0 20 0 15 0 78279545 14316269568 200994 18446744073709551615 4194304 4196468 140736967159808 140470972042416 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
Current children cumulated CPU time: 2393.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 805352 KiB

[startup+2382.3 s]
/proc/loadavg: 1.69 1.69 1.69 4/211 29836
/proc/meminfo: memFree=29175840/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 78279527 9740288 344 18446744073709551615 4194304 5098028 140737119444032 140737119442136 139653868163708 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38608896 140737119445368 140737119445573 140737119445573 140737119449067 0
/proc/29562/statm: 2378 344 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13980732 memory=898244 CPUtime=2455.55 cores=0,2,4,6
/proc/29564/stat : 29564 (java) S 29562 29562 897 0 -1 1077944320 247284 0 0 0 245030 525 0 0 20 0 15 0 78279535 14316269568 224561 18446744073709551615 4194304 4196468 140736967159808 140736967142352 140471863103223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
/proc/29564/statm: 3495183 224561 3256 1 0 3483476 0
[pid=29564/tid=29565] ppid=29562 vsize=13980732 memory=898244 CPUtime=2360.51 cores=0,2,4,6
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 897 0 -1 4202560 62754 0 0 0 236019 32 0 0 20 0 15 0 78279536 14316269568 224561 18446744073709551615 4194304 4196468 140736967159808 140471867342672 140471494662061 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29566] ppid=29562 vsize=13980732 memory=898244 CPUtime=20.59 cores=0,2,4,6
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 897 0 -1 1077944384 13915 0 0 0 1953 106 0 0 20 0 15 0 78279536 14316269568 224561 18446744073709551615 4194304 4196468 140736967159808 140471463058064 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29567] ppid=29562 vsize=13980732 memory=898244 CPUtime=20.58 cores=0,2,4,6
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 897 0 -1 1077944384 12624 0 0 0 1952 106 0 0 20 0 15 0 78279536 14316269568 224561 18446744073709551615 4194304 4196468 140736967159808 140471462005264 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29568] ppid=29562 vsize=13980732 memory=1376 CPUtime=20.64 cores=0,2,4,6
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 897 0 -1 1077944384 14269 0 0 0 1959 105 0 0 20 0 15 0 78279536 14316269568 224561 18446744073709551615 4194304 4196468 140736967159808 140471460952464 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29569] ppid=29562 vsize=13980732 memory=898244 CPUtime=20.62 cores=0,2,4,6
/proc/29564/task/29569/stat : 29569 (java) S 29562 29562 897 0 -1 1077944384 11975 0 0 0 1960 102 0 0 20 0 15 0 78279536 14316269568 224561 18446744073709551615 4194304 4196468 140736967159808 140471459899664 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29570] ppid=29562 vsize=13980732 memory=898244 CPUtime=0.82 cores=0,2,4,6
/proc/29564/task/29570/stat : 29570 (java) S 29562 29562 897 0 -1 1077944384 57424 0 0 0 67 15 0 0 20 0 15 0 78279538 14316269568 224561 18446744073709551615 4194304 4196468 140736967159808 140471408855920 140471863114370 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29571] ppid=29562 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29571/stat : 29571 (java) S 29562 29562 897 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 78279538 14316269568 224561 18446744073709551615 4194304 4196468 140736967159808 140471407801952 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29572] ppid=29562 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29572/stat : 29572 (java) S 29562 29562 897 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 78279538 14316269568 224561 18446744073709551615 4194304 4196468 140736967159808 140471406749056 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29573] ppid=29562 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29573/stat : 29573 (java) S 29562 29562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78279541 14316269568 224561 18446744073709551615 4194304 4196468 140736967159808 140471405697360 140471863121819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29574] ppid=29562 vsize=13980732 memory=43248 CPUtime=4.69 cores=0,2,4,6
/proc/29564/task/29574/stat : 29574 (java) S 29562 29562 897 0 -1 1077944384 35324 0 0 0 465 4 0 0 20 0 15 0 78279541 14316269568 224561 18446744073709551615 4194304 4196468 140736967159808 140471404644720 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29575] ppid=29562 vsize=13980732 memory=1376 CPUtime=4.68 cores=0,2,4,6
/proc/29564/task/29575/stat : 29575 (java) S 29562 29562 897 0 -1 1077944384 22561 0 0 0 466 2 0 0 20 0 15 0 78279541 14316269568 224561 18446744073709551615 4194304 4196468 140736967159808 140471403591920 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29576] ppid=29562 vsize=13980732 memory=898244 CPUtime=1 cores=0,2,4,6
/proc/29564/task/29576/stat : 29576 (java) S 29562 29562 897 0 -1 1077944384 14025 0 0 0 97 3 0 0 20 0 15 0 78279541 14316269568 224561 18446744073709551615 4194304 4196468 140736967159808 140470974146672 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29577] ppid=29562 vsize=13980732 memory=164 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29577/stat : 29577 (java) S 29562 29562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78279541 14316269568 224561 18446744073709551615 4194304 4196468 140736967159808 140470973094112 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29578] ppid=29562 vsize=13980732 memory=3821661231822067326 CPUtime=1.33 cores=0,2,4,6
/proc/29564/task/29578/stat : 29578 (java) S 29562 29562 897 0 -1 1077944384 1037 0 0 0 64 69 0 0 20 0 15 0 78279545 14316269568 224561 18446744073709551615 4194304 4196468 140736967159808 140470972042416 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 21 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
Current children cumulated CPU time: 2455.55 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 899620 KiB

[startup+2442.3 s]
/proc/loadavg: 1.67 1.68 1.68 4/211 29838
/proc/meminfo: memFree=29371320/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 78279527 9740288 344 18446744073709551615 4194304 5098028 140737119444032 140737119442136 139653868163708 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38608896 140737119445368 140737119445573 140737119445573 140737119449067 0
/proc/29562/statm: 2378 344 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13980732 memory=747424 CPUtime=2516.85 cores=0,2,4,6
/proc/29564/stat : 29564 (java) S 29562 29562 897 0 -1 1077944320 248433 0 0 0 251158 527 0 0 20 0 15 0 78279535 14316269568 186856 18446744073709551615 4194304 4196468 140736967159808 140736967142352 140471863103223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
/proc/29564/statm: 3495183 186856 3256 1 0 3483476 0
[pid=29564/tid=29565] ppid=29562 vsize=13980732 memory=758708 CPUtime=2420.07 cores=0,2,4,6
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 897 0 -1 4202560 63386 0 0 0 241975 32 0 0 20 0 15 0 78279536 14316269568 186856 18446744073709551615 4194304 4196468 140736967159808 140471867343056 140471494384840 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29566] ppid=29562 vsize=13980732 memory=764352 CPUtime=21.02 cores=0,2,4,6
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 897 0 -1 1077944384 14086 0 0 0 1996 106 0 0 20 0 15 0 78279536 14316269568 186856 18446744073709551615 4194304 4196468 140736967159808 140471463058064 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29567] ppid=29562 vsize=13980732 memory=764352 CPUtime=20.99 cores=0,2,4,6
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 897 0 -1 1077944384 12655 0 0 0 1993 106 0 0 20 0 15 0 78279536 14316269568 186856 18446744073709551615 4194304 4196468 140736967159808 140471462005264 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29568] ppid=29562 vsize=13980732 memory=1376 CPUtime=21.06 cores=0,2,4,6
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 897 0 -1 1077944384 14341 0 0 0 2001 105 0 0 20 0 15 0 78279536 14316269568 186856 18446744073709551615 4194304 4196468 140736967159808 140471460952464 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29569] ppid=29562 vsize=13980732 memory=753068 CPUtime=21.04 cores=0,2,4,6
/proc/29564/task/29569/stat : 29569 (java) S 29562 29562 897 0 -1 1077944384 12032 0 0 0 2002 102 0 0 20 0 15 0 78279536 14316269568 186856 18446744073709551615 4194304 4196468 140736967159808 140471459899664 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29570] ppid=29562 vsize=13980732 memory=753068 CPUtime=0.83 cores=0,2,4,6
/proc/29564/task/29570/stat : 29570 (java) S 29562 29562 897 0 -1 1077944384 57591 0 0 0 68 15 0 0 20 0 15 0 78279538 14316269568 186856 18446744073709551615 4194304 4196468 140736967159808 140471408855920 140471863114370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29571] ppid=29562 vsize=13980732 memory=753068 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29571/stat : 29571 (java) S 29562 29562 897 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 78279538 14316269568 186856 18446744073709551615 4194304 4196468 140736967159808 140471407801952 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29572] ppid=29562 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29572/stat : 29572 (java) S 29562 29562 897 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 78279538 14316269568 186856 18446744073709551615 4194304 4196468 140736967159808 140471406749056 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29573] ppid=29562 vsize=13980732 memory=747424 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29573/stat : 29573 (java) S 29562 29562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78279541 14316269568 186856 18446744073709551615 4194304 4196468 140736967159808 140471405697360 140471863121819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29574] ppid=29562 vsize=13980732 memory=1376 CPUtime=4.69 cores=0,2,4,6
/proc/29564/task/29574/stat : 29574 (java) S 29562 29562 897 0 -1 1077944384 35326 0 0 0 465 4 0 0 20 0 15 0 78279541 14316269568 186856 18446744073709551615 4194304 4196468 140736967159808 140471404644720 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29575] ppid=29562 vsize=13980732 memory=1440 CPUtime=4.68 cores=0,2,4,6
/proc/29564/task/29575/stat : 29575 (java) S 29562 29562 897 0 -1 1077944384 22563 0 0 0 466 2 0 0 20 0 15 0 78279541 14316269568 186856 18446744073709551615 4194304 4196468 140736967159808 140471403591920 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29576] ppid=29562 vsize=13980732 memory=1376 CPUtime=1 cores=0,2,4,6
/proc/29564/task/29576/stat : 29576 (java) S 29562 29562 897 0 -1 1077944384 14026 0 0 0 97 3 0 0 20 0 15 0 78279541 14316269568 186856 18446744073709551615 4194304 4196468 140736967159808 140470974146672 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29577] ppid=29562 vsize=13980732 memory=753068 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29577/stat : 29577 (java) S 29562 29562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78279541 14316269568 186856 18446744073709551615 4194304 4196468 140736967159808 140470973094112 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29578] ppid=29562 vsize=13980732 memory=753068 CPUtime=1.37 cores=0,2,4,6
/proc/29564/task/29578/stat : 29578 (java) S 29562 29562 897 0 -1 1077944384 1051 0 0 0 66 71 0 0 20 0 15 0 78279545 14316269568 186856 18446744073709551615 4194304 4196468 140736967159808 140470972042416 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
Current children cumulated CPU time: 2516.85 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 748800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2445.4 s]
/proc/loadavg: 1.67 1.68 1.68 4/211 29839
/proc/meminfo: memFree=29354604/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 78279527 9740288 344 18446744073709551615 4194304 5098028 140737119444032 140737119442136 139653868163708 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 38608896 140737119445368 140737119445573 140737119445573 140737119449067 0
/proc/29562/statm: 2378 344 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13980732 memory=741780 CPUtime=2520.02 cores=0,2,4,6
/proc/29564/stat : 29564 (java) S 29562 29562 897 0 -1 1077944320 248449 0 0 0 251474 528 0 0 20 0 15 0 78279535 14316269568 185445 18446744073709551615 4194304 4196468 140736967159808 140736967142352 140471863103223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
/proc/29564/statm: 3495183 185445 3256 1 0 3483476 0
[pid=29564/tid=29565] ppid=29562 vsize=13980732 memory=3148 CPUtime=2423.14 cores=0,2,4,6
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 897 0 -1 4202560 63388 0 0 0 242282 32 0 0 20 0 15 0 78279536 14316269568 185445 18446744073709551615 4194304 4196468 140736967159808 140471867342736 140471494384858 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29566] ppid=29562 vsize=13980732 memory=1380 CPUtime=21.04 cores=0,2,4,6
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 897 0 -1 1077944384 14088 0 0 0 1998 106 0 0 20 0 15 0 78279536 14316269568 185445 18446744073709551615 4194304 4196468 140736967159808 140471463058064 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29567] ppid=29562 vsize=13980732 memory=912984 CPUtime=21.01 cores=0,2,4,6
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 897 0 -1 1077944384 12657 0 0 0 1995 106 0 0 20 0 15 0 78279536 14316269568 185445 18446744073709551615 4194304 4196468 140736967159808 140471462005264 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29568] ppid=29562 vsize=13980732 memory=4068 CPUtime=21.08 cores=0,2,4,6
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 897 0 -1 1077944384 14345 0 0 0 2003 105 0 0 20 0 15 0 78279536 14316269568 185445 18446744073709551615 4194304 4196468 140736967159808 140471460952464 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29569] ppid=29562 vsize=13980732 memory=1398720917958146503 CPUtime=21.06 cores=0,2,4,6
/proc/29564/task/29569/stat : 29569 (java) S 29562 29562 897 0 -1 1077944384 12038 0 0 0 2004 102 0 0 20 0 15 0 78279536 14316269568 185445 18446744073709551615 4194304 4196468 140736967159808 140471459899664 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29570] ppid=29562 vsize=13980732 memory=7811614964889703013 CPUtime=0.84 cores=0,2,4,6
/proc/29564/task/29570/stat : 29570 (java) S 29562 29562 897 0 -1 1077944384 57591 0 0 0 68 16 0 0 20 0 15 0 78279538 14316269568 185445 18446744073709551615 4194304 4196468 140736967159808 140471408855920 140471863114370 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29571] ppid=29562 vsize=13980732 memory=7523107478184158290 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29571/stat : 29571 (java) S 29562 29562 897 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 78279538 14316269568 185445 18446744073709551615 4194304 4196468 140736967159808 140471407801952 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29572] ppid=29562 vsize=13980732 memory=29156 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29572/stat : 29572 (java) S 29562 29562 897 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 78279538 14316269568 185445 18446744073709551615 4194304 4196468 140736967159808 140471406749056 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29573] ppid=29562 vsize=13980732 memory=2860 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29573/stat : 29573 (java) S 29562 29562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78279541 14316269568 185445 18446744073709551615 4194304 4196468 140736967159808 140471405697360 140471863121819 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29574] ppid=29562 vsize=13980732 memory=1160 CPUtime=4.69 cores=0,2,4,6
/proc/29564/task/29574/stat : 29574 (java) S 29562 29562 897 0 -1 1077944384 35326 0 0 0 465 4 0 0 20 0 15 0 78279541 14316269568 185445 18446744073709551615 4194304 4196468 140736967159808 140471404644720 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29575] ppid=29562 vsize=13980732 memory=3212 CPUtime=4.68 cores=0,2,4,6
/proc/29564/task/29575/stat : 29575 (java) S 29562 29562 897 0 -1 1077944384 22563 0 0 0 466 2 0 0 20 0 15 0 78279541 14316269568 185445 18446744073709551615 4194304 4196468 140736967159808 140471403591920 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29576] ppid=29562 vsize=13980732 memory=1376 CPUtime=1 cores=0,2,4,6
/proc/29564/task/29576/stat : 29576 (java) S 29562 29562 897 0 -1 1077944384 14026 0 0 0 97 3 0 0 20 0 15 0 78279541 14316269568 185445 18446744073709551615 4194304 4196468 140736967159808 140470974146672 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29577] ppid=29562 vsize=13980732 memory=753068 CPUtime=0 cores=0,2,4,6
/proc/29564/task/29577/stat : 29577 (java) S 29562 29562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78279541 14316269568 185445 18446744073709551615 4194304 4196468 140736967159808 140470973094112 140471863113429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
[pid=29564/tid=29578] ppid=29562 vsize=13980732 memory=1156 CPUtime=1.37 cores=0,2,4,6
/proc/29564/task/29578/stat : 29578 (java) S 29562 29562 897 0 -1 1077944384 1051 0 0 0 66 71 0 0 20 0 15 0 78279545 14316269568 185445 18446744073709551615 4194304 4196468 140736967159808 140470972042416 140471863114370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 10297344 140736967168433 140736967168609 140736967168609 140736967172047 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 743156 KiB

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

[startup+2445.41 s]
# the end of solver process 29562 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000865 s, system=0.001242 s

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

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

Child status: 143
Real time (s): 2445.41
CPU time (s): 2520.04
CPU user time (s): 2514.76
CPU system time (s): 5.28624
CPU usage (%): 103.052
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1243532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.76
system time used= 5.28624
maximum resident set size= 1259700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249350
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66124
involuntary context switches= 2975


# summary of solver processes directly reported to runsolver:
#   pid: 29562,29564
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2514.76
#   total CPU system time (s): 5.28624

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6149 second user time and 22.1964 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 4272301

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