Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 123 | 447.029 | 56.7533 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml |
MD5SUM | b82332625d17a81d2c62c757de216262 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 123 |
Best CPU time to get the best result obtained on this benchmark | 11.5853 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3507 |
Number of constraints | 189 |
Number of domains | 12 |
Minimum domain size | 2 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":2,"count":334},{"size":3,"count":334},{"size":5,"count":334},{"size":8,"count":167},{"size":9,"count":167},{"size":10,"count":334},{"size":11,"count":167},{"size":12,"count":167},{"size":14,"count":668},{"size":15,"count":334},{"size":18,"count":334},{"size":20,"count":167}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":3507}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 3340 |
Distribution of constraint arities | [{"arity":21,"count":167},{"arity":167,"count":21},{"arity":3340,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":187}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407063-1569346653.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407063-1569346653.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.25/0.89 c solve instance... 387.29/49.22 o 136 399.89/50.88 o 135 402.98/51.27 o 125 406.94/51.76 o 124 418.17/53.12 o 123 446.72/56.74 s OPTIMUM FOUND 446.72/56.74 v <instantiation> 446.72/56.74 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] </list> 446.72/56.74 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 446.72/56.74 v </instantiation>
OK 123
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 (13378 MiB free) memory of node 1: 16384 MiB (11668 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407063-1569346653/watcher-4407063-1569346653 -o /var/tmp/evaluation-result-4407063-1569346653/solver-4407063-1569346653 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569335938-31616 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 499944816 HOME/instance-4407063-1569346653.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=1876, runsolver pid=1873 Current StackSize limit: 8192 KiB [startup+0.100135 s]* /proc/loadavg: 7.69 8.01 8.11 2/211 1897 /proc/meminfo: memFree=25631008/32770624 swapFree=66953496/67108860 [pid=1876] ppid=1873 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/1876/stat : 1876 (xcsp3-exec) S 1873 1876 31589 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510580084 115843072 362 33554432000 4194304 5098028 140732140704096 140732140702200 140563642655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34893824 140732140712786 140732140713045 140732140713045 140732140715974 0 /proc/1876/statm: 28282 362 304 221 0 87 0 [pid=1878] ppid=1876 vsize=28227396 memory=29356 CPUtime=0.12 cores=0-7 /proc/1878/stat : 1878 (java) S 1876 1876 31589 0 -1 1077944320 5798 0 0 0 11 1 0 0 20 0 20 0 510580084 28904853504 7339 33554432000 4194304 4196468 140724755805616 140724755788160 140689340874487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 /proc/1878/statm: 7056849 7339 3123 1 0 7019032 0 [pid=1878/tid=1879] ppid=1876 vsize=28227396 memory=6935054825532540783 CPUtime=0.09 cores=0-7 /proc/1878/task/1879/stat : 1879 (java) R 1876 1876 31589 0 -1 4202560 3731 0 0 0 8 1 0 0 20 0 20 0 510580084 28904853504 7339 33554432000 4194304 4196468 140724755805616 140689345109664 140689326579616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1880] ppid=1876 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/1878/task/1880/stat : 1880 (java) S 1876 1876 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 7339 33554432000 4194304 4196468 140724755805616 140689306155408 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1881] ppid=1876 vsize=28227396 memory=140343682729600 CPUtime=0 cores=0-7 /proc/1878/task/1881/stat : 1881 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 7339 33554432000 4194304 4196468 140724755805616 140688890833168 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1882] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1882/stat : 1882 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 7339 33554432000 4194304 4196468 140724755805616 140688889780880 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1883] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1883/stat : 1883 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 7339 33554432000 4194304 4196468 140724755805616 140688888728080 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1884] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1884/stat : 1884 (java) S 1876 1876 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 7339 33554432000 4194304 4196468 140724755805616 140688887675792 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1885] ppid=1876 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1878/task/1885/stat : 1885 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 7339 33554432000 4194304 4196468 140724755805616 140688886622992 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1886] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1886/stat : 1886 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 7339 33554432000 4194304 4196468 140724755805616 140688885570704 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1887] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1887/stat : 1887 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 7339 33554432000 4194304 4196468 140724755805616 140688884517904 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1888] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1888/stat : 1888 (java) S 1876 1876 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510580086 28904853504 7339 33554432000 4194304 4196468 140724755805616 140688841984112 140689340885634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1889] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1889/stat : 1889 (java) S 1876 1876 31589 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510580087 28904853504 7339 33554432000 4194304 4196468 140724755805616 140688840930080 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1890] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1890/stat : 1890 (java) S 1876 1876 31589 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510580087 28904853504 7339 33554432000 4194304 4196468 140724755805616 140688839877744 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1891] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1891/stat : 1891 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580090 28904853504 7339 33554432000 4194304 4196468 140724755805616 140688838826064 140689340893083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1892] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1892/stat : 1892 (java) R 1876 1876 31589 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 510580090 28904853504 7339 33554432000 4194304 4196468 140724755805616 140688837773936 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1893] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1893/stat : 1893 (java) R 1876 1876 31589 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 510580090 28904853504 7339 33554432000 4194304 4196468 140724755805616 140688836721136 140689340885634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1894] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1894/stat : 1894 (java) R 1876 1876 31589 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510580090 28904853504 7339 33554432000 4194304 4196468 140724755805616 140688835668848 140689326938596 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1895] ppid=1876 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1878/task/1895/stat : 1895 (java) R 1876 1876 31589 0 -1 4202560 339 0 0 0 1 0 0 0 20 0 20 0 510580090 28904853504 7339 33554432000 4194304 4196468 140724755805616 140687529077488 140689340886422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1896] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1896/stat : 1896 (java) S 1876 1876 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510580090 28904853504 7339 33554432000 4194304 4196468 140724755805616 140687528024416 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1897] ppid=1876 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1878/task/1897/stat : 1897 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580090 28904853504 7339 33554432000 4194304 4196468 140724755805616 140687526971696 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30804 KiB [startup+0.210588 s]* /proc/loadavg: 7.24 7.91 8.08 4/211 1897 /proc/meminfo: memFree=25617816/32770624 swapFree=66953496/67108860 [pid=1876] ppid=1873 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/1876/stat : 1876 (xcsp3-exec) S 1873 1876 31589 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510580084 115843072 362 33554432000 4194304 5098028 140732140704096 140732140702200 140563642655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34893824 140732140712786 140732140713045 140732140713045 140732140715974 0 /proc/1876/statm: 28282 362 304 221 0 87 0 [pid=1878] ppid=1876 vsize=28227396 memory=41328 CPUtime=0.34 cores=0-7 /proc/1878/stat : 1878 (java) S 1876 1876 31589 0 -1 1077944320 9545 0 0 0 31 3 0 0 20 0 20 0 510580084 28904853504 10332 33554432000 4194304 4196468 140724755805616 140724755788160 140689340874487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 /proc/1878/statm: 7056849 10332 3283 1 0 7019032 0 [pid=1878/tid=1879] ppid=1876 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/1878/task/1879/stat : 1879 (java) R 1876 1876 31589 0 -1 4202560 6711 0 0 0 18 2 0 0 20 0 20 0 510580084 28904853504 10332 33554432000 4194304 4196468 140724755805616 140689345108368 140689325185313 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1880] ppid=1876 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/1878/task/1880/stat : 1880 (java) S 1876 1876 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 10332 33554432000 4194304 4196468 140724755805616 140689306155408 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1881] ppid=1876 vsize=28227396 memory=3905378292271613600 CPUtime=0 cores=0-7 /proc/1878/task/1881/stat : 1881 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 10332 33554432000 4194304 4196468 140724755805616 140688890833168 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1882] ppid=1876 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1878/task/1882/stat : 1882 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 10332 33554432000 4194304 4196468 140724755805616 140688889780880 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1883] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1883/stat : 1883 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 10332 33554432000 4194304 4196468 140724755805616 140688888728080 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1884] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1884/stat : 1884 (java) S 1876 1876 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 10332 33554432000 4194304 4196468 140724755805616 140688887675792 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1885] ppid=1876 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1878/task/1885/stat : 1885 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 10332 33554432000 4194304 4196468 140724755805616 140688886622992 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1886] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1886/stat : 1886 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 10332 33554432000 4194304 4196468 140724755805616 140688885570704 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1887] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1887/stat : 1887 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28904853504 10332 33554432000 4194304 4196468 140724755805616 140688884517904 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1888] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1888/stat : 1888 (java) S 1876 1876 31589 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510580086 28904853504 10332 33554432000 4194304 4196468 140724755805616 140688841984112 140689340885634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1889] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1889/stat : 1889 (java) S 1876 1876 31589 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510580087 28904853504 10332 33554432000 4194304 4196468 140724755805616 140688840930080 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1890] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1890/stat : 1890 (java) S 1876 1876 31589 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510580087 28904853504 10332 33554432000 4194304 4196468 140724755805616 140688839877744 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1891] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1891/stat : 1891 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580090 28904853504 10332 33554432000 4194304 4196468 140724755805616 140688838826064 140689340893083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1892] ppid=1876 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1878/task/1892/stat : 1892 (java) S 1876 1876 31589 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 20 0 510580090 28904853504 10332 33554432000 4194304 4196468 140724755805616 140688837773936 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1893] ppid=1876 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/1878/task/1893/stat : 1893 (java) S 1876 1876 31589 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 20 0 510580090 28904853504 10332 33554432000 4194304 4196468 140724755805616 140688836721136 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1894] ppid=1876 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/1878/task/1894/stat : 1894 (java) S 1876 1876 31589 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 510580090 28904853504 10332 33554432000 4194304 4196468 140724755805616 140688835668848 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1895] ppid=1876 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/1878/task/1895/stat : 1895 (java) R 1876 1876 31589 0 -1 4202560 747 0 0 0 8 0 0 0 20 0 20 0 510580090 28904853504 10332 33554432000 4194304 4196468 140724755805616 140687529077488 140689326040142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1896] ppid=1876 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1896/stat : 1896 (java) S 1876 1876 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510580090 28904853504 10332 33554432000 4194304 4196468 140724755805616 140687528024416 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1897] ppid=1876 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/1878/task/1897/stat : 1897 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580090 28904853504 10332 33554432000 4194304 4196468 140724755805616 140687526971696 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42776 KiB [startup+0.31059 s]* /proc/loadavg: 7.24 7.91 8.08 3/211 1897 /proc/meminfo: memFree=25610544/32770624 swapFree=66953496/67108860 [pid=1876] ppid=1873 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/1876/stat : 1876 (xcsp3-exec) S 1873 1876 31589 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510580084 115843072 362 33554432000 4194304 5098028 140732140704096 140732140702200 140563642655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34893824 140732140712786 140732140713045 140732140713045 140732140715974 0 /proc/1876/statm: 28282 362 304 221 0 87 0 [pid=1878] ppid=1876 vsize=28231652 memory=49936 CPUtime=0.52 cores=0-7 /proc/1878/stat : 1878 (java) S 1876 1876 31589 0 -1 1077944320 10852 0 0 0 48 4 0 0 20 0 20 0 510580084 28909211648 12484 33554432000 4194304 4196468 140724755805616 140724755788160 140689340874487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 /proc/1878/statm: 7057913 12484 3322 1 0 7019032 0 [pid=1878/tid=1879] ppid=1876 vsize=28231652 memory=6935054825532540783 CPUtime=0.3 cores=0-7 /proc/1878/task/1879/stat : 1879 (java) R 1876 1876 31589 0 -1 4202560 7855 0 0 0 27 3 0 0 20 0 20 0 510580084 28909211648 12512 33554432000 4194304 4196468 140724755805616 140689345105600 140689324954974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1880] ppid=1876 vsize=28231652 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/1878/task/1880/stat : 1880 (java) S 1876 1876 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510580085 28909211648 12512 33554432000 4194304 4196468 140724755805616 140689306155408 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1881] ppid=1876 vsize=28231652 memory=776 CPUtime=0 cores=0-7 /proc/1878/task/1881/stat : 1881 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28909211648 12512 33554432000 4194304 4196468 140724755805616 140688890833168 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1882] ppid=1876 vsize=28231652 memory=2832 CPUtime=0 cores=0-7 /proc/1878/task/1882/stat : 1882 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28909211648 12512 33554432000 4194304 4196468 140724755805616 140688889780880 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1883] ppid=1876 vsize=28231652 memory=668 CPUtime=0 cores=0-7 /proc/1878/task/1883/stat : 1883 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28909211648 12512 33554432000 4194304 4196468 140724755805616 140688888728080 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1884] ppid=1876 vsize=28231652 memory=1276 CPUtime=0 cores=0-7 /proc/1878/task/1884/stat : 1884 (java) S 1876 1876 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510580085 28909211648 12512 33554432000 4194304 4196468 140724755805616 140688887675792 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1885] ppid=1876 vsize=28231652 memory=1096 CPUtime=0 cores=0-7 /proc/1878/task/1885/stat : 1885 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28909211648 12512 33554432000 4194304 4196468 140724755805616 140688886622992 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1886] ppid=1876 vsize=28231652 memory=14008 CPUtime=0 cores=0-7 /proc/1878/task/1886/stat : 1886 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28909211648 12512 33554432000 4194304 4196468 140724755805616 140688885570704 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1887] ppid=1876 vsize=28231652 memory=35536 CPUtime=0 cores=0-7 /proc/1878/task/1887/stat : 1887 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28909211648 12512 33554432000 4194304 4196468 140724755805616 140688884517904 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1888] ppid=1876 vsize=28231652 memory=14056 CPUtime=0 cores=0-7 /proc/1878/task/1888/stat : 1888 (java) S 1876 1876 31589 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510580086 28909211648 12512 33554432000 4194304 4196468 140724755805616 140688841984112 140689340885634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1889] ppid=1876 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1889/stat : 1889 (java) S 1876 1876 31589 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510580087 28909211648 12512 33554432000 4194304 4196468 140724755805616 140688840930080 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1890] ppid=1876 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1890/stat : 1890 (java) S 1876 1876 31589 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510580087 28909211648 12512 33554432000 4194304 4196468 140724755805616 140688839877744 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1891] ppid=1876 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1891/stat : 1891 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580090 28909211648 12512 33554432000 4194304 4196468 140724755805616 140688838826064 140689340893083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1892] ppid=1876 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/1878/task/1892/stat : 1892 (java) R 1876 1876 31589 0 -1 4202560 429 0 0 0 3 0 0 0 20 0 20 0 510580090 28909211648 12512 33554432000 4194304 4196468 140724755805616 140688837773936 140689326000895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1893] ppid=1876 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/1878/task/1893/stat : 1893 (java) S 1876 1876 31589 0 -1 1077944384 387 0 0 0 3 0 0 0 20 0 20 0 510580090 28909211648 12512 33554432000 4194304 4196468 140724755805616 140688836721136 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1894] ppid=1876 vsize=28231652 memory=140343559423439 CPUtime=0.02 cores=0-7 /proc/1878/task/1894/stat : 1894 (java) S 1876 1876 31589 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 20 0 510580090 28909211648 12512 33554432000 4194304 4196468 140724755805616 140688835668848 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1895] ppid=1876 vsize=28231652 memory=0 CPUtime=0.12 cores=0-7 /proc/1878/task/1895/stat : 1895 (java) S 1876 1876 31589 0 -1 1077944384 820 0 0 0 12 0 0 0 20 0 20 0 510580090 28909211648 12512 33554432000 4194304 4196468 140724755805616 140687529077488 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1896] ppid=1876 vsize=28231652 memory=140343559451508 CPUtime=0 cores=0-7 /proc/1878/task/1896/stat : 1896 (java) S 1876 1876 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510580090 28909211648 12512 33554432000 4194304 4196468 140724755805616 140687528024416 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1897] ppid=1876 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/1878/task/1897/stat : 1897 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580090 28909211648 12512 33554432000 4194304 4196468 140724755805616 140687526971696 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51384 KiB [startup+0.700982 s] /proc/loadavg: 7.24 7.91 8.08 4/211 1897 /proc/meminfo: memFree=25593596/32770624 swapFree=66953496/67108860 [pid=1876] ppid=1873 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/1876/stat : 1876 (xcsp3-exec) S 1873 1876 31589 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510580084 115843072 362 33554432000 4194304 5098028 140732140704096 140732140702200 140563642655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34893824 140732140712786 140732140713045 140732140713045 140732140715974 0 /proc/1876/statm: 28282 362 304 221 0 87 0 [pid=1878] ppid=1876 vsize=28233776 memory=99672 CPUtime=1.81 cores=0-7 /proc/1878/stat : 1878 (java) S 1876 1876 31589 0 -1 1077944320 15084 0 0 0 175 6 0 0 20 0 20 0 510580084 28911386624 24918 33554432000 4194304 4196468 140724755805616 140724755788160 140689340874487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 /proc/1878/statm: 7058444 24918 3463 1 0 7019544 0 [pid=1878/tid=1879] ppid=1876 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/1878/task/1879/stat : 1879 (java) R 1876 1876 31589 0 -1 4202560 9311 0 0 0 64 4 0 0 20 0 20 0 510580084 28911386624 24918 33554432000 4194304 4196468 140724755805616 140689345109040 140688980074916 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1880] ppid=1876 vsize=28233776 memory=140343559627632 CPUtime=0 cores=0-7 /proc/1878/task/1880/stat : 1880 (java) S 1876 1876 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510580085 28911386624 24918 33554432000 4194304 4196468 140724755805616 140689306155408 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1881] ppid=1876 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1881/stat : 1881 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28911386624 24918 33554432000 4194304 4196468 140724755805616 140688890833168 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1882] ppid=1876 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1882/stat : 1882 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510580085 28911386624 24918 33554432000 4194304 4196468 140724755805616 140688889780880 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 ################ # More data... # ################ [pid=1878/tid=1895] ppid=1876 vsize=28766288 memory=1448 CPUtime=0.79 cores=0-7 /proc/1878/task/1895/stat : 1895 (java) S 1876 1876 31589 0 -1 1077944384 7121 0 0 0 78 1 0 0 20 0 28 0 510580090 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687529077488 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1896] ppid=1876 vsize=28766288 memory=415032 CPUtime=0 cores=0-7 /proc/1878/task/1896/stat : 1896 (java) S 1876 1876 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510580090 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687528024416 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1897] ppid=1876 vsize=28766288 memory=1984 CPUtime=0.02 cores=0-7 /proc/1878/task/1897/stat : 1897 (java) S 1876 1876 31589 0 -1 1077944384 548 0 0 0 0 2 0 0 20 0 28 0 510580090 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687526971696 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1941] ppid=1876 vsize=28766288 memory=1440 CPUtime=3.25 cores=0-7 /proc/1878/task/1941/stat : 1941 (java) R 1876 1876 31589 0 -1 4202560 84 0 0 0 325 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687515646640 140688983588824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1942] ppid=1876 vsize=28766288 memory=808 CPUtime=3.21 cores=0-7 /proc/1878/task/1942/stat : 1942 (java) R 1876 1876 31589 0 -1 4202560 124 0 0 0 321 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687516700304 140688983748218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1943] ppid=1876 vsize=28766288 memory=2580 CPUtime=3.18 cores=0-7 /proc/1878/task/1943/stat : 1943 (java) R 1876 1876 31589 0 -1 4202560 131 0 0 0 318 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687511437720 140688983472326 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1944] ppid=1876 vsize=28766288 memory=1760 CPUtime=3.25 cores=0-7 /proc/1878/task/1944/stat : 1944 (java) R 1876 1876 31589 0 -1 4202560 125 0 0 0 325 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687510384792 140688983952819 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1945] ppid=1876 vsize=28766288 memory=111636 CPUtime=3.24 cores=0-7 /proc/1878/task/1945/stat : 1945 (java) R 1876 1876 31589 0 -1 4202560 337 0 0 0 324 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687513542928 140689319931693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1946] ppid=1876 vsize=28766288 memory=808 CPUtime=3.24 cores=0-7 /proc/1878/task/1946/stat : 1946 (java) R 1876 1876 31589 0 -1 4202560 273 0 0 0 324 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687512490072 140688984094752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1947] ppid=1876 vsize=28766288 memory=1652 CPUtime=3.26 cores=0-7 /proc/1878/task/1947/stat : 1947 (java) R 1876 1876 31589 0 -1 4202560 92 0 0 0 326 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687514594968 140688983590214 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1948] ppid=1876 vsize=28766288 memory=1804 CPUtime=3.19 cores=0-7 /proc/1878/task/1948/stat : 1948 (java) R 1876 1876 31589 0 -1 4202560 101 0 0 0 319 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687517753032 140688984094637 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 Current children cumulated CPU time: 444.33 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 417244 KiB [startup+56.6017 s] /proc/loadavg: 8.22 8.07 8.12 9/219 1948 /proc/meminfo: memFree=25247504/32770624 swapFree=66953496/67108860 [pid=1876] ppid=1873 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/1876/stat : 1876 (xcsp3-exec) S 1873 1876 31589 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510580084 115843072 362 33554432000 4194304 5098028 140732140704096 140732140702200 140563642655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34893824 140732140712786 140732140713045 140732140713045 140732140715974 0 /proc/1876/statm: 28282 362 304 221 0 87 0 [pid=1878] ppid=1876 vsize=28766288 memory=415796 CPUtime=445.92 cores=0-7 /proc/1878/stat : 1878 (java) S 1876 1876 31589 0 -1 1077944320 56515 0 0 0 44532 60 0 0 20 0 28 0 510580084 29456678912 103949 33554432000 4194304 4196468 140724755805616 140724755788160 140689340874487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 /proc/1878/statm: 7191572 103949 3536 1 0 7152672 0 [pid=1878/tid=1879] ppid=1876 vsize=28766288 memory=4872558044660077418 CPUtime=0.91 cores=0-7 /proc/1878/task/1879/stat : 1879 (java) S 1876 1876 31589 0 -1 1077944384 9596 0 0 0 86 5 0 0 20 0 28 0 510580084 29456678912 103949 33554432000 4194304 4196468 140724755805616 140689345115264 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1880] ppid=1876 vsize=28766288 memory=1560 CPUtime=0.13 cores=0-7 /proc/1878/task/1880/stat : 1880 (java) S 1876 1876 31589 0 -1 1077944384 959 0 0 0 9 4 0 0 20 0 28 0 510580085 29456678912 103949 33554432000 4194304 4196468 140724755805616 140689306155408 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1881] ppid=1876 vsize=28766288 memory=303711698211307546 CPUtime=0.12 cores=0-7 /proc/1878/task/1881/stat : 1881 (java) S 1876 1876 31589 0 -1 1077944384 916 0 0 0 8 4 0 0 20 0 28 0 510580085 29456678912 103949 33554432000 4194304 4196468 140724755805616 140688890833168 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1882] ppid=1876 vsize=28766288 memory=303711719770030395 CPUtime=0.12 cores=0-7 /proc/1878/task/1882/stat : 1882 (java) S 1876 1876 31589 0 -1 1077944384 1350 0 0 0 8 4 0 0 20 0 28 0 510580085 29456678912 103949 33554432000 4194304 4196468 140724755805616 140688889780880 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1883] ppid=1876 vsize=28766288 memory=8112282956445269571 CPUtime=0.13 cores=0-7 /proc/1878/task/1883/stat : 1883 (java) S 1876 1876 31589 0 -1 1077944384 723 0 0 0 9 4 0 0 20 0 28 0 510580085 29456678912 103949 33554432000 4194304 4196468 140724755805616 140688888728080 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1884] ppid=1876 vsize=28766288 memory=7307762645440091236 CPUtime=0.13 cores=0-7 /proc/1878/task/1884/stat : 1884 (java) S 1876 1876 31589 0 -1 1077944384 559 0 0 0 9 4 0 0 20 0 28 0 510580085 29456678912 103949 33554432000 4194304 4196468 140724755805616 140688887675792 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1885] ppid=1876 vsize=28766288 memory=7307762645440091236 CPUtime=0.13 cores=0-7 /proc/1878/task/1885/stat : 1885 (java) S 1876 1876 31589 0 -1 1077944384 388 0 0 0 9 4 0 0 20 0 28 0 510580085 29456678912 103949 33554432000 4194304 4196468 140724755805616 140688886622992 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1886] ppid=1876 vsize=28766288 memory=7666085787998643305 CPUtime=0.13 cores=0-7 /proc/1878/task/1886/stat : 1886 (java) S 1876 1876 31589 0 -1 1077944384 944 0 0 0 9 4 0 0 20 0 28 0 510580085 29456678912 103949 33554432000 4194304 4196468 140724755805616 140688885570704 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1887] ppid=1876 vsize=28766288 memory=7522535727778255700 CPUtime=0.12 cores=0-7 /proc/1878/task/1887/stat : 1887 (java) S 1876 1876 31589 0 -1 1077944384 486 0 0 0 8 4 0 0 20 0 28 0 510580085 29456678912 103949 33554432000 4194304 4196468 140724755805616 140688884517904 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1888] ppid=1876 vsize=28766288 memory=7522535727778255700 CPUtime=0.02 cores=0-7 /proc/1878/task/1888/stat : 1888 (java) S 1876 1876 31589 0 -1 1077944384 1576 0 0 0 2 0 0 0 20 0 28 0 510580086 29456678912 103949 33554432000 4194304 4196468 140724755805616 140688841984112 140689340885634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1889] ppid=1876 vsize=28766288 memory=111636 CPUtime=0 cores=0-7 /proc/1878/task/1889/stat : 1889 (java) S 1876 1876 31589 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510580087 29456678912 103949 33554432000 4194304 4196468 140724755805616 140688840930080 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1890] ppid=1876 vsize=28766288 memory=808 CPUtime=0 cores=0-7 /proc/1878/task/1890/stat : 1890 (java) S 1876 1876 31589 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510580087 29456678912 103949 33554432000 4194304 4196468 140724755805616 140688839877744 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1891] ppid=1876 vsize=28766288 memory=1652 CPUtime=0 cores=0-7 /proc/1878/task/1891/stat : 1891 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510580090 29456678912 103949 33554432000 4194304 4196468 140724755805616 140688838826064 140689340893083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1892] ppid=1876 vsize=28766288 memory=1804 CPUtime=1.78 cores=0-7 /proc/1878/task/1892/stat : 1892 (java) R 1876 1876 31589 0 -1 4202560 9229 0 0 0 176 2 0 0 20 0 28 0 510580090 29456678912 103949 33554432000 4194304 4196468 140724755805616 140688837774232 140689324261167 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1893] ppid=1876 vsize=28766288 memory=920 CPUtime=1.44 cores=0-7 /proc/1878/task/1893/stat : 1893 (java) S 1876 1876 31589 0 -1 1077944384 4041 0 0 0 143 1 0 0 20 0 28 0 510580090 29456678912 103949 33554432000 4194304 4196468 140724755805616 140688836721136 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1894] ppid=1876 vsize=28766288 memory=4740 CPUtime=1.69 cores=0-7 /proc/1878/task/1894/stat : 1894 (java) S 1876 1876 31589 0 -1 1077944384 7898 0 0 0 167 2 0 0 20 0 28 0 510580090 29456678912 103949 33554432000 4194304 4196468 140724755805616 140688835668848 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1895] ppid=1876 vsize=28766288 memory=6935054825532540783 CPUtime=0.79 cores=0-7 /proc/1878/task/1895/stat : 1895 (java) S 1876 1876 31589 0 -1 1077944384 7123 0 0 0 78 1 0 0 20 0 28 0 510580090 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687529077488 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1896] ppid=1876 vsize=28766288 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/1878/task/1896/stat : 1896 (java) S 1876 1876 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510580090 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687528024416 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1897] ppid=1876 vsize=28766288 memory=7897517683652307531 CPUtime=0.02 cores=0-7 /proc/1878/task/1897/stat : 1897 (java) S 1876 1876 31589 0 -1 1077944384 548 0 0 0 0 2 0 0 20 0 28 0 510580090 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687526971696 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1941] ppid=1876 vsize=28766288 memory=7100839878645619564 CPUtime=3.45 cores=0-7 /proc/1878/task/1941/stat : 1941 (java) R 1876 1876 31589 0 -1 4202560 84 0 0 0 345 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687515646640 140688983748194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1942] ppid=1876 vsize=28766288 memory=-8634980985311628903 CPUtime=3.41 cores=0-7 /proc/1878/task/1942/stat : 1942 (java) R 1876 1876 31589 0 -1 4202560 124 0 0 0 341 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687516700440 140688983588926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1943] ppid=1876 vsize=28766288 memory=8514726395715349656 CPUtime=3.38 cores=0-7 /proc/1878/task/1943/stat : 1943 (java) R 1876 1876 31589 0 -1 4202560 131 0 0 0 338 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687511437720 140688984763227 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1944] ppid=1876 vsize=28766288 memory=3047711553320166262 CPUtime=3.45 cores=0-7 /proc/1878/task/1944/stat : 1944 (java) R 1876 1876 31589 0 -1 4202560 125 0 0 0 345 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687510384792 140688984095721 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1945] ppid=1876 vsize=28766288 memory=7824336315716348491 CPUtime=3.44 cores=0-7 /proc/1878/task/1945/stat : 1945 (java) R 1876 1876 31589 0 -1 4202560 348 0 0 0 344 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687513543272 140688984268338 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1946] ppid=1876 vsize=28766288 memory=-8412652169205224307 CPUtime=3.44 cores=0-7 /proc/1878/task/1946/stat : 1946 (java) R 1876 1876 31589 0 -1 4202560 273 0 0 0 344 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687512490072 140688983472236 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1947] ppid=1876 vsize=28766288 memory=0 CPUtime=3.46 cores=0-7 /proc/1878/task/1947/stat : 1947 (java) R 1876 1876 31589 0 -1 4202560 92 0 0 0 346 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687514594968 140688984268241 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1948] ppid=1876 vsize=28766288 memory=7523377979067623781 CPUtime=3.38 cores=0-7 /proc/1878/task/1948/stat : 1948 (java) R 1876 1876 31589 0 -1 4202560 101 0 0 0 338 0 0 0 20 0 28 0 510585397 29456678912 103949 33554432000 4194304 4196468 140724755805616 140687517753032 140688983472250 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 Current children cumulated CPU time: 445.92 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 417244 KiB [startup+56.7017 s] /proc/loadavg: 8.22 8.07 8.12 9/219 1948 /proc/meminfo: memFree=25247504/32770624 swapFree=66953496/67108860 [pid=1876] ppid=1873 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/1876/stat : 1876 (xcsp3-exec) S 1873 1876 31589 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510580084 115843072 362 33554432000 4194304 5098028 140732140704096 140732140702200 140563642655356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34893824 140732140712786 140732140713045 140732140713045 140732140715974 0 /proc/1876/statm: 28282 362 304 221 0 87 0 [pid=1878] ppid=1876 vsize=28766288 memory=415804 CPUtime=446.72 cores=0-7 /proc/1878/stat : 1878 (java) S 1876 1876 31589 0 -1 1077944320 57545 0 0 0 44612 60 0 0 20 0 28 0 510580084 29456678912 103951 33554432000 4194304 4196468 140724755805616 140724755788160 140689340874487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 /proc/1878/statm: 7191572 103951 3536 1 0 7152672 0 [pid=1878/tid=1879] ppid=1876 vsize=28766288 memory=6948040842219448428 CPUtime=0.91 cores=0-7 /proc/1878/task/1879/stat : 1879 (java) S 1876 1876 31589 0 -1 1077944384 9596 0 0 0 86 5 0 0 20 0 28 0 510580084 29456678912 103951 33554432000 4194304 4196468 140724755805616 140689345115264 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1880] ppid=1876 vsize=28766288 memory=6442213902227169888 CPUtime=0.13 cores=0-7 /proc/1878/task/1880/stat : 1880 (java) S 1876 1876 31589 0 -1 1077944384 959 0 0 0 9 4 0 0 20 0 28 0 510580085 29456678912 103951 33554432000 4194304 4196468 140724755805616 140689306155408 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1881] ppid=1876 vsize=28766288 memory=14056 CPUtime=0.12 cores=0-7 /proc/1878/task/1881/stat : 1881 (java) S 1876 1876 31589 0 -1 1077944384 916 0 0 0 8 4 0 0 20 0 28 0 510580085 29456678912 103951 33554432000 4194304 4196468 140724755805616 140688890833168 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1882] ppid=1876 vsize=28766288 memory=2116 CPUtime=0.12 cores=0-7 /proc/1878/task/1882/stat : 1882 (java) S 1876 1876 31589 0 -1 1077944384 1350 0 0 0 8 4 0 0 20 0 28 0 510580085 29456678912 103951 33554432000 4194304 4196468 140724755805616 140688889780880 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1883] ppid=1876 vsize=28766288 memory=3504 CPUtime=0.13 cores=0-7 /proc/1878/task/1883/stat : 1883 (java) S 1876 1876 31589 0 -1 1077944384 723 0 0 0 9 4 0 0 20 0 28 0 510580085 29456678912 103951 33554432000 4194304 4196468 140724755805616 140688888728080 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1884] ppid=1876 vsize=28766288 memory=64372 CPUtime=0.13 cores=0-7 /proc/1878/task/1884/stat : 1884 (java) S 1876 1876 31589 0 -1 1077944384 559 0 0 0 9 4 0 0 20 0 28 0 510580085 29456678912 103951 33554432000 4194304 4196468 140724755805616 140688887675792 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1885] ppid=1876 vsize=28766288 memory=0 CPUtime=0.13 cores=0-7 /proc/1878/task/1885/stat : 1885 (java) S 1876 1876 31589 0 -1 1077944384 388 0 0 0 9 4 0 0 20 0 28 0 510580085 29456678912 103951 33554432000 4194304 4196468 140724755805616 140688886622992 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1886] ppid=1876 vsize=28766288 memory=0 CPUtime=0.13 cores=0-7 /proc/1878/task/1886/stat : 1886 (java) S 1876 1876 31589 0 -1 1077944384 944 0 0 0 9 4 0 0 20 0 28 0 510580085 29456678912 103951 33554432000 4194304 4196468 140724755805616 140688885570704 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1887] ppid=1876 vsize=28766288 memory=0 CPUtime=0.12 cores=0-7 /proc/1878/task/1887/stat : 1887 (java) S 1876 1876 31589 0 -1 1077944384 486 0 0 0 8 4 0 0 20 0 28 0 510580085 29456678912 103951 33554432000 4194304 4196468 140724755805616 140688884517904 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1888] ppid=1876 vsize=28766288 memory=0 CPUtime=0.02 cores=0-7 /proc/1878/task/1888/stat : 1888 (java) S 1876 1876 31589 0 -1 1077944384 1576 0 0 0 2 0 0 0 20 0 28 0 510580086 29456678912 103951 33554432000 4194304 4196468 140724755805616 140688841984112 140689340885634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1889] ppid=1876 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1889/stat : 1889 (java) S 1876 1876 31589 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510580087 29456678912 103951 33554432000 4194304 4196468 140724755805616 140688840930080 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1890] ppid=1876 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1890/stat : 1890 (java) S 1876 1876 31589 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510580087 29456678912 103951 33554432000 4194304 4196468 140724755805616 140688839877744 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1891] ppid=1876 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/1878/task/1891/stat : 1891 (java) S 1876 1876 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510580090 29456678912 103951 33554432000 4194304 4196468 140724755805616 140688838826064 140689340893083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1892] ppid=1876 vsize=28766288 memory=0 CPUtime=1.79 cores=0-7 /proc/1878/task/1892/stat : 1892 (java) S 1876 1876 31589 0 -1 1077944384 9372 0 0 0 177 2 0 0 20 0 28 0 510580090 29456678912 103951 33554432000 4194304 4196468 140724755805616 140688837773936 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1893] ppid=1876 vsize=28766288 memory=1448 CPUtime=1.44 cores=0-7 /proc/1878/task/1893/stat : 1893 (java) S 1876 1876 31589 0 -1 1077944384 4688 0 0 0 143 1 0 0 20 0 28 0 510580090 29456678912 103951 33554432000 4194304 4196468 140724755805616 140688836721136 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1894] ppid=1876 vsize=28766288 memory=415032 CPUtime=1.69 cores=0-7 /proc/1878/task/1894/stat : 1894 (java) S 1876 1876 31589 0 -1 1077944384 7904 0 0 0 167 2 0 0 20 0 28 0 510580090 29456678912 103951 33554432000 4194304 4196468 140724755805616 140688835668848 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1895] ppid=1876 vsize=28766288 memory=6440499741840331881 CPUtime=0.79 cores=0-7 /proc/1878/task/1895/stat : 1895 (java) S 1876 1876 31589 0 -1 1077944384 7123 0 0 0 78 1 0 0 20 0 28 0 510580090 29456678912 103951 33554432000 4194304 4196468 140724755805616 140687529077488 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1896] ppid=1876 vsize=28766288 memory=1448 CPUtime=0 cores=0-7 /proc/1878/task/1896/stat : 1896 (java) S 1876 1876 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510580090 29456678912 103951 33554432000 4194304 4196468 140724755805616 140687528024416 140689340884693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1897] ppid=1876 vsize=28766288 memory=1448 CPUtime=0.02 cores=0-7 /proc/1878/task/1897/stat : 1897 (java) S 1876 1876 31589 0 -1 1077944384 548 0 0 0 0 2 0 0 20 0 28 0 510580090 29456678912 103951 33554432000 4194304 4196468 140724755805616 140687526971696 140689340885634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1941] ppid=1876 vsize=28766288 memory=3504 CPUtime=3.55 cores=0-7 /proc/1878/task/1941/stat : 1941 (java) R 1876 1876 31589 0 -1 4202560 98 0 0 0 355 0 0 0 20 0 28 0 510585397 29456678912 103951 33554432000 4194304 4196468 140724755805616 140687515646640 140688983588849 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1942] ppid=1876 vsize=28766288 memory=64372 CPUtime=3.51 cores=0-7 /proc/1878/task/1942/stat : 1942 (java) R 1876 1876 31589 0 -1 4202560 133 0 0 0 351 0 0 0 20 0 28 0 510585397 29456678912 103951 33554432000 4194304 4196468 140724755805616 140687516700440 140688983588849 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1943] ppid=1876 vsize=28766288 memory=988 CPUtime=3.48 cores=0-7 /proc/1878/task/1943/stat : 1943 (java) R 1876 1876 31589 0 -1 4202560 151 0 0 0 348 0 0 0 20 0 28 0 510585397 29456678912 103951 33554432000 4194304 4196468 140724755805616 140687511437720 140688983590173 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1944] ppid=1876 vsize=28766288 memory=1424 CPUtime=3.55 cores=0-7 /proc/1878/task/1944/stat : 1944 (java) R 1876 1876 31589 0 -1 4202560 168 0 0 0 355 0 0 0 20 0 28 0 510585397 29456678912 103951 33554432000 4194304 4196468 140724755805616 140687510384792 140688984095298 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1945] ppid=1876 vsize=28766288 memory=3640 CPUtime=3.54 cores=0-7 /proc/1878/task/1945/stat : 1945 (java) R 1876 1876 31589 0 -1 4202560 402 0 0 0 354 0 0 0 20 0 28 0 510585397 29456678912 103951 33554432000 4194304 4196468 140724755805616 140687513543528 140688983472339 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1946] ppid=1876 vsize=28766288 memory=1548 CPUtime=3.54 cores=0-7 /proc/1878/task/1946/stat : 1946 (java) R 1876 1876 31589 0 -1 4202560 276 0 0 0 354 0 0 0 20 0 28 0 510585397 29456678912 103951 33554432000 4194304 4196468 140724755805616 140687512490072 140688979436598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1947] ppid=1876 vsize=28766288 memory=1728 CPUtime=3.56 cores=0-7 /proc/1878/task/1947/stat : 1947 (java) R 1876 1876 31589 0 -1 4202560 133 0 0 0 356 0 0 0 20 0 28 0 510585397 29456678912 103951 33554432000 4194304 4196468 140724755805616 140687514594968 140688983588926 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 [pid=1878/tid=1948] ppid=1876 vsize=28766288 memory=1448 CPUtime=3.47 cores=0-7 /proc/1878/task/1948/stat : 1948 (java) R 1876 1876 31589 0 -1 4202560 152 0 0 0 347 0 0 0 20 0 28 0 510585397 29456678912 103951 33554432000 4194304 4196468 140724755805616 140687517753032 140688983588784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37433344 140724755813334 140724755813510 140724755813510 140724755816399 0 Current children cumulated CPU time: 446.72 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 417252 KiB Child status: 0 Real time (s): 56.7533 CPU time (s): 447.029 CPU user time (s): 446.413 CPU system time (s): 0.615953 CPU usage (%): 787.669 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 418852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 446.413 system time used= 0.615953 maximum resident set size= 431912 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59331 page faults= 0 swaps= 0 block input operations= 0 block output operations= 208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6834 involuntary context switches= 6065 # summary of solver processes directly reported to runsolver: # pid: 1876 # total CPU time (s): 447.029 # total CPU user time (s): 446.413 # total CPU system time (s): 0.615953 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.49557 second user time and 0.75857 second system time The end
Begin job on node119 at 2019-09-24 19:36:52 IDJOB=4407063 IDBENCH=124135 IDSOLVER=2871 FILE ID=node119/4407063-1569346653 RUNJOBID= node119-1569335938-31616 PBS_JOBID= 21705065 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407063-1569346653/watcher-4407063-1569346653 -o /var/tmp/evaluation-result-4407063-1569346653/solver-4407063-1569346653 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569335938-31616 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 499944816 HOME/instance-4407063-1569346653.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=499944816 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25648716 kB MemAvailable: 31796776 kB Buffers: 128936 kB Cached: 6118488 kB SwapCached: 46740 kB Active: 3118792 kB Inactive: 3179656 kB Active(anon): 4108 kB Inactive(anon): 104072 kB Active(file): 3114684 kB Inactive(file): 3075584 kB Unevictable: 107592 kB Mlocked: 107592 kB SwapTotal: 67108860 kB SwapFree: 66953496 kB Dirty: 26004 kB Writeback: 4 kB AnonPages: 112968 kB Mapped: 57476 kB Shmem: 48540 kB Slab: 415120 kB SReclaimable: 386252 kB SUnreclaim: 28868 kB KernelStack: 3408 kB PageTables: 5248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514928 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /var/tmp at the end= 13488 MiB End job on node119 at 2019-09-24 19:37:49