2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-17	SAT (TO)	38289	2520.12	2489.06

0.67/0.56	c version: 2018-08-17
0.67/0.56	c seed: 1306271232
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
15.08/7.75	c Parsing done, starting search...
23.40/10.46	o 39695
24.34/11.27	o 39639
24.34/11.28	o 39633
24.34/11.28	o 39604
24.34/11.29	o 39599
26.03/12.28	o 39397
26.03/12.28	o 39356
26.03/12.29	o 39305
26.16/12.30	o 39299
26.16/12.31	o 39283
26.16/12.35	o 39250
26.16/12.36	o 39205
26.16/12.39	o 39200
26.16/12.39	o 39156
26.30/12.47	o 39123
26.30/12.48	o 39092
26.30/12.49	o 39076
82.08/66.30	o 39041
82.08/66.31	o 39027
462.84/441.86	o 39003
462.99/441.91	o 38983
462.99/441.91	o 38956
464.92/443.89	o 38945
465.37/444.28	o 38944
465.97/444.80	o 38930
467.37/446.26	o 38924
471.92/450.68	o 38918
472.02/450.76	o 38912
484.93/463.62	o 38902
485.34/464.02	o 38896
485.34/464.02	o 38890
488.72/467.30	o 38882
649.98/627.86	o 38864
650.08/627.90	o 38833
650.08/627.97	o 38713
650.08/628.00	o 38685
1058.45/1034.21	o 38684
1058.55/1034.33	o 38675
1058.55/1034.34	o 38660
1058.85/1034.64	o 38647
1058.95/1034.73	o 38634
1061.55/1037.37	o 38623
1061.65/1037.48	o 38610
1073.24/1048.93	o 38609
1074.45/1050.16	o 38591
1074.64/1050.35	o 38579
1075.94/1051.60	o 38578
1075.94/1051.60	o 38565
1076.24/1051.98	o 38549
1085.95/1061.65	o 38500
1085.95/1061.68	o 38498
1086.25/1061.93	o 38482
1162.12/1137.47	o 38465
1162.12/1137.47	o 38452
1206.02/1181.16	o 38449
1206.02/1181.17	o 38435
1206.02/1181.18	o 38418
1206.11/1181.28	o 38411
1206.11/1181.29	o 38405
1206.62/1181.75	o 38400
1206.82/1181.90	o 38389
1206.82/1181.90	o 38387
1206.82/1181.91	o 38361
1206.82/1181.95	o 38357
1207.03/1182.11	o 38352
1207.03/1182.13	o 38347
1207.03/1182.13	o 38291
1213.71/1188.77	o 38289
2520.07/2489.01	s SATISFIABLE
2520.07/2489.02	v <instantiation>
2520.07/2489.02	v 	<list>
2520.07/2489.02	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[67][68] d[67][69] d[67][70] d[67][71] d[68][69] d[68][70] d[68][71] d[69][70] d[69][71] d[70][71]
2520.07/2489.02	v 	</list>
2520.07/2489.02	v 	<values>
2520.07/2489.02	v 		40 55 58 8 33 57 39 37 68 35 25 67 49 44 5 41 23 61 69 7 31 0 24 62 60 47 15 9 1 46 30 38 42 16 65 71 4 2 32 27 3 51 19 17 29 50 64 13 43 66 12 18 14 54 34 21 59 20 36 6 56 63 11 26 53 10 48 52 22 45 28 70 0 2 1 0 10 5 2 5 10 5 1 5 0 3 10 5 0 0 0 10 3 0 2 4 0 10 0 1 5 0 0 1 0 0 3 5 5 1 2 0 2 10 2 0 2 5 0 5 0 5 0 4 5 0 0 0 0 0 0 1 10 1 5 2 2 2 0 2 2 5 2 1 5 5 2 0 3 1 1 10 5 5 1 1 6 2 1 0 0 1 1 1 6 5 0 4 10 0 0 0 5 0 0 2 5 0 10 3 4 0 1 1 10 5 2 2 5 0 1 1 0 5 0 2 1 1 0 0 0 2 2 2 5 5 0 0 1 0 1 4 1 5 1 1 2 5 0 2 1 0 5 1 0 2 0 5 2 5 5 10 5 5 5 0 2 0 3 0 1 1 1 6 2 0 2 1 2 5 2 3 5 0 5 0 5 5 0 0 10 2 0 5 1 2 0 0 5 2 5 1 2 1 1 5 10 2 5 10 0 5 10 0 10 5 0 1 4 5 10 1 4 4 0 5 4 2 2 0 5 5 5 2 4 1 0 0 1 10 2 2 2 5 1 0 3 5 0 0 4 0 2 5 2 2 1 10 0 6 1 10 1 2 2 0 0 0 0 1 1 0 0 0 5 0 1 1 5 5 1 2 6 0 10 5 1 0 1 0 0 10 2 2 2 0 0 3 1 0 1 5 2 10 0 0 2 4 2 4 1 3 5 1 0 2 2 1 0 2 0 2 0 3 0 1 5 0 2 1 2 4 0 1 10 0 0 2 0 0 4 0 0 2 0 5 5 10 6 10 0 0 4 2 0 5 4 0 3 3 0 2 2 0 10 0 4 0 0 1 0 0 0 0 2 10 0 5 0 5 0 0 0 10 2 0 3 3 1 5 0 2 10 5 0 2 1 3 5 5 4 0 1 2 0 0 1 0 0 2 1 0 4 6 0 0 2 2 0 10 1 10 1 0 1 2 2 6 1 3 2 10 0 1 5 4 0 0 0 0 5 0 2 1 10 10 2 2 0 2 1 2 0 1 10 3 2 0 10 5 1 2 0 5 1 0 0 0 0 1 2 2 2 0 0 2 5 10 3 0 0 1 5 2 0 0 5 1 3 2 0 6 5 0 4 5 0 2 10 0 1 0 5 1 2 0 0 2 0 0 0 2 5 5 5 10 5 2 5 0 2 0 2 10 10 2 10 0 0 5 4 0 1 10 1 0 10 1 2 10 0 5 5 0 5 10 10 5 2 0 5 0 0 2 1 10 3 0 2 5 0 5 0 2 5 6 3 4 10 1 5 2 1 0 5 5 0 1 0 5 2 0 2 2 2 5 1 0 2 3 1 3 3 2 1 2 3 5 0 4 0 1 10 1 2 5 5 5 1 10 0 2 0 0 3 5 2 5 0 10 5 4 2 6 0 0 5 0 6 2 0 2 5 2 1 10 5 0 0 0 5 10 2 5 0 1 0 10 5 0 0 0 5 10 0 10 2 3 1 2 1 2 0 0 5 0 2 2 0 1 2 2 4 2 0 4 1 10 1 0 10 2 5 3 5 10 1 0 2 2 0 5 2 0 3 10 5 6 0 2 1 0 0 5 10 2 0 2 5 1 2 5 5 10 2 0 5 5 0 0 2 5 0 0 2 2 2 0 0 5 1 3 5 0 1 3 5 5 1 0 5 4 5 2 5 2 2 5 1 3 10 0 1 0 4 3 2 5 2 5 1 5 0 1 2 4 0 10 2 2 0 2 5 3 2 0 5 4 2 0 2 0 10 1 0 0 0 2 1 2 3 0 2 0 4 0 0 6 10 2 5 3 5 1 0 5 0 5 5 5 3 2 2 2 0 0 2 0 0 0 1 0 0 2 10 2 5 2 1 2 5 0 5 10 2 0 0 0 2 0 0 5 10 5 5 2 0 1 0 2 2 0 1 2 5 5 0 0 1 1 5 2 2 0 0 5 0 5 0 10 5 0 0 0 0 6 0 2 0 2 2 1 1 0 2 5 1 5 0 6 2 2 0 10 0 5 0 5 10 0 0 0 5 1 5 0 2 0 2 0 1 4 5 4 2 0 10 5 0 1 2 5 10 2 5 5 2 0 5 0 3 2 5 5 4 4 2 2 2 5 5 10 5 3 0 5 2 5 0 6 5 0 1 5 5 2 2 10 2 10 5 10 5 2 2 0 1 0 0 5 0 10 2 6 5 3 5 1 5 0 10 5 5 0 2 0 0 10 1 0 5 10 0 0 5 0 1 0 1 2 10 5 6 2 3 0 10 2 2 1 0 2 3 0 0 5 0 2 1 1 0 0 2 3 1 4 0 0 0 4 5 0 5 10 1 2 1 2 4 2 5 2 5 10 0 1 0 0 2 0 5 3 5 2 5 2 0 0 1 0 3 2 2 5 0 10 5 0 1 5 1 0 0 2 1 0 0 2 10 10 2 1 0 0 1 5 1 2 0 5 10 2 0 1 3 10 3 5 10 5 0 0 0 5 2 5 1 0 5 2 2 0 2 1 0 5 10 0 4 5 10 5 0 0 10 1 0 0 5 0 10 0 4 0 2 10 3 6 1 3 6 2 10 0 0 0 5 10 5 3 0 10 10 5 0 2 0 5 3 1 2 0 0 5 2 5 4 0 0 5 1 6 0 0 0 2 4 0 0 3 5 0 1 3 0 5 2 10 5 2 5 0 5 10 0 1 0 0 1 2 5 0 2 4 5 5 0 2 5 2 2 2 5 0 5 2 1 2 0 2 2 0 0 2 10 1 0 2 2 0 5 2 10 1 5 0 5 3 0 10 10 1 10 5 1 5 0 0 1 0 0 0 5 5 0 5 1 0 1 0 0 4 1 2 6 0 10 0 2 4 5 2 0 2 0 2 3 0 1 1 2 0 2 1 2 3 0 10 2 0 6 2 0 1 5 5 0 2 2 10 4 10 10 2 0 2 1 0 2 0 4 0 10 0 2 5 10 0 2 1 10 1 2 0 5 0 0 4 2 0 1 10 3 1 0 5 0 0 3 1 5 0 0 0 10 0 5 6 5 5 10 2 1 0 5 0 1 2 0 0 10 5 2 2 0 0 0 2 5 0 0 0 5 3 0 10 2 0 2 3 2 5 0 5 0 1 1 2 2 10 10 2 0 3 2 2 10 10 1 6 0 2 0 1 5 0 3 0 6 0 5 2 2 10 0 1 10 5 0 1 1 0 1 1 0 2 0 4 2 5 1 5 2 1 0 5 5 0 4 10 5 0 3 0 5 1 0 2 2 2 4 10 0 0 4 0 2 5 2 1 0 2 0 5 5 1 5 1 6 0 5 5 1 5 2 0 2 0 5 0 1 2 5 0 0 0 5 0 0 5 5 0 0 0 5 4 1 0 4 0 0 6 10 6 2 0 0 0 1 5 2 0 10 0 0 10 5 10 0 10 0 1 0 2 0 1 2 10 5 4 5 0 0 2 2 0 1 3 10 2 2 3 0 5 0 10 4 0 0 5 0 1 5 0 0 5 5 1 2 5 5 0 5 0 10 0 0 5 5 5 2 0 1 5 0 4 5 2 2 5 0 4 1 2 2 0 5 5 2 1 10 2 0 10 5 0 5 2 0 5 2 2 6 0 1 0 5 1 5 5 0 2 2 5 0 0 5 0 5 0 1 2 5 0 10 0 2 0 2 1 0 2 2 4 0 0 0 5 5 1 10 10 2 3 0 5 4 1 2 5 2 0 0 2 1 6 1 5 1 0 4 0 5 4 0 0 10 4 0 1 10 10 5 5 5 5 1 0 0 5 5 3 2 5 2 2 2 0 10 0 0 5 0 2 0 1 5 1 0 6 5 3 3 0 0 0 0 5 2 5 2 2 4 5 1 5 0 1 0 2 0 2 10 5 1 2 0 2 5 0 0 2 0 5 5 2 5 0 5 10 2 2 2 2 5 5 1 5 5 10 5 0 5 0 5 5 5 5 0 1 2 0 2 0 1 0 5 2 0 1 5 0 10 5 1 0 0 2 0 5 1 3 10 1 2 10 0 1 2 1 5 1 5 0 2 5 5 1 0 5 2 2 2 2 0 0 1 5 2 0 4 10 5 4 0 3 0 1 5 2 1 5 5 10 1 2 5 5 1 2 0 2 5 0 5 2 3 5 5 0 5 5 0 5 5 0 2 2 4 0 0 2 0 1 5 5 3 1 0 1 10 0 5 1 0 1 5 1 5 2 5 5 5 5 2 0 2 0 5 3 0 0 0 5 5 0 5 0 2 3 5 0 5 5 2 0 10 0 2 0 3 5 0 0 1 2 5 5 10 0 2 6 2 1 10 5 0 0 0 0 5 5 0 2 0 0 0 0 1 5 0 5 5 3 3 0 0 2 0 5 5 5 5 5 1 0 6 1 5 0 0 5 1 0 0 5 2 2 3 0 5 2 0 1 5 0 5 5 0 0 0 5 0 1 1 1 0 2 5 0 5 0 5 5 0 0 0 0 1 2 2 5 5 0 6 0 2 3 5 2 1 0 0 0 5 0 5 5 1 0 2 5 5 10 2 1 2 4 0 0 0 1 5 2 5 0 5 10 3 2 0 5 5 1 5 2 1 5 2 2 3 0 0 2 5 5 0 2 2 0 0 1 1 5 5 0 5 0 5 5 5 0 0 10 2 0 0 2 4 0 1 0 0 2 10 0 0 0 0 5 1 10 0 3 1 0 5 0 1 10 5 1 2 10 0 4 5 2 0 0 0 5 0 1 2 1 0 2 6 0 0 5 2 4 0 1 2 1 6 5 0 1 0 1 5 2 5 4 5 1 3 5 5 5 4 0 3 1 2 0 0 4 0 0 2 5 5 5 0 1 4 2 0 0 0 1 0 5 2 2 5 0 5 0 6 10 5 0 0 2 2 5 2 1 0 6 5 5 5 0 0 5 0 2 2 5 2 0 2 0 3 0 5 5 10 10 0 0 10 2 0 0 0 1 5 0 1 2 5 10 0 1 2 10 2 0 0 0 5 10 2 5 0 0 0 5 1 0 1 2 1 0 0 10 5 5 1 2 5 1 1 10 5 1 2 3 0 0 0 5 2 0 0 10 3 10 5 5 5 2 10 2 1 2 4 10 1 10 0 0 0 0 0 2 0 0 4 0 10 3 3 4 10 1 4 0 10 2 1 0 1 0 2 10 4 5 3 2 0 4 0 5 0 10 10 1 0 0 1 5 5 5 5 3 0 0 10 5 1 5 3 0 1 3 10 0 5 3 1 1 0 1 6 1 10 5 10 0 0 2 0 0 2 2 0 10 5 0 10 5 0 0 0 2 5 2 5 0 0 5 3 4 3 2 1 5 0 10 5 0 5 0 3 5 1 1 5 1 0 0 1 5 0 5 4 2 2 5 10 5 5 5 4 10 0 1 1 3 2 2 0 5 2 0 1 10 5 5 5 0 0 2 5 2 0 4 6 5 2 4 0 0 10 5 1 0 0 5 3 0 2 0 2 6 5 10 0 5 2 0 5 5 10 3 10 1 0 5 2 4 2 1 2 5 5 4 2 0 0 0 5 5 2 0 5 5 2 1 0 5 10 4 0 6 5 4 2 6 0 5 1 5 2 3 0 0 10 1 10 10 4 10 5 0 0 1 1 1 2 2 2 5 10 5 4 0 5 1 0 2 2 2 1 0 0 0 0 5 5 1 6 5 10 5 2 1 1 2 5 0 0 0 0 0 5 2 2 0 1 3 0 10 5 5 5 5 10 5 0 0 5 0 5 2 0 5 4 5 
2520.07/2489.02	v 	</values>
2520.07/2489.02	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 (13396 MiB free)
  memory of node 1: 16384 MiB (13592 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311670-1534550265/watcher-4311670-1534550265 -o /tmp/evaluation-result-4311670-1534550265/solver-4311670-1534550265 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534541039-7531 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1306271232 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311670-1534550265.xml 

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

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

solver pid=8464, runsolver pid=8461

[startup+0.100138 s]*
/proc/loadavg: 1.71 1.70 1.74 3/215 8479
/proc/meminfo: memFree=27618740/32770624 swapFree=67108796/67108860
[pid=8464] ppid=8461 vsize=14082736 memory=31184 CPUtime=0.12 cores=1,3,5,7
/proc/8464/stat : 8464 (java) S 8461 8464 7499 0 -1 1077944320 6700 0 0 0 11 1 0 0 20 0 15 0 272589675 14420721664 7796 33554432000 4194304 4196468 140729134516560 140729134499104 140071314878199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
/proc/8464/statm: 3520684 7796 3155 1 0 3482761 0
[pid=8464/tid=8466] ppid=8461 vsize=14082736 memory=-8679951028115567808 CPUtime=0.09 cores=1,3,5,7
/proc/8464/task/8466/stat : 8466 (java) R 8461 8464 7499 0 -1 4202560 4753 0 0 0 8 1 0 0 20 0 15 0 272589675 14420721664 7796 33554432000 4194304 4196468 140729134516560 140071319099040 140071298958686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8467] ppid=8461 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8467/stat : 8467 (java) S 8461 8464 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272589676 14420721664 7796 33554432000 4194304 4196468 140729134516560 140071244967056 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8468] ppid=8461 vsize=14082736 memory=139938558547584 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8468/stat : 8468 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589676 14420721664 7796 33554432000 4194304 4196468 140729134516560 140071243914256 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8469] ppid=8461 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8469/stat : 8469 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589676 14420721664 7796 33554432000 4194304 4196468 140729134516560 140071242861456 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8470] ppid=8461 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8470/stat : 8470 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589676 14420721664 7796 33554432000 4194304 4196468 140729134516560 140071241808656 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8471] ppid=8461 vsize=14082736 memory=139938558547584 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8471/stat : 8471 (java) S 8461 8464 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272589677 14420721664 7796 33554432000 4194304 4196468 140729134516560 140070451771760 140071314889346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8472] ppid=8461 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8472/stat : 8472 (java) S 8461 8464 7499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272589678 14420721664 7796 33554432000 4194304 4196468 140729134516560 140070450717728 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8473] ppid=8461 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8473/stat : 8473 (java) S 8461 8464 7499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272589678 14420721664 7796 33554432000 4194304 4196468 140729134516560 140070449664880 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8474] ppid=8461 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8474/stat : 8474 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14420721664 7796 33554432000 4194304 4196468 140729134516560 140070448613200 140071314896795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8475] ppid=8461 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8475/stat : 8475 (java) S 8461 8464 7499 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 272589680 14420721664 7796 33554432000 4194304 4196468 140729134516560 140070447561584 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8476] ppid=8461 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8476/stat : 8476 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589680 14420721664 7796 33554432000 4194304 4196468 140729134516560 140070446508784 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8477] ppid=8461 vsize=14082736 memory=139938558547584 CPUtime=0.01 cores=1,3,5,7
/proc/8464/task/8477/stat : 8477 (java) S 8461 8464 7499 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 272589680 14420721664 7796 33554432000 4194304 4196468 140729134516560 140070445455984 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8478] ppid=8461 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8478/stat : 8478 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14420721664 7796 33554432000 4194304 4196468 140729134516560 140070444403424 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8479] ppid=8461 vsize=14082736 memory=139938558547584 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8479/stat : 8479 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589681 14420721664 7796 33554432000 4194304 4196468 140729134516560 140070443350704 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31184 KiB

[startup+0.218635 s]*
/proc/loadavg: 1.71 1.70 1.74 5/215 8479
/proc/meminfo: memFree=27603608/32770624 swapFree=67108796/67108860
[pid=8464] ppid=8461 vsize=14082736 memory=47000 CPUtime=0.32 cores=1,3,5,7
/proc/8464/stat : 8464 (java) S 8461 8464 7499 0 -1 1077944320 10407 0 0 0 30 2 0 0 20 0 15 0 272589675 14420721664 11750 33554432000 4194304 4196468 140729134516560 140729134499104 140071314878199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
/proc/8464/statm: 3520684 11750 3358 1 0 3482761 0
[pid=8464/tid=8466] ppid=8461 vsize=14082736 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/8464/task/8466/stat : 8466 (java) R 8461 8464 7499 0 -1 4202560 8110 0 0 0 19 2 0 0 20 0 15 0 272589675 14420721664 11816 33554432000 4194304 4196468 140729134516560 140071319096496 140071298921829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8467] ppid=8461 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8467/stat : 8467 (java) S 8461 8464 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272589676 14420721664 11816 33554432000 4194304 4196468 140729134516560 140071244967056 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8468] ppid=8461 vsize=14082736 memory=288370314710259328 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8468/stat : 8468 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589676 14420721664 11816 33554432000 4194304 4196468 140729134516560 140071243914256 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8469] ppid=8461 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8469/stat : 8469 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589676 14420721664 11816 33554432000 4194304 4196468 140729134516560 140071242861456 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8470] ppid=8461 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8470/stat : 8470 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589676 14420721664 11816 33554432000 4194304 4196468 140729134516560 140071241808656 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8471] ppid=8461 vsize=14082736 memory=139938558547584 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8471/stat : 8471 (java) S 8461 8464 7499 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272589677 14420721664 11871 33554432000 4194304 4196468 140729134516560 140070451771760 140071314889346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8472] ppid=8461 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8472/stat : 8472 (java) S 8461 8464 7499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272589678 14420721664 11871 33554432000 4194304 4196468 140729134516560 140070450717728 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8473] ppid=8461 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8473/stat : 8473 (java) S 8461 8464 7499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272589678 14420721664 11871 33554432000 4194304 4196468 140729134516560 140070449664880 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8474] ppid=8461 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8474/stat : 8474 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14420721664 11871 33554432000 4194304 4196468 140729134516560 140070448613200 140071314896795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8475] ppid=8461 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8464/task/8475/stat : 8475 (java) S 8461 8464 7499 0 -1 1077944384 413 0 0 0 2 0 0 0 20 0 15 0 272589680 14420721664 11871 33554432000 4194304 4196468 140729134516560 140070447561584 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8476] ppid=8461 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8464/task/8476/stat : 8476 (java) S 8461 8464 7499 0 -1 1077944384 201 0 0 0 2 0 0 0 20 0 15 0 272589680 14420721664 11871 33554432000 4194304 4196468 140729134516560 140070446508784 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8477] ppid=8461 vsize=14082736 memory=139938558547584 CPUtime=0.07 cores=1,3,5,7
/proc/8464/task/8477/stat : 8477 (java) R 8461 8464 7499 0 -1 4202560 310 0 0 0 7 0 0 0 20 0 15 0 272589680 14420721664 11871 33554432000 4194304 4196468 140729134516560 140070445455984 140071307115326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8478] ppid=8461 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8478/stat : 8478 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14420721664 11871 33554432000 4194304 4196468 140729134516560 140070444403424 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8479] ppid=8461 vsize=14082736 memory=139938558547584 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8479/stat : 8479 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589681 14420721664 11871 33554432000 4194304 4196468 140729134516560 140070443350704 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47000 KiB

[startup+0.310591 s]*
/proc/loadavg: 1.71 1.70 1.74 4/215 8479
/proc/meminfo: memFree=27600196/32770624 swapFree=67108796/67108860
[pid=8464] ppid=8461 vsize=14082736 memory=50552 CPUtime=0.44 cores=1,3,5,7
/proc/8464/stat : 8464 (java) S 8461 8464 7499 0 -1 1077944320 10779 0 0 0 42 2 0 0 20 0 15 0 272589675 14420721664 12638 33554432000 4194304 4196468 140729134516560 140729134499104 140071314878199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
/proc/8464/statm: 3520684 12638 3408 1 0 3482761 0
[pid=8464/tid=8466] ppid=8461 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/8464/task/8466/stat : 8466 (java) R 8461 8464 7499 0 -1 4202560 8450 0 0 0 28 2 0 0 20 0 15 0 272589675 14420721664 12638 33554432000 4194304 4196468 140729134516560 140071319087552 140071307115326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8467] ppid=8461 vsize=14082736 memory=304556161963917335 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8467/stat : 8467 (java) S 8461 8464 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272589676 14420721664 12638 33554432000 4194304 4196468 140729134516560 140071244967056 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8468] ppid=8461 vsize=14082736 memory=14553673666827928 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8468/stat : 8468 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589676 14420721664 12638 33554432000 4194304 4196468 140729134516560 140071243914256 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8469] ppid=8461 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8469/stat : 8469 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589676 14420721664 12638 33554432000 4194304 4196468 140729134516560 140071242861456 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8470] ppid=8461 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8470/stat : 8470 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589676 14420721664 12638 33554432000 4194304 4196468 140729134516560 140071241808656 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8471] ppid=8461 vsize=14082736 memory=139938558547584 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8471/stat : 8471 (java) S 8461 8464 7499 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272589677 14420721664 12638 33554432000 4194304 4196468 140729134516560 140070451771760 140071314889346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8472] ppid=8461 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8472/stat : 8472 (java) S 8461 8464 7499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272589678 14420721664 12638 33554432000 4194304 4196468 140729134516560 140070450717728 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8473] ppid=8461 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8473/stat : 8473 (java) S 8461 8464 7499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272589678 14420721664 12689 33554432000 4194304 4196468 140729134516560 140070449664880 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8474] ppid=8461 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8474/stat : 8474 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14420721664 12689 33554432000 4194304 4196468 140729134516560 140070448613200 140071314896795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8475] ppid=8461 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8464/task/8475/stat : 8475 (java) S 8461 8464 7499 0 -1 1077944384 419 0 0 0 2 0 0 0 20 0 15 0 272589680 14420721664 12689 33554432000 4194304 4196468 140729134516560 140070447561584 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8476] ppid=8461 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8464/task/8476/stat : 8476 (java) S 8461 8464 7499 0 -1 1077944384 201 0 0 0 2 0 0 0 20 0 15 0 272589680 14420721664 12689 33554432000 4194304 4196468 140729134516560 140070446508784 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8477] ppid=8461 vsize=14082736 memory=139938558547584 CPUtime=0.08 cores=1,3,5,7
/proc/8464/task/8477/stat : 8477 (java) S 8461 8464 7499 0 -1 1077944384 328 0 0 0 8 0 0 0 20 0 15 0 272589680 14420721664 12689 33554432000 4194304 4196468 140729134516560 140070445455984 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8478] ppid=8461 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8478/stat : 8478 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14420721664 12689 33554432000 4194304 4196468 140729134516560 140070444403424 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8479] ppid=8461 vsize=14082736 memory=139938558547584 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8479/stat : 8479 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589681 14420721664 12689 33554432000 4194304 4196468 140729134516560 140070443350704 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50552 KiB

[startup+0.70077 s]
/proc/loadavg: 1.71 1.70 1.74 3/215 8479
/proc/meminfo: memFree=27576136/32770624 swapFree=67108796/67108860
[pid=8464] ppid=8461 vsize=14084804 memory=88888 CPUtime=0.99 cores=1,3,5,7
/proc/8464/stat : 8464 (java) S 8461 8464 7499 0 -1 1077944320 17634 0 0 0 95 4 0 0 20 0 15 0 272589675 14422839296 22222 33554432000 4194304 4196468 140729134516560 140729134499104 140071314878199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
/proc/8464/statm: 3521201 22222 3500 1 0 3483273 0
[pid=8464/tid=8466] ppid=8461 vsize=14084804 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/8464/task/8466/stat : 8466 (java) R 8461 8464 7499 0 -1 4202560 14899 0 0 0 64 3 0 0 20 0 15 0 272589675 14422839296 22222 33554432000 4194304 4196468 140729134516560 140071319102416 140071314900125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8467] ppid=8461 vsize=14084804 memory=8628 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8467/stat : 8467 (java) S 8461 8464 7499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272589676 14422839296 22222 33554432000 4194304 4196468 140729134516560 140071244967056 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8468] ppid=8461 vsize=14084804 memory=1080 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8468/stat : 8468 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589676 14422839296 22222 33554432000 4194304 4196468 140729134516560 140071243914256 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8469] ppid=8461 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8469/stat : 8469 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589676 14422839296 22222 33554432000 4194304 4196468 140729134516560 140071242861456 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8470] ppid=8461 vsize=14084804 memory=796 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8470/stat : 8470 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589676 14422839296 22222 33554432000 4194304 4196468 140729134516560 140071241808656 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8471] ppid=8461 vsize=14084804 memory=1592 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8471/stat : 8471 (java) S 8461 8464 7499 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272589677 14422839296 22222 33554432000 4194304 4196468 140729134516560 140070451771760 140071314889346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8472] ppid=8461 vsize=14084804 memory=3780 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8472/stat : 8472 (java) S 8461 8464 7499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272589678 14422839296 22222 33554432000 4194304 4196468 140729134516560 140070450717728 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8473] ppid=8461 vsize=14084804 memory=3140 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8473/stat : 8473 (java) S 8461 8464 7499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272589678 14422839296 22222 33554432000 4194304 4196468 140729134516560 140070449664880 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8474] ppid=8461 vsize=14084804 memory=7302135314614015845 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8474/stat : 8474 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14422839296 22222 33554432000 4194304 4196468 140729134516560 140070448613200 140071314896795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8475] ppid=8461 vsize=14084804 memory=8099279071866868845 CPUtime=0.06 cores=1,3,5,7
/proc/8464/task/8475/stat : 8475 (java) S 8461 8464 7499 0 -1 1077944384 553 0 0 0 6 0 0 0 20 0 15 0 272589680 14422839296 22222 33554432000 4194304 4196468 140729134516560 140070447561584 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8476] ppid=8461 vsize=14084804 memory=6154282490091891024 CPUtime=0.08 cores=1,3,5,7
/proc/8464/task/8476/stat : 8476 (java) S 8461 8464 7499 0 -1 1077944384 373 0 0 0 8 0 0 0 20 0 15 0 272589680 14422839296 22222 33554432000 4194304 4196468 140729134516560 140070446508784 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8477] ppid=8461 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/8464/task/8477/stat : 8477 (java) S 8461 8464 7499 0 -1 1077944384 427 0 0 0 15 0 0 0 20 0 15 0 272589680 14422839296 22222 33554432000 4194304 4196468 140729134516560 140070445455984 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8478] ppid=8461 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8478/stat : 8478 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14422839296 22222 33554432000 4194304 4196468 140729134516560 140070444403424 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8479] ppid=8461 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8479/stat : 8479 (java) S 8461 8464 7499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272589681 14422839296 22222 33554432000 4194304 4196468 140729134516560 140070443350704 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88888 KiB

[startup+1.5022 s]
/proc/loadavg: 1.71 1.70 1.74 5/215 8479
/proc/meminfo: memFree=27524980/32770624 swapFree=67108796/67108860
[pid=8464] ppid=8461 vsize=14086852 memory=218916 CPUtime=3.27 cores=1,3,5,7
/proc/8464/stat : 8464 (java) S 8461 8464 7499 0 -1 1077944320 27194 0 0 0 320 7 0 0 20 0 15 0 272589675 14424936448 54729 33554432000 4194304 4196468 140729134516560 140729134499104 140071314878199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
/proc/8464/statm: 3521713 54729 3568 1 0 3483785 0
[pid=8464/tid=8466] ppid=8461 vsize=14086852 memory=8112282956445269571 CPUtime=1.45 cores=1,3,5,7
/proc/8464/task/8466/stat : 8466 (java) R 8461 8464 7499 0 -1 4202560 18173 0 0 0 140 5 0 0 20 0 15 0 272589675 14424936448 54729 33554432000 4194304 4196468 140729134516560 140071319115248 140070918793569 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8467] ppid=8461 vsize=14086852 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8467/stat : 8467 (java) S 8461 8464 7499 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 272589676 14424936448 54729 33554432000 4194304 4196468 140729134516560 140071244967056 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8468] ppid=8461 vsize=14086852 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8468/stat : 8468 (java) S 8461 8464 7499 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 272589676 14424936448 54729 33554432000 4194304 4196468 140729134516560 140071243914256 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8469] ppid=8461 vsize=14086852 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8469/stat : 8469 (java) S 8461 8464 7499 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 272589676 14424936448 54729 33554432000 4194304 4196468 140729134516560 140071242861456 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8470] ppid=8461 vsize=14086852 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8470/stat : 8470 (java) S 8461 8464 7499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272589676 14424936448 54729 33554432000 4194304 4196468 140729134516560 140071241808656 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8471] ppid=8461 vsize=14086852 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8471/stat : 8471 (java) S 8461 8464 7499 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 15 0 272589677 14424936448 54729 33554432000 4194304 4196468 140729134516560 140070451771760 140071314889346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0

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

/proc/8464/task/8466/stat : 8466 (java) R 8461 8464 7499 0 -1 4202560 226568 0 0 0 231329 45 0 0 20 0 15 0 272589675 14429130752 994880 33554432000 4194304 4196468 140729134516560 140071319116352 140070913917496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8467] ppid=8461 vsize=14090948 memory=3979520 CPUtime=7.84 cores=1,3,5,7
/proc/8464/task/8467/stat : 8467 (java) S 8461 8464 7499 0 -1 1077944384 32291 0 0 0 703 81 0 0 20 0 15 0 272589676 14429130752 994880 33554432000 4194304 4196468 140729134516560 140071244967056 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8468] ppid=8461 vsize=14090948 memory=3979520 CPUtime=7.85 cores=1,3,5,7
/proc/8464/task/8468/stat : 8468 (java) S 8461 8464 7499 0 -1 1077944384 28388 0 0 0 707 78 0 0 20 0 15 0 272589676 14429130752 994880 33554432000 4194304 4196468 140729134516560 140071243914256 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8469] ppid=8461 vsize=14090948 memory=3979520 CPUtime=7.89 cores=1,3,5,7
/proc/8464/task/8469/stat : 8469 (java) S 8461 8464 7499 0 -1 1077944384 35668 0 0 0 709 80 0 0 20 0 15 0 272589676 14429130752 994880 33554432000 4194304 4196468 140729134516560 140071242861456 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8470] ppid=8461 vsize=14090948 memory=3979520 CPUtime=7.83 cores=1,3,5,7
/proc/8464/task/8470/stat : 8470 (java) S 8461 8464 7499 0 -1 1077944384 43058 0 0 0 701 82 0 0 20 0 15 0 272589676 14429130752 994880 33554432000 4194304 4196468 140729134516560 140071241808656 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8471] ppid=8461 vsize=14090948 memory=3979520 CPUtime=0.45 cores=1,3,5,7
/proc/8464/task/8471/stat : 8471 (java) S 8461 8464 7499 0 -1 1077944384 20847 0 0 0 40 5 0 0 20 0 15 0 272589677 14429130752 994880 33554432000 4194304 4196468 140729134516560 140070451771760 140071314889346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8472] ppid=8461 vsize=14090948 memory=3979520 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8472/stat : 8472 (java) S 8461 8464 7499 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 272589678 14429130752 994880 33554432000 4194304 4196468 140729134516560 140070450717792 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8473] ppid=8461 vsize=14090948 memory=226 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8473/stat : 8473 (java) S 8461 8464 7499 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 272589678 14429130752 994880 33554432000 4194304 4196468 140729134516560 140070449664896 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8474] ppid=8461 vsize=14090948 memory=104 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8474/stat : 8474 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14429130752 994880 33554432000 4194304 4196468 140729134516560 140070448613200 140071314896795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8475] ppid=8461 vsize=14090948 memory=932 CPUtime=2.41 cores=1,3,5,7
/proc/8464/task/8475/stat : 8475 (java) S 8461 8464 7499 0 -1 1077944384 10711 0 0 0 240 1 0 0 20 0 15 0 272589680 14429130752 994880 33554432000 4194304 4196468 140729134516560 140070447561584 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8476] ppid=8461 vsize=14090948 memory=1728 CPUtime=2.26 cores=1,3,5,7
/proc/8464/task/8476/stat : 8476 (java) S 8461 8464 7499 0 -1 1077944384 10947 0 0 0 225 1 0 0 20 0 15 0 272589680 14429130752 994880 33554432000 4194304 4196468 140729134516560 140070446508784 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8477] ppid=8461 vsize=14090948 memory=3979520 CPUtime=1.04 cores=1,3,5,7
/proc/8464/task/8477/stat : 8477 (java) S 8461 8464 7499 0 -1 1077944384 15420 0 0 0 102 2 0 0 20 0 15 0 272589680 14429130752 994880 33554432000 4194304 4196468 140729134516560 140070445455984 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8478] ppid=8461 vsize=14090948 memory=3979520 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8478/stat : 8478 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14429130752 994880 33554432000 4194304 4196468 140729134516560 140070444403424 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8479] ppid=8461 vsize=14090948 memory=0 CPUtime=1.21 cores=1,3,5,7
/proc/8464/task/8479/stat : 8479 (java) S 8461 8464 7499 0 -1 1077944384 1362 0 0 0 51 70 0 0 20 0 15 0 272589681 14429130752 994880 33554432000 4194304 4196468 140729134516560 140070443350704 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
Current children cumulated CPU time: 2352.62 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3979520 KiB

[startup+2382.3 s]
/proc/loadavg: 1.94 1.94 1.89 3/215 8654
/proc/meminfo: memFree=21392944/32770624 swapFree=67108796/67108860
[pid=8464] ppid=8461 vsize=14090948 memory=3984660 CPUtime=2412.9 cores=1,3,5,7
/proc/8464/stat : 8464 (java) S 8461 8464 7499 0 -1 1077944320 437416 0 0 0 240852 438 0 0 20 0 15 0 272589675 14429130752 996165 33554432000 4194304 4196468 140729134516560 140729134499104 140071314878199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
/proc/8464/statm: 3522737 996165 3621 1 0 3484809 0
[pid=8464/tid=8466] ppid=8461 vsize=14090948 memory=3979520 CPUtime=2373.64 cores=1,3,5,7
/proc/8464/task/8466/stat : 8466 (java) R 8461 8464 7499 0 -1 4202560 233104 0 0 0 237318 46 0 0 20 0 15 0 272589675 14429130752 996165 33554432000 4194304 4196468 140729134516560 140071319116352 140070923384517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8467] ppid=8461 vsize=14090948 memory=3984660 CPUtime=7.92 cores=1,3,5,7
/proc/8464/task/8467/stat : 8467 (java) S 8461 8464 7499 0 -1 1077944384 33488 0 0 0 711 81 0 0 20 0 15 0 272589676 14429130752 996165 33554432000 4194304 4196468 140729134516560 140071244967056 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8468] ppid=8461 vsize=14090948 memory=3984660 CPUtime=7.94 cores=1,3,5,7
/proc/8464/task/8468/stat : 8468 (java) S 8461 8464 7499 0 -1 1077944384 28904 0 0 0 715 79 0 0 20 0 15 0 272589676 14429130752 996165 33554432000 4194304 4196468 140729134516560 140071243914256 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8469] ppid=8461 vsize=14090948 memory=3984660 CPUtime=7.98 cores=1,3,5,7
/proc/8464/task/8469/stat : 8469 (java) S 8461 8464 7499 0 -1 1077944384 36359 0 0 0 717 81 0 0 20 0 15 0 272589676 14429130752 996165 33554432000 4194304 4196468 140729134516560 140071242861456 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8470] ppid=8461 vsize=14090948 memory=3984660 CPUtime=7.91 cores=1,3,5,7
/proc/8464/task/8470/stat : 8470 (java) S 8461 8464 7499 0 -1 1077944384 44530 0 0 0 709 82 0 0 20 0 15 0 272589676 14429130752 996165 33554432000 4194304 4196468 140729134516560 140071241808656 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8471] ppid=8461 vsize=14090948 memory=282 CPUtime=0.46 cores=1,3,5,7
/proc/8464/task/8471/stat : 8471 (java) S 8461 8464 7499 0 -1 1077944384 21095 0 0 0 40 6 0 0 20 0 15 0 272589677 14429130752 996165 33554432000 4194304 4196468 140729134516560 140070451771760 140071314889346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8472] ppid=8461 vsize=14090948 memory=3984660 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8472/stat : 8472 (java) S 8461 8464 7499 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 272589678 14429130752 996165 33554432000 4194304 4196468 140729134516560 140070450717792 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8473] ppid=8461 vsize=14090948 memory=-3351064526135847021 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8473/stat : 8473 (java) S 8461 8464 7499 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 272589678 14429130752 996165 33554432000 4194304 4196468 140729134516560 140070449664896 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8474] ppid=8461 vsize=14090948 memory=3979532 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8474/stat : 8474 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14429130752 996165 33554432000 4194304 4196468 140729134516560 140070448613200 140071314896795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8475] ppid=8461 vsize=14090948 memory=2720 CPUtime=2.41 cores=1,3,5,7
/proc/8464/task/8475/stat : 8475 (java) S 8461 8464 7499 0 -1 1077944384 10714 0 0 0 240 1 0 0 20 0 15 0 272589680 14429130752 996165 33554432000 4194304 4196468 140729134516560 140070447561584 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8476] ppid=8461 vsize=14090948 memory=3984660 CPUtime=2.26 cores=1,3,5,7
/proc/8464/task/8476/stat : 8476 (java) S 8461 8464 7499 0 -1 1077944384 10951 0 0 0 225 1 0 0 20 0 15 0 272589680 14429130752 996165 33554432000 4194304 4196468 140729134516560 140070446508784 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8477] ppid=8461 vsize=14090948 memory=932 CPUtime=1.04 cores=1,3,5,7
/proc/8464/task/8477/stat : 8477 (java) S 8461 8464 7499 0 -1 1077944384 15428 0 0 0 102 2 0 0 20 0 15 0 272589680 14429130752 996165 33554432000 4194304 4196468 140729134516560 140070445455984 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8478] ppid=8461 vsize=14090948 memory=14768 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8478/stat : 8478 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14429130752 996165 33554432000 4194304 4196468 140729134516560 140070444403424 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8479] ppid=8461 vsize=14090948 memory=8204 CPUtime=1.24 cores=1,3,5,7
/proc/8464/task/8479/stat : 8479 (java) S 8461 8464 7499 0 -1 1077944384 1390 0 0 0 52 72 0 0 20 0 15 0 272589681 14429130752 996165 33554432000 4194304 4196468 140729134516560 140070443350704 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
Current children cumulated CPU time: 2412.9 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3984660 KiB

[startup+2442.3 s]
/proc/loadavg: 1.77 1.90 1.88 3/215 8655
/proc/meminfo: memFree=21384192/32770624 swapFree=67108796/67108860
[pid=8464] ppid=8461 vsize=14090948 memory=3995756 CPUtime=2473.18 cores=1,3,5,7
/proc/8464/stat : 8464 (java) S 8461 8464 7499 0 -1 1077944320 448209 0 0 0 246876 442 0 0 20 0 15 0 272589675 14429130752 998939 33554432000 4194304 4196468 140729134516560 140729134499104 140071314878199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
/proc/8464/statm: 3522737 998939 3621 1 0 3484809 0
[pid=8464/tid=8466] ppid=8461 vsize=14090948 memory=3995756 CPUtime=2433.55 cores=1,3,5,7
/proc/8464/task/8466/stat : 8466 (java) R 8461 8464 7499 0 -1 4202560 239267 0 0 0 243308 47 0 0 20 0 15 0 272589675 14429130752 998939 33554432000 4194304 4196468 140729134516560 140071319116352 140070923622344 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8467] ppid=8461 vsize=14090948 memory=3995756 CPUtime=8.01 cores=1,3,5,7
/proc/8464/task/8467/stat : 8467 (java) S 8461 8464 7499 0 -1 1077944384 34798 0 0 0 720 81 0 0 20 0 15 0 272589676 14429130752 998939 33554432000 4194304 4196468 140729134516560 140071244967056 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8468] ppid=8461 vsize=14090948 memory=3989612 CPUtime=8.02 cores=1,3,5,7
/proc/8464/task/8468/stat : 8468 (java) S 8461 8464 7499 0 -1 1077944384 29497 0 0 0 723 79 0 0 20 0 15 0 272589676 14429130752 998939 33554432000 4194304 4196468 140729134516560 140071243914256 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8469] ppid=8461 vsize=14090948 memory=3989612 CPUtime=8.06 cores=1,3,5,7
/proc/8464/task/8469/stat : 8469 (java) S 8461 8464 7499 0 -1 1077944384 36864 0 0 0 725 81 0 0 20 0 15 0 272589676 14429130752 998939 33554432000 4194304 4196468 140729134516560 140071242861456 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8470] ppid=8461 vsize=14090948 memory=3989612 CPUtime=8 cores=1,3,5,7
/proc/8464/task/8470/stat : 8470 (java) S 8461 8464 7499 0 -1 1077944384 46456 0 0 0 717 83 0 0 20 0 15 0 272589676 14429130752 998939 33554432000 4194304 4196468 140729134516560 140071241808656 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8471] ppid=8461 vsize=14090948 memory=3989612 CPUtime=0.46 cores=1,3,5,7
/proc/8464/task/8471/stat : 8471 (java) S 8461 8464 7499 0 -1 1077944384 21348 0 0 0 40 6 0 0 20 0 15 0 272589677 14429130752 998939 33554432000 4194304 4196468 140729134516560 140070451771760 140071314889346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8472] ppid=8461 vsize=14090948 memory=3995756 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8472/stat : 8472 (java) S 8461 8464 7499 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 272589678 14429130752 998939 33554432000 4194304 4196468 140729134516560 140070450717792 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8473] ppid=8461 vsize=14090948 memory=3995756 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8473/stat : 8473 (java) S 8461 8464 7499 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 272589678 14429130752 998939 33554432000 4194304 4196468 140729134516560 140070449664896 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8474] ppid=8461 vsize=14090948 memory=3989612 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8474/stat : 8474 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14429130752 998939 33554432000 4194304 4196468 140729134516560 140070448613200 140071314896795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8475] ppid=8461 vsize=14090948 memory=3632 CPUtime=2.41 cores=1,3,5,7
/proc/8464/task/8475/stat : 8475 (java) S 8461 8464 7499 0 -1 1077944384 10717 0 0 0 240 1 0 0 20 0 15 0 272589680 14429130752 998939 33554432000 4194304 4196468 140729134516560 140070447561584 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8476] ppid=8461 vsize=14090948 memory=3995756 CPUtime=2.26 cores=1,3,5,7
/proc/8464/task/8476/stat : 8476 (java) S 8461 8464 7499 0 -1 1077944384 10955 0 0 0 225 1 0 0 20 0 15 0 272589680 14429130752 998939 33554432000 4194304 4196468 140729134516560 140070446508784 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8477] ppid=8461 vsize=14090948 memory=7523100884958929256 CPUtime=1.04 cores=1,3,5,7
/proc/8464/task/8477/stat : 8477 (java) S 8461 8464 7499 0 -1 1077944384 15436 0 0 0 102 2 0 0 20 0 15 0 272589680 14429130752 998939 33554432000 4194304 4196468 140729134516560 140070445455984 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8478] ppid=8461 vsize=14090948 memory=3995756 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8478/stat : 8478 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14429130752 998939 33554432000 4194304 4196468 140729134516560 140070444403424 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8479] ppid=8461 vsize=14090948 memory=8112282956445269571 CPUtime=1.27 cores=1,3,5,7
/proc/8464/task/8479/stat : 8479 (java) S 8461 8464 7499 0 -1 1077944384 1418 0 0 0 53 74 0 0 20 0 15 0 272589681 14429130752 998939 33554432000 4194304 4196468 140729134516560 140070443350704 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
Current children cumulated CPU time: 2473.18 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3995756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2489 s]*
/proc/loadavg: 1.64 1.84 1.86 3/215 8656
/proc/meminfo: memFree=21379140/32770624 swapFree=67108796/67108860
[pid=8464] ppid=8461 vsize=14090948 memory=4000416 CPUtime=2520.07 cores=1,3,5,7
/proc/8464/stat : 8464 (java) S 8461 8464 7499 0 -1 1077944320 458355 0 0 0 251563 444 0 0 20 0 15 0 272589675 14429130752 1000104 33554432000 4194304 4196468 140729134516560 140729134499104 140071314878199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
/proc/8464/statm: 3522737 1000104 3621 1 0 3484809 0
[pid=8464/tid=8466] ppid=8461 vsize=14090948 memory=8112282956445269571 CPUtime=2480.19 cores=1,3,5,7
/proc/8464/task/8466/stat : 8466 (java) R 8461 8464 7499 0 -1 4202560 245255 0 0 0 247971 48 0 0 20 0 15 0 272589675 14429130752 1000104 33554432000 4194304 4196468 140729134516560 140071319116080 140070922965592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8467] ppid=8461 vsize=14090948 memory=4872558044660077418 CPUtime=8.06 cores=1,3,5,7
/proc/8464/task/8467/stat : 8467 (java) S 8461 8464 7499 0 -1 1077944384 35436 0 0 0 725 81 0 0 20 0 15 0 272589676 14429130752 1000104 33554432000 4194304 4196468 140729134516560 140071244967056 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8468] ppid=8461 vsize=14090948 memory=4872558044660077418 CPUtime=8.07 cores=1,3,5,7
/proc/8464/task/8468/stat : 8468 (java) S 8461 8464 7499 0 -1 1077944384 30070 0 0 0 728 79 0 0 20 0 15 0 272589676 14429130752 1000104 33554432000 4194304 4196468 140729134516560 140071243914256 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8469] ppid=8461 vsize=14090948 memory=800 CPUtime=8.11 cores=1,3,5,7
/proc/8464/task/8469/stat : 8469 (java) S 8461 8464 7499 0 -1 1077944384 38110 0 0 0 730 81 0 0 20 0 15 0 272589676 14429130752 1000104 33554432000 4194304 4196468 140729134516560 140071242861456 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8470] ppid=8461 vsize=14090948 memory=1796 CPUtime=8.05 cores=1,3,5,7
/proc/8464/task/8470/stat : 8470 (java) S 8461 8464 7499 0 -1 1077944384 47868 0 0 0 722 83 0 0 20 0 15 0 272589676 14429130752 1000104 33554432000 4194304 4196468 140729134516560 140071241808656 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8471] ppid=8461 vsize=14090948 memory=916 CPUtime=0.46 cores=1,3,5,7
/proc/8464/task/8471/stat : 8471 (java) S 8461 8464 7499 0 -1 1077944384 21594 0 0 0 40 6 0 0 20 0 15 0 272589677 14429130752 1000104 33554432000 4194304 4196468 140729134516560 140070451771760 140071314889346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8472] ppid=8461 vsize=14090948 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8472/stat : 8472 (java) S 8461 8464 7499 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 272589678 14429130752 1000104 33554432000 4194304 4196468 140729134516560 140070450717792 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8473] ppid=8461 vsize=14090948 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8473/stat : 8473 (java) S 8461 8464 7499 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 272589678 14429130752 1000104 33554432000 4194304 4196468 140729134516560 140070449664896 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8474] ppid=8461 vsize=14090948 memory=2720 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8474/stat : 8474 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14429130752 1000104 33554432000 4194304 4196468 140729134516560 140070448613200 140071314896795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8475] ppid=8461 vsize=14090948 memory=1408 CPUtime=2.41 cores=1,3,5,7
/proc/8464/task/8475/stat : 8475 (java) S 8461 8464 7499 0 -1 1077944384 10720 0 0 0 240 1 0 0 20 0 15 0 272589680 14429130752 1000104 33554432000 4194304 4196468 140729134516560 140070447561584 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8476] ppid=8461 vsize=14090948 memory=3232 CPUtime=2.26 cores=1,3,5,7
/proc/8464/task/8476/stat : 8476 (java) S 8461 8464 7499 0 -1 1077944384 10959 0 0 0 225 1 0 0 20 0 15 0 272589680 14429130752 1000104 33554432000 4194304 4196468 140729134516560 140070446508784 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8477] ppid=8461 vsize=14090948 memory=3995756 CPUtime=1.04 cores=1,3,5,7
/proc/8464/task/8477/stat : 8477 (java) S 8461 8464 7499 0 -1 1077944384 15444 0 0 0 102 2 0 0 20 0 15 0 272589680 14429130752 1000104 33554432000 4194304 4196468 140729134516560 140070445455984 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8478] ppid=8461 vsize=14090948 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/8464/task/8478/stat : 8478 (java) S 8461 8464 7499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272589680 14429130752 1000104 33554432000 4194304 4196468 140729134516560 140070444403424 140071314888405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
[pid=8464/tid=8479] ppid=8461 vsize=14090948 memory=301741373374332954 CPUtime=1.29 cores=1,3,5,7
/proc/8464/task/8479/stat : 8479 (java) S 8461 8464 7499 0 -1 1077944384 1446 0 0 0 55 74 0 0 20 0 15 0 272589681 14429130752 1000104 33554432000 4194304 4196468 140729134516560 140070443350704 140071314889346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 36876288 140729134523464 140729134523657 140729134523657 140729134526415 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 4000416 KiB

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

[startup+2489.06 s]
# the end of solver process 8464 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.66 s, system=4.46958 s

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

Child status: 143
Real time (s): 2489.06
CPU time (s): 2520.12
CPU user time (s): 2515.66
CPU system time (s): 4.46958
CPU usage (%): 101.248
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 4000416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.66
system time used= 4.46958
maximum resident set size= 4001352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460103
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60068
involuntary context switches= 1649


# summary of solver processes directly reported to runsolver:
#   pid: 8464
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2515.66
#   total CPU system time (s): 4.46958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5012 second user time and 21.3153 second system time

The end

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

Trace number 4311670

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