2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	9	2520.04	2507.52

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306545-1534117725.xml"  -tl '2520s' -p 1
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4306545-1534117725.xml, -tl, 2520s, -p, 1]
0.12/0.22	c simple solver
0.34/0.28	c parse instance...
15.29/8.12	c solve instance...
46.49/38.30	o 0 
46.49/38.31	o 1 
46.49/38.31	o 2 
46.49/38.32	o 3 
46.49/38.34	o 4 
83.81/73.51	o 5 
119.23/108.62	o 6 
505.97/494.78	o 7 
1104.36/1092.72	o 8 
2195.43/2183.14	o 9 
2520.00/2507.50	s SATISFIABLE
2520.00/2507.50	v <instantiation>
2520.00/2507.50	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[0][45] x[0][46] x[0][47] x[0][48] x[0][49] 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[1][45] x[1][46] x[1][47] x[1][48] x[1][49] 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[2][45] x[2][46] x[2][47] x[2][48] x[2][49] 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[3][45] x[3][46] x[3][47] x[3][48] x[3][49] 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[4][45] x[4][46] x[4][47] x[4][48] x[4][49] 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[5][45] x[5][46] x[5][47] x[5][48] x[5][49] 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[6][45] x[6][46] x[6][47] x[6][48] x[6][49] 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[7][45] x[7][46] x[7][47] x[7][48] x[7][49] 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[8][45] x[8][46] x[8][47] x[8][48] x[8][49] 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[9][45] x[9][46] x[9][47] x[9][48] x[9][49] 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[10][45] x[10][46] x[10][47] x[10][48] x[10][49] 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[11][45] x[11][46] x[11][47] x[11][48] x[11][49] 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[12][45] x[12][46] x[12][47] x[12][48] x[12][49] 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[13][45] x[13][46] x[13][47] x[13][48] x[13][49] 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[14][45] x[14][46] x[14][47] x[14][48] x[14][49] 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[15][45] x[15][46] x[15][47] x[15][48] x[15][49] 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[16][45] x[16][46] x[16][47] x[16][48] x[16][49] 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[17][45] x[17][46] x[17][47] x[17][48] x[17][49] 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[18][45] x[18][46] x[18][47] x[18][48] x[18][49] 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[19][45] x[19][46] x[19][47] x[19][48] x[19][49] 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[20][45] x[20][46] x[20][47] x[20][48] x[20][49] 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[21][45] x[21][46] x[21][47] x[21][48] x[21][49] 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[22][45] x[22][46] x[22][47] x[22][48] x[22][49] 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[23][45] x[23][46] x[23][47] x[23][48] x[23][49] 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[24][45] x[24][46] x[24][47] x[24][48] x[24][49] 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[25][45] x[25][46] x[25][47] x[25][48] x[25][49] 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[26][45] x[26][46] x[26][47] x[26][48] x[26][49] 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[27][45] x[27][46] x[27][47] x[27][48] x[27][49] 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[28][45] x[28][46] x[28][47] x[28][48] x[28][49] 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[29][45] x[29][46] x[29][47] x[29][48] x[29][49] 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[30][45] x[30][46] x[30][47] x[30][48] x[30][49] 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[31][45] x[31][46] x[31][47] x[31][48] x[31][49] 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[32][45] x[32][46] x[32][47] x[32][48] x[32][49] 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[33][45] x[33][46] x[33][47] x[33][48] x[33][49] 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[34][45] x[34][46] x[34][47] x[34][48] x[34][49] 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[35][45] x[35][46] x[35][47] x[35][48] x[35][49] 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[36][45] x[36][46] x[36][47] x[36][48] x[36][49] 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[37][45] x[37][46] x[37][47] x[37][48] x[37][49] 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[38][45] x[38][46] x[38][47] x[38][48] x[38][49] 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[39][45] x[39][46] x[39][47] x[39][48] x[39][49] 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[40][45] x[40][46] x[40][47] x[40][48] x[40][49] 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[41][45] x[41][46] x[41][47] x[41][48] x[41][49] 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[42][45] x[42][46] x[42][47] x[42][48] x[42][49] 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[43][45] x[43][46] x[43][47] x[43][48] x[43][49] 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] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] nb nw </list>
2520.00/2507.50	v 	<values>0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 9 9 </values>
2520.00/2507.50	v </instantiation>
2520.00/2507.50	c Unexpected resolution interruption!

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306545-1534117725/watcher-4306545-1534117725 -o /tmp/evaluation-result-4306545-1534117725/solver-4306545-1534117725 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2740 --watchdog 2580 HOME/xcsp3-exec -seed 1970654995 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306545-1534117725.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=6701, runsolver pid=6698

[startup+0.100061 s]*
/proc/loadavg: 1.40 1.58 1.70 3/217 6717
/proc/meminfo: memFree=15238492/32770624 swapFree=67108792/67108860
[pid=6701] ppid=6698 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6701/stat : 6701 (xcsp3-exec) S 6698 6701 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229335793 115843072 363 33554432000 4194304 5098028 140724471173840 140724471171944 140484872077948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37363712 140724471182394 140724471182596 140724471182596 140724471185354 0
/proc/6701/statm: 28282 363 305 221 0 87 0
[pid=6703] ppid=6701 vsize=14082940 memory=29348 CPUtime=0.12 cores=0,2,4,6
/proc/6703/stat : 6703 (java) S 6701 6701 2709 0 -1 1077944320 5694 0 0 0 11 1 0 0 20 0 15 0 229335794 14420930560 7337 33554432000 4194304 4196468 140729445199200 140729445181744 139707949510391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
/proc/6703/statm: 3520735 7337 3020 1 0 3483012 0
[pid=6703/tid=6704] ppid=6701 vsize=14082940 memory=-8976644418600983157 CPUtime=0.08 cores=0,2,4,6
/proc/6703/task/6704/stat : 6704 (java) R 6701 6701 2709 0 -1 4202560 3709 0 0 0 8 0 0 0 20 0 15 0 229335794 14420930560 7337 33554432000 4194304 4196468 140729445199200 139707953742640 139707949532317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6705] ppid=6701 vsize=14082940 memory=3472468470522873040 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6705/stat : 6705 (java) S 6701 6701 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229335795 14420930560 7337 33554432000 4194304 4196468 140729445199200 139707906062608 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6706] ppid=6701 vsize=14082940 memory=140341627721344 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6706/stat : 6706 (java) S 6701 6701 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229335795 14420930560 7337 33554432000 4194304 4196468 140729445199200 139707543906704 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6707] ppid=6701 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6707/stat : 6707 (java) S 6701 6701 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229335795 14420930560 7337 33554432000 4194304 4196468 140729445199200 139707542854160 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6708] ppid=6701 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6708/stat : 6708 (java) S 6701 6701 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229335795 14420930560 7337 33554432000 4194304 4196468 140729445199200 139707541801616 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6709] ppid=6701 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6709/stat : 6709 (java) S 6701 6701 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229335796 14420930560 7337 33554432000 4194304 4196468 140729445199200 139707130444272 139707949521538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6710] ppid=6701 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6710/stat : 6710 (java) S 6701 6701 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229335797 14420930560 7337 33554432000 4194304 4196468 140729445199200 139707129390496 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6711] ppid=6701 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6711/stat : 6711 (java) S 6701 6701 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229335797 14420930560 7337 33554432000 4194304 4196468 140729445199200 139707128337904 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6712] ppid=6701 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6712/stat : 6712 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14420930560 7337 33554432000 4194304 4196468 140729445199200 139707127286480 139707949528987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6713] ppid=6701 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6713/stat : 6713 (java) S 6701 6701 2709 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 229335799 14420930560 7337 33554432000 4194304 4196468 140729445199200 139707126233072 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6714] ppid=6701 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6714/stat : 6714 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14420930560 7337 33554432000 4194304 4196468 140729445199200 139707125180528 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6715] ppid=6701 vsize=14082940 memory=140341627721344 CPUtime=0.01 cores=0,2,4,6
/proc/6703/task/6715/stat : 6715 (java) S 6701 6701 2709 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 15 0 229335799 14420930560 7337 33554432000 4194304 4196468 140729445199200 139707124127984 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6716] ppid=6701 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6716/stat : 6716 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14420930560 7337 33554432000 4194304 4196468 140729445199200 139707123075680 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6717] ppid=6701 vsize=14082940 memory=140341627721344 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6717/stat : 6717 (java) S 6701 6701 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229335800 14420930560 7337 33554432000 4194304 4196468 140729445199200 139707122023216 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30800 KiB

[startup+0.210555 s]*
/proc/loadavg: 1.40 1.58 1.70 4/217 6717
/proc/meminfo: memFree=15227528/32770624 swapFree=67108792/67108860
[pid=6701] ppid=6698 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6701/stat : 6701 (xcsp3-exec) S 6698 6701 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229335793 115843072 363 33554432000 4194304 5098028 140724471173840 140724471171944 140484872077948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37363712 140724471182394 140724471182596 140724471182596 140724471185354 0
/proc/6701/statm: 28282 363 305 221 0 87 0
[pid=6703] ppid=6701 vsize=14082940 memory=40680 CPUtime=0.34 cores=0,2,4,6
/proc/6703/stat : 6703 (java) S 6701 6701 2709 0 -1 1077944320 8269 0 0 0 32 2 0 0 20 0 15 0 229335794 14420930560 10170 33554432000 4194304 4196468 140729445199200 140729445181744 139707949510391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
/proc/6703/statm: 3520735 10170 3154 1 0 3483012 0
[pid=6703/tid=6704] ppid=6701 vsize=14082940 memory=4500115623978573208 CPUtime=0.19 cores=0,2,4,6
/proc/6703/task/6704/stat : 6704 (java) R 6701 6701 2709 0 -1 4202560 5437 0 0 0 18 1 0 0 20 0 15 0 229335794 14420930560 10170 33554432000 4194304 4196468 140729445199200 139707953745376 139707933590878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6705] ppid=6701 vsize=14082940 memory=3472468470522873040 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6705/stat : 6705 (java) S 6701 6701 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229335795 14420930560 10170 33554432000 4194304 4196468 140729445199200 139707906062608 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6706] ppid=6701 vsize=14082940 memory=140341627721344 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6706/stat : 6706 (java) S 6701 6701 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229335795 14420930560 10170 33554432000 4194304 4196468 140729445199200 139707543906704 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6707] ppid=6701 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6707/stat : 6707 (java) S 6701 6701 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229335795 14420930560 10170 33554432000 4194304 4196468 140729445199200 139707542854160 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6708] ppid=6701 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6708/stat : 6708 (java) S 6701 6701 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229335795 14420930560 10170 33554432000 4194304 4196468 140729445199200 139707541801616 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6709] ppid=6701 vsize=14082940 memory=140341627721344 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6709/stat : 6709 (java) S 6701 6701 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229335796 14420930560 10170 33554432000 4194304 4196468 140729445199200 139707130444272 139707949521538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6710] ppid=6701 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6710/stat : 6710 (java) S 6701 6701 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229335797 14420930560 10170 33554432000 4194304 4196468 140729445199200 139707129390496 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6711] ppid=6701 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6711/stat : 6711 (java) S 6701 6701 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229335797 14420930560 10170 33554432000 4194304 4196468 140729445199200 139707128337904 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6712] ppid=6701 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6712/stat : 6712 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14420930560 10170 33554432000 4194304 4196468 140729445199200 139707127286480 139707949528987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6713] ppid=6701 vsize=14082940 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6703/task/6713/stat : 6713 (java) S 6701 6701 2709 0 -1 1077944384 444 0 0 0 1 0 0 0 20 0 15 0 229335799 14420930560 10170 33554432000 4194304 4196468 140729445199200 139707126233072 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6714] ppid=6701 vsize=14082940 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/6703/task/6714/stat : 6714 (java) S 6701 6701 2709 0 -1 1077944384 309 0 0 0 3 0 0 0 20 0 15 0 229335799 14420930560 10170 33554432000 4194304 4196468 140729445199200 139707125180528 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6715] ppid=6701 vsize=14082940 memory=140341627721344 CPUtime=0.08 cores=0,2,4,6
/proc/6703/task/6715/stat : 6715 (java) S 6701 6701 2709 0 -1 1077944384 783 0 0 0 8 0 0 0 20 0 15 0 229335799 14420930560 10170 33554432000 4194304 4196468 140729445199200 139707124127984 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6716] ppid=6701 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6716/stat : 6716 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14420930560 10170 33554432000 4194304 4196468 140729445199200 139707123075680 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6717] ppid=6701 vsize=14082940 memory=140341627721344 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6717/stat : 6717 (java) S 6701 6701 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229335800 14420930560 10170 33554432000 4194304 4196468 140729445199200 139707122023216 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42132 KiB

[startup+0.316622 s]*
/proc/loadavg: 1.40 1.58 1.70 4/217 6717
/proc/meminfo: memFree=15220472/32770624 swapFree=67108792/67108860
[pid=6701] ppid=6698 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6701/stat : 6701 (xcsp3-exec) S 6698 6701 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229335793 115843072 363 33554432000 4194304 5098028 140724471173840 140724471171944 140484872077948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37363712 140724471182394 140724471182596 140724471182596 140724471185354 0
/proc/6701/statm: 28282 363 305 221 0 87 0
[pid=6703] ppid=6701 vsize=14087196 memory=48320 CPUtime=0.54 cores=0,2,4,6
/proc/6703/stat : 6703 (java) S 6701 6701 2709 0 -1 1077944320 9270 0 0 0 51 3 0 0 20 0 15 0 229335794 14425288704 12080 33554432000 4194304 4196468 140729445199200 140729445181744 139707949510391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
/proc/6703/statm: 3521799 12080 3230 1 0 3483012 0
[pid=6703/tid=6704] ppid=6701 vsize=14087196 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/6703/task/6704/stat : 6704 (java) R 6701 6701 2709 0 -1 4202560 6245 0 0 0 28 2 0 0 20 0 15 0 229335794 14425288704 12080 33554432000 4194304 4196468 140729445199200 139707953747168 139707933590878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6705] ppid=6701 vsize=14087196 memory=3472468470522873040 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6705/stat : 6705 (java) S 6701 6701 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229335795 14425288704 12080 33554432000 4194304 4196468 140729445199200 139707906062608 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6706] ppid=6701 vsize=14087196 memory=140341627721344 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6706/stat : 6706 (java) S 6701 6701 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229335795 14425288704 12080 33554432000 4194304 4196468 140729445199200 139707543906704 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6707] ppid=6701 vsize=14087196 memory=12 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6707/stat : 6707 (java) S 6701 6701 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229335795 14425288704 12080 33554432000 4194304 4196468 140729445199200 139707542854160 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6708] ppid=6701 vsize=14087196 memory=140341479090207 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6708/stat : 6708 (java) S 6701 6701 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229335795 14425288704 12080 33554432000 4194304 4196468 140729445199200 139707541801616 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6709] ppid=6701 vsize=14087196 memory=280682958141184 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6709/stat : 6709 (java) S 6701 6701 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229335796 14425288704 12080 33554432000 4194304 4196468 140729445199200 139707130444272 139707949521538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6710] ppid=6701 vsize=14087196 memory=140341479067151 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6710/stat : 6710 (java) S 6701 6701 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229335797 14425288704 12080 33554432000 4194304 4196468 140729445199200 139707129390496 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6711] ppid=6701 vsize=14087196 memory=280683106797664 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6711/stat : 6711 (java) S 6701 6701 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229335797 14425288704 12080 33554432000 4194304 4196468 140729445199200 139707128337904 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6712] ppid=6701 vsize=14087196 memory=140341479071759 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6712/stat : 6712 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14425288704 12080 33554432000 4194304 4196468 140729445199200 139707127286480 139707949528987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6713] ppid=6701 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6703/task/6713/stat : 6713 (java) S 6701 6701 2709 0 -1 1077944384 565 0 0 0 4 0 0 0 20 0 15 0 229335799 14425288704 12080 33554432000 4194304 4196468 140729445199200 139707126233072 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6714] ppid=6701 vsize=14087196 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/6703/task/6714/stat : 6714 (java) S 6701 6701 2709 0 -1 1077944384 315 0 0 0 4 0 0 0 20 0 15 0 229335799 14425288704 12080 33554432000 4194304 4196468 140729445199200 139707125180528 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6715] ppid=6701 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6703/task/6715/stat : 6715 (java) S 6701 6701 2709 0 -1 1077944384 866 0 0 0 12 0 0 0 20 0 15 0 229335799 14425288704 12080 33554432000 4194304 4196468 140729445199200 139707124127984 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6716] ppid=6701 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6716/stat : 6716 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14425288704 12080 33554432000 4194304 4196468 140729445199200 139707123075680 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6717] ppid=6701 vsize=14087196 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6717/stat : 6717 (java) S 6701 6701 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229335800 14425288704 12145 33554432000 4194304 4196468 140729445199200 139707122023216 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49772 KiB

[startup+0.700766 s]
/proc/loadavg: 1.40 1.58 1.70 5/217 6717
/proc/meminfo: memFree=15179600/32770624 swapFree=67108792/67108860
[pid=6701] ppid=6698 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6701/stat : 6701 (xcsp3-exec) S 6698 6701 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229335793 115843072 363 33554432000 4194304 5098028 140724471173840 140724471171944 140484872077948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37363712 140724471182394 140724471182596 140724471182596 140724471185354 0
/proc/6701/statm: 28282 363 305 221 0 87 0
[pid=6703] ppid=6701 vsize=14087272 memory=166264 CPUtime=1.46 cores=0,2,4,6
/proc/6703/stat : 6703 (java) S 6701 6701 2709 0 -1 1077944320 12108 0 0 0 141 5 0 0 20 0 15 0 229335794 14425366528 41566 33554432000 4194304 4196468 140729445199200 140729445181744 139707949510391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
/proc/6703/statm: 3521818 41566 3329 1 0 3483012 0
[pid=6703/tid=6704] ppid=6701 vsize=14087272 memory=7372786582024121444 CPUtime=0.67 cores=0,2,4,6
/proc/6703/task/6704/stat : 6704 (java) R 6701 6701 2709 0 -1 4202560 6541 0 0 0 64 3 0 0 20 0 15 0 229335794 14425366528 41566 33554432000 4194304 4196468 140729445199200 139707953747760 139707949522326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6705] ppid=6701 vsize=14087272 memory=7007712420471858773 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6705/stat : 6705 (java) S 6701 6701 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229335795 14425366528 41566 33554432000 4194304 4196468 140729445199200 139707906062608 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6706] ppid=6701 vsize=14087272 memory=5859271421084390760 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6706/stat : 6706 (java) S 6701 6701 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229335795 14425366528 41566 33554432000 4194304 4196468 140729445199200 139707543906704 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6707] ppid=6701 vsize=14087272 memory=-6168368575958768251 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6707/stat : 6707 (java) S 6701 6701 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229335795 14425366528 41566 33554432000 4194304 4196468 140729445199200 139707542854160 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6708] ppid=6701 vsize=14087272 memory=8326441112149131689 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6708/stat : 6708 (java) S 6701 6701 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229335795 14425366528 41566 33554432000 4194304 4196468 140729445199200 139707541801616 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6709] ppid=6701 vsize=14087272 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6709/stat : 6709 (java) S 6701 6701 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229335796 14425366528 41566 33554432000 4194304 4196468 140729445199200 139707130444272 139707949521538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6710] ppid=6701 vsize=14087272 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6710/stat : 6710 (java) S 6701 6701 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229335797 14425366528 41566 33554432000 4194304 4196468 140729445199200 139707129390496 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6711] ppid=6701 vsize=14087272 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6711/stat : 6711 (java) S 6701 6701 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229335797 14425366528 41566 33554432000 4194304 4196468 140729445199200 139707128337904 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6712] ppid=6701 vsize=14087272 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6712/stat : 6712 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14425366528 41566 33554432000 4194304 4196468 140729445199200 139707127286480 139707949528987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6713] ppid=6701 vsize=14087272 memory=62348 CPUtime=0.27 cores=0,2,4,6
/proc/6703/task/6713/stat : 6713 (java) R 6701 6701 2709 0 -1 4202560 1649 0 0 0 27 0 0 0 20 0 15 0 229335799 14425366528 41566 33554432000 4194304 4196468 140729445199200 139707126233072 139707928831891 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6714] ppid=6701 vsize=14087272 memory=1220 CPUtime=0.27 cores=0,2,4,6
/proc/6703/task/6714/stat : 6714 (java) R 6701 6701 2709 0 -1 4202560 1143 0 0 0 27 0 0 0 20 0 15 0 229335799 14425366528 41566 33554432000 4194304 4196468 140729445199200 139707125180528 139707927486920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6715] ppid=6701 vsize=14087272 memory=2380 CPUtime=0.21 cores=0,2,4,6
/proc/6703/task/6715/stat : 6715 (java) R 6701 6701 2709 0 -1 1077944384 1465 0 0 0 21 0 0 0 20 0 15 0 229335799 14425366528 41566 33554432000 4194304 4196468 140729445199200 139707124127984 139707949521538 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6716] ppid=6701 vsize=14087272 memory=7163890427858739792 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6716/stat : 6716 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14425366528 41566 33554432000 4194304 4196468 140729445199200 139707123075680 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6717] ppid=6701 vsize=14087272 memory=7595156207412209490 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6717/stat : 6717 (java) S 6701 6701 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229335800 14425366528 41566 33554432000 4194304 4196468 140729445199200 139707122023216 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 14200400 KiB
Current children cumulated memory: 167716 KiB

[startup+1.50166 s]
/proc/loadavg: 1.29 1.55 1.69 5/217 6717
/proc/meminfo: memFree=14981648/32770624 swapFree=67108792/67108860
[pid=6701] ppid=6698 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6701/stat : 6701 (xcsp3-exec) S 6698 6701 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229335793 115843072 363 33554432000 4194304 5098028 140724471173840 140724471171944 140484872077948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37363712 140724471182394 140724471182596 140724471182596 140724471185354 0
/proc/6701/statm: 28282 363 305 221 0 87 0

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

/proc/6703/task/6711/stat : 6711 (java) S 6701 6701 2709 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 229335797 14427463680 611318 33554432000 4194304 4196468 140729445199200 139707128337920 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6712] ppid=6701 vsize=14089320 memory=2445272 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6712/stat : 6712 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14427463680 611318 33554432000 4194304 4196468 140729445199200 139707127286480 139707949528987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6713] ppid=6701 vsize=14089320 memory=1452 CPUtime=4.97 cores=0,2,4,6
/proc/6703/task/6713/stat : 6713 (java) S 6701 6701 2709 0 -1 1077944384 32012 0 0 0 494 3 0 0 20 0 15 0 229335799 14427463680 611318 33554432000 4194304 4196468 140729445199200 139707126233072 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6714] ppid=6701 vsize=14089320 memory=8564 CPUtime=4.23 cores=0,2,4,6
/proc/6703/task/6714/stat : 6714 (java) S 6701 6701 2709 0 -1 1077944384 27545 0 0 0 420 3 0 0 20 0 15 0 229335799 14427463680 611318 33554432000 4194304 4196468 140729445199200 139707125180528 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6715] ppid=6701 vsize=14089320 memory=1452 CPUtime=0.83 cores=0,2,4,6
/proc/6703/task/6715/stat : 6715 (java) S 6701 6701 2709 0 -1 1077944384 11639 0 0 0 81 2 0 0 20 0 15 0 229335799 14427463680 611318 33554432000 4194304 4196468 140729445199200 139707124127984 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6716] ppid=6701 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6716/stat : 6716 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14427463680 611318 33554432000 4194304 4196468 140729445199200 139707123075680 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6717] ppid=6701 vsize=14089320 memory=1452 CPUtime=1.41 cores=0,2,4,6
/proc/6703/task/6717/stat : 6717 (java) S 6701 6701 2709 0 -1 1077944384 1996 0 0 0 69 72 0 0 20 0 15 0 229335800 14427463680 611318 33554432000 4194304 4196468 140729445199200 139707122023216 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
Current children cumulated CPU time: 2454.76 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2446724 KiB

[startup+2502.3 s]
/proc/loadavg: 1.92 1.96 1.92 3/218 6906
/proc/meminfo: memFree=13343620/32770624 swapFree=67108792/67108860
[pid=6701] ppid=6698 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6701/stat : 6701 (xcsp3-exec) S 6698 6701 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229335793 115843072 363 33554432000 4194304 5098028 140724471173840 140724471171944 140484872077948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37363712 140724471182394 140724471182596 140724471182596 140724471185354 0
/proc/6701/statm: 28282 363 305 221 0 87 0
[pid=6703] ppid=6701 vsize=14089320 memory=2459720 CPUtime=2514.79 cores=0,2,4,6
/proc/6703/stat : 6703 (java) S 6701 6701 2709 0 -1 1077944320 128013 0 0 0 251334 145 0 0 20 0 15 0 229335794 14427463680 614930 33554432000 4194304 4196468 140729445199200 140729445181744 139707949510391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
/proc/6703/statm: 3522330 614930 3428 1 0 3483524 0
[pid=6703/tid=6704] ppid=6701 vsize=14089320 memory=1452 CPUtime=2501.52 cores=0,2,4,6
/proc/6703/task/6704/stat : 6704 (java) R 6701 6701 2709 0 -1 4202560 47742 0 0 0 250117 35 0 0 20 0 15 0 229335794 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707953741648 139707593573676 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6705] ppid=6701 vsize=14089320 memory=1452 CPUtime=0.42 cores=0,2,4,6
/proc/6703/task/6705/stat : 6705 (java) S 6701 6701 2709 0 -1 1077944384 684 0 0 0 32 10 0 0 20 0 15 0 229335795 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707906062608 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6706] ppid=6701 vsize=14089320 memory=2459720 CPUtime=0.39 cores=0,2,4,6
/proc/6703/task/6706/stat : 6706 (java) S 6701 6701 2709 0 -1 1077944384 614 0 0 0 30 9 0 0 20 0 15 0 229335795 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707543906704 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6707] ppid=6701 vsize=14089320 memory=2457664 CPUtime=0.39 cores=0,2,4,6
/proc/6703/task/6707/stat : 6707 (java) S 6701 6701 2709 0 -1 1077944384 780 0 0 0 29 10 0 0 20 0 15 0 229335795 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707542854160 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6708] ppid=6701 vsize=14089320 memory=2459720 CPUtime=0.43 cores=0,2,4,6
/proc/6703/task/6708/stat : 6708 (java) S 6701 6701 2709 0 -1 1077944384 465 0 0 0 33 10 0 0 20 0 15 0 229335795 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707541801616 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6709] ppid=6701 vsize=14089320 memory=1452 CPUtime=0.07 cores=0,2,4,6
/proc/6703/task/6709/stat : 6709 (java) S 6701 6701 2709 0 -1 1077944384 3180 0 0 0 4 3 0 0 20 0 15 0 229335796 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707130444272 139707949521538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6710] ppid=6701 vsize=14089320 memory=2459720 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6710/stat : 6710 (java) S 6701 6701 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229335797 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707129390560 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6711] ppid=6701 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6711/stat : 6711 (java) S 6701 6701 2709 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 229335797 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707128337920 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6712] ppid=6701 vsize=14089320 memory=3892 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6712/stat : 6712 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707127286480 139707949528987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6713] ppid=6701 vsize=14089320 memory=1452 CPUtime=4.97 cores=0,2,4,6
/proc/6703/task/6713/stat : 6713 (java) S 6701 6701 2709 0 -1 1077944384 32015 0 0 0 494 3 0 0 20 0 15 0 229335799 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707126233072 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6714] ppid=6701 vsize=14089320 memory=2459720 CPUtime=4.24 cores=0,2,4,6
/proc/6703/task/6714/stat : 6714 (java) S 6701 6701 2709 0 -1 1077944384 27548 0 0 0 421 3 0 0 20 0 15 0 229335799 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707125180528 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6715] ppid=6701 vsize=14089320 memory=2459720 CPUtime=0.83 cores=0,2,4,6
/proc/6703/task/6715/stat : 6715 (java) S 6701 6701 2709 0 -1 1077944384 11653 0 0 0 81 2 0 0 20 0 15 0 229335799 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707124127984 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6716] ppid=6701 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6716/stat : 6716 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707123075680 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6717] ppid=6701 vsize=14089320 memory=2459720 CPUtime=1.44 cores=0,2,4,6
/proc/6703/task/6717/stat : 6717 (java) S 6701 6701 2709 0 -1 1077944384 2033 0 0 0 70 74 0 0 20 0 15 0 229335800 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707122023216 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
Current children cumulated CPU time: 2514.79 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2461172 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.5 s]
/proc/loadavg: 1.92 1.96 1.92 3/218 6906
/proc/meminfo: memFree=13343620/32770624 swapFree=67108792/67108860
[pid=6701] ppid=6698 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6701/stat : 6701 (xcsp3-exec) S 6698 6701 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229335793 115843072 363 33554432000 4194304 5098028 140724471173840 140724471171944 140484872077948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37363712 140724471182394 140724471182596 140724471182596 140724471185354 0
/proc/6701/statm: 28282 363 305 221 0 87 0
[pid=6703] ppid=6701 vsize=14089320 memory=2459720 CPUtime=2520 cores=0,2,4,6
/proc/6703/stat : 6703 (java) S 6701 6701 2709 0 -1 1077944320 128021 0 0 0 251855 145 0 0 20 0 15 0 229335794 14427463680 614930 33554432000 4194304 4196468 140729445199200 140729445181744 139707949510391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
/proc/6703/statm: 3522330 614930 3428 1 0 3483524 0
[pid=6703/tid=6704] ppid=6701 vsize=14089320 memory=2459720 CPUtime=2506.72 cores=0,2,4,6
/proc/6703/task/6704/stat : 6704 (java) R 6701 6701 2709 0 -1 4202560 47750 0 0 0 250637 35 0 0 20 0 15 0 229335794 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707953741648 139707593573904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6705] ppid=6701 vsize=14089320 memory=2459720 CPUtime=0.42 cores=0,2,4,6
/proc/6703/task/6705/stat : 6705 (java) S 6701 6701 2709 0 -1 1077944384 684 0 0 0 32 10 0 0 20 0 15 0 229335795 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707906062608 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6706] ppid=6701 vsize=14089320 memory=2459720 CPUtime=0.39 cores=0,2,4,6
/proc/6703/task/6706/stat : 6706 (java) S 6701 6701 2709 0 -1 1077944384 614 0 0 0 30 9 0 0 20 0 15 0 229335795 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707543906704 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6707] ppid=6701 vsize=14089320 memory=2459720 CPUtime=0.39 cores=0,2,4,6
/proc/6703/task/6707/stat : 6707 (java) S 6701 6701 2709 0 -1 1077944384 780 0 0 0 29 10 0 0 20 0 15 0 229335795 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707542854160 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6708] ppid=6701 vsize=14089320 memory=2459720 CPUtime=0.43 cores=0,2,4,6
/proc/6703/task/6708/stat : 6708 (java) S 6701 6701 2709 0 -1 1077944384 465 0 0 0 33 10 0 0 20 0 15 0 229335795 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707541801616 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6709] ppid=6701 vsize=14089320 memory=1452 CPUtime=0.08 cores=0,2,4,6
/proc/6703/task/6709/stat : 6709 (java) S 6701 6701 2709 0 -1 1077944384 3180 0 0 0 4 4 0 0 20 0 15 0 229335796 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707130444272 139707949521538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6710] ppid=6701 vsize=14089320 memory=2459720 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6710/stat : 6710 (java) S 6701 6701 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229335797 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707129390560 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6711] ppid=6701 vsize=14089320 memory=2457664 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6711/stat : 6711 (java) S 6701 6701 2709 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 229335797 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707128337920 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6712] ppid=6701 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6712/stat : 6712 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707127286480 139707949528987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6713] ppid=6701 vsize=14089320 memory=1452 CPUtime=4.97 cores=0,2,4,6
/proc/6703/task/6713/stat : 6713 (java) S 6701 6701 2709 0 -1 1077944384 32015 0 0 0 494 3 0 0 20 0 15 0 229335799 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707126233072 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6714] ppid=6701 vsize=14089320 memory=8112282956445269571 CPUtime=4.24 cores=0,2,4,6
/proc/6703/task/6714/stat : 6714 (java) S 6701 6701 2709 0 -1 1077944384 27548 0 0 0 421 3 0 0 20 0 15 0 229335799 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707125180528 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6715] ppid=6701 vsize=14089320 memory=1616 CPUtime=0.83 cores=0,2,4,6
/proc/6703/task/6715/stat : 6715 (java) S 6701 6701 2709 0 -1 1077944384 11653 0 0 0 81 2 0 0 20 0 15 0 229335799 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707124127984 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6716] ppid=6701 vsize=14089320 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6716/stat : 6716 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707123075680 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6717] ppid=6701 vsize=14089320 memory=928 CPUtime=1.45 cores=0,2,4,6
/proc/6703/task/6717/stat : 6717 (java) S 6701 6701 2709 0 -1 1077944384 2033 0 0 0 71 74 0 0 20 0 15 0 229335800 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707122023216 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2461172 KiB

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

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

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

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

[startup+2507.5 s]
/proc/loadavg: 1.92 1.96 1.92 3/218 6906
/proc/meminfo: memFree=13343620/32770624 swapFree=67108792/67108860
[pid=6701] ppid=6698 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6701/stat : 6701 (xcsp3-exec) S 6698 6701 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229335793 115843072 363 33554432000 4194304 5098028 140724471173840 140724471171944 140484872077948 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37363712 140724471182394 140724471182596 140724471182596 140724471185354 0
/proc/6701/statm: 28282 363 305 221 0 87 0
[pid=6703] ppid=6701 vsize=14089320 memory=2459720 CPUtime=2520 cores=0,2,4,6
/proc/6703/stat : 6703 (java) S 6701 6701 2709 0 -1 1077944320 128021 0 0 0 251855 145 0 0 20 0 15 0 229335794 14427463680 614930 33554432000 4194304 4196468 140729445199200 140729445181744 139707949510391 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
/proc/6703/statm: 3522330 614930 3428 1 0 3483524 0
[pid=6703/tid=6704] ppid=6701 vsize=14089320 memory=2459720 CPUtime=2506.72 cores=0,2,4,6
/proc/6703/task/6704/stat : 6704 (java) R 6701 6701 2709 0 -1 4202560 47750 0 0 0 250637 35 0 0 20 0 15 0 229335794 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707953741648 139707593573904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6705] ppid=6701 vsize=14089320 memory=2459720 CPUtime=0.42 cores=0,2,4,6
/proc/6703/task/6705/stat : 6705 (java) S 6701 6701 2709 0 -1 1077944384 684 0 0 0 32 10 0 0 20 0 15 0 229335795 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707906062608 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6706] ppid=6701 vsize=14089320 memory=2459720 CPUtime=0.39 cores=0,2,4,6
/proc/6703/task/6706/stat : 6706 (java) S 6701 6701 2709 0 -1 1077944384 614 0 0 0 30 9 0 0 20 0 15 0 229335795 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707543906704 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6707] ppid=6701 vsize=14089320 memory=2459720 CPUtime=0.39 cores=0,2,4,6
/proc/6703/task/6707/stat : 6707 (java) S 6701 6701 2709 0 -1 1077944384 780 0 0 0 29 10 0 0 20 0 15 0 229335795 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707542854160 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6708] ppid=6701 vsize=14089320 memory=2459720 CPUtime=0.43 cores=0,2,4,6
/proc/6703/task/6708/stat : 6708 (java) S 6701 6701 2709 0 -1 1077944384 465 0 0 0 33 10 0 0 20 0 15 0 229335795 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707541801616 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6709] ppid=6701 vsize=14089320 memory=1452 CPUtime=0.08 cores=0,2,4,6
/proc/6703/task/6709/stat : 6709 (java) S 6701 6701 2709 0 -1 1077944384 3180 0 0 0 4 4 0 0 20 0 15 0 229335796 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707130444272 139707949521538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6710] ppid=6701 vsize=14089320 memory=2459720 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6710/stat : 6710 (java) S 6701 6701 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229335797 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707129390560 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6711] ppid=6701 vsize=14089320 memory=2457664 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6711/stat : 6711 (java) S 6701 6701 2709 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 229335797 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707128337920 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6712] ppid=6701 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6712/stat : 6712 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707127286480 139707949528987 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6713] ppid=6701 vsize=14089320 memory=1452 CPUtime=4.97 cores=0,2,4,6
/proc/6703/task/6713/stat : 6713 (java) S 6701 6701 2709 0 -1 1077944384 32015 0 0 0 494 3 0 0 20 0 15 0 229335799 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707126233072 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6714] ppid=6701 vsize=14089320 memory=8112282956445269571 CPUtime=4.24 cores=0,2,4,6
/proc/6703/task/6714/stat : 6714 (java) S 6701 6701 2709 0 -1 1077944384 27548 0 0 0 421 3 0 0 20 0 15 0 229335799 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707125180528 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6715] ppid=6701 vsize=14089320 memory=1616 CPUtime=0.83 cores=0,2,4,6
/proc/6703/task/6715/stat : 6715 (java) S 6701 6701 2709 0 -1 1077944384 11653 0 0 0 81 2 0 0 20 0 15 0 229335799 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707124127984 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6716] ppid=6701 vsize=14089320 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/6703/task/6716/stat : 6716 (java) S 6701 6701 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229335799 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707123075680 139707949520597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
[pid=6703/tid=6717] ppid=6701 vsize=14089320 memory=928 CPUtime=1.45 cores=0,2,4,6
/proc/6703/task/6717/stat : 6717 (java) S 6701 6701 2709 0 -1 1077944384 2033 0 0 0 71 74 0 0 20 0 15 0 229335800 14427463680 614930 33554432000 4194304 4196468 140729445199200 139707122023216 139707949521538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26910720 140729445201030 140729445201201 140729445201201 140729445203919 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2461172 KiB

Child status: 143
Real time (s): 2507.52
CPU time (s): 2520.04
CPU user time (s): 2518.56
CPU system time (s): 1.47231
CPU usage (%): 100.499
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 2461172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.56
system time used= 1.47231
maximum resident set size= 2460288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129147
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58084
involuntary context switches= 3260


# summary of solver processes directly reported to runsolver:
#   pid: 6701,6703
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2518.56
#   total CPU system time (s): 1.47231

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0443 second user time and 24.9732 second system time

The end

Name	PeacableArmies/ PeacableArmies-m2-50_c18.xml
MD5SUM	a108db2a0a555905573fa2757742798d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	113
Best CPU time to get the best result obtained on this benchmark	2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	2502
Number of constraints	203353
Number of domains	2
Minimum domain size	3
Maximum domain size	1250
Distribution of domain sizes	[{"size":3,"count":2500},{"size":1250,"count":2}]
Minimum variable degree	2
Maximum variable degree	197
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":3,"count":1},{"degree":149,"count":196},{"degree":151,"count":188},{"degree":153,"count":180},{"degree":155,"count":172},{"degree":157,"count":164},{"degree":159,"count":156},{"degree":161,"count":148},{"degree":163,"count":140},{"degree":165,"count":132},{"degree":167,"count":124},{"degree":169,"count":116},{"degree":171,"count":108},{"degree":173,"count":100},{"degree":175,"count":92},{"degree":177,"count":84},{"degree":179,"count":76},{"degree":181,"count":68},{"degree":183,"count":60},{"degree":185,"count":52},{"degree":187,"count":44},{"degree":189,"count":36},{"degree":191,"count":28},{"degree":193,"count":20},{"degree":195,"count":12},{"degree":197,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	2501
Distribution of constraint arities	[{"arity":2,"count":203351},{"arity":2501,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	203351
Distribution of constraint types	[{"type":"intension","count":203351},{"type":"count","count":2}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4306545

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