0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306538-1534118002.xml"  -tl '2520s' -p 1
0.12/0.17	c Choco e747e1e
0.12/0.17	c [HOME/instance-4306538-1534118002.xml, -tl, 2520s, -p, 1]
0.12/0.21	c simple solver
0.34/0.28	c parse instance...
23.46/13.88	c solve instance...
34.96/24.26	o 53 
106.75/93.37	o 54 
229.23/215.56	o 60 
242.26/228.52	o 63 
417.89/403.77	o 179 
2520.04/2504.30	s SATISFIABLE
2520.04/2504.30	v <instantiation>
2520.04/2504.30	v 	<list>b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[0][10] b[0][11] b[0][12] b[0][13] b[0][14] b[0][15] b[0][16] b[0][17] b[0][18] b[0][19] b[0][20] b[0][21] b[0][22] b[0][23] b[0][24] b[0][25] b[0][26] b[0][27] b[0][28] b[0][29] b[0][30] b[0][31] b[0][32] b[0][33] b[0][34] b[0][35] b[0][36] b[0][37] b[0][38] b[0][39] b[0][40] b[0][41] b[0][42] b[0][43] b[0][44] b[0][45] b[0][46] b[0][47] b[0][48] b[0][49] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[1][10] b[1][11] b[1][12] b[1][13] b[1][14] b[1][15] b[1][16] b[1][17] b[1][18] b[1][19] b[1][20] b[1][21] b[1][22] b[1][23] b[1][24] b[1][25] b[1][26] b[1][27] b[1][28] b[1][29] b[1][30] b[1][31] b[1][32] b[1][33] b[1][34] b[1][35] b[1][36] b[1][37] b[1][38] b[1][39] b[1][40] b[1][41] b[1][42] b[1][43] b[1][44] b[1][45] b[1][46] b[1][47] b[1][48] b[1][49] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[2][10] b[2][11] b[2][12] b[2][13] b[2][14] b[2][15] b[2][16] b[2][17] b[2][18] b[2][19] b[2][20] b[2][21] b[2][22] b[2][23] b[2][24] b[2][25] b[2][26] b[2][27] b[2][28] b[2][29] b[2][30] b[2][31] b[2][32] b[2][33] b[2][34] b[2][35] b[2][36] b[2][37] b[2][38] b[2][39] b[2][40] b[2][41] b[2][42] b[2][43] b[2][44] b[2][45] b[2][46] b[2][47] b[2][48] b[2][49] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[3][10] b[3][11] b[3][12] b[3][13] b[3][14] b[3][15] b[3][16] b[3][17] b[3][18] b[3][19] b[3][20] b[3][21] b[3][22] b[3][23] b[3][24] b[3][25] b[3][26] b[3][27] b[3][28] b[3][29] b[3][30] b[3][31] b[3][32] b[3][33] b[3][34] b[3][35] b[3][36] b[3][37] b[3][38] b[3][39] b[3][40] b[3][41] b[3][42] b[3][43] b[3][44] b[3][45] b[3][46] b[3][47] b[3][48] b[3][49] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[4][10] b[4][11] b[4][12] b[4][13] b[4][14] b[4][15] b[4][16] b[4][17] b[4][18] b[4][19] b[4][20] b[4][21] b[4][22] b[4][23] b[4][24] b[4][25] b[4][26] b[4][27] b[4][28] b[4][29] b[4][30] b[4][31] b[4][32] b[4][33] b[4][34] b[4][35] b[4][36] b[4][37] b[4][38] b[4][39] b[4][40] b[4][41] b[4][42] b[4][43] b[4][44] b[4][45] b[4][46] b[4][47] b[4][48] b[4][49] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[5][10] b[5][11] b[5][12] b[5][13] b[5][14] b[5][15] b[5][16] b[5][17] b[5][18] b[5][19] b[5][20] b[5][21] b[5][22] b[5][23] b[5][24] b[5][25] b[5][26] b[5][27] b[5][28] b[5][29] b[5][30] b[5][31] b[5][32] b[5][33] b[5][34] b[5][35] b[5][36] b[5][37] b[5][38] b[5][39] b[5][40] b[5][41] b[5][42] b[5][43] b[5][44] b[5][45] b[5][46] b[5][47] b[5][48] b[5][49] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[6][10] b[6][11] b[6][12] b[6][13] b[6][14] b[6][15] b[6][16] b[6][17] b[6][18] b[6][19] b[6][20] b[6][21] b[6][22] b[6][23] b[6][24] b[6][25] b[6][26] b[6][27] b[6][28] b[6][29] b[6][30] b[6][31] b[6][32] b[6][33] b[6][34] b[6][35] b[6][36] b[6][37] b[6][38] b[6][39] b[6][40] b[6][41] b[6][42] b[6][43] b[6][44] b[6][45] b[6][46] b[6][47] b[6][48] b[6][49] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[7][10] b[7][11] b[7][12] b[7][13] b[7][14] b[7][15] b[7][16] b[7][17] b[7][18] b[7][19] b[7][20] b[7][21] b[7][22] b[7][23] b[7][24] b[7][25] b[7][26] b[7][27] b[7][28] b[7][29] b[7][30] b[7][31] b[7][32] b[7][33] b[7][34] b[7][35] b[7][36] b[7][37] b[7][38] b[7][39] b[7][40] b[7][41] b[7][42] b[7][43] b[7][44] b[7][45] b[7][46] b[7][47] b[7][48] b[7][49] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[8][10] b[8][11] b[8][12] b[8][13] b[8][14] b[8][15] b[8][16] b[8][17] b[8][18] b[8][19] b[8][20] b[8][21] b[8][22] b[8][23] b[8][24] b[8][25] b[8][26] b[8][27] b[8][28] b[8][29] b[8][30] b[8][31] b[8][32] b[8][33] b[8][34] b[8][35] b[8][36] b[8][37] b[8][38] b[8][39] b[8][40] b[8][41] b[8][42] b[8][43] b[8][44] b[8][45] b[8][46] b[8][47] b[8][48] b[8][49] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] b[9][10] b[9][11] b[9][12] b[9][13] b[9][14] b[9][15] b[9][16] b[9][17] b[9][18] b[9][19] b[9][20] b[9][21] b[9][22] b[9][23] b[9][24] b[9][25] b[9][26] b[9][27] b[9][28] b[9][29] b[9][30] b[9][31] b[9][32] b[9][33] b[9][34] b[9][35] b[9][36] b[9][37] b[9][38] b[9][39] b[9][40] b[9][41] b[9][42] b[9][43] b[9][44] b[9][45] b[9][46] b[9][47] b[9][48] b[9][49] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[10][6] b[10][7] b[10][8] b[10][9] b[10][10] b[10][11] b[10][12] b[10][13] b[10][14] b[10][15] b[10][16] b[10][17] b[10][18] b[10][19] b[10][20] b[10][21] b[10][22] b[10][23] b[10][24] b[10][25] b[10][26] b[10][27] b[10][28] b[10][29] b[10][30] b[10][31] b[10][32] b[10][33] b[10][34] b[10][35] b[10][36] b[10][37] b[10][38] b[10][39] b[10][40] b[10][41] b[10][42] b[10][43] b[10][44] b[10][45] b[10][46] b[10][47] b[10][48] b[10][49] b[11][0] b[11][1] b[11][2] b[11][3] b[11][4] b[11][5] b[11][6] b[11][7] b[11][8] b[11][9] b[11][10] b[11][11] b[11][12] b[11][13] b[11][14] b[11][15] b[11][16] b[11][17] b[11][18] b[11][19] b[11][20] b[11][21] b[11][22] b[11][23] b[11][24] b[11][25] b[11][26] b[11][27] b[11][28] b[11][29] b[11][30] b[11][31] b[11][32] b[11][33] b[11][34] b[11][35] b[11][36] b[11][37] b[11][38] b[11][39] b[11][40] b[11][41] b[11][42] b[11][43] b[11][44] b[11][45] b[11][46] b[11][47] b[11][48] b[11][49] b[12][0] b[12][1] b[12][2] b[12][3] b[12][4] b[12][5] b[12][6] b[12][7] b[12][8] b[12][9] b[12][10] b[12][11] b[12][12] b[12][13] b[12][14] b[12][15] b[12][16] b[12][17] b[12][18] b[12][19] b[12][20] b[12][21] b[12][22] b[12][23] b[12][24] b[12][25] b[12][26] b[12][27] b[12][28] b[12][29] b[12][30] b[12][31] b[12][32] b[12][33] b[12][34] b[12][35] b[12][36] b[12][37] b[12][38] b[12][39] b[12][40] b[12][41] b[12][42] b[12][43] b[12][44] b[12][45] b[12][46] b[12][47] b[12][48] b[12][49] b[13][0] b[13][1] b[13][2] b[13][3] b[13][4] b[13][5] b[13][6] b[13][7] b[13][8] b[13][9] b[13][10] b[13][11] b[13][12] b[13][13] b[13][14] b[13][15] b[13][16] b[13][17] b[13][18] b[13][19] b[13][20] b[13][21] b[13][22] b[13][23] b[13][24] b[13][25] b[13][26] b[13][27] b[13][28] b[13][29] b[13][30] b[13][31] b[13][32] b[13][33] b[13][34] b[13][35] b[13][36] b[13][37] b[13][38] b[13][39] b[13][40] b[13][41] b[13][42] b[13][43] b[13][44] b[13][45] b[13][46] b[13][47] b[13][48] b[13][49] b[14][0] b[14][1] b[14][2] b[14][3] b[14][4] b[14][5] b[14][6] b[14][7] b[14][8] b[14][9] b[14][10] b[14][11] b[14][12] b[14][13] b[14][14] b[14][15] b[14][16] b[14][17] b[14][18] b[14][19] b[14][20] b[14][21] b[14][22] b[14][23] b[14][24] b[14][25] b[14][26] b[14][27] b[14][28] b[14][29] b[14][30] b[14][31] b[14][32] b[14][33] b[14][34] b[14][35] b[14][36] b[14][37] b[14][38] b[14][39] b[14][40] b[14][41] b[14][42] b[14][43] b[14][44] b[14][45] b[14][46] b[14][47] b[14][48] b[14][49] b[15][0] b[15][1] b[15][2] b[15][3] b[15][4] b[15][5] b[15][6] b[15][7] b[15][8] b[15][9] b[15][10] b[15][11] b[15][12] b[15][13] b[15][14] b[15][15] b[15][16] b[15][17] b[15][18] b[15][19] b[15][20] b[15][21] b[15][22] b[15][23] b[15][24] b[15][25] b[15][26] b[15][27] b[15][28] b[15][29] b[15][30] b[15][31] b[15][32] b[15][33] b[15][34] b[15][35] b[15][36] b[15][37] b[15][38] b[15][39] b[15][40] b[15][41] b[15][42] b[15][43] b[15][44] b[15][45] b[15][46] b[15][47] b[15][48] b[15][49] b[16][0] b[16][1] b[16][2] b[16][3] b[16][4] b[16][5] b[16][6] b[16][7] b[16][8] b[16][9] b[16][10] b[16][11] b[16][12] b[16][13] b[16][14] b[16][15] b[16][16] b[16][17] b[16][18] b[16][19] b[16][20] b[16][21] b[16][22] b[16][23] b[16][24] b[16][25] b[16][26] b[16][27] b[16][28] b[16][29] b[16][30] b[16][31] b[16][32] b[16][33] b[16][34] b[16][35] b[16][36] b[16][37] b[16][38] b[16][39] b[16][40] b[16][41] b[16][42] b[16][43] b[16][44] b[16][45] b[16][46] b[16][47] b[16][48] b[16][49] b[17][0] b[17][1] b[17][2] b[17][3] b[17][4] b[17][5] b[17][6] b[17][7] b[17][8] b[17][9] b[17][10] b[17][11] b[17][12] b[17][13] b[17][14] b[17][15] b[17][16] b[17][17] b[17][18] b[17][19] b[17][20] b[17][21] b[17][22] b[17][23] b[17][24] b[17][25] b[17][26] b[17][27] b[17][28] b[17][29] b[17][30] b[17][31] b[17][32] b[17][33] b[17][34] b[17][35] b[17][36] b[17][37] b[17][38] b[17][39] b[17][40] b[17][41] b[17][42] b[17][43] b[17][44] b[17][45] b[17][46] b[17][47] b[17][48] b[17][49] b[18][0] b[18][1] b[18][2] b[18][3] b[18][4] b[18][5] b[18][6] b[18][7] b[18][8] b[18][9] b[18][10] b[18][11] b[18][12] b[18][13] b[18][14] b[18][15] b[18][16] b[18][17] b[18][18] b[18][19] b[18][20] b[18][21] b[18][22] b[18][23] b[18][24] b[18][25] b[18][26] b[18][27] b[18][28] b[18][29] b[18][30] b[18][31] b[18][32] b[18][33] b[18][34] b[18][35] b[18][36] b[18][37] b[18][38] b[18][39] b[18][40] b[18][41] b[18][42] b[18][43] b[18][44] b[18][45] b[18][46] b[18][47] b[18][48] b[18][49] b[19][0] b[19][1] b[19][2] b[19][3] b[19][4] b[19][5] b[19][6] b[19][7] b[19][8] b[19][9] b[19][10] b[19][11] b[19][12] b[19][13] b[19][14] b[19][15] b[19][16] b[19][17] b[19][18] b[19][19] b[19][20] b[19][21] b[19][22] b[19][23] b[19][24] b[19][25] b[19][26] b[19][27] b[19][28] b[19][29] b[19][30] b[19][31] b[19][32] b[19][33] b[19][34] b[19][35] b[19][36] b[19][37] b[19][38] b[19][39] b[19][40] b[19][41] b[19][42] b[19][43] b[19][44] b[19][45] b[19][46] b[19][47] b[19][48] b[19][49] b[20][0] b[20][1] b[20][2] b[20][3] b[20][4] b[20][5] b[20][6] b[20][7] b[20][8] b[20][9] b[20][10] b[20][11] b[20][12] b[20][13] b[20][14] b[20][15] b[20][16] b[20][17] b[20][18] b[20][19] b[20][20] b[20][21] b[20][22] b[20][23] b[20][24] b[20][25] b[20][26] b[20][27] b[20][28] b[20][29] b[20][30] b[20][31] b[20][32] b[20][33] b[20][34] b[20][35] b[20][36] b[20][37] b[20][38] b[20][39] b[20][40] b[20][41] b[20][42] b[20][43] b[20][44] b[20][45] b[20][46] b[20][47] b[20][48] b[20][49] b[21][0] b[21][1] b[21][2] b[21][3] b[21][4] b[21][5] b[21][6] b[21][7] b[21][8] b[21][9] b[21][10] b[21][11] b[21][12] b[21][13] b[21][14] b[21][15] b[21][16] b[21][17] b[21][18] b[21][19] b[21][20] b[21][21] b[21][22] b[21][23] b[21][24] b[21][25] b[21][26] b[21][27] b[21][28] b[21][29] b[21][30] b[21][31] b[21][32] b[21][33] b[21][34] b[21][35] b[21][36] b[21][37] b[21][38] b[21][39] b[21][40] b[21][41] b[21][42] b[21][43] b[21][44] b[21][45] b[21][46] b[21][47] b[21][48] b[21][49] b[22][0] b[22][1] b[22][2] b[22][3] b[22][4] b[22][5] b[22][6] b[22][7] b[22][8] b[22][9] b[22][10] b[22][11] b[22][12] b[22][13] b[22][14] b[22][15] b[22][16] b[22][17] b[22][18] b[22][19] b[22][20] b[22][21] b[22][22] b[22][23] b[22][24] b[22][25] b[22][26] b[22][27] b[22][28] b[22][29] b[22][30] b[22][31] b[22][32] b[22][33] b[22][34] b[22][35] b[22][36] b[22][37] b[22][38] b[22][39] b[22][40] b[22][41] b[22][42] b[22][43] b[22][44] b[22][45] b[22][46] b[22][47] b[22][48] b[22][49] b[23][0] b[23][1] b[23][2] b[23][3] b[23][4] b[23][5] b[23][6] b[23][7] b[23][8] b[23][9] b[23][10] b[23][11] b[23][12] b[23][13] b[23][14] b[23][15] b[23][16] b[23][17] b[23][18] b[23][19] b[23][20] b[23][21] b[23][22] b[23][23] b[23][24] b[23][25] b[23][26] b[23][27] b[23][28] b[23][29] b[23][30] b[23][31] b[23][32] b[23][33] b[23][34] b[23][35] b[23][36] b[23][37] b[23][38] b[23][39] b[23][40] b[23][41] b[23][42] b[23][43] b[23][44] b[23][45] b[23][46] b[23][47] b[23][48] b[23][49] b[24][0] b[24][1] b[24][2] b[24][3] b[24][4] b[24][5] b[24][6] b[24][7] b[24][8] b[24][9] b[24][10] b[24][11] b[24][12] b[24][13] b[24][14] b[24][15] b[24][16] b[24][17] b[24][18] b[24][19] b[24][20] b[24][21] b[24][22] b[24][23] b[24][24] b[24][25] b[24][26] b[24][27] b[24][28] b[24][29] b[24][30] b[24][31] b[24][32] b[24][33] b[24][34] b[24][35] b[24][36] b[24][37] b[24][38] b[24][39] b[24][40] b[24][41] b[24][42] b[24][43] b[24][44] b[24][45] b[24][46] b[24][47] b[24][48] b[24][49] b[25][0] b[25][1] b[25][2] b[25][3] b[25][4] b[25][5] b[25][6] b[25][7] b[25][8] b[25][9] b[25][10] b[25][11] b[25][12] b[25][13] b[25][14] b[25][15] b[25][16] b[25][17] b[25][18] b[25][19] b[25][20] b[25][21] b[25][22] b[25][23] b[25][24] b[25][25] b[25][26] b[25][27] b[25][28] b[25][29] b[25][30] b[25][31] b[25][32] b[25][33] b[25][34] b[25][35] b[25][36] b[25][37] b[25][38] b[25][39] b[25][40] b[25][41] b[25][42] b[25][43] b[25][44] b[25][45] b[25][46] b[25][47] b[25][48] b[25][49] b[26][0] b[26][1] b[26][2] b[26][3] b[26][4] b[26][5] b[26][6] b[26][7] b[26][8] b[26][9] b[26][10] b[26][11] b[26][12] b[26][13] b[26][14] b[26][15] b[26][16] b[26][17] b[26][18] b[26][19] b[26][20] b[26][21] b[26][22] b[26][23] b[26][24] b[26][25] b[26][26] b[26][27] b[26][28] b[26][29] b[26][30] b[26][31] b[26][32] b[26][33] b[26][34] b[26][35] b[26][36] b[26][37] b[26][38] b[26][39] b[26][40] b[26][41] b[26][42] b[26][43] b[26][44] b[26][45] b[26][46] b[26][47] b[26][48] b[26][49] b[27][0] b[27][1] b[27][2] b[27][3] b[27][4] b[27][5] b[27][6] b[27][7] b[27][8] b[27][9] b[27][10] b[27][11] b[27][12] b[27][13] b[27][14] b[27][15] b[27][16] b[27][17] b[27][18] b[27][19] b[27][20] b[27][21] b[27][22] b[27][23] b[27][24] b[27][25] b[27][26] b[27][27] b[27][28] b[27][29] b[27][30] b[27][31] b[27][32] b[27][33] b[27][34] b[27][35] b[27][36] b[27][37] b[27][38] b[27][39] b[27][40] b[27][41] b[27][42] b[27][43] b[27][44] b[27][45] b[27][46] b[27][47] b[27][48] b[27][49] b[28][0] b[28][1] b[28][2] b[28][3] b[28][4] b[28][5] b[28][6] b[28][7] b[28][8] b[28][9] b[28][10] b[28][11] b[28][12] b[28][13] b[28][14] b[28][15] b[28][16] b[28][17] b[28][18] b[28][19] b[28][20] b[28][21] b[28][22] b[28][23] b[28][24] b[28][25] b[28][26] b[28][27] b[28][28] b[28][29] b[28][30] b[28][31] b[28][32] b[28][33] b[28][34] b[28][35] b[28][36] b[28][37] b[28][38] b[28][39] b[28][40] b[28][41] b[28][42] b[28][43] b[28][44] b[28][45] b[28][46] b[28][47] b[28][48] b[28][49] b[29][0] b[29][1] b[29][2] b[29][3] b[29][4] b[29][5] b[29][6] b[29][7] b[29][8] b[29][9] b[29][10] b[29][11] b[29][12] b[29][13] b[29][14] b[29][15] b[29][16] b[29][17] b[29][18] b[29][19] b[29][20] b[29][21] b[29][22] b[29][23] b[29][24] b[29][25] b[29][26] b[29][27] b[29][28] b[29][29] b[29][30] b[29][31] b[29][32] b[29][33] b[29][34] b[29][35] b[29][36] b[29][37] b[29][38] b[29][39] b[29][40] b[29][41] b[29][42] b[29][43] b[29][44] b[29][45] b[29][46] b[29][47] b[29][48] b[29][49] b[30][0] b[30][1] b[30][2] b[30][3] b[30][4] b[30][5] b[30][6] b[30][7] b[30][8] b[30][9] b[30][10] b[30][11] b[30][12] b[30][13] b[30][14] b[30][15] b[30][16] b[30][17] b[30][18] b[30][19] b[30][20] b[30][21] b[30][22] b[30][23] b[30][24] b[30][25] b[30][26] b[30][27] b[30][28] b[30][29] b[30][30] b[30][31] b[30][32] b[30][33] b[30][34] b[30][35] b[30][36] b[30][37] b[30][38] b[30][39] b[30][40] b[30][41] b[30][42] b[30][43] b[30][44] b[30][45] b[30][46] b[30][47] b[30][48] b[30][49] b[31][0] b[31][1] b[31][2] b[31][3] b[31][4] b[31][5] b[31][6] b[31][7] b[31][8] b[31][9] b[31][10] b[31][11] b[31][12] b[31][13] b[31][14] b[31][15] b[31][16] b[31][17] b[31][18] b[31][19] b[31][20] b[31][21] b[31][22] b[31][23] b[31][24] b[31][25] b[31][26] b[31][27] b[31][28] b[31][29] b[31][30] b[31][31] b[31][32] b[31][33] b[31][34] b[31][35] b[31][36] b[31][37] b[31][38] b[31][39] b[31][40] b[31][41] b[31][42] b[31][43] b[31][44] b[31][45] b[31][46] b[31][47] b[31][48] b[31][49] b[32][0] b[32][1] b[32][2] b[32][3] b[32][4] b[32][5] b[32][6] b[32][7] b[32][8] b[32][9] b[32][10] b[32][11] b[32][12] b[32][13] b[32][14] b[32][15] b[32][16] b[32][17] b[32][18] b[32][19] b[32][20] b[32][21] b[32][22] b[32][23] b[32][24] b[32][25] b[32][26] b[32][27] b[32][28] b[32][29] b[32][30] b[32][31] b[32][32] b[32][33] b[32][34] b[32][35] b[32][36] b[32][37] b[32][38] b[32][39] b[32][40] b[32][41] b[32][42] b[32][43] b[32][44] b[32][45] b[32][46] b[32][47] b[32][48] b[32][49] b[33][0] b[33][1] b[33][2] b[33][3] b[33][4] b[33][5] b[33][6] b[33][7] b[33][8] b[33][9] b[33][10] b[33][11] b[33][12] b[33][13] b[33][14] b[33][15] b[33][16] b[33][17] b[33][18] b[33][19] b[33][20] b[33][21] b[33][22] b[33][23] b[33][24] b[33][25] b[33][26] b[33][27] b[33][28] b[33][29] b[33][30] b[33][31] b[33][32] b[33][33] b[33][34] b[33][35] b[33][36] b[33][37] b[33][38] b[33][39] b[33][40] b[33][41] b[33][42] b[33][43] b[33][44] b[33][45] b[33][46] b[33][47] b[33][48] b[33][49] b[34][0] b[34][1] b[34][2] b[34][3] b[34][4] b[34][5] b[34][6] b[34][7] b[34][8] b[34][9] b[34][10] b[34][11] b[34][12] b[34][13] b[34][14] b[34][15] b[34][16] b[34][17] b[34][18] b[34][19] b[34][20] b[34][21] b[34][22] b[34][23] b[34][24] b[34][25] b[34][26] b[34][27] b[34][28] b[34][29] b[34][30] b[34][31] b[34][32] b[34][33] b[34][34] b[34][35] b[34][36] b[34][37] b[34][38] b[34][39] b[34][40] b[34][41] b[34][42] b[34][43] b[34][44] b[34][45] b[34][46] b[34][47] b[34][48] b[34][49] b[35][0] b[35][1] b[35][2] b[35][3] b[35][4] b[35][5] b[35][6] b[35][7] b[35][8] b[35][9] b[35][10] b[35][11] b[35][12] b[35][13] b[35][14] b[35][15] b[35][16] b[35][17] b[35][18] b[35][19] b[35][20] b[35][21] b[35][22] b[35][23] b[35][24] b[35][25] b[35][26] b[35][27] b[35][28] b[35][29] b[35][30] b[35][31] b[35][32] b[35][33] b[35][34] b[35][35] b[35][36] b[35][37] b[35][38] b[35][39] b[35][40] b[35][41] b[35][42] b[35][43] b[35][44] b[35][45] b[35][46] b[35][47] b[35][48] b[35][49] b[36][0] b[36][1] b[36][2] b[36][3] b[36][4] b[36][5] b[36][6] b[36][7] b[36][8] b[36][9] b[36][10] b[36][11] b[36][12] b[36][13] b[36][14] b[36][15] b[36][16] b[36][17] b[36][18] b[36][19] b[36][20] b[36][21] b[36][22] b[36][23] b[36][24] b[36][25] b[36][26] b[36][27] b[36][28] b[36][29] b[36][30] b[36][31] b[36][32] b[36][33] b[36][34] b[36][35] b[36][36] b[36][37] b[36][38] b[36][39] b[36][40] b[36][41] b[36][42] b[36][43] b[36][44] b[36][45] b[36][46] b[36][47] b[36][48] b[36][49] b[37][0] b[37][1] b[37][2] b[37][3] b[37][4] b[37][5] b[37][6] b[37][7] b[37][8] b[37][9] b[37][10] b[37][11] b[37][12] b[37][13] b[37][14] b[37][15] b[37][16] b[37][17] b[37][18] b[37][19] b[37][20] b[37][21] b[37][22] b[37][23] b[37][24] b[37][25] b[37][26] b[37][27] b[37][28] b[37][29] b[37][30] b[37][31] b[37][32] b[37][33] b[37][34] b[37][35] b[37][36] b[37][37] b[37][38] b[37][39] b[37][40] b[37][41] b[37][42] b[37][43] b[37][44] b[37][45] b[37][46] b[37][47] b[37][48] b[37][49] b[38][0] b[38][1] b[38][2] b[38][3] b[38][4] b[38][5] b[38][6] b[38][7] b[38][8] b[38][9] b[38][10] b[38][11] b[38][12] b[38][13] b[38][14] b[38][15] b[38][16] b[38][17] b[38][18] b[38][19] b[38][20] b[38][21] b[38][22] b[38][23] b[38][24] b[38][25] b[38][26] b[38][27] b[38][28] b[38][29] b[38][30] b[38][31] b[38][32] b[38][33] b[38][34] b[38][35] b[38][36] b[38][37] b[38][38] b[38][39] b[38][40] b[38][41] b[38][42] b[38][43] b[38][44] b[38][45] b[38][46] b[38][47] b[38][48] b[38][49] b[39][0] b[39][1] b[39][2] b[39][3] b[39][4] b[39][5] b[39][6] b[39][7] b[39][8] b[39][9] b[39][10] b[39][11] b[39][12] b[39][13] b[39][14] b[39][15] b[39][16] b[39][17] b[39][18] b[39][19] b[39][20] b[39][21] b[39][22] b[39][23] b[39][24] b[39][25] b[39][26] b[39][27] b[39][28] b[39][29] b[39][30] b[39][31] b[39][32] b[39][33] b[39][34] b[39][35] b[39][36] b[39][37] b[39][38] b[39][39] b[39][40] b[39][41] b[39][42] b[39][43] b[39][44] b[39][45] b[39][46] b[39][47] b[39][48] b[39][49] b[40][0] b[40][1] b[40][2] b[40][3] b[40][4] b[40][5] b[40][6] b[40][7] b[40][8] b[40][9] b[40][10] b[40][11] b[40][12] b[40][13] b[40][14] b[40][15] b[40][16] b[40][17] b[40][18] b[40][19] b[40][20] b[40][21] b[40][22] b[40][23] b[40][24] b[40][25] b[40][26] b[40][27] b[40][28] b[40][29] b[40][30] b[40][31] b[40][32] b[40][33] b[40][34] b[40][35] b[40][36] b[40][37] b[40][38] b[40][39] b[40][40] b[40][41] b[40][42] b[40][43] b[40][44] b[40][45] b[40][46] b[40][47] b[40][48] b[40][49] b[41][0] b[41][1] b[41][2] b[41][3] b[41][4] b[41][5] b[41][6] b[41][7] b[41][8] b[41][9] b[41][10] b[41][11] b[41][12] b[41][13] b[41][14] b[41][15] b[41][16] b[41][17] b[41][18] b[41][19] b[41][20] b[41][21] b[41][22] b[41][23] b[41][24] b[41][25] b[41][26] b[41][27] b[41][28] b[41][29] b[41][30] b[41][31] b[41][32] b[41][33] b[41][34] b[41][35] b[41][36] b[41][37] b[41][38] b[41][39] b[41][40] b[41][41] b[41][42] b[41][43] b[41][44] b[41][45] b[41][46] b[41][47] b[41][48] b[41][49] b[42][0] b[42][1] b[42][2] b[42][3] b[42][4] b[42][5] b[42][6] b[42][7] b[42][8] b[42][9] b[42][10] b[42][11] b[42][12] b[42][13] b[42][14] b[42][15] b[42][16] b[42][17] b[42][18] b[42][19] b[42][20] b[42][21] b[42][22] b[42][23] b[42][24] b[42][25] b[42][26] b[42][27] b[42][28] b[42][29] b[42][30] b[42][31] b[42][32] b[42][33] b[42][34] b[42][35] b[42][36] b[42][37] b[42][38] b[42][39] b[42][40] b[42][41] b[42][42] b[42][43] b[42][44] b[42][45] b[42][46] b[42][47] b[42][48] b[42][49] b[43][0] b[43][1] b[43][2] b[43][3] b[43][4] b[43][5] b[43][6] b[43][7] b[43][8] b[43][9] b[43][10] b[43][11] b[43][12] b[43][13] b[43][14] b[43][15] b[43][16] b[43][17] b[43][18] b[43][19] b[43][20] b[43][21] b[43][22] b[43][23] b[43][24] b[43][25] b[43][26] b[43][27] b[43][28] b[43][29] b[43][30] b[43][31] b[43][32] b[43][33] b[43][34] b[43][35] b[43][36] b[43][37] b[43][38] b[43][39] b[43][40] b[43][41] b[43][42] b[43][43] b[43][44] b[43][45] b[43][46] b[43][47] b[43][48] b[43][49] b[44][0] b[44][1] b[44][2] b[44][3] b[44][4] b[44][5] b[44][6] b[44][7] b[44][8] b[44][9] b[44][10] b[44][11] b[44][12] b[44][13] b[44][14] b[44][15] b[44][16] b[44][17] b[44][18] b[44][19] b[44][20] b[44][21] b[44][22] b[44][23] b[44][24] b[44][25] b[44][26] b[44][27] b[44][28] b[44][29] b[44][30] b[44][31] b[44][32] b[44][33] b[44][34] b[44][35] b[44][36] b[44][37] b[44][38] b[44][39] b[44][40] b[44][41] b[44][42] b[44][43] b[44][44] b[44][45] b[44][46] b[44][47] b[44][48] b[44][49] b[45][0] b[45][1] b[45][2] b[45][3] b[45][4] b[45][5] b[45][6] b[45][7] b[45][8] b[45][9] b[45][10] b[45][11] b[45][12] b[45][13] b[45][14] b[45][15] b[45][16] b[45][17] b[45][18] b[45][19] b[45][20] b[45][21] b[45][22] b[45][23] b[45][24] b[45][25] b[45][26] b[45][27] b[45][28] b[45][29] b[45][30] b[45][31] b[45][32] b[45][33] b[45][34] b[45][35] b[45][36] b[45][37] b[45][38] b[45][39] b[45][40] b[45][41] b[45][42] b[45][43] b[45][44] b[45][45] b[45][46] b[45][47] b[45][48] b[45][49] b[46][0] b[46][1] b[46][2] b[46][3] b[46][4] b[46][5] b[46][6] b[46][7] b[46][8] b[46][9] b[46][10] b[46][11] b[46][12] b[46][13] b[46][14] b[46][15] b[46][16] b[46][17] b[46][18] b[46][19] b[46][20] b[46][21] b[46][22] b[46][23] b[46][24] b[46][25] b[46][26] b[46][27] b[46][28] b[46][29] b[46][30] b[46][31] b[46][32] b[46][33] b[46][34] b[46][35] b[46][36] b[46][37] b[46][38] b[46][39] b[46][40] b[46][41] b[46][42] b[46][43] b[46][44] b[46][45] b[46][46] b[46][47] b[46][48] b[46][49] b[47][0] b[47][1] b[47][2] b[47][3] b[47][4] b[47][5] b[47][6] b[47][7] b[47][8] b[47][9] b[47][10] b[47][11] b[47][12] b[47][13] b[47][14] b[47][15] b[47][16] b[47][17] b[47][18] b[47][19] b[47][20] b[47][21] b[47][22] b[47][23] b[47][24] b[47][25] b[47][26] b[47][27] b[47][28] b[47][29] b[47][30] b[47][31] b[47][32] b[47][33] b[47][34] b[47][35] b[47][36] b[47][37] b[47][38] b[47][39] b[47][40] b[47][41] b[47][42] b[47][43] b[47][44] b[47][45] b[47][46] b[47][47] b[47][48] b[47][49] b[48][0] b[48][1] b[48][2] b[48][3] b[48][4] b[48][5] b[48][6] b[48][7] b[48][8] b[48][9] b[48][10] b[48][11] b[48][12] b[48][13] b[48][14] b[48][15] b[48][16] b[48][17] b[48][18] b[48][19] b[48][20] b[48][21] b[48][22] b[48][23] b[48][24] b[48][25] b[48][26] b[48][27] b[48][28] b[48][29] b[48][30] b[48][31] b[48][32] b[48][33] b[48][34] b[48][35] b[48][36] b[48][37] b[48][38] b[48][39] b[48][40] b[48][41] b[48][42] b[48][43] b[48][44] b[48][45] b[48][46] b[48][47] b[48][48] b[48][49] b[49][0] b[49][1] b[49][2] b[49][3] b[49][4] b[49][5] b[49][6] b[49][7] b[49][8] b[49][9] b[49][10] b[49][11] b[49][12] b[49][13] b[49][14] b[49][15] b[49][16] b[49][17] b[49][18] b[49][19] b[49][20] b[49][21] b[49][22] b[49][23] b[49][24] b[49][25] b[49][26] b[49][27] b[49][28] b[49][29] b[49][30] b[49][31] b[49][32] b[49][33] b[49][34] b[49][35] b[49][36] b[49][37] b[49][38] b[49][39] b[49][40] b[49][41] b[49][42] b[49][43] b[49][44] b[49][45] b[49][46] b[49][47] b[49][48] b[49][49] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[0][46] w[0][47] w[0][48] w[0][49] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[1][46] w[1][47] w[1][48] w[1][49] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[2][46] w[2][47] w[2][48] w[2][49] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[3][46] w[3][47] w[3][48] w[3][49] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[4][46] w[4][47] w[4][48] w[4][49] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[5][46] w[5][47] w[5][48] w[5][49] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[6][46] w[6][47] w[6][48] w[6][49] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[7][46] w[7][47] w[7][48] w[7][49] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[8][46] w[8][47] w[8][48] w[8][49] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[9][46] w[9][47] w[9][48] w[9][49] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[10][46] w[10][47] w[10][48] w[10][49] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[11][46] w[11][47] w[11][48] w[11][49] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[12][46] w[12][47] w[12][48] w[12][49] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[13][46] w[13][47] w[13][48] w[13][49] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[14][46] w[14][47] w[14][48] w[14][49] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[15][46] w[15][47] w[15][48] w[15][49] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[16][46] w[16][47] w[16][48] w[16][49] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[17][46] w[17][47] w[17][48] w[17][49] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[18][46] w[18][47] w[18][48] w[18][49] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[19][46] w[19][47] w[19][48] w[19][49] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[20][46] w[20][47] w[20][48] w[20][49] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[21][46] w[21][47] w[21][48] w[21][49] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[22][46] w[22][47] w[22][48] w[22][49] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[23][46] w[23][47] w[23][48] w[23][49] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[24][46] w[24][47] w[24][48] w[24][49] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[25][46] w[25][47] w[25][48] w[25][49] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[26][46] w[26][47] w[26][48] w[26][49] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[27][46] w[27][47] w[27][48] w[27][49] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[28][46] w[28][47] w[28][48] w[28][49] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[29][46] w[29][47] w[29][48] w[29][49] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[30][46] w[30][47] w[30][48] w[30][49] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[31][46] w[31][47] w[31][48] w[31][49] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[32][46] w[32][47] w[32][48] w[32][49] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[33][46] w[33][47] w[33][48] w[33][49] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[34][46] w[34][47] w[34][48] w[34][49] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[35][46] w[35][47] w[35][48] w[35][49] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[36][46] w[36][47] w[36][48] w[36][49] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[37][46] w[37][47] w[37][48] w[37][49] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[38][46] w[38][47] w[38][48] w[38][49] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[39][46] w[39][47] w[39][48] w[39][49] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[40][46] w[40][47] w[40][48] w[40][49] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[41][46] w[41][47] w[41][48] w[41][49] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[42][46] w[42][47] w[42][48] w[42][49] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[43][46] w[43][47] w[43][48] w[43][49] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[44][46] w[44][47] w[44][48] w[44][49] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] w[45][46] w[45][47] w[45][48] w[45][49] w[46][0] w[46][1] w[46][2] w[46][3] w[46][4] w[46][5] w[46][6] w[46][7] w[46][8] w[46][9] w[46][10] w[46][11] w[46][12] w[46][13] w[46][14] w[46][15] w[46][16] w[46][17] w[46][18] w[46][19] w[46][20] w[46][21] w[46][22] w[46][23] w[46][24] w[46][25] w[46][26] w[46][27] w[46][28] w[46][29] w[46][30] w[46][31] w[46][32] w[46][33] w[46][34] w[46][35] w[46][36] w[46][37] w[46][38] w[46][39] w[46][40] w[46][41] w[46][42] w[46][43] w[46][44] w[46][45] w[46][46] w[46][47] w[46][48] w[46][49] w[47][0] w[47][1] w[47][2] w[47][3] w[47][4] w[47][5] w[47][6] w[47][7] w[47][8] w[47][9] w[47][10] w[47][11] w[47][12] w[47][13] w[47][14] w[47][15] w[47][16] w[47][17] w[47][18] w[47][19] w[47][20] w[47][21] w[47][22] w[47][23] w[47][24] w[47][25] w[47][26] w[47][27] w[47][28] w[47][29] w[47][30] w[47][31] w[47][32] w[47][33] w[47][34] w[47][35] w[47][36] w[47][37] w[47][38] w[47][39] w[47][40] w[47][41] w[47][42] w[47][43] w[47][44] w[47][45] w[47][46] w[47][47] w[47][48] w[47][49] w[48][0] w[48][1] w[48][2] w[48][3] w[48][4] w[48][5] w[48][6] w[48][7] w[48][8] w[48][9] w[48][10] w[48][11] w[48][12] w[48][13] w[48][14] w[48][15] w[48][16] w[48][17] w[48][18] w[48][19] w[48][20] w[48][21] w[48][22] w[48][23] w[48][24] w[48][25] w[48][26] w[48][27] w[48][28] w[48][29] w[48][30] w[48][31] w[48][32] w[48][33] w[48][34] w[48][35] w[48][36] w[48][37] w[48][38] w[48][39] w[48][40] w[48][41] w[48][42] w[48][43] w[48][44] w[48][45] w[48][46] w[48][47] w[48][48] w[48][49] w[49][0] w[49][1] w[49][2] w[49][3] w[49][4] w[49][5] w[49][6] w[49][7] w[49][8] w[49][9] w[49][10] w[49][11] w[49][12] w[49][13] w[49][14] w[49][15] w[49][16] w[49][17] w[49][18] w[49][19] w[49][20] w[49][21] w[49][22] w[49][23] w[49][24] w[49][25] w[49][26] w[49][27] w[49][28] w[49][29] w[49][30] w[49][31] w[49][32] w[49][33] w[49][34] w[49][35] w[49][36] w[49][37] w[49][38] w[49][39] w[49][40] w[49][41] w[49][42] w[49][43] w[49][44] w[49][45] w[49][46] w[49][47] w[49][48] w[49][49] </list>
2520.04/2504.31	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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 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 1 0 1 1 1 1 1 1 1 1 1 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 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 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 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 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 </values>
2520.04/2504.31	v </instantiation>
2520.04/2504.31	c Unexpected resolution interruption!

OK	179

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 (10155 MiB free)
  memory of node 1: 16384 MiB (7254 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306538-1534118002/watcher-4306538-1534118002 -o /tmp/evaluation-result-4306538-1534118002/solver-4306538-1534118002 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534097780-4445 --watchdog 2580 HOME/xcsp3-exec -seed 1188138951 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306538-1534118002.xml 

running on 4 cores: 1,3,5,7

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=7274, runsolver pid=7271

[startup+0.100139 s]*
/proc/loadavg: 1.89 1.87 1.85 4/219 7290
/proc/meminfo: memFree=17811848/32770624 swapFree=67108796/67108860
[pid=7274] ppid=7271 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7274/stat : 7274 (xcsp3-exec) S 7271 7274 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229363378 115843072 364 33554432000 4194304 5098028 140729479563904 140729479562008 140604324037244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19644416 140729479566394 140729479566596 140729479566596 140729479569354 0
/proc/7274/statm: 28282 364 306 221 0 87 0
[pid=7276] ppid=7274 vsize=14082940 memory=28784 CPUtime=0.12 cores=1,3,5,7
/proc/7276/stat : 7276 (java) S 7274 7274 4413 0 -1 1077944320 5517 0 0 0 11 1 0 0 20 0 15 0 229363378 14420930560 7196 33554432000 4194304 4196468 140735281038432 140735281020976 140673528913655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
/proc/7276/statm: 3520735 7196 3041 1 0 3483012 0
[pid=7276/tid=7277] ppid=7274 vsize=14082940 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/7276/task/7277/stat : 7277 (java) R 7274 7274 4413 0 -1 4202560 3507 0 0 0 8 0 0 0 20 0 15 0 229363378 14420930560 7196 33554432000 4194304 4196468 140735281038432 140673533146016 140673528925590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7278] ppid=7274 vsize=14082940 memory=3472468063622358224 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7278/stat : 7278 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363379 14420930560 7196 33554432000 4194304 4196468 140735281038432 140673125194384 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7279] ppid=7274 vsize=14082940 memory=139934727206528 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7279/stat : 7279 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363379 14420930560 7196 33554432000 4194304 4196468 140735281038432 140673124141584 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7280] ppid=7274 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7280/stat : 7280 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363379 14420930560 7196 33554432000 4194304 4196468 140735281038432 140673123088784 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7281] ppid=7274 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7281/stat : 7281 (java) S 7274 7274 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229363379 14420930560 7196 33554432000 4194304 4196468 140735281038432 140673122035984 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7282] ppid=7274 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7282/stat : 7282 (java) S 7274 7274 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229363381 14420930560 7196 33554432000 4194304 4196468 140735281038432 140673070320496 140673528924802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7283] ppid=7274 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7283/stat : 7283 (java) S 7274 7274 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229363381 14420930560 7196 33554432000 4194304 4196468 140735281038432 140673069266464 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7284] ppid=7274 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7284/stat : 7284 (java) S 7274 7274 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229363381 14420930560 7196 33554432000 4194304 4196468 140735281038432 140673068213616 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7285] ppid=7274 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7285/stat : 7285 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14420930560 7196 33554432000 4194304 4196468 140735281038432 140673067161936 140673528932251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7286] ppid=7274 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7286/stat : 7286 (java) S 7274 7274 4413 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 229363384 14420930560 7196 33554432000 4194304 4196468 140735281038432 140673066109296 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7287] ppid=7274 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7287/stat : 7287 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14420930560 7196 33554432000 4194304 4196468 140735281038432 140673065056496 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7288] ppid=7274 vsize=14082940 memory=139934727206528 CPUtime=0.01 cores=1,3,5,7
/proc/7276/task/7288/stat : 7288 (java) R 7274 7274 4413 0 -1 4202560 290 0 0 0 1 0 0 0 20 0 15 0 229363384 14420930560 7196 33554432000 4194304 4196468 140735281038432 140672996730992 140673512994142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7289] ppid=7274 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7289/stat : 7289 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14420930560 7196 33554432000 4194304 4196468 140735281038432 140672995678432 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7290] ppid=7274 vsize=14082940 memory=139934727206528 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7290/stat : 7290 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363384 14420930560 7196 33554432000 4194304 4196468 140735281038432 140672994626736 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30240 KiB

[startup+0.210708 s]*
/proc/loadavg: 1.89 1.87 1.85 5/219 7290
/proc/meminfo: memFree=17799816/32770624 swapFree=67108796/67108860
[pid=7274] ppid=7271 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7274/stat : 7274 (xcsp3-exec) S 7271 7274 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229363378 115843072 364 33554432000 4194304 5098028 140729479563904 140729479562008 140604324037244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19644416 140729479566394 140729479566596 140729479566596 140729479569354 0
/proc/7274/statm: 28282 364 306 221 0 87 0
[pid=7276] ppid=7274 vsize=14082940 memory=41560 CPUtime=0.34 cores=1,3,5,7
/proc/7276/stat : 7276 (java) S 7274 7274 4413 0 -1 1077944320 8368 0 0 0 32 2 0 0 20 0 15 0 229363378 14420930560 10390 33554432000 4194304 4196468 140735281038432 140735281020976 140673528913655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
/proc/7276/statm: 3520735 10390 3228 1 0 3483012 0
[pid=7276/tid=7277] ppid=7274 vsize=14082940 memory=4788064525053108374 CPUtime=0.19 cores=1,3,5,7
/proc/7276/task/7277/stat : 7277 (java) D 7274 7274 4413 0 -1 1077944384 5479 0 0 0 18 1 0 0 20 0 15 0 229363378 14420930560 10454 33554432000 4194304 4196468 140735281038432 140673533137824 140673521592877 0 4 0 16800975 18446744072101629476 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7278] ppid=7274 vsize=14082940 memory=3472468063622358224 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7278/stat : 7278 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363379 14420930560 10454 33554432000 4194304 4196468 140735281038432 140673125194384 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7279] ppid=7274 vsize=14082940 memory=139934727206528 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7279/stat : 7279 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363379 14420930560 10454 33554432000 4194304 4196468 140735281038432 140673124141584 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7280] ppid=7274 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7280/stat : 7280 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363379 14420930560 10454 33554432000 4194304 4196468 140735281038432 140673123088784 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7281] ppid=7274 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7281/stat : 7281 (java) S 7274 7274 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229363379 14420930560 10454 33554432000 4194304 4196468 140735281038432 140673122035984 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7282] ppid=7274 vsize=14082940 memory=139934727206528 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7282/stat : 7282 (java) S 7274 7274 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229363381 14420930560 10454 33554432000 4194304 4196468 140735281038432 140673070320496 140673528924802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7283] ppid=7274 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7283/stat : 7283 (java) S 7274 7274 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229363381 14420930560 10454 33554432000 4194304 4196468 140735281038432 140673069266464 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7284] ppid=7274 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7284/stat : 7284 (java) S 7274 7274 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229363381 14420930560 10454 33554432000 4194304 4196468 140735281038432 140673068213616 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7285] ppid=7274 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7285/stat : 7285 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14420930560 10454 33554432000 4194304 4196468 140735281038432 140673067161936 140673528932251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7286] ppid=7274 vsize=14082972 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7276/task/7286/stat : 7286 (java) S 7274 7274 4413 0 -1 1077944384 528 0 0 0 3 0 0 0 20 0 15 0 229363384 14420963328 10454 33554432000 4194304 4196468 140735281038432 140673066109296 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7287] ppid=7274 vsize=14082972 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7276/task/7287/stat : 7287 (java) S 7274 7274 4413 0 -1 1077944384 271 0 0 0 2 0 0 0 20 0 15 0 229363384 14420963328 10454 33554432000 4194304 4196468 140735281038432 140673065056496 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7288] ppid=7274 vsize=14082972 memory=139934727206528 CPUtime=0.08 cores=1,3,5,7
/proc/7276/task/7288/stat : 7288 (java) S 7274 7274 4413 0 -1 1077944384 796 0 0 0 8 0 0 0 20 0 15 0 229363384 14420963328 10454 33554432000 4194304 4196468 140735281038432 140672996730992 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7289] ppid=7274 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7289/stat : 7289 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14420930560 10459 33554432000 4194304 4196468 140735281038432 140672995678432 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7290] ppid=7274 vsize=14082940 memory=139934727206528 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7290/stat : 7290 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363384 14420930560 10459 33554432000 4194304 4196468 140735281038432 140672994626736 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 43016 KiB

[startup+0.310646 s]*
/proc/loadavg: 1.89 1.87 1.85 3/219 7290
/proc/meminfo: memFree=17793116/32770624 swapFree=67108796/67108860
[pid=7274] ppid=7271 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7274/stat : 7274 (xcsp3-exec) S 7271 7274 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229363378 115843072 364 33554432000 4194304 5098028 140729479563904 140729479562008 140604324037244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19644416 140729479566394 140729479566596 140729479566596 140729479569354 0
/proc/7274/statm: 28282 364 306 221 0 87 0
[pid=7276] ppid=7274 vsize=14087196 memory=48132 CPUtime=0.52 cores=1,3,5,7
/proc/7276/stat : 7276 (java) S 7274 7274 4413 0 -1 1077944320 9179 0 0 0 49 3 0 0 20 0 15 0 229363378 14425288704 12033 33554432000 4194304 4196468 140735281038432 140735281020976 140673528913655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
/proc/7276/statm: 3521799 12033 3257 1 0 3483012 0
[pid=7276/tid=7277] ppid=7274 vsize=14087196 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/7276/task/7277/stat : 7277 (java) R 7274 7274 4413 0 -1 4202560 6195 0 0 0 28 1 0 0 20 0 15 0 229363378 14425288704 12098 33554432000 4194304 4196468 140735281038432 140673533144768 140673528935581 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7278] ppid=7274 vsize=14087196 memory=3472468063622358224 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7278/stat : 7278 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363379 14425288704 12098 33554432000 4194304 4196468 140735281038432 140673125194384 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7279] ppid=7274 vsize=14087196 memory=139934727206528 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7279/stat : 7279 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363379 14425288704 12098 33554432000 4194304 4196468 140735281038432 140673124141584 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7280] ppid=7274 vsize=14087196 memory=13 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7280/stat : 7280 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363379 14425288704 12098 33554432000 4194304 4196468 140735281038432 140673123088784 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7281] ppid=7274 vsize=14087196 memory=139934598047775 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7281/stat : 7281 (java) S 7274 7274 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229363379 14425288704 12098 33554432000 4194304 4196468 140735281038432 140673122035984 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7282] ppid=7274 vsize=14087196 memory=279869196056320 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7282/stat : 7282 (java) S 7274 7274 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229363381 14425288704 12098 33554432000 4194304 4196468 140735281038432 140673070320496 140673528924802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7283] ppid=7274 vsize=14087196 memory=139934598024719 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7283/stat : 7283 (java) S 7274 7274 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229363381 14425288704 12098 33554432000 4194304 4196468 140735281038432 140673069266464 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7284] ppid=7274 vsize=14087196 memory=279869325240416 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7284/stat : 7284 (java) S 7274 7274 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229363381 14425288704 12098 33554432000 4194304 4196468 140735281038432 140673068213616 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7285] ppid=7274 vsize=14087196 memory=139934598029327 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7285/stat : 7285 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14425288704 12098 33554432000 4194304 4196468 140735281038432 140673067161936 140673528932251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7286] ppid=7274 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7276/task/7286/stat : 7286 (java) S 7274 7274 4413 0 -1 1077944384 534 0 0 0 4 0 0 0 20 0 15 0 229363384 14425288704 12098 33554432000 4194304 4196468 140735281038432 140673066109296 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7287] ppid=7274 vsize=14087196 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/7276/task/7287/stat : 7287 (java) S 7274 7274 4413 0 -1 1077944384 280 0 0 0 4 0 0 0 20 0 15 0 229363384 14425288704 12098 33554432000 4194304 4196468 140735281038432 140673065056496 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7288] ppid=7274 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7276/task/7288/stat : 7288 (java) S 7274 7274 4413 0 -1 1077944384 879 0 0 0 12 0 0 0 20 0 15 0 229363384 14425288704 12098 33554432000 4194304 4196468 140735281038432 140672996730992 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7289] ppid=7274 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7289/stat : 7289 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14425288704 12098 33554432000 4194304 4196468 140735281038432 140672995678432 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7290] ppid=7274 vsize=14087196 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7290/stat : 7290 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363384 14425288704 12098 33554432000 4194304 4196468 140735281038432 140672994626736 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49588 KiB

[startup+0.700942 s]
/proc/loadavg: 1.89 1.87 1.85 5/219 7290
/proc/meminfo: memFree=17756448/32770624 swapFree=67108796/67108860
[pid=7274] ppid=7271 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7274/stat : 7274 (xcsp3-exec) S 7271 7274 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229363378 115843072 364 33554432000 4194304 5098028 140729479563904 140729479562008 140604324037244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19644416 140729479566394 140729479566596 140729479566596 140729479569354 0
/proc/7274/statm: 28282 364 306 221 0 87 0
[pid=7276] ppid=7274 vsize=14087196 memory=172984 CPUtime=1.39 cores=1,3,5,7
/proc/7276/stat : 7276 (java) S 7274 7274 4413 0 -1 1077944320 11726 0 0 0 133 6 0 0 20 0 15 0 229363378 14425288704 43246 33554432000 4194304 4196468 140735281038432 140735281020976 140673528913655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
/proc/7276/statm: 3521799 43246 3304 1 0 3483012 0
[pid=7276/tid=7277] ppid=7274 vsize=14087196 memory=6154820267226784105 CPUtime=0.67 cores=1,3,5,7
/proc/7276/task/7277/stat : 7277 (java) R 7274 7274 4413 0 -1 4202560 6349 0 0 0 63 4 0 0 20 0 15 0 229363378 14425288704 43246 33554432000 4194304 4196468 140735281038432 140673533144288 140673528935581 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7278] ppid=7274 vsize=14087196 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7278/stat : 7278 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363379 14425288704 43246 33554432000 4194304 4196468 140735281038432 140673125194384 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7279] ppid=7274 vsize=14087196 memory=7228928657758113877 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7279/stat : 7279 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363379 14425288704 43246 33554432000 4194304 4196468 140735281038432 140673124141584 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7280] ppid=7274 vsize=14087196 memory=7747766295893256779 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7280/stat : 7280 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363379 14425288704 43246 33554432000 4194304 4196468 140735281038432 140673123088784 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7281] ppid=7274 vsize=14087196 memory=3054156605267021953 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7281/stat : 7281 (java) S 7274 7274 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229363379 14425288704 43246 33554432000 4194304 4196468 140735281038432 140673122035984 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7282] ppid=7274 vsize=14087196 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7282/stat : 7282 (java) S 7274 7274 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229363381 14425288704 43246 33554432000 4194304 4196468 140735281038432 140673070320496 140673528924802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7283] ppid=7274 vsize=14087196 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7283/stat : 7283 (java) S 7274 7274 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229363381 14425288704 43246 33554432000 4194304 4196468 140735281038432 140673069266464 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7284] ppid=7274 vsize=14087196 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7284/stat : 7284 (java) S 7274 7274 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229363381 14425288704 43246 33554432000 4194304 4196468 140735281038432 140673068213616 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7285] ppid=7274 vsize=14087196 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7285/stat : 7285 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14425288704 43246 33554432000 4194304 4196468 140735281038432 140673067161936 140673528932251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7286] ppid=7274 vsize=14087196 memory=62332 CPUtime=0.25 cores=1,3,5,7
/proc/7276/task/7286/stat : 7286 (java) S 7274 7274 4413 0 -1 1077944384 1430 0 0 0 25 0 0 0 20 0 15 0 229363384 14425288704 43246 33554432000 4194304 4196468 140735281038432 140673066109296 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7287] ppid=7274 vsize=14087196 memory=2056 CPUtime=0.26 cores=1,3,5,7
/proc/7276/task/7287/stat : 7287 (java) S 7274 7274 4413 0 -1 1077944384 1269 0 0 0 26 0 0 0 20 0 15 0 229363384 14425288704 43246 33554432000 4194304 4196468 140735281038432 140673065056496 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7288] ppid=7274 vsize=14087196 memory=932 CPUtime=0.18 cores=1,3,5,7
/proc/7276/task/7288/stat : 7288 (java) S 7274 7274 4413 0 -1 1077944384 1370 0 0 0 18 0 0 0 20 0 15 0 229363384 14425288704 43246 33554432000 4194304 4196468 140735281038432 140672996730992 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7289] ppid=7274 vsize=14087196 memory=7380063209972523600 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7289/stat : 7289 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14425288704 43246 33554432000 4194304 4196468 140735281038432 140672995678432 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7290] ppid=7274 vsize=14087196 memory=8025788831307884116 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7290/stat : 7290 (java) S 7274 7274 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229363384 14425288704 43246 33554432000 4194304 4196468 140735281038432 140672994626736 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 174440 KiB

[startup+1.50155 s]
/proc/loadavg: 1.89 1.87 1.85 3/219 7290
/proc/meminfo: memFree=17543272/32770624 swapFree=67108796/67108860
[pid=7274] ppid=7271 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7274/stat : 7274 (xcsp3-exec) S 7271 7274 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229363378 115843072 364 33554432000 4194304 5098028 140729479563904 140729479562008 140604324037244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19644416 140729479566394 140729479566596 140729479566596 140729479569354 0
/proc/7274/statm: 28282 364 306 221 0 87 0

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

/proc/7276/task/7284/stat : 7284 (java) S 7274 7274 4413 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 229363381 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673068213632 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7285] ppid=7274 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7285/stat : 7285 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673067161936 140673528932251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7286] ppid=7274 vsize=14089320 memory=3848 CPUtime=4.63 cores=1,3,5,7
/proc/7276/task/7286/stat : 7286 (java) S 7274 7274 4413 0 -1 1077944384 36698 0 0 0 457 6 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673066109296 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7287] ppid=7274 vsize=14089320 memory=2640 CPUtime=4.32 cores=1,3,5,7
/proc/7276/task/7287/stat : 7287 (java) S 7274 7274 4413 0 -1 1077944384 30825 0 0 0 428 4 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673065056496 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7288] ppid=7274 vsize=14089320 memory=1456 CPUtime=0.85 cores=1,3,5,7
/proc/7276/task/7288/stat : 7288 (java) S 7274 7274 4413 0 -1 1077944384 9052 0 0 0 82 3 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140672996730992 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7289] ppid=7274 vsize=14089320 memory=2757300 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7289/stat : 7289 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140672995678432 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7290] ppid=7274 vsize=14089320 memory=1456 CPUtime=1.52 cores=1,3,5,7
/proc/7276/task/7290/stat : 7290 (java) S 7274 7274 4413 0 -1 1077944384 3160 0 0 0 67 85 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140672994626736 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
Current children cumulated CPU time: 2458.01 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2758756 KiB

[startup+2502.3 s]
/proc/loadavg: 1.76 1.84 1.95 3/217 7547
/proc/meminfo: memFree=15194908/32770624 swapFree=67108796/67108860
[pid=7274] ppid=7271 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7274/stat : 7274 (xcsp3-exec) S 7271 7274 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229363378 115843072 364 33554432000 4194304 5098028 140729479563904 140729479562008 140604324037244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19644416 140729479566394 140729479566596 140729479566596 140729479569354 0
/proc/7274/statm: 28282 364 306 221 0 87 0
[pid=7276] ppid=7274 vsize=14089320 memory=2757300 CPUtime=2518.04 cores=1,3,5,7
/proc/7276/stat : 7276 (java) S 7274 7274 4413 0 -1 1077944320 167537 0 0 0 251572 232 0 0 20 0 15 0 229363378 14427463680 689325 33554432000 4194304 4196468 140735281038432 140735281020976 140673528913655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
/proc/7276/statm: 3522330 689325 3440 1 0 3483524 0
[pid=7276/tid=7277] ppid=7274 vsize=14089320 memory=2757300 CPUtime=2500.56 cores=1,3,5,7
/proc/7276/task/7277/stat : 7277 (java) R 7274 7274 4413 0 -1 4202560 75753 0 0 0 250018 38 0 0 20 0 15 0 229363378 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673533150336 140673156199300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7278] ppid=7274 vsize=14089320 memory=2757300 CPUtime=1.41 cores=1,3,5,7
/proc/7276/task/7278/stat : 7278 (java) S 7274 7274 4413 0 -1 1077944384 1320 0 0 0 116 25 0 0 20 0 15 0 229363379 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673125194384 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7279] ppid=7274 vsize=14089320 memory=1456 CPUtime=1.48 cores=1,3,5,7
/proc/7276/task/7279/stat : 7279 (java) S 7274 7274 4413 0 -1 1077944384 1927 0 0 0 124 24 0 0 20 0 15 0 229363379 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673124141584 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7280] ppid=7274 vsize=14089320 memory=2757300 CPUtime=1.48 cores=1,3,5,7
/proc/7276/task/7280/stat : 7280 (java) S 7274 7274 4413 0 -1 1077944384 2345 0 0 0 122 26 0 0 20 0 15 0 229363379 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673123088784 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7281] ppid=7274 vsize=14089320 memory=1244 CPUtime=1.51 cores=1,3,5,7
/proc/7276/task/7281/stat : 7281 (java) S 7274 7274 4413 0 -1 1077944384 1720 0 0 0 125 26 0 0 20 0 15 0 229363379 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673122035984 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7282] ppid=7274 vsize=14089320 memory=1456 CPUtime=0.15 cores=1,3,5,7
/proc/7276/task/7282/stat : 7282 (java) S 7274 7274 4413 0 -1 1077944384 3349 0 0 0 11 4 0 0 20 0 15 0 229363381 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673070320496 140673528924802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7283] ppid=7274 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7283/stat : 7283 (java) S 7274 7274 4413 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 229363381 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673069266528 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7284] ppid=7274 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7284/stat : 7284 (java) S 7274 7274 4413 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 229363381 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673068213632 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7285] ppid=7274 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7285/stat : 7285 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673067161936 140673528932251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7286] ppid=7274 vsize=14089320 memory=2757300 CPUtime=4.63 cores=1,3,5,7
/proc/7276/task/7286/stat : 7286 (java) S 7274 7274 4413 0 -1 1077944384 36701 0 0 0 457 6 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673066109296 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7287] ppid=7274 vsize=14089320 memory=1456 CPUtime=4.32 cores=1,3,5,7
/proc/7276/task/7287/stat : 7287 (java) S 7274 7274 4413 0 -1 1077944384 30833 0 0 0 428 4 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673065056496 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7288] ppid=7274 vsize=14089320 memory=1456 CPUtime=0.85 cores=1,3,5,7
/proc/7276/task/7288/stat : 7288 (java) S 7274 7274 4413 0 -1 1077944384 9056 0 0 0 82 3 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140672996730992 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7289] ppid=7274 vsize=14089320 memory=2757300 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7289/stat : 7289 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140672995678432 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7290] ppid=7274 vsize=14089320 memory=1456 CPUtime=1.56 cores=1,3,5,7
/proc/7276/task/7290/stat : 7290 (java) S 7274 7274 4413 0 -1 1077944384 3192 0 0 0 69 87 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140672994626736 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
Current children cumulated CPU time: 2518.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2758756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2504.3 s]
/proc/loadavg: 1.76 1.84 1.95 3/217 7547
/proc/meminfo: memFree=15194908/32770624 swapFree=67108796/67108860
[pid=7274] ppid=7271 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7274/stat : 7274 (xcsp3-exec) S 7271 7274 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229363378 115843072 364 33554432000 4194304 5098028 140729479563904 140729479562008 140604324037244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19644416 140729479566394 140729479566596 140729479566596 140729479569354 0
/proc/7274/statm: 28282 364 306 221 0 87 0
[pid=7276] ppid=7274 vsize=14089320 memory=2757300 CPUtime=2520.04 cores=1,3,5,7
/proc/7276/stat : 7276 (java) S 7274 7274 4413 0 -1 1077944320 167546 0 0 0 251772 232 0 0 20 0 15 0 229363378 14427463680 689325 33554432000 4194304 4196468 140735281038432 140735281020976 140673528913655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
/proc/7276/statm: 3522330 689325 3440 1 0 3483524 0
[pid=7276/tid=7277] ppid=7274 vsize=14089320 memory=2757300 CPUtime=2502.56 cores=1,3,5,7
/proc/7276/task/7277/stat : 7277 (java) R 7274 7274 4413 0 -1 4202560 75756 0 0 0 250218 38 0 0 20 0 15 0 229363378 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673533150336 140673156198980 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7278] ppid=7274 vsize=14089320 memory=2757300 CPUtime=1.41 cores=1,3,5,7
/proc/7276/task/7278/stat : 7278 (java) S 7274 7274 4413 0 -1 1077944384 1320 0 0 0 116 25 0 0 20 0 15 0 229363379 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673125194384 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7279] ppid=7274 vsize=14089320 memory=1456 CPUtime=1.48 cores=1,3,5,7
/proc/7276/task/7279/stat : 7279 (java) S 7274 7274 4413 0 -1 1077944384 1927 0 0 0 124 24 0 0 20 0 15 0 229363379 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673124141584 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7280] ppid=7274 vsize=14089320 memory=1456 CPUtime=1.48 cores=1,3,5,7
/proc/7276/task/7280/stat : 7280 (java) S 7274 7274 4413 0 -1 1077944384 2345 0 0 0 122 26 0 0 20 0 15 0 229363379 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673123088784 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7281] ppid=7274 vsize=14089320 memory=1456 CPUtime=1.51 cores=1,3,5,7
/proc/7276/task/7281/stat : 7281 (java) S 7274 7274 4413 0 -1 1077944384 1720 0 0 0 125 26 0 0 20 0 15 0 229363379 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673122035984 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7282] ppid=7274 vsize=14089320 memory=1456 CPUtime=0.15 cores=1,3,5,7
/proc/7276/task/7282/stat : 7282 (java) S 7274 7274 4413 0 -1 1077944384 3349 0 0 0 11 4 0 0 20 0 15 0 229363381 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673070320496 140673528924802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7283] ppid=7274 vsize=14089320 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7283/stat : 7283 (java) S 7274 7274 4413 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 229363381 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673069266528 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7284] ppid=7274 vsize=14089320 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7284/stat : 7284 (java) S 7274 7274 4413 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 229363381 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673068213632 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7285] ppid=7274 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7285/stat : 7285 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673067161936 140673528932251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7286] ppid=7274 vsize=14089320 memory=1456 CPUtime=4.63 cores=1,3,5,7
/proc/7276/task/7286/stat : 7286 (java) S 7274 7274 4413 0 -1 1077944384 36703 0 0 0 457 6 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673066109296 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7287] ppid=7274 vsize=14089320 memory=2757300 CPUtime=4.32 cores=1,3,5,7
/proc/7276/task/7287/stat : 7287 (java) S 7274 7274 4413 0 -1 1077944384 30835 0 0 0 428 4 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673065056496 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7288] ppid=7274 vsize=14089320 memory=1456 CPUtime=0.85 cores=1,3,5,7
/proc/7276/task/7288/stat : 7288 (java) S 7274 7274 4413 0 -1 1077944384 9058 0 0 0 82 3 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140672996730992 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7289] ppid=7274 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7289/stat : 7289 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140672995678432 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7290] ppid=7274 vsize=14089320 memory=2757300 CPUtime=1.56 cores=1,3,5,7
/proc/7276/task/7290/stat : 7290 (java) S 7274 7274 4413 0 -1 1077944384 3192 0 0 0 69 87 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140672994626736 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2758756 KiB

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

[startup+2504.31 s]
# the end of solver process 7274 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002055 s, system=0.000725 s

[startup+2504.33 s]
# the end of solver process 7276 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.74 s, system=2.34607 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+2504.3 s]
/proc/loadavg: 1.76 1.84 1.95 3/217 7547
/proc/meminfo: memFree=15194908/32770624 swapFree=67108796/67108860
[pid=7274] ppid=7271 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7274/stat : 7274 (xcsp3-exec) S 7271 7274 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229363378 115843072 364 33554432000 4194304 5098028 140729479563904 140729479562008 140604324037244 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19644416 140729479566394 140729479566596 140729479566596 140729479569354 0
/proc/7274/statm: 28282 364 306 221 0 87 0
[pid=7276] ppid=7274 vsize=14089320 memory=2757300 CPUtime=2520.04 cores=1,3,5,7
/proc/7276/stat : 7276 (java) S 7274 7274 4413 0 -1 1077944320 167546 0 0 0 251772 232 0 0 20 0 15 0 229363378 14427463680 689325 33554432000 4194304 4196468 140735281038432 140735281020976 140673528913655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
/proc/7276/statm: 3522330 689325 3440 1 0 3483524 0
[pid=7276/tid=7277] ppid=7274 vsize=14089320 memory=2757300 CPUtime=2502.56 cores=1,3,5,7
/proc/7276/task/7277/stat : 7277 (java) R 7274 7274 4413 0 -1 4202560 75756 0 0 0 250218 38 0 0 20 0 15 0 229363378 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673533150336 140673156198980 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7278] ppid=7274 vsize=14089320 memory=2757300 CPUtime=1.41 cores=1,3,5,7
/proc/7276/task/7278/stat : 7278 (java) S 7274 7274 4413 0 -1 1077944384 1320 0 0 0 116 25 0 0 20 0 15 0 229363379 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673125194384 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7279] ppid=7274 vsize=14089320 memory=1456 CPUtime=1.48 cores=1,3,5,7
/proc/7276/task/7279/stat : 7279 (java) S 7274 7274 4413 0 -1 1077944384 1927 0 0 0 124 24 0 0 20 0 15 0 229363379 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673124141584 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7280] ppid=7274 vsize=14089320 memory=1456 CPUtime=1.48 cores=1,3,5,7
/proc/7276/task/7280/stat : 7280 (java) S 7274 7274 4413 0 -1 1077944384 2345 0 0 0 122 26 0 0 20 0 15 0 229363379 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673123088784 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7281] ppid=7274 vsize=14089320 memory=1456 CPUtime=1.51 cores=1,3,5,7
/proc/7276/task/7281/stat : 7281 (java) S 7274 7274 4413 0 -1 1077944384 1720 0 0 0 125 26 0 0 20 0 15 0 229363379 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673122035984 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7282] ppid=7274 vsize=14089320 memory=1456 CPUtime=0.15 cores=1,3,5,7
/proc/7276/task/7282/stat : 7282 (java) S 7274 7274 4413 0 -1 1077944384 3349 0 0 0 11 4 0 0 20 0 15 0 229363381 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673070320496 140673528924802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7283] ppid=7274 vsize=14089320 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7283/stat : 7283 (java) S 7274 7274 4413 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 229363381 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673069266528 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7284] ppid=7274 vsize=14089320 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7284/stat : 7284 (java) S 7274 7274 4413 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 229363381 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673068213632 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7285] ppid=7274 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7285/stat : 7285 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673067161936 140673528932251 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7286] ppid=7274 vsize=14089320 memory=1456 CPUtime=4.63 cores=1,3,5,7
/proc/7276/task/7286/stat : 7286 (java) S 7274 7274 4413 0 -1 1077944384 36703 0 0 0 457 6 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673066109296 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7287] ppid=7274 vsize=14089320 memory=2757300 CPUtime=4.32 cores=1,3,5,7
/proc/7276/task/7287/stat : 7287 (java) S 7274 7274 4413 0 -1 1077944384 30835 0 0 0 428 4 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140673065056496 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7288] ppid=7274 vsize=14089320 memory=1456 CPUtime=0.85 cores=1,3,5,7
/proc/7276/task/7288/stat : 7288 (java) S 7274 7274 4413 0 -1 1077944384 9058 0 0 0 82 3 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140672996730992 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7289] ppid=7274 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7276/task/7289/stat : 7289 (java) S 7274 7274 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140672995678432 140673528923861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
[pid=7276/tid=7290] ppid=7274 vsize=14089320 memory=2757300 CPUtime=1.56 cores=1,3,5,7
/proc/7276/task/7290/stat : 7290 (java) S 7274 7274 4413 0 -1 1077944384 3192 0 0 0 69 87 0 0 20 0 15 0 229363384 14427463680 689325 33554432000 4194304 4196468 140735281038432 140672994626736 140673528924802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140735281042566 140735281042737 140735281042737 140735281045455 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2758756 KiB

Child status: 143
Real time (s): 2504.33
CPU time (s): 2520.09
CPU user time (s): 2517.74
CPU system time (s): 2.34607
CPU usage (%): 100.629
Max. virtual memory (cumulated for all children) (KiB): 14204444
Max. memory (cumulated for all children) (KiB): 2777048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.74
system time used= 2.34607
maximum resident set size= 2775592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58343
involuntary context switches= 816


# summary of solver processes directly reported to runsolver:
#   pid: 7274,7276
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2517.74
#   total CPU system time (s): 2.34607

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8839 second user time and 21.8682 second system time

The end

Begin job on node138 at 2018-08-13 01:53:22
IDJOB=4306538
IDBENCH=141493
IDSOLVER=2787
FILE ID=node138/4306538-1534118002
RUNJOBID= node138-1534097780-4445
PBS_JOBID= 21037001
Free space on /tmp= 24400 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-50_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4306538-1534118002/watcher-4306538-1534118002 -o /tmp/evaluation-result-4306538-1534118002/solver-4306538-1534118002 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534097780-4445 --watchdog 2580  HOME/xcsp3-exec -seed 1188138951 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306538-1534118002.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 65d9088e6e3c6b500cf18d234bd8e6c7
RANDOM SEED=1188138951

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/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	: 4
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.71
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 4
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.71
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 4
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.71
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 4
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.71
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        17828552 kB
MemAvailable:   31216872 kB
Buffers:          176540 kB
Cached:         13285632 kB
SwapCached:           12 kB
Active:          7397324 kB
Inactive:        6807932 kB
Active(anon):     685424 kB
Inactive(anon):   109752 kB
Active(file):    6711900 kB
Inactive(file):  6698180 kB
Unevictable:        7276 kB
Mlocked:            7276 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             38504 kB
Writeback:             0 kB
AnonPages:        764328 kB
Mapped:            63820 kB
Shmem:             49740 kB
Slab:             434332 kB
SReclaimable:     406700 kB
SUnreclaim:        27632 kB
KernelStack:        3840 kB
PageTables:         6572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2250496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    647168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 24380 MiB
End job on node138 at 2018-08-13 02:35:07