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
OscaR - Parallel with EPS 2017-08-22	SAT (TO)	393	20007.699	2520.1599

0.29/0.25	c version: 2017-08-22
0.29/0.26	c seed: 1745602791
0.29/0.26	c timeout: 20160
0.29/0.26	c memlimit: 22000
0.29/0.26	c nbcore: 8
0.29/0.28	c Parsing instance...
2.02/0.88	c Parsing done, starting search...
48.01/10.94	o 365
48.01/10.94	o 366
50.26/11.26	o 368
50.26/11.27	o 369
50.26/11.27	o 370
51.08/11.35	o 371
52.63/11.53	o 372
52.63/11.55	o 373
61.40/12.68	o 374
61.40/12.69	o 375
62.20/12.76	o 377
62.20/12.76	o 378
62.20/12.76	o 379
62.20/12.78	o 380
65.43/13.13	o 381
223.06/32.93	o 382
873.34/114.53	o 383
876.53/114.99	o 384
877.47/115.06	o 385
1011.18/131.82	o 386
1094.03/142.21	o 387
1132.47/147.10	o 388
1517.17/195.36	o 389
2183.46/278.96	o 390
5851.24/739.29	o 391
6086.89/768.83	o 392
14317.19/1804.06	o 393
20006.81/2520.10	s SATISFIABLE
20006.81/2520.11	v <instantiation>
20006.81/2520.11	v 	<list>
20006.81/2520.11	v 		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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] z
20006.81/2520.11	v 	</list>
20006.81/2520.11	v 	<values>
20006.81/2520.11	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 1 1 1 1 1 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 1 0 0 1 1 1 0 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 0 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 0 1 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 0 1 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 1 2 2 2 1 2 1 2 2 1 1 2 1 1 2 1 1 2 1 1 1 1 2 1 1 2 1 1 2 0 2 0 2 1 2 1 2 1 0 1 1 2 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 2 0 2 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 0 2 1 1 0 0 1 1 2 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 1 2 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 2 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 2 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 2 1 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 2 1 1 0 0 1 1 1 1 0 0 1 0 0 0 1 2 2 1 2 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 2 1 1 1 0 0 0 2 2 1 1 1 0 0 0 1 1 2 2 2 2 2 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 2 0 2 2 2 1 1 2 1 1 2 2 2 2 2 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 2 2 2 2 2 1 1 2 2 2 2 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 1 2 2 2 2 1 0 1 1 2 2 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 1 2 1 0 1 0 0 1 0 0 0 0 0 2 2 2 1 1 1 0 0 2 1 1 1 0 0 2 0 2 0 1 0 0 0 0 1 0 0 2 2 1 0 0 1 0 0 0 1 1 1 2 2 2 1 0 0 0 1 1 1 1 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 1 1 1 1 2 1 1 1 0 0 1 0 2 1 0 1 0 1 0 1 1 1 0 0 0 0 1 1 1 0 0 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 1 0 0 0 1 0 0 0 1 0 2 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 2 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 2 0 0 2 0 1 1 0 1 0 0 0 1 1 2 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 2 1 0 0 0 0 0 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 1 0 0 0 0 1 1 2 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 37 113 188 259 327 397 467 535 605 675 743 802 836 852 870 889 905 921 933 944 957 967 972 985 1005 1027 1052 1083 1114 1144 1170 1193 1218 1230 1244 1265 1277 1297 1314 393 
20006.81/2520.11	v 	</values>
20006.81/2520.11	v </instantiation>

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285026-1503411490/watcher-4285026-1503411490 -o /tmp/evaluation-result-4285026-1503411490/solver-4285026-1503411490 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503403059-21888 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1745602791 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285026-1503411490.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
solver pid=22533, runsolver pid=22530
Current StackSize limit: 8192 KiB


[startup+0.100133 s]*
/proc/loadavg: 8.26 8.77 8.76 2/199 22553
/proc/meminfo: memFree=21410872/32770624 swapFree=67108860/67108860
[pid=22533] ppid=22530 vsize=26000852 memory=32832 CPUtime=0.12 cores=0-7
/proc/22533/stat : 22533 (java) S 22530 22533 21861 0 -1 1077944320 8598 0 0 0 10 2 0 0 20 0 20 0 174236449 26624872448 8208 33554432000 4194304 4196468 140733404472352 140733404454896 139659382714103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
/proc/22533/statm: 6500213 8208 3413 1 0 6487932 0
[pid=22533/tid=22535] ppid=22530 vsize=26000852 memory=8040785092344192154 CPUtime=0.09 cores=0-7
/proc/22533/task/22535/stat : 22535 (java) R 22530 22533 21861 0 -1 4202560 6544 0 0 0 8 1 0 0 20 0 20 0 174236450 26624872448 8208 33554432000 4194304 4196468 140733404472352 139659386911056 139659382736029 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22536] ppid=22530 vsize=26000852 memory=732370175856819173 CPUtime=0 cores=0-7
/proc/22533/task/22536/stat : 22536 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 8208 33554432000 4194304 4196468 140733404472352 139659335334416 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22537] ppid=22530 vsize=26000852 memory=140037519365760 CPUtime=0 cores=0-7
/proc/22533/task/22537/stat : 22537 (java) S 22530 22533 21861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 8208 33554432000 4194304 4196468 140733404472352 139659334281872 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22538] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22538/stat : 22538 (java) S 22530 22533 21861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 8208 33554432000 4194304 4196468 140733404472352 139659333228816 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22539] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22539/stat : 22539 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 8208 33554432000 4194304 4196468 140733404472352 139659332176272 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22540] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22540/stat : 22540 (java) S 22530 22533 21861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 8208 33554432000 4194304 4196468 140733404472352 139659331124240 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22541] ppid=22530 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/22533/task/22541/stat : 22541 (java) S 22530 22533 21861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 8208 33554432000 4194304 4196468 140733404472352 139659330071696 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22542] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22542/stat : 22542 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 8208 33554432000 4194304 4196468 140733404472352 139659329018640 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22543] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22543/stat : 22543 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 8208 33554432000 4194304 4196468 140733404472352 139659327966096 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22544] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22544/stat : 22544 (java) S 22530 22533 21861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174236452 26624872448 8208 33554432000 4194304 4196468 140733404472352 139657654814960 139659382725250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22545] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22545/stat : 22545 (java) S 22530 22533 21861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174236453 26624872448 8208 33554432000 4194304 4196468 140733404472352 139657653761184 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22546] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22546/stat : 22546 (java) S 22530 22533 21861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174236453 26624872448 8208 33554432000 4194304 4196468 140733404472352 139657652708080 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22547] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22547/stat : 22547 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236455 26624872448 8208 33554432000 4194304 4196468 140733404472352 139657651656656 139659382732699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22548] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22548/stat : 22548 (java) S 22530 22533 21861 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 174236455 26624872448 8208 33554432000 4194304 4196468 140733404472352 139657650604784 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22549] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22549/stat : 22549 (java) S 22530 22533 21861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174236455 26624872448 8208 33554432000 4194304 4196468 140733404472352 139657649552240 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22550] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22550/stat : 22550 (java) S 22530 22533 21861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174236455 26624872448 8208 33554432000 4194304 4196468 140733404472352 139657648499184 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22551] ppid=22530 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/22533/task/22551/stat : 22551 (java) R 22530 22533 21861 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 20 0 174236455 26624872448 8208 33554432000 4194304 4196468 140733404472352 139657647446640 139659361203776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22552] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22552/stat : 22552 (java) S 22530 22533 21861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174236455 26624872448 8208 33554432000 4194304 4196468 140733404472352 139657646393824 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22553] ppid=22530 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/22533/task/22553/stat : 22553 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236456 26624872448 8208 33554432000 4194304 4196468 140733404472352 139657645341360 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32832 KiB

[startup+0.210623 s]*
/proc/loadavg: 8.26 8.77 8.76 2/199 22553
/proc/meminfo: memFree=21400132/32770624 swapFree=67108860/67108860
[pid=22533] ppid=22530 vsize=26000852 memory=41716 CPUtime=0.29 cores=0-7
/proc/22533/stat : 22533 (java) S 22530 22533 21861 0 -1 1077944320 9589 0 0 0 27 2 0 0 20 0 20 0 174236449 26624872448 10429 33554432000 4194304 4196468 140733404472352 140733404454896 139659382714103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
/proc/22533/statm: 6500213 10429 3594 1 0 6487932 0
[pid=22533/tid=22535] ppid=22530 vsize=26000852 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/22533/task/22535/stat : 22535 (java) R 22530 22533 21861 0 -1 4202560 7181 0 0 0 18 1 0 0 20 0 20 0 174236450 26624872448 10429 33554432000 4194304 4196468 140733404472352 139659386944848 139659366794590 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22536] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22536/stat : 22536 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 10429 33554432000 4194304 4196468 140733404472352 139659335334416 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22537] ppid=22530 vsize=26000852 memory=288370413671077504 CPUtime=0 cores=0-7
/proc/22533/task/22537/stat : 22537 (java) S 22530 22533 21861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 10429 33554432000 4194304 4196468 140733404472352 139659334281872 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22538] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22538/stat : 22538 (java) S 22530 22533 21861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 10429 33554432000 4194304 4196468 140733404472352 139659333228816 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22539] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22539/stat : 22539 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 10429 33554432000 4194304 4196468 140733404472352 139659332176272 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22540] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22540/stat : 22540 (java) S 22530 22533 21861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 10429 33554432000 4194304 4196468 140733404472352 139659331124240 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22541] ppid=22530 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/22533/task/22541/stat : 22541 (java) S 22530 22533 21861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 10429 33554432000 4194304 4196468 140733404472352 139659330071696 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22542] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22542/stat : 22542 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 10429 33554432000 4194304 4196468 140733404472352 139659329018640 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22543] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22543/stat : 22543 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26624872448 10429 33554432000 4194304 4196468 140733404472352 139659327966096 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22544] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22544/stat : 22544 (java) S 22530 22533 21861 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174236452 26624872448 10429 33554432000 4194304 4196468 140733404472352 139657654814960 139659382725250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22545] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22545/stat : 22545 (java) S 22530 22533 21861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174236453 26624872448 10429 33554432000 4194304 4196468 140733404472352 139657653761184 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22546] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22546/stat : 22546 (java) S 22530 22533 21861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174236453 26624872448 10429 33554432000 4194304 4196468 140733404472352 139657652708080 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22547] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22547/stat : 22547 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236455 26624872448 10429 33554432000 4194304 4196468 140733404472352 139657651656656 139659382732699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22548] ppid=22530 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/22533/task/22548/stat : 22548 (java) S 22530 22533 21861 0 -1 1077944384 407 0 0 0 1 0 0 0 20 0 20 0 174236455 26624872448 10429 33554432000 4194304 4196468 140733404472352 139657650604784 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22549] ppid=22530 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/22533/task/22549/stat : 22549 (java) S 22530 22533 21861 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 20 0 174236455 26624872448 10429 33554432000 4194304 4196468 140733404472352 139657649552240 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22550] ppid=22530 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/22533/task/22550/stat : 22550 (java) S 22530 22533 21861 0 -1 1077944384 193 0 0 0 1 0 0 0 20 0 20 0 174236455 26624872448 10429 33554432000 4194304 4196468 140733404472352 139657648499184 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22551] ppid=22530 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/22533/task/22551/stat : 22551 (java) S 22530 22533 21861 0 -1 1077944384 387 0 0 0 5 0 0 0 20 0 20 0 174236455 26624872448 10429 33554432000 4194304 4196468 140733404472352 139657647446640 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22552] ppid=22530 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22552/stat : 22552 (java) S 22530 22533 21861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174236455 26624872448 10429 33554432000 4194304 4196468 140733404472352 139657646393824 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22553] ppid=22530 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/22533/task/22553/stat : 22553 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236456 26624872448 10429 33554432000 4194304 4196468 140733404472352 139657645341360 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41716 KiB

[startup+0.31038 s]*
/proc/loadavg: 8.26 8.77 8.76 2/199 22553
/proc/meminfo: memFree=21392968/32770624 swapFree=67108860/67108860
[pid=22533] ppid=22530 vsize=26000872 memory=49640 CPUtime=0.47 cores=0-7
/proc/22533/stat : 22533 (java) S 22530 22533 21861 0 -1 1077944320 10649 0 0 0 44 3 0 0 20 0 20 0 174236449 26624892928 12410 33554432000 4194304 4196468 140733404472352 140733404454896 139659382714103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
/proc/22533/statm: 6500218 12410 3710 1 0 6487932 0
[pid=22533/tid=22535] ppid=22530 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22533/task/22535/stat : 22535 (java) R 22530 22533 21861 0 -1 4202560 7747 0 0 0 27 2 0 0 20 0 20 0 174236450 26624892928 12410 33554432000 4194304 4196468 140733404472352 139659386942512 139659366757733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22536] ppid=22530 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22536/stat : 22536 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26624892928 12410 33554432000 4194304 4196468 140733404472352 139659335334416 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22537] ppid=22530 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22537/stat : 22537 (java) S 22530 22533 21861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174236451 26624892928 12410 33554432000 4194304 4196468 140733404472352 139659334281872 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22538] ppid=22530 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22538/stat : 22538 (java) S 22530 22533 21861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174236451 26624892928 12410 33554432000 4194304 4196468 140733404472352 139659333228816 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22539] ppid=22530 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22539/stat : 22539 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26624892928 12410 33554432000 4194304 4196468 140733404472352 139659332176272 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22540] ppid=22530 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/22533/task/22540/stat : 22540 (java) S 22530 22533 21861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174236451 26624892928 12410 33554432000 4194304 4196468 140733404472352 139659331124240 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22541] ppid=22530 vsize=26000872 memory=140037408781231 CPUtime=0 cores=0-7
/proc/22533/task/22541/stat : 22541 (java) S 22530 22533 21861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174236451 26624892928 12410 33554432000 4194304 4196468 140733404472352 139659330071696 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22542] ppid=22530 vsize=26000872 memory=140037408783536 CPUtime=0 cores=0-7
/proc/22533/task/22542/stat : 22542 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26624892928 12410 33554432000 4194304 4196468 140733404472352 139659329018640 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22543] ppid=22530 vsize=26000872 memory=140037408785840 CPUtime=0 cores=0-7
/proc/22533/task/22543/stat : 22543 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26624892928 12410 33554432000 4194304 4196468 140733404472352 139659327966096 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22544] ppid=22530 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22544/stat : 22544 (java) S 22530 22533 21861 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174236452 26624892928 12410 33554432000 4194304 4196468 140733404472352 139657654814960 139659382725250 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22545] ppid=22530 vsize=26000872 memory=280074817578640 CPUtime=0 cores=0-7
/proc/22533/task/22545/stat : 22545 (java) S 22530 22533 21861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174236453 26624892928 12410 33554432000 4194304 4196468 140733404472352 139657653761184 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22546] ppid=22530 vsize=26000872 memory=280074817585552 CPUtime=0 cores=0-7
/proc/22533/task/22546/stat : 22546 (java) S 22530 22533 21861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174236453 26624892928 12410 33554432000 4194304 4196468 140733404472352 139657652708080 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22547] ppid=22530 vsize=26000872 memory=280074817526832 CPUtime=0 cores=0-7
/proc/22533/task/22547/stat : 22547 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236455 26624892928 12410 33554432000 4194304 4196468 140733404472352 139657651656656 139659382732699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22548] ppid=22530 vsize=26000872 memory=280074817599376 CPUtime=0.03 cores=0-7
/proc/22533/task/22548/stat : 22548 (java) S 22530 22533 21861 0 -1 1077944384 621 0 0 0 3 0 0 0 20 0 20 0 174236455 26624892928 12410 33554432000 4194304 4196468 140733404472352 139657650604784 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22549] ppid=22530 vsize=26000872 memory=280074817606288 CPUtime=0.02 cores=0-7
/proc/22533/task/22549/stat : 22549 (java) S 22530 22533 21861 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 20 0 174236455 26624892928 12410 33554432000 4194304 4196468 140733404472352 139657649552240 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22550] ppid=22530 vsize=26000872 memory=280074817603984 CPUtime=0.02 cores=0-7
/proc/22533/task/22550/stat : 22550 (java) S 22530 22533 21861 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 20 0 174236455 26624892928 12410 33554432000 4194304 4196468 140733404472352 139657648499184 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22551] ppid=22530 vsize=26000872 memory=280074817620544 CPUtime=0.08 cores=0-7
/proc/22533/task/22551/stat : 22551 (java) S 22530 22533 21861 0 -1 1077944384 422 0 0 0 8 0 0 0 20 0 20 0 174236455 26624892928 12410 33554432000 4194304 4196468 140733404472352 139657647446640 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22552] ppid=22530 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22552/stat : 22552 (java) S 22530 22533 21861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174236455 26624892928 12410 33554432000 4194304 4196468 140733404472352 139657646393824 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22553] ppid=22530 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/22533/task/22553/stat : 22553 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236456 26624892928 12410 33554432000 4194304 4196468 140733404472352 139657645341360 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49640 KiB

[startup+0.701434 s]
/proc/loadavg: 8.26 8.77 8.76 2/199 22553
/proc/meminfo: memFree=21376032/32770624 swapFree=67108860/67108860
[pid=22533] ppid=22530 vsize=26002920 memory=97384 CPUtime=1.65 cores=0-7
/proc/22533/stat : 22533 (java) S 22530 22533 21861 0 -1 1077944320 14848 0 0 0 159 6 0 0 20 0 20 0 174236449 26626990080 24346 33554432000 4194304 4196468 140733404472352 140733404454896 139659382714103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
/proc/22533/statm: 6500730 24346 3780 1 0 6488444 0
[pid=22533/tid=22535] ppid=22530 vsize=26002920 memory=7230638415873732183 CPUtime=0.67 cores=0-7
/proc/22533/task/22535/stat : 22535 (java) R 22530 22533 21861 0 -1 4202560 8565 0 0 0 64 3 0 0 20 0 20 0 174236450 26626990080 24346 33554432000 4194304 4196468 140733404472352 139659386950320 139659002407598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22536] ppid=22530 vsize=26002920 memory=96860102504496 CPUtime=0 cores=0-7
/proc/22533/task/22536/stat : 22536 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26626990080 24346 33554432000 4194304 4196468 140733404472352 139659335334416 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22537] ppid=22530 vsize=26002920 memory=140037408805950 CPUtime=0 cores=0-7
/proc/22533/task/22537/stat : 22537 (java) S 22530 22533 21861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174236451 26626990080 24346 33554432000 4194304 4196468 140733404472352 139659334281872 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22538] ppid=22530 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22538/stat : 22538 (java) S 22530 22533 21861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174236451 26626990080 24346 33554432000 4194304 4196468 140733404472352 139659333228816 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22539] ppid=22530 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22539/stat : 22539 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26626990080 24346 33554432000 4194304 4196468 140733404472352 139659332176272 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22540] ppid=22530 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22540/stat : 22540 (java) S 22530 22533 21861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174236451 26626990080 24346 33554432000 4194304 4196468 140733404472352 139659331124240 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22541] ppid=22530 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22541/stat : 22541 (java) S 22530 22533 21861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174236451 26626990080 24346 33554432000 4194304 4196468 140733404472352 139659330071696 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22542] ppid=22530 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/22533/task/22542/stat : 22542 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26626990080 24346 33554432000 4194304 4196468 140733404472352 139659329018640 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22543] ppid=22530 vsize=26002920 memory=1732 CPUtime=0 cores=0-7
/proc/22533/task/22543/stat : 22543 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174236451 26626990080 24346 33554432000 4194304 4196468 140733404472352 139659327966096 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22544] ppid=22530 vsize=26002920 memory=1948 CPUtime=0 cores=0-7
/proc/22533/task/22544/stat : 22544 (java) S 22530 22533 21861 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174236452 26626990080 24346 33554432000 4194304 4196468 140733404472352 139657654814960 139659382725250 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0

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

[pid=22533/tid=22563] ppid=22530 vsize=27745908 memory=6488356 CPUtime=1.09 cores=0-7
/proc/22533/task/22563/stat : 22563 (java) S 22530 22533 21861 0 -1 1077944384 531 0 0 0 102 7 0 0 20 0 46 0 174237054 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656882512912 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22564] ppid=22530 vsize=27745908 memory=6488356 CPUtime=2473.01 cores=0-7
/proc/22533/task/22564/stat : 22564 (java) R 22530 22533 21861 0 -1 4202560 113224 0 0 0 247158 143 0 0 20 0 46 0 174237054 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656881454200 139659006379585 0 4 0 16800975 0 0 0 -1 1 0 0 32 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22565] ppid=22530 vsize=27745908 memory=6494516 CPUtime=0 cores=0-7
/proc/22533/task/22565/stat : 22565 (java) S 22530 22533 21861 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 46 0 174237055 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656880408112 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22566] ppid=22530 vsize=27745908 memory=6498108 CPUtime=2463.27 cores=0-7
/proc/22533/task/22566/stat : 22566 (java) R 22530 22533 21861 0 -1 4202560 112577 0 0 0 246180 147 0 0 20 0 46 0 174237055 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656879348616 139659002474178 0 4 0 16800975 0 0 0 -1 2 0 0 33 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22567] ppid=22530 vsize=27745908 memory=6494512 CPUtime=0 cores=0-7
/proc/22533/task/22567/stat : 22567 (java) S 22530 22533 21861 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 46 0 174237252 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656878302736 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22568] ppid=22530 vsize=27745908 memory=6494512 CPUtime=0 cores=0-7
/proc/22533/task/22568/stat : 22568 (java) S 22530 22533 21861 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 46 0 174237253 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656877249680 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22569] ppid=22530 vsize=27745908 memory=48100 CPUtime=0 cores=0-7
/proc/22533/task/22569/stat : 22569 (java) S 22530 22533 21861 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 46 0 174237253 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656876197136 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22570] ppid=22530 vsize=27745908 memory=1292 CPUtime=0 cores=0-7
/proc/22533/task/22570/stat : 22570 (java) S 22530 22533 21861 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 46 0 174237253 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656875143856 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22571] ppid=22530 vsize=27745908 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/22533/task/22571/stat : 22571 (java) S 22530 22533 21861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 174237544 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656871957296 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22572] ppid=22530 vsize=27745908 memory=1712 CPUtime=0 cores=0-7
/proc/22533/task/22572/stat : 22572 (java) S 22530 22533 21861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 174237544 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656870905264 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22573] ppid=22530 vsize=27745908 memory=4612 CPUtime=0 cores=0-7
/proc/22533/task/22573/stat : 22573 (java) S 22530 22533 21861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 174237545 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656869852720 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22574] ppid=22530 vsize=27745908 memory=1004 CPUtime=0 cores=0-7
/proc/22533/task/22574/stat : 22574 (java) S 22530 22533 21861 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 46 0 174237547 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656868799888 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22575] ppid=22530 vsize=27745908 memory=6487844 CPUtime=0 cores=0-7
/proc/22533/task/22575/stat : 22575 (java) S 22530 22533 21861 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 46 0 174237552 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656867747344 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22576] ppid=22530 vsize=27745908 memory=6488356 CPUtime=0 cores=0-7
/proc/22533/task/22576/stat : 22576 (java) S 22530 22533 21861 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 46 0 174237554 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656866694288 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22577] ppid=22530 vsize=27745908 memory=4100 CPUtime=0 cores=0-7
/proc/22533/task/22577/stat : 22577 (java) S 22530 22533 21861 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 46 0 174237556 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656865641744 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22578] ppid=22530 vsize=27745908 memory=6495028 CPUtime=0 cores=0-7
/proc/22533/task/22578/stat : 22578 (java) S 22530 22533 21861 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 174237558 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656864588464 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22579] ppid=22530 vsize=27745908 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/22533/task/22579/stat : 22579 (java) S 22530 22533 21861 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 46 0 174237559 28411809792 1621833 33554432000 4194304 4196468 140733404472352 139656863536144 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
Current children cumulated CPU time: 19866.1 s
Current children cumulated vsize: 27745908 KiB
Current children cumulated memory: 6487332 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.73 8.68 8.74 9/224 22612
/proc/meminfo: memFree=14942024/32770624 swapFree=67108860/67108860
[pid=22533] ppid=22530 vsize=27745908 memory=6482712 CPUtime=20006.8 cores=0-7
/proc/22533/stat : 22533 (java) S 22530 22533 21861 0 -1 1077944320 1846236 0 0 0 1998864 1817 0 0 20 0 46 0 174236449 28411809792 1620678 33554432000 4194304 4196468 140733404472352 140733404454896 139659382714103 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
/proc/22533/statm: 6936477 1620678 3876 1 0 6923670 0
[pid=22533/tid=22535] ppid=22530 vsize=27745908 memory=6791534058613427641 CPUtime=5.81 cores=0-7
/proc/22533/task/22535/stat : 22535 (java) S 22530 22533 21861 0 -1 1077944384 15716 0 0 0 563 18 0 0 20 0 46 0 174236450 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139659386951808 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22536] ppid=22530 vsize=27745908 memory=-7003737579269690708 CPUtime=12.71 cores=0-7
/proc/22533/task/22536/stat : 22536 (java) S 22530 22533 21861 0 -1 1077944384 96708 0 0 0 1212 59 0 0 20 0 46 0 174236451 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139659335334416 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22537] ppid=22530 vsize=27745908 memory=1004 CPUtime=12.56 cores=0-7
/proc/22533/task/22537/stat : 22537 (java) S 22530 22533 21861 0 -1 1077944384 97340 0 0 0 1195 61 0 0 20 0 46 0 174236451 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139659334281872 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22538] ppid=22530 vsize=27745908 memory=1200 CPUtime=12.64 cores=0-7
/proc/22533/task/22538/stat : 22538 (java) S 22530 22533 21861 0 -1 1077944384 93972 0 0 0 1206 58 0 0 20 0 46 0 174236451 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139659333228816 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22539] ppid=22530 vsize=27745908 memory=15876 CPUtime=12.72 cores=0-7
/proc/22533/task/22539/stat : 22539 (java) S 22530 22533 21861 0 -1 1077944384 98939 0 0 0 1212 60 0 0 20 0 46 0 174236451 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139659332176272 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22540] ppid=22530 vsize=27745908 memory=26904 CPUtime=12.63 cores=0-7
/proc/22533/task/22540/stat : 22540 (java) S 22530 22533 21861 0 -1 1077944384 94541 0 0 0 1202 61 0 0 20 0 46 0 174236451 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139659331124240 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22541] ppid=22530 vsize=27745908 memory=4052 CPUtime=12.71 cores=0-7
/proc/22533/task/22541/stat : 22541 (java) S 22530 22533 21861 0 -1 1077944384 91849 0 0 0 1208 63 0 0 20 0 46 0 174236451 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139659330071696 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22542] ppid=22530 vsize=27745908 memory=6791534058613427641 CPUtime=12.69 cores=0-7
/proc/22533/task/22542/stat : 22542 (java) S 22530 22533 21861 0 -1 1077944384 103816 0 0 0 1207 62 0 0 20 0 46 0 174236451 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139659329018640 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22543] ppid=22530 vsize=27745908 memory=15876 CPUtime=12.68 cores=0-7
/proc/22533/task/22543/stat : 22543 (java) S 22530 22533 21861 0 -1 1077944384 97082 0 0 0 1205 63 0 0 20 0 46 0 174236451 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139659327966096 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22544] ppid=22530 vsize=27745908 memory=26904 CPUtime=2.58 cores=0-7
/proc/22533/task/22544/stat : 22544 (java) S 22530 22533 21861 0 -1 1077944384 105333 0 0 0 221 37 0 0 20 0 46 0 174236452 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139657654814960 139659382725250 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22545] ppid=22530 vsize=27745908 memory=4052 CPUtime=0 cores=0-7
/proc/22533/task/22545/stat : 22545 (java) S 22530 22533 21861 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 46 0 174236453 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139657653761248 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22546] ppid=22530 vsize=27745908 memory=16236 CPUtime=0 cores=0-7
/proc/22533/task/22546/stat : 22546 (java) S 22530 22533 21861 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 46 0 174236453 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139657652708096 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22547] ppid=22530 vsize=27745908 memory=1796 CPUtime=0 cores=0-7
/proc/22533/task/22547/stat : 22547 (java) S 22530 22533 21861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 174236455 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139657651656656 139659382732699 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22548] ppid=22530 vsize=27745908 memory=644 CPUtime=2.34 cores=0-7
/proc/22533/task/22548/stat : 22548 (java) S 22530 22533 21861 0 -1 1077944384 13516 0 0 0 230 4 0 0 20 0 46 0 174236455 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139657650604784 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22549] ppid=22530 vsize=27745908 memory=960 CPUtime=2.47 cores=0-7
/proc/22533/task/22549/stat : 22549 (java) S 22530 22533 21861 0 -1 1077944384 11841 0 0 0 244 3 0 0 20 0 46 0 174236455 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139657649552240 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22550] ppid=22530 vsize=27745908 memory=4472 CPUtime=2.18 cores=0-7
/proc/22533/task/22550/stat : 22550 (java) S 22530 22533 21861 0 -1 1077944384 9718 0 0 0 215 3 0 0 20 0 46 0 174236455 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139657648499184 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22551] ppid=22530 vsize=27745908 memory=1236 CPUtime=1.33 cores=0-7
/proc/22533/task/22551/stat : 22551 (java) S 22530 22533 21861 0 -1 1077944384 22082 0 0 0 130 3 0 0 20 0 46 0 174236455 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139657647446640 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22552] ppid=22530 vsize=27745908 memory=932 CPUtime=0 cores=0-7
/proc/22533/task/22552/stat : 22552 (java) S 22530 22533 21861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 174236455 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139657646393824 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22553] ppid=22530 vsize=27745908 memory=1568 CPUtime=1.06 cores=0-7
/proc/22533/task/22553/stat : 22553 (java) S 22530 22533 21861 0 -1 1077944384 5984 0 0 0 60 46 0 0 20 0 46 0 174236456 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139657645341360 139659382725250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22554] ppid=22530 vsize=27745908 memory=6485280 CPUtime=0 cores=0-7
/proc/22533/task/22554/stat : 22554 (java) S 22530 22533 21861 0 -1 1077944384 945 0 0 0 0 0 0 0 20 0 46 0 174237030 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139657641341472 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22555] ppid=22530 vsize=27745908 memory=0 CPUtime=5.35 cores=0-7
/proc/22533/task/22555/stat : 22555 (java) R 22530 22533 21861 0 -1 1077944384 13349 0 0 0 302 233 0 0 20 0 46 0 174237041 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656893031328 139659382725250 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22556] ppid=22530 vsize=27745908 memory=6944656592455359580 CPUtime=2490.84 cores=0-7
/proc/22533/task/22556/stat : 22556 (java) R 22530 22533 21861 0 -1 4202560 119225 0 0 0 248892 192 0 0 20 0 46 0 174237050 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656889875496 139659002473926 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22557] ppid=22530 vsize=27745908 memory=6944656575208382560 CPUtime=2485.06 cores=0-7
/proc/22533/task/22557/stat : 22557 (java) R 22530 22533 21861 0 -1 4202560 116988 0 0 0 248360 146 0 0 20 0 46 0 174237051 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656888822712 139659007478983 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22558] ppid=22530 vsize=27745908 memory=6943526294502006880 CPUtime=2485.23 cores=0-7
/proc/22533/task/22558/stat : 22558 (java) R 22530 22533 21861 0 -1 4202560 105850 0 0 0 248356 167 0 0 20 0 46 0 174237051 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656887772040 139659006379621 0 4 0 16800975 0 0 0 -1 3 0 0 42 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22559] ppid=22530 vsize=27745908 memory=6944656592455359580 CPUtime=2485.07 cores=0-7
/proc/22533/task/22559/stat : 22559 (java) R 22530 22533 21861 0 -1 4202560 95040 0 0 0 248371 136 0 0 20 0 46 0 174237054 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656886721320 139659008112891 0 4 0 16800975 0 0 0 -1 7 0 0 28 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22560] ppid=22530 vsize=27745908 memory=6944652177228980320 CPUtime=1.27 cores=0-7
/proc/22533/task/22560/stat : 22560 (java) S 22530 22533 21861 0 -1 1077944384 276 0 0 0 120 7 0 0 20 0 46 0 174237054 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656885671056 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22561] ppid=22530 vsize=27745908 memory=6655300316396806240 CPUtime=2480.22 cores=0-7
/proc/22533/task/22561/stat : 22561 (java) R 22530 22533 21861 0 -1 4202560 102186 0 0 0 247854 168 0 0 20 0 46 0 174237054 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656884614352 139659007478997 0 4 0 16800975 0 0 0 -1 5 0 0 35 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22562] ppid=22530 vsize=27745908 memory=6943526294502006880 CPUtime=2482.08 cores=0-7
/proc/22533/task/22562/stat : 22562 (java) R 22530 22533 21861 0 -1 4202560 102457 0 0 0 248058 150 0 0 20 0 46 0 174237054 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656883560896 139659008531260 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22563] ppid=22530 vsize=27745908 memory=6655300316396806240 CPUtime=1.09 cores=0-7
/proc/22533/task/22563/stat : 22563 (java) S 22530 22533 21861 0 -1 1077944384 531 0 0 0 102 7 0 0 20 0 46 0 174237054 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656882512912 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22564] ppid=22530 vsize=27745908 memory=6656426216303648864 CPUtime=2490.48 cores=0-7
/proc/22533/task/22564/stat : 22564 (java) R 22530 22533 21861 0 -1 4202560 114496 0 0 0 248904 144 0 0 20 0 46 0 174237054 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656881455080 139659007603626 0 4 0 16800975 0 0 0 -1 2 0 0 32 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22565] ppid=22530 vsize=27745908 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/22533/task/22565/stat : 22565 (java) S 22530 22533 21861 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 46 0 174237055 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656880408112 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22566] ppid=22530 vsize=27745908 memory=6082202987142344279 CPUtime=2480.8 cores=0-7
/proc/22533/task/22566/stat : 22566 (java) R 22530 22533 21861 0 -1 4202560 113228 0 0 0 247932 148 0 0 20 0 46 0 174237055 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656879349184 139659008530113 0 4 0 16800975 0 0 0 -1 4 0 0 33 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22567] ppid=22530 vsize=27745908 memory=6082202987142344023 CPUtime=0 cores=0-7
/proc/22533/task/22567/stat : 22567 (java) S 22530 22533 21861 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 46 0 174237252 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656878302736 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22568] ppid=22530 vsize=27745908 memory=12132 CPUtime=0 cores=0-7
/proc/22533/task/22568/stat : 22568 (java) S 22530 22533 21861 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 46 0 174237253 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656877249680 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22569] ppid=22530 vsize=27745908 memory=1440 CPUtime=0 cores=0-7
/proc/22533/task/22569/stat : 22569 (java) S 22530 22533 21861 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 46 0 174237253 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656876197136 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22570] ppid=22530 vsize=27745908 memory=5796 CPUtime=0 cores=0-7
/proc/22533/task/22570/stat : 22570 (java) S 22530 22533 21861 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 46 0 174237253 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656875143856 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22571] ppid=22530 vsize=27745908 memory=1224 CPUtime=0 cores=0-7
/proc/22533/task/22571/stat : 22571 (java) S 22530 22533 21861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 174237544 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656871957296 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22572] ppid=22530 vsize=27745908 memory=8728 CPUtime=0 cores=0-7
/proc/22533/task/22572/stat : 22572 (java) S 22530 22533 21861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 174237544 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656870905264 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22573] ppid=22530 vsize=27745908 memory=1712 CPUtime=0 cores=0-7
/proc/22533/task/22573/stat : 22573 (java) S 22530 22533 21861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 174237545 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656869852720 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22574] ppid=22530 vsize=27745908 memory=4612 CPUtime=0 cores=0-7
/proc/22533/task/22574/stat : 22574 (java) S 22530 22533 21861 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 46 0 174237547 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656868799888 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22575] ppid=22530 vsize=27745908 memory=1004 CPUtime=0 cores=0-7
/proc/22533/task/22575/stat : 22575 (java) S 22530 22533 21861 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 46 0 174237552 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656867747344 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22576] ppid=22530 vsize=27745908 memory=1200 CPUtime=0 cores=0-7
/proc/22533/task/22576/stat : 22576 (java) S 22530 22533 21861 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 46 0 174237554 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656866694288 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22577] ppid=22530 vsize=27745908 memory=15876 CPUtime=0 cores=0-7
/proc/22533/task/22577/stat : 22577 (java) S 22530 22533 21861 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 46 0 174237556 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656865641744 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22578] ppid=22530 vsize=27745908 memory=26904 CPUtime=0 cores=0-7
/proc/22533/task/22578/stat : 22578 (java) S 22530 22533 21861 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 174237558 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656864588464 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
[pid=22533/tid=22579] ppid=22530 vsize=27745908 memory=4052 CPUtime=0 cores=0-7
/proc/22533/task/22579/stat : 22579 (java) S 22530 22533 21861 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 46 0 174237559 28411809792 1620678 33554432000 4194304 4196468 140733404472352 139656863536144 139659382724309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36962304 140733404480609 140733404480795 140733404480795 140733404483535 0
Current children cumulated CPU time: 20006.8 s
Current children cumulated vsize: 27745908 KiB
Current children cumulated memory: 6482712 KiB

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

[startup+2520.16 s]
# the end of solver process 22533 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19989.5 s, system=18.2089 s

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

[startup+2520.12 s]*
/proc/loadavg: 8.73 8.68 8.74 2/180 22614
/proc/meminfo: memFree=15097436/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 20007.7
CPU user time (s): 19989.5
CPU system time (s): 18.2089
CPU usage (%): 793.908
Max. virtual memory (cumulated for all children) (KiB): 27745908
Max. memory (cumulated for all children) (KiB): 6902988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19989.5
system time used= 18.2089
maximum resident set size= 6904012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1847813
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 432102
involuntary context switches= 418555


# summary of solver processes directly reported to runsolver:
#   pid: 22533
#   total CPU time (s): 20007.7
#   total CPU user time (s): 19989.5
#   total CPU system time (s): 18.2089

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.4002 second user time and 39.3652 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml
MD5SUM	45cb885f577274590a53a0b26d80d877
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	686
Best CPU time to get the best result obtained on this benchmark	2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables	3082
Number of constraints	1747
Number of domains	4
Minimum domain size	2
Maximum domain size	3043
Distribution of domain sizes	[{"size":2,"count":1521},{"size":3,"count":1521},{"size":1370,"count":1},{"size":3043,"count":39}]
Minimum variable degree	1
Maximum variable degree	40
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":1518},{"degree":3,"count":42},{"degree":4,"count":148},{"degree":8,"count":144},{"degree":9,"count":1225},{"degree":40,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	41
Distribution of constraint arities	[{"arity":2,"count":187},{"arity":3,"count":148},{"arity":10,"count":1369},{"arity":39,"count":4},{"arity":40,"count":1},{"arity":41,"count":38}]
Number of extensional constraints	1517
Number of intensional constraints	186
Distribution of constraint types	[{"type":"extension","count":1517},{"type":"intension","count":186},{"type":"sum","count":40},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4285026

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