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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT (TO)	1319	2520.0901	2503.6299

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269367-1502759941.xml"  -tl '2520s' -p 1 -x 0
0.09/0.27	c [HOME/instance-4269367-1502759941.xml, -tl, 2520s, -p, 1, -x, 0]
0.28/0.33	c simple solver
0.28/0.40	c parse instance...
1.71/0.86	c solve instance...
4.36/1.86	o 1698 
4.36/1.87	o 1632 
4.36/1.88	o 1631 
4.69/1.91	o 1610 
4.69/1.97	o 1609 
4.69/1.97	o 1601 
4.69/1.98	o 1558 
42.42/37.47	o 1520 
42.89/37.71	o 1500 
42.89/37.72	o 1492 
43.60/38.50	o 1491 
43.72/38.52	o 1483 
257.67/252.11	o 1470 
257.67/252.12	o 1424 
257.67/252.12	o 1384 
257.67/252.13	o 1371 
257.67/252.14	o 1360 
257.67/252.15	o 1357 
257.67/252.16	o 1355 
257.67/252.18	o 1352 
257.67/252.19	o 1349 
257.78/252.21	o 1346 
257.78/252.22	o 1335 
257.78/252.23	o 1333 
257.78/252.23	o 1324 
257.78/252.24	o 1321 
257.78/252.25	o 1319 
2520.05/2503.60	s SATISFIABLE
2520.05/2503.60	v <instantiation>
2520.05/2503.60	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.05/2503.60	v 	<values>0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 49 86 24 96 80 74 38 79 18 15 58 81 70 36 44 28 14 42 14 66 34 89 37 11 77 58 28 32 55 21 43 34 73 55 58 29 10 56 20 76 19 38 64 84 </values>
2520.05/2503.60	v </instantiation>
2520.05/2503.60	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 (15419 MiB free)
  memory of node 1: 16384 MiB (15148 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269367-1502759941/watcher-4269367-1502759941 -o /tmp/evaluation-result-4269367-1502759941/solver-4269367-1502759941 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 668224059 HOME/instance-4269367-1502759941.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=11759, runsolver pid=11756

[startup+0.10018 s]*
/proc/loadavg: 1.99 1.67 1.59 3/206 11766
/proc/meminfo: memFree=31294448/32770624 swapFree=67108764/67108860
[pid=11759] ppid=11756 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11759/stat : 11759 (xcsp3-exec) S 11756 11759 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123500621 9740288 345 18446744073709551615 4194304 5098028 140731937727168 140731937725272 140646907015804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 15982592 140731937730937 140731937731141 140731937731141 140731937734635 0
/proc/11759/statm: 2378 345 289 221 0 87 0
[pid=11761] ppid=11759 vsize=13442384 memory=18000 CPUtime=0.01 cores=0,2,4,6
/proc/11761/stat : 11761 (java) S 11759 11759 4674 0 -1 1077944320 3768 0 0 0 1 0 0 0 20 0 8 0 123500629 13765001216 4500 18446744073709551615 4194304 4196468 140722245984816 140722245967360 140118812225271 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
/proc/11761/statm: 3360596 4500 2025 1 0 3350093 0
[pid=11761/tid=11762] ppid=11759 vsize=13507920 memory=8508281356422187169 CPUtime=0.01 cores=0,2,4,6
/proc/11761/task/11762/stat : 11762 (java) R 11759 11759 4674 0 -1 4202560 2543 0 0 0 1 0 0 0 20 0 8 0 123500629 13832110080 4500 18446744073709551615 4194304 4196468 140722245984816 140118816458408 140118812247197 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11763] ppid=11759 vsize=13507920 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11763/stat : 11763 (java) S 11759 11759 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 123500630 13832110080 4500 18446744073709551615 4194304 4196468 140722245984816 140118746659856 140118812235477 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11764] ppid=11759 vsize=13507920 memory=139663513904768 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11764/stat : 11764 (java) S 11759 11759 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 123500630 13832110080 4500 18446744073709551615 4194304 4196468 140722245984816 140118410837136 140118812235477 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11765] ppid=11759 vsize=13507920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11765/stat : 11765 (java) S 11759 11759 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 123500630 13832110080 4500 18446744073709551615 4194304 4196468 140722245984816 140118409784080 140118812235477 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11766] ppid=11759 vsize=13507920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11766/stat : 11766 (java) S 11759 11759 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 123500630 13832110080 4500 18446744073709551615 4194304 4196468 140722245984816 140118408731536 140118812235477 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11767] ppid=11759 vsize=13507920 memory=139663513904768 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11767/stat : 11767 (java) S 11759 11759 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 123500631 13832110080 4500 18446744073709551615 4194304 4196468 140722245984816 140118357874928 140118812236418 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11768] ppid=11759 vsize=13507920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11768/stat : 11768 (java) S 11759 11759 4674 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 123500631 13832110080 4500 18446744073709551615 4194304 4196468 140722245984816 140118356820048 140118812235477 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13451896 KiB
Current children cumulated memory: 19380 KiB

[startup+0.211446 s]*
/proc/loadavg: 1.99 1.67 1.59 4/215 11775
/proc/meminfo: memFree=31286164/32770624 swapFree=67108764/67108860
[pid=11759] ppid=11756 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11759/stat : 11759 (xcsp3-exec) S 11756 11759 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123500621 9740288 345 18446744073709551615 4194304 5098028 140731937727168 140731937725272 140646907015804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 15982592 140731937730937 140731937731141 140731937731141 140731937734635 0
/proc/11759/statm: 2378 345 289 221 0 87 0
[pid=11761] ppid=11759 vsize=13974352 memory=26956 CPUtime=0.09 cores=0,2,4,6
/proc/11761/stat : 11761 (java) S 11759 11759 4674 0 -1 1077944320 5144 0 0 0 8 1 0 0 20 0 15 0 123500629 14309736448 6739 18446744073709551615 4194304 4196468 140722245984816 140722245967360 140118812225271 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
/proc/11761/statm: 3493588 6739 2743 1 0 3482964 0
[pid=11761/tid=11762] ppid=11759 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=0,2,4,6
/proc/11761/task/11762/stat : 11762 (java) R 11759 11759 4674 0 -1 4202560 3288 0 0 0 7 0 0 0 20 0 15 0 123500629 14309736448 6739 18446744073709551615 4194304 4196468 140722245984816 140118816455264 140118812247197 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11763] ppid=11759 vsize=13974352 memory=4294979926 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11763/stat : 11763 (java) S 11759 11759 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123500630 14309736448 6739 18446744073709551615 4194304 4196468 140722245984816 140118746659856 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11764] ppid=11759 vsize=13974352 memory=139663513916666 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11764/stat : 11764 (java) S 11759 11759 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123500630 14309736448 6739 18446744073709551615 4194304 4196468 140722245984816 140118410837136 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11765] ppid=11759 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11765/stat : 11765 (java) S 11759 11759 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123500630 14309736448 6739 18446744073709551615 4194304 4196468 140722245984816 140118409784080 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11766] ppid=11759 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11766/stat : 11766 (java) S 11759 11759 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123500630 14309736448 6739 18446744073709551615 4194304 4196468 140722245984816 140118408731536 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11767] ppid=11759 vsize=13974352 memory=139663513904768 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11767/stat : 11767 (java) S 11759 11759 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123500631 14309736448 6739 18446744073709551615 4194304 4196468 140722245984816 140118357874928 140118812236418 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11768] ppid=11759 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11768/stat : 11768 (java) S 11759 11759 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123500631 14309736448 6739 18446744073709551615 4194304 4196468 140722245984816 140118356821152 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11769] ppid=11759 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11769/stat : 11769 (java) S 11759 11759 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123500632 14309736448 6739 18446744073709551615 4194304 4196468 140722245984816 140118355768048 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11770] ppid=11759 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11770/stat : 11770 (java) S 11759 11759 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123500634 14309736448 6739 18446744073709551615 4194304 4196468 140722245984816 140118354716624 140118812243867 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11771] ppid=11759 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11771/stat : 11771 (java) S 11759 11759 4674 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 123500634 14309736448 6739 18446744073709551615 4194304 4196468 140722245984816 140118353664752 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11772] ppid=11759 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11772/stat : 11772 (java) S 11759 11759 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123500634 14309736448 6739 18446744073709551615 4194304 4196468 140722245984816 140118352612208 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11773] ppid=11759 vsize=13974352 memory=139663513904768 CPUtime=0.01 cores=0,2,4,6
/proc/11761/task/11773/stat : 11773 (java) S 11759 11759 4674 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 123500634 14309736448 6739 18446744073709551615 4194304 4196468 140722245984816 140118351559152 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11774] ppid=11759 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11774/stat : 11774 (java) S 11759 11759 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123500634 14309736448 6739 18446744073709551615 4194304 4196468 140722245984816 140118350506848 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11775] ppid=11759 vsize=13974352 memory=139663513904768 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11775/stat : 11775 (java) S 11759 11759 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123500639 14309736448 6739 18446744073709551615 4194304 4196468 140722245984816 140118349453872 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28336 KiB

[startup+0.310526 s]*
/proc/loadavg: 1.99 1.67 1.59 4/215 11775
/proc/meminfo: memFree=31274976/32770624 swapFree=67108764/67108860
[pid=11759] ppid=11756 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11759/stat : 11759 (xcsp3-exec) S 11756 11759 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123500621 9740288 345 18446744073709551615 4194304 5098028 140731937727168 140731937725272 140646907015804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 15982592 140731937730937 140731937731141 140731937731141 140731937734635 0
/proc/11759/statm: 2378 345 289 221 0 87 0
[pid=11761] ppid=11759 vsize=13974352 memory=37092 CPUtime=0.28 cores=0,2,4,6
/proc/11761/stat : 11761 (java) S 11759 11759 4674 0 -1 1077944320 8881 0 0 0 26 2 0 0 20 0 15 0 123500629 14309736448 9273 18446744073709551615 4194304 4196468 140722245984816 140722245967360 140118812225271 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
/proc/11761/statm: 3493588 9273 2975 1 0 3482964 0
[pid=11761/tid=11762] ppid=11759 vsize=13974352 memory=4278483708103473607 CPUtime=0.17 cores=0,2,4,6
/proc/11761/task/11762/stat : 11762 (java) R 11759 11759 4674 0 -1 4202560 6067 0 0 0 16 1 0 0 20 0 15 0 123500629 14309736448 9273 18446744073709551615 4194304 4196468 140722245984816 140118816446768 140118812237206 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11763] ppid=11759 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11763/stat : 11763 (java) S 11759 11759 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123500630 14309736448 9273 18446744073709551615 4194304 4196468 140722245984816 140118746659856 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11764] ppid=11759 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11764/stat : 11764 (java) S 11759 11759 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123500630 14309736448 9273 18446744073709551615 4194304 4196468 140722245984816 140118410837136 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11765] ppid=11759 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11765/stat : 11765 (java) S 11759 11759 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123500630 14309736448 9273 18446744073709551615 4194304 4196468 140722245984816 140118409784080 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11766] ppid=11759 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11766/stat : 11766 (java) S 11759 11759 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123500630 14309736448 9273 18446744073709551615 4194304 4196468 140722245984816 140118408731536 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11767] ppid=11759 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11767/stat : 11767 (java) S 11759 11759 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123500631 14309736448 9273 18446744073709551615 4194304 4196468 140722245984816 140118357874928 140118812236418 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11768] ppid=11759 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11768/stat : 11768 (java) S 11759 11759 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123500631 14309736448 9273 18446744073709551615 4194304 4196468 140722245984816 140118356821152 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11769] ppid=11759 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11769/stat : 11769 (java) S 11759 11759 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123500632 14309736448 9273 18446744073709551615 4194304 4196468 140722245984816 140118355768048 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11770] ppid=11759 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11770/stat : 11770 (java) S 11759 11759 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123500634 14309736448 9273 18446744073709551615 4194304 4196468 140722245984816 140118354716624 140118812243867 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11771] ppid=11759 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11761/task/11771/stat : 11771 (java) S 11759 11759 4674 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 15 0 123500634 14309736448 9273 18446744073709551615 4194304 4196468 140722245984816 140118353664752 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11772] ppid=11759 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11761/task/11772/stat : 11772 (java) S 11759 11759 4674 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 15 0 123500634 14309736448 9273 18446744073709551615 4194304 4196468 140722245984816 140118352612208 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11773] ppid=11759 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/11761/task/11773/stat : 11773 (java) R 11759 11759 4674 0 -1 4202560 770 0 0 0 6 0 0 0 20 0 15 0 123500634 14309736448 9273 18446744073709551615 4194304 4196468 140722245984816 140118351559152 140118812237206 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11774] ppid=11759 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11774/stat : 11774 (java) S 11759 11759 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123500634 14309736448 9273 18446744073709551615 4194304 4196468 140722245984816 140118350506848 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11775] ppid=11759 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11775/stat : 11775 (java) S 11759 11759 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123500639 14309736448 9273 18446744073709551615 4194304 4196468 140722245984816 140118349453872 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38472 KiB

[startup+0.700837 s]
/proc/loadavg: 1.99 1.67 1.59 4/215 11775
/proc/meminfo: memFree=31257172/32770624 swapFree=67108764/67108860
[pid=11759] ppid=11756 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11759/stat : 11759 (xcsp3-exec) S 11756 11759 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123500621 9740288 345 18446744073709551615 4194304 5098028 140731937727168 140731937725272 140646907015804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 15982592 140731937730937 140731937731141 140731937731141 140731937734635 0
/proc/11759/statm: 2378 345 289 221 0 87 0
[pid=11761] ppid=11759 vsize=13978684 memory=80724 CPUtime=1.38 cores=0,2,4,6
/proc/11761/stat : 11761 (java) S 11759 11759 4674 0 -1 1077944320 13362 0 0 0 133 5 0 0 20 0 15 0 123500629 14314172416 20181 18446744073709551615 4194304 4196468 140722245984816 140722245967360 140118812225271 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
/proc/11761/statm: 3494671 20181 3164 1 0 3482964 0
[pid=11761/tid=11762] ppid=11759 vsize=13978684 memory=4148 CPUtime=0.55 cores=0,2,4,6
/proc/11761/task/11762/stat : 11762 (java) R 11759 11759 4674 0 -1 4202560 7941 0 0 0 52 3 0 0 20 0 15 0 123500629 14314172416 20181 18446744073709551615 4194304 4196468 140722245984816 140118816463168 140118796305758 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11763] ppid=11759 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11763/stat : 11763 (java) S 11759 11759 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123500630 14314172416 20181 18446744073709551615 4194304 4196468 140722245984816 140118746659856 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11764] ppid=11759 vsize=13978684 memory=139663410995824 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11764/stat : 11764 (java) S 11759 11759 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123500630 14314172416 20181 18446744073709551615 4194304 4196468 140722245984816 140118410837136 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11765] ppid=11759 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11765/stat : 11765 (java) S 11759 11759 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123500630 14314172416 20181 18446744073709551615 4194304 4196468 140722245984816 140118409784080 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11766] ppid=11759 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11766/stat : 11766 (java) S 11759 11759 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123500630 14314172416 20181 18446744073709551615 4194304 4196468 140722245984816 140118408731536 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11767] ppid=11759 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11767/stat : 11767 (java) S 11759 11759 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123500631 14314172416 20181 18446744073709551615 4194304 4196468 140722245984816 140118357874928 140118812236418 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11768] ppid=11759 vsize=13978684 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11768/stat : 11768 (java) S 11759 11759 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123500631 14314172416 20181 18446744073709551615 4194304 4196468 140722245984816 140118356821152 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11769] ppid=11759 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11769/stat : 11769 (java) S 11759 11759 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123500632 14314172416 20181 18446744073709551615 4194304 4196468 140722245984816 140118355768048 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11770] ppid=11759 vsize=13978684 memory=-6305717187253985664 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11770/stat : 11770 (java) S 11759 11759 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123500634 14314172416 20181 18446744073709551615 4194304 4196468 140722245984816 140118354716624 140118812243867 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11771] ppid=11759 vsize=13978684 memory=6656426216303648864 CPUtime=0.26 cores=0,2,4,6
/proc/11761/task/11771/stat : 11771 (java) R 11759 11759 4674 0 -1 4202560 1329 0 0 0 26 0 0 0 20 0 15 0 123500634 14314172416 20181 18446744073709551615 4194304 4196468 140722245984816 140118353650064 140118795610228 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11772] ppid=11759 vsize=13978684 memory=6944656592455360604 CPUtime=0.24 cores=0,2,4,6
/proc/11761/task/11772/stat : 11772 (java) R 11759 11759 4674 0 -1 4202560 1058 0 0 0 24 0 0 0 20 0 15 0 123500634 14314172416 20181 18446744073709551615 4194304 4196468 140722245984816 140118352593744 140118791463744 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11773] ppid=11759 vsize=13978684 memory=6655300316396806240 CPUtime=0.3 cores=0,2,4,6
/proc/11761/task/11773/stat : 11773 (java) S 11759 11759 4674 0 -1 1077944384 1726 0 0 0 30 0 0 0 20 0 15 0 123500634 14314172416 20181 18446744073709551615 4194304 4196468 140722245984816 140118351559152 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11774] ppid=11759 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11774/stat : 11774 (java) S 11759 11759 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123500634 14314172416 20181 18446744073709551615 4194304 4196468 140722245984816 140118350506848 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11775] ppid=11759 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11775/stat : 11775 (java) S 11759 11759 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123500639 14314172416 20181 18446744073709551615 4194304 4196468 140722245984816 140118349453872 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 82104 KiB

[startup+1.5008 s]
/proc/loadavg: 1.99 1.67 1.59 8/215 11775
/proc/meminfo: memFree=31212124/32770624 swapFree=67108764/67108860
[pid=11759] ppid=11756 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11759/stat : 11759 (xcsp3-exec) S 11756 11759 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123500621 9740288 345 18446744073709551615 4194304 5098028 140731937727168 140731937725272 140646907015804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 15982592 140731937730937 140731937731141 140731937731141 140731937734635 0
/proc/11759/statm: 2378 345 289 221 0 87 0
[pid=11761] ppid=11759 vsize=13980732 memory=131708 CPUtime=3.46 cores=0,2,4,6
/proc/11761/stat : 11761 (java) S 11759 11759 4674 0 -1 1077944320 21618 0 0 0 340 6 0 0 20 0 15 0 123500629 14316269568 32927 18446744073709551615 4194304 4196468 140722245984816 140722245967360 140118812225271 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
/proc/11761/statm: 3495183 32927 3185 1 0 3483476 0
[pid=11761/tid=11762] ppid=11759 vsize=13980732 memory=75 CPUtime=1.34 cores=0,2,4,6
/proc/11761/task/11762/stat : 11762 (java) R 11759 11759 4674 0 -1 4202560 8932 0 0 0 131 3 0 0 20 0 15 0 123500629 14316269568 32927 18446744073709551615 4194304 4196468 140722245984816 140118816463880 140118431180273 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11763] ppid=11759 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11763/stat : 11763 (java) S 11759 11759 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123500630 14316269568 32927 18446744073709551615 4194304 4196468 140722245984816 140118746659856 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11764] ppid=11759 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11764/stat : 11764 (java) S 11759 11759 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123500630 14316269568 32927 18446744073709551615 4194304 4196468 140722245984816 140118410837136 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11765] ppid=11759 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11765/stat : 11765 (java) S 11759 11759 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123500630 14316269568 32927 18446744073709551615 4194304 4196468 140722245984816 140118409784080 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11766] ppid=11759 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11766/stat : 11766 (java) S 11759 11759 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123500630 14316269568 32927 18446744073709551615 4194304 4196468 140722245984816 140118408731536 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11767] ppid=11759 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/11761/task/11769/stat : 11769 (java) S 11759 11759 4674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 123500632 14316269568 110167 18446744073709551615 4194304 4196468 140722245984816 140118355768048 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11770] ppid=11759 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11770/stat : 11770 (java) S 11759 11759 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123500634 14316269568 110167 18446744073709551615 4194304 4196468 140722245984816 140118354716624 140118812243867 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11771] ppid=11759 vsize=13980732 memory=440668 CPUtime=2.49 cores=0,2,4,6
/proc/11761/task/11771/stat : 11771 (java) S 11759 11759 4674 0 -1 1077944384 13009 0 0 0 248 1 0 0 20 0 15 0 123500634 14316269568 110167 18446744073709551615 4194304 4196468 140722245984816 140118353664752 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11772] ppid=11759 vsize=13980732 memory=2465244 CPUtime=2.45 cores=0,2,4,6
/proc/11761/task/11772/stat : 11772 (java) S 11759 11759 4674 0 -1 1077944384 14607 0 0 0 244 1 0 0 20 0 15 0 123500634 14316269568 110167 18446744073709551615 4194304 4196468 140722245984816 140118352612208 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11773] ppid=11759 vsize=13980732 memory=1380 CPUtime=0.67 cores=0,2,4,6
/proc/11761/task/11773/stat : 11773 (java) S 11759 11759 4674 0 -1 1077944384 9907 0 0 0 65 2 0 0 20 0 15 0 123500634 14316269568 110167 18446744073709551615 4194304 4196468 140722245984816 140118351559152 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11774] ppid=11759 vsize=13980732 memory=4148 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11774/stat : 11774 (java) S 11759 11759 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123500634 14316269568 110167 18446744073709551615 4194304 4196468 140722245984816 140118350506848 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11775] ppid=11759 vsize=13980732 memory=60008 CPUtime=0.74 cores=0,2,4,6
/proc/11761/task/11775/stat : 11775 (java) S 11759 11759 4674 0 -1 1077944384 767 0 0 0 35 39 0 0 20 0 15 0 123500639 14316269568 110167 18446744073709551615 4194304 4196468 140722245984816 140118349453872 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
Current children cumulated CPU time: 2398.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 442048 KiB

[startup+2442.3 s]
/proc/loadavg: 1.72 1.70 1.65 3/215 12019
/proc/meminfo: memFree=28852052/32770624 swapFree=67108764/67108860
[pid=11759] ppid=11756 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11759/stat : 11759 (xcsp3-exec) S 11756 11759 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123500621 9740288 345 18446744073709551615 4194304 5098028 140731937727168 140731937725272 140646907015804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 15982592 140731937730937 140731937731141 140731937731141 140731937734635 0
/proc/11759/statm: 2378 345 289 221 0 87 0
[pid=11761] ppid=11759 vsize=13980732 memory=982160 CPUtime=2458.51 cores=0,2,4,6
/proc/11761/stat : 11761 (java) S 11759 11759 4674 0 -1 1077944320 100071 0 0 0 245686 165 0 0 20 0 15 0 123500629 14316269568 245540 18446744073709551615 4194304 4196468 140722245984816 140722245967360 140118812225271 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
/proc/11761/statm: 3495183 245540 3244 1 0 3483476 0
[pid=11761/tid=11762] ppid=11759 vsize=13980732 memory=756508 CPUtime=2437.19 cores=0,2,4,6
/proc/11761/task/11762/stat : 11762 (java) R 11759 11759 4674 0 -1 4202560 33488 0 0 0 243636 83 0 0 20 0 15 0 123500629 14316269568 245540 18446744073709551615 4194304 4196468 140722245984816 140118816464904 140118432586456 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11763] ppid=11759 vsize=13980732 memory=1380 CPUtime=3.48 cores=0,2,4,6
/proc/11761/task/11763/stat : 11763 (java) S 11759 11759 4674 0 -1 1077944384 6121 0 0 0 338 10 0 0 20 0 15 0 123500630 14316269568 245540 18446744073709551615 4194304 4196468 140722245984816 140118746659856 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11764] ppid=11759 vsize=13980732 memory=1380 CPUtime=3.48 cores=0,2,4,6
/proc/11761/task/11764/stat : 11764 (java) S 11759 11759 4674 0 -1 1077944384 4802 0 0 0 338 10 0 0 20 0 15 0 123500630 14316269568 245540 18446744073709551615 4194304 4196468 140722245984816 140118410837136 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11765] ppid=11759 vsize=13980732 memory=396152 CPUtime=3.51 cores=0,2,4,6
/proc/11761/task/11765/stat : 11765 (java) S 11759 11759 4674 0 -1 1077944384 4921 0 0 0 342 9 0 0 20 0 15 0 123500630 14316269568 245540 18446744073709551615 4194304 4196468 140722245984816 140118409784080 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11766] ppid=11759 vsize=13980732 memory=1380 CPUtime=3.49 cores=0,2,4,6
/proc/11761/task/11766/stat : 11766 (java) S 11759 11759 4674 0 -1 1077944384 4684 0 0 0 340 9 0 0 20 0 15 0 123500630 14316269568 245540 18446744073709551615 4194304 4196468 140722245984816 140118408731536 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11767] ppid=11759 vsize=13980732 memory=820252 CPUtime=0.88 cores=0,2,4,6
/proc/11761/task/11767/stat : 11767 (java) S 11759 11759 4674 0 -1 1077944384 6383 0 0 0 77 11 0 0 20 0 15 0 123500631 14316269568 245540 18446744073709551615 4194304 4196468 140722245984816 140118357874928 140118812236418 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11768] ppid=11759 vsize=13980732 memory=820252 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11768/stat : 11768 (java) S 11759 11759 4674 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 123500631 14316269568 245540 18446744073709551615 4194304 4196468 140722245984816 140118356821152 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11769] ppid=11759 vsize=13980732 memory=949268 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11769/stat : 11769 (java) S 11759 11759 4674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 123500632 14316269568 245540 18446744073709551615 4194304 4196468 140722245984816 140118355768048 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11770] ppid=11759 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11770/stat : 11770 (java) S 11759 11759 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123500634 14316269568 245540 18446744073709551615 4194304 4196468 140722245984816 140118354716624 140118812243867 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11771] ppid=11759 vsize=13980732 memory=1380 CPUtime=2.49 cores=0,2,4,6
/proc/11761/task/11771/stat : 11771 (java) S 11759 11759 4674 0 -1 1077944384 13011 0 0 0 248 1 0 0 20 0 15 0 123500634 14316269568 245540 18446744073709551615 4194304 4196468 140722245984816 140118353664752 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11772] ppid=11759 vsize=13980732 memory=984 CPUtime=2.45 cores=0,2,4,6
/proc/11761/task/11772/stat : 11772 (java) S 11759 11759 4674 0 -1 1077944384 14609 0 0 0 244 1 0 0 20 0 15 0 123500634 14316269568 245540 18446744073709551615 4194304 4196468 140722245984816 140118352612208 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11773] ppid=11759 vsize=13980732 memory=1380 CPUtime=0.67 cores=0,2,4,6
/proc/11761/task/11773/stat : 11773 (java) S 11759 11759 4674 0 -1 1077944384 9910 0 0 0 65 2 0 0 20 0 15 0 123500634 14316269568 245540 18446744073709551615 4194304 4196468 140722245984816 140118351559152 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11774] ppid=11759 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11774/stat : 11774 (java) S 11759 11759 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123500634 14316269568 245540 18446744073709551615 4194304 4196468 140722245984816 140118350506848 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11775] ppid=11759 vsize=13980732 memory=4288 CPUtime=0.76 cores=0,2,4,6
/proc/11761/task/11775/stat : 11775 (java) S 11759 11759 4674 0 -1 1077944384 801 0 0 0 36 40 0 0 20 0 15 0 123500639 14316269568 245540 18446744073709551615 4194304 4196468 140722245984816 140118349453872 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
Current children cumulated CPU time: 2458.51 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 983540 KiB

[startup+2502.3 s]
/proc/loadavg: 1.79 1.72 1.67 3/216 12022
/proc/meminfo: memFree=28643072/32770624 swapFree=67108764/67108860
[pid=11759] ppid=11756 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11759/stat : 11759 (xcsp3-exec) S 11756 11759 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123500621 9740288 345 18446744073709551615 4194304 5098028 140731937727168 140731937725272 140646907015804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 15982592 140731937730937 140731937731141 140731937731141 140731937734635 0
/proc/11759/statm: 2378 345 289 221 0 87 0
[pid=11761] ppid=11759 vsize=13980732 memory=1157436 CPUtime=2518.76 cores=0,2,4,6
/proc/11761/stat : 11761 (java) S 11759 11759 4674 0 -1 1077944320 103622 0 0 0 251689 187 0 0 20 0 15 0 123500629 14316269568 289359 18446744073709551615 4194304 4196468 140722245984816 140722245967360 140118812225271 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
/proc/11761/statm: 3495183 289359 3244 1 0 3483476 0
[pid=11761/tid=11762] ppid=11759 vsize=13980732 memory=1026360 CPUtime=2497.05 cores=0,2,4,6
/proc/11761/task/11762/stat : 11762 (java) R 11759 11759 4674 0 -1 4202560 36146 0 0 0 249602 103 0 0 20 0 15 0 123500629 14316269568 289359 18446744073709551615 4194304 4196468 140722245984816 140118816464768 140118430890354 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11763] ppid=11759 vsize=13980732 memory=958512 CPUtime=3.56 cores=0,2,4,6
/proc/11761/task/11763/stat : 11763 (java) S 11759 11759 4674 0 -1 1077944384 6138 0 0 0 346 10 0 0 20 0 15 0 123500630 14316269568 289359 18446744073709551615 4194304 4196468 140722245984816 140118746659856 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11764] ppid=11759 vsize=13980732 memory=696360 CPUtime=3.56 cores=0,2,4,6
/proc/11761/task/11764/stat : 11764 (java) S 11759 11759 4674 0 -1 1077944384 4818 0 0 0 346 10 0 0 20 0 15 0 123500630 14316269568 289359 18446744073709551615 4194304 4196468 140722245984816 140118410837136 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11765] ppid=11759 vsize=13980732 memory=1380 CPUtime=3.6 cores=0,2,4,6
/proc/11761/task/11765/stat : 11765 (java) S 11759 11759 4674 0 -1 1077944384 4950 0 0 0 350 10 0 0 20 0 15 0 123500630 14316269568 289359 18446744073709551615 4194304 4196468 140722245984816 140118409784080 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11766] ppid=11759 vsize=13980732 memory=1380 CPUtime=3.58 cores=0,2,4,6
/proc/11761/task/11766/stat : 11766 (java) S 11759 11759 4674 0 -1 1077944384 4700 0 0 0 348 10 0 0 20 0 15 0 123500630 14316269568 289359 18446744073709551615 4194304 4196468 140722245984816 140118408731536 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11767] ppid=11759 vsize=13980732 memory=926128 CPUtime=0.92 cores=0,2,4,6
/proc/11761/task/11767/stat : 11767 (java) S 11759 11759 4674 0 -1 1077944384 7194 0 0 0 80 12 0 0 20 0 15 0 123500631 14316269568 289359 18446744073709551615 4194304 4196468 140722245984816 140118357874928 140118812236418 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11768] ppid=11759 vsize=13980732 memory=1026360 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11768/stat : 11768 (java) S 11759 11759 4674 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 123500631 14316269568 289359 18446744073709551615 4194304 4196468 140722245984816 140118356821152 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11769] ppid=11759 vsize=13980732 memory=1157952 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11769/stat : 11769 (java) S 11759 11759 4674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 123500632 14316269568 289359 18446744073709551615 4194304 4196468 140722245984816 140118355768048 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11770] ppid=11759 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11770/stat : 11770 (java) S 11759 11759 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123500634 14316269568 289359 18446744073709551615 4194304 4196468 140722245984816 140118354716624 140118812243867 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11771] ppid=11759 vsize=13980732 memory=1380 CPUtime=2.49 cores=0,2,4,6
/proc/11761/task/11771/stat : 11771 (java) S 11759 11759 4674 0 -1 1077944384 13011 0 0 0 248 1 0 0 20 0 15 0 123500634 14316269568 289359 18446744073709551615 4194304 4196468 140722245984816 140118353664752 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11772] ppid=11759 vsize=13980732 memory=1380 CPUtime=2.46 cores=0,2,4,6
/proc/11761/task/11772/stat : 11772 (java) S 11759 11759 4674 0 -1 1077944384 14609 0 0 0 244 2 0 0 20 0 15 0 123500634 14316269568 289359 18446744073709551615 4194304 4196468 140722245984816 140118352612208 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11773] ppid=11759 vsize=13980732 memory=1157436 CPUtime=0.67 cores=0,2,4,6
/proc/11761/task/11773/stat : 11773 (java) S 11759 11759 4674 0 -1 1077944384 9910 0 0 0 65 2 0 0 20 0 15 0 123500634 14316269568 289359 18446744073709551615 4194304 4196468 140722245984816 140118351559152 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11774] ppid=11759 vsize=13980732 memory=993460 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11774/stat : 11774 (java) S 11759 11759 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123500634 14316269568 289359 18446744073709551615 4194304 4196468 140722245984816 140118350506848 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11775] ppid=11759 vsize=13980732 memory=1380 CPUtime=0.78 cores=0,2,4,6
/proc/11761/task/11775/stat : 11775 (java) S 11759 11759 4674 0 -1 1077944384 805 0 0 0 37 41 0 0 20 0 15 0 123500639 14316269568 289359 18446744073709551615 4194304 4196468 140722245984816 140118349453872 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
Current children cumulated CPU time: 2518.76 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1158816 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2503.6 s]
/proc/loadavg: 1.79 1.72 1.67 3/216 12022
/proc/meminfo: memFree=28610492/32770624 swapFree=67108764/67108860
[pid=11759] ppid=11756 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/11759/stat : 11759 (xcsp3-exec) S 11756 11759 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123500621 9740288 345 18446744073709551615 4194304 5098028 140731937727168 140731937725272 140646907015804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 15982592 140731937730937 140731937731141 140731937731141 140731937734635 0
/proc/11759/statm: 2378 345 289 221 0 87 0
[pid=11761] ppid=11759 vsize=13980732 memory=1190332 CPUtime=2520.05 cores=0,2,4,6
/proc/11761/stat : 11761 (java) S 11759 11759 4674 0 -1 1077944320 103670 0 0 0 251818 187 0 0 20 0 15 0 123500629 14316269568 297583 18446744073709551615 4194304 4196468 140722245984816 140722245967360 140118812225271 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
/proc/11761/statm: 3495183 297583 3244 1 0 3483476 0
[pid=11761/tid=11762] ppid=11759 vsize=13980732 memory=-8774313645642428999 CPUtime=2498.35 cores=0,2,4,6
/proc/11761/task/11762/stat : 11762 (java) R 11759 11759 4674 0 -1 4202560 36194 0 0 0 249732 103 0 0 20 0 15 0 123500629 14316269568 297583 18446744073709551615 4194304 4196468 140722245984816 140118816464904 140118432592086 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11763] ppid=11759 vsize=13980732 memory=1296 CPUtime=3.56 cores=0,2,4,6
/proc/11761/task/11763/stat : 11763 (java) S 11759 11759 4674 0 -1 1077944384 6138 0 0 0 346 10 0 0 20 0 15 0 123500630 14316269568 297583 18446744073709551615 4194304 4196468 140722245984816 140118746659856 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11764] ppid=11759 vsize=13980732 memory=2320 CPUtime=3.56 cores=0,2,4,6
/proc/11761/task/11764/stat : 11764 (java) S 11759 11759 4674 0 -1 1077944384 4818 0 0 0 346 10 0 0 20 0 15 0 123500630 14316269568 297583 18446744073709551615 4194304 4196468 140722245984816 140118410837136 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11765] ppid=11759 vsize=13980732 memory=1724 CPUtime=3.6 cores=0,2,4,6
/proc/11761/task/11765/stat : 11765 (java) S 11759 11759 4674 0 -1 1077944384 4950 0 0 0 350 10 0 0 20 0 15 0 123500630 14316269568 297583 18446744073709551615 4194304 4196468 140722245984816 140118409784080 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11766] ppid=11759 vsize=13980732 memory=2012 CPUtime=3.58 cores=0,2,4,6
/proc/11761/task/11766/stat : 11766 (java) S 11759 11759 4674 0 -1 1077944384 4700 0 0 0 348 10 0 0 20 0 15 0 123500630 14316269568 297583 18446744073709551615 4194304 4196468 140722245984816 140118408731536 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11767] ppid=11759 vsize=13980732 memory=11048 CPUtime=0.92 cores=0,2,4,6
/proc/11761/task/11767/stat : 11767 (java) S 11759 11759 4674 0 -1 1077944384 7194 0 0 0 80 12 0 0 20 0 15 0 123500631 14316269568 297583 18446744073709551615 4194304 4196468 140722245984816 140118357874928 140118812236418 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11768] ppid=11759 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11768/stat : 11768 (java) S 11759 11759 4674 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 123500631 14316269568 297583 18446744073709551615 4194304 4196468 140722245984816 140118356821152 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11769] ppid=11759 vsize=13980732 memory=5712 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11769/stat : 11769 (java) S 11759 11759 4674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 123500632 14316269568 297583 18446744073709551615 4194304 4196468 140722245984816 140118355768048 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11770] ppid=11759 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11770/stat : 11770 (java) S 11759 11759 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123500634 14316269568 297583 18446744073709551615 4194304 4196468 140722245984816 140118354716624 140118812243867 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11771] ppid=11759 vsize=13980732 memory=984 CPUtime=2.49 cores=0,2,4,6
/proc/11761/task/11771/stat : 11771 (java) S 11759 11759 4674 0 -1 1077944384 13011 0 0 0 248 1 0 0 20 0 15 0 123500634 14316269568 297583 18446744073709551615 4194304 4196468 140722245984816 140118353664752 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11772] ppid=11759 vsize=13980732 memory=1728 CPUtime=2.46 cores=0,2,4,6
/proc/11761/task/11772/stat : 11772 (java) S 11759 11759 4674 0 -1 1077944384 14609 0 0 0 244 2 0 0 20 0 15 0 123500634 14316269568 297583 18446744073709551615 4194304 4196468 140722245984816 140118352612208 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11773] ppid=11759 vsize=13980732 memory=4572 CPUtime=0.67 cores=0,2,4,6
/proc/11761/task/11773/stat : 11773 (java) S 11759 11759 4674 0 -1 1077944384 9910 0 0 0 65 2 0 0 20 0 15 0 123500634 14316269568 297583 18446744073709551615 4194304 4196468 140722245984816 140118351559152 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11774] ppid=11759 vsize=13980732 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/11761/task/11774/stat : 11774 (java) S 11759 11759 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123500634 14316269568 297583 18446744073709551615 4194304 4196468 140722245984816 140118350506848 140118812235477 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
[pid=11761/tid=11775] ppid=11759 vsize=13980732 memory=12304 CPUtime=0.78 cores=0,2,4,6
/proc/11761/task/11775/stat : 11775 (java) S 11759 11759 4674 0 -1 1077944384 805 0 0 0 37 41 0 0 20 0 15 0 123500639 14316269568 297583 18446744073709551615 4194304 4196468 140722245984816 140118349453872 140118812236418 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 10113024 140722245988785 140722245988961 140722245988961 140722245992399 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1191712 KiB

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

[startup+2503.61 s]
# the end of solver process 11759 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001682 s, system=0.000957 s

[startup+2503.63 s]
# the end of solver process 11761 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.2 s, system=1.88758 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): 2503.63
CPU time (s): 2520.09
CPU user time (s): 2518.2
CPU system time (s): 1.88758
CPU usage (%): 100.658
Max. virtual memory (cumulated for all children) (KiB): 13992200
Max. memory (cumulated for all children) (KiB): 2625216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.2
system time used= 1.88758
maximum resident set size= 2636972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77385
involuntary context switches= 6190


# summary of solver processes directly reported to runsolver:
#   pid: 11759,11761
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2518.2
#   total CPU system time (s): 1.88758

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5957 second user time and 22.6327 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 4269367

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