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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-09)	SAT (TO)	2693	20037.699	2520.1201

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270839-1502715521.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4270839-1502715521.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.34/0.27	c parse instance...
5.06/1.48	c solve instance...
6.17/1.65	o 8804 
6.17/1.67	o 3983 
14.70/2.80	o 3954 
16.35/2.98	o 3950 
18.68/3.25	o 3858 
20.16/3.48	o 3855 
23.31/3.83	o 3846 
24.07/3.98	o 3544 
24.07/3.99	o 3456 
24.07/4.00	o 3375 
24.07/4.01	o 3319 
29.20/4.70	o 3084 
29.90/4.74	o 3003 
29.90/4.79	o 2965 
448.81/57.39	o 2924 
448.81/57.41	o 2892 
449.64/57.42	o 2879 
449.64/57.44	o 2869 
449.64/57.47	o 2868 
450.09/57.53	o 2790 
891.80/113.01	o 2786 
3454.46/434.11	o 2785 
3454.46/434.12	o 2783 
12501.55/1569.35	o 2774 
12501.55/1569.36	o 2760 
12501.55/1569.37	o 2723 
12501.55/1569.38	o 2693 
20036.86/2520.09	s SATISFIABLE
20036.86/2520.09	v <instantiation>
20036.86/2520.09	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] </list>
20036.86/2520.10	v 	<values>0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 100 39 20 42 29 2 24 87 2 95 51 10 69 20 84 6 5 19 22 2 66 63 23 13 24 42 53 20 33 77 45 14 61 32 4 41 53 43 16 24 97 31 36 25 30 50 47 40 7 4 45 31 41 64 90 </values>
20036.86/2520.10	v </instantiation>
20036.86/2520.10	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 (14060 MiB free)
  memory of node 1: 16384 MiB (12272 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270839-1502715521/watcher-4270839-1502715521 -o /tmp/evaluation-result-4270839-1502715521/solver-4270839-1502715521 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502709619-4560 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 98320366 HOME/instance-4270839-1502715521.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=5823, runsolver pid=5820

[startup+0.100113 s]*
/proc/loadavg: 7.85 8.10 8.21 2/200 5844
/proc/meminfo: memFree=26948692/32770624 swapFree=67108860/67108860
[pid=5823] ppid=5820 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5823/stat : 5823 (xcsp3-exec) S 5820 5823 4533 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104639941 9740288 346 33554432000 4194304 5098028 140726678530544 140726678528648 140311215272572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39612416 140726678537318 140726678537527 140726678537527 140726678540267 0
/proc/5823/statm: 2378 346 289 221 0 87 0
[pid=5825] ppid=5823 vsize=25999808 memory=27052 CPUtime=0.12 cores=0-7
/proc/5825/stat : 5825 (java) S 5823 5823 4533 0 -1 1077944320 5625 0 0 0 11 1 0 0 20 0 20 0 104639941 26623803392 6763 33554432000 4194304 4196468 140731810726672 140731810709216 140712919981815 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
/proc/5825/statm: 6499952 6763 2871 1 0 6488269 0
[pid=5825/tid=5826] ppid=5823 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/5825/task/5826/stat : 5826 (java) R 5823 5823 4533 0 -1 4202560 3640 0 0 0 8 0 0 0 20 0 20 0 104639942 26623803392 6763 33554432000 4194304 4196468 140731810726672 140712924208416 140712919993750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5827] ppid=5823 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5825/task/5827/stat : 5827 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639943 26623803392 6763 33554432000 4194304 4196468 140731810726672 140712872602640 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5828] ppid=5823 vsize=25999808 memory=140296831256192 CPUtime=0 cores=0-7
/proc/5825/task/5828/stat : 5828 (java) S 5823 5823 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104639943 26623803392 6763 33554432000 4194304 4196468 140731810726672 140712871550096 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5829] ppid=5823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5829/stat : 5829 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639943 26623803392 6763 33554432000 4194304 4196468 140731810726672 140712870497040 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5830] ppid=5823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5830/stat : 5830 (java) S 5823 5823 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104639943 26623803392 6763 33554432000 4194304 4196468 140731810726672 140712869444496 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5831] ppid=5823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5831/stat : 5831 (java) S 5823 5823 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104639943 26623803392 6763 33554432000 4194304 4196468 140731810726672 140712868391440 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5832] ppid=5823 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5825/task/5832/stat : 5832 (java) S 5823 5823 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104639943 26623803392 6763 33554432000 4194304 4196468 140731810726672 140712867338896 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5833] ppid=5823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5833/stat : 5833 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639943 26623803392 6763 33554432000 4194304 4196468 140731810726672 140712866285840 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5834] ppid=5823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5834/stat : 5834 (java) S 5823 5823 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104639943 26623803392 6763 33554432000 4194304 4196468 140731810726672 140712865233296 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5835] ppid=5823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5835/stat : 5835 (java) S 5823 5823 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104639944 26623803392 6763 33554432000 4194304 4196468 140731810726672 140711979612912 140712919992962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5836] ppid=5823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5836/stat : 5836 (java) S 5823 5823 4533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104639945 26623803392 6763 33554432000 4194304 4196468 140731810726672 140711978559136 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5837] ppid=5823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5837/stat : 5837 (java) S 5823 5823 4533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104639945 26623803392 6763 33554432000 4194304 4196468 140731810726672 140711977506032 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5838] ppid=5823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5838/stat : 5838 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639947 26623803392 6763 33554432000 4194304 4196468 140731810726672 140711976454608 140712920000411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5839] ppid=5823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5839/stat : 5839 (java) S 5823 5823 4533 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 104639947 26623803392 6763 33554432000 4194304 4196468 140731810726672 140711975401712 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5840] ppid=5823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5840/stat : 5840 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639947 26623803392 6763 33554432000 4194304 4196468 140731810726672 140711974349168 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5841] ppid=5823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5841/stat : 5841 (java) S 5823 5823 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104639947 26623803392 6763 33554432000 4194304 4196468 140731810726672 140711973296112 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5842] ppid=5823 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/5825/task/5842/stat : 5842 (java) R 5823 5823 4533 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 104639947 26623803392 6763 33554432000 4194304 4196468 140731810726672 140711972243568 140712898906170 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5843] ppid=5823 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5843/stat : 5843 (java) S 5823 5823 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104639947 26623803392 6763 33554432000 4194304 4196468 140731810726672 140711971191776 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5844] ppid=5823 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5825/task/5844/stat : 5844 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639948 26623803392 6763 33554432000 4194304 4196468 140731810726672 140711970139312 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28436 KiB

[startup+0.209609 s]*
/proc/loadavg: 7.85 8.10 8.21 3/200 5844
/proc/meminfo: memFree=26937280/32770624 swapFree=67108860/67108860
[pid=5823] ppid=5820 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5823/stat : 5823 (xcsp3-exec) S 5820 5823 4533 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104639941 9740288 346 33554432000 4194304 5098028 140726678530544 140726678528648 140311215272572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39612416 140726678537318 140726678537527 140726678537527 140726678540267 0
/proc/5823/statm: 2378 346 289 221 0 87 0
[pid=5825] ppid=5823 vsize=26004064 memory=38584 CPUtime=0.34 cores=0-7
/proc/5825/stat : 5825 (java) S 5823 5823 4533 0 -1 1077944320 8237 0 0 0 32 2 0 0 20 0 20 0 104639941 26628161536 9646 33554432000 4194304 4196468 140731810726672 140731810709216 140712919981815 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
/proc/5825/statm: 6501016 9646 3005 1 0 6488269 0
[pid=5825/tid=5826] ppid=5823 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5825/task/5826/stat : 5826 (java) R 5823 5823 4533 0 -1 4202560 5427 0 0 0 18 1 0 0 20 0 20 0 104639942 26628161536 9646 33554432000 4194304 4196468 140731810726672 140712924202808 140712904062302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5827] ppid=5823 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/5825/task/5827/stat : 5827 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 9646 33554432000 4194304 4196468 140731810726672 140712872602640 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5828] ppid=5823 vsize=26004064 memory=140296831262268 CPUtime=0 cores=0-7
/proc/5825/task/5828/stat : 5828 (java) S 5823 5823 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 9646 33554432000 4194304 4196468 140731810726672 140712871550096 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5829] ppid=5823 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5825/task/5829/stat : 5829 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 9646 33554432000 4194304 4196468 140731810726672 140712870497040 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5830] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5830/stat : 5830 (java) S 5823 5823 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 9646 33554432000 4194304 4196468 140731810726672 140712869444496 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5831] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5831/stat : 5831 (java) S 5823 5823 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 9646 33554432000 4194304 4196468 140731810726672 140712868391440 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5832] ppid=5823 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5825/task/5832/stat : 5832 (java) S 5823 5823 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 9646 33554432000 4194304 4196468 140731810726672 140712867338896 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5833] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5833/stat : 5833 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 9646 33554432000 4194304 4196468 140731810726672 140712866285840 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5834] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5834/stat : 5834 (java) S 5823 5823 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 9646 33554432000 4194304 4196468 140731810726672 140712865233296 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5835] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5835/stat : 5835 (java) S 5823 5823 4533 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104639944 26628161536 9646 33554432000 4194304 4196468 140731810726672 140711979612912 140712919992962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5836] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5836/stat : 5836 (java) S 5823 5823 4533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104639945 26628161536 9646 33554432000 4194304 4196468 140731810726672 140711978559136 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5837] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5837/stat : 5837 (java) S 5823 5823 4533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104639945 26628161536 9646 33554432000 4194304 4196468 140731810726672 140711977506032 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5838] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5838/stat : 5838 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639947 26628161536 9646 33554432000 4194304 4196468 140731810726672 140711976454608 140712920000411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5839] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5839/stat : 5839 (java) S 5823 5823 4533 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 20 0 104639947 26628161536 9646 33554432000 4194304 4196468 140731810726672 140711975401712 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5840] ppid=5823 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5825/task/5840/stat : 5840 (java) S 5823 5823 4533 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 20 0 104639947 26628161536 9646 33554432000 4194304 4196468 140731810726672 140711974349168 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5841] ppid=5823 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/5825/task/5841/stat : 5841 (java) S 5823 5823 4533 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 104639947 26628161536 9646 33554432000 4194304 4196468 140731810726672 140711973296112 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5842] ppid=5823 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/5825/task/5842/stat : 5842 (java) S 5823 5823 4533 0 -1 1077944384 698 0 0 0 8 0 0 0 20 0 20 0 104639947 26628161536 9646 33554432000 4194304 4196468 140731810726672 140711972243568 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5843] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5843/stat : 5843 (java) S 5823 5823 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104639947 26628161536 9646 33554432000 4194304 4196468 140731810726672 140711971191776 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5844] ppid=5823 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5825/task/5844/stat : 5844 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639948 26628161536 9646 33554432000 4194304 4196468 140731810726672 140711970139312 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39968 KiB

[startup+0.309376 s]*
/proc/loadavg: 7.85 8.10 8.21 4/200 5844
/proc/meminfo: memFree=26932736/32770624 swapFree=67108860/67108860
[pid=5823] ppid=5820 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5823/stat : 5823 (xcsp3-exec) S 5820 5823 4533 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104639941 9740288 346 33554432000 4194304 5098028 140726678530544 140726678528648 140311215272572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39612416 140726678537318 140726678537527 140726678537527 140726678540267 0
/proc/5823/statm: 2378 346 289 221 0 87 0
[pid=5825] ppid=5823 vsize=26004064 memory=43748 CPUtime=0.5 cores=0-7
/proc/5825/stat : 5825 (java) S 5823 5823 4533 0 -1 1077944320 9153 0 0 0 47 3 0 0 20 0 20 0 104639941 26628161536 10937 33554432000 4194304 4196468 140731810726672 140731810709216 140712919981815 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
/proc/5825/statm: 6501016 10937 3060 1 0 6488269 0
[pid=5825/tid=5826] ppid=5823 vsize=26004064 memory=8112282956445269571 CPUtime=0.28 cores=0-7
/proc/5825/task/5826/stat : 5826 (java) R 5823 5823 4533 0 -1 4202560 6131 0 0 0 27 1 0 0 20 0 20 0 104639942 26628161536 10937 33554432000 4194304 4196468 140731810726672 140712924219984 140712920003741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5827] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5827/stat : 5827 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 10937 33554432000 4194304 4196468 140731810726672 140712872602640 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5828] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5828/stat : 5828 (java) S 5823 5823 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 10937 33554432000 4194304 4196468 140731810726672 140712871550096 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5829] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5829/stat : 5829 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 10937 33554432000 4194304 4196468 140731810726672 140712870497040 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5830] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5830/stat : 5830 (java) S 5823 5823 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 10937 33554432000 4194304 4196468 140731810726672 140712869444496 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5831] ppid=5823 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/5825/task/5831/stat : 5831 (java) S 5823 5823 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 10937 33554432000 4194304 4196468 140731810726672 140712868391440 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5832] ppid=5823 vsize=26004064 memory=140296717431727 CPUtime=0 cores=0-7
/proc/5825/task/5832/stat : 5832 (java) S 5823 5823 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 10937 33554432000 4194304 4196468 140731810726672 140712867338896 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5833] ppid=5823 vsize=26004064 memory=140296717434032 CPUtime=0 cores=0-7
/proc/5825/task/5833/stat : 5833 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 10937 33554432000 4194304 4196468 140731810726672 140712866285840 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5834] ppid=5823 vsize=26004064 memory=140296717436336 CPUtime=0 cores=0-7
/proc/5825/task/5834/stat : 5834 (java) S 5823 5823 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104639943 26628161536 10937 33554432000 4194304 4196468 140731810726672 140712865233296 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5835] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5835/stat : 5835 (java) S 5823 5823 4533 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104639944 26628161536 10937 33554432000 4194304 4196468 140731810726672 140711979612912 140712919992962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5836] ppid=5823 vsize=26004064 memory=280593434879632 CPUtime=0 cores=0-7
/proc/5825/task/5836/stat : 5836 (java) S 5823 5823 4533 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104639945 26628161536 10937 33554432000 4194304 4196468 140731810726672 140711978559136 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5837] ppid=5823 vsize=26004064 memory=280593434886544 CPUtime=0 cores=0-7
/proc/5825/task/5837/stat : 5837 (java) S 5823 5823 4533 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104639945 26628161536 10937 33554432000 4194304 4196468 140731810726672 140711977506032 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5838] ppid=5823 vsize=26004064 memory=280593434827824 CPUtime=0 cores=0-7
/proc/5825/task/5838/stat : 5838 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639947 26628161536 10937 33554432000 4194304 4196468 140731810726672 140711976454608 140712920000411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5839] ppid=5823 vsize=26004064 memory=280593434900368 CPUtime=0.01 cores=0-7
/proc/5825/task/5839/stat : 5839 (java) S 5823 5823 4533 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 20 0 104639947 26628161536 10937 33554432000 4194304 4196468 140731810726672 140711975401712 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5840] ppid=5823 vsize=26004064 memory=280593434907280 CPUtime=0.02 cores=0-7
/proc/5825/task/5840/stat : 5840 (java) S 5823 5823 4533 0 -1 1077944384 122 0 0 0 2 0 0 0 20 0 20 0 104639947 26628161536 10937 33554432000 4194304 4196468 140731810726672 140711974349168 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5841] ppid=5823 vsize=26004064 memory=280593434904976 CPUtime=0.02 cores=0-7
/proc/5825/task/5841/stat : 5841 (java) S 5823 5823 4533 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 20 0 104639947 26628161536 10937 33554432000 4194304 4196468 140731810726672 140711973296112 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5842] ppid=5823 vsize=26004064 memory=280593434921136 CPUtime=0.12 cores=0-7
/proc/5825/task/5842/stat : 5842 (java) R 5823 5823 4533 0 -1 4202560 809 0 0 0 12 0 0 0 20 0 20 0 104639947 26628161536 10937 33554432000 4194304 4196468 140731810726672 140711972243568 140712898347550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5843] ppid=5823 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5843/stat : 5843 (java) S 5823 5823 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104639947 26628161536 10937 33554432000 4194304 4196468 140731810726672 140711971191776 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5844] ppid=5823 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5825/task/5844/stat : 5844 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639948 26628161536 10937 33554432000 4194304 4196468 140731810726672 140711970139312 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45132 KiB

[startup+0.700909 s]
/proc/loadavg: 7.85 8.10 8.21 5/200 5844
/proc/meminfo: memFree=26903864/32770624 swapFree=67108860/67108860
[pid=5823] ppid=5820 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5823/stat : 5823 (xcsp3-exec) S 5820 5823 4533 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104639941 9740288 346 33554432000 4194304 5098028 140726678530544 140726678528648 140311215272572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39612416 140726678537318 140726678537527 140726678537527 140726678540267 0
/proc/5823/statm: 2378 346 289 221 0 87 0
[pid=5825] ppid=5823 vsize=26006188 memory=105004 CPUtime=2.06 cores=0-7
/proc/5825/stat : 5825 (java) S 5823 5823 4533 0 -1 1077944320 13669 0 0 0 201 5 0 0 20 0 20 0 104639941 26630336512 26251 33554432000 4194304 4196468 140731810726672 140731810709216 140712919981815 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
/proc/5825/statm: 6501547 26251 3205 1 0 6488781 0
[pid=5825/tid=5826] ppid=5823 vsize=26006188 memory=280593435279024 CPUtime=0.67 cores=0-7
/proc/5825/task/5826/stat : 5826 (java) R 5823 5823 4533 0 -1 4202560 6644 0 0 0 64 3 0 0 20 0 20 0 104639942 26630336512 26251 33554432000 4194304 4196468 140731810726672 140712924217616 140712919993750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5827] ppid=5823 vsize=26006188 memory=140296717640560 CPUtime=0 cores=0-7
/proc/5825/task/5827/stat : 5827 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639943 26630336512 26251 33554432000 4194304 4196468 140731810726672 140712872602640 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5828] ppid=5823 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/5825/task/5828/stat : 5828 (java) S 5823 5823 4533 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104639943 26630336512 26251 33554432000 4194304 4196468 140731810726672 140712871550096 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5829] ppid=5823 vsize=26006188 memory=1008 CPUtime=0 cores=0-7
/proc/5825/task/5829/stat : 5829 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104639943 26630336512 26251 33554432000 4194304 4196468 140731810726672 140712870497040 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0

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

[pid=5825/tid=6115] ppid=5823 vsize=26538700 memory=1384 CPUtime=861.15 cores=0-7
/proc/5825/task/6115/stat : 6115 (java) R 5823 5823 4533 0 -1 4202560 26560 0 0 0 86095 20 0 0 20 0 28 0 104796880 27175628800 318144 33554432000 4194304 4196468 140731810726672 140711957360936 140712549408830 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
Current children cumulated CPU time: 19421 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1273960 KiB

[startup+2502.3 s]
/proc/loadavg: 8.80 8.44 8.36 9/207 6124
/proc/meminfo: memFree=25709800/32770624 swapFree=67108860/67108860
[pid=5823] ppid=5820 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5823/stat : 5823 (xcsp3-exec) S 5820 5823 4533 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104639941 9740288 346 33554432000 4194304 5098028 140726678530544 140726678528648 140311215272572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39612416 140726678537318 140726678537527 140726678537527 140726678540267 0
/proc/5823/statm: 2378 346 289 221 0 87 0
[pid=5825] ppid=5823 vsize=26538700 memory=1259808 CPUtime=19896.4 cores=0-7
/proc/5825/stat : 5825 (java) S 5823 5823 4533 0 -1 1077944320 580085 0 0 0 1988697 946 0 0 20 0 28 0 104639941 27175628800 314952 33554432000 4194304 4196468 140731810726672 140731810709216 140712919981815 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
/proc/5825/statm: 6634675 314952 3304 1 0 6621909 0
[pid=5825/tid=5826] ppid=5823 vsize=26538700 memory=1262336 CPUtime=1.5 cores=0-7
/proc/5825/task/5826/stat : 5826 (java) S 5823 5823 4533 0 -1 1077944384 7728 0 0 0 145 5 0 0 20 0 28 0 104639942 27175628800 314952 33554432000 4194304 4196468 140731810726672 140712924222592 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5827] ppid=5823 vsize=26538700 memory=1264932 CPUtime=4.17 cores=0-7
/proc/5825/task/5827/stat : 5827 (java) S 5823 5823 4533 0 -1 1077944384 18452 0 0 0 398 19 0 0 20 0 28 0 104639943 27175628800 314952 33554432000 4194304 4196468 140731810726672 140712872602640 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5828] ppid=5823 vsize=26538700 memory=1262368 CPUtime=4.16 cores=0-7
/proc/5825/task/5828/stat : 5828 (java) S 5823 5823 4533 0 -1 1077944384 19415 0 0 0 398 18 0 0 20 0 28 0 104639943 27175628800 314952 33554432000 4194304 4196468 140731810726672 140712871550096 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5829] ppid=5823 vsize=26538700 memory=1260320 CPUtime=4.21 cores=0-7
/proc/5825/task/5829/stat : 5829 (java) S 5823 5823 4533 0 -1 1077944384 20151 0 0 0 401 20 0 0 20 0 28 0 104639943 27175628800 314952 33554432000 4194304 4196468 140731810726672 140712870497040 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5830] ppid=5823 vsize=26538700 memory=1261348 CPUtime=4.17 cores=0-7
/proc/5825/task/5830/stat : 5830 (java) S 5823 5823 4533 0 -1 1077944384 19147 0 0 0 394 23 0 0 20 0 28 0 104639943 27175628800 314952 33554432000 4194304 4196468 140731810726672 140712869444496 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5831] ppid=5823 vsize=26538700 memory=1384 CPUtime=4.16 cores=0-7
/proc/5825/task/5831/stat : 5831 (java) S 5823 5823 4533 0 -1 1077944384 16821 0 0 0 396 20 0 0 20 0 28 0 104639943 27175628800 314952 33554432000 4194304 4196468 140731810726672 140712868391440 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5832] ppid=5823 vsize=26538700 memory=1264416 CPUtime=4.18 cores=0-7
/proc/5825/task/5832/stat : 5832 (java) S 5823 5823 4533 0 -1 1077944384 16948 0 0 0 400 18 0 0 20 0 28 0 104639943 27175628800 314952 33554432000 4194304 4196468 140731810726672 140712867338896 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5833] ppid=5823 vsize=26538700 memory=1260320 CPUtime=4.14 cores=0-7
/proc/5825/task/5833/stat : 5833 (java) S 5823 5823 4533 0 -1 1077944384 19097 0 0 0 394 20 0 0 20 0 28 0 104639943 27175628800 314952 33554432000 4194304 4196468 140731810726672 140712866285840 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5834] ppid=5823 vsize=26538700 memory=1384 CPUtime=4.17 cores=0-7
/proc/5825/task/5834/stat : 5834 (java) S 5823 5823 4533 0 -1 1077944384 18637 0 0 0 396 21 0 0 20 0 28 0 104639943 27175628800 314952 33554432000 4194304 4196468 140731810726672 140712865233296 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5835] ppid=5823 vsize=26538700 memory=1259772 CPUtime=7.27 cores=0-7
/proc/5825/task/5835/stat : 5835 (java) S 5823 5823 4533 0 -1 1077944384 68612 0 0 0 310 417 0 0 20 0 28 0 104639944 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711979612912 140712919992962 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5836] ppid=5823 vsize=26538700 memory=916 CPUtime=0 cores=0-7
/proc/5825/task/5836/stat : 5836 (java) S 5823 5823 4533 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 104639945 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711978559200 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5837] ppid=5823 vsize=26538700 memory=4244 CPUtime=0 cores=0-7
/proc/5825/task/5837/stat : 5837 (java) S 5823 5823 4533 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 104639945 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711977506048 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5838] ppid=5823 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/5825/task/5838/stat : 5838 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104639947 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711976454608 140712920000411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5839] ppid=5823 vsize=26538700 memory=1262852 CPUtime=3.12 cores=0-7
/proc/5825/task/5839/stat : 5839 (java) S 5823 5823 4533 0 -1 1077944384 14676 0 0 0 309 3 0 0 20 0 28 0 104639947 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711975401712 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5840] ppid=5823 vsize=26538700 memory=1384 CPUtime=3.13 cores=0-7
/proc/5825/task/5840/stat : 5840 (java) S 5823 5823 4533 0 -1 1077944384 14861 0 0 0 311 2 0 0 20 0 28 0 104639947 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711974349168 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5841] ppid=5823 vsize=26538700 memory=1263908 CPUtime=3.26 cores=0-7
/proc/5825/task/5841/stat : 5841 (java) S 5823 5823 4533 0 -1 1077944384 15385 0 0 0 324 2 0 0 20 0 28 0 104639947 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711973296112 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5842] ppid=5823 vsize=26538700 memory=1384 CPUtime=1.03 cores=0-7
/proc/5825/task/5842/stat : 5842 (java) S 5823 5823 4533 0 -1 1077944384 20801 0 0 0 100 3 0 0 20 0 28 0 104639947 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711972243568 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5843] ppid=5823 vsize=26538700 memory=1265936 CPUtime=0 cores=0-7
/proc/5825/task/5843/stat : 5843 (java) S 5823 5823 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104639947 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711971191776 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5844] ppid=5823 vsize=26538700 memory=33 CPUtime=0.85 cores=0-7
/proc/5825/task/5844/stat : 5844 (java) S 5823 5823 4533 0 -1 1077944384 6804 0 0 0 48 37 0 0 20 0 28 0 104639948 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711970139312 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6108] ppid=5823 vsize=26538700 memory=7900611722800716256 CPUtime=919.86 cores=0-7
/proc/5825/task/6108/stat : 6108 (java) R 5823 5823 4533 0 -1 4202560 5569 0 0 0 91979 7 0 0 20 0 28 0 104796880 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711956307688 140712548845806 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6109] ppid=5823 vsize=26538700 memory=0 CPUtime=922.11 cores=0-7
/proc/5825/task/6109/stat : 6109 (java) R 5823 5823 4533 0 -1 4202560 6323 0 0 0 92208 3 0 0 20 0 28 0 104796880 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711960519520 140712549408981 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6110] ppid=5823 vsize=26538700 memory=-2026666227646606628 CPUtime=917.38 cores=0-7
/proc/5825/task/6110/stat : 6110 (java) R 5823 5823 4533 0 -1 4202560 15751 0 0 0 91731 7 0 0 20 0 28 0 104796880 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711961573520 140712541771159 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6111] ppid=5823 vsize=26538700 memory=1384 CPUtime=921.37 cores=0-7
/proc/5825/task/6111/stat : 6111 (java) R 5823 5823 4533 0 -1 4202560 8433 0 0 0 92130 7 0 0 20 0 28 0 104796880 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711962624232 140712543995151 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6112] ppid=5823 vsize=26538700 memory=1384 CPUtime=920.54 cores=0-7
/proc/5825/task/6112/stat : 6112 (java) R 5823 5823 4533 0 -1 4202560 21243 0 0 0 92043 11 0 0 20 0 28 0 104796880 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711955255440 140712551160478 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6113] ppid=5823 vsize=26538700 memory=1265444 CPUtime=920.7 cores=0-7
/proc/5825/task/6113/stat : 6113 (java) R 5823 5823 4533 0 -1 4202560 5711 0 0 0 92066 4 0 0 20 0 28 0 104796880 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711959466128 140712544949995 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6114] ppid=5823 vsize=26538700 memory=8112282956445269571 CPUtime=918.63 cores=0-7
/proc/5825/task/6114/stat : 6114 (java) R 5823 5823 4533 0 -1 4202560 5775 0 0 0 91859 4 0 0 20 0 28 0 104796880 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711958413848 140712548992122 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6115] ppid=5823 vsize=26538700 memory=1263876 CPUtime=920.23 cores=0-7
/proc/5825/task/6115/stat : 6115 (java) R 5823 5823 4533 0 -1 4202560 26797 0 0 0 92003 20 0 0 20 0 28 0 104796880 27175628800 314952 33554432000 4194304 4196468 140731810726672 140711957360960 140712548703030 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
Current children cumulated CPU time: 19896.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1261192 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.84 8.47 8.37 9/207 6124
/proc/meminfo: memFree=25720804/32770624 swapFree=67108860/67108860
[pid=5823] ppid=5820 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5823/stat : 5823 (xcsp3-exec) S 5820 5823 4533 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 104639941 9740288 346 33554432000 4194304 5098028 140726678530544 140726678528648 140311215272572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39612416 140726678537318 140726678537527 140726678537527 140726678540267 0
/proc/5823/statm: 2378 346 289 221 0 87 0
[pid=5825] ppid=5823 vsize=26538700 memory=1248592 CPUtime=20036.9 cores=0-7
/proc/5825/stat : 5825 (java) S 5823 5823 4533 0 -1 1077944320 582219 0 0 0 2002733 953 0 0 20 0 28 0 104639941 27175628800 312148 33554432000 4194304 4196468 140731810726672 140731810709216 140712919981815 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
/proc/5825/statm: 6634675 312148 3304 1 0 6621909 0
[pid=5825/tid=5826] ppid=5823 vsize=26538700 memory=8112282956445269571 CPUtime=1.5 cores=0-7
/proc/5825/task/5826/stat : 5826 (java) S 5823 5823 4533 0 -1 1077944384 7728 0 0 0 145 5 0 0 20 0 28 0 104639942 27175628800 312148 33554432000 4194304 4196468 140731810726672 140712924222592 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5827] ppid=5823 vsize=26538700 memory=4126316290023845779 CPUtime=4.26 cores=0-7
/proc/5825/task/5827/stat : 5827 (java) S 5823 5823 4533 0 -1 1077944384 18620 0 0 0 407 19 0 0 20 0 28 0 104639943 27175628800 312148 33554432000 4194304 4196468 140731810726672 140712872602640 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5828] ppid=5823 vsize=26538700 memory=1944 CPUtime=4.24 cores=0-7
/proc/5825/task/5828/stat : 5828 (java) S 5823 5823 4533 0 -1 1077944384 19978 0 0 0 406 18 0 0 20 0 28 0 104639943 27175628800 312148 33554432000 4194304 4196468 140731810726672 140712871550096 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5829] ppid=5823 vsize=26538700 memory=1700 CPUtime=4.3 cores=0-7
/proc/5825/task/5829/stat : 5829 (java) S 5823 5823 4533 0 -1 1077944384 20168 0 0 0 410 20 0 0 20 0 28 0 104639943 27175628800 312148 33554432000 4194304 4196468 140731810726672 140712870497040 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5830] ppid=5823 vsize=26538700 memory=1228 CPUtime=4.26 cores=0-7
/proc/5825/task/5830/stat : 5830 (java) S 5823 5823 4533 0 -1 1077944384 19212 0 0 0 403 23 0 0 20 0 28 0 104639943 27175628800 312148 33554432000 4194304 4196468 140731810726672 140712869444496 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5831] ppid=5823 vsize=26538700 memory=5428 CPUtime=4.25 cores=0-7
/proc/5825/task/5831/stat : 5831 (java) S 5823 5823 4533 0 -1 1077944384 17099 0 0 0 405 20 0 0 20 0 28 0 104639943 27175628800 312148 33554432000 4194304 4196468 140731810726672 140712868391440 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5832] ppid=5823 vsize=26538700 memory=4624 CPUtime=4.26 cores=0-7
/proc/5825/task/5832/stat : 5832 (java) S 5823 5823 4533 0 -1 1077944384 17018 0 0 0 408 18 0 0 20 0 28 0 104639943 27175628800 312148 33554432000 4194304 4196468 140731810726672 140712867338896 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5833] ppid=5823 vsize=26538700 memory=2236 CPUtime=4.23 cores=0-7
/proc/5825/task/5833/stat : 5833 (java) S 5823 5823 4533 0 -1 1077944384 19190 0 0 0 403 20 0 0 20 0 28 0 104639943 27175628800 312148 33554432000 4194304 4196468 140731810726672 140712866285840 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5834] ppid=5823 vsize=26538700 memory=4124 CPUtime=4.25 cores=0-7
/proc/5825/task/5834/stat : 5834 (java) S 5823 5823 4533 0 -1 1077944384 18683 0 0 0 404 21 0 0 20 0 28 0 104639943 27175628800 312148 33554432000 4194304 4196468 140731810726672 140712865233296 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5835] ppid=5823 vsize=26538700 memory=2200 CPUtime=7.39 cores=0-7
/proc/5825/task/5835/stat : 5835 (java) S 5823 5823 4533 0 -1 1077944384 68868 0 0 0 316 423 0 0 20 0 28 0 104639944 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711979612912 140712919992962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5836] ppid=5823 vsize=26538700 memory=6760 CPUtime=0 cores=0-7
/proc/5825/task/5836/stat : 5836 (java) S 5823 5823 4533 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 104639945 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711978559200 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5837] ppid=5823 vsize=26538700 memory=840 CPUtime=0 cores=0-7
/proc/5825/task/5837/stat : 5837 (java) S 5823 5823 4533 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 104639945 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711977506048 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5838] ppid=5823 vsize=26538700 memory=1692 CPUtime=0 cores=0-7
/proc/5825/task/5838/stat : 5838 (java) S 5823 5823 4533 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104639947 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711976454608 140712920000411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5839] ppid=5823 vsize=26538700 memory=4126316290023845779 CPUtime=3.12 cores=0-7
/proc/5825/task/5839/stat : 5839 (java) S 5823 5823 4533 0 -1 1077944384 14679 0 0 0 309 3 0 0 20 0 28 0 104639947 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711975401712 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5840] ppid=5823 vsize=26538700 memory=1277196 CPUtime=3.13 cores=0-7
/proc/5825/task/5840/stat : 5840 (java) S 5823 5823 4533 0 -1 1077944384 14863 0 0 0 311 2 0 0 20 0 28 0 104639947 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711974349168 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5841] ppid=5823 vsize=26538700 memory=1292 CPUtime=3.26 cores=0-7
/proc/5825/task/5841/stat : 5841 (java) S 5823 5823 4533 0 -1 1077944384 15387 0 0 0 324 2 0 0 20 0 28 0 104639947 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711973296112 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5842] ppid=5823 vsize=26538700 memory=2428 CPUtime=1.03 cores=0-7
/proc/5825/task/5842/stat : 5842 (java) S 5823 5823 4533 0 -1 1077944384 20803 0 0 0 100 3 0 0 20 0 28 0 104639947 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711972243568 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5843] ppid=5823 vsize=26538700 memory=1732 CPUtime=0 cores=0-7
/proc/5825/task/5843/stat : 5843 (java) S 5823 5823 4533 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104639947 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711971191776 140712919992021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=5844] ppid=5823 vsize=26538700 memory=1944 CPUtime=0.85 cores=0-7
/proc/5825/task/5844/stat : 5844 (java) S 5823 5823 4533 0 -1 1077944384 6833 0 0 0 48 37 0 0 20 0 28 0 104639948 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711970139312 140712919992962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6108] ppid=5823 vsize=26538700 memory=1700 CPUtime=937.33 cores=0-7
/proc/5825/task/6108/stat : 6108 (java) R 5823 5823 4533 0 -1 4202560 5623 0 0 0 93726 7 0 0 20 0 28 0 104796880 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711956306728 140712551422226 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6109] ppid=5823 vsize=26538700 memory=8112282956445269571 CPUtime=939.59 cores=0-7
/proc/5825/task/6109/stat : 6109 (java) R 5823 5823 4533 0 -1 4202560 6360 0 0 0 93956 3 0 0 20 0 28 0 104796880 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711960518800 140712550345670 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6110] ppid=5823 vsize=26538700 memory=4126316290023845779 CPUtime=934.82 cores=0-7
/proc/5825/task/6110/stat : 6110 (java) R 5823 5823 4533 0 -1 4202560 15838 0 0 0 93475 7 0 0 20 0 28 0 104796880 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711961570936 140712543691661 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6111] ppid=5823 vsize=26538700 memory=4140 CPUtime=938.86 cores=0-7
/proc/5825/task/6111/stat : 6111 (java) R 5823 5823 4533 0 -1 4202560 8499 0 0 0 93879 7 0 0 20 0 28 0 104796880 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711962624232 140712543995310 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6112] ppid=5823 vsize=26538700 memory=29864 CPUtime=937.85 cores=0-7
/proc/5825/task/6112/stat : 6112 (java) R 5823 5823 4533 0 -1 4202560 21314 0 0 0 93774 11 0 0 20 0 28 0 104796880 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711955257856 140712549408960 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6113] ppid=5823 vsize=26538700 memory=1292 CPUtime=938.19 cores=0-7
/proc/5825/task/6113/stat : 6113 (java) R 5823 5823 4533 0 -1 4202560 5730 0 0 0 93815 4 0 0 20 0 28 0 104796880 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711959465752 140712549409013 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6114] ppid=5823 vsize=26538700 memory=2428 CPUtime=936.04 cores=0-7
/proc/5825/task/6114/stat : 6114 (java) R 5823 5823 4533 0 -1 4202560 5801 0 0 0 93600 4 0 0 20 0 28 0 104796880 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711958413792 140712549408738 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
[pid=5825/tid=6115] ppid=5823 vsize=26538700 memory=1732 CPUtime=937.76 cores=0-7
/proc/5825/task/6115/stat : 6115 (java) R 5823 5823 4533 0 -1 4202560 26979 0 0 0 93756 20 0 0 20 0 28 0 104796880 27175628800 312148 33554432000 4194304 4196468 140731810726672 140711957360920 140712547628294 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 10579968 140731810731154 140731810731331 140731810731331 140731810734031 0
Current children cumulated CPU time: 20036.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1249976 KiB

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

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

[startup+2520.12 s]
# the end of solver process 5825 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20028.1 s, system=9.54593 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

Child status: 143
Real time (s): 2520.12
CPU time (s): 20037.7
CPU user time (s): 20028.1
CPU system time (s): 9.54593
CPU usage (%): 795.108
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2231824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20028.1
system time used= 9.54593
maximum resident set size= 2246824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 583440
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147879
involuntary context switches= 205417


# summary of solver processes directly reported to runsolver:
#   pid: 5823,5825
#   total CPU time (s): 20037.7
#   total CPU user time (s): 20028.1
#   total CPU system time (s): 9.54593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 31.4447 second user time and 18.1129 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml
MD5SUM	205feda53d99710fee13d320d9c474df
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	1663
Best CPU time to get the best result obtained on this benchmark	2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	3306
Number of constraints	3248
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":57},{"size":2,"count":3192},{"size":101,"count":56}]
Minimum variable degree	0
Maximum variable degree	111
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":57},{"degree":2,"count":112},{"degree":4,"count":3080},{"degree":111,"count":56}]
Minimum constraint arity	1
Maximum constraint arity	56
Distribution of constraint arities	[{"arity":1,"count":56},{"arity":3,"count":3080},{"arity":56,"count":112}]
Number of extensional constraints	0
Number of intensional constraints	56
Distribution of constraint types	[{"type":"intension","count":56},{"type":"sum","count":3080},{"type":"count","count":112}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4270839

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