2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT (TO)	36562	19485.5	2520.15

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297514-1532710545.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297514-1532710545.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
201.46/64.28	c solve instance...
221.33/66.87	o 40237 
224.61/67.53	o 40231 
224.97/67.62	o 40211 
231.77/72.30	o 40193 
231.77/72.35	o 40179 
232.17/72.41	o 40177 
232.17/72.47	o 40171 
232.74/72.51	o 40169 
232.74/72.57	o 40167 
233.30/72.65	o 40150 
233.64/72.70	o 40140 
233.64/72.75	o 40138 
234.07/72.81	o 40136 
234.07/72.85	o 40130 
234.62/72.94	o 40123 
235.07/73.02	o 40114 
235.07/73.09	o 40110 
236.93/73.38	o 40106 
237.45/73.46	o 40104 
238.04/73.57	o 40103 
238.71/73.65	o 40099 
239.21/73.70	o 40081 
239.21/73.76	o 40067 
239.54/73.83	o 40065 
239.54/73.88	o 40059 
239.93/73.93	o 40049 
239.93/73.99	o 40047 
240.47/74.06	o 40046 
240.85/74.12	o 40041 
240.85/74.17	o 40037 
241.32/74.24	o 40029 
242.83/74.45	o 40021 
244.99/74.76	o 40017 
245.31/74.81	o 40012 
246.01/75.00	o 40009 
246.49/75.10	o 40002 
249.24/75.71	o 39998 
255.87/80.84	o 39993 
256.31/80.97	o 39990 
256.99/81.02	o 39983 
260.70/81.57	o 39981 
261.25/81.63	o 39976 
261.76/81.73	o 39975 
265.95/82.48	o 39974 
271.78/87.00	o 39968 
274.07/87.31	o 39960 
298.13/92.41	o 39959 
301.99/92.93	o 39957 
340.04/98.41	o 39635 
386.42/105.58	o 39371 
420.63/111.06	o 39316 
531.74/125.48	o 39251 
560.17/131.13	o 39201 
1398.12/237.20	o 39079 
1593.50/262.97	o 39072 
1612.28/267.37	o 39062 
3148.33/460.64	o 38671 
5609.53/769.63	o 38585 
8919.17/1184.78	o 37653 
8925.78/1188.59	o 37553 
8926.65/1188.72	o 37484 
9502.34/1261.00	o 36979 
9503.08/1261.07	o 36948 
9513.18/1262.37	o 36933 
9514.41/1262.71	o 36919 
9519.49/1267.57	o 36915 
9522.17/1267.97	o 36900 
11149.20/1474.95	o 36782 
11149.44/1475.01	o 36693 
11149.44/1475.05	o 36563 
11153.09/1475.51	o 36562 
19484.65/2520.09	s SATISFIABLE
19484.65/2520.09	v <instantiation>
19484.65/2520.09	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[67][68] d[67][69] d[67][70] d[67][71] d[68][69] d[68][70] d[68][71] d[69][70] d[69][71] d[70][71] </list>
19484.65/2520.09	v 	<values>16 13 20 1 46 27 34 37 48 7 32 9 21 50 66 24 69 22 43 58 67 54 2 31 30 47 41 3 39 35 45 53 55 36 12 61 25 70 65 68 49 60 8 71 26 57 18 0 40 62 15 11 29 6 33 4 28 14 5 38 17 42 10 56 64 19 44 23 51 59 63 52 0 5 5 1 5 5 1 0 10 5 5 5 1 5 0 2 2 2 6 3 3 1 1 6 0 0 10 0 6 0 2 0 5 0 0 2 5 1 3 5 4 2 5 2 2 5 5 0 2 4 0 5 0 2 2 1 2 2 10 5 0 4 5 2 2 0 1 1 0 5 0 10 0 5 5 4 2 4 2 0 5 10 5 2 2 2 10 5 5 1 2 0 1 5 4 0 4 1 2 3 0 5 0 10 0 5 4 1 2 0 0 2 0 2 1 2 2 0 0 5 0 0 0 0 0 3 1 2 0 1 5 0 0 10 4 2 2 0 1 0 0 10 2 2 5 0 5 2 1 2 5 5 5 2 5 0 1 0 3 5 5 2 5 1 2 0 5 5 5 0 0 5 1 2 10 2 0 1 5 0 0 1 0 5 2 2 0 1 0 0 5 5 0 5 5 3 5 0 10 2 5 4 1 1 2 1 6 2 2 2 2 5 5 10 5 5 2 5 5 2 2 3 3 0 2 3 5 0 1 10 5 0 5 0 5 6 0 1 0 10 4 0 5 1 0 5 1 1 0 5 4 1 0 0 1 1 0 5 0 2 10 0 2 0 0 0 2 0 2 3 1 0 2 4 10 1 0 2 0 5 0 5 2 4 5 5 10 5 1 6 2 5 0 2 0 5 10 6 1 3 0 4 0 0 0 0 5 5 1 10 5 0 0 0 0 0 4 10 0 1 6 5 2 1 0 1 2 0 0 1 0 1 1 0 5 0 2 10 4 2 5 10 3 2 0 5 0 5 2 3 5 5 2 2 5 10 5 2 5 3 2 5 0 0 5 0 0 10 1 5 5 4 2 3 3 10 0 1 1 0 5 5 0 5 0 0 4 2 10 0 1 5 0 0 0 5 0 0 5 1 2 0 0 1 5 0 5 5 0 1 0 10 6 5 5 5 10 0 5 0 0 2 2 1 0 5 0 0 0 0 10 0 1 0 4 0 2 5 0 2 2 0 2 0 2 1 1 2 2 2 0 5 0 2 0 5 0 0 1 0 0 0 0 2 5 5 4 0 1 4 5 2 1 5 2 5 10 2 0 2 2 10 0 5 3 2 5 5 1 10 2 0 1 5 0 0 6 0 10 1 3 0 2 1 0 5 2 3 5 4 5 0 10 6 0 6 2 0 0 1 5 5 6 0 0 2 0 0 5 5 0 4 5 5 2 5 2 10 0 1 0 5 5 2 0 0 2 0 5 4 10 10 2 5 0 0 10 3 0 2 2 5 0 0 5 2 5 0 5 5 4 5 5 5 0 2 0 3 4 2 0 5 0 0 10 0 2 10 5 2 10 0 10 0 1 0 5 0 0 1 5 1 5 1 10 2 5 2 1 0 2 5 5 3 0 0 5 5 5 0 5 2 3 0 10 0 0 2 1 4 2 0 0 4 0 2 1 2 0 2 0 0 3 2 0 5 2 2 0 5 5 0 0 4 5 1 2 0 2 1 0 0 1 0 2 2 10 0 5 5 5 5 5 2 4 5 1 0 0 5 2 5 10 2 10 5 3 2 1 1 3 2 0 2 2 0 3 2 1 5 0 10 1 10 2 0 0 4 1 5 3 2 5 5 0 1 2 0 5 1 0 2 2 2 0 0 0 0 1 0 10 5 2 0 2 10 2 0 2 5 6 0 1 2 5 1 10 0 10 0 3 2 0 0 5 2 1 4 0 0 2 2 0 1 2 6 2 5 2 5 0 0 5 0 2 1 0 2 5 1 5 0 4 5 2 1 0 5 0 5 5 1 2 2 10 5 10 2 0 5 0 2 0 10 2 1 1 1 2 5 5 0 2 5 0 2 6 0 1 0 10 0 10 1 3 3 0 2 6 0 5 5 0 0 2 0 0 10 0 0 0 0 10 5 6 0 0 5 2 10 0 5 2 0 1 2 1 10 0 2 5 1 5 2 10 1 0 0 0 1 0 1 4 5 5 0 3 2 1 2 1 3 0 0 2 0 0 0 10 4 0 0 5 1 5 2 2 0 0 5 0 0 1 0 5 3 10 0 4 1 1 0 5 0 0 1 3 0 10 5 1 3 1 2 2 5 2 2 10 4 10 2 1 0 0 4 0 0 10 5 2 0 0 5 0 0 5 5 5 2 3 0 5 1 1 5 0 5 10 1 10 2 0 5 1 2 6 1 5 5 0 10 1 5 3 0 1 5 10 2 1 5 10 10 6 0 5 0 3 0 5 1 0 1 0 5 5 0 3 5 2 2 5 0 0 0 10 0 1 1 5 3 2 0 0 0 4 0 2 1 0 0 5 1 0 2 5 1 0 0 0 0 4 3 2 0 3 10 0 0 4 4 0 6 3 1 0 0 0 2 1 10 0 2 0 0 2 2 3 10 6 0 0 0 0 0 1 3 2 5 2 5 5 0 5 0 1 5 10 0 10 0 0 5 0 0 2 0 0 2 0 2 1 5 5 1 0 1 2 1 0 2 0 10 5 1 10 2 0 2 5 2 1 5 4 3 2 3 0 0 5 5 4 2 0 0 2 10 1 0 1 0 5 0 10 5 0 2 0 0 1 5 10 10 5 0 2 0 1 1 3 5 4 0 5 3 0 5 2 2 3 5 10 0 2 5 0 0 0 10 5 5 1 0 0 0 4 0 0 5 1 5 1 0 2 2 2 2 10 1 1 5 10 5 1 5 2 0 5 5 5 0 1 1 2 10 2 5 2 2 5 2 1 2 0 0 0 1 0 1 5 5 5 5 1 0 3 0 1 2 2 0 5 2 4 3 2 2 5 0 2 5 2 0 0 2 2 10 5 0 5 5 0 0 4 10 5 1 0 5 2 1 0 1 1 0 2 1 5 5 1 0 5 0 2 5 5 5 5 4 1 5 6 2 2 2 10 5 5 2 3 0 5 1 5 1 1 5 1 1 2 10 0 1 0 5 2 5 2 5 1 2 4 2 1 0 5 3 1 0 0 2 10 1 5 1 5 2 5 0 0 1 0 0 0 0 1 5 6 2 10 5 1 0 0 2 1 5 2 3 0 5 1 0 0 2 5 2 2 0 0 0 5 1 0 2 0 2 0 10 2 0 5 5 5 4 5 0 0 5 1 5 1 0 2 5 2 2 1 4 4 0 1 2 5 2 0 0 2 0 0 2 1 10 10 5 3 2 5 5 0 0 0 2 1 10 0 5 3 2 0 5 2 0 5 0 0 1 2 5 0 0 0 2 0 0 1 0 5 1 0 5 2 5 5 1 3 0 0 1 2 0 2 2 5 2 2 0 3 5 0 2 1 5 0 2 0 4 2 0 0 5 10 2 5 10 0 10 5 0 10 0 5 6 2 2 0 0 2 5 1 2 5 0 4 10 0 0 5 0 0 4 2 1 0 1 6 0 5 5 0 5 0 0 0 1 0 0 0 10 0 0 10 0 5 0 6 3 1 2 2 2 10 2 3 0 4 5 1 4 0 0 10 5 2 2 5 0 0 5 0 1 0 1 0 5 2 10 0 1 0 5 10 6 2 0 2 10 5 0 0 5 0 10 5 2 10 0 0 1 0 10 1 0 0 10 0 1 1 3 0 1 2 5 1 2 3 1 2 10 5 10 2 10 0 2 0 0 0 1 0 2 2 0 1 2 0 2 10 5 0 0 2 10 0 1 10 0 6 5 3 0 0 1 0 2 2 5 10 1 0 2 0 2 0 0 0 10 1 2 0 0 0 5 2 1 10 1 0 5 2 2 5 5 10 1 0 1 0 0 2 10 0 4 3 0 0 10 2 0 10 10 5 0 0 1 10 10 0 1 2 5 0 2 0 5 1 6 10 10 2 4 3 10 5 2 1 0 2 1 5 1 2 4 0 1 5 10 0 5 5 4 10 0 5 0 0 2 10 1 5 1 0 2 2 0 5 0 0 5 2 2 5 5 0 0 0 5 10 0 3 0 2 1 5 0 2 0 0 5 2 0 5 5 2 0 0 1 2 2 5 10 1 1 0 0 0 1 1 10 1 2 1 5 5 5 5 5 2 0 1 0 6 4 2 5 0 5 0 4 5 1 5 10 0 0 2 2 1 1 2 1 1 2 1 10 1 2 5 5 3 10 5 0 10 4 5 5 1 0 10 0 10 5 1 1 0 0 5 0 1 5 2 6 0 2 2 2 0 0 0 5 4 5 0 0 5 2 2 0 0 5 2 2 3 0 5 6 4 0 5 5 1 5 5 1 5 5 2 5 0 10 1 3 0 3 5 6 0 2 2 0 5 5 2 10 5 10 4 3 1 0 0 10 1 0 5 0 2 2 1 0 0 1 10 2 10 5 0 5 2 1 3 0 10 0 0 0 0 0 10 4 5 0 0 2 10 5 0 5 0 1 0 5 2 2 5 2 0 2 2 5 5 0 0 1 4 6 5 5 0 0 2 0 2 5 0 0 4 10 3 2 5 5 5 1 10 5 0 5 2 10 2 0 0 5 10 5 2 5 0 0 2 1 0 4 5 10 2 5 5 10 5 5 0 0 5 0 0 3 4 3 5 5 5 2 1 5 0 0 5 5 5 2 0 2 0 0 10 0 0 10 3 10 2 1 5 3 5 2 1 3 0 1 1 5 5 5 0 6 0 2 5 5 10 0 5 3 1 0 2 10 3 2 2 5 0 5 10 3 0 0 2 0 2 2 2 2 0 0 5 0 0 0 0 1 0 2 0 0 10 5 5 6 0 2 3 4 0 5 1 2 5 0 0 0 5 2 5 2 0 5 1 10 2 0 4 0 2 5 1 5 0 0 6 0 1 5 4 1 2 0 10 1 5 1 4 10 0 2 0 0 2 4 1 0 0 2 1 0 0 0 5 0 3 3 0 0 3 5 1 5 0 10 5 2 0 1 5 0 0 2 0 1 0 2 0 2 0 5 5 5 0 5 0 10 3 0 0 5 0 5 1 5 2 5 0 5 0 0 0 0 10 4 1 10 2 10 10 0 2 0 4 1 5 0 5 5 0 2 0 1 0 3 10 0 0 0 3 1 0 10 0 0 0 0 2 2 5 5 0 10 10 5 2 5 4 5 2 5 2 5 0 0 0 2 3 2 10 0 2 10 0 2 10 0 4 0 0 1 0 1 0 2 5 2 10 0 2 2 2 10 1 0 0 0 5 5 4 3 0 2 1 2 1 5 10 0 5 2 0 10 0 0 1 0 5 1 2 2 5 4 10 2 10 1 0 5 0 0 1 6 0 1 2 2 2 5 5 0 0 0 10 10 2 5 0 5 0 10 1 0 3 5 1 0 0 2 2 0 6 1 1 0 2 5 0 0 0 0 5 5 4 3 5 5 10 2 0 0 0 4 5 0 1 0 10 5 5 2 1 4 0 0 0 10 0 4 1 6 0 0 0 0 1 3 0 0 3 0 5 5 1 3 5 0 0 2 0 4 4 0 2 1 1 10 2 4 0 0 2 5 2 2 3 3 2 5 2 3 10 2 5 1 1 3 2 5 0 5 3 10 5 5 4 1 0 1 1 2 5 5 0 5 1 1 1 5 5 5 2 1 0 5 0 5 5 10 2 5 2 5 1 2 2 2 0 10 10 5 0 5 5 5 0 5 5 2 2 5 2 1 0 0 1 0 0 0 6 2 6 4 0 1 1 5 10 0 2 1 5 1 0 5 10 5 2 0 5 1 0 0 10 2 5 5 5 2 5 2 0 2 5 0 10 6 10 10 3 4 5 2 0 6 0 0 5 0 2 1 2 2 6 10 2 0 </values>
19484.65/2520.09	v </instantiation>
19484.65/2520.09	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 (11586 MiB free)
  memory of node 1: 16384 MiB (15130 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297514-1532710545/watcher-4297514-1532710545 -o /tmp/evaluation-result-4297514-1532710545/solver-4297514-1532710545 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532702978-20723 --watchdog 2580 HOME/xcsp3-exec -seed 312414904 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297514-1532710545.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=30735, runsolver pid=30732

[startup+0.100145 s]*
/proc/loadavg: 8.12 8.32 8.29 3/203 30756
/proc/meminfo: memFree=27342792/32770624 swapFree=67108860/67108860
[pid=30735] ppid=30732 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30735/stat : 30735 (xcsp3-exec) S 30732 30735 20696 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88617672 115843072 363 33554432000 4194304 5098028 140735561618032 140735561616136 140563648131708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37220352 140735561622582 140735561622784 140735561622784 140735561625546 0
/proc/30735/statm: 28282 363 305 221 0 87 0
[pid=30737] ppid=30735 vsize=26104152 memory=27140 CPUtime=0.12 cores=0-7
/proc/30737/stat : 30737 (java) S 30735 30735 20696 0 -1 1077944320 5717 0 0 0 10 2 0 0 20 0 20 0 88617672 26730651648 6785 33554432000 4194304 4196468 140726019963952 140726019946496 140067180207863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
/proc/30737/statm: 6526038 6785 2974 1 0 6488315 0
[pid=30737/tid=30738] ppid=30735 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30737/task/30738/stat : 30738 (java) R 30735 30735 20696 0 -1 4202560 3727 0 0 0 8 1 0 0 20 0 20 0 88617673 26730651648 6785 33554432000 4194304 4196468 140726019963952 140067184446768 140067164251493 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30739] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30739/stat : 30739 (java) S 30735 30735 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 6785 33554432000 4194304 4196468 140726019963952 140067138968592 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30740] ppid=30735 vsize=26104152 memory=140066945234560 CPUtime=0 cores=0-7
/proc/30737/task/30740/stat : 30740 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066737900688 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30741] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30741/stat : 30741 (java) S 30735 30735 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066736847632 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30742] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30742/stat : 30742 (java) S 30735 30735 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066735795088 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30743] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30743/stat : 30743 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066734742032 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30744] ppid=30735 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30737/task/30744/stat : 30744 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066733689488 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30745] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30745/stat : 30745 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066732636432 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30746] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30746/stat : 30746 (java) S 30735 30735 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066731583888 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30747] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30747/stat : 30747 (java) S 30735 30735 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88617675 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066441931504 140067180219010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30748] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30748/stat : 30748 (java) S 30735 30735 20696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88617676 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066440877728 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30749] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30749/stat : 30749 (java) S 30735 30735 20696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88617676 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066439824624 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30750] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30750/stat : 30750 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617678 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066438773200 140067180226459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30751] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30751/stat : 30751 (java) S 30735 30735 20696 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 88617678 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066437720304 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30752] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30752/stat : 30752 (java) S 30735 30735 20696 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88617678 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066436667760 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30753] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30753/stat : 30753 (java) S 30735 30735 20696 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 88617678 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066435614704 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30754] ppid=30735 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/30737/task/30754/stat : 30754 (java) R 30735 30735 20696 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 88617678 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066434562160 140067163565281 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30755] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30755/stat : 30755 (java) S 30735 30735 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88617678 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066433510368 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30756] ppid=30735 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30737/task/30756/stat : 30756 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617679 26730651648 6785 33554432000 4194304 4196468 140726019963952 140066432457904 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28592 KiB

[startup+0.210326 s]*
/proc/loadavg: 8.12 8.32 8.29 4/203 30756
/proc/meminfo: memFree=27330964/32770624 swapFree=67108860/67108860
[pid=30735] ppid=30732 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30735/stat : 30735 (xcsp3-exec) S 30732 30735 20696 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88617672 115843072 363 33554432000 4194304 5098028 140735561618032 140735561616136 140563648131708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37220352 140735561622582 140735561622784 140735561622784 140735561625546 0
/proc/30735/statm: 28282 363 305 221 0 87 0
[pid=30737] ppid=30735 vsize=26104152 memory=39344 CPUtime=0.34 cores=0-7
/proc/30737/stat : 30737 (java) S 30735 30735 20696 0 -1 1077944320 8473 0 0 0 31 3 0 0 20 0 20 0 88617672 26730651648 9836 33554432000 4194304 4196468 140726019963952 140726019946496 140067180207863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
/proc/30737/statm: 6526038 9836 3178 1 0 6488315 0
[pid=30737/tid=30738] ppid=30735 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30737/task/30738/stat : 30738 (java) R 30735 30735 20696 0 -1 4202560 5589 0 0 0 18 1 0 0 20 0 20 0 88617673 26730651648 9836 33554432000 4194304 4196468 140726019963952 140067184447536 140067180229789 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30739] ppid=30735 vsize=26104152 memory=342 CPUtime=0 cores=0-7
/proc/30737/task/30739/stat : 30739 (java) S 30735 30735 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 9836 33554432000 4194304 4196468 140726019963952 140067138968592 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30740] ppid=30735 vsize=26104152 memory=3690333293712504480 CPUtime=0 cores=0-7
/proc/30737/task/30740/stat : 30740 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066737900688 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30741] ppid=30735 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30737/task/30741/stat : 30741 (java) S 30735 30735 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066736847632 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30742] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30742/stat : 30742 (java) S 30735 30735 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066735795088 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30743] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30743/stat : 30743 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066734742032 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30744] ppid=30735 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30737/task/30744/stat : 30744 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066733689488 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30745] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30745/stat : 30745 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066732636432 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30746] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30746/stat : 30746 (java) S 30735 30735 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88617674 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066731583888 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30747] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30747/stat : 30747 (java) S 30735 30735 20696 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88617675 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066441931504 140067180219010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30748] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30748/stat : 30748 (java) S 30735 30735 20696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88617676 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066440877728 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30749] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30749/stat : 30749 (java) S 30735 30735 20696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88617676 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066439824624 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30750] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30750/stat : 30750 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617678 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066438773200 140067180226459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30751] ppid=30735 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/30737/task/30751/stat : 30751 (java) S 30735 30735 20696 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 20 0 88617678 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066437720304 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30752] ppid=30735 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/30737/task/30752/stat : 30752 (java) S 30735 30735 20696 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 20 0 88617678 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066436667760 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30753] ppid=30735 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30737/task/30753/stat : 30753 (java) S 30735 30735 20696 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 20 0 88617678 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066435614704 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30754] ppid=30735 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/30737/task/30754/stat : 30754 (java) S 30735 30735 20696 0 -1 1077944384 790 0 0 0 7 0 0 0 20 0 20 0 88617678 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066434562160 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30755] ppid=30735 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30755/stat : 30755 (java) S 30735 30735 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88617678 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066433510368 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30756] ppid=30735 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30737/task/30756/stat : 30756 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617679 26730651648 9836 33554432000 4194304 4196468 140726019963952 140066432457904 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40796 KiB

[startup+0.309713 s]*
/proc/loadavg: 8.12 8.32 8.29 3/203 30756
/proc/meminfo: memFree=27325052/32770624 swapFree=67108860/67108860
[pid=30735] ppid=30732 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30735/stat : 30735 (xcsp3-exec) S 30732 30735 20696 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88617672 115843072 363 33554432000 4194304 5098028 140735561618032 140735561616136 140563648131708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37220352 140735561622582 140735561622784 140735561622784 140735561625546 0
/proc/30735/statm: 28282 363 305 221 0 87 0
[pid=30737] ppid=30735 vsize=26108408 memory=46412 CPUtime=0.52 cores=0-7
/proc/30737/stat : 30737 (java) S 30735 30735 20696 0 -1 1077944320 9325 0 0 0 48 4 0 0 20 0 20 0 88617672 26735009792 11603 33554432000 4194304 4196468 140726019963952 140726019946496 140067180207863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
/proc/30737/statm: 6527102 11603 3236 1 0 6488315 0
[pid=30737/tid=30738] ppid=30735 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30737/task/30738/stat : 30738 (java) R 30735 30735 20696 0 -1 4202560 6246 0 0 0 27 2 0 0 20 0 20 0 88617673 26735009792 11603 33554432000 4194304 4196468 140726019963952 140067184445024 140067165901344 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30739] ppid=30735 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30739/stat : 30739 (java) S 30735 30735 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88617674 26735009792 11603 33554432000 4194304 4196468 140726019963952 140067138968592 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30740] ppid=30735 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30740/stat : 30740 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617674 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066737900688 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30741] ppid=30735 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30741/stat : 30741 (java) S 30735 30735 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88617674 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066736847632 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30742] ppid=30735 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30742/stat : 30742 (java) S 30735 30735 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88617674 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066735795088 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30743] ppid=30735 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/30737/task/30743/stat : 30743 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617674 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066734742032 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30744] ppid=30735 vsize=26108408 memory=140066802463663 CPUtime=0 cores=0-7
/proc/30737/task/30744/stat : 30744 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617674 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066733689488 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30745] ppid=30735 vsize=26108408 memory=140066802465968 CPUtime=0 cores=0-7
/proc/30737/task/30745/stat : 30745 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617674 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066732636432 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30746] ppid=30735 vsize=26108408 memory=140066802468272 CPUtime=0 cores=0-7
/proc/30737/task/30746/stat : 30746 (java) S 30735 30735 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88617674 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066731583888 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30747] ppid=30735 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30747/stat : 30747 (java) S 30735 30735 20696 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88617675 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066441931504 140067180219010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30748] ppid=30735 vsize=26108408 memory=280133604943504 CPUtime=0 cores=0-7
/proc/30737/task/30748/stat : 30748 (java) S 30735 30735 20696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88617676 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066440877728 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30749] ppid=30735 vsize=26108408 memory=280133604950416 CPUtime=0 cores=0-7
/proc/30737/task/30749/stat : 30749 (java) S 30735 30735 20696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88617676 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066439824624 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30750] ppid=30735 vsize=26108408 memory=280133604891696 CPUtime=0 cores=0-7
/proc/30737/task/30750/stat : 30750 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617678 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066438773200 140067180226459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30751] ppid=30735 vsize=26108408 memory=280133604964240 CPUtime=0.02 cores=0-7
/proc/30737/task/30751/stat : 30751 (java) S 30735 30735 20696 0 -1 1077944384 184 0 0 0 2 0 0 0 20 0 20 0 88617678 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066437720304 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30752] ppid=30735 vsize=26108408 memory=280133604971152 CPUtime=0.04 cores=0-7
/proc/30737/task/30752/stat : 30752 (java) R 30735 30735 20696 0 -1 4202560 426 0 0 0 4 0 0 0 20 0 20 0 88617678 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066436658144 140067161729045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30753] ppid=30735 vsize=26108408 memory=280133604968848 CPUtime=0.01 cores=0-7
/proc/30737/task/30753/stat : 30753 (java) S 30735 30735 20696 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 20 0 88617678 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066435614704 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30754] ppid=30735 vsize=26108408 memory=280133604985008 CPUtime=0.12 cores=0-7
/proc/30737/task/30754/stat : 30754 (java) S 30735 30735 20696 0 -1 1077944384 868 0 0 0 12 0 0 0 20 0 20 0 88617678 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066434562160 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30755] ppid=30735 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30755/stat : 30755 (java) S 30735 30735 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88617678 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066433510368 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30756] ppid=30735 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/30737/task/30756/stat : 30756 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617679 26735009792 11603 33554432000 4194304 4196468 140726019963952 140066432457904 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47864 KiB

[startup+0.700931 s]
/proc/loadavg: 7.71 8.23 8.27 5/203 30756
/proc/meminfo: memFree=27301356/32770624 swapFree=67108860/67108860
[pid=30735] ppid=30732 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30735/stat : 30735 (xcsp3-exec) S 30732 30735 20696 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88617672 115843072 363 33554432000 4194304 5098028 140735561618032 140735561616136 140563648131708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37220352 140735561622582 140735561622784 140735561622784 140735561625546 0
/proc/30735/statm: 28282 363 305 221 0 87 0
[pid=30737] ppid=30735 vsize=26110532 memory=113728 CPUtime=1.98 cores=0-7
/proc/30737/stat : 30737 (java) S 30735 30735 20696 0 -1 1077944320 16452 0 0 0 192 6 0 0 20 0 20 0 88617672 26737184768 28432 33554432000 4194304 4196468 140726019963952 140726019946496 140067180207863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
/proc/30737/statm: 6527633 28432 3359 1 0 6488827 0
[pid=30737/tid=30738] ppid=30735 vsize=26110532 memory=280133605342896 CPUtime=0.67 cores=0-7
/proc/30737/task/30738/stat : 30738 (java) D 30735 30735 20696 0 -1 1077944384 6967 0 0 0 64 3 0 0 20 0 20 0 88617673 26737184768 28432 33554432000 4194304 4196468 140726019963952 140067184424272 140067172887085 0 4 0 16800975 18446744072101641764 0 0 -1 4 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30739] ppid=30735 vsize=26110532 memory=140066802672496 CPUtime=0 cores=0-7
/proc/30737/task/30739/stat : 30739 (java) S 30735 30735 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88617674 26737184768 28432 33554432000 4194304 4196468 140726019963952 140067138968592 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30740] ppid=30735 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/30737/task/30740/stat : 30740 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88617674 26737184768 28432 33554432000 4194304 4196468 140726019963952 140066737900688 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30741] ppid=30735 vsize=26110564 memory=1696 CPUtime=0 cores=0-7
/proc/30737/task/30741/stat : 30741 (java) S 30735 30735 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88617674 26737217536 28432 33554432000 4194304 4196468 140726019963952 140066736847632 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0

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

/proc/meminfo: memFree=20126476/32770624 swapFree=67108860/67108860
[pid=30735] ppid=30732 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30735/stat : 30735 (xcsp3-exec) S 30732 30735 20696 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88617672 115843072 363 33554432000 4194304 5098028 140735561618032 140735561616136 140563648131708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37220352 140735561622582 140735561622784 140735561622784 140735561625546 0
/proc/30735/statm: 28282 363 305 221 0 87 0
[pid=30737] ppid=30735 vsize=26645092 memory=7232908 CPUtime=19343.4 cores=0-7
/proc/30737/stat : 30737 (java) S 30735 30735 20696 0 -1 1077944320 1539939 0 0 0 1929987 4354 0 0 20 0 28 0 88617672 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140726019946496 140067180207863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
/proc/30737/statm: 6661273 1808227 3468 1 0 6622467 0
[pid=30737/tid=30738] ppid=30735 vsize=26645092 memory=7232908 CPUtime=44.07 cores=0-7
/proc/30737/task/30738/stat : 30738 (java) S 30735 30735 20696 0 -1 1077944384 18997 0 0 0 4383 24 0 0 20 0 28 0 88617673 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140067184448640 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30739] ppid=30735 vsize=26645092 memory=7232848 CPUtime=26.74 cores=0-7
/proc/30737/task/30739/stat : 30739 (java) S 30735 30735 20696 0 -1 1077944384 53956 0 0 0 2393 281 0 0 20 0 28 0 88617674 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140067138968592 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30740] ppid=30735 vsize=26645092 memory=7232848 CPUtime=26.75 cores=0-7
/proc/30737/task/30740/stat : 30740 (java) S 30735 30735 20696 0 -1 1077944384 73773 0 0 0 2385 290 0 0 20 0 28 0 88617674 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066737900688 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30741] ppid=30735 vsize=26645092 memory=7232848 CPUtime=26.6 cores=0-7
/proc/30737/task/30741/stat : 30741 (java) S 30735 30735 20696 0 -1 1077944384 50946 0 0 0 2384 276 0 0 20 0 28 0 88617674 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066736847632 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30742] ppid=30735 vsize=26645092 memory=7232848 CPUtime=26.62 cores=0-7
/proc/30737/task/30742/stat : 30742 (java) S 30735 30735 20696 0 -1 1077944384 50733 0 0 0 2386 276 0 0 20 0 28 0 88617674 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066735795088 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30743] ppid=30735 vsize=26645092 memory=1452 CPUtime=26.8 cores=0-7
/proc/30737/task/30743/stat : 30743 (java) S 30735 30735 20696 0 -1 1077944384 53194 0 0 0 2377 303 0 0 20 0 28 0 88617674 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066734742032 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30744] ppid=30735 vsize=26645092 memory=7232848 CPUtime=26.53 cores=0-7
/proc/30737/task/30744/stat : 30744 (java) S 30735 30735 20696 0 -1 1077944384 56811 0 0 0 2363 290 0 0 20 0 28 0 88617674 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066733689488 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30745] ppid=30735 vsize=26645092 memory=264157668634686 CPUtime=26.75 cores=0-7
/proc/30737/task/30745/stat : 30745 (java) S 30735 30735 20696 0 -1 1077944384 49818 0 0 0 2377 298 0 0 20 0 28 0 88617674 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066732636432 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30746] ppid=30735 vsize=26645092 memory=1452 CPUtime=26.74 cores=0-7
/proc/30737/task/30746/stat : 30746 (java) S 30735 30735 20696 0 -1 1077944384 48773 0 0 0 2383 291 0 0 20 0 28 0 88617674 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066731583888 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30747] ppid=30735 vsize=26645092 memory=7232848 CPUtime=1.3 cores=0-7
/proc/30737/task/30747/stat : 30747 (java) S 30735 30735 20696 0 -1 1077944384 39664 0 0 0 108 22 0 0 20 0 28 0 88617675 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066441931504 140067180219010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30748] ppid=30735 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/30737/task/30748/stat : 30748 (java) S 30735 30735 20696 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 88617676 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066440877792 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30749] ppid=30735 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/30737/task/30749/stat : 30749 (java) S 30735 30735 20696 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 28 0 88617676 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066439824640 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30750] ppid=30735 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/30737/task/30750/stat : 30750 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88617678 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066438773200 140067180226459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30751] ppid=30735 vsize=26645092 memory=7232908 CPUtime=4.68 cores=0-7
/proc/30737/task/30751/stat : 30751 (java) S 30735 30735 20696 0 -1 1077944384 37384 0 0 0 461 7 0 0 20 0 28 0 88617678 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066437720304 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30752] ppid=30735 vsize=26645092 memory=25748 CPUtime=3.98 cores=0-7
/proc/30737/task/30752/stat : 30752 (java) S 30735 30735 20696 0 -1 1077944384 36813 0 0 0 392 6 0 0 20 0 28 0 88617678 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066436667760 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30753] ppid=30735 vsize=26645092 memory=1228 CPUtime=5.05 cores=0-7
/proc/30737/task/30753/stat : 30753 (java) S 30735 30735 20696 0 -1 1077944384 46877 0 0 0 496 9 0 0 20 0 28 0 88617678 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066435614704 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30754] ppid=30735 vsize=26645092 memory=7232848 CPUtime=1.25 cores=0-7
/proc/30737/task/30754/stat : 30754 (java) S 30735 30735 20696 0 -1 1077944384 39785 0 0 0 117 8 0 0 20 0 28 0 88617678 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066434562160 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30755] ppid=30735 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/30737/task/30755/stat : 30755 (java) S 30735 30735 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88617678 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066433510368 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30756] ppid=30735 vsize=26645092 memory=7232908 CPUtime=1.19 cores=0-7
/proc/30737/task/30756/stat : 30756 (java) S 30735 30735 20696 0 -1 1077944384 6586 0 0 0 48 71 0 0 20 0 28 0 88617679 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066432457904 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31376] ppid=30735 vsize=26645092 memory=1452 CPUtime=1020.65 cores=0-7
/proc/30737/task/31376/stat : 31376 (java) R 30735 30735 20696 0 -1 4202560 20350 0 0 0 102057 8 0 0 20 0 28 0 88765224 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066417356088 140066824201977 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31377] ppid=30735 vsize=26645092 memory=6791534058613427641 CPUtime=1024.74 cores=0-7
/proc/30737/task/31377/stat : 31377 (java) R 30735 30735 20696 0 -1 4202560 19709 0 0 0 102471 3 0 0 20 0 28 0 88765224 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066416304600 140066824201977 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31378] ppid=30735 vsize=26645092 memory=1720 CPUtime=1024.26 cores=0-7
/proc/30737/task/31378/stat : 31378 (java) R 30735 30735 20696 0 -1 4202560 17490 0 0 0 102389 37 0 0 20 0 28 0 88765224 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066419462216 140066820484082 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31379] ppid=30735 vsize=26645092 memory=1452 CPUtime=1024.64 cores=0-7
/proc/30737/task/31379/stat : 31379 (java) R 30735 30735 20696 0 -1 4202560 21300 0 0 0 102456 8 0 0 20 0 28 0 88765224 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066420515016 140066825126978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31380] ppid=30735 vsize=26645092 memory=1452 CPUtime=1024.71 cores=0-7
/proc/30737/task/31380/stat : 31380 (java) R 30735 30735 20696 0 -1 4202560 21105 0 0 0 102421 50 0 0 20 0 28 0 88765224 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066423672648 140066825127775 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31381] ppid=30735 vsize=26645092 memory=2192 CPUtime=1016.22 cores=0-7
/proc/30737/task/31381/stat : 31381 (java) R 30735 30735 20696 0 -1 4202560 27713 0 0 0 101582 40 0 0 20 0 28 0 88765224 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066418409416 140066820484192 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31382] ppid=30735 vsize=26645092 memory=7528 CPUtime=1024.56 cores=0-7
/proc/30737/task/31382/stat : 31382 (java) R 30735 30735 20696 0 -1 4202560 18421 0 0 0 102427 29 0 0 20 0 28 0 88765224 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066422620336 140066825127373 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31383] ppid=30735 vsize=26645092 memory=828 CPUtime=1015.97 cores=0-7
/proc/30737/task/31383/stat : 31383 (java) R 30735 30735 20696 0 -1 4202560 30508 0 0 0 101574 23 0 0 20 0 28 0 88765224 27284574208 1808227 33554432000 4194304 4196468 140726019963952 140066421570576 140066825127391 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
Current children cumulated CPU time: 19343.4 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 7234360 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.74 8.46 8.32 9/211 31399
/proc/meminfo: memFree=20061584/32770624 swapFree=67108860/67108860
[pid=30735] ppid=30732 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30735/stat : 30735 (xcsp3-exec) S 30732 30735 20696 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88617672 115843072 363 33554432000 4194304 5098028 140735561618032 140735561616136 140563648131708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37220352 140735561622582 140735561622784 140735561622784 140735561625546 0
/proc/30735/statm: 28282 363 305 221 0 87 0
[pid=30737] ppid=30735 vsize=26645092 memory=7297412 CPUtime=19484.7 cores=0-7
/proc/30737/stat : 30737 (java) S 30735 30735 20696 0 -1 1077944320 1541239 0 0 0 1944108 4357 0 0 20 0 28 0 88617672 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140726019946496 140067180207863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
/proc/30737/statm: 6661273 1824353 3468 1 0 6622467 0
[pid=30737/tid=30738] ppid=30735 vsize=26645092 memory=6791534058613427641 CPUtime=44.07 cores=0-7
/proc/30737/task/30738/stat : 30738 (java) S 30735 30735 20696 0 -1 1077944384 18997 0 0 0 4383 24 0 0 20 0 28 0 88617673 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140067184448640 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30739] ppid=30735 vsize=26645092 memory=4126316290023845779 CPUtime=26.81 cores=0-7
/proc/30737/task/30739/stat : 30739 (java) S 30735 30735 20696 0 -1 1077944384 53960 0 0 0 2400 281 0 0 20 0 28 0 88617674 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140067138968592 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30740] ppid=30735 vsize=26645092 memory=18220 CPUtime=26.82 cores=0-7
/proc/30737/task/30740/stat : 30740 (java) S 30735 30735 20696 0 -1 1077944384 73774 0 0 0 2392 290 0 0 20 0 28 0 88617674 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066737900688 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30741] ppid=30735 vsize=26645092 memory=1788 CPUtime=26.68 cores=0-7
/proc/30737/task/30741/stat : 30741 (java) S 30735 30735 20696 0 -1 1077944384 50956 0 0 0 2391 277 0 0 20 0 28 0 88617674 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066736847632 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30742] ppid=30735 vsize=26645092 memory=1232 CPUtime=26.69 cores=0-7
/proc/30737/task/30742/stat : 30742 (java) S 30735 30735 20696 0 -1 1077944384 50742 0 0 0 2393 276 0 0 20 0 28 0 88617674 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066735795088 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30743] ppid=30735 vsize=26645092 memory=644 CPUtime=26.87 cores=0-7
/proc/30737/task/30743/stat : 30743 (java) S 30735 30735 20696 0 -1 1077944384 53196 0 0 0 2384 303 0 0 20 0 28 0 88617674 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066734742032 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30744] ppid=30735 vsize=26645092 memory=952 CPUtime=26.6 cores=0-7
/proc/30737/task/30744/stat : 30744 (java) S 30735 30735 20696 0 -1 1077944384 56813 0 0 0 2370 290 0 0 20 0 28 0 88617674 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066733689488 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30745] ppid=30735 vsize=26645092 memory=6791534058613427641 CPUtime=26.82 cores=0-7
/proc/30737/task/30745/stat : 30745 (java) S 30735 30735 20696 0 -1 1077944384 49839 0 0 0 2383 299 0 0 20 0 28 0 88617674 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066732636432 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30746] ppid=30735 vsize=26645092 memory=25748 CPUtime=26.81 cores=0-7
/proc/30737/task/30746/stat : 30746 (java) S 30735 30735 20696 0 -1 1077944384 48777 0 0 0 2390 291 0 0 20 0 28 0 88617674 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066731583888 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30747] ppid=30735 vsize=26645092 memory=1228 CPUtime=1.3 cores=0-7
/proc/30737/task/30747/stat : 30747 (java) S 30735 30735 20696 0 -1 1077944384 39668 0 0 0 108 22 0 0 20 0 28 0 88617675 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066441931504 140067180219010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30748] ppid=30735 vsize=26645092 memory=2432 CPUtime=0 cores=0-7
/proc/30737/task/30748/stat : 30748 (java) S 30735 30735 20696 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 88617676 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066440877792 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30749] ppid=30735 vsize=26645092 memory=828 CPUtime=0 cores=0-7
/proc/30737/task/30749/stat : 30749 (java) S 30735 30735 20696 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 28 0 88617676 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066439824640 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30750] ppid=30735 vsize=26645092 memory=1800 CPUtime=0 cores=0-7
/proc/30737/task/30750/stat : 30750 (java) S 30735 30735 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88617678 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066438773200 140067180226459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30751] ppid=30735 vsize=26645092 memory=916 CPUtime=4.68 cores=0-7
/proc/30737/task/30751/stat : 30751 (java) S 30735 30735 20696 0 -1 1077944384 37384 0 0 0 461 7 0 0 20 0 28 0 88617678 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066437720304 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30752] ppid=30735 vsize=26645092 memory=4140 CPUtime=3.98 cores=0-7
/proc/30737/task/30752/stat : 30752 (java) S 30735 30735 20696 0 -1 1077944384 36813 0 0 0 392 6 0 0 20 0 28 0 88617678 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066436667760 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30753] ppid=30735 vsize=26645092 memory=1408 CPUtime=5.05 cores=0-7
/proc/30737/task/30753/stat : 30753 (java) S 30735 30735 20696 0 -1 1077944384 46877 0 0 0 496 9 0 0 20 0 28 0 88617678 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066435614704 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30754] ppid=30735 vsize=26645092 memory=4188 CPUtime=1.25 cores=0-7
/proc/30737/task/30754/stat : 30754 (java) S 30735 30735 20696 0 -1 1077944384 39785 0 0 0 117 8 0 0 20 0 28 0 88617678 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066434562160 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30755] ppid=30735 vsize=26645092 memory=1452 CPUtime=0 cores=0-7
/proc/30737/task/30755/stat : 30755 (java) S 30735 30735 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88617678 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066433510368 140067180218069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=30756] ppid=30735 vsize=26645092 memory=7297412 CPUtime=1.19 cores=0-7
/proc/30737/task/30756/stat : 30756 (java) S 30735 30735 20696 0 -1 1077944384 6588 0 0 0 48 71 0 0 20 0 28 0 88617679 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066432457904 140067180219010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31376] ppid=30735 vsize=26645092 memory=7297412 CPUtime=1038.26 cores=0-7
/proc/30737/task/31376/stat : 31376 (java) R 30735 30735 20696 0 -1 4202560 20861 0 0 0 103817 9 0 0 20 0 28 0 88765224 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066417356088 140066824368634 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31377] ppid=30735 vsize=26645092 memory=7297412 CPUtime=1042.37 cores=0-7
/proc/30737/task/31377/stat : 31377 (java) R 30735 30735 20696 0 -1 4202560 19710 0 0 0 104234 3 0 0 20 0 28 0 88765224 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066416307552 140066822176161 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31378] ppid=30735 vsize=26645092 memory=3560 CPUtime=1041.88 cores=0-7
/proc/30737/task/31378/stat : 31378 (java) R 30735 30735 20696 0 -1 4202560 17561 0 0 0 104151 37 0 0 20 0 28 0 88765224 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066419462016 140066820485048 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31379] ppid=30735 vsize=26645092 memory=1224 CPUtime=1042.27 cores=0-7
/proc/30737/task/31379/stat : 31379 (java) R 30735 30735 20696 0 -1 4202560 21300 0 0 0 104219 8 0 0 20 0 28 0 88765224 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066420515064 140066824202234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31380] ppid=30735 vsize=26645092 memory=1944 CPUtime=1042.34 cores=0-7
/proc/30737/task/31380/stat : 31380 (java) R 30735 30735 20696 0 -1 4202560 21447 0 0 0 104183 51 0 0 20 0 28 0 88765224 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066423672696 140066825127373 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31381] ppid=30735 vsize=26645092 memory=5484 CPUtime=1033.53 cores=0-7
/proc/30737/task/31381/stat : 31381 (java) R 30735 30735 20696 0 -1 4202560 27937 0 0 0 103313 40 0 0 20 0 28 0 88765224 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066418409416 140066825127391 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31382] ppid=30735 vsize=26645092 memory=1444 CPUtime=1042.19 cores=0-7
/proc/30737/task/31382/stat : 31382 (java) R 30735 30735 20696 0 -1 4202560 18458 0 0 0 104190 29 0 0 20 0 28 0 88765224 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066422620584 140066824202234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
[pid=30737/tid=31383] ppid=30735 vsize=26645092 memory=1160 CPUtime=1033.59 cores=0-7
/proc/30737/task/31383/stat : 31383 (java) R 30735 30735 20696 0 -1 4202560 30563 0 0 0 103336 23 0 0 20 0 28 0 88765224 27284574208 1824353 33554432000 4194304 4196468 140726019963952 140066421568072 140066820483676 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 21934080 140726019970177 140726019970349 140726019970349 140726019973071 0
Current children cumulated CPU time: 19484.7 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 7298864 KiB

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

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

[startup+2520.15 s]
# the end of solver process 30737 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19441.9 s, system=43.6117 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+2520.13 s]*
/proc/loadavg: 8.74 8.46 8.32 2/184 31401
/proc/meminfo: memFree=25584596/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.00226 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 19485.5
CPU user time (s): 19441.9
CPU system time (s): 43.6117
CPU usage (%): 773.188
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 9623776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19441.9
system time used= 43.6117
maximum resident set size= 9622396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1542919
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87106
involuntary context switches= 219422


# summary of solver processes directly reported to runsolver:
#   pid: 30735,30737
#   total CPU time (s): 19485.5
#   total CPU user time (s): 19441.9
#   total CPU system time (s): 43.6117

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.1401 second user time and 31.4342 second system time

The end

Name	QuadraticAssignment/ QuadraticAssignment-sko72_c18.xml
MD5SUM	69672b68d8d3f9201b488571cf4784d4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	36562
Best CPU time to get the best result obtained on this benchmark	19485.5
Satisfiable
(Un)Satisfiability was proved
Number of variables	5256
Number of constraints	2557
Number of domains	2
Minimum domain size	8
Maximum domain size	72
Distribution of domain sizes	[{"size":8,"count":2556},{"size":72,"count":72}]
Minimum variable degree	0
Maximum variable degree	72
Distribution of variable degrees	[{"degree":0,"count":2628},{"degree":2,"count":2556},{"degree":72,"count":72}]
Minimum constraint arity	3
Maximum constraint arity	72
Distribution of constraint arities	[{"arity":3,"count":2556},{"arity":72,"count":1}]
Number of extensional constraints	2556
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2556},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4297514

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