2017 XCSP3 competition: fast COP track (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)	1483	247.05499	240.024

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270357-1502621430.xml"  -tl '264s' -p 1 -x 0
0.12/0.14	c [HOME/instance-4270357-1502621430.xml, -tl, 264s, -p, 1, -x, 0]
0.12/0.19	c simple solver
0.33/0.26	c parse instance...
1.84/0.72	c solve instance...
4.51/1.72	o 1698 
4.51/1.73	o 1632 
4.51/1.74	o 1631 
4.51/1.77	o 1610 
4.82/1.82	o 1609 
4.82/1.83	o 1601 
4.82/1.84	o 1558 
43.69/37.14	o 1520 
44.05/37.39	o 1500 
44.05/37.39	o 1492 
44.87/38.17	o 1491 
44.87/38.19	o 1483 
247.03/240.01	s SATISFIABLE
247.03/240.01	v <instantiation>
247.03/240.01	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>
247.03/240.01	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 73 99 55 65 86 59 25 85 43 55 58 19 52 30 75 75 8 62 40 77 16 68 86 84 19 14 58 12 51 21 38 31 81 64 74 5 85 57 25 40 76 38 26 76 </values>
247.03/240.01	v </instantiation>
247.03/240.01	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 (15090 MiB free)
  memory of node 1: 16384 MiB (15557 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270357-1502621430/watcher-4270357-1502621430 -o /tmp/evaluation-result-4270357-1502621430/solver-4270357-1502621430 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1502620090-31365 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1037561031 HOME/instance-4270357-1502621430.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=31818, runsolver pid=31815


[startup+0.100119 s]*
/proc/loadavg: 2.12 1.89 1.51 3/217 31834
/proc/meminfo: memFree=31367084/32770624 swapFree=67108860/67108860
[pid=31818] ppid=31815 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31818/stat : 31818 (xcsp3-exec) S 31815 31818 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95230839 9740288 346 33554432000 4194304 5098028 140732922976224 140732922974328 139808053265020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11603968 140732922979444 140732922979648 140732922979648 140732922982379 0
/proc/31818/statm: 2378 346 289 221 0 87 0
[pid=31820] ppid=31818 vsize=13978596 memory=28220 CPUtime=0.12 cores=0,2,4,6
/proc/31820/stat : 31820 (java) S 31818 31818 28385 0 -1 1077944320 5457 0 0 0 10 2 0 0 20 0 15 0 95230839 14314082304 7055 33554432000 4194304 4196468 140727778437824 140727778420368 140559351631607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
/proc/31820/statm: 3494649 7055 2868 1 0 3482966 0
[pid=31820/tid=31821] ppid=31818 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/31820/task/31821/stat : 31821 (java) R 31818 31818 28385 0 -1 4202560 3427 0 0 0 8 1 0 0 20 0 15 0 95230839 14314082304 7055 33554432000 4194304 4196468 140727778437824 140559355864880 140558989133525 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31822] ppid=31818 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31822/stat : 31822 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230840 14314082304 7055 33554432000 4194304 4196468 140727778437824 140558947510928 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31823] ppid=31818 vsize=13978596 memory=139654919227008 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31823/stat : 31823 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230840 14314082304 7055 33554432000 4194304 4196468 140727778437824 140558946458128 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31824] ppid=31818 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31824/stat : 31824 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230840 14314082304 7055 33554432000 4194304 4196468 140727778437824 140558945405328 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31825] ppid=31818 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31825/stat : 31825 (java) S 31818 31818 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95230840 14314082304 7055 33554432000 4194304 4196468 140727778437824 140558944352528 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31826] ppid=31818 vsize=13978596 memory=139654919227008 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31826/stat : 31826 (java) S 31818 31818 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95230841 14314082304 7055 33554432000 4194304 4196468 140727778437824 140558825802608 140559351642754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31827] ppid=31818 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31827/stat : 31827 (java) S 31818 31818 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95230842 14314082304 7055 33554432000 4194304 4196468 140727778437824 140558824748576 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31828] ppid=31818 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31828/stat : 31828 (java) S 31818 31818 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95230842 14314082304 7055 33554432000 4194304 4196468 140727778437824 140558823695728 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31829] ppid=31818 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31829/stat : 31829 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230844 14314082304 7055 33554432000 4194304 4196468 140727778437824 140558822644048 140559351650203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31830] ppid=31818 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31830/stat : 31830 (java) S 31818 31818 28385 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 95230844 14314082304 7055 33554432000 4194304 4196468 140727778437824 140558821591408 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31831] ppid=31818 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31831/stat : 31831 (java) S 31818 31818 28385 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 95230844 14314082304 7055 33554432000 4194304 4196468 140727778437824 140558820538608 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31832] ppid=31818 vsize=13978596 memory=139654919227008 CPUtime=0.01 cores=0,2,4,6
/proc/31820/task/31832/stat : 31832 (java) R 31818 31818 28385 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 15 0 95230844 14314082304 7055 33554432000 4194304 4196468 140727778437824 140558819485808 140559330602581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31833] ppid=31818 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31833/stat : 31833 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230845 14314082304 7055 33554432000 4194304 4196468 140727778437824 140558818433248 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31834] ppid=31818 vsize=13978596 memory=139654919227008 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31834/stat : 31834 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230845 14314082304 7055 33554432000 4194304 4196468 140727778437824 140558817381552 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29604 KiB

[startup+0.210529 s]*
/proc/loadavg: 2.12 1.89 1.51 3/217 31834
/proc/meminfo: memFree=31355400/32770624 swapFree=67108860/67108860
[pid=31818] ppid=31815 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31818/stat : 31818 (xcsp3-exec) S 31815 31818 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95230839 9740288 346 33554432000 4194304 5098028 140732922976224 140732922974328 139808053265020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11603968 140732922979444 140732922979648 140732922979648 140732922982379 0
/proc/31818/statm: 2378 346 289 221 0 87 0
[pid=31820] ppid=31818 vsize=13982852 memory=40544 CPUtime=0.33 cores=0,2,4,6
/proc/31820/stat : 31820 (java) S 31818 31818 28385 0 -1 1077944320 8238 0 0 0 30 3 0 0 20 0 15 0 95230839 14318440448 10136 33554432000 4194304 4196468 140727778437824 140727778420368 140559351631607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
/proc/31820/statm: 3495713 10136 3055 1 0 3482966 0
[pid=31820/tid=31821] ppid=31818 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/31820/task/31821/stat : 31821 (java) D 31818 31818 28385 0 -1 1077944384 5373 0 0 0 18 2 0 0 20 0 15 0 95230839 14318440448 10136 33554432000 4194304 4196468 140727778437824 140559355841232 140559344310829 0 4 0 16800975 18446744072101707300 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31822] ppid=31818 vsize=13982852 memory=13595 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31822/stat : 31822 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230840 14318440448 10136 33554432000 4194304 4196468 140727778437824 140558947510928 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31823] ppid=31818 vsize=13982852 memory=139654919594691 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31823/stat : 31823 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230840 14318440448 10136 33554432000 4194304 4196468 140727778437824 140558946458128 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31824] ppid=31818 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31824/stat : 31824 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230840 14318440448 10136 33554432000 4194304 4196468 140727778437824 140558945405328 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31825] ppid=31818 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31825/stat : 31825 (java) S 31818 31818 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95230840 14318473216 10136 33554432000 4194304 4196468 140727778437824 140558944352528 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31826] ppid=31818 vsize=13982884 memory=139654919227008 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31826/stat : 31826 (java) S 31818 31818 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95230841 14318473216 10136 33554432000 4194304 4196468 140727778437824 140558825802608 140559351642754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31827] ppid=31818 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31827/stat : 31827 (java) S 31818 31818 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95230842 14318440448 10136 33554432000 4194304 4196468 140727778437824 140558824748576 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31828] ppid=31818 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31828/stat : 31828 (java) S 31818 31818 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95230842 14318440448 10136 33554432000 4194304 4196468 140727778437824 140558823695728 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31829] ppid=31818 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31829/stat : 31829 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230844 14318440448 10136 33554432000 4194304 4196468 140727778437824 140558822644048 140559351650203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31830] ppid=31818 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31820/task/31830/stat : 31830 (java) S 31818 31818 28385 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 15 0 95230844 14318440448 10136 33554432000 4194304 4196468 140727778437824 140558821591408 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31831] ppid=31818 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31820/task/31831/stat : 31831 (java) S 31818 31818 28385 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 15 0 95230844 14318440448 10136 33554432000 4194304 4196468 140727778437824 140558820538608 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31832] ppid=31818 vsize=13982884 memory=139654919227008 CPUtime=0.07 cores=0,2,4,6
/proc/31820/task/31832/stat : 31832 (java) S 31818 31818 28385 0 -1 1077944384 739 0 0 0 7 0 0 0 20 0 15 0 95230844 14318473216 10136 33554432000 4194304 4196468 140727778437824 140558819485808 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31833] ppid=31818 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31833/stat : 31833 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230845 14318473216 10136 33554432000 4194304 4196468 140727778437824 140558818433248 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31834] ppid=31818 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31834/stat : 31834 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230845 14318440448 10136 33554432000 4194304 4196468 140727778437824 140558817381552 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41928 KiB

[startup+0.310576 s]*
/proc/loadavg: 2.12 1.89 1.51 5/217 31834
/proc/meminfo: memFree=31348328/32770624 swapFree=67108860/67108860
[pid=31818] ppid=31815 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31818/stat : 31818 (xcsp3-exec) S 31815 31818 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95230839 9740288 346 33554432000 4194304 5098028 140732922976224 140732922974328 139808053265020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11603968 140732922979444 140732922979648 140732922979648 140732922982379 0
/proc/31818/statm: 2378 346 289 221 0 87 0
[pid=31820] ppid=31818 vsize=13982852 memory=47364 CPUtime=0.5 cores=0,2,4,6
/proc/31820/stat : 31820 (java) S 31818 31818 28385 0 -1 1077944320 9027 0 0 0 47 3 0 0 20 0 15 0 95230839 14318440448 11841 33554432000 4194304 4196468 140727778437824 140727778420368 140559351631607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
/proc/31820/statm: 3495713 11841 3079 1 0 3482966 0
[pid=31820/tid=31821] ppid=31818 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/31820/task/31821/stat : 31821 (java) R 31818 31818 28385 0 -1 4202560 5955 0 0 0 27 2 0 0 20 0 15 0 95230839 14318440448 11841 33554432000 4194304 4196468 140727778437824 140559355869432 140558989104789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31822] ppid=31818 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31822/stat : 31822 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230840 14318440448 11841 33554432000 4194304 4196468 140727778437824 140558947510928 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31823] ppid=31818 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31823/stat : 31823 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230840 14318440448 11841 33554432000 4194304 4196468 140727778437824 140558946458128 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31824] ppid=31818 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31824/stat : 31824 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230840 14318440448 11841 33554432000 4194304 4196468 140727778437824 140558945405328 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31825] ppid=31818 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31825/stat : 31825 (java) S 31818 31818 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95230840 14318440448 11841 33554432000 4194304 4196468 140727778437824 140558944352528 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31826] ppid=31818 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31826/stat : 31826 (java) S 31818 31818 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95230841 14318440448 11841 33554432000 4194304 4196468 140727778437824 140558825802608 140559351642754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31827] ppid=31818 vsize=13982852 memory=-9001728533042062950 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31827/stat : 31827 (java) S 31818 31818 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95230842 14318440448 11841 33554432000 4194304 4196468 140727778437824 140558824748576 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31828] ppid=31818 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31828/stat : 31828 (java) S 31818 31818 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95230842 14318440448 11841 33554432000 4194304 4196468 140727778437824 140558823695728 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31829] ppid=31818 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31829/stat : 31829 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230844 14318440448 11841 33554432000 4194304 4196468 140727778437824 140558822644048 140559351650203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31830] ppid=31818 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/31820/task/31830/stat : 31830 (java) R 31818 31818 28385 0 -1 4202560 511 0 0 0 3 0 0 0 20 0 15 0 95230844 14318440448 11841 33554432000 4194304 4196468 140727778437824 140558821591408 140559343921088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31831] ppid=31818 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31820/task/31831/stat : 31831 (java) R 31818 31818 28385 0 -1 1077944384 394 0 0 0 3 0 0 0 20 0 15 0 95230844 14318440448 11841 33554432000 4194304 4196468 140727778437824 140558820538608 140559351642754 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31832] ppid=31818 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/31820/task/31832/stat : 31832 (java) R 31818 31818 28385 0 -1 4202560 863 0 0 0 12 0 0 0 20 0 15 0 95230844 14318440448 11841 33554432000 4194304 4196468 140727778437824 140558819482176 140559330236211 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31833] ppid=31818 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31833/stat : 31833 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230845 14318440448 11841 33554432000 4194304 4196468 140727778437824 140558818433248 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31834] ppid=31818 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31834/stat : 31834 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230845 14318440448 11841 33554432000 4194304 4196468 140727778437824 140558817381552 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48748 KiB

[startup+0.701607 s]
/proc/loadavg: 2.12 1.89 1.51 5/217 31834
/proc/meminfo: memFree=31320720/32770624 swapFree=67108860/67108860
[pid=31818] ppid=31815 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31818/stat : 31818 (xcsp3-exec) S 31815 31818 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95230839 9740288 346 33554432000 4194304 5098028 140732922976224 140732922974328 139808053265020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11603968 140732922979444 140732922979648 140732922979648 140732922982379 0
/proc/31818/statm: 2378 346 289 221 0 87 0
[pid=31820] ppid=31818 vsize=13984976 memory=95628 CPUtime=1.84 cores=0,2,4,6
/proc/31820/stat : 31820 (java) S 31818 31818 28385 0 -1 1077944320 12468 0 0 0 178 6 0 0 20 0 15 0 95230839 14320615424 23907 33554432000 4194304 4196468 140727778437824 140727778420368 140559351631607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
/proc/31820/statm: 3496244 23907 3200 1 0 3483478 0
[pid=31820/tid=31821] ppid=31818 vsize=13984976 memory=3472328296227679313 CPUtime=0.68 cores=0,2,4,6
/proc/31820/task/31821/stat : 31821 (java) R 31818 31818 28385 0 -1 4202560 6600 0 0 0 64 4 0 0 20 0 15 0 95230839 14320615424 23907 33554432000 4194304 4196468 140727778437824 140559355871088 140558993612112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31822] ppid=31818 vsize=13984976 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31822/stat : 31822 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230840 14320615424 23907 33554432000 4194304 4196468 140727778437824 140558947510928 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31823] ppid=31818 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31823/stat : 31823 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230840 14320615424 23907 33554432000 4194304 4196468 140727778437824 140558946458128 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31824] ppid=31818 vsize=13984976 memory=27344 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31824/stat : 31824 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230840 14320615424 23907 33554432000 4194304 4196468 140727778437824 140558945405328 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31825] ppid=31818 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31825/stat : 31825 (java) S 31818 31818 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95230840 14320615424 23907 33554432000 4194304 4196468 140727778437824 140558944352528 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31826] ppid=31818 vsize=13984976 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31826/stat : 31826 (java) S 31818 31818 28385 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95230841 14320615424 23907 33554432000 4194304 4196468 140727778437824 140558825802608 140559351642754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31827] ppid=31818 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31827/stat : 31827 (java) S 31818 31818 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95230842 14320615424 23907 33554432000 4194304 4196468 140727778437824 140558824748576 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31828] ppid=31818 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31828/stat : 31828 (java) S 31818 31818 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95230842 14320615424 23907 33554432000 4194304 4196468 140727778437824 140558823695728 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31829] ppid=31818 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31829/stat : 31829 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230844 14320615424 23907 33554432000 4194304 4196468 140727778437824 140558822644048 140559351650203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31830] ppid=31818 vsize=13984976 memory=1948 CPUtime=0.37 cores=0,2,4,6
/proc/31820/task/31830/stat : 31830 (java) R 31818 31818 28385 0 -1 4202560 1244 0 0 0 37 0 0 0 20 0 15 0 95230844 14320615424 23907 33554432000 4194304 4196468 140727778437824 140558821589808 140559331795392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31831] ppid=31818 vsize=13984976 memory=8560 CPUtime=0.38 cores=0,2,4,6
/proc/31820/task/31831/stat : 31831 (java) R 31818 31818 28385 0 -1 4202560 1387 0 0 0 38 0 0 0 20 0 15 0 95230844 14320615424 23907 33554432000 4194304 4196468 140727778437824 140558820525360 140559330078907 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31832] ppid=31818 vsize=13984976 memory=1228 CPUtime=0.37 cores=0,2,4,6
/proc/31820/task/31832/stat : 31832 (java) R 31818 31818 28385 0 -1 1077944384 1930 0 0 0 37 0 0 0 20 0 15 0 95230844 14320615424 23907 33554432000 4194304 4196468 140727778437824 140558819485808 140559351642754 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31833] ppid=31818 vsize=13984976 memory=12028 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31833/stat : 31833 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230845 14320615424 23907 33554432000 4194304 4196468 140727778437824 140558818433248 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31834] ppid=31818 vsize=13984976 memory=5668 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31834/stat : 31834 (java) S 31818 31818 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95230845 14320615424 23907 33554432000 4194304 4196468 140727778437824 140558817381552 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 97012 KiB

[startup+1.50077 s]
/proc/loadavg: 2.12 1.89 1.51 5/217 31834
/proc/meminfo: memFree=31283112/32770624 swapFree=67108860/67108860
[pid=31818] ppid=31815 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31818/stat : 31818 (xcsp3-exec) S 31815 31818 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95230839 9740288 346 33554432000 4194304 5098028 140732922976224 140732922974328 139808053265020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11603968 140732922979444 140732922979648 140732922979648 140732922982379 0
/proc/31818/statm: 2378 346 289 221 0 87 0

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

/proc/31820/task/31828/stat : 31828 (java) S 31818 31818 28385 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 95230842 14320615424 56846 33554432000 4194304 4196468 140727778437824 140558823695728 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31829] ppid=31818 vsize=13984976 memory=-7085965079953236794 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31829/stat : 31829 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230844 14320615424 56846 33554432000 4194304 4196468 140727778437824 140558822644048 140559351650203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31830] ppid=31818 vsize=13984976 memory=6791534058613427641 CPUtime=3.11 cores=0,2,4,6
/proc/31820/task/31830/stat : 31830 (java) S 31818 31818 28385 0 -1 1077944384 17310 0 0 0 310 1 0 0 20 0 15 0 95230844 14320615424 56846 33554432000 4194304 4196468 140727778437824 140558821591408 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31831] ppid=31818 vsize=13984976 memory=4127128028929 CPUtime=3.1 cores=0,2,4,6
/proc/31820/task/31831/stat : 31831 (java) S 31818 31818 28385 0 -1 1077944384 14557 0 0 0 308 2 0 0 20 0 15 0 95230844 14320615424 56846 33554432000 4194304 4196468 140727778437824 140558820538608 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31832] ppid=31818 vsize=13984976 memory=228932 CPUtime=0.64 cores=0,2,4,6
/proc/31820/task/31832/stat : 31832 (java) S 31818 31818 28385 0 -1 1077944384 7441 0 0 0 62 2 0 0 20 0 15 0 95230844 14320615424 56846 33554432000 4194304 4196468 140727778437824 140558819485808 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31833] ppid=31818 vsize=13984976 memory=164 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31833/stat : 31833 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230845 14320615424 56846 33554432000 4194304 4196468 140727778437824 140558818433248 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31834] ppid=31818 vsize=13984976 memory=6655300316396806240 CPUtime=0.02 cores=0,2,4,6
/proc/31820/task/31834/stat : 31834 (java) S 31818 31818 28385 0 -1 1077944384 234 0 0 0 1 1 0 0 20 0 15 0 95230845 14320615424 56846 33554432000 4194304 4196468 140727778437824 140558817381552 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
Current children cumulated CPU time: 109.26 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 228768 KiB

[startup+162.301 s]
/proc/loadavg: 1.93 1.91 1.58 3/217 31917
/proc/meminfo: memFree=31162088/32770624 swapFree=67108860/67108860
[pid=31818] ppid=31815 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31818/stat : 31818 (xcsp3-exec) S 31815 31818 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95230839 9740288 346 33554432000 4194304 5098028 140732922976224 140732922974328 139808053265020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11603968 140732922979444 140732922979648 140732922979648 140732922982379 0
/proc/31818/statm: 2378 346 289 221 0 87 0
[pid=31820] ppid=31818 vsize=13984976 memory=221728 CPUtime=169.28 cores=0,2,4,6
/proc/31820/stat : 31820 (java) S 31818 31818 28385 0 -1 1077944320 59655 0 0 0 16909 19 0 0 20 0 15 0 95230839 14320615424 55432 33554432000 4194304 4196468 140727778437824 140727778420368 140559351631607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
/proc/31820/statm: 3496244 55432 3259 1 0 3483478 0
[pid=31820/tid=31821] ppid=31818 vsize=13984976 memory=221728 CPUtime=162.19 cores=0,2,4,6
/proc/31820/task/31821/stat : 31821 (java) R 31818 31818 28385 0 -1 4202560 12343 0 0 0 16212 7 0 0 20 0 15 0 95230839 14320615424 55432 33554432000 4194304 4196468 140727778437824 140559355870848 140558993981616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31822] ppid=31818 vsize=13984976 memory=221728 CPUtime=0.03 cores=0,2,4,6
/proc/31820/task/31822/stat : 31822 (java) S 31818 31818 28385 0 -1 1077944384 1470 0 0 0 2 1 0 0 20 0 15 0 95230840 14320615424 55432 33554432000 4194304 4196468 140727778437824 140558947510928 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31823] ppid=31818 vsize=13984976 memory=221728 CPUtime=0.03 cores=0,2,4,6
/proc/31820/task/31823/stat : 31823 (java) S 31818 31818 28385 0 -1 1077944384 1428 0 0 0 2 1 0 0 20 0 15 0 95230840 14320615424 55432 33554432000 4194304 4196468 140727778437824 140558946458128 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31824] ppid=31818 vsize=13984976 memory=221728 CPUtime=0.03 cores=0,2,4,6
/proc/31820/task/31824/stat : 31824 (java) S 31818 31818 28385 0 -1 1077944384 1001 0 0 0 2 1 0 0 20 0 15 0 95230840 14320615424 55432 33554432000 4194304 4196468 140727778437824 140558945405328 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31825] ppid=31818 vsize=13984976 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/31820/task/31825/stat : 31825 (java) S 31818 31818 28385 0 -1 1077944384 1215 0 0 0 2 1 0 0 20 0 15 0 95230840 14320615424 55432 33554432000 4194304 4196468 140727778437824 140558944352528 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31826] ppid=31818 vsize=13984976 memory=1873 CPUtime=0.01 cores=0,2,4,6
/proc/31820/task/31826/stat : 31826 (java) S 31818 31818 28385 0 -1 1077944384 1242 0 0 0 1 0 0 0 20 0 15 0 95230841 14320615424 55432 33554432000 4194304 4196468 140727778437824 140558825802608 140559351642754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31827] ppid=31818 vsize=13984976 memory=221728 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31827/stat : 31827 (java) S 31818 31818 28385 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 95230842 14320615424 55432 33554432000 4194304 4196468 140727778437824 140558824748576 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31828] ppid=31818 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31828/stat : 31828 (java) S 31818 31818 28385 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 95230842 14320615424 55432 33554432000 4194304 4196468 140727778437824 140558823695728 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31829] ppid=31818 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31829/stat : 31829 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230844 14320615424 55432 33554432000 4194304 4196468 140727778437824 140558822644048 140559351650203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31830] ppid=31818 vsize=13984976 memory=796 CPUtime=3.11 cores=0,2,4,6
/proc/31820/task/31830/stat : 31830 (java) S 31818 31818 28385 0 -1 1077944384 17313 0 0 0 310 1 0 0 20 0 15 0 95230844 14320615424 55432 33554432000 4194304 4196468 140727778437824 140558821591408 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31831] ppid=31818 vsize=13984976 memory=221728 CPUtime=3.1 cores=0,2,4,6
/proc/31820/task/31831/stat : 31831 (java) S 31818 31818 28385 0 -1 1077944384 14559 0 0 0 308 2 0 0 20 0 15 0 95230844 14320615424 55432 33554432000 4194304 4196468 140727778437824 140558820538608 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31832] ppid=31818 vsize=13984976 memory=2416 CPUtime=0.64 cores=0,2,4,6
/proc/31820/task/31832/stat : 31832 (java) S 31818 31818 28385 0 -1 1077944384 7491 0 0 0 62 2 0 0 20 0 15 0 95230844 14320615424 55432 33554432000 4194304 4196468 140727778437824 140558819485808 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31833] ppid=31818 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31833/stat : 31833 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230845 14320615424 55432 33554432000 4194304 4196468 140727778437824 140558818433248 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31834] ppid=31818 vsize=13984976 memory=4140 CPUtime=0.03 cores=0,2,4,6
/proc/31820/task/31834/stat : 31834 (java) S 31818 31818 28385 0 -1 1077944384 248 0 0 0 2 1 0 0 20 0 15 0 95230845 14320615424 55432 33554432000 4194304 4196468 140727778437824 140558817381552 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
Current children cumulated CPU time: 169.28 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 223112 KiB

[startup+222.301 s]
/proc/loadavg: 1.79 1.88 1.59 3/217 31918
/proc/meminfo: memFree=31174064/32770624 swapFree=67108860/67108860
[pid=31818] ppid=31815 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31818/stat : 31818 (xcsp3-exec) S 31815 31818 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95230839 9740288 346 33554432000 4194304 5098028 140732922976224 140732922974328 139808053265020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11603968 140732922979444 140732922979648 140732922979648 140732922982379 0
/proc/31818/statm: 2378 346 289 221 0 87 0
[pid=31820] ppid=31818 vsize=13984976 memory=211484 CPUtime=229.31 cores=0,2,4,6
/proc/31820/stat : 31820 (java) S 31818 31818 28385 0 -1 1077944320 60932 0 0 0 22910 21 0 0 20 0 15 0 95230839 14320615424 52871 33554432000 4194304 4196468 140727778437824 140727778420368 140559351631607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
/proc/31820/statm: 3496244 52871 3259 1 0 3483478 0
[pid=31820/tid=31821] ppid=31818 vsize=13984976 memory=214556 CPUtime=222.18 cores=0,2,4,6
/proc/31820/task/31821/stat : 31821 (java) R 31818 31818 28385 0 -1 4202560 12437 0 0 0 22211 7 0 0 20 0 15 0 95230839 14320615424 52871 33554432000 4194304 4196468 140727778437824 140559355868352 140558993981798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31822] ppid=31818 vsize=13984976 memory=211484 CPUtime=0.03 cores=0,2,4,6
/proc/31820/task/31822/stat : 31822 (java) S 31818 31818 28385 0 -1 1077944384 1499 0 0 0 2 1 0 0 20 0 15 0 95230840 14320615424 52871 33554432000 4194304 4196468 140727778437824 140558947510928 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31823] ppid=31818 vsize=13984976 memory=211484 CPUtime=0.03 cores=0,2,4,6
/proc/31820/task/31823/stat : 31823 (java) S 31818 31818 28385 0 -1 1077944384 1431 0 0 0 2 1 0 0 20 0 15 0 95230840 14320615424 52871 33554432000 4194304 4196468 140727778437824 140558946458128 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31824] ppid=31818 vsize=13984976 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/31820/task/31824/stat : 31824 (java) S 31818 31818 28385 0 -1 1077944384 1013 0 0 0 2 1 0 0 20 0 15 0 95230840 14320615424 52871 33554432000 4194304 4196468 140727778437824 140558945405328 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31825] ppid=31818 vsize=13984976 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/31820/task/31825/stat : 31825 (java) S 31818 31818 28385 0 -1 1077944384 1219 0 0 0 2 1 0 0 20 0 15 0 95230840 14320615424 52871 33554432000 4194304 4196468 140727778437824 140558944352528 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31826] ppid=31818 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/31820/task/31826/stat : 31826 (java) S 31818 31818 28385 0 -1 1077944384 1282 0 0 0 2 0 0 0 20 0 15 0 95230841 14320615424 52871 33554432000 4194304 4196468 140727778437824 140558825802608 140559351642754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31827] ppid=31818 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31827/stat : 31827 (java) S 31818 31818 28385 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 95230842 14320615424 52871 33554432000 4194304 4196468 140727778437824 140558824748576 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31828] ppid=31818 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31828/stat : 31828 (java) S 31818 31818 28385 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 95230842 14320615424 52871 33554432000 4194304 4196468 140727778437824 140558823695728 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31829] ppid=31818 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31829/stat : 31829 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230844 14320615424 52871 33554432000 4194304 4196468 140727778437824 140558822644048 140559351650203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31830] ppid=31818 vsize=13984976 memory=211484 CPUtime=3.11 cores=0,2,4,6
/proc/31820/task/31830/stat : 31830 (java) S 31818 31818 28385 0 -1 1077944384 17314 0 0 0 310 1 0 0 20 0 15 0 95230844 14320615424 52871 33554432000 4194304 4196468 140727778437824 140558821591408 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31831] ppid=31818 vsize=13984976 memory=1228 CPUtime=3.1 cores=0,2,4,6
/proc/31820/task/31831/stat : 31831 (java) S 31818 31818 28385 0 -1 1077944384 14559 0 0 0 308 2 0 0 20 0 15 0 95230844 14320615424 52871 33554432000 4194304 4196468 140727778437824 140558820538608 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31832] ppid=31818 vsize=13984976 memory=12028 CPUtime=0.65 cores=0,2,4,6
/proc/31820/task/31832/stat : 31832 (java) S 31818 31818 28385 0 -1 1077944384 8561 0 0 0 63 2 0 0 20 0 15 0 95230844 14320615424 52871 33554432000 4194304 4196468 140727778437824 140558819485808 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31833] ppid=31818 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31833/stat : 31833 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230845 14320615424 52871 33554432000 4194304 4196468 140727778437824 140558818433248 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31834] ppid=31818 vsize=13984976 memory=211484 CPUtime=0.04 cores=0,2,4,6
/proc/31820/task/31834/stat : 31834 (java) S 31818 31818 28385 0 -1 1077944384 272 0 0 0 2 2 0 0 20 0 15 0 95230845 14320615424 52871 33554432000 4194304 4196468 140727778437824 140558817381552 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
Current children cumulated CPU time: 229.31 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 212868 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.85 1.88 1.60 3/217 31925
/proc/meminfo: memFree=31183856/32770624 swapFree=67108860/67108860
[pid=31818] ppid=31815 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31818/stat : 31818 (xcsp3-exec) S 31815 31818 28385 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95230839 9740288 346 33554432000 4194304 5098028 140732922976224 140732922974328 139808053265020 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 11603968 140732922979444 140732922979648 140732922979648 140732922982379 0
/proc/31818/statm: 2378 346 289 221 0 87 0
[pid=31820] ppid=31818 vsize=13984976 memory=206348 CPUtime=247.03 cores=0,2,4,6
/proc/31820/stat : 31820 (java) S 31818 31818 28385 0 -1 1077944320 61032 0 0 0 24682 21 0 0 20 0 15 0 95230839 14320615424 51587 33554432000 4194304 4196468 140727778437824 140727778420368 140559351631607 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
/proc/31820/statm: 3496244 51587 3259 1 0 3483478 0
[pid=31820/tid=31821] ppid=31818 vsize=13984976 memory=6791534058613427641 CPUtime=239.88 cores=0,2,4,6
/proc/31820/task/31821/stat : 31821 (java) R 31818 31818 28385 0 -1 4202560 12440 0 0 0 23981 7 0 0 20 0 15 0 95230839 14320615424 51587 33554432000 4194304 4196468 140727778437824 140559355870960 140558995978803 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31822] ppid=31818 vsize=13984976 memory=206868 CPUtime=0.03 cores=0,2,4,6
/proc/31820/task/31822/stat : 31822 (java) S 31818 31818 28385 0 -1 1077944384 1502 0 0 0 2 1 0 0 20 0 15 0 95230840 14320615424 51587 33554432000 4194304 4196468 140727778437824 140558947510928 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31823] ppid=31818 vsize=13984976 memory=1228 CPUtime=0.03 cores=0,2,4,6
/proc/31820/task/31823/stat : 31823 (java) S 31818 31818 28385 0 -1 1077944384 1432 0 0 0 2 1 0 0 20 0 15 0 95230840 14320615424 51587 33554432000 4194304 4196468 140727778437824 140558946458128 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31824] ppid=31818 vsize=13984976 memory=12028 CPUtime=0.04 cores=0,2,4,6
/proc/31820/task/31824/stat : 31824 (java) S 31818 31818 28385 0 -1 1077944384 1015 0 0 0 3 1 0 0 20 0 15 0 95230840 14320615424 51587 33554432000 4194304 4196468 140727778437824 140558945405328 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31825] ppid=31818 vsize=13984976 memory=27356 CPUtime=0.03 cores=0,2,4,6
/proc/31820/task/31825/stat : 31825 (java) S 31818 31818 28385 0 -1 1077944384 1220 0 0 0 2 1 0 0 20 0 15 0 95230840 14320615424 51587 33554432000 4194304 4196468 140727778437824 140558944352528 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31826] ppid=31818 vsize=13984976 memory=1296 CPUtime=0.02 cores=0,2,4,6
/proc/31820/task/31826/stat : 31826 (java) S 31818 31818 28385 0 -1 1077944384 1283 0 0 0 2 0 0 0 20 0 15 0 95230841 14320615424 51587 33554432000 4194304 4196468 140727778437824 140558825802608 140559351642754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31827] ppid=31818 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31827/stat : 31827 (java) S 31818 31818 28385 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 95230842 14320615424 51587 33554432000 4194304 4196468 140727778437824 140558824748576 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31828] ppid=31818 vsize=13984976 memory=206348 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31828/stat : 31828 (java) S 31818 31818 28385 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 95230842 14320615424 51587 33554432000 4194304 4196468 140727778437824 140558823695728 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31829] ppid=31818 vsize=13984976 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31829/stat : 31829 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230844 14320615424 51587 33554432000 4194304 4196468 140727778437824 140558822644048 140559351650203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31830] ppid=31818 vsize=13984976 memory=15876 CPUtime=3.11 cores=0,2,4,6
/proc/31820/task/31830/stat : 31830 (java) S 31818 31818 28385 0 -1 1077944384 17314 0 0 0 310 1 0 0 20 0 15 0 95230844 14320615424 51587 33554432000 4194304 4196468 140727778437824 140558821591408 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31831] ppid=31818 vsize=13984976 memory=17664 CPUtime=3.1 cores=0,2,4,6
/proc/31820/task/31831/stat : 31831 (java) S 31818 31818 28385 0 -1 1077944384 14559 0 0 0 308 2 0 0 20 0 15 0 95230844 14320615424 51587 33554432000 4194304 4196468 140727778437824 140558820538608 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31832] ppid=31818 vsize=13984976 memory=4048 CPUtime=0.65 cores=0,2,4,6
/proc/31820/task/31832/stat : 31832 (java) S 31818 31818 28385 0 -1 1077944384 8650 0 0 0 63 2 0 0 20 0 15 0 95230844 14320615424 51587 33554432000 4194304 4196468 140727778437824 140558819485808 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31833] ppid=31818 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/31820/task/31833/stat : 31833 (java) S 31818 31818 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95230845 14320615424 51587 33554432000 4194304 4196468 140727778437824 140558818433248 140559351641813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
[pid=31820/tid=31834] ppid=31818 vsize=13984976 memory=206348 CPUtime=0.05 cores=0,2,4,6
/proc/31820/task/31834/stat : 31834 (java) S 31818 31818 28385 0 -1 1077944384 272 0 0 0 2 3 0 0 20 0 15 0 95230845 14320615424 51587 33554432000 4194304 4196468 140727778437824 140558817381552 140559351642754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 7835648 140727778444445 140727778444620 140727778444620 140727778447311 0
Current children cumulated CPU time: 247.03 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 207732 KiB

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

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

[startup+240.023 s]
# the end of solver process 31820 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=246.831 s, system=0.223918 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): 240.024
CPU time (s): 247.055
CPU user time (s): 246.831
CPU system time (s): 0.223918
CPU usage (%): 102.93
Max. virtual memory (cumulated for all children) (KiB): 13996816
Max. memory (cumulated for all children) (KiB): 231604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.831
system time used= 0.223918
maximum resident set size= 235076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61971
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7739
involuntary context switches= 339


# summary of solver processes directly reported to runsolver:
#   pid: 31818,31820
#   total CPU time (s): 247.055
#   total CPU user time (s): 246.831
#   total CPU system time (s): 0.223918

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29545 second user time and 2.28092 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	251.91701
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 4270357

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