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
R1: choco-solver 5a (2017-07-05)	SAT (TO)	1483	2400.68	310.912

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246276-1500687382.xml"  -tl '2400s' -p 8 -x 3
0.00/0.20	c [HOME/instance-4246276-1500687382.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.25	c 8 solvers in parallel
0.00/0.32	c parse instance...
4.58/1.36	c solve instance...
5.86/1.52	o 3512 
5.86/1.58	o 1929 
11.35/2.29	o 1774 
22.27/3.63	o 1770 
22.27/3.64	o 1763 
24.51/3.93	o 1698 
24.51/3.94	o 1632 
24.51/3.98	o 1631 
25.80/4.11	o 1610 
26.86/4.39	o 1609 
27.03/4.43	o 1601 
27.03/4.47	o 1558 
567.05/77.24	o 1520 
571.02/77.96	o 1500 
571.02/77.97	o 1492 
586.79/82.67	o 1491 
587.02/82.78	o 1483 
2400.68/310.94	s SATISFIABLE
2400.68/310.94	v <instantiation>
2400.68/310.94	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>
2400.68/310.94	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>
2400.68/310.94	v </instantiation>
2400.68/310.94	c Unexpected resolution interruption!

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246276-1500687382/watcher-4246276-1500687382 -o /tmp/evaluation-result-4246276-1500687382/solver-4246276-1500687382 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1426774051 HOME/instance-4246276-1500687382.xml 

pid=5141
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 16.17 14.94 14.30 10/271 5144
/proc/meminfo: memFree=31790324/32770624 swapFree=5700/252840
[pid=5144] ppid=5141 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5144/stat : 5144 (xcsp3-exec) S 5141 5144 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4005673 9740288 346 33554432000 4194304 5098028 140720435529104 140720435527208 139880188207740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13123584 140720435537038 140720435537248 140720435537248 140720435539947 0
/proc/5144/statm: 2378 346 289 221 0 87 0

[startup+0.100062 s]
/proc/loadavg: 16.17 14.94 14.30 10/271 5144
/proc/meminfo: memFree=31790324/32770624 swapFree=5700/252840
[pid=5144] ppid=5141 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5144/stat : 5144 (xcsp3-exec) S 5141 5144 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4005673 9740288 346 33554432000 4194304 5098028 140720435529104 140720435527208 139880188207740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13123584 140720435537038 140720435537248 140720435537248 140720435539947 0
/proc/5144/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200254 s]
/proc/loadavg: 16.17 14.94 14.30 10/271 5144
/proc/meminfo: memFree=31790324/32770624 swapFree=5700/252840
[pid=5144] ppid=5141 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5144/stat : 5144 (xcsp3-exec) S 5141 5144 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4005673 9740288 346 33554432000 4194304 5098028 140720435529104 140720435527208 139880188207740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13123584 140720435537038 140720435537248 140720435537248 140720435539947 0
/proc/5144/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300237 s]
/proc/loadavg: 16.17 14.94 14.30 10/271 5144
/proc/meminfo: memFree=31790324/32770624 swapFree=5700/252840
[pid=5144] ppid=5141 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5144/stat : 5144 (xcsp3-exec) S 5141 5144 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4005673 9740288 346 33554432000 4194304 5098028 140720435529104 140720435527208 139880188207740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13123584 140720435537038 140720435537248 140720435537248 140720435539947 0
/proc/5144/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700199 s]
/proc/loadavg: 16.17 14.94 14.30 10/271 5144
/proc/meminfo: memFree=31790324/32770624 swapFree=5700/252840
[pid=5144] ppid=5141 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5144/stat : 5144 (xcsp3-exec) S 5141 5144 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4005673 9740288 346 33554432000 4194304 5098028 140720435529104 140720435527208 139880188207740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13123584 140720435537038 140720435537248 140720435537248 140720435539947 0
/proc/5144/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50124 s]
/proc/loadavg: 16.17 14.94 14.30 17/292 5165
/proc/meminfo: memFree=31617764/32770624 swapFree=5700/252856
[pid=5144] ppid=5141 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5144/stat : 5144 (xcsp3-exec) S 5141 5144 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4005673 9740288 346 33554432000 4194304 5098028 140720435529104 140720435527208 139880188207740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13123584 140720435537038 140720435537248 140720435537248 140720435539947 0
/proc/5144/statm: 2378 346 289 221 0 87 0
[pid=5145] ppid=5144 vsize=13801768 CPUtime=5.86 cores=1,3,5,7,9,11,13,15
/proc/5145/stat : 5145 (java) S 5144 5144 7102 0 -1 1077944320 24122 0 0 0 575 11 0 0 20 0 28 0 4005673 14133010432 52945 33554432000 4194304 4196468 140736457503616 140736457486160 140626463661815 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
/proc/5145/statm: 3450442 52945 3259 1 0 3437675 0
[pid=5145/tid=5146] ppid=5144 vsize=13801768 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5146/stat : 5146 (java) S 5144 5144 7102 0 -1 1077944384 8356 0 0 0 128 5 0 0 20 0 28 0 4005674 14133010432 52945 33554432000 4194304 4196468 140736457503616 140626467902592 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5148] ppid=5144 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5148/stat : 5148 (java) S 5144 5144 7102 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 28 0 4005674 14133010432 52945 33554432000 4194304 4196468 140736457503616 140626424622096 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5149] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5149/stat : 5149 (java) S 5144 5144 7102 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4005674 14133010432 52945 33554432000 4194304 4196468 140736457503616 140626061933712 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5150] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5150/stat : 5150 (java) S 5144 5144 7102 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4005674 14133010432 52945 33554432000 4194304 4196468 140736457503616 140626060880656 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5151] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5151/stat : 5151 (java) S 5144 5144 7102 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4005674 14133010432 52945 33554432000 4194304 4196468 140736457503616 140626059828112 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5152] ppid=5144 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5152/stat : 5152 (java) S 5144 5144 7102 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 28 0 4005674 14133010432 52945 33554432000 4194304 4196468 140736457503616 140626058775056 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5153] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5153/stat : 5153 (java) S 5144 5144 7102 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4005674 14133010432 52945 33554432000 4194304 4196468 140736457503616 140626057722512 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5154] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5154/stat : 5154 (java) S 5144 5144 7102 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4005674 14133010432 52945 33554432000 4194304 4196468 140736457503616 140626056669456 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5155] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5155/stat : 5155 (java) S 5144 5144 7102 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 28 0 4005674 14133010432 52945 33554432000 4194304 4196468 140736457503616 140626055616912 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5156] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5156/stat : 5156 (java) S 5144 5144 7102 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 28 0 4005677 14133010432 52945 33554432000 4194304 4196468 140736457503616 140625791695600 140626463672962 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5157] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5157/stat : 5157 (java) S 5144 5144 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4005678 14133010432 52945 33554432000 4194304 4196468 140736457503616 140625790641824 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5158] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5158/stat : 5158 (java) S 5144 5144 7102 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4005678 14133010432 52945 33554432000 4194304 4196468 140736457503616 140625789588720 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5159] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5159/stat : 5159 (java) S 5144 5144 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4005682 14133010432 52945 33554432000 4194304 4196468 140736457503616 140625788537296 140626463680411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5160] ppid=5144 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5160/stat : 5160 (java) R 5144 5144 7102 0 -1 4202560 2877 0 0 0 101 0 0 0 20 0 28 0 4005682 14133010432 52945 33554432000 4194304 4196468 140736457503616 140625787470496 140626448590136 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5161] ppid=5144 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5161/stat : 5161 (java) R 5144 5144 7102 0 -1 4202560 4077 0 0 0 107 0 0 0 20 0 28 0 4005682 14133010432 52945 33554432000 4194304 4196468 140736457503616 140625786413424 140626448585904 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5162] ppid=5144 vsize=13801768 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5162/stat : 5162 (java) R 5144 5144 7102 0 -1 4202560 3458 0 0 0 103 0 0 0 20 0 28 0 4005682 14133010432 52945 33554432000 4194304 4196468 140736457503616 140625785365024 140626448778976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5163] ppid=5144 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5163/stat : 5163 (java) R 5144 5144 7102 0 -1 4202560 3042 0 0 0 76 1 0 0 20 0 28 0 4005682 14133010432 52945 33554432000 4194304 4196468 140736457503616 140625784322016 140626455887795 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5164] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5164/stat : 5164 (java) S 5144 5144 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4005682 14133010432 52945 33554432000 4194304 4196468 140736457503616 140625783274464 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5165] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5165/stat : 5165 (java) S 5144 5144 7102 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4005682 14133010432 52945 33554432000 4194304 4196468 140736457503616 140625782222000 140626463672962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 13811280

[startup+3.1013 s]
/proc/loadavg: 15.84 14.89 14.29 21/300 5189
/proc/meminfo: memFree=31559528/32770624 swapFree=5700/252860
[pid=5144] ppid=5141 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5144/stat : 5144 (xcsp3-exec) S 5141 5144 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4005673 9740288 346 33554432000 4194304 5098028 140720435529104 140720435527208 139880188207740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13123584 140720435537038 140720435537248 140720435537248 140720435539947 0
/proc/5144/statm: 2378 346 289 221 0 87 0
[pid=5145] ppid=5144 vsize=13801768 CPUtime=18.41 cores=1,3,5,7,9,11,13,15
/proc/5145/stat : 5145 (java) S 5144 5144 7102 0 -1 1077944320 28844 0 0 0 1818 23 0 0 20 0 28 0 4005673 14133010432 90289 33554432000 4194304 4196468 140736457503616 140736457486160 140626463661815 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
/proc/5145/statm: 3450442 90289 3285 1 0 3437675 0
[pid=5145/tid=5146] ppid=5144 vsize=13801768 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5146/stat : 5146 (java) S 5144 5144 7102 0 -1 1077944384 8424 0 0 0 129 5 0 0 20 0 28 0 4005674 14133010432 90289 33554432000 4194304 4196468 140736457503616 140626467902592 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5148] ppid=5144 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5148/stat : 5148 (java) S 5144 5144 7102 0 -1 1077944384 77 0 0 0 1 1 0 0 20 0 28 0 4005674 14133010432 90289 33554432000 4194304 4196468 140736457503616 140626424622096 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5149] ppid=5144 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5149/stat : 5149 (java) S 5144 5144 7102 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 28 0 4005674 14133010432 90289 33554432000 4194304 4196468 140736457503616 140626061933712 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5150] ppid=5144 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5150/stat : 5150 (java) S 5144 5144 7102 0 -1 1077944384 21 0 0 0 0 1 0 0 20 0 28 0 4005674 14133010432 90289 33554432000 4194304 4196468 140736457503616 140626060880656 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5151] ppid=5144 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5151/stat : 5151 (java) S 5144 5144 7102 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 28 0 4005674 14133010432 90289 33554432000 4194304 4196468 140736457503616 140626059828112 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5152] ppid=5144 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5152/stat : 5152 (java) S 5144 5144 7102 0 -1 1077944384 186 0 0 0 3 1 0 0 20 0 28 0 4005674 14133010432 90289 33554432000 4194304 4196468 140736457503616 140626058775056 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5153] ppid=5144 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5153/stat : 5153 (java) S 5144 5144 7102 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 4005674 14133010432 90289 33554432000 4194304 4196468 140736457503616 140626057722512 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5154] ppid=5144 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5154/stat : 5154 (java) S 5144 5144 7102 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 28 0 4005674 14133010432 90289 33554432000 4194304 4196468 140736457503616 140626056669456 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5155] ppid=5144 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5155/stat : 5155 (java) S 5144 5144 7102 0 -1 1077944384 131 0 0 0 1 1 0 0 20 0 28 0 4005674 14133010432 90289 33554432000 4194304 4196468 140736457503616 140626055616912 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5156] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5156/stat : 5156 (java) R 5144 5144 7102 0 -1 4202560 221 0 0 0 0 0 0 0 20 0 28 0 4005677 14133010432 90289 33554432000 4194304 4196468 140736457503616 140625791695600 140626456290023 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5157] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5157/stat : 5157 (java) S 5144 5144 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4005678 14133010432 90289 33554432000 4194304 4196468 140736457503616 140625790641888 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5158] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5158/stat : 5158 (java) S 5144 5144 7102 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4005678 14133010432 90289 33554432000 4194304 4196468 140736457503616 140625789588736 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5159] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5159/stat : 5159 (java) S 5144 5144 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4005682 14133010432 90289 33554432000 4194304 4196468 140736457503616 140625788537296 140626463680411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5160] ppid=5144 vsize=13801768 CPUtime=2.12 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5160/stat : 5160 (java) R 5144 5144 7102 0 -1 4202560 3435 0 0 0 212 0 0 0 20 0 28 0 4005682 14133010432 90289 33554432000 4194304 4196468 140736457503616 140625787470944 140626441256624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5161] ppid=5144 vsize=13801768 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5161/stat : 5161 (java) S 5144 5144 7102 0 -1 1077944384 4756 0 0 0 213 0 0 0 20 0 28 0 4005682 14133010432 90289 33554432000 4194304 4196468 140736457503616 140625786412000 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5162] ppid=5144 vsize=13801768 CPUtime=2.32 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5162/stat : 5162 (java) R 5144 5144 7102 0 -1 4202560 4469 0 0 0 232 0 0 0 20 0 28 0 4005682 14133010432 90289 33554432000 4194304 4196468 140736457503616 140625785365344 140626448773166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5163] ppid=5144 vsize=13801768 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5163/stat : 5163 (java) S 5144 5144 7102 0 -1 1077944384 4036 0 0 0 109 2 0 0 20 0 28 0 4005682 14133010432 90289 33554432000 4194304 4196468 140736457503616 140625784321632 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5164] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5164/stat : 5164 (java) S 5144 5144 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4005682 14133010432 90289 33554432000 4194304 4196468 140736457503616 140625783274464 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5165] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5165/stat : 5165 (java) S 5144 5144 7102 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4005682 14133010432 90289 33554432000 4194304 4196468 140736457503616 140625782222000 140626463672962 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
Current children cumulated CPU time (s) 18.41
Current children cumulated vsize (KiB) 13811280

[startup+6.30158 s]
/proc/loadavg: 15.84 14.89 14.29 17/300 5269
/proc/meminfo: memFree=31387612/32770624 swapFree=5700/252860
[pid=5144] ppid=5141 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5144/stat : 5144 (xcsp3-exec) S 5141 5144 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4005673 9740288 346 33554432000 4194304 5098028 140720435529104 140720435527208 139880188207740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13123584 140720435537038 140720435537248 140720435537248 140720435539947 0
/proc/5144/statm: 2378 346 289 221 0 87 0
[pid=5145] ppid=5144 vsize=13801768 CPUtime=41.7 cores=1,3,5,7,9,11,13,15
/proc/5145/stat : 5145 (java) S 5144 5144 7102 0 -1 1077944320 32379 0 0 0 4125 45 0 0 20 0 28 0 4005673 14133010432 103935 33554432000 4194304 4196468 140736457503616 140736457486160 140626463661815 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
/proc/5145/statm: 3450442 103935 3285 1 0 3437675 0
[pid=5145/tid=5146] ppid=5144 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5146/stat : 5146 (java) S 5144 5144 7102 0 -1 1077944384 8428 0 0 0 131 5 0 0 20 0 28 0 4005674 14133010432 103935 33554432000 4194304 4196468 140736457503616 140626467902592 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5148] ppid=5144 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5148/stat : 5148 (java) S 5144 5144 7102 0 -1 1077944384 143 0 0 0 4 3 0 0 20 0 28 0 4005674 14133010432 103935 33554432000 4194304 4196468 140736457503616 140626424622096 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5149] ppid=5144 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5149/stat : 5149 (java) S 5144 5144 7102 0 -1 1077944384 61 0 0 0 5 3 0 0 20 0 28 0 4005674 14133010432 103935 33554432000 4194304 4196468 140736457503616 140626061933712 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5150] ppid=5144 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5150/stat : 5150 (java) S 5144 5144 7102 0 -1 1077944384 55 0 0 0 4 3 0 0 20 0 28 0 4005674 14133010432 103935 33554432000 4194304 4196468 140736457503616 140626060880656 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5151] ppid=5144 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5151/stat : 5151 (java) S 5144 5144 7102 0 -1 1077944384 73 0 0 0 6 3 0 0 20 0 28 0 4005674 14133010432 103935 33554432000 4194304 4196468 140736457503616 140626059828112 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5152] ppid=5144 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5152/stat : 5152 (java) S 5144 5144 7102 0 -1 1077944384 212 0 0 0 6 3 0 0 20 0 28 0 4005674 14133010432 103935 33554432000 4194304 4196468 140736457503616 140626058775056 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5153] ppid=5144 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5153/stat : 5153 (java) S 5144 5144 7102 0 -1 1077944384 54 0 0 0 4 3 0 0 20 0 28 0 4005674 14133010432 103935 33554432000 4194304 4196468 140736457503616 140626057722512 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5154] ppid=5144 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5154/stat : 5154 (java) S 5144 5144 7102 0 -1 1077944384 65 0 0 0 3 3 0 0 20 0 28 0 4005674 14133010432 103935 33554432000 4194304 4196468 140736457503616 140626056669456 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5155] ppid=5144 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5155/stat : 5155 (java) S 5144 5144 7102 0 -1 1077944384 686 0 0 0 6 4 0 0 20 0 28 0 4005674 14133010432 103935 33554432000 4194304 4196468 140736457503616 140626055616912 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5156] ppid=5144 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5156/stat : 5156 (java) S 5144 5144 7102 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 28 0 4005677 14133010432 103935 33554432000 4194304 4196468 140736457503616 140625791695600 140626463672962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5157] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5157/stat : 5157 (java) S 5144 5144 7102 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4005678 14133010432 103935 33554432000 4194304 4196468 140736457503616 140625790641888 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5158] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5158/stat : 5158 (java) S 5144 5144 7102 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4005678 14133010432 103935 33554432000 4194304 4196468 140736457503616 140625789588736 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5159] ppid=5144 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5159/stat : 5159 (java) S 5144 5144 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4005682 14133010432 103935 33554432000 4194304 4196468 140736457503616 140625788537296 140626463680411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0

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

[pid=5145/tid=5309] ppid=5144 vsize=13868332 CPUtime=197.52 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5309/stat : 5309 (java) R 5144 5144 7102 0 -1 4202560 3082 0 0 0 19751 1 0 0 20 0 28 0 4013952 14201171968 589853 33554432000 4194304 4196468 140736457503616 140625774207128 140626449729940 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5310] ppid=5144 vsize=13868332 CPUtime=197.66 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5310/stat : 5310 (java) R 5144 5144 7102 0 -1 4202560 1582 0 0 0 19765 1 0 0 20 0 28 0 4013952 14201171968 589853 33554432000 4194304 4196468 140736457503616 140625773154376 140626106744344 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
Current children cumulated CPU time (s) 2174.14
Current children cumulated vsize (KiB) 13877844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+310.902 s]
/proc/loadavg: 15.20 15.39 14.68 17/302 5553
/proc/meminfo: memFree=27219108/32770624 swapFree=5696/280468
[pid=5144] ppid=5141 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5144/stat : 5144 (xcsp3-exec) S 5141 5144 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4005673 9740288 346 33554432000 4194304 5098028 140720435529104 140720435527208 139880188207740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13123584 140720435537038 140720435537248 140720435537248 140720435539947 0
/proc/5144/statm: 2378 346 289 221 0 87 0
[pid=5145] ppid=5144 vsize=13868332 CPUtime=2400.68 cores=1,3,5,7,9,11,13,15
/proc/5145/stat : 5145 (java) S 5144 5144 7102 0 -1 1077944320 105755 0 0 0 239763 305 0 0 20 0 28 0 4005673 14201171968 593853 33554432000 4194304 4196468 140736457503616 140736457486160 140626463661815 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
/proc/5145/statm: 3467083 593853 3295 1 0 3454316 0
[pid=5145/tid=5146] ppid=5144 vsize=13868332 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5146/stat : 5146 (java) S 5144 5144 7102 0 -1 1077944384 8826 0 0 0 131 6 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626467902592 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5148] ppid=5144 vsize=13868332 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5148/stat : 5148 (java) S 5144 5144 7102 0 -1 1077944384 1626 0 0 0 25 24 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626424622096 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5149] ppid=5144 vsize=13868332 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5149/stat : 5149 (java) S 5144 5144 7102 0 -1 1077944384 1620 0 0 0 25 26 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626061933712 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5150] ppid=5144 vsize=13868332 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5150/stat : 5150 (java) S 5144 5144 7102 0 -1 1077944384 1126 0 0 0 24 24 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626060880656 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5151] ppid=5144 vsize=13868332 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5151/stat : 5151 (java) S 5144 5144 7102 0 -1 1077944384 1182 0 0 0 27 23 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626059828112 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5152] ppid=5144 vsize=13868332 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5152/stat : 5152 (java) S 5144 5144 7102 0 -1 1077944384 1107 0 0 0 27 23 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626058775056 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5153] ppid=5144 vsize=13868332 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5153/stat : 5153 (java) S 5144 5144 7102 0 -1 1077944384 1226 0 0 0 24 24 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626057722512 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5154] ppid=5144 vsize=13868332 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5154/stat : 5154 (java) S 5144 5144 7102 0 -1 1077944384 1517 0 0 0 22 23 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626056669456 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5155] ppid=5144 vsize=13868332 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5155/stat : 5155 (java) S 5144 5144 7102 0 -1 1077944384 1696 0 0 0 27 24 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626055616912 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5156] ppid=5144 vsize=13868332 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5156/stat : 5156 (java) S 5144 5144 7102 0 -1 1077944384 4797 0 0 0 21 38 0 0 20 0 28 0 4005677 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625791695600 140626463672962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5157] ppid=5144 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5157/stat : 5157 (java) S 5144 5144 7102 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4005678 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625790641888 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5158] ppid=5144 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5158/stat : 5158 (java) S 5144 5144 7102 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 4005678 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625789588736 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5159] ppid=5144 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5159/stat : 5159 (java) S 5144 5144 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4005682 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625788537296 140626463680411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5160] ppid=5144 vsize=13868332 CPUtime=4.11 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5160/stat : 5160 (java) S 5144 5144 7102 0 -1 1077944384 11767 0 0 0 410 1 0 0 20 0 28 0 4005682 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625787484400 140626463672962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5161] ppid=5144 vsize=13868332 CPUtime=3.71 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5161/stat : 5161 (java) S 5144 5144 7102 0 -1 1077944384 10950 0 0 0 370 1 0 0 20 0 28 0 4005682 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625786431856 140626463672962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5162] ppid=5144 vsize=13868332 CPUtime=4.29 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5162/stat : 5162 (java) S 5144 5144 7102 0 -1 1077944384 11292 0 0 0 427 2 0 0 20 0 28 0 4005682 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625785378800 140626463672962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5163] ppid=5144 vsize=13868332 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5163/stat : 5163 (java) S 5144 5144 7102 0 -1 1077944384 10580 0 0 0 134 3 0 0 20 0 28 0 4005682 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625784326256 140626463672962 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5164] ppid=5144 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5164/stat : 5164 (java) S 5144 5144 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4005682 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625783274464 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5165] ppid=5144 vsize=13868332 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5165/stat : 5165 (java) S 5144 5144 7102 0 -1 1077944384 618 0 0 0 6 9 0 0 20 0 28 0 4005682 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625782222000 140626463672962 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5303] ppid=5144 vsize=13868332 CPUtime=227 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5303/stat : 5303 (java) R 5144 5144 7102 0 -1 4202560 1745 0 0 0 22699 1 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625768942344 140626109738499 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5304] ppid=5144 vsize=13868332 CPUtime=227.04 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5304/stat : 5304 (java) R 5144 5144 7102 0 -1 4202560 2719 0 0 0 22703 1 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625771049720 140626108613793 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5305] ppid=5144 vsize=13868332 CPUtime=225.77 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5305/stat : 5305 (java) R 5144 5144 7102 0 -1 4202560 3663 0 0 0 22576 1 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625765785200 140626109393482 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5306] ppid=5144 vsize=13868332 CPUtime=227.07 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5306/stat : 5306 (java) R 5144 5144 7102 0 -1 4202560 3519 0 0 0 22705 2 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625772101880 140626104117920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5307] ppid=5144 vsize=13868332 CPUtime=226.26 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5307/stat : 5307 (java) R 5144 5144 7102 0 -1 4202560 832 0 0 0 22625 1 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625766838072 140626109393941 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5308] ppid=5144 vsize=13868332 CPUtime=225.69 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5308/stat : 5308 (java) R 5144 5144 7102 0 -1 4202560 618 0 0 0 22569 0 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625769996216 140626109738445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5309] ppid=5144 vsize=13868332 CPUtime=225.83 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5309/stat : 5309 (java) R 5144 5144 7102 0 -1 4202560 3171 0 0 0 22582 1 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625774210256 140626107262396 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5310] ppid=5144 vsize=13868332 CPUtime=225.99 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5310/stat : 5310 (java) R 5144 5144 7102 0 -1 4202560 1734 0 0 0 22598 1 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625773154536 140626109544318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
Current children cumulated CPU time (s) 2400.68
Current children cumulated vsize (KiB) 13877844

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5145 sig 9
??? kill 5144 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+310.902 s]
/proc/loadavg: 15.20 15.39 14.68 17/302 5553
/proc/meminfo: memFree=27219108/32770624 swapFree=5696/280468
[pid=5144] ppid=5141 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5144/stat : 5144 (xcsp3-exec) S 5141 5144 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4005673 9740288 346 33554432000 4194304 5098028 140720435529104 140720435527208 139880188207740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 13123584 140720435537038 140720435537248 140720435537248 140720435539947 0
/proc/5144/statm: 2378 346 289 221 0 87 0
[pid=5145] ppid=5144 vsize=13868332 CPUtime=2400.68 cores=1,3,5,7,9,11,13,15
/proc/5145/stat : 5145 (java) S 5144 5144 7102 0 -1 1077944320 105755 0 0 0 239763 305 0 0 20 0 28 0 4005673 14201171968 593853 33554432000 4194304 4196468 140736457503616 140736457486160 140626463661815 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
/proc/5145/statm: 3467083 593853 3295 1 0 3454316 0
[pid=5145/tid=5146] ppid=5144 vsize=13868332 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5146/stat : 5146 (java) S 5144 5144 7102 0 -1 1077944384 8826 0 0 0 131 6 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626467902592 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5148] ppid=5144 vsize=13868332 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5148/stat : 5148 (java) S 5144 5144 7102 0 -1 1077944384 1626 0 0 0 25 24 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626424622096 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5149] ppid=5144 vsize=13868332 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5149/stat : 5149 (java) S 5144 5144 7102 0 -1 1077944384 1620 0 0 0 25 26 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626061933712 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5150] ppid=5144 vsize=13868332 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5150/stat : 5150 (java) S 5144 5144 7102 0 -1 1077944384 1126 0 0 0 24 24 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626060880656 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5151] ppid=5144 vsize=13868332 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5151/stat : 5151 (java) S 5144 5144 7102 0 -1 1077944384 1182 0 0 0 27 23 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626059828112 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5152] ppid=5144 vsize=13868332 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5152/stat : 5152 (java) S 5144 5144 7102 0 -1 1077944384 1107 0 0 0 27 23 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626058775056 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5153] ppid=5144 vsize=13868332 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5153/stat : 5153 (java) S 5144 5144 7102 0 -1 1077944384 1226 0 0 0 24 24 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626057722512 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5154] ppid=5144 vsize=13868332 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5154/stat : 5154 (java) S 5144 5144 7102 0 -1 1077944384 1517 0 0 0 22 23 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626056669456 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5155] ppid=5144 vsize=13868332 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5155/stat : 5155 (java) S 5144 5144 7102 0 -1 1077944384 1696 0 0 0 27 24 0 0 20 0 28 0 4005674 14201171968 593853 33554432000 4194304 4196468 140736457503616 140626055616912 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5156] ppid=5144 vsize=13868332 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5156/stat : 5156 (java) S 5144 5144 7102 0 -1 1077944384 4797 0 0 0 21 38 0 0 20 0 28 0 4005677 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625791695600 140626463672962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5157] ppid=5144 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5157/stat : 5157 (java) S 5144 5144 7102 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4005678 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625790641888 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5158] ppid=5144 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5158/stat : 5158 (java) S 5144 5144 7102 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 4005678 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625789588736 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5159] ppid=5144 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5159/stat : 5159 (java) S 5144 5144 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4005682 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625788537296 140626463680411 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5160] ppid=5144 vsize=13868332 CPUtime=4.11 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5160/stat : 5160 (java) S 5144 5144 7102 0 -1 1077944384 11767 0 0 0 410 1 0 0 20 0 28 0 4005682 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625787484400 140626463672962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5161] ppid=5144 vsize=13868332 CPUtime=3.71 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5161/stat : 5161 (java) S 5144 5144 7102 0 -1 1077944384 10950 0 0 0 370 1 0 0 20 0 28 0 4005682 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625786431856 140626463672962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5162] ppid=5144 vsize=13868332 CPUtime=4.29 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5162/stat : 5162 (java) S 5144 5144 7102 0 -1 1077944384 11292 0 0 0 427 2 0 0 20 0 28 0 4005682 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625785378800 140626463672962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5163] ppid=5144 vsize=13868332 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5163/stat : 5163 (java) S 5144 5144 7102 0 -1 1077944384 10580 0 0 0 134 3 0 0 20 0 28 0 4005682 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625784326256 140626463672962 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5164] ppid=5144 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5164/stat : 5164 (java) S 5144 5144 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4005682 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625783274464 140626463672021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5165] ppid=5144 vsize=13868332 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5165/stat : 5165 (java) S 5144 5144 7102 0 -1 1077944384 618 0 0 0 6 9 0 0 20 0 28 0 4005682 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625782222000 140626463672962 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5303] ppid=5144 vsize=13868332 CPUtime=227 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5303/stat : 5303 (java) R 5144 5144 7102 0 -1 4202560 1745 0 0 0 22699 1 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625768942344 140626109738499 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5304] ppid=5144 vsize=13868332 CPUtime=227.04 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5304/stat : 5304 (java) R 5144 5144 7102 0 -1 4202560 2719 0 0 0 22703 1 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625771049720 140626108613793 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5305] ppid=5144 vsize=13868332 CPUtime=225.77 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5305/stat : 5305 (java) R 5144 5144 7102 0 -1 4202560 3663 0 0 0 22576 1 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625765785200 140626109393482 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5306] ppid=5144 vsize=13868332 CPUtime=227.07 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5306/stat : 5306 (java) R 5144 5144 7102 0 -1 4202560 3519 0 0 0 22705 2 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625772101880 140626104117920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5307] ppid=5144 vsize=13868332 CPUtime=226.26 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5307/stat : 5307 (java) R 5144 5144 7102 0 -1 4202560 832 0 0 0 22625 1 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625766838072 140626109393941 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5308] ppid=5144 vsize=13868332 CPUtime=225.69 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5308/stat : 5308 (java) R 5144 5144 7102 0 -1 4202560 618 0 0 0 22569 0 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625769996216 140626109738445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5309] ppid=5144 vsize=13868332 CPUtime=225.83 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5309/stat : 5309 (java) R 5144 5144 7102 0 -1 4202560 3171 0 0 0 22582 1 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625774210256 140626107262396 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
[pid=5145/tid=5310] ppid=5144 vsize=13868332 CPUtime=225.99 cores=1,3,5,7,9,11,13,15
/proc/5145/task/5310/stat : 5310 (java) R 5144 5144 7102 0 -1 4202560 1734 0 0 0 22598 1 0 0 20 0 28 0 4013952 14201171968 593853 33554432000 4194304 4196468 140736457503616 140625773154536 140626109544318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12242944 140736457512124 140736457512300 140736457512300 140736457514959 0
Current children cumulated CPU time (s) 2400.68
Current children cumulated vsize (KiB) 13877844

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5144 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1324
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1324
# CPU time returned by wait4() is 0.002648
# while last known CPU time is 2400.68
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 310.912
CPU time (s): 2400.68
CPU user time (s): 2397.63
CPU system time (s): 3.05
CPU usage (%): 772.141
Max. virtual memory (cumulated for all children) (KiB): 13877844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001324
system time used= 0.001324
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.71535 second user time and 4.77055 second system time

The end

Launcher Data

Begin job on node130 at 2017-07-22 03:36:22
IDJOB=4246276
IDBENCH=124392
IDSOLVER=2626
FILE ID=node130/4246276-1500687382
RUNJOBID= node130-1500684118-8560
PBS_JOBID= 20623029
Free space on /tmp= 61952 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n45-k6.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246276-1500687382/watcher-4246276-1500687382 -o /tmp/evaluation-result-4246276-1500687382/solver-4246276-1500687382 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1426774051 HOME/instance-4246276-1500687382.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= ccd62f28d001d5578c14e849049b60f5
RANDOM SEED=1426774051

node130.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31790520 kB
MemAvailable:   31851632 kB
Buffers:           55932 kB
Cached:           315596 kB
SwapCached:            0 kB
Active:           341416 kB
Inactive:         261944 kB
Active(anon):     234548 kB
Inactive(anon):     8856 kB
Active(file):     106868 kB
Inactive(file):   253088 kB
Unevictable:        5700 kB
Mlocked:            5700 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8028 kB
Writeback:             0 kB
AnonPages:        237676 kB
Mapped:            42400 kB
Shmem:              8876 kB
Slab:              68108 kB
SReclaimable:      33980 kB
SUnreclaim:        34128 kB
KernelStack:        4640 kB
PageTables:         5872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1169968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61944 MiB
End job on node130 at 2017-07-22 03:41:33

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 4246276

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