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-08-18)	SAT (TO)	1443	2520.05	2448.21

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283587-1503197315.xml"  -tl '2520s' -p 1 -x 3
0.10/0.26	c [HOME/instance-4283587-1503197315.xml, -tl, 2520s, -p, 1, -x, 3]
0.10/0.32	c simple solver
0.32/0.39	c parse instance...
1.76/0.86	c solve instance...
8.82/3.49	o 1630 
8.99/3.60	o 1607 
9.33/3.61	o 1599 
9.33/3.69	o 1547 
1494.83/1450.52	o 1538 
1495.02/1450.65	o 1519 
1495.02/1450.66	o 1498 
1495.25/1450.88	o 1471 
1495.85/1451.42	o 1461 
1495.85/1451.43	o 1451 
1497.26/1452.88	o 1446 
1497.26/1452.89	o 1443 
2520.02/2448.20	s SATISFIABLE
2520.02/2448.20	v <instantiation>
2520.02/2448.20	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] </list>
2520.02/2448.20	v 	<values>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 1 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 46 77 39 98 96 94 88 74 59 82 11 21 25 53 64 58 56 30 14 41 45 31 82 74 67 48 42 18 34 63 54 6 29 13 15 22 92 65 24 79 78 17 26 8 </values>
2520.02/2448.20	v </instantiation>
2520.02/2448.20	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 (15395 MiB free)
  memory of node 1: 16384 MiB (15092 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283587-1503197315/watcher-4283587-1503197315 -o /tmp/evaluation-result-4283587-1503197315/solver-4283587-1503197315 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2270 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1682482161 HOME/instance-4283587-1503197315.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=6606, runsolver pid=6603

[startup+0.100174 s]*
/proc/loadavg: 1.73 1.82 1.81 3/203 6613
/proc/meminfo: memFree=31212048/32770624 swapFree=67108860/67108860
[pid=6606] ppid=6603 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6606/stat : 6606 (xcsp3-exec) S 6603 6606 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18138552 9740288 345 18446744073709551615 4194304 5098028 140723308933120 140723308931224 139832794067580 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 35803136 140723308941689 140723308941894 140723308941894 140723308945387 0
/proc/6606/statm: 2378 345 289 221 0 87 0
[pid=6608] ppid=6606 vsize=13441356 memory=17204 CPUtime=0.01 cores=0,2,4,6
/proc/6608/stat : 6608 (java) S 6606 6606 18108 0 -1 1077944320 3547 0 0 0 1 0 0 0 20 0 7 0 18138560 13763948544 4301 18446744073709551615 4194304 4196468 140730522830224 140730522812768 140506050256631 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
/proc/6608/statm: 3360339 4301 2032 1 0 3349836 0
[pid=6608/tid=6609] ppid=6606 vsize=13441356 memory=-8023549066454273880 CPUtime=0.01 cores=0,2,4,6
/proc/6608/task/6609/stat : 6609 (java) R 6606 6606 18108 0 -1 4202560 2307 0 0 0 1 0 0 0 20 0 7 0 18138560 13763948544 4301 18446744073709551615 4194304 4196468 140730522830224 140506054499088 140506034337118 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6610] ppid=6606 vsize=13441356 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6610/stat : 6610 (java) S 6606 6606 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 18138561 13763948544 4301 18446744073709551615 4194304 4196468 140730522830224 140505969671312 140506050266837 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6611] ppid=6606 vsize=13441356 memory=140182580209280 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6611/stat : 6611 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 18138561 13763948544 4301 18446744073709551615 4194304 4196468 140730522830224 140505968618512 140506050266837 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6612] ppid=6606 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6612/stat : 6612 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 18138561 13763948544 4301 18446744073709551615 4194304 4196468 140730522830224 140505967565712 140506050266837 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6613] ppid=6606 vsize=13441356 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6613/stat : 6613 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 18138561 13763948544 4301 18446744073709551615 4194304 4196468 140730522830224 140505966512912 140506050266837 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6614] ppid=6606 vsize=13441356 memory=140182580209280 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6614/stat : 6614 (java) S 6606 6606 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 18138562 13763948544 4301 18446744073709551615 4194304 4196468 140730522830224 140505168447856 140506050267778 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18584 KiB

[startup+0.209845 s]*
/proc/loadavg: 1.73 1.82 1.81 3/212 6622
/proc/meminfo: memFree=31202980/32770624 swapFree=67108860/67108860
[pid=6606] ppid=6603 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6606/stat : 6606 (xcsp3-exec) S 6603 6606 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18138552 9740288 345 18446744073709551615 4194304 5098028 140723308933120 140723308931224 139832794067580 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 35803136 140723308941689 140723308941894 140723308941894 140723308945387 0
/proc/6606/statm: 2378 345 289 221 0 87 0
[pid=6608] ppid=6606 vsize=13974352 memory=28444 CPUtime=0.1 cores=0,2,4,6
/proc/6608/stat : 6608 (java) S 6606 6606 18108 0 -1 1077944320 4999 0 0 0 9 1 0 0 20 0 15 0 18138560 14309736448 7111 18446744073709551615 4194304 4196468 140730522830224 140730522812768 140506050256631 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
/proc/6608/statm: 3493588 7111 2785 1 0 3482964 0
[pid=6608/tid=6609] ppid=6606 vsize=13974352 memory=-8023549066454273880 CPUtime=0.08 cores=0,2,4,6
/proc/6608/task/6609/stat : 6609 (java) R 6606 6606 18108 0 -1 4202560 3109 0 0 0 8 0 0 0 20 0 15 0 18138560 14309736448 7177 18446744073709551615 4194304 4196468 140730522830224 140506054475608 140506050278557 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6610] ppid=6606 vsize=13974352 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6610/stat : 6610 (java) S 6606 6606 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18138561 14309736448 7177 18446744073709551615 4194304 4196468 140730522830224 140505969671312 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6611] ppid=6606 vsize=13974352 memory=140182580209280 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6611/stat : 6611 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138561 14309736448 7177 18446744073709551615 4194304 4196468 140730522830224 140505968618512 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6612] ppid=6606 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6612/stat : 6612 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138561 14309736448 7177 18446744073709551615 4194304 4196468 140730522830224 140505967565712 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6613] ppid=6606 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6613/stat : 6613 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138561 14309736448 7177 18446744073709551615 4194304 4196468 140730522830224 140505966512912 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6614] ppid=6606 vsize=13974352 memory=140182580209280 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6614/stat : 6614 (java) S 6606 6606 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18138562 14309736448 7177 18446744073709551615 4194304 4196468 140730522830224 140505168447856 140506050267778 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6615] ppid=6606 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6615/stat : 6615 (java) S 6606 6606 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18138563 14309736448 7177 18446744073709551615 4194304 4196468 140730522830224 140505167393824 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6616] ppid=6606 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6616/stat : 6616 (java) S 6606 6606 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18138563 14309736448 7177 18446744073709551615 4194304 4196468 140730522830224 140505166340976 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6617] ppid=6606 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6617/stat : 6617 (java) S 6606 6606 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18138565 14309736448 7177 18446744073709551615 4194304 4196468 140730522830224 140505165289296 140506050275227 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6618] ppid=6606 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6618/stat : 6618 (java) S 6606 6606 18108 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 18138565 14309736448 7177 18446744073709551615 4194304 4196468 140730522830224 140505164237680 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6619] ppid=6606 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6619/stat : 6619 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138565 14309736448 7177 18446744073709551615 4194304 4196468 140730522830224 140505163184880 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6620] ppid=6606 vsize=13974352 memory=140182580209280 CPUtime=0.01 cores=0,2,4,6
/proc/6608/task/6620/stat : 6620 (java) S 6606 6606 18108 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 15 0 18138565 14309736448 7177 18446744073709551615 4194304 4196468 140730522830224 140505162132080 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6621] ppid=6606 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6621/stat : 6621 (java) S 6606 6606 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18138566 14309736448 7177 18446744073709551615 4194304 4196468 140730522830224 140505161079520 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6622] ppid=6606 vsize=13974352 memory=140182580209280 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6622/stat : 6622 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138570 14309736448 7177 18446744073709551615 4194304 4196468 140730522830224 140505160026800 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29824 KiB

[startup+0.317535 s]*
/proc/loadavg: 1.73 1.82 1.81 5/212 6622
/proc/meminfo: memFree=31188640/32770624 swapFree=67108860/67108860
[pid=6606] ppid=6603 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6606/stat : 6606 (xcsp3-exec) S 6603 6606 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18138552 9740288 345 18446744073709551615 4194304 5098028 140723308933120 140723308931224 139832794067580 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 35803136 140723308941689 140723308941894 140723308941894 140723308945387 0
/proc/6606/statm: 2378 345 289 221 0 87 0
[pid=6608] ppid=6606 vsize=13974352 memory=40092 CPUtime=0.32 cores=0,2,4,6
/proc/6608/stat : 6608 (java) S 6606 6606 18108 0 -1 1077944320 8699 0 0 0 29 3 0 0 20 0 15 0 18138560 14309736448 10023 18446744073709551615 4194304 4196468 140730522830224 140730522812768 140506050256631 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
/proc/6608/statm: 3493588 10023 3023 1 0 3482964 0
[pid=6608/tid=6609] ppid=6606 vsize=13974352 memory=-7677926825137650786 CPUtime=0.19 cores=0,2,4,6
/proc/6608/task/6609/stat : 6609 (java) R 6606 6606 18108 0 -1 4202560 5847 0 0 0 17 2 0 0 20 0 15 0 18138560 14309736448 10023 18446744073709551615 4194304 4196468 140730522830224 140506054490704 140506042935853 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6610] ppid=6606 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6610/stat : 6610 (java) S 6606 6606 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18138561 14309736448 10023 18446744073709551615 4194304 4196468 140730522830224 140505969671312 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6611] ppid=6606 vsize=13974352 memory=7100839852556125036 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6611/stat : 6611 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138561 14309736448 10023 18446744073709551615 4194304 4196468 140730522830224 140505968618512 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6612] ppid=6606 vsize=13974352 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6612/stat : 6612 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138561 14309736448 10023 18446744073709551615 4194304 4196468 140730522830224 140505967565712 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6613] ppid=6606 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6613/stat : 6613 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138561 14310785024 10023 18446744073709551615 4194304 4196468 140730522830224 140505966512912 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6614] ppid=6606 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6614/stat : 6614 (java) S 6606 6606 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18138562 14310785024 10023 18446744073709551615 4194304 4196468 140730522830224 140505168447856 140506050267778 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6615] ppid=6606 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6615/stat : 6615 (java) S 6606 6606 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18138563 14310785024 10023 18446744073709551615 4194304 4196468 140730522830224 140505167393824 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6616] ppid=6606 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6616/stat : 6616 (java) S 6606 6606 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18138563 14309736448 10037 18446744073709551615 4194304 4196468 140730522830224 140505166340976 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6617] ppid=6606 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6617/stat : 6617 (java) S 6606 6606 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18138565 14309736448 10037 18446744073709551615 4194304 4196468 140730522830224 140505165289296 140506050275227 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6618] ppid=6606 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6608/task/6618/stat : 6618 (java) S 6606 6606 18108 0 -1 1077944384 532 0 0 0 1 0 0 0 20 0 15 0 18138565 14309736448 10037 18446744073709551615 4194304 4196468 140730522830224 140505164237680 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6619] ppid=6606 vsize=13976468 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6608/task/6619/stat : 6619 (java) S 6606 6606 18108 0 -1 1077944384 298 0 0 0 3 0 0 0 20 0 15 0 18138565 14311903232 10037 18446744073709551615 4194304 4196468 140730522830224 140505163184880 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6620] ppid=6606 vsize=13976468 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6608/task/6620/stat : 6620 (java) S 6606 6606 18108 0 -1 1077944384 718 0 0 0 7 0 0 0 20 0 15 0 18138565 14311903232 10037 18446744073709551615 4194304 4196468 140730522830224 140505162132080 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6621] ppid=6606 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6621/stat : 6621 (java) S 6606 6606 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18138566 14311903232 10037 18446744073709551615 4194304 4196468 140730522830224 140505161079520 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6622] ppid=6606 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6622/stat : 6622 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138570 14311903232 10037 18446744073709551615 4194304 4196468 140730522830224 140505160026800 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41472 KiB

[startup+0.706446 s]
/proc/loadavg: 1.73 1.82 1.81 6/212 6622
/proc/meminfo: memFree=31172356/32770624 swapFree=67108860/67108860
[pid=6606] ppid=6603 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6606/stat : 6606 (xcsp3-exec) S 6603 6606 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18138552 9740288 345 18446744073709551615 4194304 5098028 140723308933120 140723308931224 139832794067580 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 35803136 140723308941689 140723308941894 140723308941894 140723308945387 0
/proc/6606/statm: 2378 345 289 221 0 87 0
[pid=6608] ppid=6606 vsize=13980732 memory=81084 CPUtime=1.43 cores=0,2,4,6
/proc/6608/stat : 6608 (java) S 6606 6606 18108 0 -1 1077944320 12914 0 0 0 138 5 0 0 20 0 15 0 18138560 14316269568 20271 18446744073709551615 4194304 4196468 140730522830224 140730522812768 140506050256631 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
/proc/6608/statm: 3495183 20271 3165 1 0 3483476 0
[pid=6608/tid=6609] ppid=6606 vsize=13980732 memory=7813587196152198965 CPUtime=0.56 cores=0,2,4,6
/proc/6608/task/6609/stat : 6609 (java) R 6606 6606 18108 0 -1 4202560 7538 0 0 0 53 3 0 0 20 0 15 0 18138560 14316269568 20271 18446744073709551615 4194304 4196468 140730522830224 140506054491632 140505645997625 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6610] ppid=6606 vsize=13980732 memory=8320808402719881013 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6610/stat : 6610 (java) S 6606 6606 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18138561 14316269568 20271 18446744073709551615 4194304 4196468 140730522830224 140505969671312 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6611] ppid=6606 vsize=13980732 memory=6368748898559742033 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6611/stat : 6611 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138561 14316269568 20271 18446744073709551615 4194304 4196468 140730522830224 140505968618512 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6612] ppid=6606 vsize=13980732 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6612/stat : 6612 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138561 14316269568 20271 18446744073709551615 4194304 4196468 140730522830224 140505967565712 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6613] ppid=6606 vsize=13980732 memory=5787178479732678720 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6613/stat : 6613 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138561 14316269568 20271 18446744073709551615 4194304 4196468 140730522830224 140505966512912 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6614] ppid=6606 vsize=13980732 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6614/stat : 6614 (java) S 6606 6606 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 18138562 14316269568 20271 18446744073709551615 4194304 4196468 140730522830224 140505168447856 140506050267778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6615] ppid=6606 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6615/stat : 6615 (java) S 6606 6606 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18138563 14316269568 20271 18446744073709551615 4194304 4196468 140730522830224 140505167393824 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6616] ppid=6606 vsize=13980732 memory=140182430950000 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6616/stat : 6616 (java) S 6606 6606 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18138563 14316269568 20271 18446744073709551615 4194304 4196468 140730522830224 140505166340976 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6617] ppid=6606 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6617/stat : 6617 (java) S 6606 6606 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18138565 14316269568 20271 18446744073709551615 4194304 4196468 140730522830224 140505165289296 140506050275227 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6618] ppid=6606 vsize=13980732 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/6608/task/6618/stat : 6618 (java) R 6606 6606 18108 0 -1 1077944384 1300 0 0 0 24 0 0 0 20 0 15 0 18138565 14316269568 20271 18446744073709551615 4194304 4196468 140730522830224 140505164237808 140506050266837 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6619] ppid=6606 vsize=13980732 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/6608/task/6619/stat : 6619 (java) R 6606 6606 18108 0 -1 4202560 1188 0 0 0 29 0 0 0 20 0 15 0 18138565 14316269568 20271 18446744073709551615 4194304 4196468 140730522830224 140505163177984 140506035178457 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6620] ppid=6606 vsize=13980732 memory=7809523229951467572 CPUtime=0.3 cores=0,2,4,6
/proc/6608/task/6620/stat : 6620 (java) S 6606 6606 18108 0 -1 1077944384 1582 0 0 0 30 0 0 0 20 0 15 0 18138565 14316269568 20271 18446744073709551615 4194304 4196468 140730522830224 140505162132080 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6621] ppid=6606 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6621/stat : 6621 (java) S 6606 6606 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18138566 14316269568 20271 18446744073709551615 4194304 4196468 140730522830224 140505161079520 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6622] ppid=6606 vsize=13980732 memory=-2897801490638248215 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6622/stat : 6622 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138570 14316269568 20271 18446744073709551615 4194304 4196468 140730522830224 140505160026800 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 82464 KiB

[startup+1.50276 s]
/proc/loadavg: 1.92 1.86 1.82 6/212 6622
/proc/meminfo: memFree=31130100/32770624 swapFree=67108860/67108860
[pid=6606] ppid=6603 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6606/stat : 6606 (xcsp3-exec) S 6603 6606 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18138552 9740288 345 18446744073709551615 4194304 5098028 140723308933120 140723308931224 139832794067580 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 35803136 140723308941689 140723308941894 140723308941894 140723308945387 0
/proc/6606/statm: 2378 345 289 221 0 87 0
[pid=6608] ppid=6606 vsize=13980732 memory=134092 CPUtime=3.66 cores=0,2,4,6
/proc/6608/stat : 6608 (java) S 6606 6606 18108 0 -1 1077944320 21569 0 0 0 359 7 0 0 20 0 15 0 18138560 14316269568 33523 18446744073709551615 4194304 4196468 140730522830224 140730522812768 140506050256631 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
/proc/6608/statm: 3495183 33523 3187 1 0 3483476 0
[pid=6608/tid=6609] ppid=6606 vsize=13980732 memory=55 CPUtime=1.35 cores=0,2,4,6
/proc/6608/task/6609/stat : 6609 (java) R 6606 6606 18108 0 -1 1077944384 8506 0 0 0 131 4 0 0 20 0 15 0 18138560 14316269568 33523 18446744073709551615 4194304 4196468 140730522830224 140506054492624 140506050266837 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6610] ppid=6606 vsize=13980732 memory=6442213897797724510 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6610/stat : 6610 (java) S 6606 6606 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18138561 14316269568 33523 18446744073709551615 4194304 4196468 140730522830224 140505969671312 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6611] ppid=6606 vsize=13980732 memory=7811044233142756715 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6611/stat : 6611 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138561 14316269568 33523 18446744073709551615 4194304 4196468 140730522830224 140505968618512 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6612] ppid=6606 vsize=13980732 memory=6227183504122603880 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6612/stat : 6612 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138561 14316269568 33523 18446744073709551615 4194304 4196468 140730522830224 140505967565712 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6613] ppid=6606 vsize=13980732 memory=5787213827080217956 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6613/stat : 6613 (java) S 6606 6606 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18138561 14316269568 33523 18446744073709551615 4194304 4196468 140730522830224 140505966512912 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6614] ppid=6606 vsize=13980732 memory=5938946535195896931 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6614/stat : 6614 (java) S 6606 6606 18108 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 18138562 14316269568 33523 18446744073709551615 4194304 4196468 140730522830224 140505168447856 140506050267778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6615] ppid=6606 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

[pid=6608/tid=6614] ppid=6606 vsize=13980732 memory=1380 CPUtime=0.63 cores=0,2,4,6
/proc/6608/task/6614/stat : 6614 (java) S 6606 6606 18108 0 -1 1077944384 38829 0 0 0 53 10 0 0 20 0 15 0 18138562 14316269568 302922 18446744073709551615 4194304 4196468 140730522830224 140505168447856 140506050267778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6615] ppid=6606 vsize=13980732 memory=1214768 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6615/stat : 6615 (java) S 6606 6606 18108 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 18138563 14316269568 302922 18446744073709551615 4194304 4196468 140730522830224 140505167393888 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6616] ppid=6606 vsize=13980732 memory=1207116 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6616/stat : 6616 (java) S 6606 6606 18108 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 18138563 14316269568 302922 18446744073709551615 4194304 4196468 140730522830224 140505166340992 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6617] ppid=6606 vsize=13980732 memory=1171680 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6617/stat : 6617 (java) S 6606 6606 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18138565 14316269568 302922 18446744073709551615 4194304 4196468 140730522830224 140505165289296 140506050275227 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6618] ppid=6606 vsize=13980732 memory=1292 CPUtime=4.72 cores=0,2,4,6
/proc/6608/task/6618/stat : 6618 (java) S 6606 6606 18108 0 -1 1077944384 25567 0 0 0 469 3 0 0 20 0 15 0 18138565 14316269568 302922 18446744073709551615 4194304 4196468 140730522830224 140505164237680 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6619] ppid=6606 vsize=13980732 memory=2436 CPUtime=4.53 cores=0,2,4,6
/proc/6608/task/6619/stat : 6619 (java) S 6606 6606 18108 0 -1 1077944384 21714 0 0 0 451 2 0 0 20 0 15 0 18138565 14316269568 302922 18446744073709551615 4194304 4196468 140730522830224 140505163184880 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6620] ppid=6606 vsize=13980732 memory=1214768 CPUtime=0.94 cores=0,2,4,6
/proc/6608/task/6620/stat : 6620 (java) S 6606 6606 18108 0 -1 1077944384 12924 0 0 0 92 2 0 0 20 0 15 0 18138565 14316269568 302922 18446744073709551615 4194304 4196468 140730522830224 140505162132080 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6621] ppid=6606 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6621/stat : 6621 (java) S 6606 6606 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18138566 14316269568 302922 18446744073709551615 4194304 4196468 140730522830224 140505161079520 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6622] ppid=6606 vsize=13980732 memory=1211688 CPUtime=1.31 cores=0,2,4,6
/proc/6608/task/6622/stat : 6622 (java) S 6606 6606 18108 0 -1 1077944384 1070 0 0 0 60 71 0 0 20 0 15 0 18138570 14316269568 302922 18446744073709551615 4194304 4196468 140730522830224 140505160026800 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
Current children cumulated CPU time: 2390.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1213068 KiB

[startup+2382.3 s]
/proc/loadavg: 1.79 1.62 1.64 3/212 6864
/proc/meminfo: memFree=29354096/32770624 swapFree=67108860/67108860
[pid=6606] ppid=6603 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6606/stat : 6606 (xcsp3-exec) S 6603 6606 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18138552 9740288 345 18446744073709551615 4194304 5098028 140723308933120 140723308931224 139832794067580 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 35803136 140723308941689 140723308941894 140723308941894 140723308945387 0
/proc/6606/statm: 2378 345 289 221 0 87 0
[pid=6608] ppid=6606 vsize=13980732 memory=1092136 CPUtime=2451.79 cores=0,2,4,6
/proc/6608/stat : 6608 (java) S 6606 6606 18108 0 -1 1077944320 226561 0 0 0 244713 466 0 0 20 0 15 0 18138560 14316269568 273034 18446744073709551615 4194304 4196468 140730522830224 140730522812768 140506050256631 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
/proc/6608/statm: 3495183 273034 3251 1 0 3483476 0
[pid=6608/tid=6609] ppid=6606 vsize=13980732 memory=1380 CPUtime=2361.43 cores=0,2,4,6
/proc/6608/task/6609/stat : 6609 (java) R 6606 6606 18108 0 -1 4202560 80649 0 0 0 236095 48 0 0 20 0 15 0 18138560 14316269568 273034 18446744073709551615 4194304 4196468 140730522830224 140506054496432 140505653307856 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6610] ppid=6606 vsize=13980732 memory=1380 CPUtime=19.49 cores=0,2,4,6
/proc/6608/task/6610/stat : 6610 (java) S 6606 6606 18108 0 -1 1077944384 11017 0 0 0 1864 85 0 0 20 0 15 0 18138561 14316269568 273034 18446744073709551615 4194304 4196468 140730522830224 140505969671312 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6611] ppid=6606 vsize=13980732 memory=1380 CPUtime=19.53 cores=0,2,4,6
/proc/6608/task/6611/stat : 6611 (java) S 6606 6606 18108 0 -1 1077944384 10972 0 0 0 1867 86 0 0 20 0 15 0 18138561 14316269568 273034 18446744073709551615 4194304 4196468 140730522830224 140505968618512 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6612] ppid=6606 vsize=13980732 memory=1380 CPUtime=19.52 cores=0,2,4,6
/proc/6608/task/6612/stat : 6612 (java) S 6606 6606 18108 0 -1 1077944384 11913 0 0 0 1866 86 0 0 20 0 15 0 18138561 14316269568 273034 18446744073709551615 4194304 4196468 140730522830224 140505967565712 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6613] ppid=6606 vsize=13980732 memory=10936 CPUtime=19.52 cores=0,2,4,6
/proc/6608/task/6613/stat : 6613 (java) S 6606 6606 18108 0 -1 1077944384 9587 0 0 0 1866 86 0 0 20 0 15 0 18138561 14316269568 273034 18446744073709551615 4194304 4196468 140730522830224 140505966512912 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6614] ppid=6606 vsize=13980732 memory=1700 CPUtime=0.66 cores=0,2,4,6
/proc/6608/task/6614/stat : 6614 (java) S 6606 6606 18108 0 -1 1077944384 39756 0 0 0 55 11 0 0 20 0 15 0 18138562 14316269568 273034 18446744073709551615 4194304 4196468 140730522830224 140505168447856 140506050267778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6615] ppid=6606 vsize=13980732 memory=3224 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6615/stat : 6615 (java) S 6606 6606 18108 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 18138563 14316269568 273034 18446744073709551615 4194304 4196468 140730522830224 140505167393888 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6616] ppid=6606 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6616/stat : 6616 (java) S 6606 6606 18108 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 18138563 14316269568 273034 18446744073709551615 4194304 4196468 140730522830224 140505166340992 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6617] ppid=6606 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6617/stat : 6617 (java) S 6606 6606 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18138565 14316269568 273034 18446744073709551615 4194304 4196468 140730522830224 140505165289296 140506050275227 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6618] ppid=6606 vsize=13980732 memory=1119324 CPUtime=4.72 cores=0,2,4,6
/proc/6608/task/6618/stat : 6618 (java) S 6606 6606 18108 0 -1 1077944384 25567 0 0 0 469 3 0 0 20 0 15 0 18138565 14316269568 273034 18446744073709551615 4194304 4196468 140730522830224 140505164237680 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6619] ppid=6606 vsize=13980732 memory=1380 CPUtime=4.53 cores=0,2,4,6
/proc/6608/task/6619/stat : 6619 (java) S 6606 6606 18108 0 -1 1077944384 21714 0 0 0 451 2 0 0 20 0 15 0 18138565 14316269568 273034 18446744073709551615 4194304 4196468 140730522830224 140505163184880 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6620] ppid=6606 vsize=13980732 memory=1092136 CPUtime=0.94 cores=0,2,4,6
/proc/6608/task/6620/stat : 6620 (java) S 6606 6606 18108 0 -1 1077944384 12924 0 0 0 92 2 0 0 20 0 15 0 18138565 14316269568 273034 18446744073709551615 4194304 4196468 140730522830224 140505162132080 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6621] ppid=6606 vsize=13980732 memory=13452 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6621/stat : 6621 (java) S 6606 6606 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18138566 14316269568 273034 18446744073709551615 4194304 4196468 140730522830224 140505161079520 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6622] ppid=6606 vsize=13980732 memory=3228 CPUtime=1.34 cores=0,2,4,6
/proc/6608/task/6622/stat : 6622 (java) S 6606 6606 18108 0 -1 1077944384 1087 0 0 0 62 72 0 0 20 0 15 0 18138570 14316269568 273034 18446744073709551615 4194304 4196468 140730522830224 140505160026800 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
Current children cumulated CPU time: 2451.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1093516 KiB

[startup+2442.3 s]
/proc/loadavg: 1.82 1.66 1.65 3/211 6866
/proc/meminfo: memFree=29520408/32770624 swapFree=67108860/67108860
[pid=6606] ppid=6603 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6606/stat : 6606 (xcsp3-exec) S 6603 6606 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18138552 9740288 345 18446744073709551615 4194304 5098028 140723308933120 140723308931224 139832794067580 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 35803136 140723308941689 140723308941894 140723308941894 140723308945387 0
/proc/6606/statm: 2378 345 289 221 0 87 0
[pid=6608] ppid=6606 vsize=13980732 memory=940784 CPUtime=2513.99 cores=0,2,4,6
/proc/6608/stat : 6608 (java) S 6606 6606 18108 0 -1 1077944320 229027 0 0 0 250931 468 0 0 20 0 15 0 18138560 14316269568 235196 18446744073709551615 4194304 4196468 140730522830224 140730522812768 140506050256631 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
/proc/6608/statm: 3495183 235196 3251 1 0 3483476 0
[pid=6608/tid=6609] ppid=6606 vsize=13980732 memory=940784 CPUtime=2420.68 cores=0,2,4,6
/proc/6608/task/6609/stat : 6609 (java) R 6606 6606 18108 0 -1 4202560 81289 0 0 0 242019 49 0 0 20 0 15 0 18138560 14316269568 235196 18446744073709551615 4194304 4196468 140730522830224 140506054496128 140505651729637 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6610] ppid=6606 vsize=13980732 memory=950032 CPUtime=20.21 cores=0,2,4,6
/proc/6608/task/6610/stat : 6610 (java) S 6606 6606 18108 0 -1 1077944384 11369 0 0 0 1936 85 0 0 20 0 15 0 18138561 14316269568 235196 18446744073709551615 4194304 4196468 140730522830224 140505969671312 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6611] ppid=6606 vsize=13980732 memory=950032 CPUtime=20.25 cores=0,2,4,6
/proc/6608/task/6611/stat : 6611 (java) S 6606 6606 18108 0 -1 1077944384 11301 0 0 0 1939 86 0 0 20 0 15 0 18138561 14316269568 235196 18446744073709551615 4194304 4196468 140730522830224 140505968618512 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6612] ppid=6606 vsize=13980732 memory=940784 CPUtime=20.24 cores=0,2,4,6
/proc/6608/task/6612/stat : 6612 (java) S 6606 6606 18108 0 -1 1077944384 12012 0 0 0 1938 86 0 0 20 0 15 0 18138561 14316269568 235196 18446744073709551615 4194304 4196468 140730522830224 140505967565712 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6613] ppid=6606 vsize=13980732 memory=1380 CPUtime=20.25 cores=0,2,4,6
/proc/6608/task/6613/stat : 6613 (java) S 6606 6606 18108 0 -1 1077944384 9669 0 0 0 1939 86 0 0 20 0 15 0 18138561 14316269568 235196 18446744073709551615 4194304 4196468 140730522830224 140505966512912 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6614] ppid=6606 vsize=13980732 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/6608/task/6614/stat : 6614 (java) S 6606 6606 18108 0 -1 1077944384 40694 0 0 0 56 11 0 0 20 0 15 0 18138562 14316269568 235196 18446744073709551615 4194304 4196468 140730522830224 140505168447856 140506050267778 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6615] ppid=6606 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6615/stat : 6615 (java) S 6606 6606 18108 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 18138563 14316269568 235196 18446744073709551615 4194304 4196468 140730522830224 140505167393888 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6616] ppid=6606 vsize=13980732 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6616/stat : 6616 (java) S 6606 6606 18108 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 18138563 14316269568 235196 18446744073709551615 4194304 4196468 140730522830224 140505166340992 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6617] ppid=6606 vsize=13980732 memory=13452 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6617/stat : 6617 (java) S 6606 6606 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18138565 14316269568 235196 18446744073709551615 4194304 4196468 140730522830224 140505165289296 140506050275227 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6618] ppid=6606 vsize=13980732 memory=940784 CPUtime=4.72 cores=0,2,4,6
/proc/6608/task/6618/stat : 6618 (java) S 6606 6606 18108 0 -1 1077944384 25569 0 0 0 469 3 0 0 20 0 15 0 18138565 14316269568 235196 18446744073709551615 4194304 4196468 140730522830224 140505164237680 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6619] ppid=6606 vsize=13980732 memory=1380 CPUtime=4.53 cores=0,2,4,6
/proc/6608/task/6619/stat : 6619 (java) S 6606 6606 18108 0 -1 1077944384 21716 0 0 0 451 2 0 0 20 0 15 0 18138565 14316269568 235196 18446744073709551615 4194304 4196468 140730522830224 140505163184880 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6620] ppid=6606 vsize=13980732 memory=1380 CPUtime=0.94 cores=0,2,4,6
/proc/6608/task/6620/stat : 6620 (java) S 6606 6606 18108 0 -1 1077944384 12927 0 0 0 92 2 0 0 20 0 15 0 18138565 14316269568 235196 18446744073709551615 4194304 4196468 140730522830224 140505162132080 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6621] ppid=6606 vsize=13980732 memory=940784 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6621/stat : 6621 (java) S 6606 6606 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18138566 14316269568 235196 18446744073709551615 4194304 4196468 140730522830224 140505161079520 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6622] ppid=6606 vsize=13980732 memory=1380 CPUtime=1.39 cores=0,2,4,6
/proc/6608/task/6622/stat : 6622 (java) S 6606 6606 18108 0 -1 1077944384 1106 0 0 0 64 75 0 0 20 0 15 0 18138570 14316269568 235196 18446744073709551615 4194304 4196468 140730522830224 140505160026800 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
Current children cumulated CPU time: 2513.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 942164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2448.2 s]
/proc/loadavg: 1.83 1.66 1.66 3/211 6866
/proc/meminfo: memFree=29552164/32770624 swapFree=67108860/67108860
[pid=6606] ppid=6603 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6606/stat : 6606 (xcsp3-exec) S 6603 6606 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18138552 9740288 345 18446744073709551615 4194304 5098028 140723308933120 140723308931224 139832794067580 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 35803136 140723308941689 140723308941894 140723308941894 140723308945387 0
/proc/6606/statm: 2378 345 289 221 0 87 0
[pid=6608] ppid=6606 vsize=13980732 memory=924880 CPUtime=2520.02 cores=0,2,4,6
/proc/6608/stat : 6608 (java) S 6606 6606 18108 0 -1 1077944320 229205 0 0 0 251534 468 0 0 20 0 15 0 18138560 14316269568 231220 18446744073709551615 4194304 4196468 140730522830224 140730522812768 140506050256631 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
/proc/6608/statm: 3495183 231220 3251 1 0 3483476 0
[pid=6608/tid=6609] ppid=6606 vsize=13980732 memory=970040 CPUtime=2426.54 cores=0,2,4,6
/proc/6608/task/6609/stat : 6609 (java) R 6606 6606 18108 0 -1 4202560 81467 0 0 0 242605 49 0 0 20 0 15 0 18138560 14316269568 231220 18446744073709551615 4194304 4196468 140730522830224 140506054496400 140505654246764 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6610] ppid=6606 vsize=13980732 memory=13452 CPUtime=20.27 cores=0,2,4,6
/proc/6608/task/6610/stat : 6610 (java) S 6606 6606 18108 0 -1 1077944384 11369 0 0 0 1941 86 0 0 20 0 15 0 18138561 14316269568 231220 18446744073709551615 4194304 4196468 140730522830224 140505969671312 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6611] ppid=6606 vsize=13980732 memory=1380 CPUtime=20.29 cores=0,2,4,6
/proc/6608/task/6611/stat : 6611 (java) S 6606 6606 18108 0 -1 1077944384 11301 0 0 0 1943 86 0 0 20 0 15 0 18138561 14316269568 231220 18446744073709551615 4194304 4196468 140730522830224 140505968618512 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6612] ppid=6606 vsize=13980732 memory=932576 CPUtime=20.29 cores=0,2,4,6
/proc/6608/task/6612/stat : 6612 (java) S 6606 6606 18108 0 -1 1077944384 12012 0 0 0 1943 86 0 0 20 0 15 0 18138561 14316269568 231220 18446744073709551615 4194304 4196468 140730522830224 140505967565712 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6613] ppid=6606 vsize=13980732 memory=1228 CPUtime=20.3 cores=0,2,4,6
/proc/6608/task/6613/stat : 6613 (java) S 6606 6606 18108 0 -1 1077944384 9669 0 0 0 1944 86 0 0 20 0 15 0 18138561 14316269568 231220 18446744073709551615 4194304 4196468 140730522830224 140505966512912 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6614] ppid=6606 vsize=13980732 memory=792 CPUtime=0.68 cores=0,2,4,6
/proc/6608/task/6614/stat : 6614 (java) S 6606 6606 18108 0 -1 1077944384 40694 0 0 0 57 11 0 0 20 0 15 0 18138562 14316269568 231220 18446744073709551615 4194304 4196468 140730522830224 140505168447856 140506050267778 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6615] ppid=6606 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6615/stat : 6615 (java) S 6606 6606 18108 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 18138563 14316269568 231220 18446744073709551615 4194304 4196468 140730522830224 140505167393888 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6616] ppid=6606 vsize=13980732 memory=932576 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6616/stat : 6616 (java) S 6606 6606 18108 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 18138563 14316269568 231220 18446744073709551615 4194304 4196468 140730522830224 140505166340992 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6617] ppid=6606 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6617/stat : 6617 (java) S 6606 6606 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18138565 14316269568 231220 18446744073709551615 4194304 4196468 140730522830224 140505165289296 140506050275227 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6618] ppid=6606 vsize=13980732 memory=1200 CPUtime=4.72 cores=0,2,4,6
/proc/6608/task/6618/stat : 6618 (java) S 6606 6606 18108 0 -1 1077944384 25569 0 0 0 469 3 0 0 20 0 15 0 18138565 14316269568 231220 18446744073709551615 4194304 4196468 140730522830224 140505164237680 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6619] ppid=6606 vsize=13980732 memory=2436 CPUtime=4.53 cores=0,2,4,6
/proc/6608/task/6619/stat : 6619 (java) S 6606 6606 18108 0 -1 1077944384 21716 0 0 0 451 2 0 0 20 0 15 0 18138565 14316269568 231220 18446744073709551615 4194304 4196468 140730522830224 140505163184880 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6620] ppid=6606 vsize=13980732 memory=1732 CPUtime=0.94 cores=0,2,4,6
/proc/6608/task/6620/stat : 6620 (java) S 6606 6606 18108 0 -1 1077944384 12927 0 0 0 92 2 0 0 20 0 15 0 18138565 14316269568 231220 18446744073709551615 4194304 4196468 140730522830224 140505162132080 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6621] ppid=6606 vsize=13980732 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/6608/task/6621/stat : 6621 (java) S 6606 6606 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18138566 14316269568 231220 18446744073709551615 4194304 4196468 140730522830224 140505161079520 140506050266837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
[pid=6608/tid=6622] ppid=6606 vsize=13980732 memory=10936 CPUtime=1.39 cores=0,2,4,6
/proc/6608/task/6622/stat : 6622 (java) S 6606 6606 18108 0 -1 1077944384 1106 0 0 0 64 75 0 0 20 0 15 0 18138570 14316269568 231220 18446744073709551615 4194304 4196468 140730522830224 140505160026800 140506050267778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21254144 140730522833330 140730522833506 140730522833506 140730522836943 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 926260 KiB

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

[startup+2448.21 s]
# the end of solver process 6606 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.36 s, system=4.69558 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2448.21
CPU time (s): 2520.05
CPU user time (s): 2515.36
CPU system time (s): 4.69558
CPU usage (%): 102.934
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 2364808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.36
system time used= 4.69558
maximum resident set size= 2379856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229850
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62465
involuntary context switches= 3804


# summary of solver processes directly reported to runsolver:
#   pid: 6606
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2515.36
#   total CPU system time (s): 4.69558

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3814 second user time and 22.9421 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml
MD5SUM	ccd62f28d001d5578c14e849049b60f5
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	715
Best CPU time to get the best result obtained on this benchmark	2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	2070
Number of constraints	2024
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":45},{"size":2,"count":1980},{"size":101,"count":44}]
Minimum variable degree	0
Maximum variable degree	87
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":45},{"degree":2,"count":88},{"degree":4,"count":1892},{"degree":87,"count":44}]
Minimum constraint arity	1
Maximum constraint arity	44
Distribution of constraint arities	[{"arity":1,"count":44},{"arity":3,"count":1892},{"arity":44,"count":88}]
Number of extensional constraints	0
Number of intensional constraints	44
Distribution of constraint types	[{"type":"intension","count":44},{"type":"sum","count":1892},{"type":"count","count":88}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4283587

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