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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT (TO)	710	2520.0901	2512.71

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282088-1503105257.xml"  -tl '2520s' -p 1 -x 0
0.12/0.25	c [HOME/instance-4282088-1503105257.xml, -tl, 2520s, -p, 1, -x, 0]
0.12/0.31	c simple solver
0.32/0.38	c parse instance...
2.89/1.47	c solve instance...
651.37/646.31	o 663 
651.37/646.35	o 664 
651.92/646.74	o 665 
652.53/647.25	o 666 
761.47/755.98	o 707 
761.77/756.21	o 710 
2520.06/2512.70	s SATISFIABLE
2520.06/2512.70	v <instantiation>
2520.06/2512.70	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] z </list>
2520.06/2512.70	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 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 1 1 1 0 0 0 1 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 0 1 0 1 1 1 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 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 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 1 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 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 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 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 1 1 1 1 0 0 1 1 0 1 2 1 0 1 1 2 1 1 2 2 1 1 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 0 1 1 0 1 0 2 2 2 2 0 0 0 1 2 1 1 2 1 1 0 1 1 1 0 1 2 1 0 1 0 0 0 0 1 0 1 2 0 0 1 1 0 1 0 0 0 1 1 2 1 1 1 1 1 1 2 0 1 2 1 1 2 2 1 0 0 0 0 1 0 0 0 0 0 1 0 0 2 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 2 2 1 1 1 2 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 1 1 0 2 1 1 1 0 1 0 1 0 1 1 2 2 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 1 1 2 2 0 0 0 0 0 1 1 1 2 1 1 2 1 0 1 0 0 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 2 2 1 2 2 2 1 1 1 0 1 1 2 2 1 2 2 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 0 1 0 2 1 1 2 0 0 0 1 0 0 1 1 2 2 0 0 0 0 1 0 0 0 0 1 0 0 0 2 2 1 2 1 1 0 0 0 0 0 1 0 1 0 0 2 1 0 1 0 0 0 0 0 0 0 0 0 1 2 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 2 2 2 2 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 1 1 2 1 1 0 1 1 2 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 2 1 0 1 0 1 0 1 2 2 1 1 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 2 0 1 0 0 0 1 0 0 0 2 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 1 0 2 1 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 2 0 0 0 0 2 0 2 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 2 0 0 0 0 2 1 1 0 1 1 1 0 1 0 0 0 0 0 1 1 1 0 0 2 1 1 0 0 0 1 1 2 1 0 1 0 1 0 0 0 0 0 0 0 0 2 1 1 2 0 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 1 1 2 0 1 0 0 1 2 2 1 1 0 1 0 0 0 0 0 1 0 0 1 1 2 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 2 1 1 1 2 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 2 2 1 1 2 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 1 0 0 0 1 0 0 0 1 1 2 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 2 1 0 1 0 0 0 0 1 0 1 1 2 2 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 2 2 1 0 1 0 0 0 0 0 0 1 1 2 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 2 2 2 1 1 0 0 0 0 1 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 2 1 1 1 1 0 0 0 0 0 1 1 2 0 0 0 1 0 1 0 0 0 1 0 0 2 2 2 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 2 1 1 2 0 0 2 0 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 2 2 1 1 2 2 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 2 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 2 2 2 1 1 2 2 2 1 2 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 2 2 1 1 1 1 2 2 1 1 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 2 1 1 2 0 0 0 1 0 1 0 0 0 2 1 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 1 1 1 0 0 0 0 1 0 0 2 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 2 0 0 2 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 2 2 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 2 2 2 1 1 2 1 1 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 1 2 2 2 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 2 2 1 1 2 1 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 2 2 2 1 0 0 0 0 0 0 0 0 1 2 2 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 2 2 1 0 1 0 1 0 1 0 0 1 2 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 1 1 0 0 2 2 1 1 1 2 1 0 0 1 0 2 0 1 0 1 1 2 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 1 1 2 1 1 2 2 1 1 0 1 2 1 1 2 0 0 2 2 0 0 1 1 1 1 0 0 2 2 0 0 0 0 0 1 0 1 0 1 2 1 1 2 2 1 1 2 2 1 1 2 2 2 1 2 2 2 2 0 1 0 2 2 1 1 0 1 2 2 1 0 1 1 1 1 0 0 0 1 0 1 0 1 2 2 2 2 2 2 2 2 2 2 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 26 64 100 122 145 175 209 231 252 273 296 318 332 347 366 392 418 439 452 462 470 478 487 508 530 547 562 584 600 623 646 670 695 721 742 755 772 802 830 847 868 897 941 998 1030 710 </values>
2520.06/2512.70	v </instantiation>
2520.06/2512.70	c Unexpected resolution interruption!

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282088-1503105257/watcher-4282088-1503105257 -o /tmp/evaluation-result-4282088-1503105257/solver-4282088-1503105257 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18172 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1472327161 HOME/instance-4282088-1503105257.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=19413, runsolver pid=19410

[startup+0.100139 s]*
/proc/loadavg: 1.64 1.64 1.65 3/206 19421
/proc/meminfo: memFree=31557728/32770624 swapFree=67108860/67108860
[pid=19413] ppid=19410 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19413/stat : 19413 (xcsp3-exec) S 19410 19413 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 8932763 9740288 345 18446744073709551615 4194304 5098028 140722097392080 140722097390184 139994880897660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11915264 140722097398137 140722097398342 140722097398342 140722097401835 0
/proc/19413/statm: 2378 345 289 221 0 87 0
[pid=19415] ppid=19413 vsize=13574484 memory=16936 CPUtime=0.02 cores=1,3,5,7
/proc/19415/stat : 19415 (java) S 19413 19413 18108 0 -1 1077944320 4048 0 0 0 2 0 0 0 20 0 9 0 8932771 13900271616 4234 18446744073709551615 4194304 4196468 140721056837696 140721056820240 139706568072951 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
/proc/19415/statm: 3393621 4234 2093 1 0 3383118 0
[pid=19415/tid=19416] ppid=19413 vsize=13574484 memory=-6871798056524144002 CPUtime=0.02 cores=1,3,5,7
/proc/19415/task/19416/stat : 19416 (java) R 19413 19413 18108 0 -1 4202560 2752 0 0 0 2 0 0 0 20 0 9 0 8932771 13900271616 4234 18446744073709551615 4194304 4196468 140721056837696 139706572308712 139706568094877 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19417] ppid=19413 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19417/stat : 19417 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 8932772 13900271616 4234 18446744073709551615 4194304 4196468 140721056837696 139706502506768 139706568083157 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19418] ppid=19413 vsize=13574484 memory=139712368338560 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19418/stat : 19418 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 8932772 13900271616 4234 18446744073709551615 4194304 4196468 140721056837696 139706501454224 139706568083157 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19419] ppid=19413 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19419/stat : 19419 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 8932772 13900271616 4234 18446744073709551615 4194304 4196468 140721056837696 139706500401680 139706568083157 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19420] ppid=19413 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19420/stat : 19420 (java) S 19413 19413 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 8932772 13900271616 4234 18446744073709551615 4194304 4196468 140721056837696 139706499349136 139706568083157 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19421] ppid=19413 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19421/stat : 19421 (java) S 19413 19413 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 8932773 13900271616 4234 18446744073709551615 4194304 4196468 140721056837696 139706046564848 139706568084098 0 0 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19422] ppid=19413 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19422/stat : 19422 (java) S 19413 19413 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 8932774 13900271616 4234 18446744073709551615 4194304 4196468 140721056837696 139706045511072 139706568083157 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19423] ppid=19413 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19423/stat : 19423 (java) S 19413 19413 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 8932774 13900271616 4234 18446744073709551615 4194304 4196468 140721056837696 139706044458544 139706568083157 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18316 KiB

[startup+0.210422 s]*
/proc/loadavg: 1.64 1.64 1.65 4/214 19429
/proc/meminfo: memFree=31548092/32770624 swapFree=67108860/67108860
[pid=19413] ppid=19410 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19413/stat : 19413 (xcsp3-exec) S 19410 19413 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 8932763 9740288 345 18446744073709551615 4194304 5098028 140722097392080 140722097390184 139994880897660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11915264 140722097398137 140722097398342 140722097398342 140722097401835 0
/proc/19413/statm: 2378 345 289 221 0 87 0
[pid=19415] ppid=19413 vsize=13974352 memory=27924 CPUtime=0.12 cores=1,3,5,7
/proc/19415/stat : 19415 (java) S 19413 19413 18108 0 -1 1077944320 5495 0 0 0 11 1 0 0 20 0 15 0 8932771 14309736448 6981 18446744073709551615 4194304 4196468 140721056837696 140721056820240 139706568072951 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
/proc/19415/statm: 3493588 6981 2816 1 0 3482964 0
[pid=19415/tid=19416] ppid=19413 vsize=13974352 memory=8390339637985935414 CPUtime=0.08 cores=1,3,5,7
/proc/19415/task/19416/stat : 19416 (java) R 19413 19413 18108 0 -1 4202560 3508 0 0 0 8 0 0 0 20 0 15 0 8932771 14309736448 6981 18446744073709551615 4194304 4196468 140721056837696 139706572306224 139706568084886 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19417] ppid=19413 vsize=13974352 memory=288230583233163505 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19417/stat : 19417 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8932772 14309736448 6981 18446744073709551615 4194304 4196468 140721056837696 139706502506768 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19418] ppid=19413 vsize=13974352 memory=3762388368493242016 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19418/stat : 19418 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8932772 14309736448 6981 18446744073709551615 4194304 4196468 140721056837696 139706501454224 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19419] ppid=19413 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19419/stat : 19419 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8932772 14309736448 6981 18446744073709551615 4194304 4196468 140721056837696 139706500401680 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19420] ppid=19413 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19420/stat : 19420 (java) S 19413 19413 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8932772 14309736448 6981 18446744073709551615 4194304 4196468 140721056837696 139706499349136 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19421] ppid=19413 vsize=13974352 memory=139712368338560 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19421/stat : 19421 (java) S 19413 19413 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8932773 14309736448 6981 18446744073709551615 4194304 4196468 140721056837696 139706046564848 139706568084098 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19422] ppid=19413 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19422/stat : 19422 (java) S 19413 19413 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8932774 14309736448 6981 18446744073709551615 4194304 4196468 140721056837696 139706045511072 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19423] ppid=19413 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19423/stat : 19423 (java) S 19413 19413 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8932774 14309736448 6981 18446744073709551615 4194304 4196468 140721056837696 139706044458480 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19424] ppid=19413 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19424/stat : 19424 (java) S 19413 19413 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8932776 14309736448 6981 18446744073709551615 4194304 4196468 140721056837696 139706043407056 139706568091547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19425] ppid=19413 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19425/stat : 19425 (java) S 19413 19413 18108 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 8932776 14309736448 6981 18446744073709551615 4194304 4196468 140721056837696 139706042353648 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19426] ppid=19413 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19426/stat : 19426 (java) S 19413 19413 18108 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 8932776 14309736448 6981 18446744073709551615 4194304 4196468 140721056837696 139706041301104 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19427] ppid=19413 vsize=13974352 memory=139712368338560 CPUtime=0.01 cores=1,3,5,7
/proc/19415/task/19427/stat : 19427 (java) R 19413 19413 18108 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 15 0 8932776 14309736448 6981 18446744073709551615 4194304 4196468 140721056837696 139706040248560 139706568094298 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19428] ppid=19413 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19428/stat : 19428 (java) S 19413 19413 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8932776 14309736448 6981 18446744073709551615 4194304 4196468 140721056837696 139706039196256 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19429] ppid=19413 vsize=13974352 memory=139712368338560 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19429/stat : 19429 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8932781 14309736448 6981 18446744073709551615 4194304 4196468 140721056837696 139706038143792 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29304 KiB

[startup+0.310867 s]*
/proc/loadavg: 1.75 1.67 1.66 4/214 19429
/proc/meminfo: memFree=31534848/32770624 swapFree=67108860/67108860
[pid=19413] ppid=19410 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19413/stat : 19413 (xcsp3-exec) S 19410 19413 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 8932763 9740288 345 18446744073709551615 4194304 5098028 140722097392080 140722097390184 139994880897660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11915264 140722097398137 140722097398342 140722097398342 140722097401835 0
/proc/19413/statm: 2378 345 289 221 0 87 0
[pid=19415] ppid=19413 vsize=13978608 memory=40040 CPUtime=0.32 cores=1,3,5,7
/proc/19415/stat : 19415 (java) S 19413 19413 18108 0 -1 1077944320 9228 0 0 0 29 3 0 0 20 0 15 0 8932771 14314094592 10010 18446744073709551615 4194304 4196468 140721056837696 140721056820240 139706568072951 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
/proc/19415/statm: 3494652 10010 3009 1 0 3482964 0
[pid=19415/tid=19416] ppid=19413 vsize=13978608 memory=8390339637985935414 CPUtime=0.18 cores=1,3,5,7
/proc/19415/task/19416/stat : 19416 (java) R 19413 19413 18108 0 -1 4202560 6376 0 0 0 17 1 0 0 20 0 15 0 8932771 14314094592 10010 18446744073709551615 4194304 4196468 140721056837696 139706572293944 139706560754882 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19417] ppid=19413 vsize=13978608 memory=301741382115274993 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19417/stat : 19417 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8932772 14314094592 10010 18446744073709551615 4194304 4196468 140721056837696 139706502506768 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19418] ppid=19413 vsize=13978608 memory=3762388368493242016 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19418/stat : 19418 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8932772 14314094592 10010 18446744073709551615 4194304 4196468 140721056837696 139706501454224 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19419] ppid=19413 vsize=13978608 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19419/stat : 19419 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8932772 14314094592 10010 18446744073709551615 4194304 4196468 140721056837696 139706500401680 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19420] ppid=19413 vsize=13978608 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19420/stat : 19420 (java) S 19413 19413 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8932772 14314094592 10010 18446744073709551615 4194304 4196468 140721056837696 139706499349136 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19421] ppid=19413 vsize=13978608 memory=8392725588125636833 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19421/stat : 19421 (java) S 19413 19413 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8932773 14314094592 10010 18446744073709551615 4194304 4196468 140721056837696 139706046564848 139706568084098 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19422] ppid=19413 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19422/stat : 19422 (java) S 19413 19413 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8932774 14314094592 10010 18446744073709551615 4194304 4196468 140721056837696 139706045511072 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19423] ppid=19413 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19423/stat : 19423 (java) S 19413 19413 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8932774 14314094592 10010 18446744073709551615 4194304 4196468 140721056837696 139706044458480 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19424] ppid=19413 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19424/stat : 19424 (java) S 19413 19413 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8932776 14314094592 10010 18446744073709551615 4194304 4196468 140721056837696 139706043407056 139706568091547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19425] ppid=19413 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19415/task/19425/stat : 19425 (java) R 19413 19413 18108 0 -1 4202560 563 0 0 0 2 0 0 0 20 0 15 0 8932776 14314094592 10010 18446744073709551615 4194304 4196468 140721056837696 139706042353648 139706568084886 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19426] ppid=19413 vsize=13978608 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19415/task/19426/stat : 19426 (java) S 19413 19413 18108 0 -1 1077944384 248 0 0 0 2 0 0 0 20 0 15 0 8932776 14314094592 10010 18446744073709551615 4194304 4196468 140721056837696 139706041301104 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19427] ppid=19413 vsize=13978608 memory=139712368338560 CPUtime=0.07 cores=1,3,5,7
/proc/19415/task/19427/stat : 19427 (java) S 19413 19413 18108 0 -1 1077944384 736 0 0 0 7 0 0 0 20 0 15 0 8932776 14314094592 10010 18446744073709551615 4194304 4196468 140721056837696 139706040248560 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19428] ppid=19413 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19428/stat : 19428 (java) S 19413 19413 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8932776 14314094592 10010 18446744073709551615 4194304 4196468 140721056837696 139706039196256 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19429] ppid=19413 vsize=13978608 memory=139712368338560 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19429/stat : 19429 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8932781 14314094592 10010 18446744073709551615 4194304 4196468 140721056837696 139706038143792 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41420 KiB

[startup+0.702099 s]
/proc/loadavg: 1.75 1.67 1.66 5/214 19429
/proc/meminfo: memFree=31516504/32770624 swapFree=67108860/67108860
[pid=19413] ppid=19410 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19413/stat : 19413 (xcsp3-exec) S 19410 19413 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 8932763 9740288 345 18446744073709551615 4194304 5098028 140722097392080 140722097390184 139994880897660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11915264 140722097398137 140722097398342 140722097398342 140722097401835 0
/proc/19413/statm: 2378 345 289 221 0 87 0
[pid=19415] ppid=19413 vsize=13978684 memory=89532 CPUtime=1.46 cores=1,3,5,7
/proc/19415/stat : 19415 (java) S 19413 19413 18108 0 -1 1077944320 13476 0 0 0 140 6 0 0 20 0 15 0 8932771 14314172416 22383 18446744073709551615 4194304 4196468 140721056837696 140721056820240 139706568072951 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
/proc/19415/statm: 3494671 22383 3165 1 0 3482964 0
[pid=19415/tid=19416] ppid=19413 vsize=13978684 memory=2500946036225 CPUtime=0.57 cores=1,3,5,7
/proc/19415/task/19416/stat : 19416 (java) R 19413 19413 18108 0 -1 4202560 7959 0 0 0 53 4 0 0 20 0 15 0 8932771 14314172416 22383 18446744073709551615 4194304 4196468 140721056837696 139706572311408 139706552153438 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19417] ppid=19413 vsize=13978684 memory=2535305774593 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19417/stat : 19417 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8932772 14314172416 22383 18446744073709551615 4194304 4196468 140721056837696 139706502506768 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19418] ppid=19413 vsize=13978684 memory=63556 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19418/stat : 19418 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8932772 14314172416 22383 18446744073709551615 4194304 4196468 140721056837696 139706501454224 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19419] ppid=19413 vsize=13978684 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19419/stat : 19419 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8932772 14314172416 22383 18446744073709551615 4194304 4196468 140721056837696 139706500401680 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19420] ppid=19413 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19420/stat : 19420 (java) S 19413 19413 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8932772 14314172416 22383 18446744073709551615 4194304 4196468 140721056837696 139706499349136 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19421] ppid=19413 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19421/stat : 19421 (java) R 19413 19413 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8932773 14314172416 22383 18446744073709551615 4194304 4196468 140721056837696 139706046564848 139706568084098 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19422] ppid=19413 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19422/stat : 19422 (java) S 19413 19413 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8932774 14314172416 22383 18446744073709551615 4194304 4196468 140721056837696 139706045511072 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19423] ppid=19413 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19423/stat : 19423 (java) S 19413 19413 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8932774 14314172416 22383 18446744073709551615 4194304 4196468 140721056837696 139706044458480 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19424] ppid=19413 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19424/stat : 19424 (java) S 19413 19413 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8932776 14314172416 22383 18446744073709551615 4194304 4196468 140721056837696 139706043407056 139706568091547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19425] ppid=19413 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/19415/task/19425/stat : 19425 (java) R 19413 19413 18108 0 -1 4202560 1293 0 0 0 27 0 0 0 20 0 15 0 8932776 14314172416 22383 18446744073709551615 4194304 4196468 140721056837696 139706042340432 139706552994872 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19426] ppid=19413 vsize=13978684 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/19415/task/19426/stat : 19426 (java) R 19413 19413 18108 0 -1 4202560 1224 0 0 0 28 0 0 0 20 0 15 0 8932776 14314172416 22383 18446744073709551615 4194304 4196468 140721056837696 139706041287856 139706549592708 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19427] ppid=19413 vsize=13978684 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/19415/task/19427/stat : 19427 (java) S 19413 19413 18108 0 -1 1077944384 1692 0 0 0 30 1 0 0 20 0 15 0 8932776 14314172416 22383 18446744073709551615 4194304 4196468 140721056837696 139706040248560 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19428] ppid=19413 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19428/stat : 19428 (java) S 19413 19413 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8932776 14314172416 22383 18446744073709551615 4194304 4196468 140721056837696 139706039196256 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19429] ppid=19413 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19429/stat : 19429 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8932781 14314172416 22383 18446744073709551615 4194304 4196468 140721056837696 139706038143792 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 90912 KiB

[startup+1.50076 s]
/proc/loadavg: 1.75 1.67 1.66 3/214 19429
/proc/meminfo: memFree=31472012/32770624 swapFree=67108860/67108860
[pid=19413] ppid=19410 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19413/stat : 19413 (xcsp3-exec) S 19410 19413 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 8932763 9740288 345 18446744073709551615 4194304 5098028 140722097392080 140722097390184 139994880897660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11915264 140722097398137 140722097398342 140722097398342 140722097401835 0
/proc/19413/statm: 2378 345 289 221 0 87 0
[pid=19415] ppid=19413 vsize=13980732 memory=142868 CPUtime=3.09 cores=1,3,5,7
/proc/19415/stat : 19415 (java) S 19413 19413 18108 0 -1 1077944320 20074 0 0 0 301 8 0 0 20 0 15 0 8932771 14316269568 35717 18446744073709551615 4194304 4196468 140721056837696 140721056820240 139706568072951 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
/proc/19415/statm: 3495183 35717 3198 1 0 3483476 0
[pid=19415/tid=19416] ppid=19413 vsize=13980732 memory=2529 CPUtime=1.37 cores=1,3,5,7
/proc/19415/task/19416/stat : 19416 (java) R 19413 19413 18108 0 -1 4202560 10690 0 0 0 131 6 0 0 20 0 15 0 8932771 14316269568 35717 18446744073709551615 4194304 4196468 140721056837696 139706572311728 139706181697355 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19417] ppid=19413 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19417/stat : 19417 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8932772 14316269568 35717 18446744073709551615 4194304 4196468 140721056837696 139706502506768 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19418] ppid=19413 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19418/stat : 19418 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8932772 14316269568 35717 18446744073709551615 4194304 4196468 140721056837696 139706501454224 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19419] ppid=19413 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19419/stat : 19419 (java) S 19413 19413 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8932772 14316269568 35717 18446744073709551615 4194304 4196468 140721056837696 139706500401680 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19420] ppid=19413 vsize=13980732 memory=4580 CPUtime=0 cores=1,3,5,7

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

/proc/19415/task/19423/stat : 19423 (java) S 19413 19413 18108 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 8932774 14316269568 51649 18446744073709551615 4194304 4196468 140721056837696 139706044458480 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19424] ppid=19413 vsize=13980732 memory=206596 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19424/stat : 19424 (java) S 19413 19413 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8932776 14316269568 51649 18446744073709551615 4194304 4196468 140721056837696 139706043407056 139706568091547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19425] ppid=19413 vsize=13980732 memory=1380 CPUtime=2.58 cores=1,3,5,7
/proc/19415/task/19425/stat : 19425 (java) S 19413 19413 18108 0 -1 1077944384 19810 0 0 0 255 3 0 0 20 0 15 0 8932776 14316269568 51649 18446744073709551615 4194304 4196468 140721056837696 139706042353648 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19426] ppid=19413 vsize=13980732 memory=206596 CPUtime=2.29 cores=1,3,5,7
/proc/19415/task/19426/stat : 19426 (java) S 19413 19413 18108 0 -1 1077944384 14552 0 0 0 227 2 0 0 20 0 15 0 8932776 14316269568 51649 18446744073709551615 4194304 4196468 140721056837696 139706041301104 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19427] ppid=19413 vsize=13980732 memory=4128 CPUtime=0.75 cores=1,3,5,7
/proc/19415/task/19427/stat : 19427 (java) S 19413 19413 18108 0 -1 1077944384 10309 0 0 0 73 2 0 0 20 0 15 0 8932776 14316269568 51649 18446744073709551615 4194304 4196468 140721056837696 139706040248560 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19428] ppid=19413 vsize=13980732 memory=8760 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19428/stat : 19428 (java) S 19413 19413 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8932776 14316269568 51649 18446744073709551615 4194304 4196468 140721056837696 139706039196256 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19429] ppid=19413 vsize=13980732 memory=1380 CPUtime=0.75 cores=1,3,5,7
/proc/19415/task/19429/stat : 19429 (java) S 19413 19413 18108 0 -1 1077944384 1054 0 0 0 33 42 0 0 20 0 15 0 8932781 14316269568 51649 18446744073709551615 4194304 4196468 140721056837696 139706038143792 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
Current children cumulated CPU time: 2449.55 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 207976 KiB

[startup+2502.3 s]
/proc/loadavg: 1.65 1.73 1.77 3/212 21023
/proc/meminfo: memFree=31272752/32770624 swapFree=67108860/67108860
[pid=19413] ppid=19410 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19413/stat : 19413 (xcsp3-exec) S 19410 19413 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 8932763 9740288 345 18446744073709551615 4194304 5098028 140722097392080 140722097390184 139994880897660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11915264 140722097398137 140722097398342 140722097398342 140722097401835 0
/proc/19413/statm: 2378 345 289 221 0 87 0
[pid=19415] ppid=19413 vsize=13980732 memory=208644 CPUtime=2509.65 cores=1,3,5,7
/proc/19415/stat : 19415 (java) S 19413 19413 18108 0 -1 1077944320 94129 0 0 0 250895 70 0 0 20 0 15 0 8932771 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 140721056820240 139706568072951 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
/proc/19415/statm: 3495183 52161 3246 1 0 3483476 0
[pid=19415/tid=19416] ppid=19413 vsize=13980732 memory=208644 CPUtime=2501.19 cores=1,3,5,7
/proc/19415/task/19416/stat : 19416 (java) R 19413 19413 18108 0 -1 4202560 26513 0 0 0 250110 9 0 0 20 0 15 0 8932771 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706572312768 139706183696940 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19417] ppid=19413 vsize=13980732 memory=208644 CPUtime=0.44 cores=1,3,5,7
/proc/19415/task/19417/stat : 19417 (java) S 19413 19413 18108 0 -1 1077944384 3306 0 0 0 40 4 0 0 20 0 15 0 8932772 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706502506768 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19418] ppid=19413 vsize=13980732 memory=208644 CPUtime=0.44 cores=1,3,5,7
/proc/19415/task/19418/stat : 19418 (java) S 19413 19413 18108 0 -1 1077944384 4664 0 0 0 40 4 0 0 20 0 15 0 8932772 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706501454224 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19419] ppid=19413 vsize=13980732 memory=208644 CPUtime=0.44 cores=1,3,5,7
/proc/19415/task/19419/stat : 19419 (java) S 19413 19413 18108 0 -1 1077944384 4105 0 0 0 40 4 0 0 20 0 15 0 8932772 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706500401680 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19420] ppid=19413 vsize=13980732 memory=208644 CPUtime=0.44 cores=1,3,5,7
/proc/19415/task/19420/stat : 19420 (java) S 19413 19413 18108 0 -1 1077944384 4074 0 0 0 39 5 0 0 20 0 15 0 8932772 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706499349136 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19421] ppid=19413 vsize=13980732 memory=1380 CPUtime=0.24 cores=1,3,5,7
/proc/19415/task/19421/stat : 19421 (java) S 19413 19413 18108 0 -1 1077944384 4358 0 0 0 20 4 0 0 20 0 15 0 8932773 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706046564848 139706568084098 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19422] ppid=19413 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19422/stat : 19422 (java) S 19413 19413 18108 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 8932774 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706045511136 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19423] ppid=19413 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19423/stat : 19423 (java) S 19413 19413 18108 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 8932774 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706044458480 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19424] ppid=19413 vsize=13980732 memory=208644 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19424/stat : 19424 (java) S 19413 19413 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8932776 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706043407056 139706568091547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19425] ppid=19413 vsize=13980732 memory=208644 CPUtime=2.58 cores=1,3,5,7
/proc/19415/task/19425/stat : 19425 (java) S 19413 19413 18108 0 -1 1077944384 19810 0 0 0 255 3 0 0 20 0 15 0 8932776 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706042353648 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19426] ppid=19413 vsize=13980732 memory=1380 CPUtime=2.29 cores=1,3,5,7
/proc/19415/task/19426/stat : 19426 (java) S 19413 19413 18108 0 -1 1077944384 14552 0 0 0 227 2 0 0 20 0 15 0 8932776 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706041301104 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19427] ppid=19413 vsize=13980732 memory=10936 CPUtime=0.75 cores=1,3,5,7
/proc/19415/task/19427/stat : 19427 (java) S 19413 19413 18108 0 -1 1077944384 10309 0 0 0 73 2 0 0 20 0 15 0 8932776 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706040248560 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19428] ppid=19413 vsize=13980732 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19428/stat : 19428 (java) S 19413 19413 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8932776 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706039196256 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19429] ppid=19413 vsize=13980732 memory=208644 CPUtime=0.77 cores=1,3,5,7
/proc/19415/task/19429/stat : 19429 (java) S 19413 19413 18108 0 -1 1077944384 1058 0 0 0 34 43 0 0 20 0 15 0 8932781 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706038143792 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
Current children cumulated CPU time: 2509.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 210024 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.7 s]
/proc/loadavg: 1.70 1.74 1.77 3/212 21025
/proc/meminfo: memFree=31273092/32770624 swapFree=67108860/67108860
[pid=19413] ppid=19410 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19413/stat : 19413 (xcsp3-exec) S 19410 19413 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 8932763 9740288 345 18446744073709551615 4194304 5098028 140722097392080 140722097390184 139994880897660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11915264 140722097398137 140722097398342 140722097398342 140722097401835 0
/proc/19413/statm: 2378 345 289 221 0 87 0
[pid=19415] ppid=19413 vsize=13980732 memory=208644 CPUtime=2520.06 cores=1,3,5,7
/proc/19415/stat : 19415 (java) S 19413 19413 18108 0 -1 1077944320 94131 0 0 0 251936 70 0 0 20 0 15 0 8932771 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 140721056820240 139706568072951 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
/proc/19415/statm: 3495183 52161 3246 1 0 3483476 0
[pid=19415/tid=19416] ppid=19413 vsize=13980732 memory=208644 CPUtime=2511.58 cores=1,3,5,7
/proc/19415/task/19416/stat : 19416 (java) R 19413 19413 18108 0 -1 4202560 26515 0 0 0 251149 9 0 0 20 0 15 0 8932771 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706572312496 139706182048586 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19417] ppid=19413 vsize=13980732 memory=1380 CPUtime=0.45 cores=1,3,5,7
/proc/19415/task/19417/stat : 19417 (java) S 19413 19413 18108 0 -1 1077944384 3306 0 0 0 41 4 0 0 20 0 15 0 8932772 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706502506768 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19418] ppid=19413 vsize=13980732 memory=208644 CPUtime=0.44 cores=1,3,5,7
/proc/19415/task/19418/stat : 19418 (java) S 19413 19413 18108 0 -1 1077944384 4664 0 0 0 40 4 0 0 20 0 15 0 8932772 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706501454224 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19419] ppid=19413 vsize=13980732 memory=208644 CPUtime=0.44 cores=1,3,5,7
/proc/19415/task/19419/stat : 19419 (java) S 19413 19413 18108 0 -1 1077944384 4105 0 0 0 40 4 0 0 20 0 15 0 8932772 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706500401680 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19420] ppid=19413 vsize=13980732 memory=4128 CPUtime=0.44 cores=1,3,5,7
/proc/19415/task/19420/stat : 19420 (java) S 19413 19413 18108 0 -1 1077944384 4074 0 0 0 39 5 0 0 20 0 15 0 8932772 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706499349136 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19421] ppid=19413 vsize=13980732 memory=208644 CPUtime=0.24 cores=1,3,5,7
/proc/19415/task/19421/stat : 19421 (java) S 19413 19413 18108 0 -1 1077944384 4358 0 0 0 20 4 0 0 20 0 15 0 8932773 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706046564848 139706568084098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19422] ppid=19413 vsize=13980732 memory=208644 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19422/stat : 19422 (java) S 19413 19413 18108 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 8932774 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706045511136 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19423] ppid=19413 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19423/stat : 19423 (java) S 19413 19413 18108 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 8932774 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706044458480 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19424] ppid=19413 vsize=13980732 memory=208644 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19424/stat : 19424 (java) S 19413 19413 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8932776 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706043407056 139706568091547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19425] ppid=19413 vsize=13980732 memory=208644 CPUtime=2.58 cores=1,3,5,7
/proc/19415/task/19425/stat : 19425 (java) S 19413 19413 18108 0 -1 1077944384 19810 0 0 0 255 3 0 0 20 0 15 0 8932776 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706042353648 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19426] ppid=19413 vsize=13980732 memory=1380 CPUtime=2.29 cores=1,3,5,7
/proc/19415/task/19426/stat : 19426 (java) S 19413 19413 18108 0 -1 1077944384 14552 0 0 0 227 2 0 0 20 0 15 0 8932776 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706041301104 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19427] ppid=19413 vsize=13980732 memory=1380 CPUtime=0.75 cores=1,3,5,7
/proc/19415/task/19427/stat : 19427 (java) S 19413 19413 18108 0 -1 1077944384 10309 0 0 0 73 2 0 0 20 0 15 0 8932776 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706040248560 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19428] ppid=19413 vsize=13980732 memory=279424533566080 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19428/stat : 19428 (java) S 19413 19413 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8932776 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706039196256 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19429] ppid=19413 vsize=13980732 memory=4616 CPUtime=0.77 cores=1,3,5,7
/proc/19415/task/19429/stat : 19429 (java) S 19413 19413 18108 0 -1 1077944384 1058 0 0 0 34 43 0 0 20 0 15 0 8932781 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706038143792 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 210024 KiB

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

[startup+2512.71 s]
# the end of solver process 19413 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001852 s

[startup+2512.71 s]
# the end of solver process 19415 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.38 s, system=0.712953 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+2512.7 s]
/proc/loadavg: 1.70 1.74 1.77 3/212 21025
/proc/meminfo: memFree=31273092/32770624 swapFree=67108860/67108860
[pid=19413] ppid=19410 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19413/stat : 19413 (xcsp3-exec) S 19410 19413 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 8932763 9740288 345 18446744073709551615 4194304 5098028 140722097392080 140722097390184 139994880897660 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 11915264 140722097398137 140722097398342 140722097398342 140722097401835 0
/proc/19413/statm: 2378 345 289 221 0 87 0
[pid=19415] ppid=19413 vsize=13980732 memory=208644 CPUtime=2520.06 cores=1,3,5,7
/proc/19415/stat : 19415 (java) S 19413 19413 18108 0 -1 1077944320 94131 0 0 0 251936 70 0 0 20 0 15 0 8932771 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 140721056820240 139706568072951 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
/proc/19415/statm: 3495183 52161 3246 1 0 3483476 0
[pid=19415/tid=19416] ppid=19413 vsize=13980732 memory=208644 CPUtime=2511.58 cores=1,3,5,7
/proc/19415/task/19416/stat : 19416 (java) R 19413 19413 18108 0 -1 4202560 26515 0 0 0 251149 9 0 0 20 0 15 0 8932771 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706572312496 139706182048586 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19417] ppid=19413 vsize=13980732 memory=1380 CPUtime=0.45 cores=1,3,5,7
/proc/19415/task/19417/stat : 19417 (java) S 19413 19413 18108 0 -1 1077944384 3306 0 0 0 41 4 0 0 20 0 15 0 8932772 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706502506768 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19418] ppid=19413 vsize=13980732 memory=208644 CPUtime=0.44 cores=1,3,5,7
/proc/19415/task/19418/stat : 19418 (java) S 19413 19413 18108 0 -1 1077944384 4664 0 0 0 40 4 0 0 20 0 15 0 8932772 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706501454224 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19419] ppid=19413 vsize=13980732 memory=208644 CPUtime=0.44 cores=1,3,5,7
/proc/19415/task/19419/stat : 19419 (java) S 19413 19413 18108 0 -1 1077944384 4105 0 0 0 40 4 0 0 20 0 15 0 8932772 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706500401680 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19420] ppid=19413 vsize=13980732 memory=4128 CPUtime=0.44 cores=1,3,5,7
/proc/19415/task/19420/stat : 19420 (java) S 19413 19413 18108 0 -1 1077944384 4074 0 0 0 39 5 0 0 20 0 15 0 8932772 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706499349136 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19421] ppid=19413 vsize=13980732 memory=208644 CPUtime=0.24 cores=1,3,5,7
/proc/19415/task/19421/stat : 19421 (java) S 19413 19413 18108 0 -1 1077944384 4358 0 0 0 20 4 0 0 20 0 15 0 8932773 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706046564848 139706568084098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19422] ppid=19413 vsize=13980732 memory=208644 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19422/stat : 19422 (java) S 19413 19413 18108 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 8932774 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706045511136 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19423] ppid=19413 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19423/stat : 19423 (java) S 19413 19413 18108 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 8932774 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706044458480 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19424] ppid=19413 vsize=13980732 memory=208644 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19424/stat : 19424 (java) S 19413 19413 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8932776 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706043407056 139706568091547 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19425] ppid=19413 vsize=13980732 memory=208644 CPUtime=2.58 cores=1,3,5,7
/proc/19415/task/19425/stat : 19425 (java) S 19413 19413 18108 0 -1 1077944384 19810 0 0 0 255 3 0 0 20 0 15 0 8932776 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706042353648 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19426] ppid=19413 vsize=13980732 memory=1380 CPUtime=2.29 cores=1,3,5,7
/proc/19415/task/19426/stat : 19426 (java) S 19413 19413 18108 0 -1 1077944384 14552 0 0 0 227 2 0 0 20 0 15 0 8932776 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706041301104 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19427] ppid=19413 vsize=13980732 memory=1380 CPUtime=0.75 cores=1,3,5,7
/proc/19415/task/19427/stat : 19427 (java) S 19413 19413 18108 0 -1 1077944384 10309 0 0 0 73 2 0 0 20 0 15 0 8932776 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706040248560 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19428] ppid=19413 vsize=13980732 memory=279424533566080 CPUtime=0 cores=1,3,5,7
/proc/19415/task/19428/stat : 19428 (java) S 19413 19413 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8932776 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706039196256 139706568083157 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
[pid=19415/tid=19429] ppid=19413 vsize=13980732 memory=4616 CPUtime=0.77 cores=1,3,5,7
/proc/19415/task/19429/stat : 19429 (java) S 19413 19413 18108 0 -1 1077944384 1058 0 0 0 34 43 0 0 20 0 15 0 8932781 14316269568 52161 18446744073709551615 4194304 4196468 140721056837696 139706038143792 139706568084098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 24961024 140721056842162 140721056842338 140721056842338 140721056845775 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 210024 KiB

Child status: 143
Real time (s): 2512.71
CPU time (s): 2520.09
CPU user time (s): 2519.38
CPU system time (s): 0.712953
CPU usage (%): 100.294
Max. virtual memory (cumulated for all children) (KiB): 13992252
Max. memory (cumulated for all children) (KiB): 307048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.38
system time used= 0.712953
maximum resident set size= 305668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95091
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63019
involuntary context switches= 1375


# summary of solver processes directly reported to runsolver:
#   pid: 19413,19415
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2519.38
#   total CPU system time (s): 0.712953

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9218 second user time and 22.8248 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml
MD5SUM	2bbdfe474604d495dd31c09972612e7d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	911
Best CPU time to get the best result obtained on this benchmark	2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	4096
Number of constraints	2287
Number of domains	4
Minimum domain size	2
Maximum domain size	4051
Distribution of domain sizes	[{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}]
Minimum variable degree	1
Maximum variable degree	46
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	47
Distribution of constraint arities	[{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}]
Number of extensional constraints	2021
Number of intensional constraints	216
Distribution of constraint types	[{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4282088

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data